Results for instance biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
QBFEVAL'16 - Prenex non-CNF Track.



Solver Time Result
quabs-minisat0.02SAT
qsts0.04SAT
quabs-picosat0.06SAT
ghostq-plain0.16SAT
ghostq-cegar0.18SAT
xb-bid-qsts0.29SAT
xb-qsts0.3SAT
rareqs-nn0.68SAT