Family Debug results for solvers
QBFEVAL'17 - Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve9211.85657.99231.71676.09480.90
caqe_2017_v112339.88881.4266.9990000.071
caqe_2017_v212600900090000
caqe_2017_v312590.2899.32.5290000.071
CUED1919_NL5914.44422.46226.57496.53346.320
CUED1919_NNL5975.05426.79244.03448.84313.350
dynQBF-bloqqer-hqspre12600900090000
ghostq-cegar12588.45899.181.589003.670
GhostQ-PG_cegar12588.73899.21.549003.570
GhostQ-PG_plain12588.3899.161.619003.590
heretiq12217.6872.6974.8290000.143
HQSpre_solver9236.31659.74324.49900770.90.429
ijtihad_v111621.28830.09174.1590000.143
ijtihad_v211386.97813.36212.8490000.143
iProver-qbf-2017-07-27-v312600900090000
iProver-qbf-bloqqer-2017-07-27-v312600900090000
prefix-opt-depqbf12600900090000
qbfrelay11852.86846.63165.76892.5918.350.071
qbfrelay-limited-depqbf12572.44898.032.429004.530
QELL_default12176.38869.74109.190000.071
QELL_unit12151.51867.97115.590000.071
qesto12600900090000
Qute_default9407.46671.96322.28896.42743.370.357
Qute_opt5009368.88669.21324.59900746.830.357
Qute_random9154.7653.91316.91883.78746.50.429
rareqs10678.08762.72239.43900340.150.286
rev_qfun0.112549.85896.423.94896.596.870
xb-qsts_bqsts2.012600900090000
xb-qsts_xbqsts1.012600900090000
xb-qsts_xbqsts2.012600900090000