SAT 2007 Competition AIG special track: solvers results per benchmarks

Result page for benchmark
additional-aig/
c32sat-ssort/ssort5.aig

Jump to solvers results

General information on the benchmark

Nameadditional-aig/
c32sat-ssort/ssort5.aig
MD5SUM46bea6883dacbc85c565a275f9e8c19c
Bench CategoryALL (all instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark12.1212
SatisfiableNO
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
aig-cmusat 2007-05-15461304UNSAT 12.1212 12.1273
minicirc 2007-05-17461807UNSAT 12.4321 12.4356
picoaigersat 2007-05-15461301UNSAT 623.093 623.236
aigsat-wc 2007-05-15461302? (TO) 1200.11 1200.52
aigsat-sp 2007-05-15461303? (TO) 1200.18 1200.65