Instances of family blackbox_design solved by nenofex-qbfeval10
QBFEVAL'10 - Competitive Track.

InstanceResultTime
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL220.04
biu.mv.xl_ao.bb-b001-p010-MIF04-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005FAIL235.86