Family tipfixpoint results for solvers
QBFEVAL'08


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN144768.4324.59271.36549.51562.10.451
Nenofex240906.52540.15142.1560028.990.058
quantor3.020064.7744.9966.7934.159.360.045
QuBE6.1139597.25313285.87323.64598.950.516
ssolve-A251124.13563.06138.7160000.076
ssolveB251754.64564.47136.9560000.07
ssolveC245142.27549.65160.9360000.092