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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve625.5662.56179.090.138.330.9
aqua-f3v8.090.812.060.020.261
aqua-s2v8.120.812.060.020.261
aqua-s3o80.82.060.020.251
caqe-minisat3.910.390.80.050.081
caqe-picosat4.10.410.830.050.081
depqbf-v11.730.170.350.020.051
depqbf-v24.690.470.840.110.191
depqbf-v33.820.380.850.030.141
ghostq-cegar11.671.171.450.440.751
ghostq-plain10.311.031.280.340.631
hiqqer11.930.190.290.060.051
hiqqer1ldsq1.760.180.290.040.041
hiqqer32.080.210.30.050.051
iprover-QBF48.134.817.830.891.661
iprover-QBF-bloqqer49.494.9512.440.250.490.9
qesto1.460.150.330.010.031
qestos1.460.150.340.010.031
qsts1209.28120.93239.40.522.270.8
rareqs1.380.140.330.010.031
squeezebf+struqs18.161.823.360.060.131
struqs-1016.451.653.090.020.131
xb-bid-qsts4.130.410.810.050.091
xb-qsts4.130.410.830.050.081