Family wmiforward results for solvers
QBFEVAL'16 - 2QBF Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
areqs10.040.21.250.020.011
aspQ2.470.050.190.020.010.98
cadet80.160.630.060.061
depqbf-v125014.91500.3213.79593.420.780.16
depqbf-v227.650.551.930.210.21
depqbf-v319389.72387.79283.23599.71599.510.36
dynQBF26.280.532.40.110.091
ghostq-cegar22.260.451.180.240.121
ghostq-plain17125.25342.51275.39522.41596.180.54
hiqqer112.360.251.340.050.021
hiqqer1ldsq11.690.231.330.040.011
hiqqer314.50.291.640.050.011
iprover-QBF17233.47344.67138.71372.04125.10.1
iprover-QBF-bloqqer581.2511.6379.830.180.080.98
qestos91.821.8412.70.020.011
qsts24290.89485.82228.15599.710.010.22
rareqs2.820.060.240.020.011
squeezebf+struqs25797.46515.95207.64599.7100.14
struqs-1025796.97515.94207.63599.7100.14
xb-bid-qsts20.090.41.460.160.071
xb-qsts35.080.73.590.150.081