SAT 2007 Competition AIG special track: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Nameindustrial-aig/
narain/clauses-4.aig
MD5SUM32af416c798c65b7cda5b01939480d0b
Bench CategoryALL (all instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark68.5376
SatisfiableYES
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
aig-cmusat 2007-05-15460652SAT 68.5376 68.5893
aigsat-wc 2007-05-15460650SAT 86.9818 87.0073
picoaigersat 2007-05-15460649SAT 97.6961 97.7659
aigsat-sp 2007-05-15460651SAT 192.438 192.499
minicirc 2007-05-17461644? (problem) 23.5384 23.5518