Results for instance biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-003
QBFEVAL'07



Solver Time Result
ncQuBE1.10.21UNSAT
ncQuBE1.00.22UNSAT
qSS0.58UNSAT
qZilla14.29UNSAT
QUANTOR_2.1515.51FAIL
sKizzo-0.10-qck16.34UNSAT
EBDDRES27.29FAIL
preQuel_sKizzo-0.1036.74UNSAT
sKizzo-0.10-std36.81UNSAT
AQME-1NN61.5UNSAT
AQME-C4.561.54UNSAT
AQME-RIPPER81.4UNSAT
aigqbf_s330.96FAIL
Adaptive2clsQ600FAIL
aigqbf_sr600FAIL
squolem600FAIL
yQuaffle600FAIL