Instances of family jmc_quant solved by depqbf-pre
QBFEVAL'10 - Small Hard Track.

InstanceResultTime
test1_quant2FAIL43200
test4_quant4FAIL43200
test4_quant2FAIL43200
test3_quant4FAIL43200
test1_quant3FAIL43200