Family PositionalGames_hex results for solvers
QBFEVAL'17 - Random QBFs Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve42307.63863.42177.3290000.041
caqe_2017_v137760.39770.62279.590000.224
caqe_2017_v238208.2779.76281.8390000.184
caqe_2017_v337768.11770.78279.4390000.224
CUED1919_NL263.425.3818.210.392.480
CUED1919_NNL244.394.9918.270.271.980
dynQBF-bloqqer-hqspre42310.14863.47177.0890000.041
ghostq-cegar43200.3881.64127.2190000.02
GhostQ-PG_cegar42325.45863.78175.5890000.041
GhostQ-PG_plain42090.46858.99177.7590000.061
heretiq36988.1754.86311.2290000.184
HQSpre_solver42302.75863.32177.8190000.041
ijtihad_v142300.22863.27178.0690000.041
ijtihad_v242229.5861.83178.0490000.061
iProver-qbf-2017-07-27-v344100900090000
iProver-qbf-bloqqer-2017-07-27-v342310.28863.48177.0690000.041
prefix-opt-depqbf37441.48764.11296.0590000.184
qbfrelay22124.23451.51321.08606.96648.370.041
qbfrelay-limited-depqbf38416.52784.01269.91888.832.620.143
QELL_default43200.02881.63127.2590000.02
QELL_unit43200.02881.63127.2590000.02
qesto40085.12818.06238.7390000.122
Qute_default40354.15823.55235.5290000.102
Qute_opt50040574.91828.06241.3590000.082
Qute_random40574.84828.06241.3590000.082
rareqs41507.7847.1192.2190000.082
rev_qfun0.142300.21863.27178.0690000.041
xb-qsts_bqsts2.036503.37744.97288.92900221.510.265
xb-qsts_xbqsts1.036495.28744.8288.97900224.760.265
xb-qsts_xbqsts2.036495.63744.81288.98900224.230.265