Family evader-pursuer-6x6-logarithmic results for solvers
QBFEVAL'17 - Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve4500900090000
caqe_2017_v13860.44772.09255.82900319.780.2
caqe_2017_v23964.31792.86214.28900267.850.2
caqe_2017_v33861.25772.25255.5900319.380.2
CUED1919_NL2423.59484.7228.26488.3928.310
CUED1919_NNL3983.13796.63146.84900258.440
dynQBF-bloqqer-hqspre4500900090000
ghostq-cegar4500900090000
GhostQ-PG_cegar4500900090000
GhostQ-PG_plain4343.46868.6962.6290078.270.2
heretiq3451.34690.27309.3900524.330.4
HQSpre_solver4500900090000
ijtihad_v14500900090000
ijtihad_v24500900090000
iProver-qbf-2017-07-27-v34500900090000
iProver-qbf-bloqqer-2017-07-27-v34500900090000
prefix-opt-depqbf2999.61599.92372.19900750.20.4
qbfrelay4489.02897.82.779005.490
qbfrelay-limited-depqbf2887.02577.4331.69715.8610.190.6
QELL_default3892.96778.59242.82900303.520.2
QELL_unit4261.81852.3695.28900119.10.2
qesto4500900090000
Qute_default4500900090000
Qute_opt5004312.15862.4356.1790093.930.4
Qute_random4093.47818.69106.88900203.270.4
rareqs4122.6824.52150.96900188.70.2
rev_qfun0.14500900090000
xb-qsts_bqsts2.03179.99636332.86900660.010.4
xb-qsts_xbqsts1.03195.12639.02329.62900652.440.4
xb-qsts_xbqsts2.03194.52638.9329.72900652.740.4