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

Result page for benchmark
SAT03/industrial/simon/sat02/
6pipe_6_ooo.shuffled-as.sat03-413.cnf

Jump to solvers results

General information on the benchmark

NameSAT03/industrial/simon/sat02/
6pipe_6_ooo.shuffled-as.sat03-413.cnf
MD5SUM8bd122b0caab0988cbc54e4731b25623
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark21.2178
Satisfiable
(Un)Satisfiability was proved
Number of variables17064
Number of clauses545612
Sum of the clauses size1608428
Maximum clause length187
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2476931
Number of clauses of size 356141
Number of clauses of size 4301
Number of clauses of size 5290
Number of clauses of size over 511948

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
glueminisat 2.2.5 (complete)3291241UNSAT 21.2178 21.2179
RestartSAT A75 (complete)3291215UNSAT 21.5387 21.5391
minisat hack: LR_GL_SHR 2011-03-02 (complete)3349507UNSAT 22.0307 22.0326
minisat hack: cir_minisat 2011-03-02 (complete)3348607UNSAT 22.3086 22.308
minisat hack: cir_minisat 2011-05-13 (simp) (complete)3380355UNSAT 23.2455 23.2447
clasp 2.0-R4092-indust (complete)3300134UNSAT 28.9576 28.9608
SAT09 reference solver:LySAT i/2009-03-20 (complete)3309042UNSAT 33.5269 33.5339
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3291244UNSAT 37.1634 37.1624
Lingeling 587f (fixed) (complete)3371955UNSAT 37.4653 37.5172
sathys 2011-04-01 (complete)3291236UNSAT 39.0641 39.07
RestartSAT B95 (complete)3291214UNSAT 39.9999 40.0091
minisat hack: LR_GL_NOSHR 2011-03-02 (complete)3350107UNSAT 40.8198 40.8198
SApperloT2010 2011-05-15 (fixed) (complete)3380055UNSAT 42.8535 42.8548
Lingeling 587 [DEPRECATED] (complete)3291232UNSAT 43.2794 43.2788
QuteRSat 2011-03-01 [DEPRECATED] (complete)3291233UNSAT 43.9743 43.973
QuteRSat 2011-05-12 (fixed) (complete)3377055UNSAT 43.9953 43.9993
SAT09 reference solver:precosat 236 (complete)3309040UNSAT 45.5171 45.5231
minisat hack: LR_NOGL_NOSHR 2011-03-02 (complete)3349807UNSAT 46.246 46.2477
synit_sat 2011-03-03 (complete)3291210UNSAT 46.8469 46.8484
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368355UNSAT 50.1754 50.1746
minisat hack: MiniSAT 2.2.0-agile-26 (complete)3318099UNSAT 53.0009 53.0036
minisat hack reference: minisat 2.2.0 (complete)3362604UNSAT 53.6108 53.6098
riss 1.0 (complete)3291224UNSAT 54.0258 54.0254
kw 2011-02-28 (complete)3291247UNSAT 56.4544 56.4539
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3291221UNSAT 57.7302 57.7389
riss Auto (complete)3291226UNSAT 58.92 58.9241
minisat hack: EBMiniSAT 2011-03-02 (incomplete)3349207UNSAT 60.7918 60.7939
claspmt 2.0-R4095-patched (fixed) (complete)3373455UNSAT 60.9227 17.8964
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370755UNSAT 63.1384 63.1446
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3291223UNSAT 63.2234 63.2244
minisat hack: minisat_psm 2011-04-01 (complete)3348907UNSAT 63.7963 64.0086
EBGlucose 1.0 (incomplete)3291243UNSAT 67.4048 91.0067
riss Exp (complete)3291225UNSAT 67.6037 67.6051
riss Auto (1200 s timeout) (complete)3473012UNSAT 71.3232 71.3299
claspmt 2.0-R4095 [DEPRECATED] (complete)3299834UNSAT 71.7601 20.5341
priss UP (complete)3291227UNSAT 81.4936 56.2485
glucose 2 (complete)3291242UNSAT 83.9662 83.9906
minisat hack: contrasat 2011-03-02 (complete)3350407UNSAT 86.3899 86.3903
Satisfiability Solver Selector 2011-03-18 (complete)3291240UNSAT 90.13 90.2167
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449781UNSAT 93.69 93.9
ppfolio seq (complete)3291239UNSAT 103.642 103.641
Sol 2011-04-04 (complete)3291234UNSAT 107.539 106.826
SAT09 reference solver: ManySAT 1.1 aimd 1/2009-03-20 (complete)3362327UNSAT 107.891 30.581
MPhaseSAT64 2011-05-14 (fixed) (complete)3375855UNSAT 118.187 118.188
SAT09 reference solver:glucose 1.0 (complete)3309041UNSAT 125.994 125.999
borg-sat 11.03.02-seq-industrial (fixed) (complete)3377955UNSAT 128.135 128.482
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3291237UNSAT 129.408 128.417
Plingeling 587 [DEPRECATED] (complete)3291231UNSAT 130.13 33.1977
SApperloT 2011-03-23 (complete)3291246UNSAT 130.597 130.594
MPhaseSAT 2011-02-15 (complete)3291203UNSAT 133.091 133.307
jMiniSat 2011 (complete)3291248UNSAT 136.841 135.315
ppfolio par (complete)3291238UNSAT 152.023 38.066
MPhaseSAT_M 2011-02-16 (complete)3291205UNSAT 152.704 152.705
Plingeling 587f (fixed) (complete)3371355UNSAT 160.291 40.7714
borg-sat 11.03.02-seq-industrial (fixed, 1200 s timeout) (complete)3484646UNSAT 165.178 165.095
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3367155UNSAT 165.956 41.6646
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3291220UNSAT 178.913 46.057
PicoSAT 941 (complete)3291230UNSAT 182.503 182.563
SArTagnan 2011-03-24 [DEPRECATED] (complete)3291245UNSAT 190.356 47.8917
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369555UNSAT 194.599 49.3241
SArTagnan 2011-05-15 (fixed) (complete)3386299UNSAT 203.566 51.3098
UmSat 2011-05-12 (fixed) (complete)3379455UNSAT 218.918 218.917
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3291222UNSAT 220.261 58.324
priss 1.0 (complete)3291229UNSAT 253.659 67.3921
borg-sat 11.03.02-par-industrial (fixed) (complete)3378855UNSAT 266.723 80.8647
priss Auto (complete)3291228UNSAT 267.958 68.4395
CryptoMiniSat TechDemo-Alpha-st (complete)3291219UNSAT 313.589 313.596
borg-sat 11.03.02-industrial [DEPRECATED] (complete)3317799UNSAT 342.616 129.844
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3291204UNSAT 348.525 348.515
rcl 2011-04-01 (complete)3291235UNSAT 427.402 427.387
CryptoMiniSat TechDemo-Alpha-mt (complete)3291218UNSAT 2739.24 686.792
march_rw 2011-03-02 (complete)3291206? (MO) 535.619 535.608
Black Hole SAT 2011-03-08 (complete)3291217? (TO) 1299.86 1300.01
shortsattime+ 2011-03-02 (incomplete)3291212? (TO) 1299.96 1300.01
shortsattime2011 2011-03-02 (incomplete)3291209? (TO) 1300.03 1300.01
sattime+ 2011-03-02 (incomplete)3291213? (TO) 1300.05 1300.01
sattime2011 2011-03-02 (incomplete)3291207? (TO) 1300.05 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3291211? (TO) 1300.06 1300.01
sattime 2011-03-02 (incomplete)3291208? (TO) 1300.06 1300.01
STRUCTure 0.1 (hbr=2) (complete)3312179? (TO) 4800.24 1244.82
STRUCTure 0.1 (complete)3313379? (TO) 4800.44 1224.38
UmSat 2011-02-25 [DEPRECATED] (complete)3291216Wrong Cert. 3.37649 3.3761

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: