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

Result page for benchmark
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/
grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf

Jump to solvers results

General information on the benchmark

NameSAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/
grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf
MD5SUM384c65902b197ca2c64d2ee8a3c64089
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.374942
Satisfiable
(Un)Satisfiability was proved
Number of variables62750
Number of clauses124752
Sum of the clauses size498502
Maximum clause length4
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2250
Number of clauses of size 30
Number of clauses of size 4124500
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
claspmt 2.0-R4095-patched (fixed) (complete)3373084UNSAT 0.374942 0.375261
claspmt 2.0-R4095 [DEPRECATED] (complete)3299463UNSAT 0.378941 0.380176
clasp 2.0-R4092-crafted (complete)3300363UNSAT 0.441931 0.443051
RestartSAT B95 (complete)3265361UNSAT 0.444931 0.445271
RestartSAT A75 (complete)3265362UNSAT 0.451931 0.452604
priss UP (complete)3265374UNSAT 0.482926 0.484284
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274749UNSAT 0.488924 0.489903
riss 1.0 (complete)3265371UNSAT 0.498923 0.498931
SAT07 reference solver: minisat SAT 2007 (complete)3274751UNSAT 0.513921 0.513479
riss Exp (complete)3265372UNSAT 0.51792 0.519968
riss Auto (complete)3265373UNSAT 0.544916 0.545784
riss Auto (1200 s timeout) (complete)3473063UNSAT 0.570913 0.574677
MPhaseSAT 2011-02-15 (complete)3265350UNSAT 0.792878 0.794747
MPhaseSAT_M 2011-02-16 (complete)3265352UNSAT 0.794878 0.796205
sathys 2011-04-01 (complete)3265383UNSAT 1.09483 1.09524
rcl 2011-04-01 (complete)3265382UNSAT 1.18282 1.18449
glucose 2 (complete)3265388UNSAT 1.2868 1.28932
ppfolio seq (complete)3265386UNSAT 1.34979 1.35457
ppfolio par (complete)3265385UNSAT 1.9917 0.502548
MPhaseSAT64 2011-05-14 (fixed) (complete)3375484UNSAT 2.15967 2.15936
priss 1.0 (complete)3265376UNSAT 2.85156 0.800165
Lingeling 587f (fixed) (complete)3371584UNSAT 2.85556 2.85847
priss Auto (complete)3265375UNSAT 2.88956 0.803892
Lingeling 587 [DEPRECATED] (complete)3265379UNSAT 2.91456 2.92075
SApperloT 2011-03-23 (complete)3265393UNSAT 4.42233 4.42609
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3265351UNSAT 4.80427 4.80586
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274750UNSAT 5.42817 5.4307
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367984UNSAT 10.2074 10.2115
Plingeling 587f (fixed) (complete)3370984UNSAT 12.1881 3.3716
Plingeling 587 [DEPRECATED] (complete)3265378UNSAT 12.2881 3.39698
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3265368UNSAT 12.3671 12.3706
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449832UNSAT 24.64 24.7401
SApperloT2010 2011-05-15 (fixed) (complete)3379684UNSAT 29.7575 29.7574
Satisfiability Solver Selector 2011-03-18 (complete)3265387UNSAT 30.15 30.2496
QuteRSat 2011-05-12 (fixed) (complete)3376684UNSAT 33.3689 33.3847
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3265391UNSAT 34.2998 34.2992
SArTagnan 2011-05-15 (fixed) (complete)3385928UNSAT 56.4684 14.2926
SArTagnan 2011-03-24 [DEPRECATED] (complete)3265392UNSAT 56.9163 14.3735
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366784UNSAT 57.5393 14.5311
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3265367UNSAT 61.9576 15.5764
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3265370UNSAT 78.873 78.8738
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370384UNSAT 83.1694 83.1709
QuteRSat 2011-03-01 [DEPRECATED] (complete)3265380UNSAT 94.5206 94.522
CryptoMiniSat TechDemo-Alpha-st (complete)3265366UNSAT 118.753 118.76
synit_sat 2011-03-03 (complete)3265357UNSAT 148.838 148.834
CryptoMiniSat TechDemo-Alpha-mt (complete)3265365UNSAT 205.932 52.1021
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3265369UNSAT 281.76 70.6003
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369184UNSAT 286.975 72.0412
jMiniSat 2011 (complete)3279861UNSAT 330.978 328.336
PicoSAT 941 (complete)3265377UNSAT 450.271 450.27
sattime2011 2011-03-02 (incomplete)3265354? (TO) 1299.97 1300.01
sattime 2011-03-02 (incomplete)3265355? (TO) 1299.98 1300.01
march_rw 2011-03-02 (complete)3265353? (TO) 1299.98 1300.01
shortsattime+ 2011-03-02 (incomplete)3265359? (TO) 1300.04 1300.01
sattime+ 2011-03-02 (incomplete)3265360? (TO) 1300.05 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3265358? (TO) 1300.05 1300.01
shortsattime2011 2011-03-02 (incomplete)3265356? (TO) 1300.05 1300.01
UmSat 2011-05-12 (fixed) (complete)3379084? (TO) 1300.05 1300.02
Black Hole SAT 2011-03-08 (complete)3265364? (TO) 1300.08 1300.09
tts 5-4 (complete)3265389? (TO) 1300.15 1300.09
Sol 2011-04-04 (complete)3265381? (TO) 1300.32 1300.02
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3265384? (TO) 1303.12 1300.08
STRUCTure 0.1 (hbr=2) (complete)3311808? (TO) 4800.5 1219.7
ttsth 5-4 (complete)3265390? (TO) 4800.53 1211.23
STRUCTure 0.1 (complete)3313008? (TO) 4800.9 1219.14
UmSat 2011-02-25 [DEPRECATED] (complete)3265363Signal 0.855869 0.858011

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: