SAT 2009 Competition: multithread track: solvers results per benchmarks

Result page for benchmark
APPLICATIONS/aprove09/
AProVE09-11.cnf

Jump to solvers results

General information on the benchmark

NameAPPLICATIONS/aprove09/
AProVE09-11.cnf
MD5SUM0f6b435a3aa045f7fe1d5c154e2f0953
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.94
Satisfiable
(Un)Satisfiability was proved
Number of variables20192
Number of clauses78082
Sum of the clauses size207558
Maximum clause length224
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 238969
Number of clauses of size 334065
Number of clauses of size 42452
Number of clauses of size 5405
Number of clauses of size over 52190

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)1779841SAT 0.94 0.798049
ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)1779844SAT 1.19 0.833207
ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)1779847SAT 1.21 0.835877
satake 2009-03-22 (4 threads) (complete)1779850SAT 2.44 0.86635
ttsth-5-0 2009-03-19 (4 threads) (complete)1779853? (MO) 1021.52 487.039
ttsth-5-0 2009-03-19 (16 threads) (complete)1779855? (MO) 3787.73 248.812
satake 2009-03-22 (16 threads) (complete)1779852No Cert. 16.8371 9.17542

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:
--too large--