Family ITC99 results for solvers
Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo7256.21725.62348.76900867.620.2
Caqe-hqspre5477.59547.76431.69900897.610.4
caqe-pre5031.66503.17415.73676.97897.670.5
depqbf_prefix_opt_qdo4075.09407.51422.55235.07899.950.6
depqbf_pre_QxQBH2936.79293.68398.0765.0786.110.7
GhostQ___cegar_pcnf_20193590.82359.08402.0770.22672.190.7
GhostQ___plain_pcnf_20193341.64334.16395.7155.18489.080.7
iprover_bloqqer_schedule8737.22873.7278.8390000.1
iprover_bloqqer_single4960.66496.07337.54353.37746.850.6
nanoqbf_bloqqer7235.54723.55352.9900878.860.2
nanoqbf_hqspre2789.39278.94406.918.6758.140.7
Qute_default6313.78631.38410.33900897.980.3
Qute_opt500422.5542.2664.1713.6528.640.3
Qute_rrs6313.68631.37410.35900897.930.3
Rareqs_20187220.76722.08355.86900884.180.2