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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve9398.03247.32374.3119.05359.670.763
caqe_2017_v110391.35273.46400.516.05885.120.737
caqe_2017_v214094.23370.9421.9196.22899.680.632
caqe_2017_v314118.29371.53422.8497.12899.660.632
CUED1919_NL14978.1394.16338.71405.98590.230.026
CUED1919_NNL19256.81506.76417.04721.28894.40.026
dynQBF-bloqqer-hqspre15830.54416.59436.25102.18898.420.553
ghostq-cegar21802.84573.76411.39900873.190.342
GhostQ-PG_cegar22520.8592.65409.93900878.560.368
GhostQ-PG_plain24186.64636.49392.36900838.710.316
heretiq14759.39388.41431.1860.1899.850.605
HQSpre_solver15879.48417.88438.840.96898.910.553
ijtihad_v114919.38392.62426.2644.98899.830.632
ijtihad_v213961.37367.4418.9627.8899.860.658
iProver-qbf-2017-07-27-v325963.42683.25371.65900789.510.237
iProver-qbf-bloqqer-2017-07-27-v319283.14507.45428.45900898.40.474
prefix-opt-depqbf27056.24712.01364.1190000.211
qbfrelay10637.28279.93366.2565.06521.830.579
qbfrelay-limited-depqbf15071.99396.63403.39141.54819.030.605
QELL_default22712.95597.71419.56900893.930.342
QELL_unit22710.68597.65419.71900898.140.342
qesto16758.71441.02438.43228.6899.860.526
Qute_default19071.39501.88429.69898.26899.530.474
Qute_opt50019728.93519.18430.66900899.530.447
Qute_random19776.55520.44430.63900899.530.447
rareqs10626.72279.65400.468.55899.870.711
rev_qfun0.114079.99370.53424.4442.65899.80.605
xb-qsts_bqsts2.017204.39452.75435.37432.28898.370.526
xb-qsts_xbqsts1.016894.53444.59429.95431.37898.410.553
xb-qsts_xbqsts2.016887.07444.4429.65437.03898.380.553