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

Result page for benchmark
application/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf

Jump to solvers results

General information on the benchmark

Nameapplication/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf
MD5SUM3fad4722cb319d6fee4192f2fe2c31ed
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark166.168
Satisfiable
(Un)Satisfiability was proved
Number of variables98935
Number of clauses296405
Sum of the clauses size691609
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2197602
Number of clauses of size 398801
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Lingeling 587 [DEPRECATED] (complete)3288058UNSAT 166.168 166.17
Lingeling 587f (fixed) (complete)3371994UNSAT 172.739 172.733
glueminisat 2.2.5 (complete)3288067UNSAT 175.131 175.138
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368394UNSAT 196.922 196.922
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3288047UNSAT 199.545 199.547
glucose 2 (complete)3288068UNSAT 212.906 212.906
QuteRSat 2011-03-01 [DEPRECATED] (complete)3288059UNSAT 215.315 215.31
synit_sat 2011-03-03 (complete)3288036UNSAT 234.686 234.708
QuteRSat 2011-05-12 (fixed) (complete)3377094UNSAT 241.904 242.08
SApperloT 2011-03-23 (complete)3288072UNSAT 256.286 256.279
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3448959UNSAT 315.71 315.83
RestartSAT A75 (complete)3288041UNSAT 328.812 328.817
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3288049UNSAT 340.899 340.889
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370794UNSAT 343.16 343.159
SAT09 reference solver:precosat 236 (complete)3308833UNSAT 352.791 352.783
EBGlucose 1.0 (incomplete)3288069UNSAT 360.463 360.461
borg-sat 11.03.02-seq-industrial (fixed) (complete)3377994UNSAT 364.038 364.095
RestartSAT B95 (complete)3288040UNSAT 374.776 374.773
borg-sat 11.03.02-seq-industrial (fixed, 1200 s timeout) (complete)3483977UNSAT 385.563 385.998
SAT09 reference solver:glucose 1.0 (complete)3308834UNSAT 388.852 388.845
MPhaseSAT 2011-02-15 (complete)3288029UNSAT 396.03 396.022
MPhaseSAT_M 2011-02-16 (complete)3288031UNSAT 436.062 436.053
riss Auto (1200 s timeout) (complete)3472790UNSAT 440.63 440.619
riss Auto (complete)3288052UNSAT 468.478 468.488
minisat hack: EBMiniSAT 2011-03-02 (incomplete)3349246UNSAT 480.977 480.965
riss 1.0 (complete)3288050UNSAT 484.735 484.727
Plingeling 587 [DEPRECATED] (complete)3288057UNSAT 528.208 132.538
ppfolio seq (complete)3288065UNSAT 549.814 549.8
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369594UNSAT 557.628 141.152
rcl 2011-04-01 (complete)3288061UNSAT 589.403 589.402
Plingeling 587f (fixed) (complete)3371394UNSAT 598.694 150.505
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3288048UNSAT 617.502 156.687
minisat hack: minisat_psm 2011-04-01 (complete)3348946UNSAT 632.728 632.716
minisat hack: MiniSAT 2.2.0-agile-26 (complete)3318138UNSAT 633.99 633.97
CryptoMiniSat TechDemo-Alpha-st (complete)3288045UNSAT 647.431 647.429
riss Exp (complete)3288051UNSAT 653.524 653.514
borg-sat 11.03.02-industrial [DEPRECATED] (complete)3317838UNSAT 664.772 279.818
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3367194UNSAT 690.154 173.015
minisat hack: contrasat 2011-03-02 (complete)3350446UNSAT 704.07 706.45
Satisfiability Solver Selector 2011-03-18 (complete)3288066UNSAT 709.73 709.805
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3288046UNSAT 721.551 180.673
minisat hack reference: minisat 2.2.0 (complete)3362643UNSAT 766.928 766.911
ppfolio par (complete)3288064UNSAT 823.479 206.363
priss UP (complete)3288053UNSAT 846.709 474.436
borg-sat 11.03.02-par-industrial (fixed) (complete)3378894UNSAT 856.665 231.003
MPhaseSAT64 2011-05-14 (fixed) (complete)3375894UNSAT 881.329 881.313
SAT09 reference solver:LySAT i/2009-03-20 (complete)3308835UNSAT 884.583 884.562
minisat hack: LR_GL_NOSHR 2011-03-02 (complete)3350146UNSAT 977.728 977.694
SAT09 reference solver: ManySAT 1.1 aimd 1/2009-03-20 (complete)3362189UNSAT 1157.97 291.538
kw 2011-02-28 (complete)3288073UNSAT 1205.11 1205.09
minisat hack: LR_GL_SHR 2011-03-02 (complete)3349546UNSAT 1242.7 1242.72
priss 1.0 (complete)3288055UNSAT 1300.45 325.715
priss Auto (complete)3288054UNSAT 1518.24 380.721
CryptoMiniSat TechDemo-Alpha-mt (complete)3288044UNSAT 1864.71 468.638
claspmt 2.0-R4095 [DEPRECATED] (complete)3299873UNSAT 3870.62 969.665
SArTagnan 2011-05-15 (fixed) (complete)3386338UNSAT 4296.22 1078.41
claspmt 2.0-R4095-patched (fixed) (complete)3373494UNSAT 4539.73 1138.47
minisat hack: cir_minisat 2011-03-02 (complete)3348646? (TO) 1299.63 1300.03
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3288030? (TO) 1299.77 1300.01
Black Hole SAT 2011-03-08 (complete)3288043? (TO) 1299.95 1300.02
sathys 2011-04-01 (complete)3288062? (TO) 1300 1300.02
PicoSAT 941 (complete)3288056? (TO) 1300.04 1300.01
shortsattime2011 2011-03-02 (incomplete)3288035? (TO) 1300.04 1300.01
sattime 2011-03-02 (incomplete)3288034? (TO) 1300.04 1300.01
sattime+ 2011-03-02 (incomplete)3288039? (TO) 1300.04 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3288037? (TO) 1300.05 1300.01
minisat hack: LR_NOGL_NOSHR 2011-03-02 (complete)3349846? (TO) 1300.05 1300.03
shortsattime+ 2011-03-02 (incomplete)3288038? (TO) 1300.05 1300.01
sattime2011 2011-03-02 (incomplete)3288033? (TO) 1300.05 1300.01
minisat hack: cir_minisat 2011-05-13 (simp) (complete)3380394? (TO) 1300.05 1300.02
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3288070? (TO) 1300.05 1300.02
SApperloT2010 2011-05-15 (fixed) (complete)3380094? (TO) 1300.06 1300.02
march_rw 2011-03-02 (complete)3288032? (TO) 1300.06 1300.03
clasp 2.0-R4092-indust (complete)3300173? (TO) 1300.06 1300.01
UmSat 2011-05-12 (fixed) (complete)3379494? (TO) 1300.1 1300.07
UmSat 2011-02-25 [DEPRECATED] (complete)3288042? (TO) 1300.11 1300.07
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3288063? (TO) 1300.98 1300.06
jMiniSat 2011 (complete)3288074? (TO) 1302.2 1300.02
Sol 2011-04-04 (complete)3288060? (TO) 1302.55 1300.03
SArTagnan 2011-03-24 [DEPRECATED] (complete)3288071? (TO) 4800.22 1201.87
STRUCTure 0.1 (complete)3313418? (TO) 4800.69 1211.68
STRUCTure 0.1 (hbr=2) (complete)3312218? (TO) 4800.77 1216.58

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: