SAT 2007 Competition AIG special track: solvers results per benchmarks

Result page for benchmark
industrial-aig/palacios/uts/
uts-l06-ipc5-h28-unknown.aig

Jump to solvers results

General information on the benchmark

Nameindustrial-aig/palacios/uts/
uts-l06-ipc5-h28-unknown.aig
MD5SUMe6f1e1bbb4fef3bbf6f22489cb7264cf
Bench CategoryALL (all instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark45.8905
SatisfiableNO
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minicirc 2007-05-17461654UNSAT 45.8905 23.0057
aigsat-wc 2007-05-15460690UNSAT 75.5885 75.6524
aig-cmusat 2007-05-15460692UNSAT 119.092 119.134
picoaigersat 2007-05-15460689UNSAT 303.232 303.342
aigsat-sp 2007-05-15460691? (TO) 1200.14 1200.86