SAT 2009 Competition: minisat hack track: solvers results per benchmarks

Result page for benchmark
vange-col-abb313GPIA-9-c.cnf

Jump to solvers results

General information on the benchmark

Namevange-col-abb313GPIA-9-c.cnf
MD5SUM0baefedb2aaa81442743e253487854d8
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables6228
Number of clauses484871
Sum of the clauses size3850952
Maximum clause length8
Minimum clause length1
Number of clauses of size 115
Number of clauses of size 24651
Number of clauses of size 31
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5480204

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat_cumr r-2009-03-18 (complete)1820807? (TO) 1200.02 1199.94
minisat2 070721/core (complete)1849425? (TO) 1200.04 1199.95
MiniSAT 09z 2009-03-22 (complete)1820808? (TO) 1200.04 1200.03
APTUSAT 2009-03-22 (complete)1820811? (TO) 1200.08 1200.05
BinMiniSat 2009-03-21 (complete)1820810? (TO) 1200.1 1200.05
MiniSat2hack 2009-03-23 (complete)1820809? (TO) 1200.11 1200.06
minisat_cumr p-2009-03-18 (complete)1820806? (TO) 1200.11 1200.04

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: