Family ltl2aig-comp results for solvers
Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo981.17327.06405.7568.0955.010.667
Caqe-hqspre1257.13419.04367.26348.37339.610.667
caqe-pre822.96274.32193.68349.85341.311
depqbf_prefix_opt_qdo2700900090000
depqbf_pre_QxQBH442.28147.43192.9213.635.221
GhostQ___cegar_pcnf_20191847.9615.97401.68900852.10.333
GhostQ___plain_pcnf_20192700900090000
iprover_bloqqer_schedule2584.69861.5654.36900115.310.333
iprover_bloqqer_single2320.89773.63178.71900379.110.333
nanoqbf_bloqqer983.02327.67405.5273.1763.320.667
nanoqbf_hqspre944.65314.88413.9739.3834.110.667
Qute_default1806.68602.23421.12900893.320.333
Qute_opt500443.08147.69201.46.692.810.333
Qute_rrs1806.59602.2421.16900893.410.333
Rareqs_201842.6114.211.8710.598.781