Instances of family jmc_quant solved by caqe_hit18
QBFEVAL'18 - Hard Instances Track

InstanceResultTime
test2_quant3FAIL3600