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

Result page for benchmark
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_3500_3500_30f1.shuffled.cnf

Jump to solvers results

General information on the benchmark

NameSAT02/handmade/pehoushek/plainoldcnf/
5cnf_3500_3500_30f1.shuffled.cnf
MD5SUMdfc27c12419822bebf5088f3b8f31579
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.003999
Satisfiable
(Un)Satisfiability was proved
Number of variables30
Number of clauses420
Sum of the clauses size1968
Maximum clause length5
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 311
Number of clauses of size 4110
Number of clauses of size 5299
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
PicoSAT 941 (complete)3266169UNSAT 0.003999 0.00609099
SAT07 reference solver: minisat SAT 2007 (complete)3274805UNSAT 0.004999 0.00641488
SApperloT 2011-03-23 (complete)3266185UNSAT 0.004999 0.00665489
RestartSAT B95 (complete)3266153UNSAT 0.004999 0.007558
glucose 2 (complete)3266180UNSAT 0.005998 0.00782104
rcl 2011-04-01 (complete)3266174UNSAT 0.005998 0.0077159
clasp 2.0-R4092-crafted (complete)3300358UNSAT 0.005998 0.00665894
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274803UNSAT 0.005999 0.00760095
march_rw 2011-03-02 (complete)3266145UNSAT 0.005999 0.00701103
SApperloT2010 2011-05-15 (fixed) (complete)3379679UNSAT 0.006998 0.014854
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3266183UNSAT 0.006998 0.00793093
claspmt 2.0-R4095-patched (fixed) (complete)3373079UNSAT 0.006998 0.0117499
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370379UNSAT 0.007997 0.0139789
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367979UNSAT 0.007998 0.0129471
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3266162UNSAT 0.008997 0.00880811
claspmt 2.0-R4095 [DEPRECATED] (complete)3299458UNSAT 0.008997 0.00672901
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3266160UNSAT 0.008997 0.012872
RestartSAT A75 (complete)3266154UNSAT 0.008998 0.0136931
sathys 2011-04-01 (complete)3266175UNSAT 0.010997 0.0103589
CryptoMiniSat TechDemo-Alpha-st (complete)3266158UNSAT 0.011997 0.024905
UmSat 2011-02-25 [DEPRECATED] (complete)3266155UNSAT 0.012997 0.0128991
UmSat 2011-05-12 (fixed) (complete)3379079UNSAT 0.012997 0.013308
Black Hole SAT 2011-03-08 (complete)3266156UNSAT 0.012998 0.0176279
Lingeling 587f (fixed) (complete)3371579UNSAT 0.013997 0.0171241
Lingeling 587 [DEPRECATED] (complete)3266171UNSAT 0.013997 0.016025
MPhaseSAT 2011-02-15 (complete)3266142UNSAT 0.018996 0.019249
MPhaseSAT_M 2011-02-16 (complete)3266144UNSAT 0.018997 0.0204059
Plingeling 587f (fixed) (complete)3370979UNSAT 0.021996 0.017208
synit_sat 2011-03-03 (complete)3266149UNSAT 0.021996 0.023697
MPhaseSAT64 2011-05-14 (fixed) (complete)3375479UNSAT 0.022996 0.0240351
SArTagnan 2011-03-24 [DEPRECATED] (complete)3266184UNSAT 0.023996 0.01185
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3266143UNSAT 0.025995 0.0278231
ppfolio par (complete)3266177UNSAT 0.026995 0.013974
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3266161UNSAT 0.027995 0.0123091
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369179UNSAT 0.030995 0.012734
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3266159UNSAT 0.031995 0.01273
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366779UNSAT 0.033993 0.0141749
QuteRSat 2011-03-01 [DEPRECATED] (complete)3266172UNSAT 0.038993 0.0435021
QuteRSat 2011-05-12 (fixed) (complete)3376679UNSAT 0.039993 0.041362
Plingeling 587 [DEPRECATED] (complete)3266170UNSAT 0.049991 0.0232041
Sol 2011-04-04 (complete)3266173UNSAT 0.06099 0.060916
tts 5-4 (complete)3266181UNSAT 0.066988 0.0697521
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274804UNSAT 0.070989 0.0724139
ttsth 5-4 (complete)3266182UNSAT 0.095984 0.043619
CryptoMiniSat TechDemo-Alpha-mt (complete)3266157UNSAT 0.116981 0.038997
ppfolio seq (complete)3266178UNSAT 0.159975 0.163917
SArTagnan 2011-05-15 (fixed) (complete)3385923UNSAT 0.248962 0.09395
jMiniSat 2011 (complete)3279856UNSAT 0.337947 0.276307
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3266176UNSAT 0.342946 0.239671
STRUCTure 0.1 (complete)3313003UNSAT 1.15882 0.652842
STRUCTure 0.1 (hbr=2) (complete)3311803UNSAT 1.20282 0.620029
riss Auto (complete)3266165UNSAT 2.75558 2.75692
riss Auto (1200 s timeout) (complete)3473092UNSAT 2.75658 2.76084
riss Exp (complete)3266164UNSAT 2.76058 2.76157
priss UP (complete)3266166UNSAT 2.79757 2.79071
riss 1.0 (complete)3266163UNSAT 2.99654 2.99723
Satisfiability Solver Selector 2011-03-18 (complete)3266179UNSAT 3.16052 3.20705
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449861UNSAT 3.16152 3.20131
priss 1.0 (complete)3266168UNSAT 10.9853 2.75581
priss Auto (complete)3266167UNSAT 10.9943 2.76698
sattime 2011-03-02 (incomplete)3266147? (TO) 1300.04 1300.01
sattime2011 2011-03-02 (incomplete)3266146? (TO) 1300.04 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3266150? (TO) 1300.04 1300.01
shortsattime+ 2011-03-02 (incomplete)3266151? (TO) 1300.04 1300.01
sattime+ 2011-03-02 (incomplete)3266152? (TO) 1300.04 1300.01
shortsattime2011 2011-03-02 (incomplete)3266148? (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: