Family mult-matrix results for solvers
QBFEVAL'18 - Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer1810.67452.67447.39455.31894.760.5
Caqe-bloqqer-qdo2042.86510.72397.73568.17778.680.5
Caqe-hqspre1801.87450.47449.56450.92899.120.5
Cued_2_20182707.64676.91386.46900.03446.270.25
Cued_3_20182707.74676.94386.45900.05446.250.25
depqbf_prefix_opt_qdo3600.1900.030.02900.020.040
depqbf_pre_QxQBH1804.65451.16448.86451.99897.720.5
GhostQ-PG_cegar3600.16900.040.02900.040.030
GhostQ-PG_plain3600.13900.030.02900.040.040
Heretiq-cube2700.14675.04389.73900.02450.060.25
Heretiq-simple2555.65638.91373.56827.81522.220.25
ijtihad2700.09675.02389.72900.01450.050.25
Iprover-HQSpre-Bloqqer1802.18450.55449.51451.06899.020.5
PortfolioDepQBFGhostQRaReQSQute___pf1900.96475.24424.84478.16849.630.5
predyndep1884.92471.23429.46487.94857.620.5
Qute_default3600.16900.040.03900.030.050
Qute_opt5003600.22900.060.01900.060.010
Qute_random3600.23900.060.03900.060.060
Rareqs_20182700.14675.04389.73900.03450.050.25