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

Result page for benchmark
crafted/skvortsov/
automata-synchronization/rnd_100_28_u.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/skvortsov/
automata-synchronization/rnd_100_28_u.cnf
MD5SUM7fb794f1c5d1c4d1723aeeb5efb40cdc
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark56.3054
Satisfiable
(Un)Satisfiability was proved
Number of variables2856
Number of clauses10578
Sum of the clauses size26556
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25178
Number of clauses of size 35400
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)3260671UNSAT 56.3054 56.3069
Lingeling 587f (fixed) (complete)3371721UNSAT 56.4244 56.4312
RestartSAT A75 (complete)3260654UNSAT 100.385 100.389
QuteRSat 2011-05-12 (fixed) (complete)3376821UNSAT 111.795 111.792
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3260662UNSAT 118.357 118.356
QuteRSat 2011-03-01 [DEPRECATED] (complete)3260672UNSAT 119.029 119.028
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370521UNSAT 122.1 122.1
SApperloT 2011-03-23 (complete)3260685UNSAT 122.351 122.35
glucose 2 (complete)3260680UNSAT 122.652 122.653
synit_sat 2011-03-03 (complete)3260649UNSAT 139.61 139.611
clasp 2.0-R4092-crafted (complete)3300500UNSAT 152.342 152.341
SArTagnan 2011-03-24 [DEPRECATED] (complete)3260684UNSAT 163.8 41.0207
CryptoMiniSat TechDemo-Alpha-mt (complete)3260657UNSAT 169.207 42.6618
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369321UNSAT 198.612 49.788
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3260660UNSAT 198.985 198.987
Plingeling 587 [DEPRECATED] (complete)3260670UNSAT 199.285 49.9138
Plingeling 587f (fixed) (complete)3371121UNSAT 202.623 50.8087
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366921UNSAT 202.895 50.8773
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368121UNSAT 205.538 205.535
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3260659UNSAT 206 51.5775
SArTagnan 2011-05-15 (fixed) (complete)3386065UNSAT 206.127 51.7783
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3260661UNSAT 218.678 54.7496
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274362UNSAT 226.163 226.155
SAT07 reference solver: minisat SAT 2007 (complete)3274364UNSAT 226.305 226.302
claspmt 2.0-R4095 [DEPRECATED] (complete)3299600UNSAT 226.759 56.8083
RestartSAT B95 (complete)3260653UNSAT 255.107 255.107
claspmt 2.0-R4095-patched (fixed) (complete)3373221UNSAT 256.021 64.214
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3260683UNSAT 259.085 259.079
MPhaseSAT 2011-02-15 (complete)3260642UNSAT 272.543 272.54
SApperloT2010 2011-05-15 (fixed) (complete)3379821UNSAT 273.521 273.517
MPhaseSAT_M 2011-02-16 (complete)3260644UNSAT 275.38 275.377
Sol 2011-04-04 (complete)3260673UNSAT 283.596 278.684
PicoSAT 941 (complete)3260669UNSAT 335.904 335.903
rcl 2011-04-01 (complete)3260674UNSAT 362.498 362.495
MPhaseSAT64 2011-05-14 (fixed) (complete)3375621UNSAT 384.058 384.041
ppfolio seq (complete)3260678UNSAT 515.482 515.461
sathys 2011-04-01 (complete)3260675UNSAT 568.92 568.913
jMiniSat 2011 (complete)3279998UNSAT 604.517 603.761
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3260643UNSAT 770.965 770.949
ppfolio par (complete)3260677UNSAT 975.883 244.31
ttsth 5-4 (complete)3260682? 4800.07 1207.27
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449652? (TO) 1200.06 1200.14
riss Auto (1200 s timeout) (complete)3472883? (TO) 1200.08 1200.05
Satisfiability Solver Selector 2011-03-18 (complete)3260679? (TO) 1299.68 1300.02
shortsattime2011 2011-03-02 (incomplete)3260648? (TO) 1299.96 1300.01
riss Exp (complete)3260664? (TO) 1299.98 1300.01
UmSat 2011-05-12 (fixed) (complete)3379221? (TO) 1300 1300.02
march_rw 2011-03-02 (complete)3260645? (TO) 1300 1300.01
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274363? (TO) 1300.01 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3260658? (TO) 1300.03 1300.01
sattime 2011-03-02 (incomplete)3260647? (TO) 1300.03 1300.01
riss 1.0 (complete)3260663? (TO) 1300.03 1300.01
shortsattime+ 2011-03-02 (incomplete)3260651? (TO) 1300.04 1300.01
UmSat 2011-02-25 [DEPRECATED] (complete)3260655? (TO) 1300.04 1300.01
sattime+ 2011-03-02 (incomplete)3260652? (TO) 1300.04 1300.01
riss Auto (complete)3260665? (TO) 1300.05 1300.01
sattime2011 2011-03-02 (incomplete)3260646? (TO) 1300.05 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3260650? (TO) 1300.05 1300.01
Black Hole SAT 2011-03-08 (complete)3260656? (TO) 1300.05 1300.01
tts 5-4 (complete)3260681? (TO) 1300.08 1300.04
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3260676? (TO) 1301.22 1300.05
priss UP (complete)3260666? (TO) 2451.32 1300.02
priss Auto (complete)3260667? (TO) 4800.03 1201.92
STRUCTure 0.1 (complete)3313145? (TO) 4800.23 1207.14
priss 1.0 (complete)3260668? (TO) 4800.29 1201.72
STRUCTure 0.1 (hbr=2) (complete)3311945? (TO) 4800.39 1207.14

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: