Instances of family toy solved by GhostQ___plain_qcir_2019
QBFEVAL'19 - Prenex non-CNF Track

InstanceResultTime
stay6y.unsatUNSAT0
mvs8n.unsatUNSAT0
add6n.satSAT0
mvs2y.unsatUNSAT0
mult2.unsatUNSAT0
cnt2n.unsatUNSAT0
cnt25n.unsatUNSAT0
cnt4y.satSAT0
bs8y.unsatUNSAT0
mvs2y.satSAT0
mult4.unsatUNSAT0
cnt8n.satSAT0
mvs8y.unsatUNSAT0
bs16y.unsatUNSAT0
stay16n.unsatUNSAT0
cnt3y.unsatUNSAT0
cnt2n.satSAT0
cnt10y.satSAT0
bs128y.unsatUNSAT0.69
add20y.unsatFAIL900.02
bs128n.satFAIL900.08