Suite Jordan-Kaiser results for solvers
QBFEVAL'18 - Prenex 2QBF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aspq2v318138.37259.12362.1531.02398.890.786
aspq3alt22958.73327.98376.86131.73892.780.729
ASPQ_201822628.18323.26370.42132.24694.770.757
CADET_201754315.86775.94299.18900.040.060.157
Caqe-bloqqer13225.1188.93313.6618.19146.440.886
Caqe-bloqqer-qdo13810.66197.3320.0923.06153.210.871
Caqe-hqspre24786.96354.1377.4196.32894.940.714
Cued_2_201831615.61451.65419.2366.2894.390.586
Cued_3_201831573.35451.05418.74372.36894.470.586
depqbf_prefix_opt_qdo50645.99723.51341.81900.020.040.214
depqbf_pre_QxQBH52408.67748.7321.53900.030.040.186
GhostQ-PG_cegar7108.47101.55214.474.8846.140.957
GhostQ-PG_plain37740.31539.15407.43898.38890.790.5
Heretiq-cube43083.97615.49363.26849.47795.060.314
Heretiq-simple45802.13654.32375.78900.03745.860.314
ijtihad62110.54887.29105.98900.060.040.014
Iprover-HQSpre-Bloqqer63003.08900.040.02900.040.030
PortfolioDepQBFGhostQRaReQSQute___pf44459.26635.13403.75900.02873.190.314
predyndep54661.51780.88280.98900.020.070.157
Qute_default47517.72678.82370.83900.03524.570.286
Qute_opt50046606665.8378.86900.01764.580.286
Qute_random46612.81665.9378.79900.02765.370.286
Rareqs_201812420.88177.44295.8920.39177.470.886