Some numbers regarding upcoming release 1.6

[Daniel Le Berre <leberre@xxxxxxxxxxxxxxxxxxx>]

I just ran some solvers on my home machine (PIV 3GHz with 1.5GB of RAM) 
of the new release against two Miroslav Velev suite for which I got some 
numbers with previous SAT4J releases. Here are the results:

Command line: java -server -Xmx300M -Xms300M -jar sat4j-XX.jar bench.cnf

SSS-SAT (100 benchmarks)

MiniLearning JAVA5.1.0.19
281.89user 6.31system 3:45.52elapsed 127%CPU (0avgtext+0avgdata
0maxresident)k0inputs+0outputs (109major+965121minor)pagefaults 0swaps

MiniLearning RELEASE_1_5.1.0.5
233.25user 5.60system 3:07.79elapsed 127%CPU (0avgtext+0avgdata
0maxresident)k0inputs+0outputs (101major+644191minor)pagefaults 0swaps

MiniLearning RELEASE_1_6.0.0.3
155.26user 6.42system 2:47.68elapsed 96%CPU (0avgtext+0avgdata 
0maxresident)k
0inputs+0outputs (101major+633159minor)pagefaults 0swaps


VLIW-SAT 1.0 (100 benchmarks)

MiniLearning JAVA5.1.0.19
1515.54user 12.41system 24:12.28elapsed 105%CPU (0avgtext+0avgdata
0maxresident)k0inputs+0outputs (496major+1985111minor)pagefaults 0swaps

Some solvers from SAT4J 1.5 RELEASE_1_5.1.0.5

 MiniLearningHeap
 889.05user 11.50system 13:56.31elapsed 107%CPU (0avgtext+0avgdata     
 0maxresident)k0inputs+0outputs (200major+1788025minor)pagefaults 0swaps

 MiniLearning2Heap
 953.84user 10.95system 14:58.60elapsed 107%CPU (0avgtext+0avgdata    
 0maxresident)k0inputs+0outputs (1243major+1492198minor)pagefaults 0swaps

 MiniSATHeap
 1051.54user 12.22system 17:37.80elapsed 100%CPU (0avgtext+0avgdata  
 0maxresident)k0inputs+0outputs (873major+1902843minor)pagefaults 0swaps

 MiniSAT2Heap
 710.27user 9.93system 12:02.73elapsed 99%CPU (0avgtext+0avgdata
 0maxresident)k0inputs+0outputs (104major+1332595minor)pagefaults 0swaps

 MiniSAT
 1363.80user 11.56system 21:45.48elapsed 105%CPU (0avgtext+0avgdata
 0maxresident)k0inputs+0outputs (105major+1844091minor)pagefaults 0swaps

 MiniSAT2
 1054.81user 9.99system 16:58.82elapsed 104%CPU (0avgtext+0avgdata
 0maxresident)k0inputs+0outputs (108major+1347065minor)pagefaults 0swaps

 MiniLearning
 1464.34user 12.01system 23:58.68elapsed 102%CPU (0avgtext+0avgdata
 0maxresident)k0inputs+0outputs (105major+1865133minor)pagefaults 0swaps

 MiniLearning2
 1128.55user 10.26system 18:01.16elapsed 105%CPU (0avgtext+0avgdata
 0maxresident)k0inputs+0outputs (138major+1357652minor)pagefaults 0swaps

Default(MiniLearningHeapEZSimp) solver from RELEASE_1_6.0.0.3
372.61user 14.33system 6:42.22elapsed 96%CPU (0avgtext+0avgdata 
0maxresident)k
0inputs+0outputs (110major+1707025minor)pagefaults 0swaps

MiniLearning2Heap solver from RELEASE_1_6.0.0.3
336.00user 17.36system 6:42.94elapsed 87%CPU (0avgtext+0avgdata 
0maxresident)k
0inputs+0outputs (102major+1120083minor)pagefaults 0swaps

MiniSAT2Heap solver from RELEASE_1_6.0.0.3
336.15user 17.04system 6:10.59elapsed 95%CPU (0avgtext+0avgdata 
0maxresident)k
0inputs+0outputs (123major+1122716minor)pagefaults 0swaps


As you can see, the sat4j library is improving :-=)

Cheers,

   Daniel