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

InstanceResultTime
test1_quant3FAIL7789.94
test4_quant4FAIL7861.45
test4_quant2FAIL9617.59
test3_quant4FAIL12091.4
test1_quant2FAIL13236