SAT 2007 Competition Phase 1: solvers results per benchmarks

Result page for benchmark
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf
MD5SUMb8ad54973e17f84e99bf9d2e7bc768ce
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark111.144
Satisfiable
(Un)Satisfiability was proved
Number of variables160
Number of clauses640
Sum of the clauses size2560
Maximum clause length4
Minimum clause length4
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 4640
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
CMUSAT 2007-02-08339465UNSAT 111.144 111.171
MiraXT v3339472UNSAT 140.217 70.4989
MiraXT v1339474UNSAT 176.771 176.822
SATzilla FULL339480UNSAT 348.392 348.49
minisat SAT 2007421844UNSAT 367.644 367.74
minisat SAT 2007 (with assertions)339453UNSAT 386.537 386.667
SAT4J SAT 2007339440UNSAT 391.818 391.893
Spear 2007-02-12339477UNSAT 396.296 396.408
minimarch 2007-02-08339454UNSAT 436.169 436.2
MXC 2007-02-08339451UNSAT 448.156 448.321
TTS 4.0339442UNSAT 467.762 467.915
minimarch 2007-04-26 (fixed)428995UNSAT 476.911 477.029
SAT7 2007-02-08339445UNSAT 524.392 524.524
MiraXT v2339473UNSAT 552.792 553.076
picosat 535339450UNSAT 642.142 642.313
Rsat 2007-02-08339448UNSAT 705.234 705.618
Spear FH 1.0339476UNSAT 800.558 800.807
Spear FHS 1.0339475UNSAT 828.621 828.826
tinisat 2007-02-08339444UNSAT 843.548 843.817
SATzilla CRAFTED339479? (exit code) 1198.92 1199.23
SATzilla RANDOM339478? (exit code) 1198.92 1199.24
FH 2007-02-08339461? (TO) 1200.02 1200.31
gnovelty+ 2007-02-08339460? (TO) 1200.02 1200.41
DEWSATZ 1A 2007-02-08339462? (TO) 1200.02 1200.31
Hybrid1 2007-02-08339459? (TO) 1200.03 1200.41
UnitMarch 2007-02-08339441? (TO) 1200.04 1200.31
March KS 2007-02-08339455? (TO) 1200.05 1200.41
adaptg2wsat 2007-02-08339471? (TO) 1200.06 1200.41
saps 2007-02-08339447? (TO) 1200.06 1200.41
TiniSatELite 2007-02-08339443? (TO) 1200.06 1200.42
KCNFS 2006339457? (TO) 1200.06 1200.41
Mmisat 2007-02-08339452? (TO) 1200.06 1200.51
adaptg2wsat0 2007-02-08339470? (TO) 1200.06 1200.41
Barcelogic Fixed 2007-04-13347790? (TO) 1200.06 1200.41
ranov 2007-02-08339449? (TO) 1200.07 1200.41
adaptg2wsatp 2007-02-08339469? (TO) 1200.07 1200.41
DEWSATZ 2007-04-26 (fixed)428994? (TO) 1200.07 1200.41
DEWSATZ 2007-02-08339463? (TO) 1200.08 1200.41
CMUSAT BASE 2007-02-08339464? (TO) 1200.08 1200.42
KCNFS 2004339458? (TO) 1200.09 1200.55
sapsrt 2007-02-08339446? (TO) 1200.09 1200.41
barcelogic 2007-02-08339466? (TO) 1200.09 1200.51
adaptg2wsat+ 2007-02-08339468? (TO) 1200.09 1200.51
adaptnovelty 2007-02-08339467? (TO) 1200.11 1200.51
KCNFS SMP339456? (TO) 1200.19 601.51
ornithorynque 0.1 alpha339481? (TO) 1200.25 601.542