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



Solver Time Result
quabs-picosat0.11SAT
quabs-minisat0.14SAT
ghostq-plain0.23SAT
ghostq-cegar0.25SAT
xb-bid-qsts0.38SAT
xb-qsts0.4SAT
rareqs-nn0.71SAT
qsts0.87SAT