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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ASPQ20.150.040.020.030.041
CADET_20170.120.030.020.030.031
caqe_2017_v10.130.030.020.030.031
caqe_2017_v2901225.25389.570.42450.070.75
caqe_2017_v3901.01225.25389.570.42450.070.75
CUED1919_NL3600900090000
CUED1919_NNL3600900090000
dynQBF-bloqqer-hqspre1.250.310.180.250.291
DynQBF-bloqqer-hqspre-it1.250.310.180.250.291
DynQBF-bloqqer-variant1.290.320.180.250.281
ghostq-cegar1.590.40.190.320.281
GhostQ-PG_cegar1.790.450.210.360.291
GhostQ-PG_plain2770.37692.59359.24900414.820.25
heretiq0.150.040.020.030.041
ijtihad_v10.150.040.020.030.041
ijtihad_v20.150.040.020.030.041
iProver-qbf-2017-07-27-v33600900090000
iProver-qbf-bloqqer-2017-07-27-v31.310.330.180.260.281
no-prefix-opt-depqbf3600900090000
qbfrelay1.810.450.20.360.31
qbfrelay-limited-depqbf291.272.80.3172.640.41
QELL_default3600900090000
QELL_unit3600900090000
qesto0.150.040.020.030.041
rareqs0.150.040.020.030.041
rev_qfun0.10.150.040.020.030.041
xb-qsts_bqsts2.01.240.310.180.240.281
xb-qsts_xbqsts1.01.270.320.190.250.31
xb-qsts_xbqsts2.01.290.320.180.260.311