SAT 2007 Competition AIG special track: solvers results per benchmarks

Result page for benchmark
additional-aig/minisat+/
p033.sat_opt.aig

Jump to solvers results

General information on the benchmark

Nameadditional-aig/minisat+/
p033.sat_opt.aig
MD5SUMe0dd80e57a9f65d1e70ed31f4fff557d
Bench CategoryALL (all instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.132979
SatisfiableYES
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
picoaigersat 2007-05-15461465SAT 0.132979 0.131481
aig-cmusat 2007-05-15461468SAT 0.157975 0.160223
minicirc 2007-05-17461848SAT 0.38494 0.388212
aigsat-wc 2007-05-15461466SAT 0.393939 0.394474
aigsat-sp 2007-05-15461467SAT 0.461928 0.462667