Family FPGA_PLB_FIT_FAST results for solvers
QBFEVAL'16 - Prenex CNF Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve1188.62237.72281.2625.15294.390.8
aqua-f3v0.760.150.170.030.161
aqua-s2v0.460.090.10.020.091
aqua-s3o0.910.180.230.020.141
caqe-minisat9.831.972.950.290.761
caqe-picosat9.931.992.221.261.61
depqbf-v11.270.250.330.110.041
depqbf-v21.450.290.120.210.051
depqbf-v30.80.160.130.120.141
ghostq-cegar191.6438.3374.121.342.271
ghostq-plain68.5913.7225.760.311.231
hiqqer10.990.20.070.180.041
hiqqer1ldsq0.830.170.040.160.031
hiqqer31.510.30.120.290.081
iprover-QBF690.39138.08231.5229.5342.090.8
iprover-QBF-bloqqer100.8420.1736.941.662.641
qesto1.10.220.240.10.151
qestos0.660.130.140.070.041
qsts161.4532.2963.490.180.951
rareqs0.270.050.030.040.011
squeezebf+struqs1807.5361.5291.76599.71595.530.4
struqs-101807.51361.5291.75599.71595.520.4
xb-bid-qsts28.065.6110.720.250.221
xb-qsts1.080.220.10.20.061