Family FPGA_PLB_FIT_FAST results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ2.640.880.880.460.391
GRL205.9768.666.3965.342.310
openQbf1393.85464.62627.8929.3517.381
preQuantor2.550.850.870.410.341
Qbfl1771.58590.533.61588.971.870
Quaffle6.822.272.720.640.561
QUANTOR10.563.524.560.490.381
QUANTOR_hc10.423.474.410.580.441
qube3.01943.93647.98915.571.111.081
qube4.01858.45619.48875.131.331.311
qube5.01848.77616.26870.850.930.911
semprop2.150.720.960.070.070.667
sKizzo-0.9-abs8.922.974.050.190.161
sKizzo-0.9-grn1.130.380.230.460.41
sKizzo-0.9-std8.92.974.040.180.141
SQBF2.560.850.890.40.341
sSolve22.917.6410.650.210.210.667
ssolve+ut22.947.6510.630.260.260.667
ssolve-ut16.865.627.750.280.280.667
WalkQSAT180.5860.1912.1763.0719.010
yQuaffle0.850.280.20.290.261