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



Solver Time Result
quabs-minisat0.03SAT
quabs-picosat0.09SAT
ghostq-plain0.23SAT
ghostq-cegar0.24SAT
xb-qsts0.36SAT
xb-bid-qsts0.37SAT
rareqs-nn0.68SAT
qsts0.86SAT