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

Result page for benchmark
industrial/fuhs/hard/
AProVE07-03.cnf

Jump to solvers results

General information on the benchmark

Nameindustrial/fuhs/hard/
AProVE07-03.cnf
MD5SUM8c67f78ca36ec96e662a91c74844da21
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark154.887
Satisfiable
(Un)Satisfiability was proved
Number of variables3114
Number of clauses10827
Sum of the clauses size28341
Maximum clause length119
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 24934
Number of clauses of size 35378
Number of clauses of size 4408
Number of clauses of size 584
Number of clauses of size over 522

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
glueminisat 2.2.5 (complete)3280569UNSAT 154.887 154.887
glucose 2 (complete)3280570UNSAT 400.521 400.517
QuteRSat 2011-03-01 [DEPRECATED] (complete)3280561UNSAT 534.691 534.676
Lingeling 587f (fixed) (complete)3371959UNSAT 579.478 579.477
SAT09 reference solver:glucose 1.0 (complete)3308345UNSAT 585.547 585.541
Lingeling 587 [DEPRECATED] (complete)3280560UNSAT 590.282 590.278
synit_sat 2011-03-03 (complete)3280538UNSAT 618.994 619.028
QuteRSat 2011-05-12 (fixed) (complete)3377059UNSAT 645.811 645.818
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368359UNSAT 736.43 736.412
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3280549UNSAT 752.004 751.991
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3280551UNSAT 768.912 768.893
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370759UNSAT 777.8 777.788
minisat hack: minisat_psm 2011-04-01 (complete)3348911UNSAT 856.937 856.945
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3280550UNSAT 859.379 215.147
minisat hack: contrasat 2011-03-02 (complete)3350411UNSAT 871.145 871.172
MPhaseSAT64 2011-05-14 (fixed) (complete)3375859UNSAT 883.9 883.869
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3448736UNSAT 888.78 890.243
ppfolio seq (complete)3280567UNSAT 902.827 902.835
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3280532UNSAT 923.947 923.923
claspmt 2.0-R4095 [DEPRECATED] (complete)3299838UNSAT 1008.22 252.469
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369559UNSAT 1049.6 263.125
minisat hack: MiniSAT 2.2.0-agile-26 (complete)3318103UNSAT 1075.01 1075
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3280548UNSAT 1113.59 279.363
Satisfiability Solver Selector 2011-03-18 (complete)3280568UNSAT 1254.87 1254.99
RestartSAT A75 (complete)3280543UNSAT 1257.28 1257.24
claspmt 2.0-R4095-patched (fixed) (complete)3373459UNSAT 1283.19 321.789
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3367159UNSAT 1284.42 321.928
SAT09 reference solver: ManySAT 1.1 aimd 1/2009-03-20 (complete)3361863UNSAT 1780.68 446.737
ppfolio par (complete)3280566UNSAT 1786.1 447.135
Plingeling 587f (fixed) (complete)3371359UNSAT 1909.22 478.882
Plingeling 587 [DEPRECATED] (complete)3280559UNSAT 1930.6 483.365
SArTagnan 2011-03-24 [DEPRECATED] (complete)3280573UNSAT 2519.67 630.827
borg-sat 11.03.02-par-industrial (fixed) (complete)3378859UNSAT 3149.43 791.16
SArTagnan 2011-05-15 (fixed) (complete)3386303UNSAT 3388.81 1127.14
CryptoMiniSat TechDemo-Alpha-mt (complete)3280546UNSAT 4518.13 1132.32
borg-sat 11.03.02-industrial [DEPRECATED] (complete)3317803UNSAT 4671.99 1189.5
borg-sat 11.03.02-seq-industrial (fixed, 1200 s timeout) (complete)3483814? (TO) 1200.02 1203.33
riss Auto (1200 s timeout) (complete)3472567? (TO) 1200.07 1200.05
UmSat 2011-02-25 [DEPRECATED] (complete)3280544? (TO) 1298.32 1300.01
borg-sat 11.03.02-seq-industrial (fixed) (complete)3377959? (TO) 1298.9 1300.03
MPhaseSAT_M 2011-02-16 (complete)3280533? (TO) 1299.95 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3280547? (TO) 1299.96 1300.01
riss Exp (complete)3280553? (TO) 1299.99 1300.01
Black Hole SAT 2011-03-08 (complete)3280545? (TO) 1300 1300.01
PicoSAT 941 (complete)3280558? (TO) 1300.01 1300.01
rcl 2011-04-01 (complete)3280563? (TO) 1300.01 1300.01
SAT09 reference solver:LySAT i/2009-03-20 (complete)3308346? (TO) 1300.02 1300.01
EBGlucose 1.0 (incomplete)3280571? (TO) 1300.02 1300.01
shortsattime+ 2011-03-02 (incomplete)3280540? (TO) 1300.02 1300.01
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3280572? (TO) 1300.02 1300.01
riss Auto (complete)3280554? (TO) 1300.03 1300.01
riss 1.0 (complete)3280552? (TO) 1300.03 1300.01
minisat hack: cir_minisat 2011-03-02 (complete)3348611? (TO) 1300.03 1300.02
MPhaseSAT 2011-02-15 (complete)3280531? (TO) 1300.03 1300.01
march_rw 2011-03-02 (complete)3280534? (TO) 1300.03 1300.01
clasp 2.0-R4092-indust (complete)3300138? (TO) 1300.04 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3280539? (TO) 1300.04 1300.01
shortsattime2011 2011-03-02 (incomplete)3280537? (TO) 1300.04 1300.01
sattime 2011-03-02 (incomplete)3280536? (TO) 1300.04 1300.01
SApperloT 2011-03-23 (complete)3280574? (TO) 1300.04 1300.01
kw 2011-02-28 (complete)3280575? (TO) 1300.04 1300.01
sattime+ 2011-03-02 (incomplete)3280541? (TO) 1300.04 1300.01
sattime2011 2011-03-02 (incomplete)3280535? (TO) 1300.04 1300.01
minisat hack: EBMiniSAT 2011-03-02 (incomplete)3349211? (TO) 1300.04 1300.02
SApperloT2010 2011-05-15 (fixed) (complete)3380059? (TO) 1300.04 1300.02
minisat hack: LR_GL_NOSHR 2011-03-02 (complete)3350111? (TO) 1300.04 1300.01
RestartSAT B95 (complete)3280542? (TO) 1300.05 1300.01
SAT09 reference solver:precosat 236 (complete)3308344? (TO) 1300.05 1300.01
minisat hack: LR_GL_SHR 2011-03-02 (complete)3349511? (TO) 1300.05 1300.01
minisat hack: LR_NOGL_NOSHR 2011-03-02 (complete)3349811? (TO) 1300.05 1300.02
sathys 2011-04-01 (complete)3280564? (TO) 1300.05 1300.01
minisat hack reference: minisat 2.2.0 (complete)3362608? (TO) 1300.05 1300.02
minisat hack: cir_minisat 2011-05-13 (simp) (complete)3380359? (TO) 1300.05 1300.01
UmSat 2011-05-12 (fixed) (complete)3379459? (TO) 1300.06 1300.03
jMiniSat 2011 (complete)3280576? (TO) 1300.75 1300.02
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3280565? (TO) 1300.8 1300.04
Sol 2011-04-04 (complete)3280562? (TO) 1304.19 1300.03
priss UP (complete)3280555? (TO) 2315.37 1300.02
priss 1.0 (complete)3280557? (TO) 4800.07 1201.72
STRUCTure 0.1 (hbr=2) (complete)3312183? (TO) 4800.11 1206.64
priss Auto (complete)3280556? (TO) 4800.17 1201.72
STRUCTure 0.1 (complete)3313383? (TO) 4800.2 1206.84

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: