Family FPGA_PLB_FIT_SLOW results for solvers
QBFEVAL'08


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN5.91.9711.540.521
Nenofex4.621.541.430.760.441
quantor3.02.040.680.640.410.341
QuBE6.1746.32248.77255.39146.05145.780.667
ssolve-A207.7669.2563.641.933.161
ssolveB235.3378.4472.7446.6437.011
ssolveC119.839.9335.5925.6320.341