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

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

Jump to solvers results

General information on the benchmark

Namecrafted/skvortsov/
automata-synchronization/rnd_150_29_u.cnf
MD5SUM97209c9c2612edfa7815278bcf07a2b4
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark83.7023
Satisfiable
(Un)Satisfiability was proved
Number of variables4408
Number of clauses19904
Sum of the clauses size48208
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 211504
Number of clauses of size 38400
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)3260803UNSAT 83.7023 83.7009
Lingeling 587f (fixed) (complete)3371722UNSAT 84.1872 84.1878
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370522UNSAT 154.591 154.587
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3260794UNSAT 154.82 154.818
synit_sat 2011-03-03 (complete)3260781UNSAT 160.639 160.68
RestartSAT A75 (complete)3260786UNSAT 184.456 184.452
glucose 2 (complete)3260812UNSAT 199.531 199.531
QuteRSat 2011-05-12 (fixed) (complete)3376822UNSAT 206.366 206.368
SApperloT 2011-03-23 (complete)3260817UNSAT 230.344 230.339
clasp 2.0-R4092-crafted (complete)3300501UNSAT 245.144 245.146
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3260791UNSAT 248.318 62.1748
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366922UNSAT 262.593 65.847
SArTagnan 2011-05-15 (fixed) (complete)3386066UNSAT 270.594 67.8938
Plingeling 587f (fixed) (complete)3371122UNSAT 274.236 69.0387
Plingeling 587 [DEPRECATED] (complete)3260802UNSAT 275.181 68.9447
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3260792UNSAT 289.751 289.744
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368122UNSAT 289.999 289.992
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369322UNSAT 318.678 79.8597
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3260793UNSAT 318.976 79.8706
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274374UNSAT 325.226 325.221
SArTagnan 2011-03-24 [DEPRECATED] (complete)3260816UNSAT 344.984 86.3847
QuteRSat 2011-03-01 [DEPRECATED] (complete)3260804UNSAT 356.936 356.924
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3260815UNSAT 358.352 358.344
SApperloT2010 2011-05-15 (fixed) (complete)3379822UNSAT 359.889 359.896
SAT07 reference solver: minisat SAT 2007 (complete)3274376UNSAT 379.265 379.26
sathys 2011-04-01 (complete)3260807UNSAT 414.404 414.406
claspmt 2.0-R4095 [DEPRECATED] (complete)3299601UNSAT 426.598 106.895
CryptoMiniSat TechDemo-Alpha-mt (complete)3260789UNSAT 467.945 118.638
claspmt 2.0-R4095-patched (fixed) (complete)3373222UNSAT 491.165 123.222
RestartSAT B95 (complete)3260785UNSAT 508.652 508.643
rcl 2011-04-01 (complete)3260806UNSAT 517.83 517.821
Sol 2011-04-04 (complete)3260805UNSAT 607.275 597.662
PicoSAT 941 (complete)3260801UNSAT 670.661 670.668
ppfolio seq (complete)3260810UNSAT 913.354 913.315
MPhaseSAT 2011-02-15 (complete)3260774UNSAT 942.137 942.138
MPhaseSAT_M 2011-02-16 (complete)3260776UNSAT 966.822 966.807
MPhaseSAT64 2011-05-14 (fixed) (complete)3375622UNSAT 967.72 967.694
ppfolio par (complete)3260809UNSAT 1223.62 401.666
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3260775UNSAT 1263.5 1263.47
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449656? (TO) 1200.05 1200.23
riss Auto (1200 s timeout) (complete)3472887? (TO) 1200.07 1200.04
Satisfiability Solver Selector 2011-03-18 (complete)3260811? (TO) 1299.94 1300.02
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274375? (TO) 1299.98 1300.01
UmSat 2011-05-12 (fixed) (complete)3379222? (TO) 1299.99 1300.03
shortsattime2011 2011-03-02 (incomplete)3260780? (TO) 1300 1300.01
riss Auto (complete)3260797? (TO) 1300.02 1300.01
riss 1.0 (complete)3260795? (TO) 1300.02 1300.01
riss Exp (complete)3260796? (TO) 1300.02 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3260790? (TO) 1300.04 1300.01
sattime 2011-03-02 (incomplete)3260779? (TO) 1300.04 1300.01
Black Hole SAT 2011-03-08 (complete)3260788? (TO) 1300.04 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3260782? (TO) 1300.05 1300.01
sattime2011 2011-03-02 (incomplete)3260778? (TO) 1300.05 1300.01
UmSat 2011-02-25 [DEPRECATED] (complete)3260787? (TO) 1300.06 1300.02
tts 5-4 (complete)3260813? (TO) 1300.06 1300.07
shortsattime+ 2011-03-02 (incomplete)3260783? (TO) 1300.06 1300.01
march_rw 2011-03-02 (complete)3260777? (TO) 1300.06 1300.02
sattime+ 2011-03-02 (incomplete)3260784? (TO) 1300.07 1300.01
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3260808? (TO) 1301.31 1300.07
jMiniSat 2011 (complete)3279999? (TO) 1301.82 1300.02
priss UP (complete)3260798? (TO) 2441.42 1300.02
priss 1.0 (complete)3260800? (TO) 4800.07 1201.92
priss Auto (complete)3260799? (TO) 4800.09 1201.72
ttsth 5-4 (complete)3260814? (TO) 4800.11 1204.42
STRUCTure 0.1 (hbr=2) (complete)3311946? (TO) 4800.18 1206.54
STRUCTure 0.1 (complete)3313146? (TO) 4800.21 1207.05

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: