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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
areqs000001
aspQ000001
cadet000001
depqbf-v10.10.0200.0201
depqbf-v20.10.0200.0201
depqbf-v3000001
dynQBF0.050.0100.0101
ghostq-cegar1221.77244.35290.4121.53310.510.6
ghostq-plain1213.12242.62291.812.89306.250.6
hiqqer10.150.0300.0301
hiqqer1ldsq0.10.0200.0201
hiqqer30.150.0300.0301
iprover-QBF0.240.0500.050.011
iprover-QBF-bloqqer0.20.0400.0401
qestos000001
qsts3.150.631.160.030.11
rareqs000001
squeezebf+struqs0.0200.0100.011
struqs-10000001
xb-bid-qsts0.050.0100.0101
xb-qsts000001