Unique instances for depqbf-cert-v1
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.


InstanceTimeResult
stmt21_79_3040.21UNSAT
k_branch_p-5118.72UNSAT
k_dum_p-2085.41UNSAT
stmt27_16_970.11UNSAT
ev-pr-6x6-5-5-0-1-2-s68.82UNSAT
k_grz_p-1772.81UNSAT
stmt52_244_3945.01UNSAT
stmt19_217_3090.21UNSAT
stmt29_226_3760.51UNSAT
p10-10.pddl_planlen=62.31UNSAT
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-00761.41UNSAT
k_grz_p-1670.61UNSAT
stmt19_3_2140.31UNSAT