Sota solver results for family jmc_quant_squaring
QBFEVAL'16 - Prenex non-CNF Track.


InstanceSolverResultTime
test3_quant_squaring2xb-qstsUNSAT8