Results for instance szymanski-22-s
QBFEVAL'07



Solver Time Result
QUANTOR_2.1513.41FAIL
ncQuBE1.147.28UNSAT
ncQuBE1.047.53UNSAT
AQME-1NN225.93UNSAT
AQME-C4.5227.63UNSAT
EBDDRES372.49FAIL
qSS440.92FAIL
qZilla455.42FAIL
sKizzo-0.10-qck552.34FAIL
preQuel_sKizzo-0.10557.06FAIL
Adaptive2clsQ600FAIL
sKizzo-0.10-std600FAIL
aigqbf_sr600FAIL
aigqbf_s600FAIL
AQME-RIPPER600FAIL
squolem600FAIL
yQuaffle600FAIL