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

InstanceResultTime
test3_quant2UNSAT31.79
test5_quant5SAT52.54