Family k_t4p_p results for solvers
QBFEVAL'08


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN26.841.280.31.310.471
Nenofex1963.2393.4993.1980.3793.610.333
quantor3.0502.7223.9438.023.0828.70.619
QuBE6.110287.84489.9227.5260000.19
ssolve-A199.959.527.967.711.911
ssolveB210.6410.038.38.1212.491
ssolveC167.877.996.686.149.651