Results for instance vis.prodcell^21.E-f2
QBFEVAL'07



Solver Time Result
preQuel_sKizzo-0.100.06SAT
yQuaffle0.1UNSAT
ncQuBE1.10.38UNSAT
ncQuBE1.00.42UNSAT
AQME-1NN0.66UNSAT
AQME-C4.50.72UNSAT
AQME-RIPPER1.92UNSAT
qSS2.42UNSAT
qZilla13.14UNSAT
Adaptive2clsQ13.17UNSAT
QUANTOR_2.1519.13FAIL
EBDDRES29.66FAIL
aigqbf_sr583.61UNSAT
aigqbf_s584.64UNSAT
squolem600FAIL
sKizzo-0.10-qck600FAIL
sKizzo-0.10-std600FAIL