SAT 2007 Competition AIG special track: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

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

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minicirc 2007-05-17461569SAT 237.01 237.073
picoaigersat 2007-05-15460349SAT 434.683 434.799
aigsat-sp 2007-05-15460351SAT 709.704 709.985
aig-cmusat 2007-05-15460352SAT 1139.55 1139.92
aigsat-wc 2007-05-15460350? (TO) 1200.16 1200.57