Family z4ml results for solvers
QBFEVAL'08


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN8.911.110.380.840.81
Nenofex0.240.030.010.030.011
quantor3.00.050.010.010.0101
QuBE6.10.290.040.010.040.011
ssolve-A0.070.0100.010.011
ssolveB0.080.0100.0101
ssolveC0.070.0100.0101