Results for instance adder-12-sat
QBFEVAL'07



Solver Time Result
EBDDRES20.39FAIL
QUANTOR_2.1528.05FAIL
qZilla115.94SAT
preQuel_sKizzo-0.10129.71SAT
sKizzo-0.10-qck273.4SAT
sKizzo-0.10-std278.15SAT
ncQuBE1.1391.21FAIL
qSS429.24SAT
AQME-RIPPER560.76SAT
AQME-1NN560.91SAT
AQME-C4.5561.02SAT
Adaptive2clsQ600FAIL
aigqbf_sr600FAIL
ncQuBE1.0600FAIL
aigqbf_s600FAIL
squolem600FAIL
yQuaffle600FAIL