Family ltl2aig-comp results for solvers
QBFEVAL'17 - Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve1828.06457.02443459.88885.970.5
caqe_2017_v11854.92463.73436.63476.29872.540.5
caqe_2017_v22560.36640.09370.67826.96519.820.5
caqe_2017_v32593.12648.28373.4843.3503.440.5
CUED1919_NL1731.56432.89140.09440.58216.560
CUED1919_NNL2269.57567.39342.21624.32665.220
dynQBF-bloqqer-hqspre2714.45678.61383.45900442.780.25
ghostq-cegar2753.57688.39366.51900423.220.25
GhostQ-PG_cegar2747.5686.88369.14900426.250.25
GhostQ-PG_plain3600900090000
heretiq1834.92458.73441.4466.4882.540.5
HQSpre_solver1837.91459.48440.6465.19881.050.5
ijtihad_v11834.41458.6441.53466.14882.80.5
ijtihad_v21834.4458.6441.53466.14882.80.5
iProver-qbf-2017-07-27-v33600900090000
iProver-qbf-bloqqer-2017-07-27-v32975.96743.99270.22900312.020.25
prefix-opt-depqbf3600900090000
qbfrelay2675.63668.91375.01882.15439.30.25
qbfrelay-limited-depqbf2815.63703.91333.93895.05387.560.25
QELL_default1899.63474.91426.22496.78850.190.5
QELL_unit1911.44477.86423.61502.77844.280.5
qesto3600900090000
Qute_default2702.96675.74386.42898.26448.520.25
Qute_opt5002706.45676.61386.92900446.780.25
Qute_random2706.45676.61386.92900446.780.25
rareqs1832.26458.07442.05465.21883.870.5
rev_qfun0.11960.9490.23412.55524.02819.550.5
xb-qsts_bqsts2.03600900090000
xb-qsts_xbqsts1.03600900090000
xb-qsts_xbqsts2.03600900090000