Family jmc_quant_squaring results for solvers
QBFEVAL'17 - Prenex non-CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto4500900090000
ghostq-cegar4500900090000
ghostq-plain4500900090000
qfun0.14500900090000
QuAbS_20174500900090000
Qute_hybrid4306.31861.2633.95878.0142.480.2
Qute_opt6174500900090000
Qute_opt9933866.44773.29253.42900316.780.2