test/monniaux/minisat/k1c.inline_50.log


1
2
3
4
5
6
7
8
9
10
11
12
13
14

==> minisat.ccomp.log <==
time cycles: 3252345

==> minisat.ccomp.profiled.log <==
time cycles: 3150170

==> minisat.ccomp.trace-linearize.log <==
time cycles: 3192299

==> minisat.gcc-O3.log <==
time cycles: 2780324

==> minisat.gcc-O3.profiled.log <==
time cycles: 2487533