Family terminator results for solvers
QBFEVAL'18 - Prenex 2QBF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aspq2v319997.09434.72413.99180.17887.530.565
aspq3alt16601.88360.91394.8188.65887.740.696
ASPQ_201816354.03355.52388.4888.53834.010.739
CADET_20172515.1754.68161.6600.581
Caqe-bloqqer17472.21379.83391.65185.96879.840.674
Caqe-bloqqer-qdo15802.2343.53380.98117.27853.550.696
Caqe-hqspre2281.1449.59189.2503.170.957
Cued_2_20189228.37200.62339.975.6108.870.826
Cued_3_20189244.72200.97340.165.48110.730.826
depqbf_prefix_opt_qdo21464.75466.63391.24377.69896.80.587
depqbf_pre_QxQBH5026.49109.27251.871.1741.60.913
GhostQ-PG_cegar6098.23132.57299.981.3120.910.87
GhostQ-PG_plain3590.5278.05225.651.285.790.935
Heretiq-cube6804.24147.92252.481.6190.830.761
Heretiq-simple8895.01193.37352.651.5969.190.804
ijtihad8561.16186.11353.291.5939.280.804
Iprover-HQSpre-Bloqqer14438.8313.89428.080.97900.010.652
PortfolioDepQBFGhostQRaReQSQute___pf6626.21144.05299.097.378.260.87
predyndep8969.25194.98329.6811.17148.360.848
Qute_default2780.6760.45221.790.932.410.935
Qute_opt5002904.4663.14221.351.362.60.935
Qute_random2903.9263.13221.361.362.610.935
Rareqs_201824699.3536.94398.54900.01840.840.478