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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve0.880.090.20.010.011
aqua-f3v599.9860179.940.010.010.9
aqua-s2v600.0360179.9400.010.9
aqua-s3o599.9660179.940.010.010.9
caqe-minisat9.540.952.650.050.111
caqe-picosat170.6517.0750.970.050.111
depqbf-v1311.1831.1293.10.0201
depqbf-v2483.1348.31144.570.110.191
depqbf-v30.80.080.180.020.031
ghostq-cegar446.6944.67132.660.220.371
ghostq-plain51.635.1614.760.160.241
hiqqer1488.8248.88146.470.050.041
hiqqer1ldsq498.6549.87149.460.030.041
hiqqer3600.4160.04179.920.050.040.9
iprover-QBF79.837.9819.890.262.481
iprover-QBF-bloqqer70.727.0718.610.151.330.8
qesto27.192.728.1200.011
qestos36.643.6610.960.010.011
qsts602.7460.27179.810.030.080.9
rareqs46.174.6213.8200.011
squeezebf+struqs605.1760.52179.740.020.330.9
struqs-10605.3960.54179.760.010.330.9
xb-bid-qsts15.591.564.440.050.131
xb-qsts919.127.080.050.121