SAT 2007 Competition AIG special track: solvers results per benchmarks

Result page for benchmark
industrial-aig/crypto/
mizh-sha0-35-5.aig

Jump to solvers results

General information on the benchmark

Nameindustrial-aig/crypto/
mizh-sha0-35-5.aig
MD5SUM62d346aa4ab0cb8662cc682f929763d7
Bench CategoryALL (all instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark133.21
SatisfiableYES
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
aig-cmusat 2007-05-15460376SAT 133.21 133.254
aigsat-sp 2007-05-15460375SAT 345.38 345.474
minicirc 2007-05-17461575SAT 386.084 386.24
picoaigersat 2007-05-15460373SAT 714.263 714.428
aigsat-wc 2007-05-15460374? (TO) 1200.08 1201.06