Family LTL2DPA results for solvers
QBFEVAL'18 - Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer1.161.1601.1601
Caqe-bloqqer-qdo6.766.7606.7601
Caqe-hqspre900900090000
Cued_2_20184.014.0104.0101
Cued_3_20184.034.0304.0301
depqbf_prefix_opt_qdo900.06900.060900.0600
depqbf_pre_QxQBH1.941.9401.9401
GhostQ-PG_cegar900.08900.080900.0800
GhostQ-PG_plain900.02900.020900.0200
Heretiq-cube1.151.1501.1501
Heretiq-simple1.131.1301.1301
ijtihad1.071.0701.0701
Iprover-HQSpre-Bloqqer1.671.6701.6701
PortfolioDepQBFGhostQRaReQSQute___pf900.09900.090900.0900
predyndep4.654.6504.6501
Qute_default900900090000
Qute_opt5001.691.6901.6901
Qute_random1.681.6801.6801
Rareqs_20181.151.1501.1501