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

Result page for benchmark
crafted/spence/sgen/
sgen3-n160-s40283905-sat.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/spence/sgen/
sgen3-n160-s40283905-sat.cnf
MD5SUM8e3c134eb643f2d9a45c884774c054a8
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.19497
Satisfiable
(Un)Satisfiability was proved
Number of variables160
Number of clauses384
Sum of the clauses size960
Maximum clause length5
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2320
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 564
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
sattime 2011-03-02 (incomplete)3273369SAT 0.19497 0.196193
sattime+ 2011-03-02 (incomplete)3273374SAT 0.196969 0.197573
shortsattime2011 2011-03-02 (incomplete)3273370SAT 0.421935 0.421065
MPhaseSAT64 2011-05-14 (fixed) (complete)3375675SAT 1.17582 1.17757
MPhaseSAT 2011-02-15 (complete)3273364SAT 1.21681 1.21778
sattime2011 2011-03-02 (incomplete)3273368SAT 1.21881 1.21882
MPhaseSAT_M 2011-02-16 (complete)3273366SAT 1.3038 1.30599
shortsattime+ 2011-03-02 (incomplete)3273373SAT 1.3308 1.33058
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3273365SAT 1.43378 1.43487
PicoSAT 941 (complete)3273391SAT 1.9807 1.98682
adaptg2wsat2011 2011-03-02 (incomplete)3273372SAT 2.96955 2.9689
ppfolio seq (complete)3273400SAT 6.47 6.5939
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449598SAT 9.12 9.24076
march_rw 2011-03-02 (complete)3273367SAT 12.1452 12.1471
riss Auto (1200 s timeout) (complete)3472829SAT 12.6531 12.6525
RestartSAT B95 (complete)3273375SAT 16.1705 16.1721
claspmt 2.0-R4095 [DEPRECATED] (complete)3299654SAT 25.5651 6.40672
ppfolio par (complete)3273399SAT 52.7 13.2175
UmSat 2011-05-12 (fixed) (complete)3379275SAT 65.605 65.6034
UmSat 2011-02-25 [DEPRECATED] (complete)3273377SAT 67.9957 67.9961
RestartSAT A75 (complete)3273376SAT 108.595 108.593
STRUCTure 0.1 (hbr=2) (complete)3311999SAT 112.822 28.6324
jMiniSat 2011 (complete)3280052SAT 119.597 119.114
QuteRSat 2011-05-12 (fixed) (complete)3376875SAT 124.637 124.64
claspmt 2.0-R4095-patched (fixed) (complete)3373275SAT 141.524 35.4716
Satisfiability Solver Selector 2011-03-18 (complete)3273401SAT 170.08 194.425
SApperloT2010 2011-05-15 (fixed) (complete)3379875SAT 188.776 188.773
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3273405SAT 205.61 205.609
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3273408SAT 223.046 223.04
STRUCTure 0.1 (complete)3313199SAT 339.891 85.7703
SAT07 reference solver: minisat SAT 2007 (complete)3273410SAT 354.786 354.775
clasp 2.0-R4092-crafted (complete)3300554SAT 442.908 442.897
Plingeling 587f (fixed) (complete)3371175SAT 475.188 119.456
Plingeling 587 [DEPRECATED] (complete)3273392SAT 477.215 119.698
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3273398SAT 675.258 675.112
Black Hole SAT 2011-03-08 (complete)3273378SAT 942.773 942.752
rcl 2011-04-01 (complete)3273396SAT 989.894 989.875
riss Exp (complete)3273386SAT 1019.5 1019.47
CryptoMiniSat TechDemo-Alpha-mt (complete)3273379SAT 1261.61 316.243
priss 1.0 (complete)3273390SAT 2018.56 505.362
priss Auto (complete)3273389SAT 2667.07 667.712
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369375SAT 2887.21 723.466
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3273383SAT 2897.69 725.405
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3273381SAT 4777.85 1196.09
riss 1.0 (complete)3273385? (TO) 1299.98 1300.01
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3273384? (TO) 1299.99 1300.01
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3273382? (TO) 1299.99 1300.01
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3273409? (TO) 1300 1300.01
glucose 2 (complete)3273402? (TO) 1300.02 1300.01
riss Auto (complete)3273387? (TO) 1300.02 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3273380? (TO) 1300.03 1300.01
Lingeling 587 [DEPRECATED] (complete)3273393? (TO) 1300.04 1300.01
synit_sat 2011-03-03 (complete)3273371? (TO) 1300.05 1300.02
sathys 2011-04-01 (complete)3273397? (TO) 1300.05 1300.02
SApperloT 2011-03-23 (complete)3273407? (TO) 1300.05 1300.01
QuteRSat 2011-03-01 [DEPRECATED] (complete)3273394? (TO) 1300.05 1300.02
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368175? (TO) 1300.06 1300.02
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370575? (TO) 1300.06 1300.02
Lingeling 587f (fixed) (complete)3371775? (TO) 1300.06 1300.02
tts 5-4 (complete)3273403? (TO) 1300.08 1300.05
Sol 2011-04-04 (complete)3273395? (TO) 1307.52 1300.03
priss UP (complete)3273388? (TO) 2387.83 1300.02
ttsth 5-4 (complete)3273404? (TO) 4800.22 1203.4
SArTagnan 2011-05-15 (fixed) (complete)3386119? (TO) 4800.23 1205.05
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366975? (TO) 4800.3 1203.13
SArTagnan 2011-03-24 [DEPRECATED] (complete)3273406Wrong Cert. 1823.94 456.627

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 -141 -142 -143 -144 -145 -146 -147 148
-149 -150 151 -152 -153 -154 -155 156 -157 -158 159 160 0