SAT 2007 Competition AIG special track: solvers page (tabular format, summary)

Category "all instances" (ALL)

Solver Name#benchsSolvedUNSATSATUNKNOWNBad AnswersMisc.
aig-cmusat
2007-05-15		 341233
(68.33%)		 185
(54.25%)		 48
(14.08%)		 107
(31.38%)		 1
(0.29%)		 0
aigsat-sp
2007-05-15		 341196
(57.48%)		 160
(46.92%)		 36
(10.56%)		 144
(42.23%)		 1
(0.29%)		 0
aigsat-wc
2007-05-15		 341204
(59.82%)		 164
(48.09%)		 40
(11.73%)		 136
(39.88%)		 1
(0.29%)		 0
minicirc
2007-05-17		 341208
(61%)		 169
(49.56%)		 39
(11.44%)		 132
(38.71%)		 1
(0.29%)		 0
picoaigersat
2007-05-15		 341228
(66.86%)		 175
(51.32%)		 53
(15.54%)		 112
(32.84%)		 1
(0.29%)		 0

Solver NameProgress
aig-cmusat
2007-05-15
done
341
UNSAT
185		SAT
48		?
107		ERR
1
aigsat-sp
2007-05-15
done
341
UNSAT
160		SAT
36		?
144		ERR
1
aigsat-wc
2007-05-15
done
341
UNSAT
164		SAT
40		?
136		ERR
1
minicirc
2007-05-17
done
341
UNSAT
169		SAT
39		?
132		ERR
1
picoaigersat
2007-05-15
done
341
UNSAT
175		SAT
53		?
112		ERR
1

Some explanations