Suite Tentrup results for solvers
QBFEVAL'18 - Prenex CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer6388.05290.37394.5236.93623.120.727
Caqe-bloqqer-qdo8853.87402.45406.55213.73892.890.636
Caqe-hqspre9094.79413.4414.5200.37898.190.591
Cued_2_201812285.65558.44423.34900.01894.940.409
Cued_3_201812290.01558.64423.37900.02894.90.409
depqbf_prefix_opt_qdo19800.97900.040.03900.050.050
depqbf_pre_QxQBH9871.05448.68399.25406.29898.070.591
GhostQ-PG_cegar17928.08814.91222.51900.040.070.136
GhostQ-PG_plain19012.37864.2164.26900.030.040.045
Heretiq-cube10755.54488.89403.32523.3898.880.455
Heretiq-simple10813.03491.5415.14720.3898.890.545
ijtihad11350.81515.95411.17765.25898.960.5
Iprover-HQSpre-Bloqqer10795.43490.7438.01837.77898.350.455
PortfolioDepQBFGhostQRaReQSQute___pf13910.67632.3394.26900.05855.520.318
predyndep11916.61541.66431.28900.02894.530.409
Qute_default11426.77519.4421.45900895.980.455
Qute_opt5008701.54395.52424.43176.6898.350.591
Qute_random8703.03395.59424.42172.16898.330.591
Rareqs_20187050.12320.46404.140.76900.010.682