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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve0.070.010.01001
aqua-f3v5.760.581.20.030.041
aqua-s2v5.780.581.190.030.041
aqua-s3o5.830.581.220.030.041
caqe-minisat0.150.020.010.0101
caqe-picosat0.160.020.010.0101
depqbf-v115.521.551.960.710.61
depqbf-v20.270.030.010.0201
depqbf-v30.060.010.01001
ghostq-cegar2.860.290.350.120.051
ghostq-plain2.780.280.340.110.061
hiqqer10.340.030.010.0301
hiqqer1ldsq0.240.020.010.0201
hiqqer30.340.030.010.0301
iprover-QBF9.330.931.660.160.131
iprover-QBF-bloqqer0.440.040.010.0400
qesto0.0300.01001
qestos0.0200001
qsts4408.86440.89247.12599.71579.910.3
rareqs0.0300.01001
squeezebf+struqs3683.51368.35272.6567.775940.5
struqs-103682.52368.25272.57567.45594.020.5
xb-bid-qsts0.180.020.010.010.011
xb-qsts0.130.010.010.0101