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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve000001
aqua-f3v000001
aqua-s2v0.0100001
aqua-s3o000001
caqe-minisat0.250.030.010.030.021
caqe-picosat0.240.030.010.030.011
depqbf-v10.160.0200.0201
depqbf-v20.580.070.030.080.051
depqbf-v30.080.0100.0101
ghostq-cegar0.560.0700.0701
ghostq-plain0.570.0700.0701
hiqqer10.310.0400.0401
hiqqer1ldsq0.180.020.010.020.011
hiqqer30.280.040.010.040.011
iprover-QBF2.040.260.050.260.081
iprover-QBF-bloqqer0.480.060.010.060.010.5
qesto0.060.010.010.010.011
qestos0.060.010.010.010.011
qsts0.0200.0100.011
rareqs0.050.010.010.010.011
squeezebf+struqs0.080.010.010.0101
struqs-100.040.010.010.010.011
xb-bid-qsts0.260.030.010.040.021
xb-qsts0.230.030.010.0301