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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve6.860.690.540.580.991
aqua-f3v4199.36419.94274.9599.87599.90.3
aqua-s2v4199.49419.95274.91599.86599.880.3
aqua-s3o4199.7419.97274.92599.88599.990.3
caqe-minisat5.50.550.460.420.771
caqe-picosat5.740.570.460.440.771
depqbf-v14152.87415.29271.78592.92593.120.3
depqbf-v25.770.580.40.510.71
depqbf-v33859.41385.94271.43599.71599.730.4
ghostq-cegar14.981.51.221.142.061
ghostq-plain11.711.171.020.841.471
hiqqer10.860.090.040.080.071
hiqqer1ldsq0.750.080.040.070.081
hiqqer30.880.090.040.090.071
iprover-QBF2613.78261.38176.04302.96343.860.3
iprover-QBF-bloqqer5.820.580.460.470.771
qesto0.780.080.060.060.111
qestos0.780.080.060.060.111
qsts0.570.060.040.050.071
rareqs0.770.080.070.060.121
squeezebf+struqs4229.26422.93270.17599.71598.090.3
struqs-104229.23422.92270.15599.71598.10.3
xb-bid-qsts5.480.550.460.430.781
xb-qsts5.450.550.460.420.781