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

Result page for benchmark
crafted/mosoi/289/
289-sat-4x8.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/mosoi/289/
289-sat-4x8.cnf
MD5SUMacc18551f77825b225fd36f1d0bc3a75
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.000999
Satisfiable
(Un)Satisfiability was proved
Number of variables128
Number of clauses896
Sum of the clauses size3200
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2192
Number of clauses of size 30
Number of clauses of size 4704
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
PicoSAT 941 (complete)3438729SAT 0.000999 0.017989
sattime 2011-03-02 (incomplete)3427154SAT 0.002999 0.019372
sattime+ 2011-03-02 (incomplete)3499828SAT 0.002999 0.00571993
SApperloT2010 2011-05-15 (fixed) (complete)3438728SAT 0.002999 0.0175069
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275338SAT 0.003999 0.0061511
RestartSAT B95 (complete)3421018SAT 0.003999 0.0190579
SAT07 reference solver: minisat SAT 2007 (complete)3275339SAT 0.003999 0.00681512
clasp 2.0-R4092-crafted (complete)3423034SAT 0.004998 0.0166531
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421834SAT 0.004998 0.0179699
ppfolio seq (complete)3275337SAT 0.006998 0.00822706
claspmt 2.0-R4095-patched (fixed) (complete)3381001SAT 0.007998 0.0161331
glucose 2 (complete)3303407SAT 0.007998 0.00833605
claspmt 2.0-R4095 [DEPRECATED] (complete)3322396SAT 0.008997 0.0121391
ppfolio par (complete)3275336SAT 0.009997 0.00821498
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499312SAT 0.009997 0.010048
sathys 2011-04-01 (complete)3438730SAT 0.010997 0.019714
MPhaseSAT 2011-02-15 (complete)3445698SAT 0.011998 0.0184371
Plingeling 587f (fixed) (complete)3394434SAT 0.031994 0.0163049
QuteRSat 2011-05-12 (fixed) (complete)3421017SAT 0.033994 0.0336499
Sol 2011-04-04 (complete)3394435SAT 0.12098 0.123102
jMiniSat 2011 (complete)3438732SAT 0.12498 0.129138
SArTagnan 2011-05-15 (fixed) (complete)3438731SAT 0.137978 0.0331069
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421534SAT 0.199969 0.0360781
Satisfiability Solver Selector 2011-03-18 (complete)3275335SAT 2.73458 2.76666
priss 1.0 (complete)3499311SAT 6.83196 1.73864

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:
-1 -2 -3 4 -5 -6 -7 8 -9 -10 -11 12 -13 -14 -15 16 -17 -18 -19 20 -21 -22 -23 24 -25 -26 -27 28 -29 -30 -31 32 -33 -34 -35 36 -37 -38 39 -40
-41 -42 43 -44 -45 -46 47 -48 -49 -50 51 -52 -53 -54 55 -56 -57 -58 59 -60 -61 -62 63 -64 -65 -66 -67 68 -69 -70 71 -72 -73 74 -75 -76 -77
78 -79 -80 -81 82 -83 -84 -85 86 -87 -88 -89 90 -91 -92 -93 94 -95 -96 -97 -98 -99 100 -101 -102 103 -104 -105 106 -107 -108 109 -110 -111
-112 113 -114 -115 -116 117 -118 -119 -120 121 -122 -123 -124 125 -126 -127 -128 0