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

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

Jump to solvers results

General information on the benchmark

Namecrafted/skvortsov/
automata-synchronization/crn_11_99_u.cnf
MD5SUM9ad5e99587f3a7137ad13cd9a8eefafb
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.27181
Satisfiable
(Un)Satisfiability was proved
Number of variables1287
Number of clauses2332
Sum of the clauses size6820
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2176
Number of clauses of size 32156
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
synit_sat 2011-03-03 (complete)3260693UNSAT 1.02284 1.02236
QuteRSat 2011-05-12 (fixed) (complete)3376820UNSAT 1.27181 1.27191
QuteRSat 2011-03-01 [DEPRECATED] (complete)3260716UNSAT 1.3348 1.35135
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368120UNSAT 1.3418 1.34286
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3260704UNSAT 1.35279 1.35424
glucose 2 (complete)3260724UNSAT 1.81372 1.81555
riss Auto (complete)3260709UNSAT 1.85572 1.85681
riss Auto (1200 s timeout) (complete)3472884UNSAT 1.87271 1.91382
riss 1.0 (complete)3260707UNSAT 1.89771 1.89799
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370520UNSAT 2.19567 2.1971
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3260706UNSAT 2.38664 2.38793
ppfolio seq (complete)3260722UNSAT 2.73358 2.73763
Plingeling 587 [DEPRECATED] (complete)3260714UNSAT 3.15952 0.854876
Plingeling 587f (fixed) (complete)3371120UNSAT 3.17352 0.859344
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3260703UNSAT 3.3055 0.832741
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366920UNSAT 3.51247 0.884815
riss Exp (complete)3260708UNSAT 3.58945 3.5929
Satisfiability Solver Selector 2011-03-18 (complete)3260723UNSAT 4.11 4.27379
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449653UNSAT 4.12 4.23329
rcl 2011-04-01 (complete)3260718UNSAT 4.43433 4.43566
priss UP (complete)3260710UNSAT 4.82627 3.60818
ppfolio par (complete)3260721UNSAT 5.38718 1.35314
Lingeling 587f (fixed) (complete)3371720UNSAT 5.63514 5.6367
Lingeling 587 [DEPRECATED] (complete)3260715UNSAT 5.65614 5.68973
claspmt 2.0-R4095-patched (fixed) (complete)3373220UNSAT 6.01408 1.52153
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369320UNSAT 6.81496 1.71514
claspmt 2.0-R4095 [DEPRECATED] (complete)3299599UNSAT 6.93194 1.74935
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3260705UNSAT 6.96094 1.74908
tts 5-4 (complete)3260725UNSAT 7.63384 7.63423
priss 1.0 (complete)3260712UNSAT 8.82866 2.26806
priss Auto (complete)3260711UNSAT 9.04562 2.27709
RestartSAT A75 (complete)3260698UNSAT 10.4734 10.4744
MPhaseSAT64 2011-05-14 (fixed) (complete)3375620UNSAT 13.414 13.4152
ttsth 5-4 (complete)3260726UNSAT 15.0097 7.79381
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3260687UNSAT 17.2224 17.2246
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3260720UNSAT 17.6473 16.8111
SArTagnan 2011-05-15 (fixed) (complete)3386064UNSAT 18.0063 4.53204
sathys 2011-04-01 (complete)3260719UNSAT 18.4222 18.425
jMiniSat 2011 (complete)3279997UNSAT 18.9131 18.3025
Sol 2011-04-04 (complete)3260717UNSAT 19.2001 18.7979
SApperloT 2011-03-23 (complete)3260729UNSAT 20.0819 20.0822
SArTagnan 2011-03-24 [DEPRECATED] (complete)3260728UNSAT 28.0657 7.03401
CryptoMiniSat TechDemo-Alpha-st (complete)3260702UNSAT 37.8702 37.9296
UmSat 2011-05-12 (fixed) (complete)3379220UNSAT 103.975 103.978
UmSat 2011-02-25 [DEPRECATED] (complete)3260699UNSAT 117.862 117.86
CryptoMiniSat TechDemo-Alpha-mt (complete)3260701UNSAT 121.541 30.5115
PicoSAT 941 (complete)3260713UNSAT 195.921 195.918
MPhaseSAT 2011-02-15 (complete)3260686UNSAT 361.941 361.949
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274366UNSAT 379.218 379.236
MPhaseSAT_M 2011-02-16 (complete)3260688UNSAT 380.438 380.431
RestartSAT B95 (complete)3260697UNSAT 582.674 582.662
clasp 2.0-R4092-crafted (complete)3300499UNSAT 1088.37 1088.34
SApperloT2010 2011-05-15 (fixed) (complete)3379820? (TO) 1299.99 1300.01
SAT07 reference solver: minisat SAT 2007 (complete)3274367? (TO) 1300 1300.01
sattime 2011-03-02 (incomplete)3260691? (TO) 1300.02 1300.01
sattime+ 2011-03-02 (incomplete)3260696? (TO) 1300.02 1300.01
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3260727? (TO) 1300.04 1300.01
shortsattime+ 2011-03-02 (incomplete)3260695? (TO) 1300.04 1300.01
Black Hole SAT 2011-03-08 (complete)3260700? (TO) 1300.04 1300.01
shortsattime2011 2011-03-02 (incomplete)3260692? (TO) 1300.04 1300.01
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274365? (TO) 1300.05 1300.01
sattime2011 2011-03-02 (incomplete)3260690? (TO) 1300.05 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3260694? (TO) 1300.05 1300.01
march_rw 2011-03-02 (complete)3260689? (TO) 1300.08 1300.04
STRUCTure 0.1 (hbr=2) (complete)3311944? (TO) 4800.12 1208.13
STRUCTure 0.1 (complete)3313144? (TO) 4800.38 1207.36

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: