Results for instance s386_d2_s
QBFEVAL'07



Solver Time Result
ncQuBE1.10.28SAT
ncQuBE1.00.29SAT
AQME-1NN0.78SAT
AQME-C4.50.84SAT
AQME-RIPPER0.87SAT
Adaptive2clsQ2.18SAT
qZilla2.19SAT
sKizzo-0.10-qck2.37SAT
QUANTOR_2.152.61SAT
sKizzo-0.10-std3SAT
qSS3.18SAT
aigqbf_s13.78SAT
EBDDRES23.78FAIL
aigqbf_sr27.89SAT
squolem600FAIL
preQuel_sKizzo-0.10600FAIL
yQuaffle600FAIL