SAT 2007 Competition AIG special track: solvers results per benchmarks

Result page for benchmark
industrial-aig/
narain/clauses-6.aig

Jump to solvers results

General information on the benchmark

Nameindustrial-aig/
narain/clauses-6.aig
MD5SUMcbd8e242440cc437c515ed7328a4eb67
Bench CategoryALL (all instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark777.678
SatisfiableYES
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
picoaigersat 2007-05-15460641SAT 777.678 777.884
aigsat-wc 2007-05-15460642SAT 1140.05 1140.5
minicirc 2007-05-17461642? (problem) 110.008 110.044
aig-cmusat 2007-05-15460644? (MO) 68.1156 68.1968
aigsat-sp 2007-05-15460643? (TO) 1200.21 1200.6