SAT 2007 Competition Phase 1: solvers results per benchmarks

Result page for benchmark
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1529462267-19.SAT.shuffled.cnf

Jump to solvers results

General information on the benchmark

Namerandom/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1529462267-19.SAT.shuffled.cnf
MD5SUM7644e7377a9b7b99a48663a94882358d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.063989
Satisfiable
(Un)Satisfiability was proved
Number of variables45
Number of clauses4005
Sum of the clauses size28035
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 54005

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
KCNFS SMP296601SAT 0.063989 0.224844
saps 2007-02-08296592SAT 0.183971 0.18541
adaptnovelty 2007-02-08296612SAT 0.183971 0.184781
gnovelty+ 2007-02-08296605SAT 0.205968 0.207696
sapsrt 2007-02-08296591SAT 0.31895 0.3186
adaptg2wsatp 2007-02-08296614SAT 1.3318 1.33273
adaptg2wsat 2007-02-08296616SAT 1.3378 1.34021
Hybrid1 2007-02-08296604SAT 1.35179 1.35382
adaptg2wsat0 2007-02-08296615SAT 1.41078 1.41314
FH 2007-02-08296606SAT 1.41678 1.41716
adaptg2wsat+ 2007-02-08296613SAT 1.42478 1.42516
KCNFS 2006296602SAT 1.87671 1.878
ranov 2007-02-08296594SAT 3.08453 3.08673
SATzilla CRAFTED296624SAT 5.11922 5.12248
SATzilla FULL296625SAT 5.12122 5.12409
SATzilla RANDOM296623SAT 5.17621 5.18285
March KS 2007-02-08296600SAT 7.61884 7.62358
Rsat 2007-02-08296593SAT 14.3798 14.3881
KCNFS 2004296603SAT 19.3711 19.3778
minisat SAT 2007421032SAT 20.4289 20.4391
minisat SAT 2007 (with assertions)296598SAT 21.6277 21.6353
minimarch 2007-04-26 (fixed)427371SAT 25.1372 25.1474
UnitMarch 2007-02-08296586SAT 36.6004 36.6144
picosat 535296595SAT 37.2763 37.2909
MiraXT v1296619SAT 61.0437 61.0905
SAT4J SAT 2007296585SAT 80.7057 80.3427
MXC 2007-02-08296596SAT 90.1033 90.1481
MiraXT v2296618SAT 92.036 92.0678
CMUSAT 2007-02-08296610SAT 111.281 111.315
CMUSAT BASE 2007-02-08296609SAT 111.287 111.317
DEWSATZ 2007-04-26 (fixed)427370SAT 116.428 116.457
DEWSATZ 2007-02-08296608SAT 116.69 116.721
SAT7 2007-02-08296590SAT 135.288 135.33
minimarch 2007-02-08296599SAT 199.042 199.102
DEWSATZ 1A 2007-02-08296607SAT 341.921 342.004
MiraXT v3296617SAT 481.445 241.466
TiniSatELite 2007-02-08296588? (TO) 1200.02 1200.52
Spear 2007-02-12296622? (TO) 1200.03 1200.34
tinisat 2007-02-08296589? (TO) 1200.03 1200.29
Spear FHS 1.0296620? (TO) 1200.03 1200.34
ornithorynque 0.1 alpha328033? (TO) 1200.03 601.423
barcelogic 2007-02-08296611? (TO) 1200.05 1200.51
Barcelogic Fixed 2007-04-13346978? (TO) 1200.05 1200.41
Mmisat 2007-02-08296597? (TO) 1200.06 1200.34
Spear FH 1.0296621? (TO) 1200.07 1200.46
TTS 4.0296587? (TO) 1200.11 1200.53