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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aspq2v3373.2662.21117.5210.2517.431
aspq3alt998.64166.44328.5325.7341.240.833
ASPQ_2018997.23166.21328.5925.0639.730.833
CADET_20175400.3900.050.02900.050.040
Caqe-bloqqer50.418.48.145.358.571
Caqe-bloqqer-qdo1851.06308.51388.1172.61141.520.833
Caqe-hqspre3918.42653.07360.86900.05897.880.333
Cued_2_2018643.86107.31209.2315.8315.111
Cued_3_2018650.44108.41210.7415.7915.171
depqbf_prefix_opt_qdo5400.26900.040.03900.040.040
depqbf_pre_QxQBH1227.75204.63145.15246.64256.171
GhostQ-PG_cegar5400.31900.050.03900.060.050
GhostQ-PG_plain5400.18900.030.02900.020.010
Heretiq-cube1390.55231.76328.7748.891.590.833
Heretiq-simple859.45143.24244.542.5179.031
ijtihad500.7683.46136.1928.0650.131
Iprover-HQSpre-Bloqqer4500.78750.13335.21900.03899.470.167
PortfolioDepQBFGhostQRaReQSQute___pf3647.97608413.07900.028890.333
predyndep2063.88343.98399.22128.26208.490.667
Qute_default1811.78301.96422.913.722.70.667
Qute_opt500911.58151.93334.562.412.020.833
Qute_random911.4151.9334.562.432.350.833
Rareqs_201859.699.959.925.79.321