Family conformant_planning results for solvers
QBFEVAL'17 - Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve8056.57805.66260.1590071.250.2
caqe_2017_v14455.32445.53394.85334.98894.390.6
caqe_2017_v28137.17813.72258.8590000.1
caqe_2017_v38137.11813.71258.8790000.1
CUED1919_NL4028402.856.53403.0691.070
CUED1919_NNL8127.76812.78261.6790000
dynQBF-bloqqer-hqspre7588.59758.86287.19900587.430.2
ghostq-cegar6174.93617.49372.14900834.480.4
GhostQ-PG_cegar6184.78618.48371.85900834.240.4
GhostQ-PG_plain9000900090000
heretiq4670.31467.03433.73494.08896.780.5
HQSpre_solver6286.08628.61393.74900887.150.4
ijtihad_v14673.18467.32433.48495.66896.810.5
ijtihad_v24671.43467.14433.63494.94896.770.5
iProver-qbf-2017-07-27-v39000900090000
iProver-qbf-bloqqer-2017-07-27-v39000900090000
prefix-opt-depqbf9000900090000
qbfrelay8244.23824.42209.13895.4418.930.1
qbfrelay-limited-depqbf8944.92894.493.43893.284.880
QELL_default3371.31337.13351.83243.22479.30.8
QELL_unit3184.16318.42343.96199.17378.480.8
qesto9000900090000
Qute_default7332.39733.24305.42896.68633.490.3
Qute_opt5007389.89738.99295.89900578.610.4
Qute_random7473.97747.4298.12900572.590.3
rareqs4794.76479.48423.78550.59896.340.5
rev_qfun0.14898.07489.81414.26547.76887.210.5
xb-qsts_bqsts2.08137.21813.72258.8490000.1
xb-qsts_xbqsts1.08137.59813.76258.7290000.1
xb-qsts_xbqsts2.08137.02813.7258.8990000.1