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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve329.2682.32136.115.62159.51
caqe_2017_v13.40.850.910.511.191
caqe_2017_v24.911.231.250.832.051
caqe_2017_v34.991.251.250.862.071
CUED1919_NL13.533.3850.756.070
CUED1919_NNL12.493.124.640.675.640
dynQBF-bloqqer-hqspre60.415.113.4613.725.781
ghostq-cegar948.09237.02383.1423.98469.50.75
GhostQ-PG_cegar1031.39257.85374.3465.63512.560.75
GhostQ-PG_plain904.78226.2389.022.32450.430.75
heretiq3.380.850.940.471.221
HQSpre_solver1016.42254.11375.8658.21507.410.75
ijtihad_v13.340.840.930.471.211
ijtihad_v23.340.840.930.471.211
iProver-qbf-2017-07-27-v3290.6272.6673.0151.25124.161
iProver-qbf-bloqqer-2017-07-27-v3352.2488.0679.2168.34120.521
prefix-opt-depqbf2.270.570.650.311.011
qbfrelay291.9672.99110.8713.69141.471
qbfrelay-limited-depqbf3.170.790.670.591.081
QELL_default1802.04450.51449.49451.02898.980.5
QELL_unit1802.05450.51449.49451.02898.980.5
qesto5.511.381.410.912.21
Qute_default9.412.352.291.884.271
Qute_opt5007.341.841.631.863.231
Qute_random7.391.851.631.883.251
rareqs2.990.750.80.451.071
rev_qfun0.1907.55226.89388.623.78450.330.75
xb-qsts_bqsts2.030.467.628.883.8511.611
xb-qsts_xbqsts1.040.5110.1312.554.4416.381
xb-qsts_xbqsts2.040.410.112.554.416.391