Family LTL2DPA results for solvers
QBFEVAL'18 - Prenex 2QBF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aspq2v31.131.1301.1301
aspq3alt3.923.9203.9201
ASPQ_20183.923.9203.9201
CADET_2017900.09900.090900.0900
Caqe-bloqqer1.171.1701.1701
Caqe-bloqqer-qdo6.846.8406.8401
Caqe-hqspre900.06900.060900.0600
Cued_2_20184.054.0504.0501
Cued_3_20183.983.9803.9801
depqbf_prefix_opt_qdo900.06900.060900.0600
depqbf_pre_QxQBH1.941.9401.9401
GhostQ-PG_cegar900.08900.080900.0800
GhostQ-PG_plain900.1900.10900.100
Heretiq-cube1.171.1701.1701
Heretiq-simple1.171.1701.1701
ijtihad1.21.201.201
Iprover-HQSpre-Bloqqer1.71.701.701
PortfolioDepQBFGhostQRaReQSQute___pf900.01900.010900.0100
predyndep4.434.4304.4301
Qute_default900.01900.010900.0100
Qute_opt5001.661.6601.6601
Qute_random1.681.6801.6801
Rareqs_20181.171.1701.1701