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

Result page for benchmark
crafted/spence/sgen/
sgen3-n120-s12930489-sat.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/spence/sgen/
sgen3-n120-s12930489-sat.cnf
MD5SUM8ed9a0140bec35e5e912931daa661f80
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.003998
Satisfiable
(Un)Satisfiability was proved
Number of variables120
Number of clauses288
Sum of the clauses size720
Maximum clause length5
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2240
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 548
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
adaptg2wsat2011 2011-03-02 (incomplete)3274030SAT 0.003998 0.00602091
sattime2011 2011-03-02 (incomplete)3274026SAT 0.007998 0.00850809
MPhaseSAT64 2011-05-14 (fixed) (complete)3375689SAT 0.014996 0.0230649
shortsattime2011 2011-03-02 (incomplete)3274028SAT 0.014997 0.0149559
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3274023SAT 0.018997 0.020887
sattime+ 2011-03-02 (incomplete)3274032SAT 0.019996 0.0218479
shortsattime+ 2011-03-02 (incomplete)3274031SAT 0.05499 0.054787
sattime 2011-03-02 (incomplete)3274027SAT 0.069989 0.0712961
ppfolio par (complete)3274057SAT 0.103983 0.032094
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274067SAT 0.249961 0.250217
march_rw 2011-03-02 (complete)3274025SAT 0.574912 0.575025
MPhaseSAT_M 2011-02-16 (complete)3274024SAT 0.797878 0.799005
MPhaseSAT 2011-02-15 (complete)3274022SAT 0.801878 0.808241
ppfolio seq (complete)3274058SAT 0.818875 1.01799
RestartSAT A75 (complete)3274034SAT 0.901862 0.901754
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3274063SAT 0.944855 0.950959
SApperloT2010 2011-05-15 (fixed) (complete)3379889SAT 1.01284 1.01479
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3274039SAT 1.07784 0.274073
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366989SAT 1.09283 0.279106
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3274041SAT 1.36379 0.345845
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369389SAT 1.37779 0.349405
jMiniSat 2011 (complete)3280066SAT 1.38979 1.01187
PicoSAT 941 (complete)3274049SAT 1.58176 1.58239
Lingeling 587 [DEPRECATED] (complete)3274051SAT 1.78473 1.78874
RestartSAT B95 (complete)3274033SAT 1.82072 1.82205
Lingeling 587f (fixed) (complete)3371789SAT 1.87371 1.88539
claspmt 2.0-R4095 [DEPRECATED] (complete)3299668SAT 1.9547 0.496381
riss Auto (1200 s timeout) (complete)3472843SAT 3.21151 3.21297
riss Auto (complete)3274045SAT 3.44947 3.44989
riss 1.0 (complete)3274043SAT 3.46247 3.46362
QuteRSat 2011-03-01 [DEPRECATED] (complete)3274052SAT 4.24335 4.24769
SApperloT 2011-03-23 (complete)3274065SAT 4.97824 4.98255
glucose 2 (complete)3274060SAT 5.13222 5.13342
STRUCTure 0.1 (hbr=2) (complete)3312013SAT 5.34419 1.56634
sathys 2011-04-01 (complete)3274055SAT 5.46817 5.46797
claspmt 2.0-R4095-patched (fixed) (complete)3373289SAT 6.12607 1.55018
STRUCTure 0.1 (complete)3313213SAT 6.21006 1.75825
priss 1.0 (complete)3274048SAT 6.35403 1.6046
QuteRSat 2011-05-12 (fixed) (complete)3376889SAT 6.36803 6.3731
SAT07 reference solver: minisat SAT 2007 (complete)3274068SAT 6.52401 6.52715
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449612SAT 6.72998 13.758
Plingeling 587 [DEPRECATED] (complete)3274050SAT 7.50686 2.05602
Plingeling 587f (fixed) (complete)3371189SAT 7.54885 2.09309
Black Hole SAT 2011-03-08 (complete)3274036SAT 9.13361 9.13367
clasp 2.0-R4092-crafted (complete)3300568SAT 9.43157 9.43253
SArTagnan 2011-05-15 (fixed) (complete)3386133SAT 12.3051 3.09405
synit_sat 2011-03-03 (complete)3274029SAT 12.4421 12.4417
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274066SAT 12.971 12.9721
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368189SAT 16.2775 16.282
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3274040SAT 16.5825 16.5873
Satisfiability Solver Selector 2011-03-18 (complete)3274059SAT 19.42 19.5125
CryptoMiniSat TechDemo-Alpha-st (complete)3274038SAT 19.481 19.4913
riss Exp (complete)3274044SAT 21.9507 21.9509
priss Auto (complete)3274047SAT 29.0136 7.27033
UmSat 2011-05-12 (fixed) (complete)3379289SAT 31.6032 31.6033
UmSat 2011-02-25 [DEPRECATED] (complete)3274035SAT 33.3819 33.3833
rcl 2011-04-01 (complete)3274054SAT 35.7546 35.7682
priss UP (complete)3274046SAT 51.9561 28.8333
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3274056SAT 59.16 57.9043
CryptoMiniSat TechDemo-Alpha-mt (complete)3274037SAT 74.5387 19.2764
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3274042SAT 79.6789 79.6816
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370589SAT 79.7229 79.7223
Sol 2011-04-04 (complete)3274053SAT 183.503 182.195
tts 5-4 (complete)3274061SAT 711.264 711.261
ttsth 5-4 (complete)3274062SAT 1512.14 379.733
SArTagnan 2011-03-24 [DEPRECATED] (complete)3274064Wrong Cert. 10.4054 2.61151

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:
1 -2 -3 4 -5 -6 -7 8 9 10 -11 -12 13 14 15 16 -17 -18 -19 20 21 -22 23 24 -25 26 -27 -28 -29 -30 -31 -32 33 34 35 36 37 -38 39 40 -41 -42 43
-44 -45 46 -47 48 49 -50 51 52 53 -54 55 56 -57 58 -59 60 61 62 -63 64 65 -66 -67 -68 69 70 71 72 73 -74 -75 76 77 -78 -79 -80 -81 -82 83 84
-85 86 87 88 89 90 91 92 93 94 95 96 -97 -98 99 -100 101 102 103 -104 105 -106 -107 -108 -109 110 -111 -112 -113 114 -115 -116 -117 -118
-119 120 0