Results for instance vis.prodcell^04.E-f3
QBFEVAL'07



Solver Time Result
yQuaffle0.2UNSAT
ncQuBE1.10.77UNSAT
ncQuBE1.00.82UNSAT
AQME-1NN1.73UNSAT
preQuel_sKizzo-0.101.75SAT
AQME-C4.51.82UNSAT
AQME-RIPPER4.27UNSAT
qZilla12.77UNSAT
Adaptive2clsQ12.8UNSAT
QUANTOR_2.1514.81FAIL
EBDDRES25.16FAIL
squolem600FAIL
qSS600FAIL
aigqbf_s600FAIL
sKizzo-0.10-qck600FAIL
sKizzo-0.10-std600FAIL
aigqbf_sr600FAIL