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

Result page for benchmark
SAT03/handmade/bevan/cnf/
marg3x3add8ch.shuffled-as.sat03-1448.cnf

Jump to solvers results

General information on the benchmark

NameSAT03/handmade/bevan/cnf/
marg3x3add8ch.shuffled-as.sat03-1448.cnf
MD5SUMe5a54c3916792cf58c449b6e5b243188
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.000999
Satisfiable
(Un)Satisfiability was proved
Number of variables41
Number of clauses272
Sum of the clauses size1424
Maximum clause length6
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 316
Number of clauses of size 432
Number of clauses of size 596
Number of clauses of size over 5128

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274657UNSAT 0.000999 0.00654604
march_rw 2011-03-02 (complete)3263989UNSAT 0.000999 0.00601995
ppfolio par (complete)3264021UNSAT 0.014997 0.00910089
ppfolio seq (complete)3264022UNSAT 0.030994 0.058725
tts 5-4 (complete)3264025UNSAT 0.064989 0.0679981
Sol 2011-04-04 (complete)3264017UNSAT 0.070988 0.0737609
ttsth 5-4 (complete)3264026UNSAT 0.077988 0.0341129
QuteRSat 2011-05-12 (fixed) (complete)3376682UNSAT 0.288955 0.295262
QuteRSat 2011-03-01 [DEPRECATED] (complete)3264016UNSAT 0.298954 0.299019
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370382UNSAT 0.71589 0.715615
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3264006UNSAT 0.71589 0.719707
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367982UNSAT 0.71789 0.722288
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3264004UNSAT 0.723889 0.723891
CryptoMiniSat TechDemo-Alpha-mt (complete)3264001UNSAT 0.777881 0.204696
synit_sat 2011-03-03 (complete)3263993UNSAT 1.00885 1.01373
glucose 2 (complete)3264024UNSAT 1.12783 1.13032
CryptoMiniSat TechDemo-Alpha-st (complete)3264002UNSAT 1.2798 1.29455
PicoSAT 941 (complete)3264013UNSAT 1.40379 1.40979
clasp 2.0-R4092-crafted (complete)3300361UNSAT 1.61076 1.61198
Lingeling 587 [DEPRECATED] (complete)3264015UNSAT 1.66874 1.67068
Lingeling 587f (fixed) (complete)3371582UNSAT 1.67074 1.6699
Plingeling 587 [DEPRECATED] (complete)3264014UNSAT 1.9397 0.52085
SApperloT 2011-03-23 (complete)3264029UNSAT 2.15167 2.15375
SAT07 reference solver: minisat SAT 2007 (complete)3274658UNSAT 2.21566 2.2162
MPhaseSAT_M 2011-02-16 (complete)3263988UNSAT 2.26166 2.26198
Plingeling 587f (fixed) (complete)3370982UNSAT 2.32065 0.846172
SArTagnan 2011-03-24 [DEPRECATED] (complete)3264028UNSAT 2.33664 0.589481
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3264005UNSAT 2.87356 0.72308
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369182UNSAT 2.90556 0.732284
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449780UNSAT 3.43 3.58424
Satisfiability Solver Selector 2011-03-18 (complete)3264023UNSAT 3.45 3.58214
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3263987UNSAT 3.47147 3.47236
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3264003UNSAT 3.53546 0.908877
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366782UNSAT 3.54546 0.913073
riss 1.0 (complete)3264007UNSAT 3.56546 3.56716
riss Auto (complete)3264009UNSAT 3.58545 3.5922
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274656UNSAT 3.65844 3.65821
UmSat 2011-05-12 (fixed) (complete)3379082UNSAT 3.73443 3.73512
riss Auto (1200 s timeout) (complete)3473011UNSAT 3.9434 3.94449
claspmt 2.0-R4095 [DEPRECATED] (complete)3299461UNSAT 4.19336 1.05634
MPhaseSAT 2011-02-15 (complete)3263986UNSAT 4.21036 4.21258
sathys 2011-04-01 (complete)3264019UNSAT 4.41633 4.41881
SArTagnan 2011-05-15 (fixed) (complete)3385926UNSAT 4.53031 1.14419
claspmt 2.0-R4095-patched (fixed) (complete)3373082UNSAT 4.67629 1.18048
MPhaseSAT64 2011-05-14 (fixed) (complete)3375482UNSAT 5.17621 5.17667
UmSat 2011-02-25 [DEPRECATED] (complete)3263999UNSAT 6.09838 4.10978
priss UP (complete)3264010UNSAT 7.40487 5.44962
RestartSAT A75 (complete)3263998UNSAT 9.25259 9.25353
RestartSAT B95 (complete)3263997UNSAT 10.3514 10.3527
SApperloT2010 2011-05-15 (fixed) (complete)3379682UNSAT 13.8789 13.8821
jMiniSat 2011 (complete)3279859UNSAT 14.0349 13.496
priss Auto (complete)3264011UNSAT 14.2608 3.58939
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3264027UNSAT 15.0977 15.1033
riss Exp (complete)3264008UNSAT 16.6485 17.0312
priss 1.0 (complete)3264012UNSAT 17.0634 4.28729
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3264020UNSAT 30.6963 29.3411
rcl 2011-04-01 (complete)3264018UNSAT 31.9391 31.9426
Black Hole SAT 2011-03-08 (complete)3264000UNSAT 204.507 204.512
STRUCTure 0.1 (complete)3313006UNSAT 265.554 68.0048
STRUCTure 0.1 (hbr=2) (complete)3311806UNSAT 267.8 68.667
sattime 2011-03-02 (incomplete)3263991? (TO) 1299.99 1300.01
sattime2011 2011-03-02 (incomplete)3263990? (TO) 1300.02 1300.01
shortsattime+ 2011-03-02 (incomplete)3263995? (TO) 1300.03 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3263994? (TO) 1300.05 1300.01
sattime+ 2011-03-02 (incomplete)3263996? (TO) 1300.05 1300.01
shortsattime2011 2011-03-02 (incomplete)3263992? (TO) 1300.06 1300.01

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: