Family tipdiam results for solvers
Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo7208.69720.87358.26900895.230.2
Caqe-hqspre2971.41297.14400.8413.62242.890.7
caqe-pre2973.38297.34400.8113.65244.780.7
depqbf_prefix_opt_qdo6301.69630.17412.179009000.3
depqbf_pre_QxQBH3797.07379.71400.34225.81641.860.7
GhostQ___cegar_pcnf_20192724.16272.42410.864.878.450.7
GhostQ___plain_pcnf_20192004200.4353.582.5816.420.8
iprover_bloqqer_schedule8104.81810.48268.5690000.1
iprover_bloqqer_single7569.52756.95297.2900535.270.2
nanoqbf_bloqqer7381.34738.13326.07900722.260.2
nanoqbf_hqspre3946.8394.68424.21172.38899.820.6
Qute_default3603.5360.35440.621.759000.6
Qute_opt50089.698.9712.141.658.230.5
Qute_rrs3603.34360.33440.641.679000.6
Rareqs_201872007203609009000.2