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



Solver Time Result
quabs-picosat0.26SAT
ghostq-plain0.51SAT
quabs-minisat0.77SAT
ghostq-cegar0.98SAT
rareqs-nn2.13SAT
xb-qsts2.23SAT
xb-bid-qsts2.37SAT
qsts3.83SAT