Results for instance term1.blif_0.10_0.20_0_0_out_exact
QBFEVAL'07



Solver Time Result
EBDDRES3.66UNSAT
aigqbf_s5.26UNSAT
aigqbf_sr5.63UNSAT
ncQuBE1.1132.48UNSAT
ncQuBE1.0202.03UNSAT
AQME-RIPPER480.12UNSAT
AQME-C4.5480.86UNSAT
AQME-1NN481.2UNSAT
qSS600FAIL
Adaptive2clsQ600FAIL
qZilla600FAIL
preQuel_sKizzo-0.10600FAIL
sKizzo-0.10-qck600FAIL
sKizzo-0.10-std600FAIL
squolem600FAIL
QUANTOR_2.15600FAIL
yQuaffle600FAIL