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

Result page for benchmark
crafted/spence/sgen/
sgen3-n140-s18527668-sat.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/spence/sgen/
sgen3-n140-s18527668-sat.cnf
MD5SUMd6f66d406779966e0b3cbed9097980e3
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.099983
Satisfiable
(Un)Satisfiability was proved
Number of variables140
Number of clauses336
Sum of the clauses size840
Maximum clause length5
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2280
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 556
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
shortsattime2011 2011-03-02 (incomplete)3274169SAT 0.099983 0.10012
sattime 2011-03-02 (incomplete)3274168SAT 0.118981 0.121368
shortsattime+ 2011-03-02 (incomplete)3274172SAT 0.219966 0.225153
sattime+ 2011-03-02 (incomplete)3274173SAT 0.247962 0.251605
sattime2011 2011-03-02 (incomplete)3274167SAT 0.643901 0.644145
adaptg2wsat2011 2011-03-02 (incomplete)3274171SAT 0.673897 0.675407
MPhaseSAT_M 2011-02-16 (complete)3274165SAT 0.832872 0.835801
MPhaseSAT 2011-02-15 (complete)3274163SAT 0.841871 0.842558
MPhaseSAT64 2011-05-14 (fixed) (complete)3375692SAT 0.959853 0.959419
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3274164SAT 1.09183 1.09277
march_rw 2011-03-02 (complete)3274166SAT 1.19282 1.19326
SAT07 reference solver: minisat SAT 2007 (complete)3274209SAT 1.19982 1.20069
jMiniSat 2011 (complete)3280069SAT 1.3368 0.86665
ppfolio par (complete)3274198SAT 2.26266 0.647563
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274208SAT 4.80727 6.36436
ppfolio seq (complete)3274199SAT 5.88 5.94984
STRUCTure 0.1 (complete)3313216SAT 6.29504 1.77045
priss Auto (complete)3274188SAT 6.63899 1.68835
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449615SAT 6.72898 7.57487
PicoSAT 941 (complete)3274190SAT 8.25175 8.25219
RestartSAT A75 (complete)3274175SAT 12.5601 12.5648
SApperloT 2011-03-23 (complete)3274206SAT 13.5689 13.5718
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3274204SAT 16.8164 16.8173
STRUCTure 0.1 (hbr=2) (complete)3312016SAT 17.1304 4.52719
SApperloT2010 2011-05-15 (fixed) (complete)3379892SAT 17.3454 17.3458
RestartSAT B95 (complete)3274174SAT 18.3172 18.3164
riss 1.0 (complete)3274184SAT 19.959 19.9603
riss Auto (complete)3274186SAT 23.7304 23.7305
Satisfiability Solver Selector 2011-03-18 (complete)3274200SAT 24.81 24.9307
riss Exp (complete)3274185SAT 30.2424 30.2417
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368192SAT 39.8329 39.8362
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3274181SAT 43.4254 43.4268
priss 1.0 (complete)3274189SAT 45.871 11.4909
claspmt 2.0-R4095-patched (fixed) (complete)3373292SAT 55.8425 14.013
claspmt 2.0-R4095 [DEPRECATED] (complete)3299671SAT 67.6397 16.9362
Black Hole SAT 2011-03-08 (complete)3274177SAT 85.757 85.764
clasp 2.0-R4092-crafted (complete)3300571SAT 92.374 92.3803
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274207SAT 113.741 113.738
rcl 2011-04-01 (complete)3274195SAT 140.603 140.604
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366992SAT 163.679 41.0329
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3274180SAT 163.701 40.9918
QuteRSat 2011-05-12 (fixed) (complete)3376892SAT 189.887 189.888
sathys 2011-04-01 (complete)3274196SAT 195.54 195.539
glucose 2 (complete)3274201SAT 263.876 263.874
Lingeling 587f (fixed) (complete)3371792SAT 371.099 371.11
Lingeling 587 [DEPRECATED] (complete)3274192SAT 391.466 391.454
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3274197SAT 433.508 431.74
Sol 2011-04-04 (complete)3274194SAT 524.683 521.126
CryptoMiniSat TechDemo-Alpha-st (complete)3274179SAT 536.704 536.701
UmSat 2011-02-25 [DEPRECATED] (complete)3274176SAT 543.978 543.967
UmSat 2011-05-12 (fixed) (complete)3379292SAT 568.032 568.027
QuteRSat 2011-03-01 [DEPRECATED] (complete)3274193SAT 664.995 664.985
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3274183SAT 889.755 889.734
Plingeling 587 [DEPRECATED] (complete)3274191SAT 898.927 225.822
Plingeling 587f (fixed) (complete)3371192SAT 907.565 228.263
synit_sat 2011-03-03 (complete)3274170SAT 919.211 919.202
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370592SAT 951.417 951.422
priss UP (complete)3274187SAT 955.67 522.244
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3274182SAT 1118.68 280.499
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369392SAT 1119.54 280.722
SArTagnan 2011-05-15 (fixed) (complete)3386136SAT 1146.6 287.925
CryptoMiniSat TechDemo-Alpha-mt (complete)3274178SAT 3424.98 857.561
riss Auto (1200 s timeout) (complete)3472846? (TO) 1200.07 1200.04
tts 5-4 (complete)3274202? (TO) 1300.09 1300.07
ttsth 5-4 (complete)3274203? (TO) 4800.18 1204.71
SArTagnan 2011-03-24 [DEPRECATED] (complete)3274205Wrong Cert. 1237.29 309.756

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 -129 -130 131 -132 -133 -134 135 -136 137 138 139 -140 0