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

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

Jump to solvers results

General information on the benchmark

Namecrafted/mosoi/289/
289-sat-5x8.cnf
MD5SUM81b0fc8b7e713baf2bbc1c96519ce673
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 variables160
Number of clauses1400
Sum of the clauses size5120
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2240
Number of clauses of size 30
Number of clauses of size 41160
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
Black Hole SAT 2011-03-08 (complete)3260260SAT 0.000999 0.00629211
PicoSAT 941 (complete)3260273SAT 0.001998 0.00601792
SApperloT 2011-03-23 (complete)3260289SAT 0.001999 0.00614093
SApperloT2010 2011-05-15 (fixed) (complete)3379662SAT 0.003998 0.0131601
shortsattime+ 2011-03-02 (incomplete)3260255SAT 0.004998 0.00639602
sattime 2011-03-02 (incomplete)3260251SAT 0.004999 0.00626589
sattime+ 2011-03-02 (incomplete)3260256SAT 0.004999 0.00639604
sattime2011 2011-03-02 (incomplete)3260250SAT 0.004999 0.00636093
adaptg2wsat2011 2011-03-02 (incomplete)3260254SAT 0.004999 0.00627393
shortsattime2011 2011-03-02 (incomplete)3260252SAT 0.005998 0.00608194
RestartSAT A75 (complete)3260258SAT 0.005999 0.00648694
RestartSAT B95 (complete)3260257SAT 0.006998 0.00639203
clasp 2.0-R4092-crafted (complete)3300341SAT 0.006998 0.00785204
SAT07 reference solver: minisat SAT 2007 (complete)3274316SAT 0.006998 0.00750204
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274314SAT 0.006998 0.00777191
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3260264SAT 0.007997 0.0127739
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3260266SAT 0.007998 0.00950289
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370362SAT 0.007998 0.0148291
CryptoMiniSat TechDemo-Alpha-st (complete)3260262SAT 0.008997 0.0252559
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367962SAT 0.008998 0.0131829
SArTagnan 2011-03-24 [DEPRECATED] (complete)3260288SAT 0.008998 0.00717495
UmSat 2011-05-12 (fixed) (complete)3379062SAT 0.008998 0.0100091
UmSat 2011-02-25 [DEPRECATED] (complete)3260259SAT 0.008998 0.011436
glucose 2 (complete)3260284SAT 0.009997 0.0133011
claspmt 2.0-R4095 [DEPRECATED] (complete)3299441SAT 0.009997 0.00997705
claspmt 2.0-R4095-patched (fixed) (complete)3373062SAT 0.011997 0.010272
ppfolio seq (complete)3260282SAT 0.011997 0.0186719
ppfolio par (complete)3260281SAT 0.013997 0.014497
sathys 2011-04-01 (complete)3260279SAT 0.013997 0.0154691
rcl 2011-04-01 (complete)3260278SAT 0.014997 0.014729
march_rw 2011-03-02 (complete)3260249SAT 0.014997 0.014889
Lingeling 587 [DEPRECATED] (complete)3260275SAT 0.015997 0.0181591
Lingeling 587f (fixed) (complete)3371562SAT 0.015997 0.0169121
SArTagnan 2011-05-15 (fixed) (complete)3385906SAT 0.016996 0.0136161
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274315SAT 0.017996 0.01764
MPhaseSAT 2011-02-15 (complete)3260246SAT 0.021996 0.022965
MPhaseSAT_M 2011-02-16 (complete)3260248SAT 0.022995 0.0320949
synit_sat 2011-03-03 (complete)3260253SAT 0.022996 0.02241
MPhaseSAT64 2011-05-14 (fixed) (complete)3375462SAT 0.023995 0.0249591
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3260247SAT 0.027994 0.028441
Plingeling 587f (fixed) (complete)3370962SAT 0.031994 0.0209141
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3260265SAT 0.034994 0.0142619
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3260263SAT 0.036993 0.0125701
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366762SAT 0.039993 0.0170071
QuteRSat 2011-05-12 (fixed) (complete)3376662SAT 0.041993 0.043493
QuteRSat 2011-03-01 [DEPRECATED] (complete)3260276SAT 0.042993 0.0430121
Plingeling 587 [DEPRECATED] (complete)3260274SAT 0.046992 0.0211711
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369162SAT 0.05699 0.0204431
CryptoMiniSat TechDemo-Alpha-mt (complete)3260261SAT 0.098984 0.03643
Sol 2011-04-04 (complete)3260277SAT 0.167974 0.182644
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3260280SAT 0.213967 0.205296
jMiniSat 2011 (complete)3279839SAT 0.273958 0.285716
riss Auto (1200 s timeout) (complete)3472867SAT 2.46762 2.46721
priss UP (complete)3260270SAT 2.51062 2.47914
riss Exp (complete)3260268SAT 2.65759 2.65847
riss Auto (complete)3260269SAT 2.68559 2.69006
riss 1.0 (complete)3260267SAT 2.70859 2.71057
Satisfiability Solver Selector 2011-03-18 (complete)3260283SAT 2.79757 5.60283
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449636SAT 2.91855 2.93931
STRUCTure 0.1 (complete)3312986SAT 3.14852 1.0279
STRUCTure 0.1 (hbr=2) (complete)3311786SAT 4.5813 1.4399
priss Auto (complete)3260271SAT 9.77451 2.46736
priss 1.0 (complete)3260272SAT 9.8495 2.52679
tts 5-4 (complete)3260285SAT 87.7197 87.7173
ttsth 5-4 (complete)3260286SAT 97.9381 24.5956
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3260287No Cert. 0.002999 0.00619192

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 -48 -45 -46 47 -143 -111 -79 -77 -78 80 -144 -112 -128 -124 -120 -116 -160 -156 -152 -148 -145 -146 147 -68 -65 -66 67 -159 -155
-151 -131 -127 -123 -119 -115 -114 113 -141 142 -137 -133 -135 -134 136 -132 -130 129 -107 -105 -106 108 -140 -138 139 -100 -97 -98 99 -103
-101 -102 104 -44 -41 -42 43 -51 -75 -95 -91 -87 -83 -81 -82 84 -40 -37 -38 39 -71 -69 -70 72 -76 -74 73 -109 110 -158 157 -154 153 -149 150
-118 117 -125 126 -121 122 -64 -61 -62 63 -60 -57 -58 59 -56 -53 -54 55 -52 -50 49 -89 -90 92 -88 -96 -94 93 -85 86 -5 -6 -7 8 -12 -28 -20
-16 -36 -9 -10 11 -19 -31 -27 -23 -15 -14 13 -35 -34 33 -18 17 -21 -22 24 -29 -30 32 -26 25