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

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

Jump to solvers results

General information on the benchmark

NameSAT02/handmade/pehoushek/plainoldcnf/
5cnf_4300_4300_110.shuffled.cnf
MD5SUM34f8b747bfe8e7b589b8832e56ae8363
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.022996
Satisfiable
(Un)Satisfiability was proved
Number of variables110
Number of clauses1892
Sum of the clauses size9308
Maximum clause length5
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 33
Number of clauses of size 4146
Number of clauses of size 51743
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
sathys 2011-04-01 (complete)3266351SAT 0.022996 0.0231839
sattime 2011-03-02 (incomplete)3266323SAT 0.028995 0.033266
sattime2011 2011-03-02 (incomplete)3266322SAT 0.028995 0.0294569
sattime+ 2011-03-02 (incomplete)3266328SAT 0.030995 0.0340211
shortsattime2011 2011-03-02 (incomplete)3266324SAT 0.033993 0.034029
ppfolio seq (complete)3266354SAT 0.048991 0.0496711
adaptg2wsat2011 2011-03-02 (incomplete)3266326SAT 0.058991 0.0596779
shortsattime+ 2011-03-02 (incomplete)3266327SAT 0.066989 0.069949
MPhaseSAT64 2011-05-14 (fixed) (complete)3375490SAT 0.690894 0.696395
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3266319SAT 0.78488 0.788168
MPhaseSAT 2011-02-15 (complete)3266318SAT 0.850869 0.852073
MPhaseSAT_M 2011-02-16 (complete)3266320SAT 0.931857 0.932491
ppfolio par (complete)3266353SAT 2.82757 0.905842
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449865SAT 11.1403 11.1895
march_rw 2011-03-02 (complete)3266321SAT 15.7596 15.7592
Satisfiability Solver Selector 2011-03-18 (complete)3266355SAT 28.0207 28.0748
SApperloT2010 2011-05-15 (fixed) (complete)3379690SAT 51.1562 51.1589
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3266359SAT 51.7361 51.7365
PicoSAT 941 (complete)3266345SAT 453.561 453.552
claspmt 2.0-R4095 [DEPRECATED] (complete)3299469SAT 1651.08 413.273
claspmt 2.0-R4095-patched (fixed) (complete)3373090SAT 1895.62 475.15
STRUCTure 0.1 (complete)3313014SAT 2313.8 581.965
STRUCTure 0.1 (hbr=2) (complete)3311814SAT 4762.84 1198.25
riss Auto (1200 s timeout) (complete)3473096? (TO) 1200.03 1200.03
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3266352? (TO) 1298.94 1300.03
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367990? (TO) 1299.97 1300.02
UmSat 2011-05-12 (fixed) (complete)3379090? (TO) 1299.98 1300.02
RestartSAT A75 (complete)3266330? (TO) 1299.98 1300.01
Lingeling 587f (fixed) (complete)3371590? (TO) 1299.99 1300.02
riss 1.0 (complete)3266339? (TO) 1299.99 1300.01
glucose 2 (complete)3266356? (TO) 1300.01 1300.01
riss Auto (complete)3266341? (TO) 1300.02 1300.01
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274815? (TO) 1300.02 1300.01
rcl 2011-04-01 (complete)3266350? (TO) 1300.03 1300.01
SAT07 reference solver: minisat SAT 2007 (complete)3274817? (TO) 1300.03 1300.01
riss Exp (complete)3266340? (TO) 1300.03 1300.01
Black Hole SAT 2011-03-08 (complete)3266332? (TO) 1300.03 1300.01
QuteRSat 2011-05-12 (fixed) (complete)3376690? (TO) 1300.04 1300.03
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3266338? (TO) 1300.04 1300.02
clasp 2.0-R4092-crafted (complete)3300369? (TO) 1300.04 1300.01
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274816? (TO) 1300.04 1300.01
QuteRSat 2011-03-01 [DEPRECATED] (complete)3266348? (TO) 1300.05 1300.02
Lingeling 587 [DEPRECATED] (complete)3266347? (TO) 1300.05 1300.01
UmSat 2011-02-25 [DEPRECATED] (complete)3266331? (TO) 1300.05 1300.01
RestartSAT B95 (complete)3266329? (TO) 1300.05 1300.01
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3266336? (TO) 1300.05 1300.02
CryptoMiniSat TechDemo-Alpha-st (complete)3266334? (TO) 1300.05 1300.01
SApperloT 2011-03-23 (complete)3266361? (TO) 1300.05 1300.01
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370390? (TO) 1300.05 1300.02
synit_sat 2011-03-03 (complete)3266325? (TO) 1300.06 1300.02
tts 5-4 (complete)3266357? (TO) 1300.11 1300.08
jMiniSat 2011 (complete)3279867? (TO) 1300.53 1300.02
Sol 2011-04-04 (complete)3266349? (TO) 1307.28 1300.02
priss UP (complete)3266342? (TO) 2371.74 1300.02
SArTagnan 2011-05-15 (fixed) (complete)3385934? (TO) 3164.33 1300.06
priss Auto (complete)3266343? (TO) 4800.16 1201.92
priss 1.0 (complete)3266344? (TO) 4800.2 1201.72
Plingeling 587f (fixed) (complete)3370990? (TO) 4800.28 1203.73
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3266337? (TO) 4800.31 1201.74
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366790? (TO) 4800.31 1203.94
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369190? (TO) 4800.32 1202.83
SArTagnan 2011-03-24 [DEPRECATED] (complete)3266360? (TO) 4800.35 1201.75
CryptoMiniSat TechDemo-Alpha-mt (complete)3266333? (TO) 4800.41 1201.62
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3266335? (TO) 4800.43 1201.73
Plingeling 587 [DEPRECATED] (complete)3266346? (TO) 4800.43 1201.72
ttsth 5-4 (complete)3266358? (TO) 4800.67 1202.25

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 0