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

Result page for benchmark
CRAFTED/modcircuits/
mod4block_2vars_8gates_u2.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/modcircuits/
mod4block_2vars_8gates_u2.cnf
MD5SUMa5bb71bc1d85a401ce9f42ed1404d63e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark238.524
Satisfiable
(Un)Satisfiability was proved
Number of variables387
Number of clauses62656
Sum of the clauses size362132
Maximum clause length24
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 21453
Number of clauses of size 30
Number of clauses of size 41977
Number of clauses of size 53842
Number of clauses of size over 555320

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
QuteRSat 2011-03-01 [DEPRECATED] (complete)3257592UNSAT 196.125 196.121
QuteRSat 2011-05-12 (fixed) (complete)3376752UNSAT 238.524 238.518
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370452UNSAT 248.368 248.364
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3257582UNSAT 255.439 255.436
synit_sat 2011-03-03 (complete)3257569UNSAT 296.516 296.505
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368052UNSAT 308.804 308.8
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3257580UNSAT 341.83 341.817
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3448821UNSAT 553.17 555.985
ppfolio seq (complete)3257598UNSAT 556.401 556.396
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3257581UNSAT 625.94 156.709
sathys 2011-04-01 (complete)3257595UNSAT 648.774 648.773
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369252UNSAT 671.761 168.462
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366852UNSAT 752.569 188.589
ppfolio par (complete)3257597UNSAT 776.5 194.498
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3257579UNSAT 905.185 226.618
Lingeling 587f (fixed) (complete)3371652UNSAT 929.528 929.506
Lingeling 587 [DEPRECATED] (complete)3257591UNSAT 934.922 934.9
Satisfiability Solver Selector 2011-03-18 (complete)3257599UNSAT 957.99 958.129
Plingeling 587f (fixed) (complete)3371052UNSAT 1918.13 481.912
SArTagnan 2011-03-24 [DEPRECATED] (complete)3257604UNSAT 2751.74 688.955
Plingeling 587 [DEPRECATED] (complete)3257590UNSAT 3652.19 915.554
claspmt 2.0-R4095-patched (fixed) (complete)3373152UNSAT 4528.07 1134.77
riss Auto (1200 s timeout) (complete)3472652? (TO) 1200.02 1200.02
SApperloT2010 2011-05-15 (fixed) (complete)3379752? (TO) 1297.7 1300.03
Black Hole SAT 2011-03-08 (complete)3257576? (TO) 1299.92 1300.01
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3273209? (TO) 1299.94 1300.01
sattime+ 2011-03-02 (incomplete)3257572? (TO) 1299.96 1300.01
riss Exp (complete)3257584? (TO) 1299.96 1300.01
RestartSAT B95 (complete)3257573? (TO) 1300 1300.01
MPhaseSAT_M 2011-02-16 (complete)3257564? (TO) 1300 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3257578? (TO) 1300 1300.01
riss Auto (complete)3257585? (TO) 1300.02 1300.01
riss 1.0 (complete)3257583? (TO) 1300.02 1300.01
glucose 2 (complete)3257600? (TO) 1300.02 1300.02
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3257563? (TO) 1300.02 1300.01
MPhaseSAT 2011-02-15 (complete)3257562? (TO) 1300.03 1300.01
march_rw 2011-03-02 (complete)3257565? (TO) 1300.03 1300.01
shortsattime2011 2011-03-02 (incomplete)3257568? (TO) 1300.03 1300.01
sattime2011 2011-03-02 (incomplete)3257566? (TO) 1300.04 1300.01
rcl 2011-04-01 (complete)3257594? (TO) 1300.04 1300.01
MPhaseSAT64 2011-05-14 (fixed) (complete)3375552? (TO) 1300.04 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3257570? (TO) 1300.05 1300.01
PicoSAT 941 (complete)3257589? (TO) 1300.05 1300.01
RestartSAT A75 (complete)3257574? (TO) 1300.05 1300.01
clasp 2.0-R4092-crafted (complete)3300431? (TO) 1300.05 1300.01
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3273208? (TO) 1300.05 1300.01
SAT07 reference solver: minisat SAT 2007 (complete)3273210? (TO) 1300.05 1300.01
shortsattime+ 2011-03-02 (incomplete)3257571? (TO) 1300.05 1300.01
UmSat 2011-05-12 (fixed) (complete)3379152? (TO) 1300.06 1300.04
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3257603? (TO) 1300.06 1300.02
SApperloT 2011-03-23 (complete)3257605? (TO) 1300.06 1300.01
UmSat 2011-02-25 [DEPRECATED] (complete)3257575? (TO) 1300.07 1300.04
sattime 2011-03-02 (incomplete)3257567? (TO) 1300.07 1300.01
tts 5-4 (complete)3257601? (TO) 1300.15 1300.12
jMiniSat 2011 (complete)3279929? (TO) 1300.89 1300.02
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3257596? (TO) 1301.36 1300.1
Sol 2011-04-04 (complete)3257593? (TO) 1305.64 1300.02
priss UP (complete)3257586? (TO) 2404.7 1300.02
SArTagnan 2011-05-15 (fixed) (complete)3385996? (TO) 3880.1 1300.06
priss 1.0 (complete)3257588? (TO) 4800.08 1202.52
claspmt 2.0-R4095 [DEPRECATED] (complete)3299531? (TO) 4800.18 1201.84
STRUCTure 0.1 (hbr=2) (complete)3311876? (TO) 4800.19 1207.94
STRUCTure 0.1 (complete)3313076? (TO) 4800.22 1207.86
ttsth 5-4 (complete)3257602? (TO) 4800.26 1202.34
priss Auto (complete)3257587? (TO) 4800.35 1201.82
CryptoMiniSat TechDemo-Alpha-mt (complete)3257577? (TO) 4800.44 1201.82

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: