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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer5214.4521.44400.36704.37851.850.5
Caqe-bloqqer-qdo3881.82388.18373.95143.9597.690.7
Caqe-hqspre16.531.651.881.411.581
Cued_2_20182208.74220.87293.1326.94304.050.9
Cued_3_20182197.87219.79292.1427.17330.230.9
depqbf_prefix_opt_qdo4580.69458.07381.14338.26899.980.6
depqbf_pre_QxQBH603.9560.475.0520.3541.571
GhostQ-PG_cegar1183.54118.35265.553.6220.290.9
GhostQ-PG_plain161.4416.1436.871.833.291
Heretiq-cube541.4354.14157.141.621.440.9
Heretiq-simple916.4291.64269.461.631.370.9
ijtihad915.9191.59269.491.671.440.9
Iprover-HQSpre-Bloqqer4503.9450.39449.69450.72899.550.5
PortfolioDepQBFGhostQRaReQSQute___pf1277.99127.8264.637.68.010.9
predyndep3506.5350.65388.67143.73479.20.7
Qute_default30.0134.872.32.331
Qute_opt50072.247.2215.292.292.311
Qute_random73.127.3115.412.292.341
Rareqs_20187363.63736.36327.55900.05796.110.2