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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve0.0200.01001
aqua-f3v0.0100001
aqua-s2v0.0100001
aqua-s3o0.0100001
caqe-minisat0.0300.0100.011
caqe-picosat0.0300.0100.011
depqbf-v10.150.0200.0201
depqbf-v20.140.0200.0201
depqbf-v30.0200.01001
ghostq-cegar0.690.10.050.070.031
ghostq-plain0.680.10.050.070.031
hiqqer10.220.0300.0301
hiqqer1ldsq0.140.0200.0201
hiqqer30.220.0300.0301
iprover-QBF0.360.050.010.050.011
iprover-QBF-bloqqer0.290.0400.0401
qesto000001
qestos000001
qsts0.0100001
rareqs000001
squeezebf+struqs0.0100001
struqs-10000001
xb-bid-qsts0.070.0100.0101
xb-qsts0.0100001