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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aspq2v31800.89360.18440.790.65450.250.6
aspq3alt1831.83366.37435.8122.22456.390.6
ASPQ_20181831.92366.38435.7622.5456.570.6
CADET_20172673.31534.66391.6752.87766.280.6
Caqe-bloqqer19.153.834.520.614.321
Caqe-bloqqer-qdo1779.47355.89338.38298.54412.140.8
Caqe-hqspre904.09180.82359.611.82.030.8
Cued_2_20181831.99366.4435.7722.5456.570.6
Cued_3_20181832.3366.46435.722.99456.850.6
depqbf_prefix_opt_qdo4500.28900.060.03900.060.040
depqbf_pre_QxQBH11.82.361.661.221.671
GhostQ-PG_cegar4500.17900.030.03900.020.030
GhostQ-PG_plain4500.17900.030.02900.040.030
Heretiq-cube1469.14293.83365.7730.31283.950.6
Heretiq-simple1831.09366.22436.0330.33464.90.6
ijtihad1959.89391.98418.88159.18529.310.6
Iprover-HQSpre-Bloqqer11.52.32.562.062.261
PortfolioDepQBFGhostQRaReQSQute___pf243.5148.78.9146.0212.061
predyndep191.5338.3133.1125.1144.991
Qute_default4500.22900.040.04900.030.050
Qute_opt5004500.2900.040.02900.040.030
Qute_random4500.08900.020.02900.010.020
Rareqs_20181800.69360.14440.830.6450.310.6