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

Result page for benchmark
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_4300_4300_170.shuffled.cnf

Jump to solvers results

General information on the benchmark

NameSAT02/handmade/pehoushek/plainoldcnf/
5cnf_4300_4300_170.shuffled.cnf
MD5SUM82789f57e506af1994452e76af2dcbf0
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.073988
Satisfiable
(Un)Satisfiability was proved
Number of variables170
Number of clauses2924
Sum of the clauses size14457
Maximum clause length5
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31
Number of clauses of size 4161
Number of clauses of size 52762
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
sattime2011 2011-03-02 (incomplete)3266234SAT 0.073988 0.075498
ppfolio seq (complete)3266266SAT 0.091986 0.0979539
adaptg2wsat2011 2011-03-02 (incomplete)3266238SAT 0.095984 0.0955449
shortsattime2011 2011-03-02 (incomplete)3266236SAT 0.104983 0.104873
sattime 2011-03-02 (incomplete)3266235SAT 0.298954 0.30047
shortsattime+ 2011-03-02 (incomplete)3266239SAT 0.316951 0.31912
sattime+ 2011-03-02 (incomplete)3266240SAT 0.412937 0.413603
MPhaseSAT64 2011-05-14 (fixed) (complete)3375626SAT 0.710891 0.713112
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3266231SAT 0.803877 0.804696
MPhaseSAT 2011-02-15 (complete)3266230SAT 1.05484 1.05675
MPhaseSAT_M 2011-02-16 (complete)3266232SAT 1.14182 1.14391
ppfolio par (complete)3266265SAT 1.59276 0.453972
sathys 2011-04-01 (complete)3266263SAT 7.70483 7.70584
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449863SAT 13.7479 13.8479
Satisfiability Solver Selector 2011-03-18 (complete)3266267SAT 30.7273 30.8085
march_rw 2011-03-02 (complete)3266233SAT 508.279 508.263
riss Auto (1200 s timeout) (complete)3473094? (TO) 1200.03 1200.02
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274810? (TO) 1299.83 1300.01
RestartSAT B95 (complete)3266241? (TO) 1299.99 1300.01
Black Hole SAT 2011-03-08 (complete)3266244? (TO) 1299.99 1300.01
rcl 2011-04-01 (complete)3266262? (TO) 1300.03 1300.01
Lingeling 587f (fixed) (complete)3371726? (TO) 1300.03 1300.01
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274809? (TO) 1300.03 1300.01
riss 1.0 (complete)3266251? (TO) 1300.03 1300.01
SApperloT 2011-03-23 (complete)3266273? (TO) 1300.04 1300.01
SAT07 reference solver: minisat SAT 2007 (complete)3274811? (TO) 1300.04 1300.01
QuteRSat 2011-05-12 (fixed) (complete)3376826? (TO) 1300.04 1300.03
PicoSAT 941 (complete)3266257? (TO) 1300.04 1300.01
riss Exp (complete)3266252? (TO) 1300.04 1300.01
riss Auto (complete)3266253? (TO) 1300.04 1300.01
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3266248? (TO) 1300.04 1300.02
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3266250? (TO) 1300.04 1300.02
clasp 2.0-R4092-crafted (complete)3300505? (TO) 1300.04 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3266246? (TO) 1300.05 1300.01
Lingeling 587 [DEPRECATED] (complete)3266259? (TO) 1300.05 1300.01
glucose 2 (complete)3266268? (TO) 1300.05 1300.01
UmSat 2011-02-25 [DEPRECATED] (complete)3266243? (TO) 1300.05 1300.01
UmSat 2011-05-12 (fixed) (complete)3379226? (TO) 1300.05 1300.01
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370526? (TO) 1300.06 1300.02
QuteRSat 2011-03-01 [DEPRECATED] (complete)3266260? (TO) 1300.06 1300.02
RestartSAT A75 (complete)3266242? (TO) 1300.06 1300.01
synit_sat 2011-03-03 (complete)3266237? (TO) 1300.06 1300.02
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368126? (TO) 1300.06 1300.02
SApperloT2010 2011-05-15 (fixed) (complete)3379826? (TO) 1300.1 1300.07
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3266271? (TO) 1300.1 1300.06
tts 5-4 (complete)3266269? (TO) 1300.17 1300.14
jMiniSat 2011 (complete)3280003? (TO) 1300.55 1300.02
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3266264? (TO) 1301.06 1300.03
Sol 2011-04-04 (complete)3266261? (TO) 1308.11 1300.02
priss UP (complete)3266254? (TO) 2341.35 1300.02
SArTagnan 2011-05-15 (fixed) (complete)3386070? (TO) 3890.55 1300.05
priss Auto (complete)3266255? (TO) 4800.08 1201.72
claspmt 2.0-R4095-patched (fixed) (complete)3373226? (TO) 4800.1 1203.14
priss 1.0 (complete)3266256? (TO) 4800.18 1201.72
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3266249? (TO) 4800.19 1201.64
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3266247? (TO) 4800.25 1201.84
STRUCTure 0.1 (hbr=2) (complete)3311950? (TO) 4800.27 1207.53
SArTagnan 2011-03-24 [DEPRECATED] (complete)3266272? (TO) 4800.3 1201.76
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366926? (TO) 4800.34 1203.46
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369326? (TO) 4800.36 1203.15
Plingeling 587 [DEPRECATED] (complete)3266258? (TO) 4800.36 1201.72
STRUCTure 0.1 (complete)3313150? (TO) 4800.38 1207.43
claspmt 2.0-R4095 [DEPRECATED] (complete)3299605? (TO) 4800.4 1201.72
CryptoMiniSat TechDemo-Alpha-mt (complete)3266245? (TO) 4800.44 1201.93
Plingeling 587f (fixed) (complete)3371126? (TO) 4800.45 1203.13
ttsth 5-4 (complete)3266270? (TO) 4800.72 1202.41

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 -161 162 -163 164 165 166 167 -168 -169 170 0