SAT 2011 Competition: main competition (phase 1): solvers results per benchmarks

Result page for benchmark
SAT05/crafted/sabharwal05/planning/logistics/unsat/
logistics-rotate-07t5.shuffled-as.sat05-1137.cnf

Jump to solvers results

General information on the benchmark

NameSAT05/crafted/sabharwal05/planning/logistics/unsat/
logistics-rotate-07t5.shuffled-as.sat05-1137.cnf
MD5SUM89957f6ab4a6aa83303efbf463f54b2c
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.413936
Satisfiable
(Un)Satisfiability was proved
Number of variables2721
Number of clauses88373
Sum of the clauses size178033
Maximum clause length9
Minimum clause length1
Number of clauses of size 171
Number of clauses of size 287954
Number of clauses of size 3168
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5180

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370385UNSAT 0.413936 0.414655
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3265062UNSAT 0.447931 0.449811
SApperloT 2011-03-23 (complete)3265085UNSAT 0.512921 0.513025
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367985UNSAT 0.51892 0.520122
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3265060UNSAT 0.540917 0.542164
PicoSAT 941 (complete)3265069UNSAT 0.619905 0.620223
glucose 2 (complete)3265080UNSAT 0.710891 0.712408
QuteRSat 2011-05-12 (fixed) (complete)3376685UNSAT 0.78188 0.782387
synit_sat 2011-03-03 (complete)3265049UNSAT 0.784879 0.78985
rcl 2011-04-01 (complete)3265074UNSAT 0.795878 0.800428
clasp 2.0-R4092-crafted (complete)3300364UNSAT 0.953854 0.953335
SAT07 reference solver: minisat SAT 2007 (complete)3274730UNSAT 1.06484 1.06507
QuteRSat 2011-03-01 [DEPRECATED] (complete)3265072UNSAT 1.10783 1.10865
RestartSAT B95 (complete)3265053UNSAT 1.11983 1.12042
MPhaseSAT64 2011-05-14 (fixed) (complete)3375485UNSAT 1.18882 1.18882
SApperloT2010 2011-05-15 (fixed) (complete)3379685UNSAT 1.27181 1.2722
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3265043UNSAT 1.35779 1.35939
Plingeling 587 [DEPRECATED] (complete)3265070UNSAT 1.42278 0.417497
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274728UNSAT 1.42578 1.43226
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3265083UNSAT 1.44878 1.44935
Plingeling 587f (fixed) (complete)3370985UNSAT 1.46278 0.427177
claspmt 2.0-R4095 [DEPRECATED] (complete)3299464UNSAT 1.46778 0.545293
claspmt 2.0-R4095-patched (fixed) (complete)3373085UNSAT 1.54876 0.567687
riss Auto (complete)3265065UNSAT 1.63575 1.63643
riss 1.0 (complete)3265063UNSAT 1.64275 1.64991
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369185UNSAT 1.74373 0.44141
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3265061UNSAT 1.74973 0.444125
MPhaseSAT_M 2011-02-16 (complete)3265044UNSAT 1.79972 1.80632
MPhaseSAT 2011-02-15 (complete)3265042UNSAT 1.81372 1.81718
riss Exp (complete)3265064UNSAT 1.84472 1.84528
Lingeling 587 [DEPRECATED] (complete)3265071UNSAT 2.03869 2.03945
Lingeling 587f (fixed) (complete)3371585UNSAT 2.04469 2.05893
riss Auto (1200 s timeout) (complete)3473056UNSAT 2.06369 2.06955
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366785UNSAT 2.16267 0.551061
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3265059UNSAT 2.24166 0.5694
priss UP (complete)3265066UNSAT 2.27665 1.89936
jMiniSat 2011 (complete)3279862UNSAT 2.48562 2.02461
ppfolio seq (complete)3265078UNSAT 2.6036 2.74181
ppfolio par (complete)3265077UNSAT 3.16552 0.898796
sathys 2011-04-01 (complete)3265075UNSAT 3.18951 3.19029
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3265076UNSAT 3.71843 2.76407
RestartSAT A75 (complete)3265054UNSAT 3.9684 3.96883
UmSat 2011-05-12 (fixed) (complete)3379085UNSAT 4.38833 4.39134
UmSat 2011-02-25 [DEPRECATED] (complete)3265055UNSAT 4.42433 4.42505
Sol 2011-04-04 (complete)3265073UNSAT 4.50931 4.47175
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449825UNSAT 5.55215 6.19113
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274729UNSAT 5.58215 5.58464
Satisfiability Solver Selector 2011-03-18 (complete)3265079UNSAT 6.46 6.5612
SArTagnan 2011-05-15 (fixed) (complete)3385929UNSAT 7.64184 2.58878
SArTagnan 2011-03-24 [DEPRECATED] (complete)3265084UNSAT 7.80881 1.98089
priss Auto (complete)3265067UNSAT 8.01978 2.1862
priss 1.0 (complete)3265068UNSAT 8.20875 2.18666
CryptoMiniSat TechDemo-Alpha-st (complete)3265058UNSAT 8.44671 8.45834
CryptoMiniSat TechDemo-Alpha-mt (complete)3265057UNSAT 32.4131 8.2918
STRUCTure 0.1 (complete)3313009UNSAT 80.4188 21.9225
STRUCTure 0.1 (hbr=2) (complete)3311809UNSAT 94.4976 25.8327
Black Hole SAT 2011-03-08 (complete)3265056? (TO) 1299.94 1300.01
sattime 2011-03-02 (incomplete)3265047? (TO) 1300.03 1300.01
sattime2011 2011-03-02 (incomplete)3265046? (TO) 1300.04 1300.01
sattime+ 2011-03-02 (incomplete)3265052? (TO) 1300.04 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3265050? (TO) 1300.04 1300.01
shortsattime+ 2011-03-02 (incomplete)3265051? (TO) 1300.05 1300.01
shortsattime2011 2011-03-02 (incomplete)3265048? (TO) 1300.05 1300.01
march_rw 2011-03-02 (complete)3265045? (TO) 1300.07 1300.01
tts 5-4 (complete)3265081? (TO) 1300.16 1300.11
ttsth 5-4 (complete)3265082? (TO) 4800.38 1204.1

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

Solution found: