Results for instance nusmv.reactor^5.C-f4
QBFEVAL'07



Solver Time Result
yQuaffle0.29UNSAT
ncQuBE1.11.06UNSAT
ncQuBE1.01.12UNSAT
preQuel_sKizzo-0.101.47SAT
AQME-C4.53.77UNSAT
AQME-RIPPER3.92UNSAT
QUANTOR_2.1513.17FAIL
Adaptive2clsQ15.75UNSAT
qZilla15.76UNSAT
EBDDRES26.01FAIL
AQME-1NN66.58UNSAT
sKizzo-0.10-qck600FAIL
qSS600FAIL
sKizzo-0.10-std600FAIL
aigqbf_sr600FAIL
aigqbf_s600FAIL
squolem600FAIL