Results for instance texas.ifetch1^3.E-f4
QBFEVAL'07



Solver Time Result
yQuaffle0.08UNSAT
ncQuBE1.10.26UNSAT
ncQuBE1.00.28UNSAT
AQME-1NN1.48UNSAT
AQME-C4.51.54UNSAT
AQME-RIPPER1.6UNSAT
QUANTOR_2.1511.79FAIL
EBDDRES28.13FAIL
aigqbf_sr153.73UNSAT
aigqbf_s153.75UNSAT
squolem600FAIL
qSS600FAIL
Adaptive2clsQ600FAIL
preQuel_sKizzo-0.10600FAIL
sKizzo-0.10-qck600FAIL
sKizzo-0.10-std600FAIL
qZilla600FAIL