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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
areqs0.350.050.070.010.041
aspQ0.40.060.070.010.061
cadet0.990.140.20.040.091
depqbf-v10.670.10.10.070.091
depqbf-v243.366.199.80.813.081
depqbf-v339.165.599.110.622.471
dynQBF41.245.8910.190.371.961
ghostq-cegar3598.9514.13209.83599.81599.670.143
ghostq-plain3599.17514.17209.86599.81599.70.143
hiqqer10.680.10.080.050.051
hiqqer1ldsq0.720.10.090.080.121
hiqqer30.630.090.080.050.051
iprover-QBF409.9758.5793.629.2539.760.857
iprover-QBF-bloqqer8.491.211.760.250.731
qestos0.350.050.070.010.041
qsts0.210.030.030.010.031
rareqs0.360.050.070.010.041
squeezebf+struqs4.680.671.190.060.221
struqs-104.520.651.170.050.21
xb-bid-qsts8.941.281.730.780.811
xb-qsts8.311.191.770.220.771