Family ltl2aig-comp results for solvers
QBFEVAL'19 - Prenex non-CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GhostQ___cegar_qcir_2019494.66247.33239.66247.3301
GhostQ___plain_qcir_20191800.15900.080.03900.0800
PortfolioGhostQQfunQuAbSQute___pf214.277.140.027.1400
PortfolioGhostQQfunQuAbSQute___pf311.945.970.015.9700
PortfolioGhostQQfunQuAbSQute___pfs11.885.940.015.9400
Quabs_20181800.09900.050.03900.0500
quabs___caqe-hqspre60.7530.3827.3930.3801
QuAbS___quabs-caqe_2019659.84329.9227329.9201
Qute_default1800.06900.030900.0300