Family FPGA_PLB_FIT_FAST results for solvers
QBFEVAL'05


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL209.4241.8833.3564.0762.880.4
openQbf946.51189.3355.9510.2817.630.8
qbfbdd4503.93900.790.03900.780.030
QbflHR3318.54663.71344.27901593.240.4
QChaffLearn181.7336.3531.0644.5654.150.4
QMRes1927.43385.49421.2965.62452.790.4
QUANTOR4.530.911.260.120.561
semprop2.170.430.820.030.040.8
skizzo_v0.40.810.160.170.050.181
skizzo_v0.54.350.871.470.080.171
sSolve2.030.410.770.030.040.8
WalkQSAT203.0240.625.7644.142.530
yQuaffle0.840.170.170.040.121