Family terminator results for solvers
QBFEVAL'08


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN15607.9226.2386.246.3613.060.97
Nenofex117277.75197.1183.11172.8278.150
quantor3.030273.7750.8816.7447.4212.310.02
QuBE6.113083.9521.99107.180.330.210.968
ssolve-A355008.33596.6540.9660000.007
ssolveB355045.55596.7240.2560000.007
ssolveC357000600060000