Family jmc_quant_squaring results for solvers
QBFEVAL'08


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN3928.74392.87256.54526.29566.360.3
Nenofex3174.71317.47197.65272.67237.130.1
quantor3.01533.55153.35223.6441.4914.990
QuBE6.14208.82420.88273.62600599.910.3
ssolve-A6000600060000
ssolveB6000600060000
ssolveC6000600060000