Sota solver results for family Adder <br> QBFEVAL'08

Instance	Solver	Result	Time
adder-10-sat	Nenofex	SAT	4.75
adder-10-unsat	Nenofex	UNSAT	2.91
adder-12-sat	Nenofex	SAT	11.14
adder-12-unsat	Nenofex	UNSAT	5
adder-14-sat	Nenofex	SAT	53.48
adder-14-unsat	Nenofex	UNSAT	8.19
adder-16-sat	Nenofex	SAT	100.78
adder-16-unsat	Nenofex	UNSAT	13.52
adder-2-sat	quantor3.0	SAT	0
adder-2-unsat	quantor3.0	UNSAT	0.02
adder-4-sat	quantor3.0	SAT	0.12
adder-4-unsat	Nenofex	UNSAT	0.22
adder-6-sat	Nenofex	SAT	0.88
adder-6-unsat	Nenofex	UNSAT	0.68
adder-8-sat	Nenofex	SAT	2.83
adder-8-unsat	Nenofex	UNSAT	1.48
Adder2-2-c	ssolve-A	UNSAT	0.02
Adder2-2-s	quantor3.0	SAT	0
Adder2-4-c	QuBE6.1	UNSAT	1.16
Adder2-4-s	quantor3.0	SAT	0.12
Adder2-6-s	AQME-1NN	SAT	7.92
Adder2-8-s	AQME-1NN	SAT	14.72

QBF Solver Evaluation Portal