| benchmark | VBS | MU-TERM 2025 | NaTT | NTI25 | AProVE25 | AProVE25 (cert) | ~Y2024 |
|---|---|---|---|---|---|---|---|
|
AG01/ |
YES | 0.598 --0.0 | [err] 1.319 --0.0 | 28.192 --0.0 | 1.910 --0.0 | 2.51 ✔0.75 | YES |
|
Transformed_ |
NO | 0.342 --0.0 | [err] 0.837 --0.0 | 0.776 --0.0 | 1.439 --0.0 | 1.550 ✔0.22 | NO |
|
AG01/ |
YES | 0.478 --0.0 | [err] 1.35 --0.0 | 0.864 --0.0 | 1.613 --0.0 | 1.719 ✔0.21 | YES |
|
Transformed_ |
NO | timeout | [err] 1.454 --0.0 | 1.277 --0.0 | 14.634 --0.0 | 15.60 ✔0.46 | NO |
|
Applicative_ |
YES | 0.416 --0.0 | [err] 1.169 --0.0 | 17.313 --0.0 | 1.547 --0.0 | 1.741 ✔0.21 | YES |
|
Transformed_ |
YES | 0.428 --0.0 | [err] 1.240 --0.0 | 0.928 --0.0 | 1.904 --0.0 | 1.987 ✔0.22 | YES |
|
Transformed_ |
YES | timeout | [err] 1.448 --0.0 | 20.558 --0.0 | timeout | error | YES |
|
Applicative_ |
YES | 0.409 --0.0 | [err] 1.176 --0.0 | 15.397 --0.0 | 1.689 --0.0 | 1.676 ✔0.30 | YES |
|
Transformed_ |
YES | 0.346 --0.0 | [err] 0.924 --0.0 | 0.726 --0.0 | 1.460 --0.0 | 1.589 ✔0.18 | YES |
|
Applicative_ |
NO | timeout | [err] 1.156 --0.0 | 0.862 --0.0 | 2.260 --0.0 | 2.328 ✔0.111 | NO |
|
Transformed_ |
YES | 0.339 --0.0 | [err] 0.997 --0.0 | 2.331 --0.0 | 1.525 --0.0 | 1.666 ✔0.20 | YES |
|
Applicative_ |
YES | timeout | [err] 1.126 --0.0 | 17.958 --0.0 | 1.591 --0.0 | 1.783 ✔0.20 | YES |
|
Transformed_ |
YES | timeout | [err] 2.148 --0.0 | 17.286 --0.0 | 1.566 --0.0 | error | YES |
|
Applicative_ |
YES | 0.381 --0.0 | [err] 1.111 --0.0 | 17.726 --0.0 | 1.586 --0.0 | 1.684 ✔0.20 | YES |
|
Transformed_ |
YES | 0.476 --0.0 | [err] 1.102 --0.0 | 18.978 --0.0 | 1.632 --0.0 | 1.770 ✔0.20 | YES |
|
Applicative_ |
YES | 51.228 --0.0 | [err] 1.64 --0.0 | 24.54 --0.0 | 2.8 --0.0 | 1.728 ✔0.20 | YES |
|
Transformed_ |
YES | timeout | [err] 1.218 --0.0 | 13.712 --0.0 | error | error | YES |
|
Applicative_ |
YES | 0.413 --0.0 | [err] 1.55 --0.0 | 20.151 --0.0 | 1.567 --0.0 | 1.793 ✔0.30 | YES |
|
Transformed_ |
YES | timeout | [err] 1.725 --0.0 | 25.12 --0.0 | timeout | timeout | YES |
|
Applicative_ |
YES | timeout | [err] 1.59 --0.0 | 29.838 --0.0 | 1.477 --0.0 | 1.842 ✔0.21 | YES |
|
Transformed_ |
NO | 0.339 --0.0 | [err] 0.812 --0.0 | 0.767 --0.0 | 1.394 --0.0 | 1.508 ✔0.21 | NO |
|
Applicative_ |
YES | 0.482 --0.0 | [err] 1.174 --0.0 | 10.908 --0.0 | 1.976 --0.0 | 2.339 ✔0.142 | YES |
|
Transformed_ |
YES | 0.480 --0.0 | [err] 1.184 --0.0 | 16.298 --0.0 | 2.266 --0.0 | 1.939 ✔0.110 | YES |
|
Applicative_ |
NO | 0.356 --0.0 | [err] 1.489 --0.0 | 0.797 --0.0 | 2.742 --0.0 | 2.668 ✔0.20 | NO |
|
Transformed_ |
YES | timeout | [err] 2.121 --0.0 | 10.540 --0.0 | 1.804 --0.0 | error | YES |
|
AG01/ |
YES | 0.489 --0.0 | [err] 1.18 --0.0 | 11.636 --0.0 | 1.559 --0.0 | 1.703 ✔0.71 | YES |
|
Transformed_ |
YES | 0.532 --0.0 | [err] 1.111 --0.0 | 24.910 --0.0 | 1.843 --0.0 | 1.983 ✔0.47 | YES |
|
Applicative_ |
NO | timeout | [err] 1.99 --0.0 | 1.35 --0.0 | 2.100 --0.0 | 2.143 ✔0.113 | NO |
|
Transformed_ |
YES | 0.460 --0.0 | [err] 1.177 --0.0 | 19.536 --0.0 | 1.755 --0.0 | 2.7 ✔0.81 | YES |
|
Applicative_ |
YES | 0.406 --0.0 | [err] 1.297 --0.0 | 25.394 --0.0 | 1.743 --0.0 | 1.922 ✔0.22 | YES |
|
Transformed_ |
YES | timeout | [err] 1.288 --0.0 | 32.72 --0.0 | error | error | YES |
|
Applicative_ |
YES | 0.405 --0.0 | [err] 1.209 --0.0 | 25.354 --0.0 | 1.692 --0.0 | 1.977 ✔0.21 | YES |
|
Transformed_ |
YES | timeout | [err] 1.741 --0.0 | 29.428 --0.0 | timeout | error | YES |
|
Applicative_ |
YES | 0.421 --0.0 | [err] 1.316 --0.0 | 18.707 --0.0 | 1.833 --0.0 | 1.880 ✔0.41 | YES |
|
Transformed_ |
NO | 0.349 --0.0 | [err] 1.61 --0.0 | 0.860 --0.0 | 1.532 --0.0 | 1.724 ✔0.20 | NO |
|
Applicative_ |
YES | 0.410 --0.0 | [err] 1.374 --0.0 | 20.631 --0.0 | 1.818 --0.0 | 1.971 ✔0.22 | YES |
|
Transformed_ |
YES | 0.362 --0.0 | [err] 1.108 --0.0 | 28.412 --0.0 | 1.901 --0.0 | 1.817 ✔0.32 | YES |
|
Applicative_ |
YES | 0.680 --0.0 | [err] 1.629 --0.0 | 25.978 --0.0 | 2.188 --0.0 | 2.452 ✔0.169 | YES |
|
Transformed_ |
YES | 0.665 --0.0 | [err] 1.848 --0.0 | 19.585 --0.0 | 1.740 --0.0 | 2.609 ✔0.168 | YES |
|
Applicative_ |
YES | timeout | [err] 1.156 --0.0 | 28.711 --0.0 | 1.818 --0.0 | 2.9 ✔0.21 | YES |
|
Transformed_ |
YES | timeout | [err] 1.184 --0.0 | 22.513 --0.0 | 2.831 --0.0 | 3.974 ✔0.32 | YES |
|
Applicative_ |
YES | timeout | [err] 1.790 --0.0 | 17.707 --0.0 | 14.74 --0.0 | 15.831 ✔0.33 | YES |
|
Transformed_ |
YES | 0.472 --0.0 | [err] 1.212 --0.0 | 22.205 --0.0 | 2.321 --0.0 | 2.689 ✔0.23 | YES |
|
Applicative_ |
YES | timeout | [err] 1.276 --0.0 | 38.209 --0.0 | 2.197 --0.0 | 2.229 ✔0.24 | YES |
|
Transformed_ |
YES | 0.621 --0.0 | [err] 1.379 --0.0 | 19.987 --0.0 | 3.901 --0.0 | 3.319 ✔0.34 | YES |
|
Applicative_ |
YES | 0.404 --0.0 | [err] 1.241 --0.0 | 16.304 --0.0 | 1.619 --0.0 | 1.737 ✔0.21 | YES |
|
Transformed_ |
YES | 0.359 --0.0 | [err] 0.990 --0.0 | 0.859 --0.0 | 1.518 --0.0 | 1.650 ✔0.20 | YES |
|
AG01/ |
YES | 0.648 --0.0 | [err] 1.154 --0.0 | 22.927 --0.0 | 1.616 --0.0 | 1.752 ✔0.60 | YES |
|
Transformed_ |
YES | 0.573 --0.0 | [err] 1.256 --0.0 | 2.395 --0.0 | 2.225 --0.0 | 2.310 ✔0.32 | YES |
|
Applicative_ |
YES | timeout | [err] 1.761 --0.0 | 15.261 --0.0 | 2.755 --0.0 | 2.207 ✔0.161 | YES |
|
Transformed_ |
YES | 0.436 --0.0 | [err] 1.106 --0.0 | 15.455 --0.0 | 1.784 --0.0 | 1.881 ✔0.21 | YES |
|
Applicative_ |
YES | timeout | [err] 1.125 --0.0 | 17.165 --0.0 | 1.685 --0.0 | 1.760 ✔0.21 | YES |
|
Transformed_ |
YES | timeout | [err] 2.562 --0.0 | 21.207 --0.0 | 1.569 --0.0 | timeout | YES |
|
Applicative_ |
YES | timeout | [err] 1.454 --0.0 | 19.169 --0.0 | 1.770 --0.0 | 1.748 ✔0.20 | YES |
|
Transformed_ |
NO | 50.799 --0.0 | [err] 0.982 --0.0 | 0.819 --0.0 | 1.631 --0.0 | 1.955 ✔0.98 | NO |
|
Applicative_ |
YES | timeout | [err] 1.445 --0.0 | 17.343 --0.0 | 2.74 --0.0 | 2.184 ✔0.30 | YES |
|
Transformed_ |
NO | timeout | [err] 1.178 --0.0 | 1.170 --0.0 | 2.38 --0.0 | 2.132 ✔0.21 | NO |
|
Applicative_ |
YES | timeout | [err] 1.376 --0.0 | 15.718 --0.0 | 2.106 --0.0 | 2.255 ✔0.71 | YES |
|
Transformed_ |
NO | timeout | timeout | 6.176 --0.0 | timeout | error | NO |
|
Applicative_ |
YES | timeout | [err] 1.221 --0.0 | 21.54 --0.0 | 1.691 --0.0 | 1.822 ✔0.31 | YES |
|
Transformed_ |
NO | 50.695 --0.0 | [err] 1.9 --0.0 | 0.755 --0.0 | 1.734 --0.0 | 1.823 ✔0.21 | NO |
|
Applicative_ |
YES | timeout | [err] 1.149 --0.0 | 22.966 --0.0 | 1.713 --0.0 | 1.802 ✔0.19 | YES |
|
Transformed_ |
YES | timeout | [err] 1.230 --0.0 | 20.951 --0.0 | 1.666 --0.0 | 16.640 ✔0.18 | YES |
|
Applicative_ |
YES | timeout | [err] 1.304 --0.0 | 13.595 --0.0 | 2.468 --0.0 | 2.165 ✔0.141 | YES |
|
Transformed_ |
NO | timeout | [err] 0.988 --0.0 | 0.978 --0.0 | 1.656 --0.0 | 1.766 ✔0.20 | NO |
|
Applicative_ |
YES | timeout | [err] 1.195 --0.0 | 22.336 --0.0 | 1.641 --0.0 | 1.790 ✔0.21 | YES |
|
Transformed_ |
YES | 0.415 --0.0 | [err] 0.988 --0.0 | 1.30 --0.0 | 1.627 --0.0 | 1.759 ✔0.20 | YES |
|
Applicative_ |
YES | timeout | [err] 1.188 --0.0 | 10.596 --0.0 | 2.401 --0.0 | 2.386 ✔0.22 | YES |
|
Transformed_ |
YES | 5.221 --0.0 | [err] 1.87 --0.0 | 29.440 --0.0 | 1.955 --0.0 | 2.33 ✔0.22 | YES |
|
AG01/ |
YES | 0.484 --0.0 | [err] 0.967 --0.0 | 0.725 --0.0 | 1.521 --0.0 | 1.651 ✔0.21 | YES |
|
Transformed_ |
YES | 0.381 --0.0 | [err] 1.6 --0.0 | 0.788 --0.0 | 1.663 --0.0 | 1.716 ✔0.61 | YES |
|
Applicative_ |
YES | 0.522 --0.0 | [err] 1.132 --0.0 | 17.99 --0.0 | 2.378 --0.0 | 2.122 ✔0.111 | YES |
|
Transformed_ |
YES | [err] 11.361 --0.0 | [err] 11.280 --0.0 | 9.768 --0.0 | 2.410 --0.0 | timeout | YES |
|
Applicative_ |
YES | timeout | [err] 1.237 --0.0 | 20.209 --0.0 | 1.796 --0.0 | 1.942 ✔0.21 | YES |
|
Transformed_ |
YES | 0.391 --0.0 | [err] 1.158 --0.0 | 11.953 --0.0 | 1.732 --0.0 | 1.868 ✔0.22 | YES |
|
Applicative_ |
YES | 0.391 --0.0 | [err] 1.276 --0.0 | 20.791 --0.0 | 1.613 --0.0 | 1.809 ✔0.30 | YES |
|
Transformed_ |
YES | timeout | [err] 2.192 --0.0 | 32.663 --0.0 | 23.389 --0.0 | 27.787 ✔0.63 | YES |
|
Applicative_ |
YES | timeout | [err] 1.197 --0.0 | 22.299 --0.0 | 1.769 --0.0 | 1.912 ✔0.20 | YES |
|
Transformed_ |
YES | timeout | [err] 2.634 --0.0 | 23.431 --0.0 | 23.118 --0.0 | 19.115 ✔0.52 | YES |
|
Applicative_ |
YES | timeout | [err] 1.463 --0.0 | 19.543 --0.0 | 1.916 --0.0 | 2.151 ✔0.40 | YES |
|
Transformed_ |
NO | 0.378 --0.0 | [err] 1.159 --0.0 | 0.736 --0.0 | 1.740 --0.0 | 1.943 ✔0.94 | NO |
|
Applicative_ |
MAYBE | timeout | [err] 2.528 --0.0 | 17.180 --0.0 | timeout | timeout | MAYBE |
|
Transformed_ |
YES | 0.385 --0.0 | [err] 1.148 --0.0 | 20.364 --0.0 | 1.557 --0.0 | 1.702 ✔0.20 | YES |
|
Applicative_ |
YES | timeout | [err] 4.624 --0.0 | 11.685 --0.0 | 2.102 --0.0 | 1.986 ✔0.183 | YES |
|
Transformed_ |
YES | 0.430 --0.0 | [err] 1.125 --0.0 | 0.897 --0.0 | 1.369 --0.0 | 2.481 ✔0.20 | YES |
|
Applicative_ |
YES | 0.522 --0.0 | [err] 1.275 --0.0 | 14.46 --0.0 | 2.52 --0.0 | 2.14 ✔0.89 | YES |
|
Transformed_ |
YES | 0.333 --0.0 | [err] 1.9 --0.0 | 0.716 --0.0 | 1.454 --0.0 | 2.185 ✔0.18 | YES |
|
Applicative_ |
YES | 0.420 --0.0 | [err] 1.331 --0.0 | 12.722 --0.0 | 2.65 --0.0 | 2.11 ✔0.89 | YES |
|
Transformed_ |
YES | 0.324 --0.0 | [err] 0.992 --0.0 | 0.923 --0.0 | 1.483 --0.0 | 2.82 ✔0.18 | YES |
|
Applicative_ |
YES | 0.347 --0.0 | [err] 1.96 --0.0 | 12.785 --0.0 | 1.777 --0.0 | 1.757 ✔0.83 | YES |
|
Transformed_ |
YES | 0.411 --0.0 | [err] 1.71 --0.0 | 21.89 --0.0 | 1.473 --0.0 | 2.643 ✔0.28 | YES |
|
AG01/ |
YES | 0.521 --0.0 | [err] 1.249 --0.0 | 0.723 --0.0 | 1.438 --0.0 | 1.661 ✔0.41 | YES |
|
Transformed_ |
NO | 0.412 --0.0 | [err] 1.245 --0.0 | 1.415 --0.0 | 1.974 --0.0 | 2.126 ✔0.64 | NO |
|
Applicative_ |
YES | timeout | [err] 1.503 --0.0 | 19.752 --0.0 | 3.17 --0.0 | 2.40 ✔0.90 | YES |
|
Transformed_ |
YES | 0.366 --0.0 | [err] 0.907 --0.0 | 0.730 --0.0 | 1.429 --0.0 | 1.551 ✔0.20 | YES |
|
Applicative_ |
YES | timeout | [err] 1.446 --0.0 | 21.103 --0.0 | 1.827 --0.0 | 2.187 ✔0.160 | YES |
|
Transformed_ |
NO | 0.346 --0.0 | [err] 0.986 --0.0 | 0.835 --0.0 | 1.396 --0.0 | 1.538 ✔0.20 | NO |
|
Applicative_ |
YES | timeout | [err] 1.268 --0.0 | 20.410 --0.0 | 1.765 --0.0 | 1.935 ✔0.29 | YES |
|
Transformed_ |
YES | 1.474 --0.0 | [err] 1.477 --0.0 | 10.94 --0.0 | 1.597 --0.0 | 2.250 ✔0.31 | YES |
|
Applicative_ |
YES | timeout | [err] 1.202 --0.0 | 21.447 --0.0 | 1.703 --0.0 | 1.796 ✔0.20 | YES |
|
Transformed_ |
NO | timeout | [err] 1.620 --0.0 | 0.941 --0.0 | 5.825 --0.0 | 6.101 ✔0.19 | NO |
|
Applicative_ |
YES | timeout | [err] 1.155 --0.0 | 20.811 --0.0 | 1.663 --0.0 | 1.742 ✔0.21 | YES |
|
Transformed_ |
YES | 0.820 --0.0 | [err] 1.85 --0.0 | 24.51 --0.0 | 1.954 --0.0 | 2.118 ✔0.21 | YES |
|
Applicative_ |
MAYBE | timeout | [err] 3.616 --0.0 | 23.472 --0.0 | error | error | MAYBE |
|
Transformed_ |
YES | 1.958 --0.0 | [err] 1.275 --0.0 | 23.545 --0.0 | 2.499 --0.0 | 2.570 ✔0.30 | YES |
|
Applicative_ |
YES | 0.536 --0.0 | [err] 1.264 --0.0 | 16.365 --0.0 | 2.19 --0.0 | 1.863 ✔0.122 | YES |
|
Transformed_ |
NO | 0.354 --0.0 | [err] 0.890 --0.0 | 0.841 --0.0 | 1.415 --0.0 | 1.563 ✔0.20 | NO |
|
Applicative_ |
YES | timeout | [err] 1.354 --0.0 | 19.977 --0.0 | 1.882 --0.0 | 1.920 ✔0.66 | YES |
|
Transformed_ |
NO | timeout | [err] 1.610 --0.0 | 0.830 --0.0 | 8.193 --0.0 | 8.441 ✔0.22 | NO |
|
Applicative_ |
YES | timeout | [err] 1.255 --0.0 | 20.159 --0.0 | 1.786 --0.0 | 1.864 ✔0.21 | YES |
|
Transformed_ |
YES | 3.789 --0.0 | [err] 1.403 --0.0 | 10.358 --0.0 | 1.611 --0.0 | 2.297 ✔0.30 | YES |
|
AProVE_ |
YES | timeout | [err] 4.453 --0.0 | 24.26 --0.0 | 17.230 --0.0 | 17.44 ✔0.41 | YES |
|
Transformed_ |
NO | timeout | [err] 1.824 --0.0 | 1.520 --0.0 | 8.733 --0.0 | 9.152 ✔0.21 | NO |
|
AG01/ |
YES | 0.387 --0.0 | [err] 0.954 --0.0 | 0.789 --0.0 | 2.435 --0.0 | 2.65 ✔0.21 | YES |
|
Transformed_ |
YES | 0.431 --0.0 | [err] 1.123 --0.0 | 0.811 --0.0 | 1.623 --0.0 | 1.753 ✔0.68 | YES |
|
AProVE_ |
YES | timeout | timeout | 11.675 --0.0 | 48.374 --0.0 | error | YES |
|
Transformed_ |
YES | 0.443 --0.0 | [err] 1.109 --0.0 | 16.226 --0.0 | 1.827 --0.0 | 1.989 ✔0.23 | YES |
|
AProVE_ |
YES | 0.473 --0.0 | [err] 0.950 --0.0 | timeout | 1.835 --0.0 | 1.948 ✔0.31 | YES |
|
Transformed_ |
YES | 1.611 --0.0 | [err] 1.170 --0.0 | 22.446 --0.0 | 2.147 --0.0 | 2.613 ✔0.40 | YES |
|
AProVE_ |
YES | timeout | [err] 1.35 --0.0 | timeout | 1.810 --0.0 | 1.639 ✔0.89 | YES |
|
Transformed_ |
NO | 0.312 --0.0 | [err] 0.837 --0.0 | 0.681 --0.0 | 1.414 --0.0 | 1.331 ✔0.20 | NO |
|
AProVE_ |
YES | 17.362 --0.0 | [err] 1.2 --0.0 | 16.402 --0.0 | 1.704 --0.0 | 1.631 ✔0.20 | YES |
|
Transformed_ |
NO | timeout | [err] 1.740 --0.0 | 0.791 --0.0 | 8.450 --0.0 | 9.526 ✔0.21 | NO |
|
AProVE_ |
YES | 0.397 --0.0 | [err] 1.41 --0.0 | 26.863 --0.0 | 1.654 --0.0 | 1.762 ✔0.19 | YES |
|
Transformed_ |
YES | timeout | [err] 8.875 --0.0 | 18.478 --0.0 | 1.469 --0.0 | error | YES |
|
AProVE_ |
YES | 0.404 --0.0 | [err] 1.179 --0.0 | 20.825 --0.0 | 1.668 --0.0 | 1.859 ✔0.30 | YES |
|
Transformed_ |
MAYBE | timeout | [err] 2.646 --0.0 | 23.931 --0.0 | timeout | error | MAYBE |
|
AProVE_ |
YES | 0.498 --0.0 | [err] 1.162 --0.0 | 11.305 --0.0 | 1.777 --0.0 | 1.849 ✔0.110 | YES |
|
Transformed_ |
YES | timeout | [err] 1.271 --0.0 | 29.393 --0.0 | 12.998 --0.0 | 17.216 ✔0.81 | YES |
|
AProVE_ |
YES | 0.471 --0.0 | [err] 1.223 --0.0 | 22.51 --0.0 | 1.732 --0.0 | 1.909 ✔0.20 | YES |
|
Transformed_ |
YES | timeout | [err] 8.316 --0.0 | 25.563 --0.0 | error | error | YES |
|
AProVE_ |
YES | 0.483 --0.0 | [err] 1.301 --0.0 | 19.357 --0.0 | 1.772 --0.0 | 1.930 ✔0.22 | YES |
|
Transformed_ |
NO | 0.342 --0.0 | [err] 0.936 --0.0 | 0.837 --0.0 | 1.455 --0.0 | 1.497 ✔0.21 | NO |
|
AProVE_ |
YES | 0.761 --0.0 | [err] 1.185 --0.0 | 0.865 --0.0 | 1.872 --0.0 | 1.964 ✔0.120 | YES |
|
Transformed_ |
NO | timeout | [err] 2.144 --0.0 | 0.853 --0.0 | 5.435 --0.0 | 6.306 ✔0.31 | NO |
|
AG01/ |
YES | 0.476 --0.0 | [err] 1.255 --0.0 | 0.921 --0.0 | 1.620 --0.0 | 1.715 ✔0.111 | YES |
|
Transformed_ |
NO | timeout | [err] 1.71 --0.0 | 0.880 --0.0 | 2.186 --0.0 | 2.330 ✔0.76 | NO |
|
AProVE_ |
YES | 0.837 --0.0 | [err] 0.995 --0.0 | 0.874 --0.0 | 2.28 --0.0 | 1.956 ✔0.120 | YES |
|
Transformed_ |
MAYBE | timeout | [err] 4.908 --0.0 | 17.673 --0.0 | timeout | error | MAYBE |
|
AProVE_ |
YES | timeout | [err] 3.792 --0.0 | 22.373 --0.0 | 35.283 --0.0 | 36.790 ✔0.32 | YES |
|
Transformed_ |
MAYBE | timeout | [err] 1.747 --0.0 | 22.617 --0.0 | error | error | MAYBE |
|
AProVE_ |
YES | 0.494 --0.0 | [err] 1.191 --0.0 | 22.858 --0.0 | 1.872 --0.0 | 2.3 ✔0.20 | YES |
|
Transformed_ |
MAYBE | timeout | [err] 2.796 --0.0 | 27.334 --0.0 | timeout | timeout | MAYBE |
|
AProVE_ |
YES | timeout | [err] 1.156 --0.0 | 15.599 --0.0 | 2.538 --0.0 | 2.652 ✔0.21 | YES |
|
Transformed_ |
MAYBE | timeout | [err] 3.768 --0.0 | 26.934 --0.0 | timeout | timeout | MAYBE |
|
AProVE_ |
YES | 52.925 --0.0 | [err] 1.135 --0.0 | 22.488 --0.0 | 1.663 --0.0 | 2.221 ✔0.20 | YES |
|
Transformed_ |
NO | 0.353 --0.0 | [err] 0.942 --0.0 | 0.749 --0.0 | 1.461 --0.0 | 1.562 ✔0.21 | NO |
|
AProVE_ |
YES | timeout | [err] 1.288 --0.0 | 14.505 --0.0 | 2.818 --0.0 | 2.820 ✔0.21 | YES |
|
Transformed_ |
NO | 0.365 --0.0 | [err] 1.256 --0.0 | 1.340 --0.0 | 1.843 --0.0 | 2.483 ✔0.31 | NO |
|
AProVE_ |
YES | timeout | [err] 1.528 --0.0 | 15.773 --0.0 | 20.759 --0.0 | 20.567 ✔0.151 | YES |
|
Transformed_ |
YES | 42.555 --0.0 | [err] 1.503 --0.0 | 14.977 --0.0 | 1.590 --0.0 | 3.783 ✔0.102 | YES |
|
AProVE_ |
YES | 0.470 --0.0 | [err] 1.186 --0.0 | 17.480 --0.0 | 1.820 --0.0 | 1.979 ✔0.21 | YES |
|
Transformed_ |
YES | 0.417 --0.0 | [err] 1.128 --0.0 | 21.828 --0.0 | 1.659 --0.0 | 1.872 ✔0.21 | YES |
|
AProVE_ |
YES | timeout | [err] 1.161 --0.0 | 14.964 --0.0 | 1.688 --0.0 | 2.173 ✔0.32 | YES |
|
Transformed_ |
YES | 0.488 --0.0 | [err] 1.58 --0.0 | 21.328 --0.0 | 1.614 --0.0 | 1.677 ✔0.21 | YES |
|
AProVE_ |
YES | 0.474 --0.0 | [err] 1.182 --0.0 | 0.753 --0.0 | 2.288 --0.0 | 2.478 ✔0.111 | YES |
|
Transformed_ |
YES | 0.722 --0.0 | [err] 1.402 --0.0 | 20.170 --0.0 | 3.718 --0.0 | 2.820 ✔0.21 | YES |
|
AG01/ |
YES | 0.479 --0.0 | [err] 0.998 --0.0 | 1.937 --0.0 | 1.555 --0.0 | 1.679 ✔0.20 | YES |
|
Transformed_ |
YES | 0.436 --0.0 | [err] 0.986 --0.0 | 1.259 --0.0 | 1.751 --0.0 | 1.817 ✔0.73 | YES |
|
AProVE_ |
YES | 0.412 --0.0 | [err] 1.89 --0.0 | 23.35 --0.0 | 1.564 --0.0 | 1.747 ✔0.20 | YES |
|
Transformed_ |
YES | 0.403 --0.0 | [err] 0.988 --0.0 | 0.893 --0.0 | 1.433 --0.0 | 1.590 ✔0.20 | YES |
|
AProVE_ |
YES | 0.471 --0.0 | [err] 1.104 --0.0 | 0.762 --0.0 | 2.172 --0.0 | 2.513 ✔0.112 | YES |
|
Transformed_ |
YES | 0.414 --0.0 | [err] 1.33 --0.0 | 25.418 --0.0 | 1.631 --0.0 | 1.747 ✔0.21 | YES |
|
AProVE_ |
YES | timeout | [err] 1.61 --0.0 | 25.211 --0.0 | 1.575 --0.0 | 1.739 ✔0.20 | YES |
|
Transformed_ |
YES | timeout | [err] 2.120 --0.0 | 7.893 --0.0 | 1.646 --0.0 | 2.744 ✔0.61 | YES |
|
AProVE_ |
YES | timeout | [err] 3.670 --0.0 | 26.120 --0.0 | 3.905 --0.0 | 3.974 ✔0.30 | YES |
|
Transformed_ |
YES | 0.598 --0.0 | [err] 1.137 --0.0 | 19.91 --0.0 | 1.686 --0.0 | 2.28 ✔0.258 | YES |
|
AProVE_ |
MAYBE | timeout | [err] 3.544 --0.0 | 21.776 --0.0 | error | error | MAYBE |
|
Transformed_ |
YES | timeout | [err] 1.459 --0.0 | 27.733 --0.0 | 2.37 --0.0 | 2.363 ✔0.20 | YES |
|
AProVE_ |
YES | timeout | [err] 1.75 --0.0 | timeout | 1.771 --0.0 | 1.827 ✔0.22 | YES |
|
Transformed_ |
YES | timeout | [err] 1.648 --0.0 | 23.878 --0.0 | 2.776 --0.0 | 2.939 ✔0.30 | YES |
|
AProVE_ |
YES | timeout | [err] 1.416 --0.0 | 24.48 --0.0 | 1.952 --0.0 | 2.89 ✔0.71 | YES |
|
Transformed_ |
YES | 0.338 --0.0 | [err] 1.84 --0.0 | 0.758 --0.0 | 1.485 --0.0 | 1.661 ✔0.19 | YES |
|
AProVE_ |
YES | 0.592 --0.0 | [err] 1.102 --0.0 | timeout | 1.703 --0.0 | 1.892 ✔0.23 | YES |
|
Transformed_ |
YES | 0.371 --0.0 | [err] 1.99 --0.0 | 0.939 --0.0 | 1.548 --0.0 | 1.679 ✔0.21 | YES |
|
AProVE_ |
YES | timeout | [err] 2.105 --0.0 | timeout | 5.87 --0.0 | 5.451 ✔0.31 | YES |
|
Transformed_ |
YES | timeout | [err] 3.466 --0.0 | 12.755 --0.0 | 1.644 --0.0 | timeout | YES |
|
AProVE_ |
YES | timeout | [err] 1.616 --0.0 | 32.636 --0.0 | 2.105 --0.0 | 2.185 ✔0.19 | YES |
|
Transformed_ |
YES | 0.385 --0.0 | [err] 1.173 --0.0 | 25.971 --0.0 | 1.623 --0.0 | 1.803 ✔0.21 | YES |
|
AG01/ |
YES | 0.413 --0.0 | [err] 0.962 --0.0 | 0.761 --0.0 | 1.602 --0.0 | 1.672 ✔0.20 | YES |
|
Transformed_ |
YES | 0.455 --0.0 | [err] 1.126 --0.0 | 0.893 --0.0 | 1.678 --0.0 | 1.826 ✔0.59 | YES |
|
AProVE_ |
YES | timeout | [err] 1.266 --0.0 | 21.282 --0.0 | 1.867 --0.0 | 6.727 ✔0.31 | YES |
|
Transformed_ |
YES | timeout | [err] 1.989 --0.0 | 31.519 --0.0 | error | error | YES |
|
AProVE_ |
NO | timeout | [err] 1.816 --0.0 | 0.982 --0.0 | 2.23 --0.0 | 1.943 ✔0.100 | NO |
|
Transformed_ |
YES | timeout | [err] 2.947 --0.0 | 24.104 --0.0 | timeout | timeout | YES |
|
AProVE_ |
YES | 0.916 --0.0 | [err] 1.562 --0.0 | 26.791 --0.0 | 2.23 --0.0 | 2.517 ✔0.127 | YES |
|
Transformed_ |
NO | 0.359 --0.0 | [err] 0.985 --0.0 | 0.826 --0.0 | 1.445 --0.0 | 1.579 ✔0.19 | NO |
|
AProVE_ |
YES | timeout | [err] 1.261 --0.0 | 28.731 --0.0 | 3.214 --0.0 | 3.376 ✔0.29 | YES |
|
Transformed_ |
YES | 1.0 --0.0 | [err] 1.635 --0.0 | 36.484 --0.0 | 2.695 --0.0 | 2.762 ✔0.257 | YES |
|
AProVE_ |
YES | timeout | [err] 1.367 --0.0 | 32.600 --0.0 | 1.638 --0.0 | 1.738 ✔0.19 | YES |
|
Transformed_ |
YES | timeout | [err] 26.357 --0.0 | 22.313 --0.0 | 51.357 --0.0 | timeout | YES |
|
AProVE_ |
YES | timeout | [err] 1.315 --0.0 | timeout | 1.819 --0.0 | 1.928 ✔0.19 | YES |
|
Transformed_ |
NO | timeout | [err] 21.471 --0.0 | 30.806 --0.0 | error | error | NO |
|
AProVE_ |
YES | timeout | [err] 1.367 --0.0 | 25.644 --0.0 | 14.326 --0.0 | 14.218 ✔0.59 | YES |
|
Transformed_ |
YES | 7.512 --0.0 | [err] 11.148 --0.0 | 39.724 --0.0 | 5.7 --0.0 | 6.361 ✔0.372 | YES |
|
AProVE_ |
YES | timeout | [err] 2.821 --0.0 | 20.805 --0.0 | 3.222 --0.0 | 14.937 ✔0.30 | YES |
|
Transformed_ |
YES | timeout | [err] 35.401 --0.0 | 24.453 --0.0 | timeout | timeout | YES |
|
AProVE_ |
YES | timeout | [err] 1.274 --0.0 | 27.309 --0.0 | 2.65 --0.0 | 2.176 ✔0.30 | YES |
|
Transformed_ |
NO | 0.361 --0.0 | [err] 1.46 --0.0 | 0.766 --0.0 | 1.446 --0.0 | 1.572 ✔0.22 | NO |
|
AProVE_ |
YES | timeout | [err] 2.194 --0.0 | 20.321 --0.0 | 2.10 --0.0 | 2.229 ✔0.21 | YES |
|
Transformed_ |
YES | timeout | timeout | 9.151 --0.0 | 2.382 --0.0 | timeout | YES |
|
AG01/ |
YES | 0.449 --0.0 | [err] 1.45 --0.0 | 0.751 --0.0 | 1.466 --0.0 | 1.632 ✔0.20 | YES |
|
Transformed_ |
YES | 0.388 --0.0 | [err] 0.939 --0.0 | 0.818 --0.0 | 1.497 --0.0 | 1.659 ✔0.29 | YES |
|
AProVE_ |
YES | 0.571 --0.0 | [err] 1.74 --0.0 | 18.98 --0.0 | 1.716 --0.0 | 1.817 ✔0.20 | YES |
|
Transformed_ |
NO | timeout | timeout | 21.353 --0.0 | error | error | NO |
|
AProVE_ |
YES | timeout | [err] 1.163 --0.0 | 24.554 --0.0 | 1.752 --0.0 | 1.879 ✔0.21 | YES |
|
Transformed_ |
YES | 0.766 --0.0 | [err] 34.293 --0.0 | 21.452 --0.0 | 3.918 --0.0 | 4.301 ✔0.51 | YES |
|
AProVE_ |
YES | timeout | [err] 1.320 --0.0 | 18.839 --0.0 | 1.698 --0.0 | 1.785 ✔0.20 | YES |
|
Transformed_ |
YES | timeout | [err] 37.580 --0.0 | 11.773 --0.0 | timeout | timeout | YES |
|
AProVE_ |
YES | timeout | [err] 1.253 --0.0 | 18.733 --0.0 | 1.995 --0.0 | 2.92 ✔0.92 | YES |
|
Transformed_ |
NO | 0.392 --0.0 | [err] 1.111 --0.0 | 0.900 --0.0 | 1.476 --0.0 | 1.684 ✔0.21 | NO |
|
AProVE_ |
YES | timeout | [err] 1.600 --0.0 | timeout | 1.835 --0.0 | 2.36 ✔0.32 | YES |
|
Transformed_ |
NO | timeout | timeout | 12.333 --0.0 | error | error | NO |
|
AProVE_ |
YES | timeout | [err] 1.166 --0.0 | timeout | 1.779 --0.0 | 2.605 ✔0.23 | YES |
|
Transformed_ |
NO | timeout | [err] 18.204 --0.0 | 18.588 --0.0 | error | error | NO |
|
AProVE_ |
YES | timeout | [err] 1.963 --0.0 | timeout | 2.215 --0.0 | 2.321 ✔0.32 | YES |
|
Transformed_ |
YES | timeout | [err] 7.73 --0.0 | 10.345 --0.0 | 1.808 --0.0 | timeout | YES |
|
AProVE_ |
YES | 0.442 --0.0 | [err] 1.123 --0.0 | 19.515 --0.0 | 1.674 --0.0 | 1.852 ✔0.22 | YES |
|
Transformed_ |
NO | timeout | [err] 10.574 --0.0 | 26.711 --0.0 | 14.869 --0.0 | 17.451 ✔0.20 | NO |
|
AProVE_ |
YES | timeout | [err] 1.876 --0.0 | 24.245 --0.0 | 2.347 --0.0 | 2.312 ✔0.42 | YES |
|
Transformed_ |
YES | 0.577 --0.0 | [err] 1.833 --0.0 | 18.603 --0.0 | 1.762 --0.0 | 2.70 ✔0.21 | YES |
|
AProVE_ |
YES | timeout | [err] 1.113 --0.0 | timeout | 1.769 --0.0 | 1.913 ✔0.21 | YES |
|
Transformed_ |
YES | timeout | [err] 10.505 --0.0 | 23.802 --0.0 | 28.680 --0.0 | 45.149 ✔0.62 | YES |
|
AG01/ |
YES | 0.444 --0.0 | [err] 1.62 --0.0 | 0.849 --0.0 | 1.682 --0.0 | 1.812 ✔0.20 | YES |
|
Transformed_ |
YES | 0.401 --0.0 | [err] 1.10 --0.0 | 29.965 --0.0 | 1.616 --0.0 | 1.721 ✔0.48 | YES |
|
AG01/ |
YES | 0.447 --0.0 | [err] 1.3 --0.0 | 0.799 --0.0 | 1.443 --0.0 | 2.10 ✔0.31 | YES |
|
Transformed_ |
NO | timeout | [err] 1.37 --0.0 | 1.332 --0.0 | 1.810 --0.0 | 1.902 ✔0.68 | NO |
|
AProVE_ |
YES | timeout | [err] 1.687 --0.0 | 22.146 --0.0 | 2.534 --0.0 | 2.675 ✔0.32 | YES |
|
Transformed_ |
NO | 0.348 --0.0 | [err] 1.0 --0.0 | 0.744 --0.0 | 1.460 --0.0 | 1.610 ✔0.22 | NO |
|
AProVE_ |
YES | timeout | [err] 2.136 --0.0 | 20.524 --0.0 | 2.799 --0.0 | 2.794 ✔0.30 | YES |
|
Transformed_ |
YES | timeout | [err] 24.798 --0.0 | 9.300 --0.0 | 1.818 --0.0 | timeout | YES |
|
AProVE_ |
YES | timeout | [err] 2.764 --0.0 | 17.816 --0.0 | 1.956 --0.0 | 2.99 ✔0.31 | YES |
|
Transformed_ |
NO | timeout | [err] 3.315 --0.0 | 0.909 --0.0 | error | error | NO |
|
AProVE_ |
YES | timeout | [err] 1.251 --0.0 | timeout | 1.808 --0.0 | 1.896 ✔0.41 | YES |
|
Transformed_ |
YES | 0.474 --0.0 | [err] 3.541 --0.0 | 9.534 --0.0 | 2.71 --0.0 | 2.238 ✔0.31 | YES |
|
AProVE_ |
YES | timeout | [err] 1.631 --0.0 | 26.562 --0.0 | 2.369 --0.0 | 2.598 ✔0.31 | YES |
|
Transformed_ |
YES | timeout | [err] 5.764 --0.0 | 14.625 --0.0 | 11.785 --0.0 | 11.924 ✔0.51 | YES |
|
AProVE_ |
YES | timeout | [err] 1.836 --0.0 | 14.41 --0.0 | 3.265 --0.0 | 2.277 ✔0.80 | YES |
|
Transformed_ |
NO | 0.316 --0.0 | [err] 0.942 --0.0 | 0.687 --0.0 | 1.408 --0.0 | 1.577 ✔0.20 | NO |
|
AProVE_ |
YES | timeout | [err] 1.340 --0.0 | 17.144 --0.0 | 1.654 --0.0 | 2.105 ✔0.19 | YES |
|
Transformed_ |
NO | timeout | [err] 3.133 --0.0 | 0.908 --0.0 | error | error | NO |
|
AProVE_ |
YES | timeout | [err] 3.345 --0.0 | 10.717 --0.0 | 3.99 --0.0 | 3.188 ✔0.61 | YES |
|
Transformed_ |
NO | timeout | [err] 49.41 --0.0 | 14.587 --0.0 | 13.813 --0.0 | 15.170 ✔0.17 | NO |
|
AProVE_ |
YES | 0.847 --0.0 | [err] 1.411 --0.0 | 17.304 --0.0 | 2.270 --0.0 | 2.312 ✔0.28 | YES |
|
Transformed_ |
NO | timeout | [err] 5.378 --0.0 | 12.473 --0.0 | 1.415 --0.0 | error | NO |
|
AProVE_ |
YES | timeout | [err] 19.795 --0.0 | 23.292 --0.0 | 5.214 --0.0 | 13.522 ✔0.181 | YES |
|
Transformed_ |
NO | timeout | [err] 1.89 --0.0 | 0.779 --0.0 | 1.809 --0.0 | 1.734 ✔0.20 | NO |
|
AG01/ |
YES | 0.502 --0.0 | [err] 1.81 --0.0 | 0.941 --0.0 | 1.626 --0.0 | 1.808 ✔0.21 | YES |
|
Transformed_ |
YES | 52.496 --0.0 | [err] 1.365 --0.0 | 10.794 --0.0 | 1.589 --0.0 | 4.505 ✔0.73 | YES |
|
AProVE_ |
YES | timeout | [err] 1.373 --0.0 | 13.888 --0.0 | 2.45 --0.0 | 2.20 ✔0.21 | YES |
|
Transformed_ |
NO | timeout | [err] 1.117 --0.0 | 0.973 --0.0 | 1.778 --0.0 | 1.785 ✔0.21 | NO |
|
AProVE_ |
YES | timeout | [err] 3.204 --0.0 | 18.905 --0.0 | 4.552 --0.0 | 4.392 ✔0.41 | YES |
|
Transformed_ |
NO | timeout | [err] 1.672 --0.0 | 2.893 --0.0 | 4.353 --0.0 | 4.767 ✔0.20 | NO |
|
AProVE_ |
YES | timeout | [err] 1.280 --0.0 | 20.77 --0.0 | 8.436 --0.0 | 8.328 ✔0.41 | YES |
|
Transformed_ |
NO | 0.312 --0.0 | [err] 0.736 --0.0 | 0.642 --0.0 | 1.193 --0.0 | 1.301 ✔0.19 | NO |
|
AProVE_ |
YES | 0.501 --0.0 | [err] 1.228 --0.0 | 21.207 --0.0 | 1.748 --0.0 | 2.41 ✔0.21 | YES |
|
Transformed_ |
NO | timeout | [err] 8.860 --0.0 | 11.633 --0.0 | 1.439 --0.0 | error | NO |
|
AProVE_ |
YES | timeout | [err] 1.514 --0.0 | 22.680 --0.0 | 1.645 --0.0 | 1.862 ✔0.21 | YES |
|
Transformed_ |
NO | timeout | [err] 1.183 --0.0 | 0.939 --0.0 | 1.943 --0.0 | 2.36 ✔0.20 | NO |
|
AProVE_ |
YES | 0.435 --0.0 | [err] 1.0 --0.0 | timeout | 1.590 --0.0 | 1.747 ✔0.21 | YES |
|
Transformed_ |
NO | timeout | [err] 1.374 --0.0 | 0.834 --0.0 | 2.169 --0.0 | 2.425 ✔0.20 | NO |
|
AProVE_ |
YES | timeout | [err] 3.376 --0.0 | 26.198 --0.0 | 11.12 --0.0 | 10.759 ✔0.60 | YES |
|
Transformed_ |
NO | timeout | [err] 4.596 --0.0 | 17.275 --0.0 | timeout | timeout | NO |
|
AProVE_ |
YES | 0.458 --0.0 | [err] 1.198 --0.0 | 20.36 --0.0 | 1.729 --0.0 | 2.81 ✔0.22 | YES |
|
Transformed_ |
NO | 0.368 --0.0 | [err] 0.909 --0.0 | 0.731 --0.0 | 1.574 --0.0 | 1.625 ✔0.23 | NO |
|
AProVE_ |
YES | timeout | [err] 3.635 --0.0 | 15.790 --0.0 | 5.246 --0.0 | 5.789 ✔0.20 | YES |
|
Transformed_ |
MAYBE | timeout | timeout | 7.942 --0.0 | error | timeout | MAYBE |
|
AProVE_ |
YES | timeout | [err] 1.322 --0.0 | 19.505 --0.0 | 5.778 --0.0 | 6.473 ✔0.121 | YES |
|
Transformed_ |
MAYBE | timeout | timeout | 30.486 --0.0 | timeout | timeout | MAYBE |
|
AG01/ |
YES | 0.361 --0.0 | [err] 1.6 --0.0 | 0.890 --0.0 | 1.622 --0.0 | 1.709 ✔0.21 | YES |
|
Transformed_ |
YES | 0.512 --0.0 | [err] 1.28 --0.0 | 0.883 --0.0 | 1.789 --0.0 | 1.908 ✔0.71 | YES |
|
AProVE_ |
YES | 0.435 --0.0 | [err] 1.110 --0.0 | timeout | 1.699 --0.0 | 2.123 ✔0.20 | YES |
|
Transformed_ |
YES | timeout | timeout | 25.967 --0.0 | timeout | timeout | YES |
|
AProVE_ |
YES | 1.920 --0.0 | [err] 1.309 --0.0 | 23.740 --0.0 | 1.825 --0.0 | 1.995 ✔0.130 | YES |
|
Transformed_ |
YES | timeout | timeout | 7.475 --0.0 | timeout | timeout | YES |
|
AProVE_ |
YES | 0.711 --0.0 | [err] 1.291 --0.0 | 24.767 --0.0 | 1.915 --0.0 | 2.29 ✔0.21 | YES |
|
Transformed_ |
NO | 0.414 --0.0 | [err] 1.240 --0.0 | 0.734 --0.0 | 1.423 --0.0 | 1.673 ✔0.232 | NO |
|
AProVE_ |
YES | timeout | [err] 1.592 --0.0 | 12.961 --0.0 | 2.72 --0.0 | 2.234 ✔0.32 | YES |
|
Transformed_ |
YES | timeout | timeout | 10.626 --0.0 | 2.854 --0.0 | timeout | YES |
|
AProVE_ |
YES | timeout | [err] 1.406 --0.0 | 23.2 --0.0 | 2.689 --0.0 | 2.729 ✔0.41 | YES |
|
Transformed_ |
MAYBE | timeout | timeout | memout | error | error | MAYBE |
|
AProVE_ |
MAYBE | timeout | [err] 1.316 --0.0 | 21.193 --0.0 | timeout | error | MAYBE |
|
Transformed_ |
YES | timeout | timeout | 28.516 --0.0 | timeout | timeout | YES |
|
AProVE_ |
MAYBE | timeout | [err] 2.402 --0.0 | 19.597 --0.0 | timeout | timeout | MAYBE |
|
Transformed_ |
YES | timeout | timeout | 13.158 --0.0 | timeout | timeout | YES |
|
AProVE_ |
YES | timeout | [err] 2.440 --0.0 | 24.438 --0.0 | 2.889 --0.0 | 2.876 ✔0.31 | YES |
|
Transformed_ |
NO | 0.409 --0.0 | [err] 1.624 --0.0 | 0.764 --0.0 | 1.492 --0.0 | 1.673 ✔0.41 | NO |
|
AProVE_ |
YES | timeout | [err] 1.276 --0.0 | 21.414 --0.0 | 2.161 --0.0 | 2.240 ✔0.61 | YES |
|
Transformed_ |
MAYBE | timeout | timeout | 34.723 --0.0 | error | error | MAYBE |
|
AProVE_ |
YES | timeout | [err] 1.431 --0.0 | timeout | 1.936 --0.0 | 1.943 ✔0.21 | YES |
|
Transformed_ |
MAYBE | timeout | timeout | 35.543 --0.0 | timeout | timeout | MAYBE |
|
AG01/ |
YES | 0.526 --0.0 | [err] 1.84 --0.0 | 13.116 --0.0 | 1.627 --0.0 | 2.0 ✔0.61 | YES |
|
Transformed_ |
YES | 0.376 --0.0 | [err] 0.985 --0.0 | 0.950 --0.0 | 1.736 --0.0 | 1.888 ✔0.36 | YES |
|
AProVE_ |
YES | timeout | [err] 1.296 --0.0 | 29.292 --0.0 | 1.847 --0.0 | 1.903 ✔0.71 | YES |
|
Transformed_ |
MAYBE | timeout | [err] 40.493 --0.0 | 16.741 --0.0 | timeout | timeout | MAYBE |
|
AProVE_ |
NO | timeout | [err] 1.315 --0.0 | 1.569 --0.0 | 32.268 --0.0 | 34.581 ✔0.20 | NO |
|
Transformed_ |
MAYBE | timeout | [err] 15.646 --0.0 | 33.643 --0.0 | error | error | MAYBE |
|
AProVE_ |
YES | timeout | [err] 1.141 --0.0 | timeout | 1.685 --0.0 | 1.713 ✔0.21 | YES |
|
Transformed_ |
YES | timeout | [err] 13.231 --0.0 | 28.272 --0.0 | timeout | error | YES |
|
AProVE_ |
NO | timeout | [err] 1.402 --0.0 | 1.256 --0.0 | 4.734 --0.0 | 4.639 ✔0.110 | NO |
|
Transformed_ |
YES | timeout | [err] 14.334 --0.0 | 19.961 --0.0 | timeout | timeout | YES |
|
AProVE_ |
YES | timeout | [err] 44.895 --0.0 | 14.210 --0.0 | 12.740 --0.0 | 12.726 ✔0.40 | YES |
|
Transformed_ |
NO | 0.380 --0.0 | [err] 1.67 --0.0 | 0.722 --0.0 | 1.390 --0.0 | 2.164 ✔0.241 | NO |
|
AProVE_ |
MAYBE | timeout | [err] 3.104 --0.0 | 14.425 --0.0 | timeout | timeout | MAYBE |
|
Transformed_ |
YES | timeout | timeout | 11.27 --0.0 | 1.886 --0.0 | timeout | YES |
|
AProVE_ |
YES | timeout | [err] 12.564 --0.0 | 31.395 --0.0 | 2.878 --0.0 | 2.935 ✔0.93 | YES |
|
Transformed_ |
MAYBE | timeout | [err] 58.736 --0.0 | 43.725 --0.0 | timeout | timeout | MAYBE |
|
AProVE_ |
YES | timeout | [err] 1.837 --0.0 | 26.117 --0.0 | 4.594 --0.0 | 4.530 ✔0.52 | YES |
|
Transformed_ |
YES | timeout | timeout | 31.163 --0.0 | timeout | timeout | YES |
|
AProVE_ |
YES | timeout | [err] 1.382 --0.0 | 11.488 --0.0 | 9.303 --0.0 | 3.37 ✔0.50 | YES |
|
Transformed_ |
YES | timeout | timeout | 18.783 --0.0 | timeout | timeout | YES |
|
AProVE_ |
YES | timeout | [err] 2.80 --0.0 | 11.410 --0.0 | 2.791 --0.0 | 2.459 ✔0.30 | YES |
|
Transformed_ |
NO | 0.385 --0.0 | [err] 1.183 --0.0 | 0.751 --0.0 | 1.374 --0.0 | 1.631 ✔0.21 | NO |
|
AG01/ |
YES | 0.872 --0.0 | [err] 1.377 --0.0 | 24.477 --0.0 | 1.737 --0.0 | 1.858 ✔0.74 | YES |
|
Transformed_ |
YES | 0.611 --0.0 | [err] 1.23 --0.0 | 23.385 --0.0 | 1.724 --0.0 | 1.907 ✔0.20 | YES |
|
AProVE_ |
YES | timeout | [err] 1.199 --0.0 | 18.194 --0.0 | 1.919 --0.0 | 1.998 ✔0.21 | YES |
|
Transformed_ |
MAYBE | timeout | [err] 57.477 --0.0 | 31.648 --0.0 | timeout | timeout | MAYBE |
|
AProVE_ |
YES | timeout | timeout | 28.168 --0.0 | 3.17 --0.0 | 3.163 ✔0.41 | YES |
|
Transformed_ |
MAYBE | timeout | [err] 13.417 --0.0 | 29.70 --0.0 | error | error | MAYBE |
|
AProVE_ |
YES | timeout | [err] 3.529 --0.0 | memout | 3.981 --0.0 | 3.824 ✔0.152 | YES |
|
Transformed_ |
YES | timeout | [err] 4.354 --0.0 | 13.771 --0.0 | 1.636 --0.0 | timeout | YES |
|
AProVE_ |
YES | timeout | [err] 1.587 --0.0 | 15.375 --0.0 | 2.281 --0.0 | 2.254 ✔0.132 | YES |
|
Transformed_ |
YES | 0.461 --0.0 | [err] 1.187 --0.0 | 25.397 --0.0 | 1.632 --0.0 | 1.801 ✔0.171 | YES |
|
AProVE_ |
YES | timeout | [err] 1.189 --0.0 | 18.37 --0.0 | 1.805 --0.0 | 1.914 ✔0.21 | YES |
|
Transformed_ |
YES | timeout | [err] 3.554 --0.0 | 30.792 --0.0 | timeout | timeout | YES |
|
AProVE_ |
YES | 0.427 --0.0 | [err] 1.82 --0.0 | 23.513 --0.0 | 1.693 --0.0 | 1.821 ✔0.22 | YES |
|
Transformed_ |
YES | timeout | [err] 3.397 --0.0 | 22.652 --0.0 | timeout | timeout | YES |
|
AProVE_ |
YES | timeout | [err] 1.478 --0.0 | timeout | 1.848 --0.0 | 2.24 ✔0.23 | YES |
|
Transformed_ |
NO | 0.353 --0.0 | [err] 1.44 --0.0 | 0.834 --0.0 | 1.650 --0.0 | 1.693 ✔0.21 | NO |
|
AProVE_ |
YES | timeout | [err] 2.152 --0.0 | 17.319 --0.0 | 2.53 --0.0 | 2.242 ✔0.22 | YES |
|
Transformed_ |
YES | timeout | [err] 40.676 --0.0 | 11.592 --0.0 | 1.608 --0.0 | timeout | YES |
|
AProVE_ |
YES | timeout | [err] 2.294 --0.0 | 15.191 --0.0 | 1.947 --0.0 | 2.102 ✔0.19 | YES |
|
Transformed_ |
YES | 0.396 --0.0 | [err] 1.300 --0.0 | 23.682 --0.0 | 1.892 --0.0 | 2.0 ✔0.18 | YES |
|
AProVE_ |
YES | timeout | [err] 2.290 --0.0 | 15.569 --0.0 | 2.128 --0.0 | 2.49 ✔0.30 | YES |
|
Transformed_ |
YES | timeout | [err] 18.350 --0.0 | 28.183 --0.0 | timeout | timeout | YES |
|
AG01/ |
YES | timeout | [err] 2.142 --0.0 | 14.811 --0.0 | 1.657 --0.0 | 1.832 ✔0.21 | YES |
|
Transformed_ |
YES | 0.358 --0.0 | [err] 0.852 --0.0 | 0.788 --0.0 | 1.373 --0.0 | 1.527 ✔0.21 | YES |
|
AProVE_ |
YES | timeout | [err] 2.438 --0.0 | 20.440 --0.0 | 1.914 --0.0 | 2.44 ✔0.18 | YES |
|
Transformed_ |
YES | timeout | [err] 13.166 --0.0 | 21.707 --0.0 | timeout | timeout | YES |
|
AProVE_ |
YES | timeout | [err] 2.197 --0.0 | 18.332 --0.0 | 2.34 --0.0 | 2.110 ✔0.21 | YES |
|
Transformed_ |
NO | 0.360 --0.0 | [err] 1.90 --0.0 | 0.737 --0.0 | 1.369 --0.0 | 1.568 ✔0.20 | NO |
|
AProVE_ |
YES | timeout | [err] 3.70 --0.0 | 16.327 --0.0 | 17.71 --0.0 | error | YES |
|
Transformed_ |
YES | 0.433 --0.0 | [err] 1.285 --0.0 | 26.703 --0.0 | 1.880 --0.0 | 2.22 ✔0.80 | YES |
|
AProVE_ |
YES | timeout | [err] 2.268 --0.0 | 11.342 --0.0 | 1.935 --0.0 | 2.69 ✔0.39 | YES |
|
Transformed_ |
YES | 0.416 --0.0 | [err] 1.132 --0.0 | 35.25 --0.0 | 1.711 --0.0 | 1.740 ✔0.71 | YES |
|
AProVE_ |
YES | timeout | [err] 2.123 --0.0 | 24.874 --0.0 | 1.955 --0.0 | 2.228 ✔0.21 | YES |
|
Transformed_ |
YES | timeout | [err] 4.70 --0.0 | 21.919 --0.0 | 2.604 --0.0 | 3.107 ✔0.30 | YES |
|
AProVE_ |
YES | timeout | [err] 2.262 --0.0 | 21.429 --0.0 | 2.174 --0.0 | 2.355 ✔0.22 | YES |
|
Transformed_ |
YES | timeout | [err] 3.3 --0.0 | 28.16 --0.0 | 1.806 --0.0 | 1.864 ✔0.20 | YES |
|
AProVE_ |
YES | timeout | [err] 13.224 --0.0 | 20.465 --0.0 | 2.150 --0.0 | 2.424 ✔0.20 | YES |
|
Transformed_ |
YES | timeout | [err] 4.927 --0.0 | 29.398 --0.0 | 1.877 --0.0 | 2.24 ✔0.19 | YES |
|
AProVE_ |
YES | 0.530 --0.0 | [err] 1.369 --0.0 | 18.215 --0.0 | 1.867 --0.0 | 1.930 ✔0.22 | YES |
|
Transformed_ |
YES | timeout | [err] 4.339 --0.0 | 23.316 --0.0 | 2.220 --0.0 | 2.404 ✔0.32 | YES |
|
AProVE_ |
YES | timeout | [err] 1.562 --0.0 | 13.25 --0.0 | 2.146 --0.0 | error | YES |
|
Transformed_ |
NO | 0.399 --0.0 | [err] 1.75 --0.0 | 0.752 --0.0 | 1.541 --0.0 | 1.613 ✔0.23 | NO |
|
AProVE_ |
YES | timeout | [err] 1.699 --0.0 | 16.72 --0.0 | 5.36 --0.0 | timeout | YES |
|
Transformed_ |
YES | timeout | [err] 56.137 --0.0 | 14.131 --0.0 | 2.949 --0.0 | timeout | YES |
|
AG01/ |
YES | 0.413 --0.0 | [err] 0.960 --0.0 | 0.906 --0.0 | 1.693 --0.0 | 1.773 ✔0.21 | YES |
|
Transformed_ |
YES | 0.471 --0.0 | [err] 1.22 --0.0 | 0.964 --0.0 | 1.675 --0.0 | 1.712 ✔0.31 | YES |
|
AProVE_ |
YES | timeout | [err] 1.311 --0.0 | 14.747 --0.0 | 3.989 --0.0 | error | YES |
|
Transformed_ |
YES | timeout | [err] 7.240 --0.0 | 27.784 --0.0 | 5.997 --0.0 | 6.174 ✔0.31 | YES |
|
AProVE_ |
YES | timeout | [err] 1.504 --0.0 | 16.808 --0.0 | 2.355 --0.0 | error | YES |
|
Transformed_ |
YES | timeout | [err] 20.620 --0.0 | 19.957 --0.0 | 6.81 --0.0 | 6.635 ✔0.121 | YES |
|
AProVE_ |
YES | timeout | [err] 1.931 --0.0 | 15.671 --0.0 | 5.231 --0.0 | error | YES |
|
Transformed_ |
YES | timeout | [err] 11.889 --0.0 | 10.678 --0.0 | error | error | YES |
|
AProVE_ |
YES | timeout | [err] 1.585 --0.0 | 18.106 --0.0 | 5.157 --0.0 | error | YES |
|
Transformed_ |
NO | 0.391 --0.0 | [err] 1.60 --0.0 | 0.747 --0.0 | 1.324 --0.0 | 1.476 ✔0.20 | NO |
|
AProVE_ |
YES | timeout | [err] 1.131 --0.0 | 1.20 --0.0 | 1.769 --0.0 | timeout | YES |
|
Transformed_ |
YES | timeout | [err] 8.528 --0.0 | 32.887 --0.0 | 6.54 --0.0 | 6.435 ✔0.31 | YES |
|
AProVE_ |
NO | timeout | [err] 1.130 --0.0 | 0.809 --0.0 | 1.625 --0.0 | 1.722 ✔0.18 | NO |
|
Transformed_ |
YES | timeout | [err] 3.172 --0.0 | 29.329 --0.0 | 1.808 --0.0 | 1.989 ✔0.20 | YES |
|
AProVE_ |
YES | 0.950 --0.0 | [err] 1.81 --0.0 | timeout | 13.424 --0.0 | 15.471 ✔0.20 | YES |
|
Transformed_ |
YES | timeout | [err] 2.44 --0.0 | 10.943 --0.0 | 1.672 --0.0 | 1.998 ✔0.20 | YES |
|
AProVE_ |
YES | timeout | [err] 1.884 --0.0 | 11.886 --0.0 | 9.248 --0.0 | error | YES |
|
Transformed_ |
YES | timeout | [err] 1.601 --0.0 | 25.204 --0.0 | 1.599 --0.0 | 1.772 ✔0.41 | YES |
|
AProVE_ |
MAYBE | timeout | [err] 1.735 --0.0 | 17.47 --0.0 | timeout | error | MAYBE |
|
Transformed_ |
YES | timeout | [err] 2.130 --0.0 | 25.575 --0.0 | 1.805 --0.0 | 1.903 ✔0.39 | YES |
|
AProVE_ |
YES | timeout | [err] 3.892 --0.0 | 16.474 --0.0 | 23.850 --0.0 | timeout | YES |
|
Transformed_ |
YES | timeout | [err] 2.221 --0.0 | 24.373 --0.0 | 2.53 --0.0 | 2.170 ✔0.48 | YES |
|
AG01/ |
YES | 0.411 --0.0 | [err] 1.26 --0.0 | 19.319 --0.0 | 1.526 --0.0 | 1.717 ✔0.22 | YES |
|
Transformed_ |
YES | timeout | [err] 4.774 --0.0 | 9.265 --0.0 | 1.659 --0.0 | error | YES |
|
AProVE_ |
YES | timeout | [err] 1.658 --0.0 | 17.441 --0.0 | 9.709 --0.0 | error | YES |
|
Transformed_ |
NO | 0.420 --0.0 | [err] 0.972 --0.0 | 0.774 --0.0 | 1.445 --0.0 | 1.661 ✔0.65 | NO |
|
AProVE_ |
MAYBE | timeout | [err] 1.756 --0.0 | 24.525 --0.0 | timeout | error | MAYBE |
|
Transformed_ |
YES | timeout | [err] 10.205 --0.0 | 11.42 --0.0 | 1.679 --0.0 | timeout | YES |
|
AProVE_ |
YES | timeout | [err] 1.338 --0.0 | 17.749 --0.0 | error | error | YES |
|
Transformed_ |
YES | timeout | [err] 2.95 --0.0 | 20.616 --0.0 | 2.619 --0.0 | 2.720 ✔0.61 | YES |
|
AProVE_ |
YES | timeout | [err] 1.623 --0.0 | 22.326 --0.0 | 5.178 --0.0 | error | YES |
|
Transformed_ |
YES | 48.800 --0.0 | [err] 3.213 --0.0 | 24.528 --0.0 | 2.873 --0.0 | 3.2 ✔0.73 | YES |
|
AProVE_ |
YES | timeout | [err] 1.735 --0.0 | 17.478 --0.0 | 2.630 --0.0 | error | YES |
|
Transformed_ |
YES | timeout | [err] 2.827 --0.0 | 26.275 --0.0 | 10.166 --0.0 | 9.836 ✔0.91 | YES |
|
AProVE_ |
YES | timeout | [err] 1.685 --0.0 | 18.386 --0.0 | 5.140 --0.0 | error | YES |
|
Transformed_ |
NO | 0.405 --0.0 | [err] 1.55 --0.0 | 0.784 --0.0 | 1.444 --0.0 | 1.599 ✔0.50 | NO |
|
AProVE_ |
YES | timeout | [err] 1.793 --0.0 | 14.99 --0.0 | 11.92 --0.0 | error | YES |
|
Transformed_ |
YES | timeout | [err] 1.999 --0.0 | 20.400 --0.0 | 2.498 --0.0 | 2.844 ✔0.64 | YES |
|
AProVE_ |
YES | timeout | [err] 2.450 --0.0 | 14.509 --0.0 | 7.5 --0.0 | error | YES |
|
Transformed_ |
YES | timeout | [err] 1.595 --0.0 | 29.980 --0.0 | 1.670 --0.0 | 1.840 ✔0.63 | YES |
|
AProVE_ |
YES | timeout | [err] 3.66 --0.0 | 18.948 --0.0 | 11.789 --0.0 | error | YES |
|
Transformed_ |
YES | 2.184 --0.0 | [err] 1.452 --0.0 | 12.872 --0.0 | 1.540 --0.0 | 1.977 ✔0.70 | YES |
|
AProVE_ |
YES | timeout | [err] 3.698 --0.0 | 18.616 --0.0 | 60.83 --0.0 | error | MAYBE |
|
Transformed_ |
YES | 0.365 --0.0 | [err] 1.73 --0.0 | 0.951 --0.0 | 1.570 --0.0 | 1.713 ✔0.52 | YES |
|
AG01/ |
YES | 0.370 --0.0 | [err] 1.6 --0.0 | 0.757 --0.0 | 1.685 --0.0 | 1.882 ✔0.84 | YES |
|
Transformed_ |
YES | 0.550 --0.0 | [err] 1.221 --0.0 | 24.859 --0.0 | 1.951 --0.0 | 1.927 ✔0.35 | YES |
|
AProVE_ |
YES | timeout | [err] 1.332 --0.0 | 18.321 --0.0 | 1.873 --0.0 | timeout | YES |
|
Transformed_ |
YES | 13.938 --0.0 | [err] 1.296 --0.0 | 24.819 --0.0 | 1.660 --0.0 | 1.771 ✔0.69 | YES |
|
AProVE_ |
NO | timeout | [err] 1.504 --0.0 | 17.801 --0.0 | 13.630 --0.0 | 13.757 ✔0.29 | NO |
|
Transformed_ |
YES | 8.289 --0.0 | [err] 1.333 --0.0 | 22.802 --0.0 | 1.737 --0.0 | 1.875 ✔0.60 | YES |
|
AProVE_ |
NO | timeout | [err] 1.682 --0.0 | memout | timeout | timeout | NO |
|
Transformed_ |
NO | 0.455 --0.0 | [err] 0.936 --0.0 | 0.806 --0.0 | 1.432 --0.0 | 1.532 ✔0.50 | NO |
|
AProVE_ |
NO | timeout | [err] 1.12 --0.0 | 0.810 --0.0 | 11.671 --0.0 | 11.792 ✔0.47 | NO |
|
Transformed_ |
YES | 6.293 --0.0 | [err] 4.543 --0.0 | 13.556 --0.0 | 1.566 --0.0 | 2.183 ✔0.396 | YES |
|
AProVE_ |
NO | timeout | [err] 1.186 --0.0 | 15.683 --0.0 | timeout | timeout | NO |
|
Transformed_ |
YES | 0.522 --0.0 | [err] 1.146 --0.0 | 18.840 --0.0 | 1.630 --0.0 | 1.735 ✔0.46 | YES |
|
AProVE_ |
NO | timeout | 1.100 --0.0 | 0.885 --0.0 | 11.667 --0.0 | 11.905 ✔0.83 | NO |
|
Transformed_ |
YES | 29.718 --0.0 | [err] 1.982 --0.0 | 26.668 --0.0 | 1.660 --0.0 | 1.816 ✔0.59 | YES |
|
AProVE_ |
NO | timeout | [err] 1.94 --0.0 | 31.913 --0.0 | 11.616 --0.0 | 11.731 ✔0.29 | NO |
|
Transformed_ |
YES | 36.521 --0.0 | [err] 1.778 --0.0 | 23.968 --0.0 | 2.117 --0.0 | 2.289 ✔0.67 | YES |
|
AProVE_ |
NO | timeout | 1.87 --0.0 | 26.279 --0.0 | 11.645 --0.0 | 12.93 ✔0.29 | NO |
|
Transformed_ |
NO | 0.441 --0.0 | [err] 0.943 --0.0 | 0.755 --0.0 | 1.447 --0.0 | 1.651 ✔0.65 | NO |
|
AProVE_ |
NO | timeout | [err] 1.248 --0.0 | 15.137 --0.0 | 12.113 --0.0 | 12.245 ✔0.31 | NO |
|
Transformed_ |
MAYBE | timeout | [err] 40.819 --0.0 | 22.42 --0.0 | error | timeout | MAYBE |
|
AProVE_ |
YES | 0.478 --0.0 | [err] 1.835 --0.0 | 0.867 --0.0 | 1.698 --0.0 | 2.24 ✔0.374 | YES |
|
Transformed_ |
MAYBE | timeout | timeout | 31.149 --0.0 | timeout | timeout | MAYBE |
|
AG01/ |
YES | 0.371 --0.0 | [err] 1.86 --0.0 | 18.627 --0.0 | 1.487 --0.0 | 1.797 ✔0.22 | YES |
|
Transformed_ |
YES | timeout | [err] 1.467 --0.0 | 26.790 --0.0 | error | error | YES |
|
AProVE_ |
NO | timeout | [err] 1.331 --0.0 | 15.540 --0.0 | 12.36 --0.0 | 13.724 ✔0.31 | NO |
|
Transformed_ |
MAYBE | timeout | timeout | 30.941 --0.0 | timeout | timeout | MAYBE |
|
AProVE_ |
NO | timeout | [err] 1.277 --0.0 | 1.700 --0.0 | 1.863 --0.0 | 1.946 ✔0.91 | NO |
|
Transformed_ |
YES | timeout | timeout | 21.845 --0.0 | timeout | timeout | YES |
|
AProVE_ |
NO | timeout | [err] 1.121 --0.0 | 0.869 --0.0 | 12.445 --0.0 | 11.846 ✔0.77 | NO |
|
Transformed_ |
NO | 0.437 --0.0 | [err] 1.153 --0.0 | 0.785 --0.0 | 1.454 --0.0 | 1.630 ✔0.26 | NO |
|
AProVE_ |
YES | 0.832 --0.0 | 1.891 --0.0 | 0.752 --0.0 | 2.324 --0.0 | 2.249 ✔0.936 | YES |
|
Transformed_ |
YES | timeout | timeout | 11.816 --0.0 | 2.515 --0.0 | timeout | YES |
|
AProVE_ |
MAYBE | timeout | [err] 1.610 --0.0 | 13.715 --0.0 | error | error | MAYBE |
|
Transformed_ |
NO | timeout | timeout | 22.848 --0.0 | 57.382 --0.0 | timeout | NO |
|
Beerendonk_ |
YES | 0.523 --0.0 | [err] 1.113 --0.0 | 22.905 --0.0 | 1.837 --0.0 | 1.943 ✔0.51 | YES |
|
Transformed_ |
YES | 2.987 --0.0 | timeout | 14.421 --0.0 | 6.602 --0.0 | 6.887 ✔0.167 | YES |
|
Beerendonk_ |
YES | timeout | [err] 1.613 --0.0 | 20.949 --0.0 | 2.196 --0.0 | 2.289 ✔0.70 | YES |
|
Transformed_ |
YES | timeout | timeout | 8.494 --0.0 | timeout | timeout | YES |
|
Beerendonk_ |
YES | timeout | [err] 1.440 --0.0 | 23.568 --0.0 | 2.104 --0.0 | 2.109 ✔0.68 | YES |
|
Transformed_ |
NO | 0.517 --0.0 | [err] 1.240 --0.0 | 0.881 --0.0 | 1.440 --0.0 | 1.637 ✔0.87 | NO |
|
Beerendonk_ |
YES | timeout | [err] 1.514 --0.0 | 24.494 --0.0 | 2.89 --0.0 | 2.169 ✔0.72 | YES |
|
Transformed_ |
NO | timeout | [err] 51.460 --0.0 | 26.597 --0.0 | error | error | NO |
|
Beerendonk_ |
YES | timeout | [err] 1.353 --0.0 | 20.137 --0.0 | 1.996 --0.0 | 2.131 ✔0.70 | YES |
|
Transformed_ |
NO | timeout | timeout | 28.248 --0.0 | error | error | NO |
|
AG01/ |
YES | 0.520 --0.0 | [err] 1.225 --0.0 | 23.892 --0.0 | 1.839 --0.0 | 2.70 ✔0.76 | YES |
|
Transformed_ |
YES | timeout | [err] 1.708 --0.0 | 12.362 --0.0 | timeout | error | YES |
|
AG01/ |
YES | 0.406 --0.0 | [err] 0.991 --0.0 | 2.130 --0.0 | 1.576 --0.0 | 1.703 ✔0.21 | YES |
|
Transformed_ |
YES | timeout | [err] 1.995 --0.0 | 28.255 --0.0 | timeout | error | YES |
|
Beerendonk_ |
YES | timeout | [err] 2.736 --0.0 | 17.694 --0.0 | 3.82 --0.0 | 3.102 ✔0.69 | YES |
|
Transformed_ |
MAYBE | timeout | [err] 11.991 --0.0 | 19.33 --0.0 | timeout | error | MAYBE |
|
Beerendonk_ |
YES | timeout | [err] 4.228 --0.0 | 30.895 --0.0 | 9.896 --0.0 | 9.864 ✔0.91 | YES |
|
Transformed_ |
NO | timeout | [err] 14.247 --0.0 | 26.364 --0.0 | error | error | NO |
|
Beerendonk_ |
YES | timeout | [err] 14.728 --0.0 | 28.707 --0.0 | 11.325 --0.0 | 11.366 ✔0.59 | YES |
|
Transformed_ |
YES | timeout | [err] 15.306 --0.0 | 28.228 --0.0 | timeout | timeout | YES |
|
Beerendonk_ |
YES | timeout | [err] 3.523 --0.0 | 25.641 --0.0 | 1.713 --0.0 | 1.886 ✔0.92 | YES |
|
Transformed_ |
YES | timeout | [err] 19.908 --0.0 | 23.362 --0.0 | timeout | timeout | YES |
|
Beerendonk_ |
YES | timeout | [err] 4.392 --0.0 | 23.831 --0.0 | 3.847 --0.0 | 12.203 ✔0.93 | YES |
|
Transformed_ |
NO | 0.485 --0.0 | [err] 0.965 --0.0 | 0.801 --0.0 | 1.408 --0.0 | 1.646 ✔0.80 | NO |
|
Beerendonk_ |
YES | 0.463 --0.0 | [err] 1.17 --0.0 | 18.516 --0.0 | 1.699 --0.0 | 1.831 ✔0.67 | YES |
|
Transformed_ |
YES | timeout | [err] 18.500 --0.0 | 9.209 --0.0 | 1.938 --0.0 | timeout | YES |
|
Beerendonk_ |
YES | timeout | [err] 2.107 --0.0 | 17.233 --0.0 | 1.653 --0.0 | 1.875 ✔0.54 | YES |
|
Transformed_ |
NO | timeout | [err] 18.860 --0.0 | 27.536 --0.0 | error | error | NO |
|
Beerendonk_ |
MAYBE | timeout | [err] 2.145 --0.0 | 16.987 --0.0 | timeout | timeout | MAYBE |
|
Transformed_ |
YES | 0.837 --0.0 | [err] 10.705 --0.0 | 29.27 --0.0 | 2.830 --0.0 | 3.271 ✔0.74 | YES |
|
Beerendonk_ |
YES | 0.556 --0.0 | [err] 1.70 --0.0 | 25.418 --0.0 | 1.839 --0.0 | 1.970 ✔0.48 | YES |
|
Transformed_ |
YES | timeout | [err] 13.473 --0.0 | 26.47 --0.0 | 27.95 --0.0 | 27.964 ✔0.107 | YES |
|
Beerendonk_ |
YES | 0.532 --0.0 | [err] 1.120 --0.0 | 22.581 --0.0 | 1.827 --0.0 | 1.974 ✔0.69 | YES |
|
Transformed_ |
NO | 0.421 --0.0 | [err] 1.442 --0.0 | 0.765 --0.0 | 1.440 --0.0 | 1.576 ✔0.49 | NO |
|
AG01/ |
YES | 0.401 --0.0 | [err] 1.10 --0.0 | 0.790 --0.0 | 1.770 --0.0 | 1.727 ✔0.79 | YES |
|
Transformed_ |
NO | 0.372 --0.0 | [err] 0.969 --0.0 | 0.782 --0.0 | 1.502 --0.0 | 1.565 ✔0.45 | NO |
|
Beerendonk_ |
YES | timeout | [err] 31.553 --0.0 | 19.582 --0.0 | 11.128 --0.0 | 9.487 ✔0.421 | YES |
|
Transformed_ |
NO | timeout | [err] 25.706 --0.0 | 18.244 --0.0 | error | error | NO |
|
Beerendonk_ |
YES | 0.406 --0.0 | [err] 1.25 --0.0 | timeout | 1.725 --0.0 | 1.825 ✔0.32 | YES |
|
Transformed_ |
NO | timeout | [err] 35.559 --0.0 | 27.527 --0.0 | 45.761 --0.0 | error | NO |
|
Beerendonk_ |
YES | timeout | [err] 1.198 --0.0 | timeout | 1.851 --0.0 | 1.874 ✔0.46 | YES |
|
Transformed_ |
NO | timeout | [err] 4.646 --0.0 | 16.908 --0.0 | 1.656 --0.0 | error | NO |
|
Beerendonk_ |
YES | timeout | [err] 1.138 --0.0 | timeout | 1.768 --0.0 | 1.812 ✔0.46 | YES |
|
Transformed_ |
NO | timeout | [err] 1.377 --0.0 | 1.162 --0.0 | 1.886 --0.0 | 2.24 ✔0.48 | NO |
|
Beerendonk_ |
YES | 0.523 --0.0 | 1.103 --0.0 | 10.443 --0.0 | 1.898 --0.0 | 1.902 ✔0.192 | YES |
|
Transformed_ |
NO | timeout | [err] 1.435 --0.0 | 0.862 --0.0 | 5.575 --0.0 | 5.800 ✔0.764 | NO |
|
Beerendonk_ |
YES | 0.521 --0.0 | 1.7 --0.0 | 12.678 --0.0 | 1.659 --0.0 | 1.820 ✔0.42 | YES |
|
Transformed_ |
NO | timeout | [err] 2.676 --0.0 | 8.914 --0.0 | 11.48 --0.0 | 12.429 ✔0.49 | NO |
|
Beerendonk_ |
YES | 0.500 --0.0 | 1.110 --0.0 | 14.173 --0.0 | 1.584 --0.0 | 1.693 ✔0.382 | YES |
|
Transformed_ |
NO | 0.340 --0.0 | [err] 0.881 --0.0 | 0.844 --0.0 | 1.385 --0.0 | 1.504 ✔0.39 | NO |
|
Beerendonk_ |
YES | 0.418 --0.0 | 1.60 --0.0 | 17.560 --0.0 | 1.528 --0.0 | 1.700 ✔0.30 | YES |
|
Transformed_ |
NO | timeout | [err] 7.796 --0.0 | 15.317 --0.0 | 1.563 --0.0 | error | NO |
|
Beerendonk_ |
YES | 0.983 --0.0 | [err] 2.230 --0.0 | 12.448 --0.0 | 1.736 --0.0 | 1.910 ✔0.19 | YES |
|
Transformed_ |
NO | timeout | 1.938 --0.0 | 1.275 --0.0 | 3.176 --0.0 | 3.226 ✔0.20 | NO |
|
CiME_ |
YES | 1.150 --0.0 | [err] 2.195 --0.0 | 12.355 --0.0 | 1.579 --0.0 | 1.742 ✔0.20 | YES |
|
Transformed_ |
NO | timeout | 2.47 --0.0 | 1.418 --0.0 | 11.989 --0.0 | 23.457 ✔0.21 | NO |
|
AG01/ |
YES | 0.355 --0.0 | 1.14 --0.0 | 0.707 --0.0 | 1.458 --0.0 | 1.770 ✔0.30 | YES |
|
Transformed_ |
YES | 0.486 --0.0 | [err] 1.195 --0.0 | 23.689 --0.0 | 1.640 --0.0 | 1.812 ✔0.54 | YES |
|
CiME_ |
YES | 0.361 --0.0 | [err] 1.12 --0.0 | 27.245 --0.0 | 1.603 --0.0 | 1.671 ✔0.19 | YES |
|
Transformed_ |
NO | timeout | [err] 8.113 --0.0 | 18.797 --0.0 | timeout | timeout | NO |
|
CiME_ |
YES | 0.422 --0.0 | [err] 1.163 --0.0 | 41.279 --0.0 | 1.759 --0.0 | 1.958 ✔0.21 | YES |
|
Transformed_ |
NO | 0.366 --0.0 | 1.11 --0.0 | 0.812 --0.0 | 1.503 --0.0 | 1.657 ✔0.28 | NO |
|
CiME_ |
NO | timeout | [err] 1.159 --0.0 | 0.913 --0.0 | 1.884 --0.0 | 1.945 ✔0.50 | NO |
|
Transformed_ |
NO | timeout | 1.848 --0.0 | 0.879 --0.0 | 2.692 --0.0 | 2.940 ✔0.19 | NO |
|
CiME_ |
YES | 0.773 --0.0 | [err] 1.533 --0.0 | 19.494 --0.0 | 1.930 --0.0 | 2.40 ✔0.321 | YES |
|
Transformed_ |
NO | timeout | [err] 1.721 --0.0 | 1.283 --0.0 | 2.339 --0.0 | 2.602 ✔0.435 | NO |
|
CiME_ |
YES | 0.451 --0.0 | [err] 1.602 --0.0 | 0.806 --0.0 | 2.907 --0.0 | 2.422 ✔0.176 | YES |
|
Transformed_ |
YES | timeout | [err] 10.13 --0.0 | 14.51 --0.0 | 2.255 --0.0 | 3.503 ✔0.301 | YES |
|
CiME_ |
YES | 0.372 --0.0 | 1.44 --0.0 | 0.901 --0.0 | 1.697 --0.0 | 1.962 ✔0.163 | YES |
|
Transformed_ |
YES | 1.341 --0.0 | [err] 1.833 --0.0 | 32.9 --0.0 | 2.478 --0.0 | 2.283 ✔0.172 | YES |
|
CiME_ |
YES | timeout | [err] 1.305 --0.0 | 22.997 --0.0 | 2.73 --0.0 | 2.119 ✔0.21 | YES |
|
Transformed_ |
YES | 8.801 --0.0 | [err] 1.706 --0.0 | 29.975 --0.0 | 2.86 --0.0 | 2.290 ✔0.32 | YES |
|
CiME_ |
YES | 0.474 --0.0 | [err] 1.166 --0.0 | 23.897 --0.0 | 1.605 --0.0 | 1.749 ✔0.21 | YES |
|
Transformed_ |
YES | 12.813 --0.0 | 4.950 --0.0 | 25.767 --0.0 | 2.406 --0.0 | 2.664 ✔0.32 | YES |
|
CiME_ |
YES | 0.453 --0.0 | [err] 1.119 --0.0 | 23.964 --0.0 | 1.645 --0.0 | 1.780 ✔0.20 | YES |
|
Transformed_ |
NO | 0.353 --0.0 | [err] 1.36 --0.0 | 0.785 --0.0 | 1.369 --0.0 | 1.520 ✔0.19 | NO |
|
CiME_ |
YES | 0.451 --0.0 | [err] 1.96 --0.0 | 26.861 --0.0 | 1.651 --0.0 | 1.806 ✔0.18 | YES |
|
Transformed_ |
YES | timeout | [err] 20.456 --0.0 | 14.241 --0.0 | 1.943 --0.0 | 5.167 ✔0.50 | YES |
|
AG01/ |
YES | 0.363 --0.0 | [err] 0.977 --0.0 | 0.752 --0.0 | 1.672 --0.0 | 1.707 ✔0.84 | YES |
|
Transformed_ |
YES | timeout | [err] 1.419 --0.0 | 13.164 --0.0 | 1.561 --0.0 | error | YES |
|
CiME_ |
YES | 0.437 --0.0 | 1.156 --0.0 | 30.229 --0.0 | 1.588 --0.0 | 1.709 ✔0.21 | YES |
|
Transformed_ |
YES | 0.968 --0.0 | [err] 1.764 --0.0 | 16.123 --0.0 | 1.864 --0.0 | 2.79 ✔0.18 | YES |
|
CiME_ |
YES | 0.380 --0.0 | [err] 1.38 --0.0 | 0.759 --0.0 | 1.609 --0.0 | 1.707 ✔0.20 | YES |
|
Transformed_ |
YES | 2.651 --0.0 | 2.55 --0.0 | 13.985 --0.0 | 2.688 --0.0 | 3.140 ✔0.40 | YES |
|
CiME_ |
YES | 0.549 --0.0 | 1.147 --0.0 | 0.731 --0.0 | 1.552 --0.0 | 1.776 ✔0.941 | YES |
|
Transformed_ |
YES | 54.841 --0.0 | [err] 13.798 --0.0 | 11.645 --0.0 | 3.682 --0.0 | 4.12 ✔0.61 | YES |
|
CiME_ |
YES | 0.549 --0.0 | 1.119 --0.0 | 0.801 --0.0 | 1.589 --0.0 | 1.780 ✔1.146 | YES |
|
Transformed_ |
NO | 0.446 --0.0 | 13.864 --0.0 | 0.957 --0.0 | 14.606 --0.0 | 14.658 ✔0.174 | NO |
|
CiME_ |
YES | 0.545 --0.0 | 1.114 --0.0 | 0.958 --0.0 | 1.580 --0.0 | 1.913 ✔1.241 | YES |
|
Transformed_ |
YES | 1.8 --0.0 | 1.638 --0.0 | 12.658 --0.0 | 1.831 --0.0 | 2.74 ✔0.182 | YES |
|
CiME_ |
YES | 0.598 --0.0 | 1.150 --0.0 | 21.327 --0.0 | 1.586 --0.0 | 1.811 ✔0.21 | YES |
|
Transformed_ |
YES | 0.755 --0.0 | [err] 1.460 --0.0 | 15.782 --0.0 | 1.654 --0.0 | 1.957 ✔0.20 | YES |
|
CiME_ |
YES | 0.545 --0.0 | 1.188 --0.0 | 25.567 --0.0 | 1.645 --0.0 | 1.847 ✔0.25 | YES |
|
Transformed_ |
YES | 0.485 --0.0 | [err] 1.694 --0.0 | 13.847 --0.0 | 1.667 --0.0 | 2.232 ✔0.36 | YES |
|
CiME_ |
YES | 0.612 --0.0 | 1.345 --0.0 | 28.84 --0.0 | 1.776 --0.0 | 2.257 ✔0.21 | YES |
|
Transformed_ |
YES | 0.655 --0.0 | [err] 1.243 --0.0 | 16.960 --0.0 | 1.611 --0.0 | 1.760 ✔0.26 | YES |
|
CiME_ |
YES | 13.75 --0.0 | 1.679 --0.0 | 33.613 --0.0 | 1.692 --0.0 | 1.749 ✔0.22 | YES |
|
Transformed_ |
YES | 0.767 --0.0 | [err] 1.271 --0.0 | 22.823 --0.0 | 1.661 --0.0 | 1.777 ✔0.30 | YES |
|
CiME_ |
MAYBE | timeout | [err] 2.570 --0.0 | 14.33 --0.0 | error | error | MAYBE |
|
Transformed_ |
YES | 1.2 --0.0 | [err] 1.500 --0.0 | 20.674 --0.0 | 1.877 --0.0 | 1.969 ✔0.21 | YES |
|
AG01/ |
YES | 0.429 --0.0 | [err] 0.985 --0.0 | 0.780 --0.0 | 1.598 --0.0 | 1.815 ✔0.84 | YES |
|
Transformed_ |
YES | 0.475 --0.0 | [err] 1.90 --0.0 | 27.422 --0.0 | 1.694 --0.0 | 1.754 ✔0.37 | YES |
|
CiME_ |
YES | 0.567 --0.0 | 2.903 --0.0 | 17.72 --0.0 | 2.525 --0.0 | 2.956 ✔0.86 | YES |
|
Transformed_ |
NO | 0.341 --0.0 | [err] 0.957 --0.0 | 0.858 --0.0 | 1.513 --0.0 | 1.683 ✔0.23 | NO |
|
CiME_ |
YES | 0.894 --0.0 | 1.328 --0.0 | 19.208 --0.0 | 1.691 --0.0 | 1.931 ✔0.23 | YES |
|
Transformed_ |
YES | 0.828 --0.0 | [err] 4.972 --0.0 | 15.360 --0.0 | 1.779 --0.0 | 2.979 ✔0.36 | YES |
|
CiME_ |
YES | 0.939 --0.0 | 1.260 --0.0 | 24.957 --0.0 | 1.691 --0.0 | 1.849 ✔0.21 | YES |
|
Transformed_ |
YES | 0.585 --0.0 | [err] 1.254 --0.0 | 17.764 --0.0 | 1.828 --0.0 | 1.743 ✔0.33 | YES |
|
CiME_ |
YES | 0.550 --0.0 | 3.93 --0.0 | 26.585 --0.0 | 1.752 --0.0 | 1.929 ✔0.32 | YES |
|
Transformed_ |
YES | 0.887 --0.0 | [err] 1.557 --0.0 | 15.210 --0.0 | 2.403 --0.0 | 1.972 ✔0.23 | YES |
|
Der95/ |
YES | 0.723 --0.0 | 1.29 --0.0 | 0.726 --0.0 | 1.968 --0.0 | 1.800 ✔0.82 | YES |
|
Transformed_ |
YES | 2.27 --0.0 | [err] 2.571 --0.0 | 27.187 --0.0 | 3.199 --0.0 | 3.465 ✔0.41 | YES |
|
Der95/ |
YES | 0.369 --0.0 | 1.68 --0.0 | 0.805 --0.0 | 1.931 --0.0 | 1.714 ✔0.40 | YES |
|
Transformed_ |
NO | 0.387 --0.0 | [err] 2.33 --0.0 | 0.842 --0.0 | error | error | NO |
|
Der95/ |
YES | 0.369 --0.0 | 0.923 --0.0 | 0.790 --0.0 | 1.765 --0.0 | 1.616 ✔0.31 | YES |
|
Transformed_ |
YES | 0.578 --0.0 | [err] 1.237 --0.0 | 20.208 --0.0 | 1.651 --0.0 | 1.905 ✔0.22 | YES |
|
Der95/ |
YES | 0.368 --0.0 | 0.945 --0.0 | 0.798 --0.0 | 2.100 --0.0 | 1.833 ✔0.21 | YES |
|
Transformed_ |
YES | 0.609 --0.0 | [err] 1.187 --0.0 | 19.314 --0.0 | 1.576 --0.0 | 1.730 ✔0.32 | YES |
|
Der95/ |
YES | 0.353 --0.0 | 1.774 --0.0 | 0.767 --0.0 | 1.590 --0.0 | 2.386 ✔0.35 | YES |
|
Transformed_ |
YES | 0.467 --0.0 | [err] 1.764 --0.0 | 18.25 --0.0 | 1.966 --0.0 | 2.204 ✔0.32 | YES |
|
Der95/ |
YES | 0.369 --0.0 | 0.945 --0.0 | 0.724 --0.0 | 2.166 --0.0 | 2.202 ✔0.41 | YES |
|
Transformed_ |
YES | 0.368 --0.0 | [err] 0.989 --0.0 | 0.726 --0.0 | 1.506 --0.0 | 1.672 ✔0.20 | YES |
|
AG01/ |
YES | 0.471 --0.0 | [err] 1.137 --0.0 | 17.616 --0.0 | 1.602 --0.0 | 1.945 ✔0.22 | YES |
|
Transformed_ |
YES | timeout | [err] 0.912 --0.0 | 20.595 --0.0 | 3.176 --0.0 | 3.262 ✔0.65 | YES |
|
Der95/ |
YES | 0.364 --0.0 | [err] 0.996 --0.0 | 0.766 --0.0 | 1.498 --0.0 | 1.620 ✔0.21 | YES |
|
Transformed_ |
YES | 0.531 --0.0 | [err] 1.78 --0.0 | 5.892 --0.0 | 1.506 --0.0 | 1.615 ✔0.21 | YES |
|
Der95/ |
YES | 0.404 --0.0 | [err] 1.6 --0.0 | 0.819 --0.0 | 1.743 --0.0 | 1.967 ✔0.23 | YES |
|
Transformed_ |
YES | 0.468 --0.0 | 1.173 --0.0 | 0.963 --0.0 | 1.911 --0.0 | 2.80 ✔0.20 | YES |
|
Der95/ |
YES | 0.422 --0.0 | 1.241 --0.0 | 0.805 --0.0 | 1.924 --0.0 | 2.112 ✔0.23 | YES |
|
Transformed_ |
NO | 0.329 --0.0 | 0.885 --0.0 | 0.747 --0.0 | 1.610 --0.0 | 1.750 ✔0.22 | NO |
|
Der95/ |
YES | 0.419 --0.0 | [err] 1.95 --0.0 | 24.463 --0.0 | 1.871 --0.0 | 1.951 ✔0.23 | YES |
|
Transformed_ |
YES | 0.429 --0.0 | 1.340 --0.0 | 14.129 --0.0 | 1.513 --0.0 | 1.930 ✔0.20 | YES |
|
Der95/ |
YES | 0.726 --0.0 | 1.141 --0.0 | 0.773 --0.0 | 13.474 --0.0 | 14.469 ✔0.151 | YES |
|
Transformed_ |
YES | 0.357 --0.0 | 0.985 --0.0 | 0.760 --0.0 | 1.515 --0.0 | 1.645 ✔0.21 | YES |
|
Der95/ |
YES | 0.435 --0.0 | 1.65 --0.0 | 0.805 --0.0 | 1.487 --0.0 | 1.669 ✔0.400 | YES |
|
Transformed_ |
YES | 0.561 --0.0 | [err] 1.110 --0.0 | 1.39 --0.0 | 1.533 --0.0 | 1.645 ✔0.20 | YES |
|
Der95/ |
YES | 0.375 --0.0 | [err] 0.945 --0.0 | 0.743 --0.0 | 1.507 --0.0 | 1.630 ✔0.21 | YES |
|
Transformed_ |
YES | 0.529 --0.0 | [err] 1.224 --0.0 | 0.837 --0.0 | 1.694 --0.0 | 1.825 ✔0.20 | YES |
|
Der95/ |
YES | 0.533 --0.0 | 0.995 --0.0 | 0.785 --0.0 | 1.543 --0.0 | 1.662 ✔0.20 | YES |
|
Transformed_ |
YES | 0.371 --0.0 | 0.967 --0.0 | 0.762 --0.0 | 1.570 --0.0 | 1.701 ✔0.21 | YES |
|
Der95/ |
YES | 0.426 --0.0 | [err] 1.52 --0.0 | memout | 1.535 --0.0 | 1.703 ✔0.32 | YES |
|
Transformed_ |
YES | timeout | [err] 3.14 --0.0 | 19.536 --0.0 | 1.745 --0.0 | 2.399 ✔0.51 | YES |
|
Der95/ |
YES | 0.364 --0.0 | 0.951 --0.0 | 0.768 --0.0 | 1.525 --0.0 | 1.673 ✔0.40 | YES |
|
Transformed_ |
YES | 1.461 --0.0 | 1.369 --0.0 | 24.197 --0.0 | 1.706 --0.0 | 1.820 ✔0.20 | YES |
|
AG01/ |
YES | 0.365 --0.0 | [err] 1.11 --0.0 | 0.746 --0.0 | 1.582 --0.0 | 1.712 ✔0.20 | YES |
|
Transformed_ |
YES | timeout | [err] 1.130 --0.0 | 22.532 --0.0 | 3.70 --0.0 | 3.156 ✔0.34 | YES |
|
Der95/ |
YES | 0.362 --0.0 | 0.952 --0.0 | 0.749 --0.0 | 1.744 --0.0 | 1.842 ✔0.164 | YES |
|
Transformed_ |
YES | 6.850 --0.0 | 1.572 --0.0 | 28.275 --0.0 | 1.756 --0.0 | 1.778 ✔0.51 | YES |
|
Der95/ |
YES | timeout | 1.95 --0.0 | 0.748 --0.0 | 1.547 --0.0 | error | YES |
|
Transformed_ |
YES | 7.180 --0.0 | [err] 1.800 --0.0 | 25.690 --0.0 | 1.949 --0.0 | 2.224 ✔0.101 | YES |
|
Der95/ |
YES | 0.363 --0.0 | 0.997 --0.0 | 13.96 --0.0 | 1.595 --0.0 | 1.683 ✔0.40 | YES |
|
Transformed_ |
NO | 0.478 --0.0 | [err] 0.938 --0.0 | 0.820 --0.0 | 1.414 --0.0 | 1.738 ✔0.145 | NO |
|
Der95/ |
YES | 0.471 --0.0 | [err] 1.60 --0.0 | 1.197 --0.0 | 1.577 --0.0 | 1.844 ✔0.164 | YES |
|
Transformed_ |
YES | timeout | [err] 24.185 --0.0 | 10.970 --0.0 | 1.984 --0.0 | timeout | YES |
|
Der95/ |
MAYBE | timeout | [err] 2.456 --0.0 | 20.912 --0.0 | timeout | timeout | MAYBE |
|
Transformed_ |
YES | 2.180 --0.0 | [err] 1.336 --0.0 | 33.810 --0.0 | 3.241 --0.0 | 3.432 ✔0.51 | YES |
|
EEG_ |
NO | timeout | [err] 1.686 --0.0 | timeout | 13.529 --0.0 | 12.845 ✔1.803 | NO |
|
Transformed_ |
YES | 1.473 --0.0 | [err] 1.578 --0.0 | 19.492 --0.0 | 3.311 --0.0 | 2.902 ✔1.542 | YES |
|
EEG_ |
MAYBE | timeout | [err] 1.869 --0.0 | timeout | timeout | timeout | MAYBE |
|
Transformed_ |
YES | 54.248 --0.0 | [err] 2.618 --0.0 | 30.585 --0.0 | 37.567 --0.0 | 37.433 ✔0.330 | YES |
|
EEG_ |
MAYBE | timeout | [err] 2.0 --0.0 | timeout | timeout | timeout | MAYBE |
|
Transformed_ |
NO | 0.350 --0.0 | [err] 1.24 --0.0 | 0.806 --0.0 | 1.535 --0.0 | 1.608 ✔0.21 | NO |
|
EEG_ |
NO | timeout | [err] 1.678 --0.0 | timeout | 12.930 --0.0 | 12.944 ✔1.814 | NO |
|
Transformed_ |
YES | 2.234 --0.0 | 1.479 --0.0 | 32.387 --0.0 | 3.396 --0.0 | 4.624 ✔1.752 | YES |
|
EEG_ |
NO | timeout | [err] 1.532 --0.0 | timeout | 11.865 --0.0 | 11.878 ✔0.32 | NO |
|
Transformed_ |
YES | 1.317 --0.0 | [err] 1.323 --0.0 | 21.415 --0.0 | 1.747 --0.0 | 1.850 ✔0.21 | YES |
|
AG01/ |
YES | 0.429 --0.0 | [err] 0.968 --0.0 | 15.650 --0.0 | 1.659 --0.0 | 2.58 ✔0.22 | YES |
|
Transformed_ |
NO | 0.430 --0.0 | [err] 0.872 --0.0 | 0.778 --0.0 | 1.445 --0.0 | 1.573 ✔0.46 | NO |
|
EEG_ |
MAYBE | timeout | [err] 1.296 --0.0 | 14.730 --0.0 | timeout | error | MAYBE |
|
Transformed_ |
YES | timeout | [err] 1.817 --0.0 | 12.5 --0.0 | 1.654 --0.0 | 2.27 ✔0.22 | YES |
|
EEG_ |
NO | timeout | [err] 1.440 --0.0 | 12.536 --0.0 | 11.856 --0.0 | 12.397 ✔0.221 | NO |
|
Transformed_ |
YES | 0.657 --0.0 | [err] 1.172 --0.0 | 27.756 --0.0 | 1.566 --0.0 | 1.692 ✔0.21 | YES |
|
EEG_ |
MAYBE | timeout | [err] 1.131 --0.0 | 15.228 --0.0 | error | error | MAYBE |
|
Transformed_ |
YES | 1.13 --0.0 | [err] 1.146 --0.0 | 29.600 --0.0 | 1.514 --0.0 | 1.737 ✔0.21 | YES |
|
EEG_ |
NO | timeout | [err] 1.215 --0.0 | 14.971 --0.0 | 16.612 --0.0 | 17.298 ✔0.41 | NO |
|
Transformed_ |
YES | 1.180 --0.0 | [err] 1.283 --0.0 | 24.461 --0.0 | 1.697 --0.0 | 1.827 ✔0.20 | YES |
|
EEG_ |
NO | timeout | [err] 1.228 --0.0 | 16.939 --0.0 | 17.857 --0.0 | 17.133 ✔0.41 | NO |
|
Transformed_ |
NO | 0.351 --0.0 | [err] 1.71 --0.0 | 0.724 --0.0 | 1.365 --0.0 | 1.546 ✔0.30 | NO |
|
EEG_ |
NO | timeout | [err] 1.131 --0.0 | 14.156 --0.0 | 11.803 --0.0 | 12.340 ✔0.30 | NO |
|
Transformed_ |
YES | timeout | [err] 6.131 --0.0 | 11.997 --0.0 | 1.747 --0.0 | timeout | YES |
|
EEG_ |
NO | timeout | 1.395 --0.0 | 13.746 --0.0 | 11.742 --0.0 | 12.128 ✔0.31 | NO |
|
Transformed_ |
YES | 0.733 --0.0 | [err] 1.177 --0.0 | 26.635 --0.0 | 2.9 --0.0 | 2.100 ✔0.31 | YES |
|
EEG_ |
NO | timeout | 1.432 --0.0 | 12.827 --0.0 | 12.216 --0.0 | 12.588 ✔0.32 | NO |
|
Transformed_ |
YES | 0.591 --0.0 | [err] 1.338 --0.0 | 18.256 --0.0 | 1.978 --0.0 | 2.241 ✔0.21 | YES |
|
EEG_ |
NO | timeout | [err] 2.93 --0.0 | 16.908 --0.0 | timeout | timeout | NO |
|
Transformed_ |
YES | 2.859 --0.0 | [err] 1.528 --0.0 | 31.340 --0.0 | 4.836 --0.0 | 4.863 ✔0.73 | YES |
|
EEG_ |
NO | timeout | [err] 1.260 --0.0 | timeout | 11.776 --0.0 | 13.634 ✔0.31 | NO |
|
Transformed_ |
NO | 0.369 --0.0 | [err] 1.363 --0.0 | 0.753 --0.0 | 1.508 --0.0 | 1.641 ✔0.21 | NO |
|
AG01/ |
YES | 0.435 --0.0 | [err] 1.162 --0.0 | 16.536 --0.0 | 1.702 --0.0 | 1.879 ✔0.22 | YES |
|
Transformed_ |
YES | 0.437 --0.0 | [err] 0.994 --0.0 | 0.901 --0.0 | 1.536 --0.0 | 1.699 ✔0.32 | YES |
|
EEG_ |
NO | timeout | [err] 1.308 --0.0 | 14.542 --0.0 | 12.426 --0.0 | 13.600 ✔0.32 | NO |
|
Transformed_ |
YES | 0.697 --0.0 | [err] 1.176 --0.0 | 24.694 --0.0 | 2.148 --0.0 | 2.304 ✔0.21 | YES |
|
EEG_ |
NO | timeout | [err] 1.338 --0.0 | timeout | 12.468 --0.0 | 13.659 ✔0.41 | NO |
|
Transformed_ |
YES | 0.627 --0.0 | [err] 1.180 --0.0 | 28.655 --0.0 | 1.664 --0.0 | 1.809 ✔0.21 | YES |
|
EEG_ |
NO | timeout | [err] 1.551 --0.0 | timeout | 11.860 --0.0 | 13.586 ✔0.32 | NO |
|
Transformed_ |
YES | 0.452 --0.0 | [err] 1.274 --0.0 | 19.49 --0.0 | 1.585 --0.0 | 2.0 ✔0.22 | YES |
|
EEG_ |
NO | timeout | [err] 1.434 --0.0 | 14.467 --0.0 | 12.678 --0.0 | 14.302 ✔0.32 | NO |
|
Transformed_ |
YES | 0.469 --0.0 | [err] 1.12 --0.0 | 0.759 --0.0 | 1.840 --0.0 | 1.787 ✔0.21 | YES |
|
EEG_ |
NO | timeout | [err] 1.509 --0.0 | timeout | 12.121 --0.0 | 14.981 ✔0.32 | NO |
|
Transformed_ |
YES | 0.498 --0.0 | [err] 1.247 --0.0 | 1.911 --0.0 | 1.706 --0.0 | 1.816 ✔0.23 | YES |
|
EEG_ |
NO | timeout | [err] 1.272 --0.0 | 9.579 --0.0 | 12.621 --0.0 | 14.433 ✔0.429 | NO |
|
Transformed_ |
YES | 0.456 --0.0 | [err] 1.154 --0.0 | 0.950 --0.0 | 1.655 --0.0 | 1.806 ✔0.31 | YES |
|
EEG_ |
NO | timeout | [err] 1.130 --0.0 | 18.575 --0.0 | 11.659 --0.0 | 11.798 ✔0.31 | NO |
|
Transformed_ |
NO | 0.351 --0.0 | [err] 0.849 --0.0 | 0.721 --0.0 | 1.378 --0.0 | 1.495 ✔0.22 | NO |
|
EEG_ |
NO | timeout | [err] 1.221 --0.0 | 15.524 --0.0 | 11.744 --0.0 | 11.930 ✔0.31 | NO |
|
Transformed_ |
YES | 0.542 --0.0 | [err] 1.398 --0.0 | 12.465 --0.0 | 1.567 --0.0 | 2.35 ✔0.22 | YES |
|
EEG_ |
NO | timeout | [err] 1.592 --0.0 | 15.24 --0.0 | 14.84 --0.0 | timeout | NO |
|
Transformed_ |
YES | 0.396 --0.0 | [err] 0.982 --0.0 | 19.216 --0.0 | 1.536 --0.0 | 1.682 ✔0.29 | YES |
|
EEG_ |
NO | timeout | [err] 1.783 --0.0 | 13.578 --0.0 | 17.352 --0.0 | timeout | NO |
|
Transformed_ |
YES | 0.501 --0.0 | [err] 1.98 --0.0 | 24.533 --0.0 | 1.505 --0.0 | 1.716 ✔0.20 | YES |
|
AG01/ |
YES | 0.396 --0.0 | [err] 1.7 --0.0 | 18.374 --0.0 | 1.552 --0.0 | 1.740 ✔0.22 | YES |
|
Transformed_ |
YES | 0.495 --0.0 | [err] 1.78 --0.0 | 10.132 --0.0 | 1.544 --0.0 | 1.945 ✔0.58 | YES |
|
EEG_ |
MAYBE | timeout | [err] 2.374 --0.0 | 16.557 --0.0 | timeout | timeout | MAYBE |
|
Transformed_ |
YES | 0.532 --0.0 | [err] 1.300 --0.0 | 22.853 --0.0 | 1.833 --0.0 | 1.971 ✔0.21 | YES |
|
EEG_ |
MAYBE | timeout | [err] 1.853 --0.0 | 14.769 --0.0 | timeout | timeout | MAYBE |
|
Transformed_ |
NO | 0.343 --0.0 | [err] 0.862 --0.0 | 0.730 --0.0 | 1.397 --0.0 | 1.524 ✔0.20 | NO |
|
EEG_ |
MAYBE | timeout | [err] 3.617 --0.0 | 12.506 --0.0 | timeout | timeout | MAYBE |
|
Various_ |
YES | 50.722 --0.0 | [err] 1.15 --0.0 | 1.805 --0.0 | 1.495 --0.0 | 1.630 ✔0.20 | YES |
|
EEG_ |
MAYBE | timeout | [err] 4.288 --0.0 | 14.598 --0.0 | timeout | timeout | MAYBE |
|
Various_ |
YES | 50.805 --0.0 | [err] 1.41 --0.0 | timeout | 1.607 --0.0 | 1.709 ✔0.23 | YES |
|
EEG_ |
NO | timeout | [err] 1.985 --0.0 | 13.811 --0.0 | 17.506 --0.0 | timeout | NO |
|
Various_ |
MAYBE | timeout | [err] 38.416 --0.0 | 21.964 --0.0 | timeout | timeout | MAYBE |
|
EEG_ |
MAYBE | timeout | [err] 2.584 --0.0 | 16.368 --0.0 | timeout | timeout | MAYBE |
|
Various_ |
MAYBE | timeout | timeout | 23.578 --0.0 | timeout | timeout | MAYBE |
|
EEG_ |
MAYBE | timeout | [err] 1.964 --0.0 | 11.296 --0.0 | timeout | timeout | MAYBE |
|
Various_ |
YES | 0.364 --0.0 | [err] 1.78 --0.0 | 0.762 --0.0 | 1.608 --0.0 | 1.770 ✔0.22 | YES |
|
EEG_ |
NO | timeout | [err] 1.188 --0.0 | 15.187 --0.0 | 11.948 --0.0 | 12.134 ✔0.31 | NO |
|
Various_ |
YES | 0.392 --0.0 | [err] 0.963 --0.0 | 0.726 --0.0 | 1.609 --0.0 | 1.647 ✔0.22 | YES |
|
EEG_ |
NO | timeout | [err] 1.219 --0.0 | memout | 11.962 --0.0 | 12.169 ✔0.32 | NO |
|
Various_ |
MAYBE | timeout | timeout | 21.721 --0.0 | timeout | timeout | MAYBE |
|
EEG_ |
NO | timeout | [err] 1.666 --0.0 | 17.402 --0.0 | timeout | timeout | NO |
|
Various_ |
YES | 0.363 --0.0 | [err] 1.42 --0.0 | 0.756 --0.0 | 1.544 --0.0 | 1.711 ✔0.23 | YES |
|
AG01/ |
YES | 0.474 --0.0 | [err] 1.12 --0.0 | 0.866 --0.0 | 1.516 --0.0 | 1.668 ✔0.20 | YES |
|
Transformed_ |
YES | timeout | [err] 1.340 --0.0 | 19.36 --0.0 | timeout | error | YES |
|
AG01/ |
YES | 0.512 --0.0 | [err] 1.186 --0.0 | timeout | 1.640 --0.0 | 1.931 ✔0.67 | YES |
|
Transformed_ |
YES | 0.335 --0.0 | [err] 0.888 --0.0 | 0.789 --0.0 | 1.416 --0.0 | 1.503 ✔0.20 | YES |
|
EEG_ |
NO | timeout | [err] 1.0 --0.0 | 1.62 --0.0 | 11.583 --0.0 | 11.733 ✔0.21 | NO |
|
Various_ |
YES | 0.441 --0.0 | [err] 1.111 --0.0 | timeout | 1.629 --0.0 | 1.814 ✔0.24 | YES |
|
EEG_ |
NO | timeout | [err] 1.34 --0.0 | timeout | 11.596 --0.0 | 11.687 ✔0.21 | NO |
|
Various_ |
YES | 20.513 --0.0 | [err] 1.33 --0.0 | 23.711 --0.0 | 1.646 --0.0 | 1.742 ✔0.38 | YES |
|
EEG_ |
NO | timeout | [err] 1.16 --0.0 | 16.257 --0.0 | timeout | timeout | NO |
|
Various_ |
YES | 0.453 --0.0 | [err] 1.66 --0.0 | 1.308 --0.0 | 1.586 --0.0 | 1.721 ✔0.23 | YES |
|
EEG_ |
NO | timeout | [err] 1.32 --0.0 | 1.259 --0.0 | 11.536 --0.0 | 11.764 ✔0.21 | NO |
|
Various_ |
YES | 0.481 --0.0 | [err] 1.132 --0.0 | 0.936 --0.0 | 1.589 --0.0 | 1.754 ✔0.22 | YES |
|
EEG_ |
NO | timeout | [err] 1.115 --0.0 | 11.471 --0.0 | 11.696 --0.0 | 11.822 ✔0.32 | NO |
|
Various_ |
YES | 0.562 --0.0 | [err] 1.658 --0.0 | 25.435 --0.0 | 2.145 --0.0 | 2.366 ✔0.49 | YES |
|
EEG_ |
NO | timeout | [err] 1.20 --0.0 | 26.415 --0.0 | 11.735 --0.0 | 11.851 ✔0.30 | NO |
|
Various_ |
YES | 0.412 --0.0 | [err] 0.978 --0.0 | 34.559 --0.0 | 1.991 --0.0 | 2.187 ✔0.23 | YES |
|
EEG_ |
NO | timeout | [err] 1.85 --0.0 | timeout | 11.657 --0.0 | 11.772 ✔0.31 | NO |
|
Various_ |
YES | 0.364 --0.0 | [err] 1.11 --0.0 | 1.97 --0.0 | 1.578 --0.0 | 1.679 ✔0.21 | YES |
|
EEG_ |
NO | timeout | [err] 1.111 --0.0 | timeout | 11.694 --0.0 | 11.863 ✔0.32 | NO |
|
Various_ |
YES | 0.633 --0.0 | [err] 1.96 --0.0 | 0.782 --0.0 | 1.633 --0.0 | 1.773 ✔0.22 | YES |
|
EEG_ |
NO | timeout | [err] 1.423 --0.0 | 1.27 --0.0 | 11.846 --0.0 | 12.16 ✔0.21 | NO |
|
Various_ |
YES | 0.546 --0.0 | [err] 1.176 --0.0 | 0.844 --0.0 | 1.688 --0.0 | 1.768 ✔0.22 | YES |
|
EEG_ |
NO | timeout | [err] 1.180 --0.0 | 0.808 --0.0 | 11.745 --0.0 | 11.770 ✔0.342 | NO |
|
Various_ |
YES | 0.339 --0.0 | [err] 0.893 --0.0 | 1.906 --0.0 | 1.484 --0.0 | 1.583 ✔0.19 | YES |
|
AG01/ |
YES | 0.407 --0.0 | 1.68 --0.0 | 0.948 --0.0 | 1.640 --0.0 | 1.771 ✔0.19 | YES |
|
Transformed_ |
YES | 0.399 --0.0 | [err] 1.18 --0.0 | 0.999 --0.0 | 1.573 --0.0 | 1.659 ✔0.22 | YES |
|
EEG_ |
NO | timeout | [err] 1.130 --0.0 | 0.899 --0.0 | 11.778 --0.0 | 12.82 ✔0.33 | NO |
|
Various_ |
YES | 0.411 --0.0 | [err] 1.37 --0.0 | 0.881 --0.0 | 1.749 --0.0 | 1.869 ✔0.21 | YES |
|
EEG_ |
NO | timeout | [err] 1.780 --0.0 | timeout | 15.344 --0.0 | 18.7 ✔0.261 | NO |
|
Various_ |
YES | 0.376 --0.0 | [err] 1.6 --0.0 | 0.747 --0.0 | 1.525 --0.0 | 1.635 ✔0.20 | YES |
|
EEG_ |
MAYBE | timeout | [err] 2.235 --0.0 | 13.284 --0.0 | error | error | MAYBE |
|
Various_ |
YES | 0.411 --0.0 | [err] 0.923 --0.0 | 0.808 --0.0 | 1.566 --0.0 | 1.698 ✔0.22 | YES |
|
EEG_ |
NO | timeout | 1.754 --0.0 | timeout | 11.811 --0.0 | 12.79 ✔0.31 | NO |
|
Various_ |
YES | 0.415 --0.0 | [err] 0.965 --0.0 | memout | 1.605 --0.0 | 1.709 ✔0.41 | YES |
|
Endrullis_ |
YES | 0.527 --0.0 | [err] 1.379 --0.0 | 2.23 --0.0 | 1.861 --0.0 | 2.53 ✔0.606 | YES |
|
Various_ |
YES | 0.368 --0.0 | [err] 0.912 --0.0 | 0.728 --0.0 | 1.554 --0.0 | 1.633 ✔0.21 | YES |
|
Endrullis_ |
YES | timeout | [err] 1.102 --0.0 | 29.235 --0.0 | 3.410 --0.0 | 3.596 ✔0.493 | YES |
|
Waldmann_ |
YES | timeout | [err] 1.134 --0.0 | timeout | 2.928 --0.0 | 3.79 ✔0.33 | YES |
|
Endrullis_ |
YES | 2.50 --0.0 | [err] 1.189 --0.0 | 21.6 --0.0 | 1.833 --0.0 | 1.954 ✔0.231 | YES |
|
Waldmann_ |
YES | timeout | 1.111 --0.0 | timeout | 2.771 --0.0 | 3.80 ✔0.32 | YES |
|
Endrullis_ |
YES | timeout | [err] 2.475 --0.0 | 18.726 --0.0 | 2.592 --0.0 | 2.836 ✔0.291 | YES |
|
Waldmann_ |
YES | 0.580 --0.0 | [err] 1.50 --0.0 | 0.850 --0.0 | 1.703 --0.0 | 2.401 ✔0.32 | YES |
|
Endrullis_ |
YES | timeout | [err] 1.472 --0.0 | 19.525 --0.0 | 25.676 --0.0 | 26.693 ✔0.59 | YES |
|
Waldmann_ |
YES | 0.759 --0.0 | 1.115 --0.0 | 20.455 --0.0 | 2.94 --0.0 | 1.853 ✔0.19 | YES |
|
Endrullis_ |
YES | 1.81 --0.0 | [err] 1.6 --0.0 | 41.131 --0.0 | 1.531 --0.0 | 1.656 ✔0.120 | YES |
|
Waldmann_ |
YES | timeout | 1.54 --0.0 | 40.755 --0.0 | 8.975 --0.0 | 9.653 ✔0.21 | YES |
|
AG01/ |
YES | 0.422 --0.0 | [err] 1.63 --0.0 | 0.861 --0.0 | 2.13 --0.0 | 1.791 ✔0.20 | YES |
|
Transformed_ |
YES | 0.580 --0.0 | [err] 1.146 --0.0 | 28.98 --0.0 | 1.645 --0.0 | 1.859 ✔0.29 | YES |
|
Endrullis_ |
YES | timeout | [err] 0.986 --0.0 | 19.715 --0.0 | 1.618 --0.0 | 1.738 ✔0.20 | YES |
|
Waldmann_ |
YES | timeout | [err] 1.1 --0.0 | 36.756 --0.0 | 9.30 --0.0 | 9.306 ✔0.20 | YES |
|
Endrullis_ |
YES | timeout | [err] 1.141 --0.0 | 23.525 --0.0 | 2.65 --0.0 | 2.259 ✔0.30 | YES |
|
Waldmann_ |
NO | timeout | [err] 1.59 --0.0 | 0.777 --0.0 | 2.53 --0.0 | 2.63 ✔0.30 | NO |
|
Endrullis_ |
YES | 0.430 --0.0 | [err] 0.974 --0.0 | 32.534 --0.0 | 1.833 --0.0 | 1.927 ✔0.22 | YES |
|
Waldmann_ |
NO | timeout | 1.22 --0.0 | 0.785 --0.0 | timeout | timeout | NO |
|
Endrullis_ |
YES | 0.556 --0.0 | 2.531 --0.0 | 21.59 --0.0 | 1.700 --0.0 | 1.889 ✔0.21 | YES |
|
Waldmann_ |
NO | timeout | [err] 1.56 --0.0 | 0.744 --0.0 | timeout | timeout | NO |
|
Endrullis_ |
YES | timeout | [err] 1.179 --0.0 | 10.936 --0.0 | 1.827 --0.0 | 1.993 ✔0.21 | YES |
|
Waldmann_ |
NO | timeout | [err] 1.19 --0.0 | 0.748 --0.0 | 1.906 --0.0 | 1.936 ✔0.19 | NO |
|
Endrullis_ |
YES | timeout | [err] 1.771 --0.0 | 17.726 --0.0 | 8.166 --0.0 | 8.292 ✔0.33 | YES |
|
Waldmann_ |
NO | timeout | [err] 1.32 --0.0 | 0.774 --0.0 | timeout | timeout | NO |
|
GTSSK07/ |
YES | timeout | [err] 1.135 --0.0 | timeout | 1.746 --0.0 | 1.892 ✔0.21 | YES |
|
Waldmann_ |
NO | timeout | [err] 1.32 --0.0 | 0.777 --0.0 | 1.943 --0.0 | 2.76 ✔0.21 | NO |
|
GTSSK07/ |
YES | timeout | [err] 1.150 --0.0 | timeout | 1.843 --0.0 | 2.66 ✔0.31 | YES |
|
Waldmann_ |
NO | timeout | [err] 1.107 --0.0 | 1.61 --0.0 | timeout | timeout | NO |
|
GTSSK07/ |
MAYBE | timeout | [err] 1.87 --0.0 | timeout | timeout | timeout | MAYBE |
|
Waldmann_ |
NO | timeout | [err] 1.53 --0.0 | 0.817 --0.0 | timeout | timeout | NO |
|
GTSSK07/ |
YES | timeout | [err] 1.450 --0.0 | 12.595 --0.0 | 2.60 --0.0 | 2.369 ✔0.302 | YES |
|
Waldmann_ |
NO | timeout | [err] 1.706 --0.0 | 1.71 --0.0 | 2.220 --0.0 | 2.380 ✔0.25 | NO |
|
AG01/ |
YES | 0.438 --0.0 | [err] 1.196 --0.0 | timeout | 1.785 --0.0 | 1.899 ✔0.58 | YES |
|
Transformed_ |
NO | 0.333 --0.0 | [err] 0.768 --0.0 | 0.725 --0.0 | 1.319 --0.0 | 1.418 ✔0.20 | NO |
|
GTSSK07/ |
YES | timeout | [err] 1.308 --0.0 | 19.632 --0.0 | 2.48 --0.0 | error | YES |
|
Waldmann_ |
YES | 35.277 --0.0 | [err] 2.255 --0.0 | timeout | 1.729 --0.0 | 2.169 ✔0.71 | YES |
|
GTSSK07/ |
YES | timeout | [err] 1.442 --0.0 | 22.182 --0.0 | 2.182 --0.0 | timeout | YES |
|
Waldmann_ |
YES | 36.464 --0.0 | [err] 2.62 --0.0 | timeout | 1.571 --0.0 | 2.503 ✔0.22 | YES |
|
GTSSK07/ |
MAYBE | timeout | [err] 1.242 --0.0 | 23.970 --0.0 | timeout | error | MAYBE |
|
Waldmann_ |
YES | 0.993 --0.0 | [err] 0.988 --0.0 | 13.661 --0.0 | 2.640 --0.0 | 2.733 ✔0.22 | YES |
|
GTSSK07/ |
YES | timeout | [err] 1.232 --0.0 | timeout | 1.891 --0.0 | 2.23 ✔0.20 | YES |
|
Waldmann_ |
YES | 0.472 --0.0 | [err] 1.134 --0.0 | 17.862 --0.0 | 1.827 --0.0 | 2.15 ✔0.20 | YES |
|
GTSSK07/ |
YES | timeout | [err] 1.158 --0.0 | 12.258 --0.0 | 1.790 --0.0 | 1.862 ✔0.22 | YES |
|
Waldmann_ |
YES | 0.467 --0.0 | [err] 1.154 --0.0 | 18.410 --0.0 | 1.739 --0.0 | 1.866 ✔0.22 | YES |
|
GTSSK07/ |
YES | timeout | [err] 1.116 --0.0 | timeout | 1.785 --0.0 | 1.800 ✔0.21 | YES |
|
Waldmann_ |
NO | timeout | [err] 1.432 --0.0 | 30.279 --0.0 | error | error | NO |
|
GTSSK07/ |
MAYBE | timeout | [err] 1.544 --0.0 | 30.307 --0.0 | timeout | timeout | MAYBE |
|
Waldmann_ |
NO | timeout | [err] 1.538 --0.0 | 27.125 --0.0 | error | error | NO |
|
GTSSK07/ |
YES | timeout | [err] 1.383 --0.0 | 24.335 --0.0 | 1.862 --0.0 | 1.994 ✔0.31 | YES |
|
Yamada_ |
MAYBE | timeout | [err] 1.470 --0.0 | 16.133 --0.0 | error | error | MAYBE |
|
GTSSK07/ |
YES | timeout | [err] 1.683 --0.0 | 25.267 --0.0 | 2.738 --0.0 | 3.18 ✔0.82 | YES |
|
Zantema_ |
YES | 0.470 --0.0 | [err] 0.937 --0.0 | 0.781 --0.0 | 1.592 --0.0 | 1.757 ✔0.23 | YES |
|
GTSSK07/ |
YES | timeout | [err] 2.298 --0.0 | 17.879 --0.0 | 3.211 --0.0 | 3.309 ✔0.62 | YES |
|
Zantema_ |
YES | 0.424 --0.0 | [err] 0.963 --0.0 | 0.777 --0.0 | 1.594 --0.0 | 1.720 ✔0.22 | YES |
|
AG01/ |
YES | 0.421 --0.0 | [err] 1.60 --0.0 | 19.387 --0.0 | 1.586 --0.0 | 1.760 ✔0.22 | YES |
|
Transformed_ |
YES | 2.64 --0.0 | [err] 1.598 --0.0 | 12.905 --0.0 | 1.597 --0.0 | 2.650 ✔0.61 | YES |
|
GTSSK07/ |
YES | timeout | [err] 1.246 --0.0 | 21.820 --0.0 | 1.840 --0.0 | 2.8 ✔0.31 | YES |
|
Zantema_ |
YES | 0.441 --0.0 | [err] 0.940 --0.0 | 0.774 --0.0 | 1.569 --0.0 | 1.679 ✔0.27 | YES |
|
GTSSK07/ |
MAYBE | timeout | [err] 1.993 --0.0 | 20.712 --0.0 | error | error | MAYBE |
|
Zantema_ |
YES | 0.485 --0.0 | [err] 0.974 --0.0 | 0.753 --0.0 | 1.580 --0.0 | 1.708 ✔0.21 | YES |
|
HirokawaMiddeldorp_ |
NO | 50.616 --0.0 | [err] 0.793 --0.0 | 0.778 --0.0 | 1.450 --0.0 | 1.556 ✔0.24 | NO |
|
Zantema_ |
YES | 0.429 --0.0 | [err] 1.24 --0.0 | 0.777 --0.0 | 1.592 --0.0 | 2.33 ✔0.22 | YES |
|
HirokawaMiddeldorp_ |
NO | timeout | [err] 0.949 --0.0 | 0.765 --0.0 | 1.700 --0.0 | 1.835 ✔0.22 | NO |
|
Zantema_ |
YES | 0.476 --0.0 | [err] 0.939 --0.0 | 0.768 --0.0 | 1.577 --0.0 | 1.683 ✔0.22 | YES |
|
HirokawaMiddeldorp_ |
NO | 50.601 --0.0 | [err] 0.838 --0.0 | 0.751 --0.0 | 2.40 --0.0 | 1.922 ✔0.22 | NO |
|
Zantema_ |
YES | 0.429 --0.0 | [err] 0.980 --0.0 | 0.815 --0.0 | 1.594 --0.0 | 1.778 ✔0.23 | YES |
|
HirokawaMiddeldorp_ |
NO | timeout | [err] 0.968 --0.0 | 0.780 --0.0 | 1.452 --0.0 | 1.608 ✔0.22 | NO |
|
Zantema_ |
YES | 0.794 --0.0 | [err] 1.121 --0.0 | 0.823 --0.0 | 1.679 --0.0 | 1.789 ✔0.22 | YES |
|
HirokawaMiddeldorp_ |
NO | timeout | [err] 0.963 --0.0 | 0.775 --0.0 | 1.479 --0.0 | 1.597 ✔0.22 | NO |
|
Zantema_ |
YES | 0.445 --0.0 | [err] 0.988 --0.0 | 0.797 --0.0 | 1.646 --0.0 | 1.760 ✔0.24 | YES |
|
HirokawaMiddeldorp_ |
NO | 0.341 --0.0 | [err] 0.962 --0.0 | 0.743 --0.0 | 1.550 --0.0 | 1.687 ✔0.19 | NO |
|
Zantema_ |
YES | 0.787 --0.0 | [err] 0.923 --0.0 | 0.883 --0.0 | 1.527 --0.0 | 1.472 ✔0.20 | YES |
|
HirokawaMiddeldorp_ |
NO | 0.412 --0.0 | [err] 0.826 --0.0 | 0.741 --0.0 | 1.849 --0.0 | 1.800 ✔0.21 | NO |
|
Zantema_ |
YES | 0.701 --0.0 | [err] 0.943 --0.0 | 0.926 --0.0 | 1.513 --0.0 | 1.717 ✔0.21 | YES |
|
HirokawaMiddeldorp_ |
YES | 0.557 --0.0 | [err] 1.434 --0.0 | 0.954 --0.0 | 1.628 --0.0 | 2.86 ✔0.21 | YES |
|
Zantema_ |
YES | 0.423 --0.0 | [err] 0.964 --0.0 | timeout | 1.651 --0.0 | 1.798 ✔0.22 | YES |
|
AG01/ |
YES | 0.462 --0.0 | [err] 1.74 --0.0 | 11.498 --0.0 | 1.668 --0.0 | 1.736 ✔0.22 | YES |
|
Transformed_ |
YES | timeout | [err] 1.84 --0.0 | 25.227 --0.0 | 2.622 --0.0 | 2.916 ✔0.70 | YES |
|
HirokawaMiddeldorp_ |
YES | 0.482 --0.0 | [err] 1.169 --0.0 | timeout | 1.727 --0.0 | 1.767 ✔0.22 | YES |
|
Zantema_ |
YES | 0.370 --0.0 | [err] 0.926 --0.0 | timeout | 1.523 --0.0 | 1.646 ✔0.22 | YES |
|
HirokawaMiddeldorp_ |
YES | 50.735 --0.0 | [err] 1.168 --0.0 | 30.453 --0.0 | 1.721 --0.0 | 1.822 ✔0.20 | YES |
|
Zantema_ |
YES | 0.890 --0.0 | [err] 1.92 --0.0 | 0.798 --0.0 | 1.578 --0.0 | 1.785 ✔0.19 | YES |
|
HirokawaMiddeldorp_ |
YES | 0.398 --0.0 | [err] 1.177 --0.0 | 0.882 --0.0 | 1.599 --0.0 | 1.818 ✔0.21 | YES |
|
Zantema_ |
YES | 0.518 --0.0 | [err] 0.991 --0.0 | 0.750 --0.0 | 1.593 --0.0 | 1.764 ✔0.19 | YES |
|
HirokawaMiddeldorp_ |
YES | timeout | [err] 0.951 --0.0 | 24.336 --0.0 | 1.432 --0.0 | 2.25 ✔0.22 | YES |
|
Zantema_ |
YES | 0.418 --0.0 | [err] 1.13 --0.0 | 0.771 --0.0 | 1.629 --0.0 | 1.789 ✔0.20 | YES |
|
HirokawaMiddeldorp_ |
YES | 0.577 --0.0 | [err] 1.783 --0.0 | 12.749 --0.0 | 1.998 --0.0 | 2.63 ✔0.72 | YES |
|
Zantema_ |
YES | 0.586 --0.0 | [err] 0.972 --0.0 | 0.781 --0.0 | 1.600 --0.0 | 1.720 ✔0.20 | YES |
|
HirokawaMiddeldorp_ |
YES | 0.354 --0.0 | [err] 0.905 --0.0 | 0.741 --0.0 | 1.488 --0.0 | 1.655 ✔0.21 | YES |
|
Zantema_ |
YES | 0.789 --0.0 | [err] 1.19 --0.0 | 0.772 --0.0 | 1.557 --0.0 | 1.653 ✔0.21 | YES |
|
HirokawaMiddeldorp_ |
YES | 0.337 --0.0 | [err] 0.924 --0.0 | 0.713 --0.0 | 1.617 --0.0 | 1.706 ✔0.20 | YES |
|
Zantema_ |
YES | 0.406 --0.0 | [err] 0.930 --0.0 | 0.786 --0.0 | 1.544 --0.0 | 1.703 ✔0.19 | YES |
|
HirokawaMiddeldorp_ |
YES | 0.395 --0.0 | [err] 0.993 --0.0 | 25.324 --0.0 | 2.112 --0.0 | 1.847 ✔0.19 | YES |
|
Zantema_ |
YES | 0.474 --0.0 | [err] 1.2 --0.0 | 0.839 --0.0 | 1.586 --0.0 | 1.698 ✔0.19 | YES |
|
HirokawaMiddeldorp_ |
YES | timeout | [err] 4.867 --0.0 | 16.956 --0.0 | 6.476 --0.0 | 6.664 ✔0.43 | YES |
|
Zantema_ |
YES | 0.438 --0.0 | [err] 0.972 --0.0 | timeout | 1.558 --0.0 | 1.708 ✔0.21 | YES |
|
HirokawaMiddeldorp_ |
YES | 0.369 --0.0 | [err] 0.954 --0.0 | 0.744 --0.0 | 1.586 --0.0 | 1.810 ✔0.22 | YES |
|
Zantema_ |
YES | 2.202 --0.0 | [err] 0.974 --0.0 | 0.779 --0.0 | 1.657 --0.0 | 1.763 ✔0.21 | YES |
|
AG01/ |
YES | 0.446 --0.0 | [err] 1.132 --0.0 | 14.451 --0.0 | 1.759 --0.0 | 1.863 ✔0.24 | YES |
|
Transformed_ |
YES | 0.570 --0.0 | [err] 1.174 --0.0 | 14.736 --0.0 | 1.846 --0.0 | 1.970 ✔0.42 | YES |
|
HirokawaMiddeldorp_ |
YES | 0.361 --0.0 | [err] 0.967 --0.0 | 0.759 --0.0 | 1.572 --0.0 | 1.751 ✔0.22 | YES |
|
Zantema_ |
YES | 0.479 --0.0 | [err] 0.995 --0.0 | 0.799 --0.0 | 1.579 --0.0 | 1.698 ✔0.20 | YES |
|
HirokawaMiddeldorp_ |
YES | 0.519 --0.0 | [err] 1.22 --0.0 | 0.789 --0.0 | 1.597 --0.0 | 1.754 ✔0.173 | YES |
|
Zantema_ |
YES | 0.532 --0.0 | [err] 0.953 --0.0 | 0.768 --0.0 | 1.608 --0.0 | 1.739 ✔0.20 | YES |
|
HirokawaMiddeldorp_ |
YES | 0.421 --0.0 | [err] 0.999 --0.0 | 0.873 --0.0 | 1.593 --0.0 | 1.791 ✔0.132 | YES |
|
Zantema_ |
YES | 1.592 --0.0 | [err] 0.958 --0.0 | 0.749 --0.0 | 1.601 --0.0 | 1.738 ✔0.20 | YES |
|
HirokawaMiddeldorp_ |
YES | 0.400 --0.0 | [err] 1.47 --0.0 | 0.760 --0.0 | 1.576 --0.0 | 1.733 ✔0.22 | YES |
|
Zantema_ |
YES | 0.438 --0.0 | [err] 1.26 --0.0 | timeout | 1.613 --0.0 | 1.966 ✔0.20 | YES |
|
Hydras/ |
YES | timeout | [err] 2.584 --0.0 | 25.485 --0.0 | error | error | YES |
|
Zantema_ |
YES | 0.489 --0.0 | [err] 0.955 --0.0 | 0.789 --0.0 | 1.606 --0.0 | 1.715 ✔0.22 | YES |
|
Hydras/ |
MAYBE | timeout | [err] 1.273 --0.0 | 32.96 --0.0 | error | timeout | MAYBE |
|
Zantema_ |
YES | 0.438 --0.0 | [err] 0.928 --0.0 | 0.766 --0.0 | 1.601 --0.0 | 1.686 ✔0.21 | YES |
|
Hydras/ |
YES | timeout | [err] 1.622 --0.0 | 21.306 --0.0 | timeout | error | YES |
|
Zantema_ |
YES | 1.79 --0.0 | [err] 1.20 --0.0 | 0.788 --0.0 | 1.526 --0.0 | 2.209 ✔0.21 | YES |
|
Hydras/ |
MAYBE | timeout | [err] 1.548 --0.0 | 29.952 --0.0 | error | error | MAYBE |
|
Zantema_ |
YES | 0.472 --0.0 | [err] 0.932 --0.0 | 0.769 --0.0 | 1.603 --0.0 | 1.690 ✔0.22 | YES |
|
Hydras/ |
NO | timeout | timeout | 27.727 --0.0 | error | error | NO |
|
Zantema_ |
YES | 0.427 --0.0 | [err] 1.29 --0.0 | 0.791 --0.0 | 1.627 --0.0 | 2.119 ✔0.22 | YES |
|
Hydras/ |
MAYBE | timeout | [err] 2.863 --0.0 | 25.174 --0.0 | error | error | MAYBE |
|
Zantema_ |
YES | 0.551 --0.0 | [err] 0.937 --0.0 | 0.808 --0.0 | 1.610 --0.0 | 1.693 ✔0.21 | YES |
|
AG01/ |
YES | 0.419 --0.0 | [err] 0.965 --0.0 | 0.800 --0.0 | 1.621 --0.0 | 1.875 ✔0.84 | YES |
|
Transformed_ |
YES | 0.689 --0.0 | [err] 1.490 --0.0 | 10.593 --0.0 | 2.476 --0.0 | 3.13 ✔0.112 | YES |
|
Hydras/ |
NO | timeout | [err] 7.171 --0.0 | 1.338 --0.0 | 22.476 --0.0 | 16.197 ✔0.31 | NO |
|
Zantema_ |
YES | 0.989 --0.0 | [err] 1.241 --0.0 | 0.753 --0.0 | 1.829 --0.0 | 2.478 ✔0.22 | YES |
|
Hydras/ |
NO | timeout | [err] 19.179 --0.0 | 2.41 --0.0 | timeout | error | NO |
|
Zantema_ |
YES | 0.340 --0.0 | [err] 0.907 --0.0 | 35.326 --0.0 | 1.512 --0.0 | 1.638 ✔0.21 | YES |
|
Hydras/ |
NO | timeout | timeout | 4.341 --0.0 | error | error | NO |
|
Zantema_ |
YES | 0.423 --0.0 | [err] 0.934 --0.0 | timeout | 1.578 --0.0 | 1.685 ✔0.20 | YES |
|
Hydras/ |
NO | timeout | timeout | 3.137 --0.0 | error | error | NO |
|
Zantema_ |
YES | 0.653 --0.0 | [err] 0.949 --0.0 | 0.903 --0.0 | 1.489 --0.0 | 2.333 ✔0.21 | YES |
|
Hydras/ |
NO | timeout | timeout | 4.610 --0.0 | error | error | NO |
|
Zantema_ |
YES | 0.694 --0.0 | [err] 0.960 --0.0 | 0.872 --0.0 | 1.505 --0.0 | 1.649 ✔0.22 | YES |
|
Hydras/ |
NO | timeout | timeout | 11.484 --0.0 | error | error | NO |
|
Zantema_ |
YES | 0.427 --0.0 | [err] 1.99 --0.0 | 0.803 --0.0 | 1.600 --0.0 | 1.693 ✔0.21 | YES |
|
Hydras/ |
NO | timeout | timeout | 24.19 --0.0 | error | error | NO |
|
Zantema_ |
YES | 0.401 --0.0 | [err] 1.0 --0.0 | 0.775 --0.0 | 1.629 --0.0 | 1.666 ✔0.21 | YES |
|
Hydras/ |
YES | timeout | [err] 1.443 --0.0 | 22.117 --0.0 | timeout | error | YES |
|
Zantema_ |
YES | 0.783 --0.0 | [err] 1.53 --0.0 | 0.809 --0.0 | 1.574 --0.0 | 2.471 ✔0.20 | YES |
|
Hydras/ |
MAYBE | timeout | [err] 1.482 --0.0 | 13.124 --0.0 | timeout | error | MAYBE |
|
Zantema_ |
YES | 0.418 --0.0 | [err] 0.910 --0.0 | 0.777 --0.0 | 1.560 --0.0 | 1.670 ✔0.21 | YES |
|
Hydras/ |
YES | timeout | [err] 1.399 --0.0 | 22.361 --0.0 | error | error | YES |
|
Zantema_ |
YES | 1.674 --0.0 | [err] 0.909 --0.0 | 0.881 --0.0 | 1.820 --0.0 | 1.638 ✔0.21 | YES |
|
AG01/ |
YES | 0.549 --0.0 | [err] 1.209 --0.0 | 0.881 --0.0 | 1.805 --0.0 | 1.787 ✔0.20 | YES |
|
Transformed_ |
NO | 0.367 --0.0 | [err] 0.945 --0.0 | 0.748 --0.0 | 1.452 --0.0 | 1.545 ✔0.35 | NO |
|
Hydras/ |
YES | timeout | [err] 1.527 --0.0 | 18.352 --0.0 | 17.405 --0.0 | 19.151 ✔0.21 | YES |
|
Zantema_ |
YES | 0.355 --0.0 | [err] 0.921 --0.0 | 0.768 --0.0 | 1.647 --0.0 | 1.615 ✔0.20 | YES |
|
Kaliszyk_ |
MAYBE | [err] 9.553 --0.0 | timeout | timeout | timeout | timeout | MAYBE |
|
Zantema_ |
YES | 0.381 --0.0 | [err] 0.942 --0.0 | 0.736 --0.0 | 1.469 --0.0 | 1.581 ✔0.20 | YES |
|
Kaliszyk_ |
NO | [err] 9.94 --0.0 | timeout | timeout | timeout | timeout | NO |
|
Zantema_ |
YES | 1.272 --0.0 | [err] 0.936 --0.0 | 0.892 --0.0 | 1.554 --0.0 | 1.693 ✔0.22 | YES |
|
Kaliszyk_ |
YES | 0.462 --0.0 | [err] 5.810 --0.0 | memout | 1.917 --0.0 | 2.45 ✔0.31 | YES |
|
Zantema_ |
YES | timeout | [err] 1.327 --0.0 | 32.990 --0.0 | 2.66 --0.0 | 47.333 ✔0.30 | YES |
|
Kaliszyk_ |
MAYBE | timeout | timeout | timeout | timeout | timeout | MAYBE |
|
Zantema_ |
YES | timeout | [err] 1.65 --0.0 | timeout | 2.196 --0.0 | 2.271 ✔0.21 | YES |
|
Kaliszyk_ |
MAYBE | timeout | timeout | timeout | timeout | timeout | MAYBE |
|
Zantema_ |
YES | timeout | [err] 0.909 --0.0 | 13.621 --0.0 | 1.852 --0.0 | 2.745 ✔0.20 | YES |
|
Kaliszyk_ |
NO | timeout | timeout | timeout | timeout | timeout | NO |
|
Zantema_ |
YES | 0.395 --0.0 | [err] 0.976 --0.0 | timeout | 1.573 --0.0 | 1.617 ✔0.24 | YES |
|
Kaliszyk_ |
YES | timeout | timeout | timeout | timeout | timeout | YES |
|
Zantema_ |
YES | timeout | [err] 1.610 --0.0 | 22.313 --0.0 | 1.581 --0.0 | 3.328 ✔0.30 | YES |
|
Kaliszyk_ |
YES | timeout | [err] 30.341 --0.0 | timeout | timeout | timeout | YES |
|
Zantema_ |
YES | 41.323 --0.0 | [err] 0.956 --0.0 | 9.90 --0.0 | 1.538 --0.0 | 1.691 ✔0.21 | YES |
|
Mixed_ |
YES | 0.796 --0.0 | [err] 1.106 --0.0 | 0.964 --0.0 | 1.667 --0.0 | 1.912 ✔0.20 | YES |
|
Zantema_ |
YES | timeout | [err] 1.351 --0.0 | 13.497 --0.0 | 1.753 --0.0 | 2.329 ✔0.20 | YES |
|
AG01/ |
YES | 0.607 --0.0 | [err] 1.534 --0.0 | 1.324 --0.0 | 2.278 --0.0 | 2.213 ✔0.109 | YES |
|
Transformed_ |
YES | 0.583 --0.0 | [err] 1.390 --0.0 | 33.669 --0.0 | 2.446 --0.0 | 2.290 ✔0.122 | YES |
|
Mixed_ |
YES | 0.679 --0.0 | [err] 0.956 --0.0 | 16.658 --0.0 | 1.659 --0.0 | 1.801 ✔0.20 | YES |
|
Zantema_ |
YES | 0.580 --0.0 | [err] 0.981 --0.0 | 1.81 --0.0 | 1.546 --0.0 | 2.124 ✔0.20 | YES |
|
Mixed_ |
YES | 0.411 --0.0 | [err] 1.143 --0.0 | timeout | 1.587 --0.0 | 1.770 ✔0.31 | YES |
|
Zantema_ |
YES | timeout | [err] 2.480 --0.0 | 27.562 --0.0 | 2.50 --0.0 | timeout | YES |
|
Mixed_ |
YES | 0.695 --0.0 | [err] 1.298 --0.0 | 0.862 --0.0 | 1.955 --0.0 | 1.802 ✔0.554 | YES |
|
Zantema_ |
YES | timeout | [err] 1.234 --0.0 | 31.862 --0.0 | 1.722 --0.0 | error | YES |
|
Mixed_ |
YES | 0.666 --0.0 | [err] 1.219 --0.0 | 0.826 --0.0 | 1.918 --0.0 | 1.802 ✔0.554 | YES |
|
Zantema_ |
YES | timeout | [err] 1.117 --0.0 | 20.333 --0.0 | 1.592 --0.0 | 1.740 ✔0.20 | YES |
|
Mixed_ |
NO | timeout | [err] 1.111 --0.0 | 0.769 --0.0 | timeout | timeout | NO |
|
Zantema_ |
YES | timeout | [err] 4.392 --0.0 | 0.881 --0.0 | 1.643 --0.0 | timeout | YES |
|
Mixed_ |
YES | timeout | [err] 1.445 --0.0 | 28.927 --0.0 | error | 29.625 ✔0.31 | YES |
|
Zantema_ |
YES | timeout | [err] 2.327 --0.0 | 1.192 --0.0 | 1.854 --0.0 | timeout | YES |
|
Mixed_ |
YES | 1.736 --0.0 | [err] 1.151 --0.0 | 21.559 --0.0 | 2.348 --0.0 | 2.213 ✔0.185 | YES |
|
Zantema_ |
YES | timeout | [err] 1.445 --0.0 | 0.980 --0.0 | 1.518 --0.0 | timeout | YES |
|
Mixed_ |
YES | timeout | [err] 1.204 --0.0 | 24.836 --0.0 | error | error | YES |
|
Zantema_ |
YES | timeout | [err] 1.347 --0.0 | 0.881 --0.0 | 1.531 --0.0 | timeout | YES |
|
Mixed_ |
YES | 0.750 --0.0 | [err] 1.161 --0.0 | 32.388 --0.0 | 2.410 --0.0 | 2.120 ✔0.32 | YES |
|
Zantema_ |
YES | timeout | 1.448 --0.0 | 0.882 --0.0 | 1.514 --0.0 | timeout | YES |
|
Mixed_ |
MAYBE | timeout | [err] 1.562 --0.0 | 20.787 --0.0 | error | error | MAYBE |
|
Zantema_ |
MAYBE | timeout | [err] 1.226 --0.0 | 1.504 --0.0 | timeout | timeout | MAYBE |
|
AG01/ |
YES | 0.438 --0.0 | [err] 1.52 --0.0 | 0.713 --0.0 | 1.500 --0.0 | 1.661 ✔0.21 | YES |
|
Transformed_ |
YES | timeout | [err] 1.247 --0.0 | 18.253 --0.0 | error | error | YES |
|
AG01/ |
YES | timeout | [err] 1.459 --0.0 | 20.65 --0.0 | 4.88 --0.0 | 3.671 ✔0.103 | YES |
|
Transformed_ |
YES | timeout | [err] 8.856 --0.0 | 24.736 --0.0 | 2.147 --0.0 | error | YES |
|
Mixed_ |
YES | 0.419 --0.0 | [err] 1.83 --0.0 | 19.426 --0.0 | 1.630 --0.0 | 1.832 ✔0.21 | YES |
|
Zantema_ |
YES | timeout | [err] 1.42 --0.0 | 21.886 --0.0 | 1.635 --0.0 | timeout | YES |
|
Mixed_ |
YES | timeout | [err] 1.675 --0.0 | 22.258 --0.0 | 1.651 --0.0 | 1.865 ✔0.21 | YES |
|
Zantema_ |
YES | timeout | [err] 1.306 --0.0 | 27.875 --0.0 | 14.81 --0.0 | 14.788 ✔0.22 | YES |
|
Mixed_ |
YES | 0.510 --0.0 | [err] 1.826 --0.0 | 16.200 --0.0 | 1.819 --0.0 | 2.55 ✔0.21 | YES |
|
Zantema_ |
MAYBE | timeout | [err] 1.354 --0.0 | 24.969 --0.0 | error | error | MAYBE |
|
Mixed_ |
YES | 0.372 --0.0 | [err] 1.40 --0.0 | 0.773 --0.0 | 1.523 --0.0 | 1.690 ✔0.22 | YES |
|
Zantema_ |
YES | timeout | [err] 1.221 --0.0 | 20.696 --0.0 | 8.335 --0.0 | 8.564 ✔0.41 | YES |
|
Mixed_ |
MAYBE | timeout | [err] 1.309 --0.0 | 10.75 --0.0 | error | error | MAYBE |
|
Zantema_ |
YES | timeout | [err] 1.301 --0.0 | 23.194 --0.0 | 13.930 --0.0 | 14.709 ✔0.22 | YES |
|
Mixed_ |
YES | 0.484 --0.0 | [err] 1.110 --0.0 | 0.859 --0.0 | 1.632 --0.0 | 1.643 ✔0.125 | YES |
|
Zantema_ |
YES | timeout | [err] 1.241 --0.0 | 1.62 --0.0 | 1.843 --0.0 | timeout | YES |
|
Mixed_ |
YES | 0.367 --0.0 | [err] 0.966 --0.0 | 24.199 --0.0 | 1.542 --0.0 | 1.654 ✔0.21 | YES |
|
Zantema_ |
YES | timeout | [err] 1.182 --0.0 | 2.50 --0.0 | 1.724 --0.0 | timeout | YES |
|
Mixed_ |
YES | 0.525 --0.0 | [err] 1.109 --0.0 | 0.879 --0.0 | 1.633 --0.0 | 1.644 ✔0.125 | YES |
|
Zantema_ |
YES | timeout | [err] 0.852 --0.0 | 26.661 --0.0 | 1.567 --0.0 | 1.652 ✔0.84 | YES |
|
Mixed_ |
YES | 0.528 --0.0 | [err] 1.110 --0.0 | 0.861 --0.0 | 1.655 --0.0 | 1.674 ✔0.125 | YES |
|
Zantema_ |
YES | timeout | [err] 1.435 --0.0 | 22.770 --0.0 | 2.250 --0.0 | 2.599 ✔0.886 | YES |
|
Mixed_ |
YES | 0.485 --0.0 | [err] 1.122 --0.0 | 1.37 --0.0 | 1.674 --0.0 | 1.660 ✔0.20 | YES |
|
Zantema_ |
YES | timeout | [err] 1.34 --0.0 | 29.278 --0.0 | 13.685 --0.0 | 15.437 ✔0.114 | YES |
|
AotoYamada_ |
NO | timeout | [err] 1.58 --0.0 | 0.711 --0.0 | 2.249 --0.0 | 2.83 ✔0.185 | NO |
|
Transformed_ |
NO | timeout | [err] 2.749 --0.0 | 1.728 --0.0 | 8.532 --0.0 | 10.615 ✔0.20 | NO |
|
Mixed_ |
MAYBE | timeout | [err] 2.142 --0.0 | 16.131 --0.0 | error | error | MAYBE |
|
Zantema_ |
YES | timeout | [err] 1.114 --0.0 | 20.584 --0.0 | 1.722 --0.0 | 1.827 ✔0.21 | YES |
|
Mixed_ |
YES | 0.397 --0.0 | [err] 0.952 --0.0 | 26.711 --0.0 | 1.571 --0.0 | 1.720 ✔0.21 | YES |
|
Zantema_ |
YES | 0.491 --0.0 | [err] 1.200 --0.0 | 32.144 --0.0 | 1.541 --0.0 | 1.788 ✔0.22 | YES |
|
Mixed_ |
YES | 0.535 --0.0 | [err] 1.285 --0.0 | 0.877 --0.0 | 1.749 --0.0 | 1.764 ✔0.50 | YES |
|
Zantema_ |
YES | timeout | [err] 3.780 --0.0 | 30.498 --0.0 | 1.664 --0.0 | error | YES |
|
Mixed_ |
YES | 0.343 --0.0 | [err] 1.148 --0.0 | 0.658 --0.0 | 1.978 --0.0 | 1.637 ✔0.194 | YES |
|
Zantema_ |
NO | timeout | [err] 0.996 --0.0 | 23.315 --0.0 | timeout | timeout | NO |
|
Mixed_ |
YES | timeout | [err] 1.181 --0.0 | 27.531 --0.0 | 1.870 --0.0 | error | YES |
|
Zantema_ |
NO | timeout | [err] 0.955 --0.0 | 10.505 --0.0 | 1.942 --0.0 | 1.998 ✔0.642 | NO |
|
Mixed_ |
YES | 0.393 --0.0 | [err] 0.924 --0.0 | 16.255 --0.0 | 1.614 --0.0 | 1.510 ✔0.40 | YES |
|
Zantema_ |
NO | timeout | [err] 1.145 --0.0 | 10.394 --0.0 | timeout | timeout | NO |
|
Mixed_ |
MAYBE | timeout | [err] 1.783 --0.0 | 18.310 --0.0 | timeout | error | MAYBE |
|
Zantema_ |
NO | timeout | [err] 1.205 --0.0 | 10.884 --0.0 | timeout | timeout | NO |
|
Mixed_ |
YES | timeout | [err] 1.329 --0.0 | timeout | 1.629 --0.0 | 1.776 ✔0.21 | YES |
|
Zantema_ |
NO | timeout | [err] 1.130 --0.0 | 16.578 --0.0 | 2.757 --0.0 | 3.976 ✔0.21 | NO |
|
MNZ_ |
YES | 6.633 --0.0 | [err] 1.177 --0.0 | 14.24 --0.0 | 11.779 --0.0 | 14.87 ✔0.150 | YES |
|
Zantema_ |
NO | timeout | [err] 1.829 --0.0 | timeout | error | error | NO |
|
MNZ_ |
YES | timeout | [err] 1.151 --0.0 | 21.77 --0.0 | 9.347 --0.0 | 6.935 ✔0.31 | YES |
|
Zantema_ |
MAYBE | timeout | [err] 5.134 --0.0 | 10.263 --0.0 | timeout | timeout | MAYBE |
|
AotoYamada_ |
YES | 0.326 --0.0 | [err] 1.31 --0.0 | 18.645 --0.0 | 1.342 --0.0 | 1.462 ✔0.28 | YES |
|
Transformed_ |
YES | timeout | [err] 2.936 --0.0 | 25.788 --0.0 | 7.758 --0.0 | 8.844 ✔0.109 | YES |
|
MNZ_ |
YES | timeout | [err] 1.117 --0.0 | 17.592 --0.0 | 10.326 --0.0 | 11.6 ✔0.32 | YES |
|
Zantema_ |
MAYBE | timeout | [err] 1.326 --0.0 | timeout | timeout | timeout | MAYBE |
|
MNZ_ |
YES | timeout | [err] 1.165 --0.0 | 22.89 --0.0 | 12.117 --0.0 | 13.471 ✔0.43 | YES |
|
Zantema_ |
NO | timeout | [err] 1.275 --0.0 | 31.157 --0.0 | timeout | timeout | NO |
|
MNZ_ |
YES | timeout | [err] 4.550 --0.0 | 18.473 --0.0 | timeout | timeout | YES |
|
Zantema_ |
NO | timeout | [err] 1.317 --0.0 | timeout | timeout | timeout | NO |
|
MNZ_ |
YES | timeout | [err] 1.323 --0.0 | 22.420 --0.0 | timeout | timeout | YES |
|
Zantema_ |
NO | timeout | [err] 1.86 --0.0 | 3.77 --0.0 | timeout | timeout | NO |
|
MNZ_ |
YES | timeout | [err] 3.324 --0.0 | 23.461 --0.0 | timeout | timeout | YES |
|
Zantema_ |
NO | timeout | [err] 1.5 --0.0 | 0.819 --0.0 | timeout | timeout | NO |
|
MNZ_ |
YES | timeout | [err] 1.387 --0.0 | 23.981 --0.0 | timeout | timeout | YES |
|
Zantema_ |
NO | timeout | [err] 1.15 --0.0 | 0.807 --0.0 | timeout | timeout | NO |
|
MNZ_ |
YES | timeout | [err] 1.270 --0.0 | 14.101 --0.0 | 10.741 --0.0 | 13.116 ✔0.42 | YES |
|
Zantema_ |
NO | timeout | [err] 1.49 --0.0 | timeout | timeout | timeout | NO |
|
MNZ_ |
YES | timeout | [err] 1.343 --0.0 | 18.146 --0.0 | timeout | timeout | YES |
|
Zantema_ |
NO | timeout | [err] 0.997 --0.0 | 0.770 --0.0 | timeout | timeout | NO |
|
MNZ_ |
YES | timeout | timeout | 6.252 --0.0 | 3.630 --0.0 | 16.544 ✔2.27 | YES |
|
Zantema_ |
NO | timeout | [err] 1.96 --0.0 | 21.182 --0.0 | error | error | NO |
|
MNZ_ |
YES | timeout | [err] 2.380 --0.0 | 19.439 --0.0 | 22.866 --0.0 | 26.298 ✔0.32 | YES |
|
AotoYamada_ |
NO | timeout | [err] 1.315 --0.0 | 1.53 --0.0 | 2.589 --0.0 | 2.403 ✔0.101 | NO |
|
Transformed_ |
YES | timeout | [err] 26.472 --0.0 | 32.309 --0.0 | 14.43 --0.0 | 14.438 ✔0.214 | YES |
|
MNZ_ |
YES | timeout | [err] 2.928 --0.0 | 21.555 --0.0 | timeout | error | YES |
|
Paulson_ |
MAYBE | timeout | [err] 2.505 --0.0 | 16.620 --0.0 | timeout | timeout | MAYBE |
|
payet_ |
NO | timeout | [err] 1.2 --0.0 | 0.777 --0.0 | timeout | timeout | NO |
|
payet_ |
NO | timeout | [err] 1.854 --0.0 | 0.780 --0.0 | timeout | timeout | NO |
|
payet_ |
NO | timeout | [err] 1.4 --0.0 | 7.46 --0.0 | timeout | timeout | NO |
|
Payet_ |
NO | timeout | [err] 1.90 --0.0 | 0.765 --0.0 | timeout | timeout | NO |
|
Payet_ |
NO | timeout | [err] 1.344 --0.0 | 0.785 --0.0 | timeout | timeout | NO |
|
Payet_ |
NO | timeout | [err] 1.194 --0.0 | 0.789 --0.0 | timeout | timeout | NO |
|
Payet_ |
NO | timeout | [err] 1.329 --0.0 | 0.807 --0.0 | timeout | timeout | NO |
|
Payet_ |
NO | timeout | [err] 1.33 --0.0 | 0.997 --0.0 | timeout | timeout | NO |
|
AotoYamada_ |
YES | timeout | [err] 1.74 --0.0 | 22.34 --0.0 | 1.618 --0.0 | 1.747 ✔0.30 | YES |
|
Transformed_ |
NO | 0.363 --0.0 | [err] 0.986 --0.0 | 0.738 --0.0 | 1.450 --0.0 | 1.615 ✔0.19 | NO |
|
Payet_ |
NO | timeout | [err] 1.644 --0.0 | 0.765 --0.0 | timeout | timeout | NO |
|
Payet_ |
NO | timeout | [err] 6.240 --0.0 | 0.766 --0.0 | error | error | NO |
|
Payet_ |
NO | timeout | [err] 28.248 --0.0 | 0.827 --0.0 | timeout | timeout | NO |
|
Payet_ |
NO | timeout | [err] 5.605 --0.0 | 0.759 --0.0 | error | error | NO |
|
Payet_ |
NO | timeout | [err] 17.577 --0.0 | 0.778 --0.0 | error | error | NO |
|
Payet_ |
NO | timeout | [err] 1.93 --0.0 | 0.804 --0.0 | timeout | timeout | NO |
|
Payet_ |
NO | timeout | [err] 2.215 --0.0 | 0.802 --0.0 | error | error | NO |
|
Payet_ |
NO | timeout | [err] 2.244 --0.0 | 0.837 --0.0 | error | error | NO |
|
Payet_ |
NO | timeout | [err] 2.625 --0.0 | 0.871 --0.0 | 11.256 --0.0 | 11.891 ✔0.21 | NO |
|
Payet_ |
NO | timeout | [err] 2.489 --0.0 | 0.811 --0.0 | error | error | NO |
|
AotoYamada_ |
YES | 0.548 --0.0 | [err] 1.306 --0.0 | 0.759 --0.0 | 2.355 --0.0 | 2.164 ✔0.99 | YES |
|
Transformed_ |
NO | timeout | [err] 2.938 --0.0 | 1.333 --0.0 | 9.662 --0.0 | 10.535 ✔0.81 | NO |
|
Rubio_ |
YES | 0.380 --0.0 | [err] 1.483 --0.0 | 0.767 --0.0 | 1.490 --0.0 | 1.730 ✔0.39 | YES |
|
Rubio_ |
YES | 0.394 --0.0 | [err] 0.997 --0.0 | 0.745 --0.0 | 1.486 --0.0 | 1.608 ✔0.20 | YES |
|
Rubio_ |
YES | 0.384 --0.0 | [err] 0.948 --0.0 | 0.797 --0.0 | 1.488 --0.0 | 1.604 ✔0.20 | YES |
|
Rubio_ |
YES | 0.465 --0.0 | [err] 0.967 --0.0 | 0.775 --0.0 | 1.490 --0.0 | 1.584 ✔0.21 | YES |
|
Rubio_ |
YES | 0.402 --0.0 | [err] 1.34 --0.0 | 19.521 --0.0 | 1.598 --0.0 | 1.715 ✔0.31 | YES |
|
Rubio_ |
YES | 0.397 --0.0 | [err] 1.42 --0.0 | 11.826 --0.0 | 1.633 --0.0 | 1.736 ✔0.20 | YES |
|
Rubio_ |
YES | 0.453 --0.0 | [err] 1.114 --0.0 | 21.812 --0.0 | 1.827 --0.0 | 1.941 ✔0.21 | YES |
|
Rubio_ |
YES | 0.433 --0.0 | [err] 1.91 --0.0 | 11.721 --0.0 | 1.755 --0.0 | 2.20 ✔0.23 | YES |
|
Rubio_ |
YES | 0.399 --0.0 | [err] 0.966 --0.0 | 0.844 --0.0 | 1.545 --0.0 | 1.665 ✔0.22 | YES |
|
Rubio_ |
YES | 0.361 --0.0 | [err] 1.15 --0.0 | 0.738 --0.0 | 1.442 --0.0 | 1.631 ✔0.22 | YES |
|
AotoYamada_ |
YES | 0.442 --0.0 | [err] 1.33 --0.0 | 15.603 --0.0 | 1.943 --0.0 | 1.704 ✔0.31 | YES |
|
Transformed_ |
YES | timeout | [err] 1.807 --0.0 | 7.475 --0.0 | 1.579 --0.0 | timeout | YES |
|
Rubio_ |
YES | 0.382 --0.0 | [err] 1.16 --0.0 | 0.773 --0.0 | 1.502 --0.0 | 1.911 ✔0.22 | YES |
|
Rubio_ |
YES | 0.394 --0.0 | [err] 0.979 --0.0 | 0.791 --0.0 | 1.539 --0.0 | 1.703 ✔0.19 | YES |
|
Rubio_ |
YES | 0.366 --0.0 | [err] 0.985 --0.0 | 0.690 --0.0 | 1.396 --0.0 | 1.561 ✔0.18 | YES |
|
Rubio_ |
YES | 0.446 --0.0 | [err] 1.87 --0.0 | 0.835 --0.0 | 1.727 --0.0 | 1.898 ✔0.21 | YES |
|
Rubio_ |
YES | 0.507 --0.0 | [err] 1.300 --0.0 | 10.158 --0.0 | 1.837 --0.0 | 1.974 ✔0.21 | YES |
|
Rubio_ |
YES | 0.393 --0.0 | [err] 0.947 --0.0 | 0.908 --0.0 | 1.579 --0.0 | 1.748 ✔0.21 | YES |
|
Rubio_ |
YES | 0.368 --0.0 | [err] 0.902 --0.0 | 0.739 --0.0 | 1.484 --0.0 | 1.632 ✔0.21 | YES |
|
Rubio_ |
YES | 0.404 --0.0 | [err] 0.969 --0.0 | 7.820 --0.0 | 1.536 --0.0 | 1.960 ✔0.23 | YES |
|
Rubio_ |
YES | 0.348 --0.0 | [err] 0.946 --0.0 | 0.742 --0.0 | 1.486 --0.0 | 1.649 ✔0.23 | YES |
|
Rubio_ |
YES | 0.395 --0.0 | [err] 1.155 --0.0 | 0.776 --0.0 | 1.700 --0.0 | 1.892 ✔0.21 | YES |
|
AotoYamada_ |
YES | 0.447 --0.0 | [err] 1.95 --0.0 | 22.884 --0.0 | 1.521 --0.0 | 1.648 ✔0.20 | YES |
|
Transformed_ |
YES | 0.374 --0.0 | [err] 1.27 --0.0 | 26.395 --0.0 | 1.537 --0.0 | 1.683 ✔0.18 | YES |
|
Rubio_ |
YES | 0.357 --0.0 | [err] 0.940 --0.0 | 0.769 --0.0 | 1.604 --0.0 | 1.702 ✔0.21 | YES |
|
Rubio_ |
YES | 0.403 --0.0 | [err] 1.155 --0.0 | 16.690 --0.0 | 1.694 --0.0 | 1.843 ✔0.20 | YES |
|
Rubio_ |
YES | 0.397 --0.0 | [err] 1.21 --0.0 | 0.750 --0.0 | 1.553 --0.0 | 1.681 ✔0.22 | YES |
|
Rubio_ |
YES | 0.410 --0.0 | [err] 1.14 --0.0 | 17.461 --0.0 | 1.636 --0.0 | 1.791 ✔0.20 | YES |
|
Rubio_ |
YES | 0.467 --0.0 | [err] 1.242 --0.0 | 12.608 --0.0 | 1.729 --0.0 | 1.887 ✔0.22 | YES |
|
Rubio_ |
YES | 0.428 --0.0 | [err] 0.967 --0.0 | 0.844 --0.0 | 1.544 --0.0 | 1.663 ✔0.42 | YES |
|
Rubio_ |
YES | 0.386 --0.0 | [err] 0.937 --0.0 | 0.728 --0.0 | 1.506 --0.0 | 1.615 ✔0.18 | YES |
|
Rubio_ |
YES | 0.559 --0.0 | [err] 1.153 --0.0 | 17.505 --0.0 | 1.961 --0.0 | 2.190 ✔0.20 | YES |
|
Secret_ |
YES | timeout | [err] 1.575 --0.0 | 33.59 --0.0 | 2.218 --0.0 | 2.6 ✔0.20 | YES |
|
Secret_ |
YES | timeout | [err] 1.388 --0.0 | 26.202 --0.0 | 2.573 --0.0 | 2.512 ✔0.20 | YES |
|
AotoYamada_ |
YES | 0.392 --0.0 | [err] 1.72 --0.0 | 24.832 --0.0 | 1.598 --0.0 | 1.711 ✔0.19 | YES |
|
Transformed_ |
YES | timeout | [err] 1.283 --0.0 | 20.506 --0.0 | error | error | YES |
|
Secret_ |
YES | timeout | [err] 1.196 --0.0 | 19.635 --0.0 | 2.218 --0.0 | 2.226 ✔0.23 | YES |
|
Secret_ |
YES | timeout | [err] 1.174 --0.0 | 19.72 --0.0 | 1.869 --0.0 | 1.917 ✔0.22 | YES |
|
Secret_ |
YES | timeout | [err] 1.57 --0.0 | 23.425 --0.0 | 1.642 --0.0 | 1.811 ✔0.22 | YES |
|
Secret_ |
YES | timeout | [err] 9.172 --0.0 | 20.774 --0.0 | 9.978 --0.0 | timeout | YES |
|
Secret_ |
YES | 1.931 --0.0 | [err] 1.81 --0.0 | 2.327 --0.0 | 6.695 --0.0 | 16.736 ✔0.22 | YES |
|
Secret_ |
YES | timeout | [err] 2.186 --0.0 | 18.996 --0.0 | timeout | timeout | YES |
|
Secret_ |
NO | 50.714 --0.0 | [err] 1.53 --0.0 | 0.776 --0.0 | 1.527 --0.0 | 1.690 ✔0.14 | NO |
|
Secret_ |
YES | 1.617 --0.0 | [err] 9.130 --0.0 | 17.2 --0.0 | 3.559 --0.0 | 3.200 ✔0.32 | YES |
|
Secret_ |
YES | timeout | [err] 0.949 --0.0 | 17.867 --0.0 | 1.763 --0.0 | 1.828 ✔0.52 | YES |
|
Secret_ |
YES | 0.757 --0.0 | [err] 1.152 --0.0 | 0.730 --0.0 | 2.203 --0.0 | 1.902 ✔0.403 | YES |
|
AotoYamada_ |
YES | timeout | [err] 1.133 --0.0 | 17.299 --0.0 | 15.843 --0.0 | 1.898 ✔0.41 | YES |
|
Transformed_ |
YES | timeout | [err] 1.523 --0.0 | 22.661 --0.0 | error | timeout | YES |
|
Secret_ |
YES | timeout | [err] 1.240 --0.0 | 26.936 --0.0 | 1.489 --0.0 | 1.600 ✔0.23 | YES |
|
Secret_ |
YES | timeout | [err] 1.305 --0.0 | 17.511 --0.0 | 1.944 --0.0 | 2.41 ✔0.63 | YES |
|
Secret_ |
YES | timeout | [err] 1.99 --0.0 | 31.303 --0.0 | 3.795 --0.0 | timeout | YES |
|
Secret_ |
YES | timeout | [err] 1.336 --0.0 | 24.241 --0.0 | 1.671 --0.0 | 1.777 ✔0.32 | YES |
|
Secret_ |
YES | 0.437 --0.0 | [err] 1.16 --0.0 | 32.444 --0.0 | 1.737 --0.0 | 1.774 ✔0.23 | YES |
|
Secret_ |
MAYBE | timeout | [err] 1.227 --0.0 | 24.472 --0.0 | timeout | error | MAYBE |
|
Secret_ |
MAYBE | timeout | [err] 1.474 --0.0 | 23.672 --0.0 | error | error | MAYBE |
|
Secret_ |
MAYBE | timeout | [err] 1.478 --0.0 | 16.892 --0.0 | error | error | MAYBE |
|
Secret_ |
NO | timeout | [err] 1.104 --0.0 | 0.898 --0.0 | 1.899 --0.0 | 2.43 ✔0.20 | NO |
|
Secret_ |
NO | timeout | [err] 0.994 --0.0 | 0.787 --0.0 | 1.845 --0.0 | 1.727 ✔0.19 | NO |
|
AG01/ |
YES | 0.507 --0.0 | [err] 1.171 --0.0 | timeout | 1.838 --0.0 | 1.882 ✔0.53 | YES |
|
Transformed_ |
YES | timeout | [err] 1.533 --0.0 | 21.164 --0.0 | error | error | YES |
|
AotoYamada_ |
YES | 0.714 --0.0 | [err] 1.53 --0.0 | 27.682 --0.0 | 15.640 --0.0 | 2.213 ✔0.29 | YES |
|
Transformed_ |
NO | 0.359 --0.0 | [err] 0.906 --0.0 | 0.724 --0.0 | 1.359 --0.0 | 1.546 ✔0.19 | NO |
|
Secret_ |
YES | timeout | [err] 1.561 --0.0 | 25.82 --0.0 | 2.346 --0.0 | 3.29 ✔0.20 | YES |
|
Secret_ |
YES | timeout | [err] 1.345 --0.0 | 26.436 --0.0 | 9.413 --0.0 | 9.821 ✔0.22 | YES |
|
Secret_ |
MAYBE | timeout | [err] 2.455 --0.0 | 17.554 --0.0 | error | error | MAYBE |
|
Secret_ |
YES | 1.447 --0.0 | [err] 0.932 --0.0 | 16.257 --0.0 | 1.771 --0.0 | 1.974 ✔0.23 | YES |
|
Secret_ |
YES | timeout | [err] 1.137 --0.0 | 22.473 --0.0 | 1.614 --0.0 | 1.738 ✔0.22 | YES |
|
Secret_ |
YES | 26.171 --0.0 | [err] 1.632 --0.0 | 20.153 --0.0 | 6.188 --0.0 | 2.107 ✔0.20 | YES |
|
Secret_ |
YES | 0.729 --0.0 | [err] 0.922 --0.0 | 18.127 --0.0 | 1.813 --0.0 | 2.38 ✔0.65 | YES |
|
Secret_ |
YES | 0.435 --0.0 | [err] 0.963 --0.0 | 23.684 --0.0 | 1.545 --0.0 | 1.698 ✔0.21 | YES |
|
Secret_ |
YES | 5.454 --0.0 | [err] 0.990 --0.0 | 28.127 --0.0 | 1.772 --0.0 | 1.927 ✔0.21 | YES |
|
Secret_ |
YES | timeout | [err] 1.563 --0.0 | 21.500 --0.0 | 2.939 --0.0 | 2.930 ✔0.31 | YES |
|
AotoYamada_ |
YES | 0.379 --0.0 | [err] 1.64 --0.0 | 21.582 --0.0 | 1.676 --0.0 | 1.787 ✔0.21 | YES |
|
Transformed_ |
YES | 0.381 --0.0 | [err] 1.37 --0.0 | 22.740 --0.0 | 1.682 --0.0 | 1.789 ✔0.22 | YES |
|
Secret_ |
MAYBE | timeout | [err] 1.411 --0.0 | 22.446 --0.0 | error | error | MAYBE |
|
Secret_ |
YES | 50.858 --0.0 | [err] 1.121 --0.0 | 27.932 --0.0 | 1.617 --0.0 | 1.769 ✔0.18 | YES |
|
Secret_ |
YES | timeout | [err] 1.359 --0.0 | timeout | 2.665 --0.0 | 2.601 ✔0.20 | YES |
|
Secret_ |
YES | timeout | [err] 1.489 --0.0 | 17.685 --0.0 | 1.896 --0.0 | 2.59 ✔0.62 | YES |
|
Secret_ |
YES | timeout | [err] 1.226 --0.0 | 19.860 --0.0 | 1.562 --0.0 | 1.985 ✔0.21 | YES |
|
Secret_ |
YES | timeout | [err] 1.158 --0.0 | 20.612 --0.0 | 1.681 --0.0 | 1.808 ✔0.22 | YES |
|
Secret_ |
YES | 0.551 --0.0 | [err] 1.33 --0.0 | 17.194 --0.0 | 1.668 --0.0 | 1.849 ✔0.23 | YES |
|
Secret_ |
YES | 0.539 --0.0 | [err] 1.15 --0.0 | 16.374 --0.0 | 1.615 --0.0 | 1.658 ✔0.20 | YES |
|
Secret_ |
YES | timeout | [err] 1.182 --0.0 | 21.830 --0.0 | 13.418 --0.0 | 14.666 ✔0.77 | YES |
|
Secret_ |
YES | 0.605 --0.0 | [err] 1.324 --0.0 | 19.549 --0.0 | 1.850 --0.0 | 2.39 ✔0.60 | YES |
|
AotoYamada_ |
YES | timeout | [err] 1.73 --0.0 | 23.245 --0.0 | 1.743 --0.0 | 1.715 ✔0.22 | YES |
|
Transformed_ |
YES | timeout | [err] 3.1 --0.0 | 10.485 --0.0 | timeout | error | YES |
|
Secret_ |
YES | 41.585 --0.0 | [err] 1.530 --0.0 | 14.237 --0.0 | 1.790 --0.0 | 1.980 ✔0.26 | YES |
|
Secret_ |
YES | timeout | [err] 1.482 --0.0 | 24.994 --0.0 | 13.855 --0.0 | 15.7 ✔0.25 | YES |
|
Secret_ |
YES | timeout | [err] 0.977 --0.0 | 27.214 --0.0 | 13.466 --0.0 | 14.865 ✔0.21 | YES |
|
Secret_ |
YES | 0.566 --0.0 | [err] 1.44 --0.0 | 16.827 --0.0 | 1.716 --0.0 | 1.855 ✔0.20 | YES |
|
Secret_ |
YES | timeout | [err] 1.284 --0.0 | timeout | 4.572 --0.0 | error | YES |
|
Secret_ |
YES | timeout | [err] 2.246 --0.0 | 20.999 --0.0 | 2.912 --0.0 | 2.935 ✔0.20 | YES |
|
Secret_ |
YES | timeout | [err] 1.192 --0.0 | 19.296 --0.0 | 1.871 --0.0 | 1.992 ✔0.20 | YES |
|
Secret_ |
YES | timeout | [err] 1.378 --0.0 | 16.44 --0.0 | 2.492 --0.0 | 2.592 ✔0.31 | YES |
|
Secret_ |
YES | timeout | [err] 1.623 --0.0 | 18.350 --0.0 | 1.988 --0.0 | error | YES |
|
Secret_ |
YES | timeout | [err] 8.894 --0.0 | 16.291 --0.0 | 8.510 --0.0 | 3.408 ✔0.31 | YES |
|
AotoYamada_ |
YES | timeout | [err] 1.82 --0.0 | 30.697 --0.0 | 1.564 --0.0 | 1.712 ✔0.19 | YES |
|
Transformed_ |
YES | timeout | [err] 2.29 --0.0 | 16.745 --0.0 | error | error | YES |
|
Secret_ |
YES | timeout | [err] 0.974 --0.0 | 34.563 --0.0 | 1.965 --0.0 | error | YES |
|
Secret_ |
YES | timeout | [err] 1.52 --0.0 | 18.758 --0.0 | 2.55 --0.0 | error | YES |
|
Secret_ |
YES | timeout | [err] 1.47 --0.0 | 27.462 --0.0 | 7.376 --0.0 | error | YES |
|
Secret_ |
MAYBE | timeout | [err] 2.164 --0.0 | 27.971 --0.0 | error | error | MAYBE |
|
Secret_ |
MAYBE | timeout | [err] 2.263 --0.0 | 28.134 --0.0 | error | error | MAYBE |
|
Secret_ |
YES | timeout | [err] 47.752 --0.0 | 30.895 --0.0 | 2.29 --0.0 | timeout | YES |
|
Secret_ |
MAYBE | timeout | [err] 1.273 --0.0 | 19.702 --0.0 | timeout | timeout | MAYBE |
|
Secret_ |
MAYBE | timeout | [err] 3.344 --0.0 | 17.468 --0.0 | error | error | MAYBE |
|
Secret_ |
MAYBE | timeout | [err] 8.973 --0.0 | 15.749 --0.0 | error | error | MAYBE |
|
Secret_ |
YES | timeout | [err] 1.905 --0.0 | 19.220 --0.0 | 1.711 --0.0 | 1.833 ✔0.37 | YES |
|
AotoYamada_ |
YES | 0.358 --0.0 | [err] 1.63 --0.0 | 17.234 --0.0 | 1.684 --0.0 | 1.765 ✔0.16 | YES |
|
Transformed_ |
YES | timeout | [err] 3.791 --0.0 | 27.163 --0.0 | error | error | YES |
|
Secret_ |
YES | timeout | [err] 1.125 --0.0 | 11.695 --0.0 | 5.472 --0.0 | timeout | YES |
|
Secret_ |
YES | timeout | [err] 1.125 --0.0 | 14.678 --0.0 | 18.435 --0.0 | error | YES |
|
Secret_ |
YES | timeout | [err] 1.163 --0.0 | 9.948 --0.0 | 16.60 --0.0 | error | YES |
|
Secret_ |
YES | timeout | [err] 1.215 --0.0 | 9.875 --0.0 | 3.110 --0.0 | timeout | YES |
|
Secret_ |
YES | timeout | [err] 1.248 --0.0 | 15.268 --0.0 | 14.600 --0.0 | 15.100 ✔0.21 | YES |
|
Secret_ |
NO | timeout | [err] 3.551 --0.0 | 11.809 --0.0 | error | error | NO |
|
Secret_ |
YES | timeout | [err] 3.196 --0.0 | timeout | 3.66 --0.0 | error | YES |
|
Secret_ |
YES | timeout | [err] 2.330 --0.0 | 19.147 --0.0 | 2.342 --0.0 | error | YES |
|
Secret_ |
MAYBE | timeout | [err] 3.198 --0.0 | 13.983 --0.0 | timeout | error | MAYBE |
|
Secret_ |
YES | timeout | 1.829 --0.0 | 21.854 --0.0 | 2.705 --0.0 | error | YES |
|
AotoYamada_ |
YES | 0.377 --0.0 | [err] 1.100 --0.0 | 16.106 --0.0 | 1.613 --0.0 | 1.746 ✔0.21 | YES |
|
Transformed_ |
YES | timeout | [err] 3.176 --0.0 | 26.101 --0.0 | timeout | error | YES |
|
Secret_ |
YES | timeout | [err] 2.167 --0.0 | 17.22 --0.0 | 2.420 --0.0 | error | YES |
|
Secret_ |
YES | timeout | [err] 3.505 --0.0 | 11.265 --0.0 | 5.757 --0.0 | error | YES |
|
Secret_ |
YES | timeout | [err] 1.720 --0.0 | 19.185 --0.0 | 1.999 --0.0 | error | YES |
|
Secret_ |
YES | timeout | [err] 5.459 --0.0 | 24.24 --0.0 | 4.882 --0.0 | error | YES |
|
Secret_ |
YES | timeout | [err] 1.585 --0.0 | 19.629 --0.0 | 2.665 --0.0 | error | YES |
|
Secret_ |
YES | timeout | [err] 1.941 --0.0 | 20.917 --0.0 | 11.755 --0.0 | error | YES |
|
Secret_ |
YES | 0.485 --0.0 | [err] 1.243 --0.0 | 0.996 --0.0 | 1.653 --0.0 | 1.804 ✔0.51 | YES |
|
Secret_ |
YES | 0.477 --0.0 | [err] 1.215 --0.0 | 1.292 --0.0 | 1.645 --0.0 | 1.781 ✔0.78 | YES |
|
Secret_ |
YES | 0.555 --0.0 | [err] 1.198 --0.0 | 0.874 --0.0 | 1.644 --0.0 | 1.819 ✔0.97 | YES |
|
Secret_ |
YES | 0.434 --0.0 | [err] 1.224 --0.0 | 1.51 --0.0 | 1.699 --0.0 | 1.873 ✔0.21 | YES |
|
AotoYamada_ |
YES | 0.442 --0.0 | [err] 1.6 --0.0 | 0.733 --0.0 | 1.753 --0.0 | 1.873 ✔0.23 | YES |
|
Transformed_ |
NO | 0.335 --0.0 | [err] 1.25 --0.0 | 0.738 --0.0 | 1.402 --0.0 | 1.535 ✔0.21 | NO |
|
Secret_ |
YES | 0.487 --0.0 | [err] 1.185 --0.0 | 20.373 --0.0 | 1.759 --0.0 | 1.944 ✔0.21 | YES |
|
SK90/ |
YES | 0.379 --0.0 | [err] 1.72 --0.0 | 0.766 --0.0 | 1.580 --0.0 | 1.733 ✔0.20 | YES |
|
SK90/ |
YES | 0.462 --0.0 | [err] 1.3 --0.0 | 0.789 --0.0 | 1.618 --0.0 | 1.703 ✔0.20 | YES |
|
SK90/ |
YES | 0.372 --0.0 | [err] 0.995 --0.0 | 0.752 --0.0 | 1.615 --0.0 | 1.736 ✔0.20 | YES |
|
SK90/ |
YES | 0.360 --0.0 | [err] 0.957 --0.0 | 0.734 --0.0 | 1.534 --0.0 | 1.688 ✔0.23 | YES |
|
SK90/ |
NO | timeout | [err] 1.302 --0.0 | 0.941 --0.0 | 1.892 --0.0 | 1.981 ✔0.21 | NO |
|
SK90/ |
YES | 0.360 --0.0 | [err] 0.976 --0.0 | 0.935 --0.0 | 1.503 --0.0 | 1.636 ✔0.27 | YES |
|
SK90/ |
YES | 0.364 --0.0 | [err] 0.989 --0.0 | 0.740 --0.0 | 1.551 --0.0 | 1.702 ✔0.28 | YES |
|
SK90/ |
YES | 0.364 --0.0 | [err] 0.991 --0.0 | 0.739 --0.0 | 1.553 --0.0 | 1.689 ✔0.39 | YES |
|
SK90/ |
YES | 0.365 --0.0 | [err] 0.936 --0.0 | 0.732 --0.0 | 1.541 --0.0 | 1.684 ✔0.24 | YES |
|
AotoYamada_ |
YES | 0.335 --0.0 | [err] 0.967 --0.0 | 23.372 --0.0 | 1.593 --0.0 | 1.765 ✔0.21 | YES |
|
Transformed_ |
YES | timeout | [err] 2.87 --0.0 | 19.192 --0.0 | error | error | YES |
|
SK90/ |
YES | 0.366 --0.0 | [err] 1.9 --0.0 | 0.850 --0.0 | 1.601 --0.0 | 1.748 ✔0.31 | YES |
|
SK90/ |
YES | 0.366 --0.0 | [err] 0.972 --0.0 | 0.741 --0.0 | 1.597 --0.0 | 1.739 ✔0.31 | YES |
|
SK90/ |
YES | 0.390 --0.0 | [err] 1.68 --0.0 | 0.804 --0.0 | 1.671 --0.0 | 1.780 ✔0.37 | YES |
|
SK90/ |
YES | 0.383 --0.0 | [err] 1.23 --0.0 | 0.729 --0.0 | 1.602 --0.0 | 1.775 ✔0.24 | YES |
|
SK90/ |
YES | 0.374 --0.0 | [err] 1.55 --0.0 | 0.709 --0.0 | 1.539 --0.0 | 1.651 ✔0.22 | YES |
|
SK90/ |
YES | 0.340 --0.0 | [err] 0.965 --0.0 | 0.789 --0.0 | 1.521 --0.0 | 1.633 ✔0.20 | YES |
|
SK90/ |
YES | 0.343 --0.0 | [err] 1.16 --0.0 | 0.713 --0.0 | 1.566 --0.0 | 1.693 ✔0.21 | YES |
|
SK90/ |
YES | 0.365 --0.0 | [err] 0.960 --0.0 | 0.728 --0.0 | 1.521 --0.0 | 1.695 ✔0.21 | YES |
|
SK90/ |
YES | 0.347 --0.0 | [err] 0.920 --0.0 | 0.798 --0.0 | 1.404 --0.0 | 1.556 ✔0.21 | YES |
|
SK90/ |
YES | 0.463 --0.0 | [err] 1.75 --0.0 | 0.826 --0.0 | 1.553 --0.0 | 1.703 ✔0.57 | YES |
|
AotoYamada_ |
YES | timeout | [err] 1.82 --0.0 | 24.393 --0.0 | 1.627 --0.0 | 1.746 ✔0.20 | YES |
|
Transformed_ |
YES | 1.516 --0.0 | [err] 2.777 --0.0 | 11.276 --0.0 | 1.649 --0.0 | 3.18 ✔0.31 | YES |
|
SK90/ |
YES | 0.374 --0.0 | [err] 1.27 --0.0 | 0.786 --0.0 | 1.600 --0.0 | 1.791 ✔0.19 | YES |
|
SK90/ |
YES | 0.355 --0.0 | [err] 0.939 --0.0 | 0.735 --0.0 | 1.497 --0.0 | 1.643 ✔0.28 | YES |
|
SK90/ |
YES | 0.362 --0.0 | [err] 0.983 --0.0 | 0.748 --0.0 | 1.529 --0.0 | 1.694 ✔0.27 | YES |
|
SK90/ |
YES | 0.358 --0.0 | [err] 1.46 --0.0 | 20.853 --0.0 | 1.505 --0.0 | 1.635 ✔0.27 | YES |
|
SK90/ |
YES | 0.353 --0.0 | [err] 0.927 --0.0 | 0.731 --0.0 | 1.498 --0.0 | 1.620 ✔0.26 | YES |
|
SK90/ |
YES | 0.371 --0.0 | [err] 1.29 --0.0 | 0.753 --0.0 | 1.560 --0.0 | 1.722 ✔0.22 | YES |
|
SK90/ |
YES | 0.379 --0.0 | [err] 1.111 --0.0 | 0.740 --0.0 | 1.612 --0.0 | 1.769 ✔0.21 | YES |
|
SK90/ |
YES | 0.349 --0.0 | [err] 1.70 --0.0 | 0.714 --0.0 | 1.556 --0.0 | 1.668 ✔0.20 | YES |
|
SK90/ |
YES | 0.357 --0.0 | [err] 0.915 --0.0 | 0.731 --0.0 | 1.514 --0.0 | 1.633 ✔0.21 | YES |
|
SK90/ |
YES | 0.370 --0.0 | [err] 1.48 --0.0 | 0.771 --0.0 | 1.564 --0.0 | 1.733 ✔0.22 | YES |
|
AotoYamada_ |
YES | timeout | [err] 1.128 --0.0 | 20.87 --0.0 | 1.699 --0.0 | 1.850 ✔0.22 | YES |
|
Transformed_ |
NO | timeout | [err] 1.993 --0.0 | 1.193 --0.0 | 9.240 --0.0 | 9.248 ✔0.20 | NO |
|
SK90/ |
YES | 0.372 --0.0 | [err] 1.17 --0.0 | 0.782 --0.0 | 1.625 --0.0 | 1.810 ✔0.22 | YES |
|
SK90/ |
YES | 0.358 --0.0 | [err] 1.15 --0.0 | 0.750 --0.0 | 1.600 --0.0 | 1.732 ✔0.23 | YES |
|
SK90/ |
YES | 0.340 --0.0 | [err] 0.970 --0.0 | 0.771 --0.0 | 1.479 --0.0 | 1.569 ✔0.20 | YES |
|
SK90/ |
YES | 0.340 --0.0 | [err] 0.908 --0.0 | 0.765 --0.0 | 1.489 --0.0 | 1.553 ✔0.20 | YES |
|
SK90/ |
YES | 0.355 --0.0 | [err] 0.976 --0.0 | 0.734 --0.0 | 1.572 --0.0 | 1.695 ✔0.23 | YES |
|
SK90/ |
YES | 0.383 --0.0 | [err] 0.996 --0.0 | 0.792 --0.0 | 1.563 --0.0 | 1.719 ✔0.23 | YES |
|
SK90/ |
YES | 0.381 --0.0 | [err] 1.5 --0.0 | 0.761 --0.0 | 1.568 --0.0 | 1.663 ✔0.39 | YES |
|
SK90/ |
YES | 0.381 --0.0 | [err] 0.822 --0.0 | 3.50 --0.0 | 1.430 --0.0 | 1.552 ✔0.22 | YES |
|
SK90/ |
YES | 0.342 --0.0 | [err] 0.915 --0.0 | 0.706 --0.0 | 1.422 --0.0 | 1.594 ✔0.21 | YES |
|
SK90/ |
YES | 0.349 --0.0 | [err] 0.916 --0.0 | 0.730 --0.0 | 1.489 --0.0 | 1.697 ✔0.22 | YES |
|
AG01/ |
YES | 0.627 --0.0 | [err] 1.244 --0.0 | timeout | 1.735 --0.0 | 1.874 ✔0.56 | YES |
|
Transformed_ |
NO | 0.329 --0.0 | [err] 0.819 --0.0 | 0.727 --0.0 | 1.376 --0.0 | 1.504 ✔0.21 | NO |
|
AotoYamada_ |
YES | 0.439 --0.0 | [err] 1.72 --0.0 | 15.524 --0.0 | 1.653 --0.0 | 1.813 ✔0.22 | YES |
|
Transformed_ |
YES | 2.105 --0.0 | [err] 1.306 --0.0 | 27.106 --0.0 | 2.225 --0.0 | 2.377 ✔0.31 | YES |
|
SK90/ |
YES | 0.509 --0.0 | [err] 1.77 --0.0 | 0.754 --0.0 | 1.638 --0.0 | 1.735 ✔0.75 | YES |
|
SK90/ |
YES | 0.491 --0.0 | [err] 1.65 --0.0 | 0.759 --0.0 | 1.623 --0.0 | 1.737 ✔0.76 | YES |
|
SK90/ |
YES | 0.460 --0.0 | [err] 1.168 --0.0 | 0.741 --0.0 | 1.594 --0.0 | 1.740 ✔0.71 | YES |
|
SK90/ |
YES | 0.432 --0.0 | [err] 1.150 --0.0 | 0.734 --0.0 | 1.594 --0.0 | 1.736 ✔0.52 | YES |
|
SK90/ |
YES | 0.410 --0.0 | [err] 1.80 --0.0 | 5.616 --0.0 | 1.597 --0.0 | 1.713 ✔0.21 | YES |
|
SK90/ |
YES | 0.352 --0.0 | [err] 1.43 --0.0 | 0.819 --0.0 | 1.546 --0.0 | 1.618 ✔0.20 | YES |
|
SK90/ |
YES | 0.428 --0.0 | [err] 0.924 --0.0 | 1.243 --0.0 | 2.178 --0.0 | 2.22 ✔0.21 | YES |
|
SK90/ |
YES | 0.374 --0.0 | [err] 0.937 --0.0 | 1.233 --0.0 | 1.428 --0.0 | 1.936 ✔0.21 | YES |
|
SK90/ |
YES | 0.341 --0.0 | [err] 0.970 --0.0 | 0.754 --0.0 | 1.510 --0.0 | 1.668 ✔0.22 | YES |
|
SK90/ |
YES | 0.350 --0.0 | [err] 1.37 --0.0 | 0.757 --0.0 | 1.462 --0.0 | 1.738 ✔0.21 | YES |
|
AotoYamada_ |
YES | 0.526 --0.0 | [err] 1.136 --0.0 | 0.742 --0.0 | 1.877 --0.0 | 1.887 ✔0.40 | YES |
|
Transformed_ |
YES | 9.107 --0.0 | [err] 1.717 --0.0 | 26.824 --0.0 | 3.555 --0.0 | 3.790 ✔0.31 | YES |
|
SK90/ |
YES | 0.353 --0.0 | [err] 0.929 --0.0 | 0.749 --0.0 | 1.642 --0.0 | 2.98 ✔0.20 | YES |
|
SK90/ |
YES | 0.350 --0.0 | [err] 0.951 --0.0 | 0.707 --0.0 | 1.440 --0.0 | 1.580 ✔0.22 | YES |
|
SK90/ |
YES | 0.353 --0.0 | [err] 1.89 --0.0 | 0.718 --0.0 | 1.544 --0.0 | 1.634 ✔0.21 | YES |
|
SK90/ |
YES | 0.328 --0.0 | [err] 0.924 --0.0 | 0.722 --0.0 | 1.449 --0.0 | 1.565 ✔0.21 | YES |
|
SK90/ |
YES | 0.339 --0.0 | [err] 0.902 --0.0 | 0.710 --0.0 | 1.456 --0.0 | 1.540 ✔0.21 | YES |
|
SK90/ |
YES | 0.320 --0.0 | [err] 0.846 --0.0 | 0.702 --0.0 | 1.474 --0.0 | 1.577 ✔0.13 | YES |
|
SK90/ |
YES | 0.326 --0.0 | [err] 0.853 --0.0 | 0.691 --0.0 | 1.435 --0.0 | 1.546 ✔0.21 | YES |
|
SK90/ |
YES | 0.326 --0.0 | [err] 0.921 --0.0 | 0.732 --0.0 | 1.277 --0.0 | 1.380 ✔0.110 | YES |
|
SK90/ |
YES | 0.294 --0.0 | [err] 0.945 --0.0 | 0.750 --0.0 | 1.295 --0.0 | 1.421 ✔0.69 | YES |
|
SK90/ |
YES | 0.354 --0.0 | [err] 0.897 --0.0 | 0.948 --0.0 | 1.345 --0.0 | 1.620 ✔0.21 | YES |
|
AotoYamada_ |
YES | 0.363 --0.0 | [err] 0.972 --0.0 | 17.870 --0.0 | 1.549 --0.0 | 1.657 ✔0.21 | YES |
|
Transformed_ |
NO | 0.448 --0.0 | [err] 1.136 --0.0 | 0.725 --0.0 | 1.441 --0.0 | 1.584 ✔0.31 | NO |
|
SK90/ |
YES | 0.343 --0.0 | [err] 0.958 --0.0 | 0.687 --0.0 | 1.324 --0.0 | 1.542 ✔0.21 | YES |
|
SK90/ |
YES | 0.353 --0.0 | [err] 1.61 --0.0 | 0.724 --0.0 | 1.378 --0.0 | 1.599 ✔0.20 | YES |
|
SK90/ |
YES | 0.362 --0.0 | [err] 0.955 --0.0 | 0.892 --0.0 | 1.420 --0.0 | 1.640 ✔0.41 | YES |
|
SK90/ |
YES | 1.816 --0.0 | [err] 1.219 --0.0 | 1.79 --0.0 | 1.427 --0.0 | 1.687 ✔0.20 | YES |
|
SK90/ |
YES | 0.465 --0.0 | [err] 1.1 --0.0 | 0.847 --0.0 | 1.637 --0.0 | 1.857 ✔0.53 | YES |
|
SK90/ |
YES | 0.443 --0.0 | [err] 1.318 --0.0 | 0.813 --0.0 | 1.573 --0.0 | 1.714 ✔0.74 | YES |
|
SK90/ |
YES | 0.443 --0.0 | [err] 1.325 --0.0 | 0.959 --0.0 | 1.626 --0.0 | 1.749 ✔0.68 | YES |
|
SK90/ |
NO | timeout | [err] 1.32 --0.0 | 1.17 --0.0 | 1.793 --0.0 | 1.907 ✔0.59 | NO |
|
SK90/ |
YES | 0.492 --0.0 | [err] 0.985 --0.0 | 0.881 --0.0 | 1.607 --0.0 | 1.706 ✔0.55 | YES |
|
SK90/ |
YES | 0.432 --0.0 | [err] 0.966 --0.0 | 0.823 --0.0 | 1.599 --0.0 | 1.723 ✔0.68 | YES |
|
AotoYamada_ |
YES | 0.478 --0.0 | [err] 1.155 --0.0 | 0.713 --0.0 | 1.845 --0.0 | 1.895 ✔0.40 | YES |
|
Transformed_ |
NO | timeout | [err] 1.432 --0.0 | 0.836 --0.0 | 2.235 --0.0 | 2.385 ✔0.22 | NO |
|
SK90/ |
YES | 0.427 --0.0 | [err] 1.22 --0.0 | 0.826 --0.0 | 1.609 --0.0 | 1.708 ✔0.62 | YES |
|
SK90/ |
YES | 0.451 --0.0 | [err] 0.996 --0.0 | 1.337 --0.0 | 1.583 --0.0 | 1.719 ✔0.64 | YES |
|
SK90/ |
YES | 0.743 --0.0 | [err] 0.961 --0.0 | 0.860 --0.0 | 1.585 --0.0 | 1.748 ✔0.83 | YES |
|
SK90/ |
YES | 0.456 --0.0 | [err] 1.12 --0.0 | 0.841 --0.0 | 1.620 --0.0 | 1.714 ✔0.63 | YES |
|
SK90/ |
YES | 0.447 --0.0 | [err] 0.940 --0.0 | 26.755 --0.0 | 1.630 --0.0 | 1.762 ✔0.59 | YES |
|
SK90/ |
YES | 0.361 --0.0 | [err] 1.73 --0.0 | 0.737 --0.0 | 1.525 --0.0 | 1.695 ✔0.20 | YES |
|
SK90/ |
YES | 0.363 --0.0 | [err] 0.924 --0.0 | 0.724 --0.0 | 1.481 --0.0 | 1.668 ✔0.22 | YES |
|
SK90/ |
YES | 0.359 --0.0 | [err] 1.51 --0.0 | 0.760 --0.0 | 1.596 --0.0 | 1.929 ✔0.20 | YES |
|
SK90/ |
YES | 0.473 --0.0 | [err] 0.932 --0.0 | timeout | 1.651 --0.0 | 2.58 ✔0.20 | YES |
|
SK90/ |
YES | 0.356 --0.0 | [err] 0.980 --0.0 | 0.737 --0.0 | 1.588 --0.0 | 1.729 ✔0.31 | YES |
|
AotoYamada_ |
YES | 0.384 --0.0 | [err] 1.8 --0.0 | 19.686 --0.0 | 1.572 --0.0 | 1.692 ✔0.22 | YES |
|
Transformed_ |
YES | 1.852 --0.0 | [err] 1.390 --0.0 | 21.192 --0.0 | 1.502 --0.0 | 1.992 ✔0.20 | YES |
|
SK90/ |
YES | 0.395 --0.0 | [err] 0.939 --0.0 | 0.747 --0.0 | 1.528 --0.0 | 1.666 ✔0.30 | YES |
|
SK90/ |
YES | 0.346 --0.0 | [err] 1.23 --0.0 | 0.731 --0.0 | 1.526 --0.0 | 1.664 ✔0.30 | YES |
|
SK90/ |
YES | 0.360 --0.0 | [err] 1.76 --0.0 | 0.719 --0.0 | 1.505 --0.0 | 1.754 ✔0.21 | YES |
|
SK90/ |
YES | 0.368 --0.0 | [err] 0.998 --0.0 | 0.708 --0.0 | 1.551 --0.0 | 1.769 ✔0.22 | YES |
|
SK90/ |
YES | 0.372 --0.0 | [err] 1.53 --0.0 | 0.739 --0.0 | 1.524 --0.0 | 1.741 ✔0.21 | YES |
|
SK90/ |
YES | timeout | [err] 1.526 --0.0 | 20.698 --0.0 | 1.729 --0.0 | 1.908 ✔0.22 | YES |
|
SK90/ |
YES | 0.373 --0.0 | [err] 0.985 --0.0 | 0.722 --0.0 | 1.452 --0.0 | 1.768 ✔0.21 | YES |
|
SK90/ |
YES | 0.364 --0.0 | [err] 1.101 --0.0 | 0.951 --0.0 | 1.590 --0.0 | 1.947 ✔0.22 | YES |
|
SK90/ |
YES | 0.379 --0.0 | [err] 1.120 --0.0 | 0.771 --0.0 | 1.730 --0.0 | 1.812 ✔0.19 | YES |
|
SK90/ |
YES | 0.414 --0.0 | [err] 1.301 --0.0 | 0.854 --0.0 | 1.814 --0.0 | 2.1 ✔0.24 | YES |
|
AotoYamada_ |
YES | 0.541 --0.0 | [err] 1.223 --0.0 | memout | 1.822 --0.0 | 1.716 ✔0.119 | YES |
|
Transformed_ |
YES | 0.481 --0.0 | [err] 1.73 --0.0 | 1.958 --0.0 | 1.664 --0.0 | 1.784 ✔0.20 | YES |
|
SK90/ |
YES | 0.378 --0.0 | [err] 1.17 --0.0 | 0.717 --0.0 | 1.528 --0.0 | 1.611 ✔0.27 | YES |
|
SK90/ |
YES | 0.439 --0.0 | [err] 1.60 --0.0 | 10.274 --0.0 | 1.650 --0.0 | 1.798 ✔0.32 | YES |
|
SK90/ |
YES | 0.372 --0.0 | [err] 0.952 --0.0 | 0.697 --0.0 | 1.382 --0.0 | 1.572 ✔0.30 | YES |
|
SK90/ |
YES | 3.579 --0.0 | [err] 1.58 --0.0 | 16.565 --0.0 | 2.817 --0.0 | 3.90 ✔0.26 | YES |
|
SK90/ |
YES | 0.499 --0.0 | [err] 0.939 --0.0 | 0.720 --0.0 | 1.515 --0.0 | 1.647 ✔0.24 | YES |
|
SK90/ |
NO | timeout | [err] 0.905 --0.0 | 0.831 --0.0 | 1.494 --0.0 | 1.622 ✔0.58 | NO |
|
SK90/ |
YES | 0.432 --0.0 | [err] 0.892 --0.0 | 0.803 --0.0 | 1.549 --0.0 | 1.638 ✔0.61 | YES |
|
SK90/ |
YES | 0.442 --0.0 | [err] 0.944 --0.0 | 1.37 --0.0 | 1.868 --0.0 | 1.712 ✔0.73 | YES |
|
SK90/ |
YES | 0.439 --0.0 | [err] 0.861 --0.0 | 0.842 --0.0 | 1.518 --0.0 | 1.667 ✔0.66 | YES |
|
SK90/ |
YES | 0.371 --0.0 | [err] 1.11 --0.0 | 0.742 --0.0 | 1.609 --0.0 | 1.724 ✔0.22 | YES |
|
AotoYamada_ |
YES | 0.371 --0.0 | [err] 1.38 --0.0 | 20.913 --0.0 | 1.706 --0.0 | 1.632 ✔0.20 | YES |
|
Transformed_ |
YES | 1.138 --0.0 | [err] 1.165 --0.0 | 23.603 --0.0 | 1.533 --0.0 | 1.691 ✔0.19 | YES |
|
SK90/ |
YES | 0.385 --0.0 | [err] 0.930 --0.0 | 0.748 --0.0 | 1.457 --0.0 | 1.622 ✔0.35 | YES |
|
SK90/ |
NO | timeout | [err] 6.503 --0.0 | 0.788 --0.0 | 1.943 --0.0 | 2.444 ✔0.23 | NO |
|
SK90/ |
YES | 0.390 --0.0 | [err] 0.874 --0.0 | 0.773 --0.0 | 1.516 --0.0 | 1.656 ✔0.22 | YES |
|
SK90/ |
YES | 0.372 --0.0 | [err] 1.20 --0.0 | 21.797 --0.0 | 1.598 --0.0 | 1.745 ✔0.25 | YES |
|
SK90/ |
YES | 0.410 --0.0 | [err] 1.75 --0.0 | 0.828 --0.0 | 1.548 --0.0 | 1.673 ✔0.25 | YES |
|
SK90/ |
YES | 0.404 --0.0 | [err] 0.995 --0.0 | 0.879 --0.0 | 1.449 --0.0 | 1.626 ✔0.22 | YES |
|
SK90/ |
YES | 0.369 --0.0 | [err] 0.936 --0.0 | 0.749 --0.0 | 1.543 --0.0 | 1.691 ✔0.22 | YES |
|
SK90/ |
YES | 0.370 --0.0 | [err] 0.947 --0.0 | 0.754 --0.0 | 1.458 --0.0 | 1.591 ✔0.29 | YES |
|
SK90/ |
YES | 0.388 --0.0 | [err] 1.41 --0.0 | 0.750 --0.0 | 1.816 --0.0 | 1.955 ✔0.23 | YES |
|
SK90/ |
YES | 0.365 --0.0 | [err] 0.988 --0.0 | 0.760 --0.0 | 1.544 --0.0 | 1.684 ✔0.21 | YES |
|
AotoYamada_ |
YES | 0.491 --0.0 | [err] 1.66 --0.0 | 24.861 --0.0 | 1.548 --0.0 | 1.722 ✔0.31 | YES |
|
Transformed_ |
YES | 2.239 --0.0 | [err] 1.220 --0.0 | 23.38 --0.0 | 1.821 --0.0 | 1.932 ✔0.21 | YES |
|
SK90/ |
NO | 0.387 --0.0 | [err] 1.166 --0.0 | 0.932 --0.0 | 1.785 --0.0 | 1.888 ✔0.27 | NO |
|
SK90/ |
YES | 0.375 --0.0 | [err] 1.1 --0.0 | 1.191 --0.0 | 1.643 --0.0 | 1.700 ✔0.21 | YES |
|
SK90/ |
YES | 0.404 --0.0 | [err] 1.28 --0.0 | 0.815 --0.0 | 1.641 --0.0 | 1.831 ✔0.23 | YES |
|
SK90/ |
YES | 0.366 --0.0 | [err] 1.46 --0.0 | 0.720 --0.0 | 1.565 --0.0 | 1.714 ✔0.21 | YES |
|
SK90/ |
YES | 0.367 --0.0 | [err] 0.985 --0.0 | 0.698 --0.0 | 1.501 --0.0 | 1.630 ✔0.21 | YES |
|
SK90/ |
NO | timeout | [err] 1.134 --0.0 | 0.758 --0.0 | 2.531 --0.0 | 2.85 ✔0.21 | NO |
|
SK90/ |
YES | 4.469 --0.0 | [err] 0.901 --0.0 | 0.758 --0.0 | 1.518 --0.0 | 1.684 ✔0.20 | YES |
|
SK90/ |
YES | 0.367 --0.0 | [err] 0.929 --0.0 | 0.689 --0.0 | 1.523 --0.0 | 1.663 ✔0.20 | YES |
|
SK90/ |
YES | 0.366 --0.0 | [err] 1.9 --0.0 | 0.702 --0.0 | 1.577 --0.0 | 1.696 ✔0.40 | YES |
|
SK90/ |
YES | 0.491 --0.0 | [err] 0.913 --0.0 | 0.854 --0.0 | 1.622 --0.0 | 1.764 ✔0.42 | YES |
|
AotoYamada_ |
YES | timeout | [err] 1.468 --0.0 | 27.177 --0.0 | error | error | YES |
|
Transformed_ |
NO | 0.359 --0.0 | [err] 0.845 --0.0 | 0.744 --0.0 | 1.411 --0.0 | 1.597 ✔0.21 | NO |
|
SK90/ |
YES | 0.474 --0.0 | [err] 0.932 --0.0 | 0.986 --0.0 | 1.666 --0.0 | 1.841 ✔0.72 | YES |
|
SK90/ |
YES | 4.932 --0.0 | [err] 1.427 --0.0 | 1.755 --0.0 | 1.919 --0.0 | 2.36 ✔0.21 | YES |
|
Strategy_ |
NO | timeout | [err] 1.60 --0.0 | 0.778 --0.0 | 1.676 --0.0 | 1.704 ✔0.21 | NO |
|
Strategy_ |
NO | 50.699 --0.0 | [err] 1.25 --0.0 | 0.797 --0.0 | 1.810 --0.0 | 1.886 ✔0.25 | NO |
|
Strategy_ |
NO | timeout | [err] 1.67 --0.0 | 0.811 --0.0 | 1.719 --0.0 | 1.820 ✔0.23 | NO |
|
Strategy_ |
NO | timeout | [err] 1.261 --0.0 | 0.842 --0.0 | 1.708 --0.0 | 1.814 ✔0.19 | NO |
|
Strategy_ |
NO | 50.763 --0.0 | [err] 0.964 --0.0 | 0.785 --0.0 | 1.692 --0.0 | 1.814 ✔0.26 | NO |
|
Strategy_ |
NO | timeout | [err] 1.70 --0.0 | 5.817 --0.0 | 1.827 --0.0 | 1.925 ✔0.39 | NO |
|
Strategy_ |
NO | timeout | [err] 1.94 --0.0 | 0.757 --0.0 | 1.509 --0.0 | 1.679 ✔0.26 | NO |
|
Strategy_ |
NO | timeout | [err] 1.170 --0.0 | 0.830 --0.0 | error | error | NO |
|
Applicative_ |
YES | 0.841 --0.0 | [err] 1.847 --0.0 | 0.777 --0.0 | 2.290 --0.0 | 2.305 ✔0.131 | YES |
|
Transformed_ |
YES | 0.395 --0.0 | [err] 1.99 --0.0 | 0.749 --0.0 | 1.486 --0.0 | 1.599 ✔0.18 | YES |
|
Strategy_ |
YES | 0.402 --0.0 | [err] 0.949 --0.0 | 0.772 --0.0 | 1.440 --0.0 | 1.802 ✔0.29 | YES |
|
Strategy_ |
YES | 0.361 --0.0 | [err] 0.929 --0.0 | 0.758 --0.0 | 1.433 --0.0 | 1.811 ✔0.20 | YES |
|
Strategy_ |
YES | 0.378 --0.0 | [err] 0.961 --0.0 | 0.811 --0.0 | 1.472 --0.0 | 1.745 ✔0.50 | YES |
|
Strategy_ |
YES | 0.370 --0.0 | [err] 0.977 --0.0 | 19.591 --0.0 | 1.621 --0.0 | 1.724 ✔0.49 | YES |
|
Strategy_ |
YES | 0.406 --0.0 | [err] 1.24 --0.0 | 25.753 --0.0 | 1.703 --0.0 | 1.845 ✔0.49 | YES |
|
Strategy_ |
YES | 30.710 --0.0 | [err] 1.13 --0.0 | 0.842 --0.0 | 1.672 --0.0 | 1.810 ✔0.26 | YES |
|
Strategy_ |
YES | 0.417 --0.0 | [err] 1.25 --0.0 | 14.259 --0.0 | 1.535 --0.0 | 1.617 ✔0.19 | YES |
|
Strategy_ |
YES | 0.432 --0.0 | [err] 1.77 --0.0 | 30.943 --0.0 | 1.630 --0.0 | 1.778 ✔0.24 | YES |
|
Strategy_ |
YES | 0.387 --0.0 | [err] 0.997 --0.0 | 19.702 --0.0 | 1.509 --0.0 | 1.993 ✔0.21 | YES |
|
Strategy_ |
YES | 0.428 --0.0 | [err] 1.79 --0.0 | 17.292 --0.0 | 1.691 --0.0 | 1.849 ✔0.21 | YES |
|
AG01/ |
YES | 0.478 --0.0 | [err] 1.43 --0.0 | 0.767 --0.0 | 1.560 --0.0 | 1.732 ✔0.20 | YES |
|
Transformed_ |
YES | timeout | [err] 1.298 --0.0 | 19.559 --0.0 | timeout | error | YES |
|
Applicative_ |
MAYBE | timeout | [err] 4.540 --0.0 | 24.505 --0.0 | error | error | MAYBE |
|
Transformed_ |
MAYBE | timeout | [err] 9.643 --0.0 | 12.109 --0.0 | timeout | timeout | MAYBE |
|
Strategy_ |
NO | timeout | [err] 1.96 --0.0 | 4.84 --0.0 | 1.842 --0.0 | 1.916 ✔0.20 | NO |
|
Strategy_ |
YES | 50.746 --0.0 | [err] 0.983 --0.0 | 21.257 --0.0 | 1.784 --0.0 | 1.826 ✔0.60 | YES |
|
Strategy_ |
YES | timeout | [err] 1.332 --0.0 | 9.357 --0.0 | 2.360 --0.0 | 2.341 ✔0.38 | YES |
|
Strategy_ |
YES | timeout | [err] 1.251 --0.0 | 27.398 --0.0 | 2.304 --0.0 | 3.757 ✔0.25 | YES |
|
Strategy_ |
YES | timeout | [err] 1.390 --0.0 | 15.315 --0.0 | 1.633 --0.0 | 4.638 ✔0.91 | YES |
|
Strategy_ |
YES | 0.367 --0.0 | [err] 0.948 --0.0 | 0.666 --0.0 | 2.98 --0.0 | 1.484 ✔0.30 | YES |
|
Strategy_ |
YES | 0.427 --0.0 | [err] 1.11 --0.0 | 18.563 --0.0 | 1.602 --0.0 | 1.681 ✔0.20 | YES |
|
Strategy_ |
YES | 0.438 --0.0 | [err] 0.879 --0.0 | 12.971 --0.0 | 1.484 --0.0 | 1.628 ✔0.22 | YES |
|
Strategy_ |
YES | 0.493 --0.0 | [err] 1.330 --0.0 | 22.665 --0.0 | 1.720 --0.0 | 1.772 ✔0.21 | YES |
|
Strategy_ |
YES | 0.429 --0.0 | [err] 1.162 --0.0 | 20.901 --0.0 | 1.625 --0.0 | 1.910 ✔0.21 | YES |
|
Applicative_ |
YES | 0.850 --0.0 | [err] 1.744 --0.0 | 0.755 --0.0 | 2.209 --0.0 | 2.304 ✔0.121 | YES |
|
Transformed_ |
NO | timeout | [err] 2.661 --0.0 | 0.926 --0.0 | error | error | NO |
|
Strategy_ |
YES | 0.390 --0.0 | [err] 0.921 --0.0 | 3.146 --0.0 | 1.506 --0.0 | 1.703 ✔0.21 | YES |
|
Strategy_ |
YES | 0.424 --0.0 | [err] 1.84 --0.0 | 3.151 --0.0 | 1.581 --0.0 | 2.151 ✔0.37 | YES |
|
Strategy_ |
NO | 50.789 --0.0 | [err] 0.962 --0.0 | 2.359 --0.0 | 1.551 --0.0 | 1.688 ✔0.21 | NO |
|
Strategy_ |
NO | 50.738 --0.0 | [err] 0.961 --0.0 | 0.875 --0.0 | 1.582 --0.0 | 1.702 ✔0.17 | NO |
|
Strategy_ |
NO | 51.58 --0.0 | [err] 0.993 --0.0 | 0.817 --0.0 | 1.706 --0.0 | 1.790 ✔0.31 | NO |
|
Strategy_ |
NO | timeout | [err] 1.269 --0.0 | 0.812 --0.0 | 1.727 --0.0 | 2.432 ✔0.20 | NO |
|
Strategy_ |
NO | timeout | [err] 1.23 --0.0 | 0.834 --0.0 | 1.867 --0.0 | 2.663 ✔0.21 | NO |
|
Strategy_ |
NO | timeout | [err] 1.68 --0.0 | 0.825 --0.0 | 1.851 --0.0 | 2.583 ✔0.21 | NO |
|
Strategy_ |
NO | timeout | [err] 1.197 --0.0 | 1.37 --0.0 | 1.788 --0.0 | 2.549 ✔0.20 | NO |
|
Strategy_ |
NO | 0.343 --0.0 | [err] 1.111 --0.0 | 0.842 --0.0 | 1.763 --0.0 | 2.532 ✔0.21 | NO |
|
Applicative_ |
NO | timeout | [err] 1.282 --0.0 | 0.815 --0.0 | 3.227 --0.0 | 8.143 ✔0.29 | NO |
|
Transformed_ |
MAYBE | timeout | [err] 3.128 --0.0 | 30.982 --0.0 | timeout | error | MAYBE |
|
Strategy_ |
NO | timeout | [err] 1.214 --0.0 | 0.871 --0.0 | 1.878 --0.0 | 1.944 ✔0.22 | NO |
|
Strategy_ |
NO | 50.730 --0.0 | [err] 1.1 --0.0 | 1.84 --0.0 | 1.592 --0.0 | 1.717 ✔0.22 | NO |
|
Strategy_ |
NO | timeout | [err] 1.70 --0.0 | 0.783 --0.0 | 1.896 --0.0 | 2.634 ✔0.20 | NO |
|
Strategy_ |
NO | timeout | [err] 1.16 --0.0 | 0.790 --0.0 | 1.867 --0.0 | 1.851 ✔0.20 | NO |
|
Strategy_ |
NO | timeout | [err] 1.24 --0.0 | 1.509 --0.0 | 1.672 --0.0 | 1.731 ✔0.21 | NO |
|
Strategy_ |
NO | timeout | [err] 1.162 --0.0 | 0.834 --0.0 | 1.768 --0.0 | 2.435 ✔0.21 | NO |
|
Strategy_ |
NO | timeout | [err] 1.97 --0.0 | 0.777 --0.0 | 1.689 --0.0 | 2.482 ✔0.22 | NO |
|
Strategy_ |
NO | timeout | [err] 1.21 --0.0 | 1.355 --0.0 | 1.725 --0.0 | 2.387 ✔0.23 | NO |
|
Strategy_ |
NO | timeout | [err] 1.155 --0.0 | 0.853 --0.0 | 1.739 --0.0 | 2.509 ✔0.21 | NO |
|
Strategy_ |
NO | timeout | [err] 1.122 --0.0 | 0.728 --0.0 | 1.819 --0.0 | 2.584 ✔0.20 | NO |
|
Applicative_ |
MAYBE | timeout | [err] 1.507 --0.0 | 26.304 --0.0 | error | error | MAYBE |
|
Transformed_ |
MAYBE | timeout | [err] 10.981 --0.0 | 26.166 --0.0 | timeout | timeout | MAYBE |
|
Strategy_ |
NO | timeout | [err] 0.986 --0.0 | 0.754 --0.0 | 1.572 --0.0 | 1.696 ✔0.20 | NO |
|
Strategy_ |
NO | timeout | [err] 1.20 --0.0 | 0.835 --0.0 | 1.900 --0.0 | 2.513 ✔0.20 | NO |
|
Strategy_ |
NO | timeout | [err] 1.125 --0.0 | 0.823 --0.0 | 1.740 --0.0 | 2.533 ✔0.20 | NO |
|
Strategy_ |
NO | timeout | [err] 0.992 --0.0 | 1.391 --0.0 | 1.782 --0.0 | 2.582 ✔0.21 | NO |
|
Strategy_ |
NO | 50.585 --0.0 | [err] 0.980 --0.0 | 0.752 --0.0 | 1.973 --0.0 | 2.16 ✔0.21 | NO |
|
Strategy_ |
YES | 0.402 --0.0 | [err] 1.54 --0.0 | 0.740 --0.0 | 1.590 --0.0 | 1.733 ✔0.20 | YES |
|
Strategy_ |
NO | timeout | [err] 1.16 --0.0 | 0.771 --0.0 | 1.697 --0.0 | 2.148 ✔0.20 | NO |
|
Strategy_ |
NO | 0.369 --0.0 | [err] 1.309 --0.0 | 0.814 --0.0 | 2.276 --0.0 | 3.172 ✔0.21 | NO |
|
Strategy_ |
NO | timeout | [err] 0.953 --0.0 | 1.903 --0.0 | 1.693 --0.0 | 2.359 ✔0.19 | NO |
|
Strategy_ |
NO | 0.388 --0.0 | [err] 1.509 --0.0 | 0.809 --0.0 | 2.318 --0.0 | 3.172 ✔0.21 | NO |
|
Applicative_ |
YES | timeout | [err] 1.156 --0.0 | 23.27 --0.0 | 2.80 --0.0 | 1.717 ✔0.21 | YES |
|
Transformed_ |
NO | 0.366 --0.0 | [err] 1.65 --0.0 | 0.769 --0.0 | 1.491 --0.0 | 1.638 ✔0.20 | NO |
|
Strategy_ |
NO | timeout | [err] 0.943 --0.0 | 0.798 --0.0 | 1.759 --0.0 | 2.518 ✔0.21 | NO |
|
Strategy_ |
NO | 50.618 --0.0 | [err] 0.963 --0.0 | 0.759 --0.0 | 1.785 --0.0 | 1.937 ✔0.21 | NO |
|
Strategy_ |
NO | timeout | [err] 0.898 --0.0 | 0.948 --0.0 | 1.846 --0.0 | 2.453 ✔0.71 | NO |
|
Strategy_ |
NO | timeout | [err] 0.955 --0.0 | 0.900 --0.0 | 1.777 --0.0 | 2.429 ✔0.65 | NO |
|
Strategy_ |
NO | timeout | [err] 0.915 --0.0 | 0.943 --0.0 | 1.773 --0.0 | 1.808 ✔0.40 | NO |
|
Strategy_ |
NO | timeout | [err] 0.940 --0.0 | 0.924 --0.0 | 1.793 --0.0 | 2.410 ✔0.53 | NO |
|
Strategy_ |
NO | timeout | [err] 1.393 --0.0 | 0.929 --0.0 | 1.867 --0.0 | 2.499 ✔0.27 | NO |
|
Strategy_ |
NO | 50.585 --0.0 | [err] 0.896 --0.0 | 0.663 --0.0 | 1.368 --0.0 | 1.518 ✔0.22 | NO |
|
Strategy_ |
NO | 50.588 --0.0 | [err] 1.91 --0.0 | 0.923 --0.0 | 1.960 --0.0 | 2.110 ✔0.21 | NO |
|
Strategy_ |
NO | 50.587 --0.0 | [err] 1.55 --0.0 | 0.852 --0.0 | 1.967 --0.0 | 2.129 ✔0.21 | NO |
|
Applicative_ |
YES | 0.662 --0.0 | [err] 1.296 --0.0 | 17.470 --0.0 | 2.556 --0.0 | 2.80 ✔0.101 | YES |
|
Transformed_ |
NO | timeout | [err] 2.845 --0.0 | 1.48 --0.0 | 7.312 --0.0 | 7.559 ✔0.29 | NO |
|
Strategy_ |
NO | timeout | [err] 1.640 --0.0 | 2.180 --0.0 | 1.938 --0.0 | 2.656 ✔0.20 | NO |
|
Strategy_ |
NO | timeout | [err] 1.335 --0.0 | 0.959 --0.0 | 1.997 --0.0 | 2.648 ✔0.21 | NO |
|
Strategy_ |
YES | timeout | [err] 1.426 --0.0 | 38.188 --0.0 | 12.904 --0.0 | 15.391 ✔1.76 | YES |
|
Strategy_ |
NO | 0.822 --0.0 | [err] 1.947 --0.0 | 1.245 --0.0 | 3.677 --0.0 | 2.816 ✔0.151 | NO |
|
Strategy_ |
NO | 0.822 --0.0 | [err] 1.946 --0.0 | 1.251 --0.0 | 3.630 --0.0 | 3.5 ✔0.151 | NO |
|
Strategy_ |
NO | 0.822 --0.0 | [err] 1.948 --0.0 | 1.288 --0.0 | 3.566 --0.0 | 2.817 ✔0.151 | NO |
|
Strategy_ |
NO | 50.886 --0.0 | [err] 1.521 --0.0 | 1.233 --0.0 | 3.502 --0.0 | 2.845 ✔0.151 | NO |
|
Strategy_ |
NO | 0.328 --0.0 | [err] 0.865 --0.0 | 0.831 --0.0 | 2.15 --0.0 | 1.913 ✔0.60 | NO |
|
Strategy_ |
NO | timeout | [err] 0.911 --0.0 | 0.981 --0.0 | 1.850 --0.0 | 1.841 ✔0.54 | NO |
|
Strategy_ |
NO | 0.366 --0.0 | [err] 1.211 --0.0 | 0.894 --0.0 | 1.814 --0.0 | 2.501 ✔0.21 | NO |
|
Applicative_ |
MAYBE | timeout | [err] 1.797 --0.0 | 29.143 --0.0 | error | error | MAYBE |
|
Transformed_ |
YES | 0.451 --0.0 | [err] 1.408 --0.0 | 17.839 --0.0 | 1.827 --0.0 | 1.862 ✔0.30 | YES |
|
Strategy_ |
NO | 50.740 --0.0 | [err] 1.35 --0.0 | 0.919 --0.0 | 1.738 --0.0 | 1.846 ✔0.21 | NO |
|
Strategy_ |
NO | 50.798 --0.0 | [err] 1.108 --0.0 | 1.86 --0.0 | 1.845 --0.0 | 1.868 ✔0.21 | NO |
|
Strategy_ |
NO | 51.6 --0.0 | [err] 1.99 --0.0 | 0.802 --0.0 | 1.466 --0.0 | 1.657 ✔0.22 | NO |
|
Strategy_ |
NO | timeout | [err] 1.112 --0.0 | 0.808 --0.0 | 7.911 --0.0 | 8.108 ✔0.21 | NO |
|
Strategy_ |
NO | 50.797 --0.0 | [err] 1.118 --0.0 | 0.858 --0.0 | 1.841 --0.0 | 1.942 ✔0.22 | NO |
|
Strategy_ |
NO | timeout | [err] 1.19 --0.0 | 1.7 --0.0 | 1.910 --0.0 | 1.949 ✔0.20 | NO |
|
Strategy_ |
NO | timeout | [err] 0.951 --0.0 | 2.55 --0.0 | 3.115 --0.0 | 3.167 ✔0.21 | NO |
|
Strategy_ |
YES | 0.394 --0.0 | [err] 0.986 --0.0 | 1.786 --0.0 | 1.588 --0.0 | 1.780 ✔0.20 | YES |
|
Strategy_ |
NO | timeout | [err] 1.17 --0.0 | 0.778 --0.0 | 1.695 --0.0 | 1.839 ✔0.20 | NO |
|
Strategy_ |
NO | 50.723 --0.0 | [err] 1.17 --0.0 | 0.823 --0.0 | 1.651 --0.0 | 1.910 ✔0.12 | NO |
|
Applicative_ |
MAYBE | timeout | [err] 2.778 --0.0 | 19.653 --0.0 | error | error | MAYBE |
|
Transformed_ |
YES | 0.356 --0.0 | [err] 1.31 --0.0 | 0.859 --0.0 | 1.542 --0.0 | 1.750 ✔0.21 | YES |
|
Strategy_ |
YES | 0.355 --0.0 | [err] 1.12 --0.0 | 1.175 --0.0 | 1.646 --0.0 | 1.814 ✔0.20 | YES |
|
TCT_ |
YES | 0.410 --0.0 | [err] 1.246 --0.0 | 0.813 --0.0 | 1.930 --0.0 | 2.106 ✔0.20 | YES |
|
TCT_ |
YES | 0.385 --0.0 | [err] 1.54 --0.0 | 0.770 --0.0 | 1.528 --0.0 | 1.640 ✔0.20 | YES |
|
TCT_ |
YES | 0.389 --0.0 | [err] 1.214 --0.0 | 0.742 --0.0 | 1.605 --0.0 | 1.728 ✔0.21 | YES |
|
TCT_ |
YES | 0.367 --0.0 | [err] 1.102 --0.0 | 0.713 --0.0 | 1.557 --0.0 | 1.718 ✔0.22 | YES |
|
TCT_ |
YES | 0.380 --0.0 | [err] 1.165 --0.0 | 0.746 --0.0 | 1.582 --0.0 | 1.766 ✔0.20 | YES |
|
Transformed_ |
YES | [err] 8.520 --0.0 | [err] 3.331 --0.0 | 11.73 --0.0 | 1.546 --0.0 | timeout | YES |
|
Transformed_ |
YES | 0.386 --0.0 | [err] 1.152 --0.0 | 29.613 --0.0 | 1.578 --0.0 | 1.733 ✔0.21 | YES |
|
Transformed_ |
YES | [err] 40.372 --0.0 | [err] 1.680 --0.0 | 30.428 --0.0 | 28.757 --0.0 | 26.164 ✔0.80 | YES |
|
Transformed_ |
YES | timeout | [err] 1.833 --0.0 | 24.521 --0.0 | 12.308 --0.0 | 12.6 ✔0.74 | YES |
|
Applicative_ |
YES | 0.428 --0.0 | [err] 1.72 --0.0 | 16.169 --0.0 | 2.64 --0.0 | 1.951 ✔0.109 | YES |
|
Transformed_ |
YES | 17.431 --0.0 | [err] 1.224 --0.0 | 23.930 --0.0 | 2.636 --0.0 | 2.568 ✔0.117 | YES |
|
Transformed_ |
NO | 0.334 --0.0 | [err] 0.840 --0.0 | 0.795 --0.0 | 1.494 --0.0 | 1.558 ✔0.48 | NO |
|
Transformed_ |
YES | 0.352 --0.0 | [err] 1.15 --0.0 | 23.182 --0.0 | 1.644 --0.0 | 1.782 ✔0.48 | YES |
|
Transformed_ |
YES | 0.454 --0.0 | [err] 1.292 --0.0 | 11.796 --0.0 | 1.786 --0.0 | 1.899 ✔0.21 | YES |
|
Transformed_ |
YES | 0.366 --0.0 | [err] 1.28 --0.0 | 0.719 --0.0 | 1.439 --0.0 | 1.665 ✔0.21 | YES |
|
Transformed_ |
YES | 0.607 --0.0 | [err] 1.5 --0.0 | 20.859 --0.0 | 1.961 --0.0 | 2.198 ✔0.21 | YES |
|
Transformed_ |
YES | 0.827 --0.0 | [err] 1.54 --0.0 | 24.421 --0.0 | 2.441 --0.0 | 2.661 ✔0.22 | YES |
|
Transformed_ |
NO | 0.354 --0.0 | [err] 0.851 --0.0 | 0.719 --0.0 | 1.305 --0.0 | 1.608 ✔0.21 | NO |
|
Transformed_ |
YES | 0.364 --0.0 | [err] 0.997 --0.0 | 0.718 --0.0 | 1.423 --0.0 | 1.667 ✔0.21 | YES |
|
Transformed_ |
YES | timeout | [err] 2.178 --0.0 | 9.993 --0.0 | 1.434 --0.0 | error | YES |
|
Transformed_ |
NO | timeout | [err] 1.200 --0.0 | 1.100 --0.0 | 8.293 --0.0 | 8.846 ✔0.20 | NO |
|
Applicative_ |
MAYBE | timeout | [err] 1.543 --0.0 | 35.464 --0.0 | error | error | MAYBE |
|
Transformed_ |
YES | 32.779 --0.0 | [err] 1.435 --0.0 | 30.246 --0.0 | 4.103 --0.0 | 4.236 ✔0.31 | YES |
|
Transformed_ |
YES | 0.411 --0.0 | [err] 1.28 --0.0 | 18.748 --0.0 | 1.526 --0.0 | 1.837 ✔0.21 | YES |
|
Transformed_ |
YES | 0.773 --0.0 | [err] 1.196 --0.0 | 19.170 --0.0 | 2.19 --0.0 | 2.208 ✔0.21 | YES |
|
Transformed_ |
NO | timeout | [err] 0.992 --0.0 | 0.779 --0.0 | 1.923 --0.0 | 1.987 ✔0.21 | NO |
|
Transformed_ |
NO | timeout | [err] 1.156 --0.0 | 0.889 --0.0 | 2.150 --0.0 | 2.339 ✔0.21 | NO |
|
Transformed_ |
YES | timeout | [err] 6.279 --0.0 | 12.469 --0.0 | 1.648 --0.0 | timeout | YES |
|
Transformed_ |
NO | timeout | [err] 1.12 --0.0 | 0.779 --0.0 | 2.5 --0.0 | 1.857 ✔0.21 | NO |
|
Transformed_ |
NO | timeout | [err] 1.108 --0.0 | 0.882 --0.0 | error | error | NO |
|
Transformed_ |
NO | timeout | [err] 3.715 --0.0 | 1.837 --0.0 | timeout | timeout | NO |
|
Transformed_ |
NO | timeout | [err] 1.0 --0.0 | 0.789 --0.0 | 1.834 --0.0 | 1.794 ✔0.22 | NO |
|
Transformed_ |
YES | timeout | [err] 1.428 --0.0 | 9.668 --0.0 | 1.425 --0.0 | 3.6 ✔0.21 | YES |
|
AG01/ |
YES | timeout | [err] 1.181 --0.0 | 0.820 --0.0 | 1.724 --0.0 | 1.856 ✔0.21 | YES |
|
Transformed_ |
YES | 0.476 --0.0 | [err] 1.377 --0.0 | 9.216 --0.0 | 1.543 --0.0 | 2.323 ✔0.32 | YES |
|
Applicative_ |
YES | timeout | [err] 1.217 --0.0 | 21.339 --0.0 | timeout | 55.469 ✔0.90 | YES |
|
Transformed_ |
NO | 0.328 --0.0 | [err] 0.928 --0.0 | 0.704 --0.0 | 1.392 --0.0 | 1.493 ✔0.20 | NO |
|
Transformed_ |
YES | 0.359 --0.0 | [err] 1.4 --0.0 | 0.718 --0.0 | 1.456 --0.0 | 1.843 ✔0.21 | YES |
|
Transformed_ |
YES | 0.357 --0.0 | [err] 0.964 --0.0 | 0.695 --0.0 | 1.422 --0.0 | 1.836 ✔0.20 | YES |
|
Transformed_ |
YES | 0.359 --0.0 | [err] 0.895 --0.0 | 23.316 --0.0 | 1.606 --0.0 | 2.376 ✔0.22 | YES |
|
Transformed_ |
NO | 50.527 --0.0 | [err] 0.697 --0.0 | 0.897 --0.0 | 1.834 --0.0 | 1.762 ✔0.34 | NO |
|
Transformed_ |
YES | 0.335 --0.0 | [err] 0.995 --0.0 | 0.728 --0.0 | 1.441 --0.0 | 1.740 ✔0.21 | YES |
|
Transformed_ |
YES | 0.492 --0.0 | [err] 1.452 --0.0 | 14.329 --0.0 | 1.568 --0.0 | 2.370 ✔0.32 | YES |
|
Transformed_ |
YES | 1.265 --0.0 | [err] 1.13 --0.0 | 28.767 --0.0 | 2.258 --0.0 | 2.106 ✔0.22 | YES |
|
Transformed_ |
YES | 0.477 --0.0 | [err] 1.275 --0.0 | 26.481 --0.0 | 1.665 --0.0 | 1.816 ✔0.22 | YES |
|
Transformed_ |
YES | 0.695 --0.0 | [err] 1.436 --0.0 | 25.486 --0.0 | 2.590 --0.0 | 2.763 ✔0.31 | YES |
|
Transformed_ |
NO | 0.362 --0.0 | [err] 0.881 --0.0 | 0.736 --0.0 | 1.430 --0.0 | 1.560 ✔0.21 | NO |
|
Applicative_ |
YES | timeout | [err] 1.169 --0.0 | 18.906 --0.0 | 1.421 --0.0 | 1.792 ✔0.41 | YES |
|
Transformed_ |
YES | 0.334 --0.0 | [err] 0.992 --0.0 | 0.656 --0.0 | 1.510 --0.0 | 1.861 ✔0.20 | YES |
|
Transformed_ |
YES | 0.423 --0.0 | [err] 1.87 --0.0 | 25.898 --0.0 | 1.600 --0.0 | 1.785 ✔0.21 | YES |
|
Transformed_ |
YES | timeout | [err] 2.742 --0.0 | 18.678 --0.0 | 1.574 --0.0 | 16.255 ✔0.31 | YES |
|
Transformed_ |
YES | 0.371 --0.0 | [err] 0.990 --0.0 | 0.783 --0.0 | 1.671 --0.0 | 1.786 ✔0.21 | YES |
|
Transformed_ |
YES | 0.359 --0.0 | [err] 1.183 --0.0 | 0.771 --0.0 | 1.822 --0.0 | 1.890 ✔0.30 | YES |
|
Transformed_ |
YES | timeout | [err] 1.245 --0.0 | memout | 1.772 --0.0 | 2.174 ✔0.21 | YES |
|
Transformed_ |
NO | timeout | [err] 0.986 --0.0 | 0.766 --0.0 | 1.724 --0.0 | 1.888 ✔0.20 | NO |
|
Transformed_ |
YES | 0.421 --0.0 | [err] 1.77 --0.0 | 8.921 --0.0 | 1.511 --0.0 | 2.418 ✔0.22 | YES |
|
Transformed_ |
YES | 0.359 --0.0 | [err] 0.964 --0.0 | 0.719 --0.0 | 1.457 --0.0 | 1.823 ✔0.21 | YES |
|
Transformed_ |
YES | 0.363 --0.0 | [err] 0.997 --0.0 | 0.753 --0.0 | 1.414 --0.0 | 1.862 ✔0.22 | YES |
|
Transformed_ |
YES | 0.403 --0.0 | [err] 1.22 --0.0 | 18.221 --0.0 | 1.454 --0.0 | 2.463 ✔0.23 | YES |
|
Applicative_ |
MAYBE | timeout | [err] 2.179 --0.0 | 20.332 --0.0 | error | error | MAYBE |
|
Transformed_ |
YES | 0.404 --0.0 | [err] 0.999 --0.0 | 0.858 --0.0 | 1.340 --0.0 | 2.664 ✔0.20 | YES |
|
Transformed_ |
YES | 0.356 --0.0 | [err] 0.940 --0.0 | 0.745 --0.0 | 1.453 --0.0 | 1.566 ✔0.22 | YES |
|
Transformed_ |
YES | 0.365 --0.0 | [err] 0.963 --0.0 | 0.729 --0.0 | 1.455 --0.0 | 1.591 ✔0.22 | YES |
|
Transformed_ |
YES | 4.293 --0.0 | [err] 2.164 --0.0 | 11.666 --0.0 | 1.537 --0.0 | 15.25 ✔0.32 | YES |
|
Transformed_ |
NO | timeout | [err] 1.754 --0.0 | 16.236 --0.0 | 23.406 --0.0 | 23.917 ✔0.20 | NO |
|
Transformed_ |
YES | 0.356 --0.0 | [err] 0.981 --0.0 | 0.874 --0.0 | 1.668 --0.0 | 2.230 ✔0.33 | YES |
|
Transformed_ |
YES | 0.935 --0.0 | [err] 1.94 --0.0 | 20.924 --0.0 | 2.298 --0.0 | 3.618 ✔0.46 | YES |
|
Transformed_ |
NO | 0.363 --0.0 | [err] 0.929 --0.0 | 0.932 --0.0 | 2.116 --0.0 | 2.261 ✔0.22 | NO |
|
Transformed_ |
NO | timeout | [err] 2.398 --0.0 | 5.849 --0.0 | 11.330 --0.0 | 11.855 ✔0.22 | NO |
|
Transformed_ |
MAYBE | timeout | [err] 4.385 --0.0 | 12.149 --0.0 | timeout | error | MAYBE |
|
Transformed_ |
MAYBE | timeout | [err] 1.677 --0.0 | 19.904 --0.0 | timeout | error | MAYBE |
|
Applicative_ |
MAYBE | timeout | [err] 2.489 --0.0 | 18.30 --0.0 | error | error | MAYBE |
|
Transformed_ |
NO | timeout | [err] 1.76 --0.0 | 0.790 --0.0 | 1.854 --0.0 | 2.691 ✔0.19 | NO |
|
Transformed_ |
MAYBE | timeout | [err] 1.493 --0.0 | 24.655 --0.0 | error | error | MAYBE |
|
Transformed_ |
MAYBE | timeout | timeout | 22.156 --0.0 | timeout | timeout | MAYBE |
|
Transformed_ |
NO | 0.311 --0.0 | [err] 0.892 --0.0 | 0.728 --0.0 | 1.298 --0.0 | 1.368 ✔0.19 | NO |
|
Transformed_ |
NO | 0.311 --0.0 | [err] 1.163 --0.0 | 0.946 --0.0 | 1.589 --0.0 | 1.619 ✔0.19 | NO |
|
Transformed_ |
YES | timeout | [err] 3.518 --0.0 | 23.968 --0.0 | 1.550 --0.0 | 24.175 ✔0.30 | YES |
|
Transformed_ |
NO | 50.723 --0.0 | [err] 1.24 --0.0 | 0.767 --0.0 | 1.591 --0.0 | 1.776 ✔0.23 | NO |
|
Transformed_ |
NO | timeout | [err] 1.150 --0.0 | 0.875 --0.0 | 1.938 --0.0 | 2.8 ✔0.22 | NO |
|
Transformed_ |
NO | timeout | timeout | 11.122 --0.0 | 3.28 --0.0 | 3.198 ✔0.22 | NO |
|
Transformed_ |
NO | 0.373 --0.0 | [err] 0.912 --0.0 | 0.755 --0.0 | 2.44 --0.0 | 2.74 ✔0.15 | NO |
|
Transformed_ |
YES | timeout | [err] 1.786 --0.0 | 10.964 --0.0 | 1.621 --0.0 | error | YES |
|
Applicative_ |
YES | 0.359 --0.0 | [err] 1.64 --0.0 | 19.832 --0.0 | 1.550 --0.0 | 1.599 ✔0.21 | YES |
|
Transformed_ |
YES | 0.374 --0.0 | [err] 1.115 --0.0 | 0.694 --0.0 | 1.349 --0.0 | 1.719 ✔0.31 | YES |
|
Transformed_ |
YES | 0.464 --0.0 | [err] 1.102 --0.0 | 27.853 --0.0 | 1.742 --0.0 | 1.845 ✔0.23 | YES |
|
Transformed_ |
YES | timeout | [err] 1.101 --0.0 | 22.485 --0.0 | timeout | timeout | YES |
|
Transformed_ |
YES | timeout | [err] 1.399 --0.0 | 24.875 --0.0 | timeout | error | YES |
|
Transformed_ |
NO | 0.352 --0.0 | [err] 0.873 --0.0 | 0.719 --0.0 | 1.364 --0.0 | 1.516 ✔0.21 | NO |
|
Transformed_ |
YES | 0.381 --0.0 | [err] 1.102 --0.0 | 25.296 --0.0 | 1.639 --0.0 | 1.826 ✔0.22 | YES |
|
Transformed_ |
YES | 1.235 --0.0 | [err] 1.394 --0.0 | 12.502 --0.0 | 1.523 --0.0 | 2.407 ✔0.31 | YES |
|
Transformed_ |
NO | timeout | [err] 1.111 --0.0 | 1.520 --0.0 | 2.499 --0.0 | 2.461 ✔0.33 | NO |
|
Transformed_ |
YES | 1.234 --0.0 | [err] 1.354 --0.0 | 28.177 --0.0 | 2.549 --0.0 | 2.370 ✔0.18 | YES |
|
Transformed_ |
YES | 2.501 --0.0 | [err] 1.250 --0.0 | 20.914 --0.0 | 2.400 --0.0 | 2.707 ✔0.36 | YES |
|
Transformed_ |
NO | 0.353 --0.0 | [err] 0.896 --0.0 | 0.740 --0.0 | 1.464 --0.0 | 1.585 ✔0.22 | NO |
|
Applicative_ |
YES | timeout | [err] 1.324 --0.0 | 16.340 --0.0 | 4.518 --0.0 | 4.423 ✔0.52 | YES |
|
Transformed_ |
YES | 0.426 --0.0 | [err] 1.28 --0.0 | 23.497 --0.0 | 1.522 --0.0 | 1.952 ✔0.22 | YES |
|
Transformed_ |
NO | 0.352 --0.0 | [err] 1.112 --0.0 | 1.178 --0.0 | 2.22 --0.0 | 2.131 ✔0.20 | NO |
|
Transformed_ |
YES | timeout | [err] 1.230 --0.0 | 0.984 --0.0 | 2.775 --0.0 | 2.959 ✔0.21 | YES |
|
Transformed_ |
NO | timeout | [err] 1.49 --0.0 | 0.824 --0.0 | 2.27 --0.0 | 2.156 ✔0.20 | NO |
|
Transformed_ |
YES | 0.395 --0.0 | [err] 1.17 --0.0 | 0.795 --0.0 | 1.448 --0.0 | 1.748 ✔0.21 | YES |
|
Transformed_ |
YES | 0.417 --0.0 | [err] 0.927 --0.0 | 18.753 --0.0 | 1.414 --0.0 | 1.743 ✔0.21 | YES |
|
Transformed_ |
NO | timeout | [err] 0.950 --0.0 | 0.769 --0.0 | 1.810 --0.0 | 1.809 ✔0.20 | NO |
|
Transformed_ |
YES | 0.422 --0.0 | [err] 1.5 --0.0 | 11.180 --0.0 | 1.513 --0.0 | 2.789 ✔0.21 | YES |
|
Transformed_ |
YES | 0.359 --0.0 | [err] 0.956 --0.0 | 0.741 --0.0 | 1.513 --0.0 | 1.873 ✔0.22 | YES |
|
Transformed_ |
YES | 0.345 --0.0 | [err] 0.926 --0.0 | 0.737 --0.0 | 1.499 --0.0 | 2.5 ✔0.21 | YES |
|
Transformed_ |
YES | 0.415 --0.0 | [err] 1.62 --0.0 | 18.948 --0.0 | 1.511 --0.0 | 2.158 ✔0.21 | YES |
|
Applicative_ |
NO | timeout | [err] 3.492 --0.0 | 0.888 --0.0 | 2.479 --0.0 | 2.640 ✔0.192 | NO |
|
Transformed_ |
YES | 0.369 --0.0 | [err] 0.942 --0.0 | 0.644 --0.0 | 1.509 --0.0 | 1.614 ✔0.20 | YES |
|
Transformed_ |
YES | 0.354 --0.0 | [err] 0.898 --0.0 | 0.729 --0.0 | 1.398 --0.0 | 1.537 ✔0.21 | YES |
|
Transformed_ |
YES | 0.349 --0.0 | [err] 0.997 --0.0 | 0.717 --0.0 | 1.493 --0.0 | 1.576 ✔0.20 | YES |
|
Transformed_ |
YES | timeout | [err] 6.60 --0.0 | 22.88 --0.0 | 1.590 --0.0 | timeout | YES |
|
Transformed_ |
NO | timeout | [err] 1.41 --0.0 | 0.823 --0.0 | error | timeout | NO |
|
Transformed_ |
NO | 50.714 --0.0 | [err] 1.527 --0.0 | 0.824 --0.0 | 8.373 --0.0 | 6.997 ✔0.21 | NO |
|
Transformed_ |
NO | timeout | timeout | 25.47 --0.0 | error | error | NO |
|
Transformed_ |
NO | 0.365 --0.0 | [err] 0.829 --0.0 | 0.727 --0.0 | 1.917 --0.0 | 1.907 ✔0.20 | NO |
|
Transformed_ |
NO | 50.696 --0.0 | [err] 0.915 --0.0 | 0.866 --0.0 | 12.106 --0.0 | 11.769 ✔0.21 | NO |
|
Transformed_ |
YES | timeout | [err] 1.534 --0.0 | 24.39 --0.0 | 1.473 --0.0 | 18.189 ✔0.31 | YES |
|
Transformed_ |
NO | 50.632 --0.0 | [err] 0.883 --0.0 | 0.909 --0.0 | 1.599 --0.0 | 1.589 ✔0.21 | NO |
|
Applicative_ |
YES | timeout | [err] 1.120 --0.0 | 20.982 --0.0 | 1.645 --0.0 | 1.689 ✔0.21 | YES |
|
Transformed_ |
YES | 0.456 --0.0 | [err] 1.349 --0.0 | 8.297 --0.0 | 1.583 --0.0 | 2.466 ✔0.21 | YES |
|
Transformed_ |
NO | 36.537 --0.0 | [err] 0.898 --0.0 | 0.855 --0.0 | 1.663 --0.0 | 1.651 ✔0.22 | NO |
|
Transformed_ |
NO | timeout | timeout | 0.989 --0.0 | 3.254 --0.0 | 3.277 ✔0.21 | NO |
|
Transformed_ |
NO | 50.650 --0.0 | [err] 0.866 --0.0 | 0.729 --0.0 | 1.716 --0.0 | 1.806 ✔0.19 | NO |
|
Transformed_ |
YES | 0.438 --0.0 | [err] 1.237 --0.0 | 0.831 --0.0 | 1.547 --0.0 | 3.254 ✔0.18 | YES |
|
Transformed_ |
YES | 0.432 --0.0 | [err] 1.64 --0.0 | 20.425 --0.0 | 2.957 --0.0 | 2.939 ✔0.21 | YES |
|
Transformed_ |
YES | 0.336 --0.0 | [err] 1.10 --0.0 | 0.750 --0.0 | 1.438 --0.0 | 2.66 ✔0.21 | YES |
|
Transformed_ |
YES | 0.454 --0.0 | [err] 1.81 --0.0 | 21.14 --0.0 | 3.693 --0.0 | 3.936 ✔0.23 | YES |
|
Transformed_ |
YES | 0.355 --0.0 | [err] 0.910 --0.0 | 0.727 --0.0 | 1.468 --0.0 | 1.630 ✔0.21 | YES |
|
Transformed_ |
YES | 0.397 --0.0 | [err] 1.558 --0.0 | 0.735 --0.0 | 1.526 --0.0 | 1.862 ✔0.18 | YES |
|
Transformed_ |
YES | 0.491 --0.0 | [err] 1.634 --0.0 | 9.238 --0.0 | 1.572 --0.0 | 2.791 ✔0.31 | YES |
|
Applicative_ |
YES | timeout | [err] 1.418 --0.0 | 19.41 --0.0 | 1.729 --0.0 | 1.822 ✔0.21 | YES |
|
Transformed_ |
YES | 0.473 --0.0 | [err] 1.149 --0.0 | 3.650 --0.0 | 1.875 --0.0 | 1.976 ✔0.28 | YES |
|
Transformed_ |
YES | timeout | [err] 1.373 --0.0 | 21.503 --0.0 | 2.843 --0.0 | 2.959 ✔0.22 | YES |
|
Transformed_ |
YES | 0.497 --0.0 | [err] 1.301 --0.0 | 23.698 --0.0 | 1.853 --0.0 | 2.0 ✔0.21 | YES |
|
Transformed_ |
YES | 0.681 --0.0 | [err] 1.283 --0.0 | 24.695 --0.0 | 3.70 --0.0 | 3.331 ✔0.32 | YES |
|
Transformed_ |
YES | 0.367 --0.0 | [err] 1.11 --0.0 | 0.773 --0.0 | 1.677 --0.0 | 1.765 ✔0.21 | YES |
|
Transformed_ |
YES | 22.400 --0.0 | [err] 1.126 --0.0 | 15.585 --0.0 | 2.124 --0.0 | 2.233 ✔0.20 | YES |
|
Transformed_ |
YES | timeout | [err] 1.929 --0.0 | 8.471 --0.0 | 1.544 --0.0 | 2.440 ✔0.30 | YES |
|
Transformed_ |
YES | 0.452 --0.0 | [err] 1.47 --0.0 | 19.675 --0.0 | 1.625 --0.0 | 1.731 ✔0.21 | YES |
|
Transformed_ |
YES | timeout | [err] 1.440 --0.0 | 26.518 --0.0 | 2.91 --0.0 | 2.283 ✔0.21 | YES |
|
Transformed_ |
YES | timeout | [err] 1.663 --0.0 | 26.290 --0.0 | 2.643 --0.0 | 2.948 ✔0.32 | YES |
|
Transformed_ |
YES | 0.365 --0.0 | [err] 1.132 --0.0 | 0.725 --0.0 | 1.563 --0.0 | 1.807 ✔0.22 | YES |
|
Applicative_ |
NO | timeout | [err] 1.344 --0.0 | 0.888 --0.0 | 3.789 --0.0 | error | NO |
|
Transformed_ |
YES | 0.428 --0.0 | [err] 1.72 --0.0 | 2.135 --0.0 | 1.768 --0.0 | 1.912 ✔0.21 | YES |
|
Transformed_ |
YES | 0.370 --0.0 | [err] 1.82 --0.0 | 0.930 --0.0 | 1.672 --0.0 | 1.786 ✔0.21 | YES |
|
Transformed_ |
YES | 0.426 --0.0 | [err] 1.224 --0.0 | 11.774 --0.0 | 1.428 --0.0 | 2.382 ✔0.30 | YES |
|
Transformed_ |
YES | 0.530 --0.0 | [err] 0.956 --0.0 | 23.802 --0.0 | 1.649 --0.0 | 1.756 ✔0.20 | YES |
|
Transformed_ |
YES | 0.504 --0.0 | [err] 1.170 --0.0 | 21.59 --0.0 | 2.381 --0.0 | 2.375 ✔0.21 | YES |
|
Transformed_ |
YES | 0.599 --0.0 | [err] 1.290 --0.0 | 28.624 --0.0 | 2.160 --0.0 | 2.376 ✔0.32 | YES |
|
Transformed_ |
YES | 0.377 --0.0 | [err] 1.2 --0.0 | 0.790 --0.0 | 1.597 --0.0 | 1.722 ✔0.22 | YES |
|
Transformed_ |
YES | 0.453 --0.0 | [err] 1.127 --0.0 | 23.473 --0.0 | 1.721 --0.0 | 1.866 ✔0.21 | YES |
|
Transformed_ |
YES | timeout | [err] 1.513 --0.0 | 11.283 --0.0 | 1.724 --0.0 | error | YES |
|
Transformed_ |
YES | 0.371 --0.0 | [err] 1.51 --0.0 | 20.772 --0.0 | 1.520 --0.0 | 1.615 ✔0.19 | YES |
|
Transformed_ |
YES | timeout | [err] 1.148 --0.0 | 20.890 --0.0 | timeout | timeout | YES |
| 1,437.00 | 789.00 | 1,046.00 | 560.00 | 1,302.00 | 1,208.00 |