Family LTL2DPA results for solvers
Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo7.397.3907.3901
Caqe-hqspre868.82868.820868.8201
caqe-pre451.13451.130451.1301
depqbf_prefix_opt_qdo900900090000
depqbf_pre_QxQBH2.62.602.601
GhostQ___cegar_pcnf_2019900900090000
GhostQ___plain_pcnf_2019900900090000
iprover_bloqqer_schedule6.486.4806.4801
iprover_bloqqer_single6.356.3506.3501
nanoqbf_bloqqer5.295.2905.2901
nanoqbf_hqspre900900090000
Qute_default900900090000
Qute_opt5001.811.8101.8100
Qute_rrs900900090000
Rareqs_20181.171.1701.1701