SAT 2007 Competition Phase 1: solvers results per benchmarks

Result page for benchmark
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1718130589-01.SAT.shuffled.cnf

Jump to solvers results

General information on the benchmark

Namerandom/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1718130589-01.SAT.shuffled.cnf
MD5SUM92a81fb7daa035c842fe0ed87fafd083
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.411936
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of clauses4450
Sum of the clauses size31150
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 54450

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
adaptnovelty 2007-02-08294767SAT 0.411936 0.413125
gnovelty+ 2007-02-08294760SAT 0.650901 0.652391
sapsrt 2007-02-08294746SAT 0.928858 0.931363
saps 2007-02-08294747SAT 0.968852 0.96995
Hybrid1 2007-02-08294759SAT 1.60076 1.6028
adaptg2wsat 2007-02-08294771SAT 1.60176 1.60368
adaptg2wsat+ 2007-02-08294768SAT 1.64175 1.64351
adaptg2wsatp 2007-02-08294769SAT 1.67474 1.677
FH 2007-02-08294761SAT 1.89371 1.89624
adaptg2wsat0 2007-02-08294770SAT 2.25866 2.2618
KCNFS 2006294757SAT 3.53746 3.53961
ranov 2007-02-08294749SAT 3.69144 3.6935
SATzilla RANDOM294778SAT 5.02023 5.02344
SATzilla FULL294780SAT 5.39318 5.39944
SATzilla CRAFTED294779SAT 5.48317 5.48874
minimarch 2007-02-08294754SAT 5.78812 5.79147
minimarch 2007-04-26 (fixed)427281SAT 6.602 6.60433
picosat 535294750SAT 8.41472 8.4181
March KS 2007-02-08294755SAT 33.9108 33.9226
KCNFS 2004294758SAT 55.2546 55.2716
SAT4J SAT 2007294740SAT 60.0709 59.7422
KCNFS SMP294756SAT 74.06 37.1807
barcelogic 2007-02-08294766SAT 135.228 135.272
Barcelogic Fixed 2007-04-13346933SAT 135.522 135.583
UnitMarch 2007-02-08294741SAT 199.928 199.982
minisat SAT 2007420987SAT 285.606 285.685
minisat SAT 2007 (with assertions)294753SAT 305.059 305.139
DEWSATZ 2007-04-26 (fixed)427280SAT 566.655 566.877
DEWSATZ 2007-02-08294763SAT 567.924 568.148
MiraXT v1294774SAT 677.433 677.631
SAT7 2007-02-08294745SAT 763.064 763.335
MiraXT v3294772SAT 926.957 464.831
MXC 2007-02-08294751SAT 980.248 980.684
CMUSAT 2007-02-08294765? (TO) 1200.04 1200.45
Spear FHS 1.0294775? (TO) 1200.05 1200.34
TTS 4.0294742? (TO) 1200.05 1200.37
Spear FH 1.0294776? (TO) 1200.06 1200.38
tinisat 2007-02-08294744? (TO) 1200.06 1200.34
DEWSATZ 1A 2007-02-08294762? (TO) 1200.06 1200.48
TiniSatELite 2007-02-08294743? (TO) 1200.07 1200.46
Mmisat 2007-02-08294752? (TO) 1200.08 1200.41
Rsat 2007-02-08294748? (TO) 1200.09 1200.48
ornithorynque 0.1 alpha327988? (TO) 1200.1 601.627
MiraXT v2294773? (TO) 1200.1 1200.42
CMUSAT BASE 2007-02-08294764? (TO) 1200.11 1200.52
Spear 2007-02-12294777? (TO) 1200.11 1200.42