Results for instance Adder2-4-s
QBFEVAL'07



Solver Time Result
QUANTOR_2.150.17SAT
sKizzo-0.10-std0.17SAT
sKizzo-0.10-qck0.18SAT
qZilla0.18SAT
Adaptive2clsQ0.19SAT
preQuel_sKizzo-0.100.19SAT
qSS0.24SAT
AQME-1NN0.74SAT
AQME-C4.50.77SAT
AQME-RIPPER0.82SAT
aigqbf_s4.91SAT
aigqbf_sr5.3SAT
EBDDRES33.05FAIL
squolem316.47SAT
ncQuBE1.0600FAIL
ncQuBE1.1600FAIL
yQuaffle600FAIL