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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve917.11183.42358.34.55.510.8
caqe_2017_v13600.45720.09359.82900449.780.2
caqe_2017_v24500900090000
caqe_2017_v34500900090000
CUED1919_NL2702.93540.59440.19900898.540
CUED1919_NNL2702.95540.59440.19900898.530
dynQBF-bloqqer-hqspre3602.78720.56358.89900448.610.2
ghostq-cegar596.39119.28197.5137.0437.931
GhostQ-PG_cegar630.09126.02211.4235.9837.311
GhostQ-PG_plain1222.02244.4337.4745.76117.570.8
heretiq3047.87609.57372.23900726.070.4
HQSpre_solver4500900090000
ijtihad_v13032.74606.55374.41900733.630.4
ijtihad_v23034.34606.87374.18900732.830.4
iProver-qbf-2017-07-27-v34500900090000
iProver-qbf-bloqqer-2017-07-27-v33602.81720.56358.88900448.60.2
prefix-opt-depqbf3614.5722.9354.2900442.750.2
qbfrelay2082.46416.49400.73273.06567.980.2
qbfrelay-limited-depqbf2765.52553.1415.26888.1844.220.4
QELL_default144.5428.9150.664.733.361
QELL_unit248.4449.6991.764.612.861
qesto3600.45720.09359.82900449.780.2
Qute_default4500900090000
Qute_opt5004500900090000
Qute_random4500900090000
rareqs3600.45720.09359.82900449.780.2
rev_qfun0.1110.2422.0537.814.914.81
xb-qsts_bqsts2.03602.79720.56358.88900448.610.2
xb-qsts_xbqsts1.03602.77720.55358.89900448.620.2
xb-qsts_xbqsts2.03602.8720.56358.88900448.60.2