Results for instance Adder2-8-s
QBFEVAL'06



Solver Time Result
sKizzo-0.9-abs15.33SAT
sKizzo-0.9-std16.07SAT
sKizzo-0.9-grn532.62SAT
yQuaffle537.22FAIL
Quaffle554.31FAIL
QUANTOR_hc600.33FAIL
GRL600.66FAIL
WalkQSAT600.99FAIL
semprop600.99FAIL
SQBF2802.62FAIL
qube3.02993.42FAIL
Qbfl5989.68FAIL
ssolve+ut5999.87FAIL
sSolve6000FAIL
qube4.06000.28FAIL
ssolve-ut6000.28FAIL
QUANTOR6000.35FAIL
2clsQ6000.42FAIL
qube5.06000.46FAIL
preQuantor6000.67FAIL
openQbf6000.9FAIL