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



Solver Time Result
QUANTOR_2.150.04UNSAT
preQuel_sKizzo-0.100.04SAT
sKizzo-0.10-std0.06UNSAT
sKizzo-0.10-qck0.06UNSAT
qZilla0.07UNSAT
Adaptive2clsQ0.08UNSAT
yQuaffle0.08UNSAT
ncQuBE1.10.13UNSAT
ncQuBE1.00.15UNSAT
qSS0.2UNSAT
squolem0.9UNSAT
AQME-1NN1.14UNSAT
AQME-C4.51.25UNSAT
AQME-RIPPER1.28UNSAT
aigqbf_sr8.46UNSAT
aigqbf_s8.52UNSAT
EBDDRES20.23FAIL