SAT 2007 Competition Phase 1: solvers results per benchmarks

Result page for benchmark
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1209647106-12-SAT.cnf

Jump to solvers results

General information on the benchmark

Namerandom/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1209647106-12-SAT.cnf
MD5SUM5b71a13667daed42fef777f7d5fe2376
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.05599
Satisfiable
(Un)Satisfiability was proved
Number of variables1295
Number of clauses4026
Sum of the clauses size11273
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2805
Number of clauses of size 33221
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
adaptg2wsat+ 2007-02-08311086SAT 0.05599 0.057503
adaptg2wsatp 2007-02-08311087SAT 0.086985 0.172069
adaptnovelty 2007-02-08311085SAT 0.173972 0.17668
gnovelty+ 2007-02-08311078SAT 0.298954 0.304638
sapsrt 2007-02-08311064SAT 0.32295 0.32509
adaptg2wsat0 2007-02-08311088SAT 0.489924 0.491005
tinisat 2007-02-08311062SAT 0.593909 0.596036
FH 2007-02-08311079SAT 0.824874 0.824913
Hybrid1 2007-02-08311077SAT 1.04884 1.0545
saps 2007-02-08311065SAT 1.07084 1.07377
adaptg2wsat 2007-02-08311089SAT 1.45878 1.4601
SATzilla CRAFTED311097SAT 1.46778 1.47088
SATzilla RANDOM311096SAT 1.46878 1.47087
SATzilla FULL311098SAT 1.46878 1.47037
ranov 2007-02-08311067SAT 1.66175 1.66801
CMUSAT BASE 2007-02-08311082SAT 1.86372 1.86652
minimarch 2007-04-26 (fixed)428077SAT 2.39664 2.39666
DEWSATZ 2007-02-08311081SAT 3.10553 3.10612
DEWSATZ 2007-04-26 (fixed)428076SAT 3.11752 3.12012
March KS 2007-02-08311073SAT 3.33749 3.34083
MiraXT v3311090SAT 4.99024 2.53341
SAT7 2007-02-08311063SAT 5.2622 5.29391
Barcelogic Fixed 2007-04-13347331SAT 5.42817 5.43402
barcelogic 2007-02-08311084SAT 5.43217 5.43942
KCNFS 2004311076SAT 6.32504 6.32783
KCNFS 2006311075SAT 8.5707 8.57501
Rsat 2007-02-08311066SAT 9.8515 9.85819
UnitMarch 2007-02-08311059SAT 20.1449 20.1517
MiraXT v1311092SAT 27.5588 27.5671
minimarch 2007-02-08311072SAT 38.2712 38.2835
picosat 535311068SAT 46.5499 46.5622
TiniSatELite 2007-02-08311061SAT 47.5908 47.6263
CMUSAT 2007-02-08311083SAT 56.1785 56.1962
MXC 2007-02-08311069SAT 106.089 106.132
minisat SAT 2007421385SAT 114.617 114.651
minisat SAT 2007 (with assertions)311071SAT 116.004 116.038
MiraXT v2311091SAT 175.592 175.711
SAT4J SAT 2007311058SAT 264.231 263.914
Spear FHS 1.0311093SAT 319.437 319.523
Spear FH 1.0311094SAT 321.616 321.702
DEWSATZ 1A 2007-02-08311080SAT 347.87 347.974
Spear 2007-02-12311095SAT 517.663 517.806
KCNFS SMP311074? (problem) 15.8706 2400.01
ornithorynque 0.1 alpha328386? (TO) 1200.06 601.427
TTS 4.0311060? (TO) 1200.07 1200.45
Mmisat 2007-02-08311070Signal 1.00985 1.01441