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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aspq2v31882.92313.82348.1162.97288.670.833
aspq3alt1892.49315.42345.35170.07297.190.833
ASPQ_20181890.31315.05345.37169.36296.310.833
CADET_20175400.15900.030.02900.020.020
Caqe-bloqqer4504.58750.76333.8900.04895.690.167
Caqe-bloqqer-qdo4511.59751.93331.14900.03888.560.167
Caqe-hqspre4506.91751.15332.94900.05893.380.167
Cued_2_20185400.17900.030.02900.020.020
Cued_3_20185400.28900.050.03900.050.050
depqbf_prefix_opt_qdo5400.15900.030.02900.020.020
depqbf_pre_QxQBH4187.07697.85207.32740.01476.990.5
GhostQ-PG_cegar5400.31900.050.03900.060.060
GhostQ-PG_plain5400.27900.050.03900.060.060
Heretiq-cube2850.78475.13424.93479.91854.980.5
Heretiq-simple2161.52360.25385.95135.49166.660.667
ijtihad5400.35900.060.02900.060.050
Iprover-HQSpre-Bloqqer5400.21900.040.03900.040.040
PortfolioDepQBFGhostQRaReQSQute___pf959.87159.98330.9811.842.50.833
predyndep5400.27900.050.03900.050.040
Qute_default1141.58190.26321.3642.7768.490.833
Qute_opt5002280.82380.14391.72227.2403.330.667
Qute_random2267.69377.95391.62220.58390.160.667
Rareqs_20181387.28231.21307.93102.47146.980.833