Family LTL2DBA results for solvers
Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo133.4566.7365.3766.7301
Caqe-hqspre901.36450.68449.32450.6800.5
caqe-pre451.72225.86224.5225.8601
depqbf_prefix_opt_qdo1800900090000
depqbf_pre_QxQBH2.31.150.551.1501
GhostQ___cegar_pcnf_20191800900090000
GhostQ___plain_pcnf_20191800900090000
iprover_bloqqer_schedule6.613.311.123.3101
iprover_bloqqer_single6.873.441.123.4401
nanoqbf_bloqqer5.842.920.852.9201
nanoqbf_hqspre1800900090000
Qute_default1171.3585.65314.35585.6500.5
Qute_opt5001.270.640.640.6400
Qute_rrs1130.68565.34334.66565.3400.5
Rareqs_2018000001