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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve163.7116.3728.61.065.321
aqua-f3v15.11.512.670.160.61
aqua-s2v15.121.512.680.160.591
aqua-s3o15.121.512.690.160.591
caqe-minisat1091.36109.14197.73.5713.730.9
caqe-picosat975.9997.6184.533.5614.570.9
depqbf-v112.451.2520.310.691
depqbf-v20.80.080.070.050.081
depqbf-v30.420.040.050.020.041
ghostq-cegar722.4872.25176.3311.2817.910.9
ghostq-plain724.0972.41176.3710.718.120.9
hiqqer12.940.290.330.150.221
hiqqer1ldsq2.850.290.340.130.211
hiqqer32.960.30.340.150.211
iprover-QBF161.2716.1323.194.2711.791
iprover-QBF-bloqqer977.4597.75184.763.5813.780
qesto30.30.40.110.261
qestos30.30.40.110.261
qsts17.821.783.020.240.841
rareqs2.990.30.40.110.261
squeezebf+struqs133.6313.3625.760.462.81
struqs-10140.3314.0327.270.352.61
xb-bid-qsts981.4898.15184.793.5617.610.9
xb-qsts980.0598.01185.133.5513.730.9