Sota solver results for family jmc_quant
QBFEVAL'06


InstanceSolverResultTime
test3_quant2sKizzo-0.9-stdUNSAT411.8
test5_quant5ssolve-utSAT426.08
test5_quant7ssolve-utSAT1017.83