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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ASPQ22154.77538.69301.63709.3357.620.25
CADET_20173600900090000
caqe_2017_v12720.7680.18380.75900439.650.25
caqe_2017_v23600900090000
caqe_2017_v33600900090000
CUED1919_NL1688.56422.1482.75392.8114.640
CUED1919_NNL3600900090000
dynQBF-bloqqer-hqspre2746.86686.72369.42900426.570.25
DynQBF-bloqqer-hqspre-it2746.86686.72369.42900426.570.25
DynQBF-bloqqer-variant2817.34704.34338.9900391.330.25
ghostq-cegar3600900090000
GhostQ-PG_cegar3600900090000
GhostQ-PG_plain3600900090000
heretiq3600900090000
ijtihad_v13367.47841.87100.69900116.270.25
ijtihad_v23355.9838.98105.7900122.050.25
iProver-qbf-2017-07-27-v33600900090000
iProver-qbf-bloqqer-2017-07-27-v33600900090000
no-prefix-opt-depqbf3600900090000
qbfrelay2234.32558.58365.37660.13666.920.25
qbfrelay-limited-depqbf2775.95693.99344.35889.17404.240.25
QELL_default3600900090000
QELL_unit3600900090000
qesto2728.83682.21377.23900435.590.25
rareqs2710.45677.61385.19900444.780.25
rev_qfun0.13600900090000
xb-qsts_bqsts2.02711.98678384.52900444.010.25
xb-qsts_xbqsts1.02716.29679.07382.66900441.860.25
xb-qsts_xbqsts2.02716.27679.07382.67900441.870.25