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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ASPQ21403.98351350.47350.53700.930.5
CADET_20172620.31655.08334.3815.96489.850.5
caqe_2017_v1904.22226.06389.12451.250.75
caqe_2017_v21930.84482.71417.55493.19834.580.5
caqe_2017_v31930.72482.68417.57492.99834.640.5
CUED1919_NL2718.5679.63220.4682.07440.750
CUED1919_NNL3164.63791.16188.52900217.690
dynQBF-bloqqer-hqspre1015.89253.97374.557.12484.390.75
DynQBF-bloqqer-hqspre-it1015.91253.98374.557.14484.420.75
DynQBF-bloqqer-variant2721.92680.48380.22900439.040.25
ghostq-cegar3600900090000
GhostQ-PG_cegar3600900090000
GhostQ-PG_plain3600900090000
heretiq1831.03457.76442.37465.19884.490.5
ijtihad_v11959.45489.86413.93529.41820.280.5
ijtihad_v21914.08478.52423.36506.72842.960.5
iProver-qbf-2017-07-27-v33600900090000
iProver-qbf-bloqqer-2017-07-27-v31836.69459.17440.83460.96881.660.5
no-prefix-opt-depqbf3600900090000
qbfrelay106.0926.5224.0319.13360.75
qbfrelay-limited-depqbf1217.25304.31339.07126.6433.220.75
QELL_default3600900090000
QELL_unit3600900090000
qesto1800.87450.22449.78450.31899.570.5
rareqs1800.8450.2449.8450.31899.60.5
rev_qfun0.12700.62675.16389.44900449.690.25
xb-qsts_bqsts2.01823.28455.82444.24460.85888.360.5
xb-qsts_xbqsts1.01823.7455.93444.13460.93888.150.5
xb-qsts_xbqsts2.01823.58455.9444.16460.88888.210.5