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



Solver Time Result
quabs-picosat0.32SAT
ghostq-plain0.39SAT
ghostq-cegar0.54SAT
xb-qsts1.41SAT
xb-bid-qsts1.55SAT
quabs-minisat1.84SAT
rareqs-nn2.22SAT
qsts2.49SAT