SAT 2007 Competition AIG special track: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

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

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
aig-cmusat 2007-05-15460348SAT 256.737 256.826
minicirc 2007-05-17461568SAT 656.347 656.53
picoaigersat 2007-05-15460345? (TO) 1200.03 1200.31
aigsat-wc 2007-05-15460346? (TO) 1200.14 1200.47
aigsat-sp 2007-05-15460347? (TO) 1200.17 1200.6