TermCOMP 2025: TRS Standard Showing results.

benchmark VBS MU-TERM 2025 NaTT NTI25 AProVE25 AProVE25 (cert) ~Y2024
AG01/#3.10.ari if YES 0.598 --0.0 [err] 1.319 --0.0 28.192 --0.0 1.910 --0.0 2.510.75 YES
Transformed_CSR_04/Ex3_12_Luc96a_L.ari f NO 0.342 --0.0 [err] 0.837 --0.0 0.776 --0.0 1.439 --0.0 1.5500.22 NO
AG01/#3.1.ari f YES 0.478 --0.0 [err] 1.35 --0.0 0.864 --0.0 1.613 --0.0 1.7190.21 YES
Transformed_CSR_04/Ex3_3_25_Bor03_FR.ari if NO timeout [err] 1.454 --0.0 1.277 --0.0 14.634 --0.0 15.600.46 NO
Applicative_05/ReverseLastInit.ari f YES 0.416 --0.0 [err] 1.169 --0.0 17.313 --0.0 1.547 --0.0 1.7410.21 YES
Transformed_CSR_04/Ex6_Luc98_iGM.ari f YES 0.428 --0.0 [err] 1.240 --0.0 0.928 --0.0 1.904 --0.0 1.9870.22 YES
Transformed_CSR_04/Ex3_12_Luc96a_iGM.ari if YES timeout [err] 1.448 --0.0 20.558 --0.0 timeout error YES
Applicative_05/TakeDropWhile.ari if YES 0.409 --0.0 [err] 1.176 --0.0 15.397 --0.0 1.689 --0.0 1.6760.30 YES
Transformed_CSR_04/Ex6_Luc98_L.ari f YES 0.346 --0.0 [err] 0.924 --0.0 0.726 --0.0 1.460 --0.0 1.5890.18 YES
Applicative_05/termMonTypes.ari if NO timeout [err] 1.156 --0.0 0.862 --0.0 2.260 --0.0 2.3280.111 NO
Transformed_CSR_04/Ex6_Luc98_Z.ari f YES 0.339 --0.0 [err] 0.997 --0.0 2.331 --0.0 1.525 --0.0 1.6660.20 YES
Applicative_05/TreeFlatten.ari if YES timeout [err] 1.126 --0.0 17.958 --0.0 1.591 --0.0 1.7830.20 YES
Transformed_CSR_04/Ex7_BLR02_C.ari if YES timeout [err] 2.148 --0.0 17.286 --0.0 1.566 --0.0 error YES
Applicative_05/TreeHeight.ari if YES 0.381 --0.0 [err] 1.111 --0.0 17.726 --0.0 1.586 --0.0 1.6840.20 YES
Transformed_CSR_04/Ex7_BLR02_FR.ari if YES 0.476 --0.0 [err] 1.102 --0.0 18.978 --0.0 1.632 --0.0 1.7700.20 YES
Applicative_05/TreeLevels.ari if YES 51.228 --0.0 [err] 1.64 --0.0 24.54 --0.0 2.8 --0.0 1.7280.20 YES
Transformed_CSR_04/Ex7_BLR02_GM.ari if YES timeout [err] 1.218 --0.0 13.712 --0.0 error error YES
Applicative_05/TreeMap.ari if YES 0.413 --0.0 [err] 1.55 --0.0 20.151 --0.0 1.567 --0.0 1.7930.30 YES
Transformed_CSR_04/Ex7_BLR02_iGM.ari if YES timeout [err] 1.725 --0.0 25.12 --0.0 timeout timeout YES
Applicative_05/TreeSize.ari if YES timeout [err] 1.59 --0.0 29.838 --0.0 1.477 --0.0 1.8420.21 YES
Transformed_CSR_04/Ex7_BLR02_L.ari f NO 0.339 --0.0 [err] 0.812 --0.0 0.767 --0.0 1.394 --0.0 1.5080.21 NO
Applicative_05/TypeEx1.ari if YES 0.482 --0.0 [err] 1.174 --0.0 10.908 --0.0 1.976 --0.0 2.3390.142 YES
Transformed_CSR_04/Ex7_BLR02_Z.ari if YES 0.480 --0.0 [err] 1.184 --0.0 16.298 --0.0 2.266 --0.0 1.9390.110 YES
Applicative_05/TypeEx3.ari f NO 0.356 --0.0 [err] 1.489 --0.0 0.797 --0.0 2.742 --0.0 2.6680.20 NO
Transformed_CSR_04/Ex8_BLR02_C.ari if YES timeout [err] 2.121 --0.0 10.540 --0.0 1.804 --0.0 error YES
AG01/#3.21.ari if YES 0.489 --0.0 [err] 1.18 --0.0 11.636 --0.0 1.559 --0.0 1.7030.71 YES
Transformed_CSR_04/Ex3_3_25_Bor03_GM.ari if YES 0.532 --0.0 [err] 1.111 --0.0 24.910 --0.0 1.843 --0.0 1.9830.47 YES
Applicative_05/TypeEx5.ari if NO timeout [err] 1.99 --0.0 1.35 --0.0 2.100 --0.0 2.1430.113 NO
Transformed_CSR_04/Ex8_BLR02_FR.ari if YES 0.460 --0.0 [err] 1.177 --0.0 19.536 --0.0 1.755 --0.0 2.70.81 YES
Applicative_first_order_05/01.ari if YES 0.406 --0.0 [err] 1.297 --0.0 25.394 --0.0 1.743 --0.0 1.9220.22 YES
Transformed_CSR_04/Ex8_BLR02_GM.ari if YES timeout [err] 1.288 --0.0 32.72 --0.0 error error YES
Applicative_first_order_05/02.ari if YES 0.405 --0.0 [err] 1.209 --0.0 25.354 --0.0 1.692 --0.0 1.9770.21 YES
Transformed_CSR_04/Ex8_BLR02_iGM.ari if YES timeout [err] 1.741 --0.0 29.428 --0.0 timeout error YES
Applicative_first_order_05/06.ari if YES 0.421 --0.0 [err] 1.316 --0.0 18.707 --0.0 1.833 --0.0 1.8800.41 YES
Transformed_CSR_04/Ex8_BLR02_L.ari f NO 0.349 --0.0 [err] 1.61 --0.0 0.860 --0.0 1.532 --0.0 1.7240.20 NO
Applicative_first_order_05/08.ari if YES 0.410 --0.0 [err] 1.374 --0.0 20.631 --0.0 1.818 --0.0 1.9710.22 YES
Transformed_CSR_04/Ex8_BLR02_Z.ari if YES 0.362 --0.0 [err] 1.108 --0.0 28.412 --0.0 1.901 --0.0 1.8170.32 YES
Applicative_first_order_05/11.ari if YES 0.680 --0.0 [err] 1.629 --0.0 25.978 --0.0 2.188 --0.0 2.4520.169 YES
Transformed_CSR_04/Ex9_BLR02_C.ari if YES 0.665 --0.0 [err] 1.848 --0.0 19.585 --0.0 1.740 --0.0 2.6090.168 YES
Applicative_first_order_05/12.ari if YES timeout [err] 1.156 --0.0 28.711 --0.0 1.818 --0.0 2.90.21 YES
Transformed_CSR_04/Ex9_BLR02_FR.ari if YES timeout [err] 1.184 --0.0 22.513 --0.0 2.831 --0.0 3.9740.32 YES
Applicative_first_order_05/13.ari if YES timeout [err] 1.790 --0.0 17.707 --0.0 14.74 --0.0 15.8310.33 YES
Transformed_CSR_04/Ex9_BLR02_GM.ari if YES 0.472 --0.0 [err] 1.212 --0.0 22.205 --0.0 2.321 --0.0 2.6890.23 YES
Applicative_first_order_05/17.ari if YES timeout [err] 1.276 --0.0 38.209 --0.0 2.197 --0.0 2.2290.24 YES
Transformed_CSR_04/Ex9_BLR02_iGM.ari f YES 0.621 --0.0 [err] 1.379 --0.0 19.987 --0.0 3.901 --0.0 3.3190.34 YES
Applicative_first_order_05/18.ari if YES 0.404 --0.0 [err] 1.241 --0.0 16.304 --0.0 1.619 --0.0 1.7370.21 YES
Transformed_CSR_04/Ex9_BLR02_L.ari f YES 0.359 --0.0 [err] 0.990 --0.0 0.859 --0.0 1.518 --0.0 1.6500.20 YES
AG01/#3.22.ari if YES 0.648 --0.0 [err] 1.154 --0.0 22.927 --0.0 1.616 --0.0 1.7520.60 YES
Transformed_CSR_04/Ex3_3_25_Bor03_iGM.ari f YES 0.573 --0.0 [err] 1.256 --0.0 2.395 --0.0 2.225 --0.0 2.3100.32 YES
Applicative_first_order_05/21.ari if YES timeout [err] 1.761 --0.0 15.261 --0.0 2.755 --0.0 2.2070.161 YES
Transformed_CSR_04/Ex9_BLR02_Z.ari if YES 0.436 --0.0 [err] 1.106 --0.0 15.455 --0.0 1.784 --0.0 1.8810.21 YES
Applicative_first_order_05/29.ari if YES timeout [err] 1.125 --0.0 17.165 --0.0 1.685 --0.0 1.7600.21 YES
Transformed_CSR_04/Ex9_Luc04_C.ari if YES timeout [err] 2.562 --0.0 21.207 --0.0 1.569 --0.0 timeout YES
Applicative_first_order_05/30.ari if YES timeout [err] 1.454 --0.0 19.169 --0.0 1.770 --0.0 1.7480.20 YES
Transformed_CSR_04/Ex9_Luc04_FR.ari if NO 50.799 --0.0 [err] 0.982 --0.0 0.819 --0.0 1.631 --0.0 1.9550.98 NO
Applicative_first_order_05/#3.10.ari if YES timeout [err] 1.445 --0.0 17.343 --0.0 2.74 --0.0 2.1840.30 YES
Transformed_CSR_04/Ex9_Luc04_GM.ari if NO timeout [err] 1.178 --0.0 1.170 --0.0 2.38 --0.0 2.1320.21 NO
Applicative_first_order_05/#3.13.ari if YES timeout [err] 1.376 --0.0 15.718 --0.0 2.106 --0.0 2.2550.71 YES
Transformed_CSR_04/Ex9_Luc04_iGM.ari if NO timeout timeout 6.176 --0.0 timeout error NO
Applicative_first_order_05/#3.16.ari if YES timeout [err] 1.221 --0.0 21.54 --0.0 1.691 --0.0 1.8220.31 YES
Transformed_CSR_04/Ex9_Luc04_L.ari if NO 50.695 --0.0 [err] 1.9 --0.0 0.755 --0.0 1.734 --0.0 1.8230.21 NO
Applicative_first_order_05/#3.18.ari if YES timeout [err] 1.149 --0.0 22.966 --0.0 1.713 --0.0 1.8020.19 YES
Transformed_CSR_04/Ex9_Luc06_C.ari if YES timeout [err] 1.230 --0.0 20.951 --0.0 1.666 --0.0 16.6400.18 YES
Applicative_first_order_05/31.ari if YES timeout [err] 1.304 --0.0 13.595 --0.0 2.468 --0.0 2.1650.141 YES
Transformed_CSR_04/Ex9_Luc06_FR.ari if NO timeout [err] 0.988 --0.0 0.978 --0.0 1.656 --0.0 1.7660.20 NO
Applicative_first_order_05/#3.22.ari if YES timeout [err] 1.195 --0.0 22.336 --0.0 1.641 --0.0 1.7900.21 YES
Transformed_CSR_04/Ex9_Luc06_GM.ari f YES 0.415 --0.0 [err] 0.988 --0.0 1.30 --0.0 1.627 --0.0 1.7590.20 YES
Applicative_first_order_05/#3.25.ari if YES timeout [err] 1.188 --0.0 10.596 --0.0 2.401 --0.0 2.3860.22 YES
Transformed_CSR_04/Ex9_Luc06_iGM.ari if YES 5.221 --0.0 [err] 1.87 --0.0 29.440 --0.0 1.955 --0.0 2.330.22 YES
AG01/#3.23.ari f YES 0.484 --0.0 [err] 0.967 --0.0 0.725 --0.0 1.521 --0.0 1.6510.21 YES
Transformed_CSR_04/Ex3_3_25_Bor03_L.ari f YES 0.381 --0.0 [err] 1.6 --0.0 0.788 --0.0 1.663 --0.0 1.7160.61 YES
Applicative_first_order_05/#3.27.ari if YES 0.522 --0.0 [err] 1.132 --0.0 17.99 --0.0 2.378 --0.0 2.1220.111 YES
Transformed_CSR_04/ExAppendixB_AEL03_C.ari if YES [err] 11.361 --0.0 [err] 11.280 --0.0 9.768 --0.0 2.410 --0.0 timeout YES
Applicative_first_order_05/#3.2.ari if YES timeout [err] 1.237 --0.0 20.209 --0.0 1.796 --0.0 1.9420.21 YES
Transformed_CSR_04/ExAppendixB_AEL03_FR.ari if YES 0.391 --0.0 [err] 1.158 --0.0 11.953 --0.0 1.732 --0.0 1.8680.22 YES
Applicative_first_order_05/#3.32.ari if YES 0.391 --0.0 [err] 1.276 --0.0 20.791 --0.0 1.613 --0.0 1.8090.30 YES
Transformed_CSR_04/ExAppendixB_AEL03_GM.ari if YES timeout [err] 2.192 --0.0 32.663 --0.0 23.389 --0.0 27.7870.63 YES
Applicative_first_order_05/#3.36.ari if YES timeout [err] 1.197 --0.0 22.299 --0.0 1.769 --0.0 1.9120.20 YES
Transformed_CSR_04/ExAppendixB_AEL03_iGM.ari if YES timeout [err] 2.634 --0.0 23.431 --0.0 23.118 --0.0 19.1150.52 YES
Applicative_first_order_05/#3.38.ari if YES timeout [err] 1.463 --0.0 19.543 --0.0 1.916 --0.0 2.1510.40 YES
Transformed_CSR_04/ExAppendixB_AEL03_L.ari f NO 0.378 --0.0 [err] 1.159 --0.0 0.736 --0.0 1.740 --0.0 1.9430.94 NO
Applicative_first_order_05/33.ari uf MAYBE timeout [err] 2.528 --0.0 17.180 --0.0 timeout timeout MAYBE
Transformed_CSR_04/ExAppendixB_AEL03_Z.ari if YES 0.385 --0.0 [err] 1.148 --0.0 20.364 --0.0 1.557 --0.0 1.7020.20 YES
Applicative_first_order_05/#3.40.ari if YES timeout [err] 4.624 --0.0 11.685 --0.0 2.102 --0.0 1.9860.183 YES
Transformed_CSR_04/ExConc_Zan97_C.ari f YES 0.430 --0.0 [err] 1.125 --0.0 0.897 --0.0 1.369 --0.0 2.4810.20 YES
Applicative_first_order_05/#3.45.ari if YES 0.522 --0.0 [err] 1.275 --0.0 14.46 --0.0 2.52 --0.0 2.140.89 YES
Transformed_CSR_04/ExConc_Zan97_FR.ari f YES 0.333 --0.0 [err] 1.9 --0.0 0.716 --0.0 1.454 --0.0 2.1850.18 YES
Applicative_first_order_05/#3.48.ari if YES 0.420 --0.0 [err] 1.331 --0.0 12.722 --0.0 2.65 --0.0 2.110.89 YES
Transformed_CSR_04/ExConc_Zan97_GM.ari f YES 0.324 --0.0 [err] 0.992 --0.0 0.923 --0.0 1.483 --0.0 2.820.18 YES
Applicative_first_order_05/#3.52.ari if YES 0.347 --0.0 [err] 1.96 --0.0 12.785 --0.0 1.777 --0.0 1.7570.83 YES
Transformed_CSR_04/ExConc_Zan97_iGM.ari if YES 0.411 --0.0 [err] 1.71 --0.0 21.89 --0.0 1.473 --0.0 2.6430.28 YES
AG01/#3.24.ari f YES 0.521 --0.0 [err] 1.249 --0.0 0.723 --0.0 1.438 --0.0 1.6610.41 YES
Transformed_CSR_04/Ex3_3_25_Bor03_Z.ari f NO 0.412 --0.0 [err] 1.245 --0.0 1.415 --0.0 1.974 --0.0 2.1260.64 NO
Applicative_first_order_05/#3.55.ari if YES timeout [err] 1.503 --0.0 19.752 --0.0 3.17 --0.0 2.400.90 YES
Transformed_CSR_04/ExConc_Zan97_L.ari f YES 0.366 --0.0 [err] 0.907 --0.0 0.730 --0.0 1.429 --0.0 1.5510.20 YES
Applicative_first_order_05/#3.57.ari if YES timeout [err] 1.446 --0.0 21.103 --0.0 1.827 --0.0 2.1870.160 YES
Transformed_CSR_04/ExConc_Zan97_Z.ari f NO 0.346 --0.0 [err] 0.986 --0.0 0.835 --0.0 1.396 --0.0 1.5380.20 NO
Applicative_first_order_05/#3.6.ari if YES timeout [err] 1.268 --0.0 20.410 --0.0 1.765 --0.0 1.9350.29 YES
Transformed_CSR_04/ExIntrod_GM01_C.ari if YES 1.474 --0.0 [err] 1.477 --0.0 10.94 --0.0 1.597 --0.0 2.2500.31 YES
Applicative_first_order_05/#3.8.ari if YES timeout [err] 1.202 --0.0 21.447 --0.0 1.703 --0.0 1.7960.20 YES
Transformed_CSR_04/ExIntrod_GM01_FR.ari if NO timeout [err] 1.620 --0.0 0.941 --0.0 5.825 --0.0 6.1010.19 NO
Applicative_first_order_05/hydra.ari if YES timeout [err] 1.155 --0.0 20.811 --0.0 1.663 --0.0 1.7420.21 YES
Transformed_CSR_04/ExIntrod_GM01_GM.ari if YES 0.820 --0.0 [err] 1.85 --0.0 24.51 --0.0 1.954 --0.0 2.1180.21 YES
Applicative_first_order_05/minsort.ari uf MAYBE timeout [err] 3.616 --0.0 23.472 --0.0 error error MAYBE
Transformed_CSR_04/ExIntrod_GM01_iGM.ari if YES 1.958 --0.0 [err] 1.275 --0.0 23.545 --0.0 2.499 --0.0 2.5700.30 YES
Applicative_first_order_05/motivation.ari if YES 0.536 --0.0 [err] 1.264 --0.0 16.365 --0.0 2.19 --0.0 1.8630.122 YES
Transformed_CSR_04/ExIntrod_GM01_L.ari f NO 0.354 --0.0 [err] 0.890 --0.0 0.841 --0.0 1.415 --0.0 1.5630.20 NO
Applicative_first_order_05/perfect2.ari if YES timeout [err] 1.354 --0.0 19.977 --0.0 1.882 --0.0 1.9200.66 YES
Transformed_CSR_04/ExIntrod_GM01_Z.ari if NO timeout [err] 1.610 --0.0 0.830 --0.0 8.193 --0.0 8.4410.22 NO
Applicative_first_order_05/perfect.ari if YES timeout [err] 1.255 --0.0 20.159 --0.0 1.786 --0.0 1.8640.21 YES
Transformed_CSR_04/ExIntrod_GM04_C.ari if YES 3.789 --0.0 [err] 1.403 --0.0 10.358 --0.0 1.611 --0.0 2.2970.30 YES
AProVE_04/AAECC.ari if YES timeout [err] 4.453 --0.0 24.26 --0.0 17.230 --0.0 17.440.41 YES
Transformed_CSR_04/ExIntrod_GM04_FR.ari if NO timeout [err] 1.824 --0.0 1.520 --0.0 8.733 --0.0 9.1520.21 NO
AG01/#3.26.ari f YES 0.387 --0.0 [err] 0.954 --0.0 0.789 --0.0 2.435 --0.0 2.650.21 YES
Transformed_CSR_04/Ex4_4_Luc96b_C.ari f YES 0.431 --0.0 [err] 1.123 --0.0 0.811 --0.0 1.623 --0.0 1.7530.68 YES
AProVE_04/AAECC-ring.ari if YES timeout timeout 11.675 --0.0 48.374 --0.0 error YES
Transformed_CSR_04/ExIntrod_GM04_GM.ari if YES 0.443 --0.0 [err] 1.109 --0.0 16.226 --0.0 1.827 --0.0 1.9890.23 YES
AProVE_04/fac.ari if YES 0.473 --0.0 [err] 0.950 --0.0 timeout 1.835 --0.0 1.9480.31 YES
Transformed_CSR_04/ExIntrod_GM04_iGM.ari if YES 1.611 --0.0 [err] 1.170 --0.0 22.446 --0.0 2.147 --0.0 2.6130.40 YES
AProVE_04/forward_instantiation2.ari if YES timeout [err] 1.35 --0.0 timeout 1.810 --0.0 1.6390.89 YES
Transformed_CSR_04/ExIntrod_GM04_L.ari f NO 0.312 --0.0 [err] 0.837 --0.0 0.681 --0.0 1.414 --0.0 1.3310.20 NO
AProVE_04/forward_instantiation.ari if YES 17.362 --0.0 [err] 1.2 --0.0 16.402 --0.0 1.704 --0.0 1.6310.20 YES
Transformed_CSR_04/ExIntrod_GM04_Z.ari if NO timeout [err] 1.740 --0.0 0.791 --0.0 8.450 --0.0 9.5260.21 NO
AProVE_04/IJCAR_12.ari if YES 0.397 --0.0 [err] 1.41 --0.0 26.863 --0.0 1.654 --0.0 1.7620.19 YES
Transformed_CSR_04/ExIntrod_GM99_C.ari if YES timeout [err] 8.875 --0.0 18.478 --0.0 1.469 --0.0 error YES
AProVE_04/IJCAR_18.ari if YES 0.404 --0.0 [err] 1.179 --0.0 20.825 --0.0 1.668 --0.0 1.8590.30 YES
Transformed_CSR_04/ExIntrod_GM99_FR.ari uf MAYBE timeout [err] 2.646 --0.0 23.931 --0.0 timeout error MAYBE
AProVE_04/IJCAR_1.ari if YES 0.498 --0.0 [err] 1.162 --0.0 11.305 --0.0 1.777 --0.0 1.8490.110 YES
Transformed_CSR_04/ExIntrod_GM99_GM.ari if YES timeout [err] 1.271 --0.0 29.393 --0.0 12.998 --0.0 17.2160.81 YES
AProVE_04/IJCAR_26a.ari if YES 0.471 --0.0 [err] 1.223 --0.0 22.51 --0.0 1.732 --0.0 1.9090.20 YES
Transformed_CSR_04/ExIntrod_GM99_iGM.ari if YES timeout [err] 8.316 --0.0 25.563 --0.0 error error YES
AProVE_04/IJCAR_26.ari if YES 0.483 --0.0 [err] 1.301 --0.0 19.357 --0.0 1.772 --0.0 1.9300.22 YES
Transformed_CSR_04/ExIntrod_GM99_L.ari f NO 0.342 --0.0 [err] 0.936 --0.0 0.837 --0.0 1.455 --0.0 1.4970.21 NO
AProVE_04/improved_usable2.ari if YES 0.761 --0.0 [err] 1.185 --0.0 0.865 --0.0 1.872 --0.0 1.9640.120 YES
Transformed_CSR_04/ExIntrod_GM99_Z.ari if NO timeout [err] 2.144 --0.0 0.853 --0.0 5.435 --0.0 6.3060.31 NO
AG01/#3.29.ari f YES 0.476 --0.0 [err] 1.255 --0.0 0.921 --0.0 1.620 --0.0 1.7150.111 YES
Transformed_CSR_04/Ex4_4_Luc96b_FR.ari if NO timeout [err] 1.71 --0.0 0.880 --0.0 2.186 --0.0 2.3300.76 NO
AProVE_04/improved_usable.ari if YES 0.837 --0.0 [err] 0.995 --0.0 0.874 --0.0 2.28 --0.0 1.9560.120 YES
Transformed_CSR_04/ExIntrod_Zan97_C.ari uf MAYBE timeout [err] 4.908 --0.0 17.673 --0.0 timeout error MAYBE
AProVE_04/JFP_Ex31.ari if YES timeout [err] 3.792 --0.0 22.373 --0.0 35.283 --0.0 36.7900.32 YES
Transformed_CSR_04/ExIntrod_Zan97_FR.ari uf MAYBE timeout [err] 1.747 --0.0 22.617 --0.0 error error MAYBE
AProVE_04/JFP_Ex51.ari if YES 0.494 --0.0 [err] 1.191 --0.0 22.858 --0.0 1.872 --0.0 2.30.20 YES
Transformed_CSR_04/ExIntrod_Zan97_GM.ari uf MAYBE timeout [err] 2.796 --0.0 27.334 --0.0 timeout timeout MAYBE
AProVE_04/Liveness6.1.ari if YES timeout [err] 1.156 --0.0 15.599 --0.0 2.538 --0.0 2.6520.21 YES
Transformed_CSR_04/ExIntrod_Zan97_iGM.ari uf MAYBE timeout [err] 3.768 --0.0 26.934 --0.0 timeout timeout MAYBE
AProVE_04/Liveness6.2.ari if YES 52.925 --0.0 [err] 1.135 --0.0 22.488 --0.0 1.663 --0.0 2.2210.20 YES
Transformed_CSR_04/ExIntrod_Zan97_L.ari f NO 0.353 --0.0 [err] 0.942 --0.0 0.749 --0.0 1.461 --0.0 1.5620.21 NO
AProVE_04/Liveness6.3.ari if YES timeout [err] 1.288 --0.0 14.505 --0.0 2.818 --0.0 2.8200.21 YES
Transformed_CSR_04/ExIntrod_Zan97_Z.ari f NO 0.365 --0.0 [err] 1.256 --0.0 1.340 --0.0 1.843 --0.0 2.4830.31 NO
AProVE_04/Liveness6.4.ari if YES timeout [err] 1.528 --0.0 15.773 --0.0 20.759 --0.0 20.5670.151 YES
Transformed_CSR_04/ExProp7_Luc06_C.ari if YES 42.555 --0.0 [err] 1.503 --0.0 14.977 --0.0 1.590 --0.0 3.7830.102 YES
AProVE_04/Liveness8.ari if YES 0.470 --0.0 [err] 1.186 --0.0 17.480 --0.0 1.820 --0.0 1.9790.21 YES
Transformed_CSR_04/ExProp7_Luc06_FR.ari if YES 0.417 --0.0 [err] 1.128 --0.0 21.828 --0.0 1.659 --0.0 1.8720.21 YES
AProVE_04/Liveness_WRS.ari if YES timeout [err] 1.161 --0.0 14.964 --0.0 1.688 --0.0 2.1730.32 YES
Transformed_CSR_04/ExProp7_Luc06_GM.ari if YES 0.488 --0.0 [err] 1.58 --0.0 21.328 --0.0 1.614 --0.0 1.6770.21 YES
AProVE_04/LPAR_intlist.ari f YES 0.474 --0.0 [err] 1.182 --0.0 0.753 --0.0 2.288 --0.0 2.4780.111 YES
Transformed_CSR_04/ExProp7_Luc06_iGM.ari if YES 0.722 --0.0 [err] 1.402 --0.0 20.170 --0.0 3.718 --0.0 2.8200.21 YES
AG01/#3.2.ari f YES 0.479 --0.0 [err] 0.998 --0.0 1.937 --0.0 1.555 --0.0 1.6790.20 YES
Transformed_CSR_04/Ex4_4_Luc96b_GM.ari f YES 0.436 --0.0 [err] 0.986 --0.0 1.259 --0.0 1.751 --0.0 1.8170.73 YES
AProVE_04/rta1.ari if YES 0.412 --0.0 [err] 1.89 --0.0 23.35 --0.0 1.564 --0.0 1.7470.20 YES
Transformed_CSR_04/ExProp7_Luc06_L.ari if YES 0.403 --0.0 [err] 0.988 --0.0 0.893 --0.0 1.433 --0.0 1.5900.20 YES
AProVE_04/rta2.ari f YES 0.471 --0.0 [err] 1.104 --0.0 0.762 --0.0 2.172 --0.0 2.5130.112 YES
Transformed_CSR_04/ExProp7_Luc06_Z.ari if YES 0.414 --0.0 [err] 1.33 --0.0 25.418 --0.0 1.631 --0.0 1.7470.21 YES
AProVE_04/rta3.ari if YES timeout [err] 1.61 --0.0 25.211 --0.0 1.575 --0.0 1.7390.20 YES
Transformed_CSR_04/ExSec11_1_Luc02a_C.ari if YES timeout [err] 2.120 --0.0 7.893 --0.0 1.646 --0.0 2.7440.61 YES
AProVE_06/div_notCeTermin.ari if YES timeout [err] 3.670 --0.0 26.120 --0.0 3.905 --0.0 3.9740.30 YES
Transformed_CSR_04/ExSec11_1_Luc02a_FR.ari if YES 0.598 --0.0 [err] 1.137 --0.0 19.91 --0.0 1.686 --0.0 2.280.258 YES
AProVE_06/div_notTermin.ari uf MAYBE timeout [err] 3.544 --0.0 21.776 --0.0 error error MAYBE
Transformed_CSR_04/ExSec11_1_Luc02a_GM.ari if YES timeout [err] 1.459 --0.0 27.733 --0.0 2.37 --0.0 2.3630.20 YES
AProVE_06/factorial1.ari if YES timeout [err] 1.75 --0.0 timeout 1.771 --0.0 1.8270.22 YES
Transformed_CSR_04/ExSec11_1_Luc02a_iGM.ari if YES timeout [err] 1.648 --0.0 23.878 --0.0 2.776 --0.0 2.9390.30 YES
AProVE_06/factorial2.ari if YES timeout [err] 1.416 --0.0 24.48 --0.0 1.952 --0.0 2.890.71 YES
Transformed_CSR_04/ExSec11_1_Luc02a_L.ari f YES 0.338 --0.0 [err] 1.84 --0.0 0.758 --0.0 1.485 --0.0 1.6610.19 YES
AProVE_06/identity.ari if YES 0.592 --0.0 [err] 1.102 --0.0 timeout 1.703 --0.0 1.8920.23 YES
Transformed_CSR_04/ExSec11_1_Luc02a_Z.ari f YES 0.371 --0.0 [err] 1.99 --0.0 0.939 --0.0 1.548 --0.0 1.6790.21 YES
AProVE_06/logarithm.ari if YES timeout [err] 2.105 --0.0 timeout 5.87 --0.0 5.4510.31 YES
Transformed_CSR_04/ExSec4_2_DLMMU04_C.ari if YES timeout [err] 3.466 --0.0 12.755 --0.0 1.644 --0.0 timeout YES
AProVE_06/mapHard.ari if YES timeout [err] 1.616 --0.0 32.636 --0.0 2.105 --0.0 2.1850.19 YES
Transformed_CSR_04/ExSec4_2_DLMMU04_FR.ari if YES 0.385 --0.0 [err] 1.173 --0.0 25.971 --0.0 1.623 --0.0 1.8030.21 YES
AG01/#3.31.ari f YES 0.413 --0.0 [err] 0.962 --0.0 0.761 --0.0 1.602 --0.0 1.6720.20 YES
Transformed_CSR_04/Ex4_4_Luc96b_iGM.ari f YES 0.455 --0.0 [err] 1.126 --0.0 0.893 --0.0 1.678 --0.0 1.8260.59 YES
AProVE_06/modulo.ari if YES timeout [err] 1.266 --0.0 21.282 --0.0 1.867 --0.0 6.7270.31 YES
Transformed_CSR_04/ExSec4_2_DLMMU04_GM.ari if YES timeout [err] 1.989 --0.0 31.519 --0.0 error error YES
AProVE_06/nonterm.ari if NO timeout [err] 1.816 --0.0 0.982 --0.0 2.23 --0.0 1.9430.100 NO
Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.ari if YES timeout [err] 2.947 --0.0 24.104 --0.0 timeout timeout YES
AProVE_06/quicksort.ari if YES 0.916 --0.0 [err] 1.562 --0.0 26.791 --0.0 2.23 --0.0 2.5170.127 YES
Transformed_CSR_04/ExSec4_2_DLMMU04_L.ari f NO 0.359 --0.0 [err] 0.985 --0.0 0.826 --0.0 1.445 --0.0 1.5790.19 NO
AProVE_06/quot.ari if YES timeout [err] 1.261 --0.0 28.731 --0.0 3.214 --0.0 3.3760.29 YES
Transformed_CSR_04/ExSec4_2_DLMMU04_Z.ari if YES 1.0 --0.0 [err] 1.635 --0.0 36.484 --0.0 2.695 --0.0 2.7620.257 YES
AProVE_06/sizeChange.ari if YES timeout [err] 1.367 --0.0 32.600 --0.0 1.638 --0.0 1.7380.19 YES
Transformed_CSR_04/LengthOfFiniteLists_complete_C.ari if YES timeout [err] 26.357 --0.0 22.313 --0.0 51.357 --0.0 timeout YES
AProVE_06/tower.ari if YES timeout [err] 1.315 --0.0 timeout 1.819 --0.0 1.9280.19 YES
Transformed_CSR_04/LengthOfFiniteLists_complete_FR.ari if NO timeout [err] 21.471 --0.0 30.806 --0.0 error error NO
AProVE_06/tower_sizeChange.ari if YES timeout [err] 1.367 --0.0 25.644 --0.0 14.326 --0.0 14.2180.59 YES
Transformed_CSR_04/LengthOfFiniteLists_complete_GM.ari if YES 7.512 --0.0 [err] 11.148 --0.0 39.724 --0.0 5.7 --0.0 6.3610.372 YES
AProVE_07/kabasci01.ari if YES timeout [err] 2.821 --0.0 20.805 --0.0 3.222 --0.0 14.9370.30 YES
Transformed_CSR_04/LengthOfFiniteLists_complete_iGM.ari if YES timeout [err] 35.401 --0.0 24.453 --0.0 timeout timeout YES
AProVE_07/kabasci02.ari if YES timeout [err] 1.274 --0.0 27.309 --0.0 2.65 --0.0 2.1760.30 YES
Transformed_CSR_04/LengthOfFiniteLists_complete_L.ari f NO 0.361 --0.0 [err] 1.46 --0.0 0.766 --0.0 1.446 --0.0 1.5720.22 NO
AProVE_07/kabasci03.ari if YES timeout [err] 2.194 --0.0 20.321 --0.0 2.10 --0.0 2.2290.21 YES
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.ari if YES timeout timeout 9.151 --0.0 2.382 --0.0 timeout YES
AG01/#3.33.ari f YES 0.449 --0.0 [err] 1.45 --0.0 0.751 --0.0 1.466 --0.0 1.6320.20 YES
Transformed_CSR_04/Ex4_4_Luc96b_L.ari f YES 0.388 --0.0 [err] 0.939 --0.0 0.818 --0.0 1.497 --0.0 1.6590.29 YES
AProVE_07/kabasci04.ari if YES 0.571 --0.0 [err] 1.74 --0.0 18.98 --0.0 1.716 --0.0 1.8170.20 YES
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.ari if NO timeout timeout 21.353 --0.0 error error NO
AProVE_07/kabasci05.ari if YES timeout [err] 1.163 --0.0 24.554 --0.0 1.752 --0.0 1.8790.21 YES
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.ari if YES 0.766 --0.0 [err] 34.293 --0.0 21.452 --0.0 3.918 --0.0 4.3010.51 YES
AProVE_07/kabasci06.ari if YES timeout [err] 1.320 --0.0 18.839 --0.0 1.698 --0.0 1.7850.20 YES
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_iGM.ari if YES timeout [err] 37.580 --0.0 11.773 --0.0 timeout timeout YES
AProVE_07/otto01.ari if YES timeout [err] 1.253 --0.0 18.733 --0.0 1.995 --0.0 2.920.92 YES
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.ari f NO 0.392 --0.0 [err] 1.111 --0.0 0.900 --0.0 1.476 --0.0 1.6840.21 NO
AProVE_07/otto02.ari if YES timeout [err] 1.600 --0.0 timeout 1.835 --0.0 2.360.32 YES
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.ari if NO timeout timeout 12.333 --0.0 error error NO
AProVE_07/otto03.ari if YES timeout [err] 1.166 --0.0 timeout 1.779 --0.0 2.6050.23 YES
Transformed_CSR_04/LengthOfFiniteLists_complete_Z.ari if NO timeout [err] 18.204 --0.0 18.588 --0.0 error error NO
AProVE_07/otto04.ari if YES timeout [err] 1.963 --0.0 timeout 2.215 --0.0 2.3210.32 YES
Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.ari if YES timeout [err] 7.73 --0.0 10.345 --0.0 1.808 --0.0 timeout YES
AProVE_07/otto05.ari if YES 0.442 --0.0 [err] 1.123 --0.0 19.515 --0.0 1.674 --0.0 1.8520.22 YES
Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.ari if NO timeout [err] 10.574 --0.0 26.711 --0.0 14.869 --0.0 17.4510.20 NO
AProVE_07/otto06.ari if YES timeout [err] 1.876 --0.0 24.245 --0.0 2.347 --0.0 2.3120.42 YES
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.ari if YES 0.577 --0.0 [err] 1.833 --0.0 18.603 --0.0 1.762 --0.0 2.700.21 YES
AProVE_07/otto07.ari if YES timeout [err] 1.113 --0.0 timeout 1.769 --0.0 1.9130.21 YES
Transformed_CSR_04/LengthOfFiniteLists_nokinds_iGM.ari if YES timeout [err] 10.505 --0.0 23.802 --0.0 28.680 --0.0 45.1490.62 YES
AG01/#3.12.ari f YES 0.444 --0.0 [err] 1.62 --0.0 0.849 --0.0 1.682 --0.0 1.8120.20 YES
Transformed_CSR_04/Ex3_12_Luc96a_Z.ari if YES 0.401 --0.0 [err] 1.10 --0.0 29.965 --0.0 1.616 --0.0 1.7210.48 YES
AG01/#3.35.ari f YES 0.447 --0.0 [err] 1.3 --0.0 0.799 --0.0 1.443 --0.0 2.100.31 YES
Transformed_CSR_04/Ex4_4_Luc96b_Z.ari if NO timeout [err] 1.37 --0.0 1.332 --0.0 1.810 --0.0 1.9020.68 NO
AProVE_07/otto08.ari if YES timeout [err] 1.687 --0.0 22.146 --0.0 2.534 --0.0 2.6750.32 YES
Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.ari f NO 0.348 --0.0 [err] 1.0 --0.0 0.744 --0.0 1.460 --0.0 1.6100.22 NO
AProVE_07/otto09.ari if YES timeout [err] 2.136 --0.0 20.524 --0.0 2.799 --0.0 2.7940.30 YES
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.ari if YES timeout [err] 24.798 --0.0 9.300 --0.0 1.818 --0.0 timeout YES
AProVE_07/otto10.ari if YES timeout [err] 2.764 --0.0 17.816 --0.0 1.956 --0.0 2.990.31 YES
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.ari if NO timeout [err] 3.315 --0.0 0.909 --0.0 error error NO
AProVE_07/otto11.ari if YES timeout [err] 1.251 --0.0 timeout 1.808 --0.0 1.8960.41 YES
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.ari if YES 0.474 --0.0 [err] 3.541 --0.0 9.534 --0.0 2.71 --0.0 2.2380.31 YES
AProVE_07/otto12.ari if YES timeout [err] 1.631 --0.0 26.562 --0.0 2.369 --0.0 2.5980.31 YES
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.ari if YES timeout [err] 5.764 --0.0 14.625 --0.0 11.785 --0.0 11.9240.51 YES
AProVE_07/otto13.ari if YES timeout [err] 1.836 --0.0 14.41 --0.0 3.265 --0.0 2.2770.80 YES
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.ari f NO 0.316 --0.0 [err] 0.942 --0.0 0.687 --0.0 1.408 --0.0 1.5770.20 NO
AProVE_07/thiemann01.ari if YES timeout [err] 1.340 --0.0 17.144 --0.0 1.654 --0.0 2.1050.19 YES
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.ari if NO timeout [err] 3.133 --0.0 0.908 --0.0 error error NO
AProVE_07/thiemann02.ari if YES timeout [err] 3.345 --0.0 10.717 --0.0 3.99 --0.0 3.1880.61 YES
Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.ari if NO timeout [err] 49.41 --0.0 14.587 --0.0 13.813 --0.0 15.1700.17 NO
AProVE_07/thiemann03.ari if YES 0.847 --0.0 [err] 1.411 --0.0 17.304 --0.0 2.270 --0.0 2.3120.28 YES
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.ari if NO timeout [err] 5.378 --0.0 12.473 --0.0 1.415 --0.0 error NO
AProVE_07/thiemann04.ari if YES timeout [err] 19.795 --0.0 23.292 --0.0 5.214 --0.0 13.5220.181 YES
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.ari if NO timeout [err] 1.89 --0.0 0.779 --0.0 1.809 --0.0 1.7340.20 NO
AG01/#3.36.ari f YES 0.502 --0.0 [err] 1.81 --0.0 0.941 --0.0 1.626 --0.0 1.8080.21 YES
Transformed_CSR_04/Ex4_7_15_Bor03_C.ari if YES 52.496 --0.0 [err] 1.365 --0.0 10.794 --0.0 1.589 --0.0 4.5050.73 YES
AProVE_07/thiemann05.ari if YES timeout [err] 1.373 --0.0 13.888 --0.0 2.45 --0.0 2.200.21 YES
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.ari if NO timeout [err] 1.117 --0.0 0.973 --0.0 1.778 --0.0 1.7850.21 NO
AProVE_07/thiemann06.ari if YES timeout [err] 3.204 --0.0 18.905 --0.0 4.552 --0.0 4.3920.41 YES
Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.ari if NO timeout [err] 1.672 --0.0 2.893 --0.0 4.353 --0.0 4.7670.20 NO
AProVE_07/thiemann07.ari if YES timeout [err] 1.280 --0.0 20.77 --0.0 8.436 --0.0 8.3280.41 YES
Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.ari f NO 0.312 --0.0 [err] 0.736 --0.0 0.642 --0.0 1.193 --0.0 1.3010.19 NO
AProVE_07/thiemann08.ari if YES 0.501 --0.0 [err] 1.228 --0.0 21.207 --0.0 1.748 --0.0 2.410.21 YES
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.ari if NO timeout [err] 8.860 --0.0 11.633 --0.0 1.439 --0.0 error NO
AProVE_07/thiemann09.ari if YES timeout [err] 1.514 --0.0 22.680 --0.0 1.645 --0.0 1.8620.21 YES
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.ari if NO timeout [err] 1.183 --0.0 0.939 --0.0 1.943 --0.0 2.360.20 NO
AProVE_07/thiemann10.ari if YES 0.435 --0.0 [err] 1.0 --0.0 timeout 1.590 --0.0 1.7470.21 YES
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.ari if NO timeout [err] 1.374 --0.0 0.834 --0.0 2.169 --0.0 2.4250.20 NO
AProVE_07/thiemann11.ari if YES timeout [err] 3.376 --0.0 26.198 --0.0 11.12 --0.0 10.7590.60 YES
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.ari if NO timeout [err] 4.596 --0.0 17.275 --0.0 timeout timeout NO
AProVE_07/thiemann12.ari if YES 0.458 --0.0 [err] 1.198 --0.0 20.36 --0.0 1.729 --0.0 2.810.22 YES
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.ari f NO 0.368 --0.0 [err] 0.909 --0.0 0.731 --0.0 1.574 --0.0 1.6250.23 NO
AProVE_07/thiemann13.ari if YES timeout [err] 3.635 --0.0 15.790 --0.0 5.246 --0.0 5.7890.20 YES
Transformed_CSR_04/LISTUTILITIES_complete_C.ari uf MAYBE timeout timeout 7.942 --0.0 error timeout MAYBE
AProVE_07/thiemann14.ari if YES timeout [err] 1.322 --0.0 19.505 --0.0 5.778 --0.0 6.4730.121 YES
Transformed_CSR_04/LISTUTILITIES_complete_FR.ari uf MAYBE timeout timeout 30.486 --0.0 timeout timeout MAYBE
AG01/#3.37.ari f YES 0.361 --0.0 [err] 1.6 --0.0 0.890 --0.0 1.622 --0.0 1.7090.21 YES
Transformed_CSR_04/Ex4_7_15_Bor03_FR.ari if YES 0.512 --0.0 [err] 1.28 --0.0 0.883 --0.0 1.789 --0.0 1.9080.71 YES
AProVE_07/thiemann15.ari if YES 0.435 --0.0 [err] 1.110 --0.0 timeout 1.699 --0.0 2.1230.20 YES
Transformed_CSR_04/LISTUTILITIES_complete_GM.ari if YES timeout timeout 25.967 --0.0 timeout timeout YES
AProVE_07/thiemann16.ari if YES 1.920 --0.0 [err] 1.309 --0.0 23.740 --0.0 1.825 --0.0 1.9950.130 YES
Transformed_CSR_04/LISTUTILITIES_complete_iGM.ari if YES timeout timeout 7.475 --0.0 timeout timeout YES
AProVE_07/thiemann17.ari if YES 0.711 --0.0 [err] 1.291 --0.0 24.767 --0.0 1.915 --0.0 2.290.21 YES
Transformed_CSR_04/LISTUTILITIES_complete_L.ari f NO 0.414 --0.0 [err] 1.240 --0.0 0.734 --0.0 1.423 --0.0 1.6730.232 NO
AProVE_07/thiemann18.ari if YES timeout [err] 1.592 --0.0 12.961 --0.0 2.72 --0.0 2.2340.32 YES
Transformed_CSR_04/LISTUTILITIES_complete_noand_C.ari if YES timeout timeout 10.626 --0.0 2.854 --0.0 timeout YES
AProVE_07/thiemann19.ari if YES timeout [err] 1.406 --0.0 23.2 --0.0 2.689 --0.0 2.7290.41 YES
Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.ari uf MAYBE timeout timeout memout error error MAYBE
AProVE_07/thiemann20.ari uf MAYBE timeout [err] 1.316 --0.0 21.193 --0.0 timeout error MAYBE
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.ari if YES timeout timeout 28.516 --0.0 timeout timeout YES
AProVE_07/thiemann21.ari uf MAYBE timeout [err] 2.402 --0.0 19.597 --0.0 timeout timeout MAYBE
Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM.ari if YES timeout timeout 13.158 --0.0 timeout timeout YES
AProVE_07/thiemann22.ari if YES timeout [err] 2.440 --0.0 24.438 --0.0 2.889 --0.0 2.8760.31 YES
Transformed_CSR_04/LISTUTILITIES_complete-noand_L.ari f NO 0.409 --0.0 [err] 1.624 --0.0 0.764 --0.0 1.492 --0.0 1.6730.41 NO
AProVE_07/thiemann23.ari if YES timeout [err] 1.276 --0.0 21.414 --0.0 2.161 --0.0 2.2400.61 YES
Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.ari uf MAYBE timeout timeout 34.723 --0.0 error error MAYBE
AProVE_07/thiemann24.ari if YES timeout [err] 1.431 --0.0 timeout 1.936 --0.0 1.9430.21 YES
Transformed_CSR_04/LISTUTILITIES_complete_Z.ari uf MAYBE timeout timeout 35.543 --0.0 timeout timeout MAYBE
AG01/#3.38.ari if YES 0.526 --0.0 [err] 1.84 --0.0 13.116 --0.0 1.627 --0.0 2.00.61 YES
Transformed_CSR_04/Ex4_7_15_Bor03_GM.ari if YES 0.376 --0.0 [err] 0.985 --0.0 0.950 --0.0 1.736 --0.0 1.8880.36 YES
AProVE_07/thiemann25.ari if YES timeout [err] 1.296 --0.0 29.292 --0.0 1.847 --0.0 1.9030.71 YES
Transformed_CSR_04/LISTUTILITIES_nokinds_C.ari uf MAYBE timeout [err] 40.493 --0.0 16.741 --0.0 timeout timeout MAYBE
AProVE_07/thiemann26.ari if NO timeout [err] 1.315 --0.0 1.569 --0.0 32.268 --0.0 34.5810.20 NO
Transformed_CSR_04/LISTUTILITIES_nokinds_FR.ari uf MAYBE timeout [err] 15.646 --0.0 33.643 --0.0 error error MAYBE
AProVE_07/thiemann27.ari if YES timeout [err] 1.141 --0.0 timeout 1.685 --0.0 1.7130.21 YES
Transformed_CSR_04/LISTUTILITIES_nokinds_GM.ari if YES timeout [err] 13.231 --0.0 28.272 --0.0 timeout error YES
AProVE_07/thiemann28.ari if NO timeout [err] 1.402 --0.0 1.256 --0.0 4.734 --0.0 4.6390.110 NO
Transformed_CSR_04/LISTUTILITIES_nokinds_iGM.ari if YES timeout [err] 14.334 --0.0 19.961 --0.0 timeout timeout YES
AProVE_07/thiemann29.ari if YES timeout [err] 44.895 --0.0 14.210 --0.0 12.740 --0.0 12.7260.40 YES
Transformed_CSR_04/LISTUTILITIES_nokinds_L.ari f NO 0.380 --0.0 [err] 1.67 --0.0 0.722 --0.0 1.390 --0.0 2.1640.241 NO
AProVE_07/thiemann30.ari uf MAYBE timeout [err] 3.104 --0.0 14.425 --0.0 timeout timeout MAYBE
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.ari if YES timeout timeout 11.27 --0.0 1.886 --0.0 timeout YES
AProVE_07/thiemann31.ari if YES timeout [err] 12.564 --0.0 31.395 --0.0 2.878 --0.0 2.9350.93 YES
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.ari uf MAYBE timeout [err] 58.736 --0.0 43.725 --0.0 timeout timeout MAYBE
AProVE_07/thiemann32.ari if YES timeout [err] 1.837 --0.0 26.117 --0.0 4.594 --0.0 4.5300.52 YES
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.ari if YES timeout timeout 31.163 --0.0 timeout timeout YES
AProVE_07/thiemann33.ari if YES timeout [err] 1.382 --0.0 11.488 --0.0 9.303 --0.0 3.370.50 YES
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM.ari if YES timeout timeout 18.783 --0.0 timeout timeout YES
AProVE_07/thiemann34.ari if YES timeout [err] 2.80 --0.0 11.410 --0.0 2.791 --0.0 2.4590.30 YES
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.ari f NO 0.385 --0.0 [err] 1.183 --0.0 0.751 --0.0 1.374 --0.0 1.6310.21 NO
AG01/#3.39.ari if YES 0.872 --0.0 [err] 1.377 --0.0 24.477 --0.0 1.737 --0.0 1.8580.74 YES
Transformed_CSR_04/Ex4_7_15_Bor03_iGM.ari if YES 0.611 --0.0 [err] 1.23 --0.0 23.385 --0.0 1.724 --0.0 1.9070.20 YES
AProVE_07/thiemann35.ari if YES timeout [err] 1.199 --0.0 18.194 --0.0 1.919 --0.0 1.9980.21 YES
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.ari uf MAYBE timeout [err] 57.477 --0.0 31.648 --0.0 timeout timeout MAYBE
AProVE_07/thiemann36.ari if YES timeout timeout 28.168 --0.0 3.17 --0.0 3.1630.41 YES
Transformed_CSR_04/LISTUTILITIES_nokinds_Z.ari uf MAYBE timeout [err] 13.417 --0.0 29.70 --0.0 error error MAYBE
AProVE_07/thiemann37.ari if YES timeout [err] 3.529 --0.0 memout 3.981 --0.0 3.8240.152 YES
Transformed_CSR_04/LISTUTILITIES_nosorts_C.ari if YES timeout [err] 4.354 --0.0 13.771 --0.0 1.636 --0.0 timeout YES
AProVE_07/thiemann38.ari if YES timeout [err] 1.587 --0.0 15.375 --0.0 2.281 --0.0 2.2540.132 YES
Transformed_CSR_04/LISTUTILITIES_nosorts_FR.ari if YES 0.461 --0.0 [err] 1.187 --0.0 25.397 --0.0 1.632 --0.0 1.8010.171 YES
AProVE_07/thiemann39.ari if YES timeout [err] 1.189 --0.0 18.37 --0.0 1.805 --0.0 1.9140.21 YES
Transformed_CSR_04/LISTUTILITIES_nosorts_GM.ari if YES timeout [err] 3.554 --0.0 30.792 --0.0 timeout timeout YES
AProVE_07/thiemann40.ari if YES 0.427 --0.0 [err] 1.82 --0.0 23.513 --0.0 1.693 --0.0 1.8210.22 YES
Transformed_CSR_04/LISTUTILITIES_nosorts_iGM.ari if YES timeout [err] 3.397 --0.0 22.652 --0.0 timeout timeout YES
AProVE_07/thiemann41.ari if YES timeout [err] 1.478 --0.0 timeout 1.848 --0.0 2.240.23 YES
Transformed_CSR_04/LISTUTILITIES_nosorts_L.ari f NO 0.353 --0.0 [err] 1.44 --0.0 0.834 --0.0 1.650 --0.0 1.6930.21 NO
AProVE_07/wiehe01.ari if YES timeout [err] 2.152 --0.0 17.319 --0.0 2.53 --0.0 2.2420.22 YES
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.ari if YES timeout [err] 40.676 --0.0 11.592 --0.0 1.608 --0.0 timeout YES
AProVE_07/wiehe02.ari if YES timeout [err] 2.294 --0.0 15.191 --0.0 1.947 --0.0 2.1020.19 YES
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.ari if YES 0.396 --0.0 [err] 1.300 --0.0 23.682 --0.0 1.892 --0.0 2.00.18 YES
AProVE_07/wiehe03.ari if YES timeout [err] 2.290 --0.0 15.569 --0.0 2.128 --0.0 2.490.30 YES
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.ari if YES timeout [err] 18.350 --0.0 28.183 --0.0 timeout timeout YES
AG01/#3.40.ari if YES timeout [err] 2.142 --0.0 14.811 --0.0 1.657 --0.0 1.8320.21 YES
Transformed_CSR_04/Ex4_7_15_Bor03_L.ari if YES 0.358 --0.0 [err] 0.852 --0.0 0.788 --0.0 1.373 --0.0 1.5270.21 YES
AProVE_07/wiehe05.ari if YES timeout [err] 2.438 --0.0 20.440 --0.0 1.914 --0.0 2.440.18 YES
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM.ari if YES timeout [err] 13.166 --0.0 21.707 --0.0 timeout timeout YES
AProVE_07/wiehe06.ari if YES timeout [err] 2.197 --0.0 18.332 --0.0 2.34 --0.0 2.1100.21 YES
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.ari f NO 0.360 --0.0 [err] 1.90 --0.0 0.737 --0.0 1.369 --0.0 1.5680.20 NO
AProVE_07/wiehe07.ari if YES timeout [err] 3.70 --0.0 16.327 --0.0 17.71 --0.0 error YES
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.ari if YES 0.433 --0.0 [err] 1.285 --0.0 26.703 --0.0 1.880 --0.0 2.220.80 YES
AProVE_07/wiehe08.ari if YES timeout [err] 2.268 --0.0 11.342 --0.0 1.935 --0.0 2.690.39 YES
Transformed_CSR_04/LISTUTILITIES_nosorts_Z.ari if YES 0.416 --0.0 [err] 1.132 --0.0 35.25 --0.0 1.711 --0.0 1.7400.71 YES
AProVE_07/wiehe09.ari if YES timeout [err] 2.123 --0.0 24.874 --0.0 1.955 --0.0 2.2280.21 YES
Transformed_CSR_04/MYNAT_complete_C.ari if YES timeout [err] 4.70 --0.0 21.919 --0.0 2.604 --0.0 3.1070.30 YES
AProVE_07/wiehe11.ari if YES timeout [err] 2.262 --0.0 21.429 --0.0 2.174 --0.0 2.3550.22 YES
Transformed_CSR_04/MYNAT_complete_FR.ari if YES timeout [err] 3.3 --0.0 28.16 --0.0 1.806 --0.0 1.8640.20 YES
AProVE_07/wiehe12.ari if YES timeout [err] 13.224 --0.0 20.465 --0.0 2.150 --0.0 2.4240.20 YES
Transformed_CSR_04/MYNAT_complete_GM.ari if YES timeout [err] 4.927 --0.0 29.398 --0.0 1.877 --0.0 2.240.19 YES
AProVE_08/id_inc.ari if YES 0.530 --0.0 [err] 1.369 --0.0 18.215 --0.0 1.867 --0.0 1.9300.22 YES
Transformed_CSR_04/MYNAT_complete_iGM.ari if YES timeout [err] 4.339 --0.0 23.316 --0.0 2.220 --0.0 2.4040.32 YES
AProVE_08/log.ari if YES timeout [err] 1.562 --0.0 13.25 --0.0 2.146 --0.0 error YES
Transformed_CSR_04/MYNAT_complete_L.ari f NO 0.399 --0.0 [err] 1.75 --0.0 0.752 --0.0 1.541 --0.0 1.6130.23 NO
AProVE_08/parting01_reverse.ari if YES timeout [err] 1.699 --0.0 16.72 --0.0 5.36 --0.0 timeout YES
Transformed_CSR_04/MYNAT_complete_noand_C.ari if YES timeout [err] 56.137 --0.0 14.131 --0.0 2.949 --0.0 timeout YES
AG01/#3.41.ari if YES 0.413 --0.0 [err] 0.960 --0.0 0.906 --0.0 1.693 --0.0 1.7730.21 YES
Transformed_CSR_04/Ex4_7_15_Bor03_Z.ari if YES 0.471 --0.0 [err] 1.22 --0.0 0.964 --0.0 1.675 --0.0 1.7120.31 YES
AProVE_08/parting02_doublelist.ari if YES timeout [err] 1.311 --0.0 14.747 --0.0 3.989 --0.0 error YES
Transformed_CSR_04/MYNAT_complete-noand_FR.ari if YES timeout [err] 7.240 --0.0 27.784 --0.0 5.997 --0.0 6.1740.31 YES
AProVE_08/parting03_minsort.ari if YES timeout [err] 1.504 --0.0 16.808 --0.0 2.355 --0.0 error YES
Transformed_CSR_04/MYNAT_complete_noand_GM.ari if YES timeout [err] 20.620 --0.0 19.957 --0.0 6.81 --0.0 6.6350.121 YES
AProVE_08/parting04_maxsort_h.ari if YES timeout [err] 1.931 --0.0 15.671 --0.0 5.231 --0.0 error YES
Transformed_CSR_04/MYNAT_complete_noand_iGM.ari if YES timeout [err] 11.889 --0.0 10.678 --0.0 error error YES
AProVE_08/parting05_maxsort.ari if YES timeout [err] 1.585 --0.0 18.106 --0.0 5.157 --0.0 error YES
Transformed_CSR_04/MYNAT_complete-noand_L.ari f NO 0.391 --0.0 [err] 1.60 --0.0 0.747 --0.0 1.324 --0.0 1.4760.20 NO
AProVE_08/round.ari if YES timeout [err] 1.131 --0.0 1.20 --0.0 1.769 --0.0 timeout YES
Transformed_CSR_04/MYNAT_complete-noand_Z.ari if YES timeout [err] 8.528 --0.0 32.887 --0.0 6.54 --0.0 6.4350.31 YES
AProVE_08/round_nonterm.ari if NO timeout [err] 1.130 --0.0 0.809 --0.0 1.625 --0.0 1.7220.18 NO
Transformed_CSR_04/MYNAT_complete_Z.ari if YES timeout [err] 3.172 --0.0 29.329 --0.0 1.808 --0.0 1.9890.20 YES
AProVE_08/thiemann40_modified.ari if YES 0.950 --0.0 [err] 1.81 --0.0 timeout 13.424 --0.0 15.4710.20 YES
Transformed_CSR_04/MYNAT_nokinds_C.ari if YES timeout [err] 2.44 --0.0 10.943 --0.0 1.672 --0.0 1.9980.20 YES
AProVE_09_Inductive/div.ari if YES timeout [err] 1.884 --0.0 11.886 --0.0 9.248 --0.0 error YES
Transformed_CSR_04/MYNAT_nokinds_FR.ari if YES timeout [err] 1.601 --0.0 25.204 --0.0 1.599 --0.0 1.7720.41 YES
AProVE_09_Inductive/divhard.ari uf MAYBE timeout [err] 1.735 --0.0 17.47 --0.0 timeout error MAYBE
Transformed_CSR_04/MYNAT_nokinds_GM.ari if YES timeout [err] 2.130 --0.0 25.575 --0.0 1.805 --0.0 1.9030.39 YES
AProVE_09_Inductive/gcd2.ari if YES timeout [err] 3.892 --0.0 16.474 --0.0 23.850 --0.0 timeout YES
Transformed_CSR_04/MYNAT_nokinds_iGM.ari if YES timeout [err] 2.221 --0.0 24.373 --0.0 2.53 --0.0 2.1700.48 YES
AG01/#3.42.ari if YES 0.411 --0.0 [err] 1.26 --0.0 19.319 --0.0 1.526 --0.0 1.7170.22 YES
Transformed_CSR_04/Ex4_7_37_Bor03_C.ari if YES timeout [err] 4.774 --0.0 9.265 --0.0 1.659 --0.0 error YES
AProVE_09_Inductive/gcd.ari if YES timeout [err] 1.658 --0.0 17.441 --0.0 9.709 --0.0 error YES
Transformed_CSR_04/MYNAT_nokinds_L.ari f NO 0.420 --0.0 [err] 0.972 --0.0 0.774 --0.0 1.445 --0.0 1.6610.65 NO
AProVE_09_Inductive/gcdhard.ari uf MAYBE timeout [err] 1.756 --0.0 24.525 --0.0 timeout error MAYBE
Transformed_CSR_04/MYNAT_nokinds_noand_C.ari if YES timeout [err] 10.205 --0.0 11.42 --0.0 1.679 --0.0 timeout YES
AProVE_09_Inductive/log.ari if YES timeout [err] 1.338 --0.0 17.749 --0.0 error error YES
Transformed_CSR_04/MYNAT_nokinds-noand_FR.ari if YES timeout [err] 2.95 --0.0 20.616 --0.0 2.619 --0.0 2.7200.61 YES
AProVE_09_Inductive/maxsort.ari if YES timeout [err] 1.623 --0.0 22.326 --0.0 5.178 --0.0 error YES
Transformed_CSR_04/MYNAT_nokinds_noand_GM.ari if YES 48.800 --0.0 [err] 3.213 --0.0 24.528 --0.0 2.873 --0.0 3.20.73 YES
AProVE_09_Inductive/maxsortcondition.ari if YES timeout [err] 1.735 --0.0 17.478 --0.0 2.630 --0.0 error YES
Transformed_CSR_04/MYNAT_nokinds_noand_iGM.ari if YES timeout [err] 2.827 --0.0 26.275 --0.0 10.166 --0.0 9.8360.91 YES
AProVE_09_Inductive/minsort.ari if YES timeout [err] 1.685 --0.0 18.386 --0.0 5.140 --0.0 error YES
Transformed_CSR_04/MYNAT_nokinds-noand_L.ari f NO 0.405 --0.0 [err] 1.55 --0.0 0.784 --0.0 1.444 --0.0 1.5990.50 NO
AProVE_09_Inductive/mod.ari if YES timeout [err] 1.793 --0.0 14.99 --0.0 11.92 --0.0 error YES
Transformed_CSR_04/MYNAT_nokinds-noand_Z.ari if YES timeout [err] 1.999 --0.0 20.400 --0.0 2.498 --0.0 2.8440.64 YES
AProVE_09_Inductive/qsort.ari if YES timeout [err] 2.450 --0.0 14.509 --0.0 7.5 --0.0 error YES
Transformed_CSR_04/MYNAT_nokinds_Z.ari if YES timeout [err] 1.595 --0.0 29.980 --0.0 1.670 --0.0 1.8400.63 YES
AProVE_09_Inductive/qsortlast.ari if YES timeout [err] 3.66 --0.0 18.948 --0.0 11.789 --0.0 error YES
Transformed_CSR_04/MYNAT_nosorts_C.ari if YES 2.184 --0.0 [err] 1.452 --0.0 12.872 --0.0 1.540 --0.0 1.9770.70 YES
AProVE_09_Inductive/qsortmiddle.ari inf YES timeout [err] 3.698 --0.0 18.616 --0.0 60.83 --0.0 error MAYBE
Transformed_CSR_04/MYNAT_nosorts_FR.ari f YES 0.365 --0.0 [err] 1.73 --0.0 0.951 --0.0 1.570 --0.0 1.7130.52 YES
AG01/#3.47.ari f YES 0.370 --0.0 [err] 1.6 --0.0 0.757 --0.0 1.685 --0.0 1.8820.84 YES
Transformed_CSR_04/Ex4_7_37_Bor03_FR.ari if YES 0.550 --0.0 [err] 1.221 --0.0 24.859 --0.0 1.951 --0.0 1.9270.35 YES
AProVE_09_Inductive/zerolist.ari if YES timeout [err] 1.332 --0.0 18.321 --0.0 1.873 --0.0 timeout YES
Transformed_CSR_04/MYNAT_nosorts_GM.ari if YES 13.938 --0.0 [err] 1.296 --0.0 24.819 --0.0 1.660 --0.0 1.7710.69 YES
AProVE_10/andIsNat.ari if NO timeout [err] 1.504 --0.0 17.801 --0.0 13.630 --0.0 13.7570.29 NO
Transformed_CSR_04/MYNAT_nosorts_iGM.ari if YES 8.289 --0.0 [err] 1.333 --0.0 22.802 --0.0 1.737 --0.0 1.8750.60 YES
AProVE_10/challenge_fab.ari if NO timeout [err] 1.682 --0.0 memout timeout timeout NO
Transformed_CSR_04/MYNAT_nosorts_L.ari f NO 0.455 --0.0 [err] 0.936 --0.0 0.806 --0.0 1.432 --0.0 1.5320.50 NO
AProVE_10/double.ari if NO timeout [err] 1.12 --0.0 0.810 --0.0 11.671 --0.0 11.7920.47 NO
Transformed_CSR_04/MYNAT_nosorts_noand_C.ari if YES 6.293 --0.0 [err] 4.543 --0.0 13.556 --0.0 1.566 --0.0 2.1830.396 YES
AProVE_10/downfrom.ari if NO timeout [err] 1.186 --0.0 15.683 --0.0 timeout timeout NO
Transformed_CSR_04/MYNAT_nosorts-noand_FR.ari if YES 0.522 --0.0 [err] 1.146 --0.0 18.840 --0.0 1.630 --0.0 1.7350.46 YES
AProVE_10/ex1.ari if NO timeout 1.100 --0.0 0.885 --0.0 11.667 --0.0 11.9050.83 NO
Transformed_CSR_04/MYNAT_nosorts_noand_GM.ari if YES 29.718 --0.0 [err] 1.982 --0.0 26.668 --0.0 1.660 --0.0 1.8160.59 YES
AProVE_10/ex2.ari if NO timeout [err] 1.94 --0.0 31.913 --0.0 11.616 --0.0 11.7310.29 NO
Transformed_CSR_04/MYNAT_nosorts_noand_iGM.ari if YES 36.521 --0.0 [err] 1.778 --0.0 23.968 --0.0 2.117 --0.0 2.2890.67 YES
AProVE_10/ex3.ari if NO timeout 1.87 --0.0 26.279 --0.0 11.645 --0.0 12.930.29 NO
Transformed_CSR_04/MYNAT_nosorts-noand_L.ari f NO 0.441 --0.0 [err] 0.943 --0.0 0.755 --0.0 1.447 --0.0 1.6510.65 NO
AProVE_10/ex4.ari if NO timeout [err] 1.248 --0.0 15.137 --0.0 12.113 --0.0 12.2450.31 NO
Transformed_CSR_04/OvConsOS_complete_C.ari uf MAYBE timeout [err] 40.819 --0.0 22.42 --0.0 error timeout MAYBE
AProVE_10/ex5.ari f YES 0.478 --0.0 [err] 1.835 --0.0 0.867 --0.0 1.698 --0.0 2.240.374 YES
Transformed_CSR_04/OvConsOS_complete_FR.ari uf MAYBE timeout timeout 31.149 --0.0 timeout timeout MAYBE
AG01/#3.48.ari if YES 0.371 --0.0 [err] 1.86 --0.0 18.627 --0.0 1.487 --0.0 1.7970.22 YES
Transformed_CSR_04/Ex4_7_37_Bor03_GM.ari if YES timeout [err] 1.467 --0.0 26.790 --0.0 error error YES
AProVE_10/halfdouble.ari if NO timeout [err] 1.331 --0.0 15.540 --0.0 12.36 --0.0 13.7240.31 NO
Transformed_CSR_04/OvConsOS_complete_GM.ari uf MAYBE timeout timeout 30.941 --0.0 timeout timeout MAYBE
AProVE_10/isList.ari if NO timeout [err] 1.277 --0.0 1.700 --0.0 1.863 --0.0 1.9460.91 NO
Transformed_CSR_04/OvConsOS_complete_iGM.ari if YES timeout timeout 21.845 --0.0 timeout timeout YES
AProVE_10/isNat.ari if NO timeout [err] 1.121 --0.0 0.869 --0.0 12.445 --0.0 11.8460.77 NO
Transformed_CSR_04/OvConsOS_complete_L.ari f NO 0.437 --0.0 [err] 1.153 --0.0 0.785 --0.0 1.454 --0.0 1.6300.26 NO
AProVE_10/scnp.ari f YES 0.832 --0.0 1.891 --0.0 0.752 --0.0 2.324 --0.0 2.2490.936 YES
Transformed_CSR_04/OvConsOS_complete_noand_C.ari if YES timeout timeout 11.816 --0.0 2.515 --0.0 timeout YES
AProVE_10/Zantema06-03-modified.ari uf MAYBE timeout [err] 1.610 --0.0 13.715 --0.0 error error MAYBE
Transformed_CSR_04/OvConsOS_complete-noand_FR.ari if NO timeout timeout 22.848 --0.0 57.382 --0.0 timeout NO
Beerendonk_07/10.ari if YES 0.523 --0.0 [err] 1.113 --0.0 22.905 --0.0 1.837 --0.0 1.9430.51 YES
Transformed_CSR_04/OvConsOS_complete_noand_GM.ari if YES 2.987 --0.0 timeout 14.421 --0.0 6.602 --0.0 6.8870.167 YES
Beerendonk_07/11.ari if YES timeout [err] 1.613 --0.0 20.949 --0.0 2.196 --0.0 2.2890.70 YES
Transformed_CSR_04/OvConsOS_complete_noand_iGM.ari if YES timeout timeout 8.494 --0.0 timeout timeout YES
Beerendonk_07/12.ari if YES timeout [err] 1.440 --0.0 23.568 --0.0 2.104 --0.0 2.1090.68 YES
Transformed_CSR_04/OvConsOS_complete-noand_L.ari f NO 0.517 --0.0 [err] 1.240 --0.0 0.881 --0.0 1.440 --0.0 1.6370.87 NO
Beerendonk_07/13.ari if YES timeout [err] 1.514 --0.0 24.494 --0.0 2.89 --0.0 2.1690.72 YES
Transformed_CSR_04/OvConsOS_complete-noand_Z.ari if NO timeout [err] 51.460 --0.0 26.597 --0.0 error error NO
Beerendonk_07/14.ari if YES timeout [err] 1.353 --0.0 20.137 --0.0 1.996 --0.0 2.1310.70 YES
Transformed_CSR_04/OvConsOS_complete_Z.ari if NO timeout timeout 28.248 --0.0 error error NO
AG01/#3.13.ari if YES 0.520 --0.0 [err] 1.225 --0.0 23.892 --0.0 1.839 --0.0 2.700.76 YES
Transformed_CSR_04/Ex3_2_Luc97_C.ari if YES timeout [err] 1.708 --0.0 12.362 --0.0 timeout error YES
AG01/#3.49.ari if YES 0.406 --0.0 [err] 0.991 --0.0 2.130 --0.0 1.576 --0.0 1.7030.21 YES
Transformed_CSR_04/Ex4_7_37_Bor03_iGM.ari if YES timeout [err] 1.995 --0.0 28.255 --0.0 timeout error YES
Beerendonk_07/15.ari if YES timeout [err] 2.736 --0.0 17.694 --0.0 3.82 --0.0 3.1020.69 YES
Transformed_CSR_04/OvConsOS_nokinds_C.ari uf MAYBE timeout [err] 11.991 --0.0 19.33 --0.0 timeout error MAYBE
Beerendonk_07/16.ari if YES timeout [err] 4.228 --0.0 30.895 --0.0 9.896 --0.0 9.8640.91 YES
Transformed_CSR_04/OvConsOS_nokinds_FR.ari if NO timeout [err] 14.247 --0.0 26.364 --0.0 error error NO
Beerendonk_07/17.ari if YES timeout [err] 14.728 --0.0 28.707 --0.0 11.325 --0.0 11.3660.59 YES
Transformed_CSR_04/OvConsOS_nokinds_GM.ari if YES timeout [err] 15.306 --0.0 28.228 --0.0 timeout timeout YES
Beerendonk_07/18.ari if YES timeout [err] 3.523 --0.0 25.641 --0.0 1.713 --0.0 1.8860.92 YES
Transformed_CSR_04/OvConsOS_nokinds_iGM.ari if YES timeout [err] 19.908 --0.0 23.362 --0.0 timeout timeout YES
Beerendonk_07/19.ari if YES timeout [err] 4.392 --0.0 23.831 --0.0 3.847 --0.0 12.2030.93 YES
Transformed_CSR_04/OvConsOS_nokinds_L.ari f NO 0.485 --0.0 [err] 0.965 --0.0 0.801 --0.0 1.408 --0.0 1.6460.80 NO
Beerendonk_07/1.ari if YES 0.463 --0.0 [err] 1.17 --0.0 18.516 --0.0 1.699 --0.0 1.8310.67 YES
Transformed_CSR_04/OvConsOS_nokinds_noand_C.ari if YES timeout [err] 18.500 --0.0 9.209 --0.0 1.938 --0.0 timeout YES
Beerendonk_07/20.ari if YES timeout [err] 2.107 --0.0 17.233 --0.0 1.653 --0.0 1.8750.54 YES
Transformed_CSR_04/OvConsOS_nokinds-noand_FR.ari if NO timeout [err] 18.860 --0.0 27.536 --0.0 error error NO
Beerendonk_07/21.ari uf MAYBE timeout [err] 2.145 --0.0 16.987 --0.0 timeout timeout MAYBE
Transformed_CSR_04/OvConsOS_nokinds_noand_GM.ari if YES 0.837 --0.0 [err] 10.705 --0.0 29.27 --0.0 2.830 --0.0 3.2710.74 YES
Beerendonk_07/22.ari if YES 0.556 --0.0 [err] 1.70 --0.0 25.418 --0.0 1.839 --0.0 1.9700.48 YES
Transformed_CSR_04/OvConsOS_nokinds_noand_iGM.ari if YES timeout [err] 13.473 --0.0 26.47 --0.0 27.95 --0.0 27.9640.107 YES
Beerendonk_07/23.ari if YES 0.532 --0.0 [err] 1.120 --0.0 22.581 --0.0 1.827 --0.0 1.9740.69 YES
Transformed_CSR_04/OvConsOS_nokinds-noand_L.ari f NO 0.421 --0.0 [err] 1.442 --0.0 0.765 --0.0 1.440 --0.0 1.5760.49 NO
AG01/#3.4.ari f YES 0.401 --0.0 [err] 1.10 --0.0 0.790 --0.0 1.770 --0.0 1.7270.79 YES
Transformed_CSR_04/Ex4_7_37_Bor03_L.ari f NO 0.372 --0.0 [err] 0.969 --0.0 0.782 --0.0 1.502 --0.0 1.5650.45 NO
Beerendonk_07/24.ari if YES timeout [err] 31.553 --0.0 19.582 --0.0 11.128 --0.0 9.4870.421 YES
Transformed_CSR_04/OvConsOS_nokinds-noand_Z.ari if NO timeout [err] 25.706 --0.0 18.244 --0.0 error error NO
Beerendonk_07/2.ari if YES 0.406 --0.0 [err] 1.25 --0.0 timeout 1.725 --0.0 1.8250.32 YES
Transformed_CSR_04/OvConsOS_nokinds_Z.ari if NO timeout [err] 35.559 --0.0 27.527 --0.0 45.761 --0.0 error NO
Beerendonk_07/3.ari if YES timeout [err] 1.198 --0.0 timeout 1.851 --0.0 1.8740.46 YES
Transformed_CSR_04/OvConsOS_nosorts_C.ari if NO timeout [err] 4.646 --0.0 16.908 --0.0 1.656 --0.0 error NO
Beerendonk_07/4.ari if YES timeout [err] 1.138 --0.0 timeout 1.768 --0.0 1.8120.46 YES
Transformed_CSR_04/OvConsOS_nosorts_FR.ari if NO timeout [err] 1.377 --0.0 1.162 --0.0 1.886 --0.0 2.240.48 NO
Beerendonk_07/5.ari if YES 0.523 --0.0 1.103 --0.0 10.443 --0.0 1.898 --0.0 1.9020.192 YES
Transformed_CSR_04/OvConsOS_nosorts_GM.ari if NO timeout [err] 1.435 --0.0 0.862 --0.0 5.575 --0.0 5.8000.764 NO
Beerendonk_07/6.ari if YES 0.521 --0.0 1.7 --0.0 12.678 --0.0 1.659 --0.0 1.8200.42 YES
Transformed_CSR_04/OvConsOS_nosorts_iGM.ari if NO timeout [err] 2.676 --0.0 8.914 --0.0 11.48 --0.0 12.4290.49 NO
Beerendonk_07/7.ari if YES 0.500 --0.0 1.110 --0.0 14.173 --0.0 1.584 --0.0 1.6930.382 YES
Transformed_CSR_04/OvConsOS_nosorts_L.ari f NO 0.340 --0.0 [err] 0.881 --0.0 0.844 --0.0 1.385 --0.0 1.5040.39 NO
Beerendonk_07/8.ari if YES 0.418 --0.0 1.60 --0.0 17.560 --0.0 1.528 --0.0 1.7000.30 YES
Transformed_CSR_04/OvConsOS_nosorts_noand_C.ari if NO timeout [err] 7.796 --0.0 15.317 --0.0 1.563 --0.0 error NO
Beerendonk_07/9.ari if YES 0.983 --0.0 [err] 2.230 --0.0 12.448 --0.0 1.736 --0.0 1.9100.19 YES
Transformed_CSR_04/OvConsOS_nosorts-noand_FR.ari if NO timeout 1.938 --0.0 1.275 --0.0 3.176 --0.0 3.2260.20 NO
CiME_04/ack_prolog.ari if YES 1.150 --0.0 [err] 2.195 --0.0 12.355 --0.0 1.579 --0.0 1.7420.20 YES
Transformed_CSR_04/OvConsOS_nosorts_noand_GM.ari if NO timeout 2.47 --0.0 1.418 --0.0 11.989 --0.0 23.4570.21 NO
AG01/#3.51.ari f YES 0.355 --0.0 1.14 --0.0 0.707 --0.0 1.458 --0.0 1.7700.30 YES
Transformed_CSR_04/Ex4_7_37_Bor03_Z.ari if YES 0.486 --0.0 [err] 1.195 --0.0 23.689 --0.0 1.640 --0.0 1.8120.54 YES
CiME_04/append.ari if YES 0.361 --0.0 [err] 1.12 --0.0 27.245 --0.0 1.603 --0.0 1.6710.19 YES
Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.ari if NO timeout [err] 8.113 --0.0 18.797 --0.0 timeout timeout NO
CiME_04/append-hard.ari if YES 0.422 --0.0 [err] 1.163 --0.0 41.279 --0.0 1.759 --0.0 1.9580.21 YES
Transformed_CSR_04/OvConsOS_nosorts-noand_L.ari f NO 0.366 --0.0 1.11 --0.0 0.812 --0.0 1.503 --0.0 1.6570.28 NO
CiME_04/append-wrong.ari if NO timeout [err] 1.159 --0.0 0.913 --0.0 1.884 --0.0 1.9450.50 NO
Transformed_CSR_04/OvConsOS_nosorts-noand_Z.ari if NO timeout 1.848 --0.0 0.879 --0.0 2.692 --0.0 2.9400.19 NO
CiME_04/big.ari if YES 0.773 --0.0 [err] 1.533 --0.0 19.494 --0.0 1.930 --0.0 2.400.321 YES
Transformed_CSR_04/OvConsOS_nosorts_Z.ari if NO timeout [err] 1.721 --0.0 1.283 --0.0 2.339 --0.0 2.6020.435 NO
CiME_04/boolean_rings.ari f YES 0.451 --0.0 [err] 1.602 --0.0 0.806 --0.0 2.907 --0.0 2.4220.176 YES
Transformed_CSR_04/PALINDROME_complete_C.ari if YES timeout [err] 10.13 --0.0 14.51 --0.0 2.255 --0.0 3.5030.301 YES
CiME_04/dpqs.ari f YES 0.372 --0.0 1.44 --0.0 0.901 --0.0 1.697 --0.0 1.9620.163 YES
Transformed_CSR_04/PALINDROME_complete_FR.ari if YES 1.341 --0.0 [err] 1.833 --0.0 32.9 --0.0 2.478 --0.0 2.2830.172 YES
CiME_04/fact-hard.ari if YES timeout [err] 1.305 --0.0 22.997 --0.0 2.73 --0.0 2.1190.21 YES
Transformed_CSR_04/PALINDROME_complete_GM.ari if YES 8.801 --0.0 [err] 1.706 --0.0 29.975 --0.0 2.86 --0.0 2.2900.32 YES
CiME_04/filliatre2.ari if YES 0.474 --0.0 [err] 1.166 --0.0 23.897 --0.0 1.605 --0.0 1.7490.21 YES
Transformed_CSR_04/PALINDROME_complete_iGM.ari if YES 12.813 --0.0 4.950 --0.0 25.767 --0.0 2.406 --0.0 2.6640.32 YES
CiME_04/filliatre3.ari if YES 0.453 --0.0 [err] 1.119 --0.0 23.964 --0.0 1.645 --0.0 1.7800.20 YES
Transformed_CSR_04/PALINDROME_complete_L.ari f NO 0.353 --0.0 [err] 1.36 --0.0 0.785 --0.0 1.369 --0.0 1.5200.19 NO
CiME_04/filliatre.ari if YES 0.451 --0.0 [err] 1.96 --0.0 26.861 --0.0 1.651 --0.0 1.8060.18 YES
Transformed_CSR_04/PALINDROME_complete_noand_C.ari if YES timeout [err] 20.456 --0.0 14.241 --0.0 1.943 --0.0 5.1670.50 YES
AG01/#3.52.ari f YES 0.363 --0.0 [err] 0.977 --0.0 0.752 --0.0 1.672 --0.0 1.7070.84 YES
Transformed_CSR_04/Ex4_7_56_Bor03_C.ari if YES timeout [err] 1.419 --0.0 13.164 --0.0 1.561 --0.0 error YES
CiME_04/intersect.ari if YES 0.437 --0.0 1.156 --0.0 30.229 --0.0 1.588 --0.0 1.7090.21 YES
Transformed_CSR_04/PALINDROME_complete-noand_FR.ari if YES 0.968 --0.0 [err] 1.764 --0.0 16.123 --0.0 1.864 --0.0 2.790.18 YES
CiME_04/list-sum-prod.ari f YES 0.380 --0.0 [err] 1.38 --0.0 0.759 --0.0 1.609 --0.0 1.7070.20 YES
Transformed_CSR_04/PALINDROME_complete_noand_GM.ari if YES 2.651 --0.0 2.55 --0.0 13.985 --0.0 2.688 --0.0 3.1400.40 YES
CiME_04/list-sum-prod-assoc-append.ari f YES 0.549 --0.0 1.147 --0.0 0.731 --0.0 1.552 --0.0 1.7760.941 YES
Transformed_CSR_04/PALINDROME_complete_noand_iGM.ari if YES 54.841 --0.0 [err] 13.798 --0.0 11.645 --0.0 3.682 --0.0 4.120.61 YES
CiME_04/list-sum-prod-assoc.ari f YES 0.549 --0.0 1.119 --0.0 0.801 --0.0 1.589 --0.0 1.7801.146 YES
Transformed_CSR_04/PALINDROME_complete-noand_L.ari f NO 0.446 --0.0 13.864 --0.0 0.957 --0.0 14.606 --0.0 14.6580.174 NO
CiME_04/list-sum-prod-bin.ari f YES 0.545 --0.0 1.114 --0.0 0.958 --0.0 1.580 --0.0 1.9131.241 YES
Transformed_CSR_04/PALINDROME_complete-noand_Z.ari if YES 1.8 --0.0 1.638 --0.0 12.658 --0.0 1.831 --0.0 2.740.182 YES
CiME_04/list-sum-prod-bin-assoc.ari if YES 0.598 --0.0 1.150 --0.0 21.327 --0.0 1.586 --0.0 1.8110.21 YES
Transformed_CSR_04/PALINDROME_complete_Z.ari if YES 0.755 --0.0 [err] 1.460 --0.0 15.782 --0.0 1.654 --0.0 1.9570.20 YES
CiME_04/list-sum-prod-bin-assoc-distr-app.ari if YES 0.545 --0.0 1.188 --0.0 25.567 --0.0 1.645 --0.0 1.8470.25 YES
Transformed_CSR_04/PALINDROME_nokinds_C.ari if YES 0.485 --0.0 [err] 1.694 --0.0 13.847 --0.0 1.667 --0.0 2.2320.36 YES
CiME_04/log2.ari if YES 0.612 --0.0 1.345 --0.0 28.84 --0.0 1.776 --0.0 2.2570.21 YES
Transformed_CSR_04/PALINDROME_nokinds_FR.ari if YES 0.655 --0.0 [err] 1.243 --0.0 16.960 --0.0 1.611 --0.0 1.7600.26 YES
CiME_04/lse.ari if YES 13.75 --0.0 1.679 --0.0 33.613 --0.0 1.692 --0.0 1.7490.22 YES
Transformed_CSR_04/PALINDROME_nokinds_GM.ari if YES 0.767 --0.0 [err] 1.271 --0.0 22.823 --0.0 1.661 --0.0 1.7770.30 YES
CiME_04/maude2.ari uf MAYBE timeout [err] 2.570 --0.0 14.33 --0.0 error error MAYBE
Transformed_CSR_04/PALINDROME_nokinds_iGM.ari if YES 1.2 --0.0 [err] 1.500 --0.0 20.674 --0.0 1.877 --0.0 1.9690.21 YES
AG01/#3.53a.ari f YES 0.429 --0.0 [err] 0.985 --0.0 0.780 --0.0 1.598 --0.0 1.8150.84 YES
Transformed_CSR_04/Ex4_7_56_Bor03_FR.ari if YES 0.475 --0.0 [err] 1.90 --0.0 27.422 --0.0 1.694 --0.0 1.7540.37 YES
CiME_04/mucrl1.ari if YES 0.567 --0.0 2.903 --0.0 17.72 --0.0 2.525 --0.0 2.9560.86 YES
Transformed_CSR_04/PALINDROME_nokinds_L.ari f NO 0.341 --0.0 [err] 0.957 --0.0 0.858 --0.0 1.513 --0.0 1.6830.23 NO
CiME_04/ternary.ari if YES 0.894 --0.0 1.328 --0.0 19.208 --0.0 1.691 --0.0 1.9310.23 YES
Transformed_CSR_04/PALINDROME_nokinds_noand_C.ari if YES 0.828 --0.0 [err] 4.972 --0.0 15.360 --0.0 1.779 --0.0 2.9790.36 YES
CiME_04/ternary-hard.ari if YES 0.939 --0.0 1.260 --0.0 24.957 --0.0 1.691 --0.0 1.8490.21 YES
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.ari if YES 0.585 --0.0 [err] 1.254 --0.0 17.764 --0.0 1.828 --0.0 1.7430.33 YES
CiME_04/tree.ari if YES 0.550 --0.0 3.93 --0.0 26.585 --0.0 1.752 --0.0 1.9290.32 YES
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.ari if YES 0.887 --0.0 [err] 1.557 --0.0 15.210 --0.0 2.403 --0.0 1.9720.23 YES
Der95/01.ari f YES 0.723 --0.0 1.29 --0.0 0.726 --0.0 1.968 --0.0 1.8000.82 YES
Transformed_CSR_04/PALINDROME_nokinds_noand_iGM.ari if YES 2.27 --0.0 [err] 2.571 --0.0 27.187 --0.0 3.199 --0.0 3.4650.41 YES
Der95/02.ari f YES 0.369 --0.0 1.68 --0.0 0.805 --0.0 1.931 --0.0 1.7140.40 YES
Transformed_CSR_04/PALINDROME_nokinds-noand_L.ari if NO 0.387 --0.0 [err] 2.33 --0.0 0.842 --0.0 error error NO
Der95/03.ari f YES 0.369 --0.0 0.923 --0.0 0.790 --0.0 1.765 --0.0 1.6160.31 YES
Transformed_CSR_04/PALINDROME_nokinds-noand_Z.ari if YES 0.578 --0.0 [err] 1.237 --0.0 20.208 --0.0 1.651 --0.0 1.9050.22 YES
Der95/04.ari f YES 0.368 --0.0 0.945 --0.0 0.798 --0.0 2.100 --0.0 1.8330.21 YES
Transformed_CSR_04/PALINDROME_nokinds_Z.ari if YES 0.609 --0.0 [err] 1.187 --0.0 19.314 --0.0 1.576 --0.0 1.7300.32 YES
Der95/06.ari f YES 0.353 --0.0 1.774 --0.0 0.767 --0.0 1.590 --0.0 2.3860.35 YES
Transformed_CSR_04/PALINDROME_nosorts_C.ari if YES 0.467 --0.0 [err] 1.764 --0.0 18.25 --0.0 1.966 --0.0 2.2040.32 YES
Der95/07.ari f YES 0.369 --0.0 0.945 --0.0 0.724 --0.0 2.166 --0.0 2.2020.41 YES
Transformed_CSR_04/PALINDROME_nosorts_FR.ari f YES 0.368 --0.0 [err] 0.989 --0.0 0.726 --0.0 1.506 --0.0 1.6720.20 YES
AG01/#3.53.ari if YES 0.471 --0.0 [err] 1.137 --0.0 17.616 --0.0 1.602 --0.0 1.9450.22 YES
Transformed_CSR_04/Ex4_7_56_Bor03_GM.ari if YES timeout [err] 0.912 --0.0 20.595 --0.0 3.176 --0.0 3.2620.65 YES
Der95/08.ari f YES 0.364 --0.0 [err] 0.996 --0.0 0.766 --0.0 1.498 --0.0 1.6200.21 YES
Transformed_CSR_04/PALINDROME_nosorts_GM.ari f YES 0.531 --0.0 [err] 1.78 --0.0 5.892 --0.0 1.506 --0.0 1.6150.21 YES
Der95/09.ari f YES 0.404 --0.0 [err] 1.6 --0.0 0.819 --0.0 1.743 --0.0 1.9670.23 YES
Transformed_CSR_04/PALINDROME_nosorts_iGM.ari f YES 0.468 --0.0 1.173 --0.0 0.963 --0.0 1.911 --0.0 2.800.20 YES
Der95/11.ari f YES 0.422 --0.0 1.241 --0.0 0.805 --0.0 1.924 --0.0 2.1120.23 YES
Transformed_CSR_04/PALINDROME_nosorts_L.ari f NO 0.329 --0.0 0.885 --0.0 0.747 --0.0 1.610 --0.0 1.7500.22 NO
Der95/12.ari if YES 0.419 --0.0 [err] 1.95 --0.0 24.463 --0.0 1.871 --0.0 1.9510.23 YES
Transformed_CSR_04/PALINDROME_nosorts_noand_C.ari if YES 0.429 --0.0 1.340 --0.0 14.129 --0.0 1.513 --0.0 1.9300.20 YES
Der95/13.ari if YES 0.726 --0.0 1.141 --0.0 0.773 --0.0 13.474 --0.0 14.4690.151 YES
Transformed_CSR_04/PALINDROME_nosorts-noand_FR.ari f YES 0.357 --0.0 0.985 --0.0 0.760 --0.0 1.515 --0.0 1.6450.21 YES
Der95/17.ari f YES 0.435 --0.0 1.65 --0.0 0.805 --0.0 1.487 --0.0 1.6690.400 YES
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.ari f YES 0.561 --0.0 [err] 1.110 --0.0 1.39 --0.0 1.533 --0.0 1.6450.20 YES
Der95/18.ari f YES 0.375 --0.0 [err] 0.945 --0.0 0.743 --0.0 1.507 --0.0 1.6300.21 YES
Transformed_CSR_04/PALINDROME_nosorts_noand_iGM.ari f YES 0.529 --0.0 [err] 1.224 --0.0 0.837 --0.0 1.694 --0.0 1.8250.20 YES
Der95/20.ari f YES 0.533 --0.0 0.995 --0.0 0.785 --0.0 1.543 --0.0 1.6620.20 YES
Transformed_CSR_04/PALINDROME_nosorts-noand_L.ari f YES 0.371 --0.0 0.967 --0.0 0.762 --0.0 1.570 --0.0 1.7010.21 YES
Der95/21.ari if YES 0.426 --0.0 [err] 1.52 --0.0 memout 1.535 --0.0 1.7030.32 YES
Transformed_CSR_04/PEANO_complete_C.ari if YES timeout [err] 3.14 --0.0 19.536 --0.0 1.745 --0.0 2.3990.51 YES
Der95/27.ari f YES 0.364 --0.0 0.951 --0.0 0.768 --0.0 1.525 --0.0 1.6730.40 YES
Transformed_CSR_04/PEANO_complete_FR.ari if YES 1.461 --0.0 1.369 --0.0 24.197 --0.0 1.706 --0.0 1.8200.20 YES
AG01/#3.53b.ari f YES 0.365 --0.0 [err] 1.11 --0.0 0.746 --0.0 1.582 --0.0 1.7120.20 YES
Transformed_CSR_04/Ex4_7_56_Bor03_iGM.ari if YES timeout [err] 1.130 --0.0 22.532 --0.0 3.70 --0.0 3.1560.34 YES
Der95/28.ari f YES 0.362 --0.0 0.952 --0.0 0.749 --0.0 1.744 --0.0 1.8420.164 YES
Transformed_CSR_04/PEANO_complete_GM.ari if YES 6.850 --0.0 1.572 --0.0 28.275 --0.0 1.756 --0.0 1.7780.51 YES
Der95/30.ari if YES timeout 1.95 --0.0 0.748 --0.0 1.547 --0.0 error YES
Transformed_CSR_04/PEANO_complete_iGM.ari if YES 7.180 --0.0 [err] 1.800 --0.0 25.690 --0.0 1.949 --0.0 2.2240.101 YES
Der95/31.ari f YES 0.363 --0.0 0.997 --0.0 13.96 --0.0 1.595 --0.0 1.6830.40 YES
Transformed_CSR_04/PEANO_complete_L.ari f NO 0.478 --0.0 [err] 0.938 --0.0 0.820 --0.0 1.414 --0.0 1.7380.145 NO
Der95/32.ari f YES 0.471 --0.0 [err] 1.60 --0.0 1.197 --0.0 1.577 --0.0 1.8440.164 YES
Transformed_CSR_04/PEANO_complete_noand_C.ari if YES timeout [err] 24.185 --0.0 10.970 --0.0 1.984 --0.0 timeout YES
Der95/33.ari uf MAYBE timeout [err] 2.456 --0.0 20.912 --0.0 timeout timeout MAYBE
Transformed_CSR_04/PEANO_complete-noand_FR.ari if YES 2.180 --0.0 [err] 1.336 --0.0 33.810 --0.0 3.241 --0.0 3.4320.51 YES
EEG_IJCAR_12/emmes-nonloop-ex1_1.ari if NO timeout [err] 1.686 --0.0 timeout 13.529 --0.0 12.8451.803 NO
Transformed_CSR_04/PEANO_complete_noand_GM.ari if YES 1.473 --0.0 [err] 1.578 --0.0 19.492 --0.0 3.311 --0.0 2.9021.542 YES
EEG_IJCAR_12/emmes-nonloop-ex1_2.ari uf MAYBE timeout [err] 1.869 --0.0 timeout timeout timeout MAYBE
Transformed_CSR_04/PEANO_complete_noand_iGM.ari if YES 54.248 --0.0 [err] 2.618 --0.0 30.585 --0.0 37.567 --0.0 37.4330.330 YES
EEG_IJCAR_12/emmes-nonloop-ex1_3.ari uf MAYBE timeout [err] 2.0 --0.0 timeout timeout timeout MAYBE
Transformed_CSR_04/PEANO_complete-noand_L.ari f NO 0.350 --0.0 [err] 1.24 --0.0 0.806 --0.0 1.535 --0.0 1.6080.21 NO
EEG_IJCAR_12/emmes-nonloop-ex1_4.ari if NO timeout [err] 1.678 --0.0 timeout 12.930 --0.0 12.9441.814 NO
Transformed_CSR_04/PEANO_complete-noand_Z.ari if YES 2.234 --0.0 1.479 --0.0 32.387 --0.0 3.396 --0.0 4.6241.752 YES
EEG_IJCAR_12/emmes-nonloop-ex1_5.ari if NO timeout [err] 1.532 --0.0 timeout 11.865 --0.0 11.8780.32 NO
Transformed_CSR_04/PEANO_complete_Z.ari if YES 1.317 --0.0 [err] 1.323 --0.0 21.415 --0.0 1.747 --0.0 1.8500.21 YES
AG01/#3.54.ari if YES 0.429 --0.0 [err] 0.968 --0.0 15.650 --0.0 1.659 --0.0 2.580.22 YES
Transformed_CSR_04/Ex4_7_56_Bor03_L.ari f NO 0.430 --0.0 [err] 0.872 --0.0 0.778 --0.0 1.445 --0.0 1.5730.46 NO
EEG_IJCAR_12/emmes-nonloop-ex2_1.ari uf MAYBE timeout [err] 1.296 --0.0 14.730 --0.0 timeout error MAYBE
Transformed_CSR_04/PEANO_nokinds_C.ari if YES timeout [err] 1.817 --0.0 12.5 --0.0 1.654 --0.0 2.270.22 YES
EEG_IJCAR_12/emmes-nonloop-ex2_2.ari if NO timeout [err] 1.440 --0.0 12.536 --0.0 11.856 --0.0 12.3970.221 NO
Transformed_CSR_04/PEANO_nokinds_FR.ari if YES 0.657 --0.0 [err] 1.172 --0.0 27.756 --0.0 1.566 --0.0 1.6920.21 YES
EEG_IJCAR_12/emmes-nonloop-ex2_3.ari uf MAYBE timeout [err] 1.131 --0.0 15.228 --0.0 error error MAYBE
Transformed_CSR_04/PEANO_nokinds_GM.ari if YES 1.13 --0.0 [err] 1.146 --0.0 29.600 --0.0 1.514 --0.0 1.7370.21 YES
EEG_IJCAR_12/emmes-nonloop-ex2_4.ari if NO timeout [err] 1.215 --0.0 14.971 --0.0 16.612 --0.0 17.2980.41 NO
Transformed_CSR_04/PEANO_nokinds_iGM.ari if YES 1.180 --0.0 [err] 1.283 --0.0 24.461 --0.0 1.697 --0.0 1.8270.20 YES
EEG_IJCAR_12/emmes-nonloop-ex2_5.ari if NO timeout [err] 1.228 --0.0 16.939 --0.0 17.857 --0.0 17.1330.41 NO
Transformed_CSR_04/PEANO_nokinds_L.ari f NO 0.351 --0.0 [err] 1.71 --0.0 0.724 --0.0 1.365 --0.0 1.5460.30 NO
EEG_IJCAR_12/emmes-nonloop-ex3_1.ari if NO timeout [err] 1.131 --0.0 14.156 --0.0 11.803 --0.0 12.3400.30 NO
Transformed_CSR_04/PEANO_nokinds_noand_C.ari if YES timeout [err] 6.131 --0.0 11.997 --0.0 1.747 --0.0 timeout YES
EEG_IJCAR_12/emmes-nonloop-ex3_2.ari if NO timeout 1.395 --0.0 13.746 --0.0 11.742 --0.0 12.1280.31 NO
Transformed_CSR_04/PEANO_nokinds-noand_FR.ari if YES 0.733 --0.0 [err] 1.177 --0.0 26.635 --0.0 2.9 --0.0 2.1000.31 YES
EEG_IJCAR_12/emmes-nonloop-ex3_3.ari if NO timeout 1.432 --0.0 12.827 --0.0 12.216 --0.0 12.5880.32 NO
Transformed_CSR_04/PEANO_nokinds_noand_GM.ari if YES 0.591 --0.0 [err] 1.338 --0.0 18.256 --0.0 1.978 --0.0 2.2410.21 YES
EEG_IJCAR_12/emmes-nonloop-ex3_4.ari if NO timeout [err] 2.93 --0.0 16.908 --0.0 timeout timeout NO
Transformed_CSR_04/PEANO_nokinds_noand_iGM.ari if YES 2.859 --0.0 [err] 1.528 --0.0 31.340 --0.0 4.836 --0.0 4.8630.73 YES
EEG_IJCAR_12/emmes-nonloop-ex4_1.ari if NO timeout [err] 1.260 --0.0 timeout 11.776 --0.0 13.6340.31 NO
Transformed_CSR_04/PEANO_nokinds-noand_L.ari f NO 0.369 --0.0 [err] 1.363 --0.0 0.753 --0.0 1.508 --0.0 1.6410.21 NO
AG01/#3.55.ari if YES 0.435 --0.0 [err] 1.162 --0.0 16.536 --0.0 1.702 --0.0 1.8790.22 YES
Transformed_CSR_04/Ex4_7_56_Bor03_Z.ari f YES 0.437 --0.0 [err] 0.994 --0.0 0.901 --0.0 1.536 --0.0 1.6990.32 YES
EEG_IJCAR_12/emmes-nonloop-ex4_2.ari if NO timeout [err] 1.308 --0.0 14.542 --0.0 12.426 --0.0 13.6000.32 NO
Transformed_CSR_04/PEANO_nokinds-noand_Z.ari if YES 0.697 --0.0 [err] 1.176 --0.0 24.694 --0.0 2.148 --0.0 2.3040.21 YES
EEG_IJCAR_12/emmes-nonloop-ex4_3.ari if NO timeout [err] 1.338 --0.0 timeout 12.468 --0.0 13.6590.41 NO
Transformed_CSR_04/PEANO_nokinds_Z.ari if YES 0.627 --0.0 [err] 1.180 --0.0 28.655 --0.0 1.664 --0.0 1.8090.21 YES
EEG_IJCAR_12/emmes-nonloop-ex4_4.ari if NO timeout [err] 1.551 --0.0 timeout 11.860 --0.0 13.5860.32 NO
Transformed_CSR_04/PEANO_nosorts_C.ari if YES 0.452 --0.0 [err] 1.274 --0.0 19.49 --0.0 1.585 --0.0 2.00.22 YES
EEG_IJCAR_12/emmes-nonloop-ex5_1.ari if NO timeout [err] 1.434 --0.0 14.467 --0.0 12.678 --0.0 14.3020.32 NO
Transformed_CSR_04/PEANO_nosorts_FR.ari f YES 0.469 --0.0 [err] 1.12 --0.0 0.759 --0.0 1.840 --0.0 1.7870.21 YES
EEG_IJCAR_12/emmes-nonloop-ex5_2.ari if NO timeout [err] 1.509 --0.0 timeout 12.121 --0.0 14.9810.32 NO
Transformed_CSR_04/PEANO_nosorts_GM.ari f YES 0.498 --0.0 [err] 1.247 --0.0 1.911 --0.0 1.706 --0.0 1.8160.23 YES
EEG_IJCAR_12/emmes-nonloop-ex5_3.ari if NO timeout [err] 1.272 --0.0 9.579 --0.0 12.621 --0.0 14.4330.429 NO
Transformed_CSR_04/PEANO_nosorts_iGM.ari f YES 0.456 --0.0 [err] 1.154 --0.0 0.950 --0.0 1.655 --0.0 1.8060.31 YES
EEG_IJCAR_12/emmes-nonloop-ex6_1.ari if NO timeout [err] 1.130 --0.0 18.575 --0.0 11.659 --0.0 11.7980.31 NO
Transformed_CSR_04/PEANO_nosorts_L.ari f NO 0.351 --0.0 [err] 0.849 --0.0 0.721 --0.0 1.378 --0.0 1.4950.22 NO
EEG_IJCAR_12/emmes-nonloop-ex6_2.ari if NO timeout [err] 1.221 --0.0 15.524 --0.0 11.744 --0.0 11.9300.31 NO
Transformed_CSR_04/PEANO_nosorts_noand_C.ari if YES 0.542 --0.0 [err] 1.398 --0.0 12.465 --0.0 1.567 --0.0 2.350.22 YES
EEG_IJCAR_12/emmes-nonloop-ex7_1.ari if NO timeout [err] 1.592 --0.0 15.24 --0.0 14.84 --0.0 timeout NO
Transformed_CSR_04/PEANO_nosorts-noand_FR.ari if YES 0.396 --0.0 [err] 0.982 --0.0 19.216 --0.0 1.536 --0.0 1.6820.29 YES
EEG_IJCAR_12/emmes-nonloop-ex7_2.ari if NO timeout [err] 1.783 --0.0 13.578 --0.0 17.352 --0.0 timeout NO
Transformed_CSR_04/PEANO_nosorts_noand_GM.ari if YES 0.501 --0.0 [err] 1.98 --0.0 24.533 --0.0 1.505 --0.0 1.7160.20 YES
AG01/#3.56.ari if YES 0.396 --0.0 [err] 1.7 --0.0 18.374 --0.0 1.552 --0.0 1.7400.22 YES
Transformed_CSR_04/Ex4_7_77_Bor03_C.ari if YES 0.495 --0.0 [err] 1.78 --0.0 10.132 --0.0 1.544 --0.0 1.9450.58 YES
EEG_IJCAR_12/emmes-nonloop-ex7_3.ari uf MAYBE timeout [err] 2.374 --0.0 16.557 --0.0 timeout timeout MAYBE
Transformed_CSR_04/PEANO_nosorts_noand_iGM.ari if YES 0.532 --0.0 [err] 1.300 --0.0 22.853 --0.0 1.833 --0.0 1.9710.21 YES
EEG_IJCAR_12/emmes-nonloop-ex7_4.ari uf MAYBE timeout [err] 1.853 --0.0 14.769 --0.0 timeout timeout MAYBE
Transformed_CSR_04/PEANO_nosorts-noand_L.ari f NO 0.343 --0.0 [err] 0.862 --0.0 0.730 --0.0 1.397 --0.0 1.5240.20 NO
EEG_IJCAR_12/emmes-nonloop-ex7_5.ari uf MAYBE timeout [err] 3.617 --0.0 12.506 --0.0 timeout timeout MAYBE
Various_04/02.ari if YES 50.722 --0.0 [err] 1.15 --0.0 1.805 --0.0 1.495 --0.0 1.6300.20 YES
EEG_IJCAR_12/emmes-nonloop-ex7_6.ari uf MAYBE timeout [err] 4.288 --0.0 14.598 --0.0 timeout timeout MAYBE
Various_04/03.ari if YES 50.805 --0.0 [err] 1.41 --0.0 timeout 1.607 --0.0 1.7090.23 YES
EEG_IJCAR_12/emmes-nonloop-ex7_7.ari if NO timeout [err] 1.985 --0.0 13.811 --0.0 17.506 --0.0 timeout NO
Various_04/04.ari uf MAYBE timeout [err] 38.416 --0.0 21.964 --0.0 timeout timeout MAYBE
EEG_IJCAR_12/emmes-nonloop-ex7_8.ari uf MAYBE timeout [err] 2.584 --0.0 16.368 --0.0 timeout timeout MAYBE
Various_04/05.ari uf MAYBE timeout timeout 23.578 --0.0 timeout timeout MAYBE
EEG_IJCAR_12/emmes-nonloop-ex7_9.ari uf MAYBE timeout [err] 1.964 --0.0 11.296 --0.0 timeout timeout MAYBE
Various_04/06.ari f YES 0.364 --0.0 [err] 1.78 --0.0 0.762 --0.0 1.608 --0.0 1.7700.22 YES
EEG_IJCAR_12/enger-nonloop-add.ari if NO timeout [err] 1.188 --0.0 15.187 --0.0 11.948 --0.0 12.1340.31 NO
Various_04/07.ari f YES 0.392 --0.0 [err] 0.963 --0.0 0.726 --0.0 1.609 --0.0 1.6470.22 YES
EEG_IJCAR_12/enger-nonloop-addTrue.ari if NO timeout [err] 1.219 --0.0 memout 11.962 --0.0 12.1690.32 NO
Various_04/08.ari uf MAYBE timeout timeout 21.721 --0.0 timeout timeout MAYBE
EEG_IJCAR_12/enger-nonloop-ex_payet.ari if NO timeout [err] 1.666 --0.0 17.402 --0.0 timeout timeout NO
Various_04/09.ari f YES 0.363 --0.0 [err] 1.42 --0.0 0.756 --0.0 1.544 --0.0 1.7110.23 YES
AG01/#3.15.ari f YES 0.474 --0.0 [err] 1.12 --0.0 0.866 --0.0 1.516 --0.0 1.6680.20 YES
Transformed_CSR_04/Ex3_2_Luc97_FR.ari if YES timeout [err] 1.340 --0.0 19.36 --0.0 timeout error YES
AG01/#3.57.ari if YES 0.512 --0.0 [err] 1.186 --0.0 timeout 1.640 --0.0 1.9310.67 YES
Transformed_CSR_04/Ex4_7_77_Bor03_FR.ari f YES 0.335 --0.0 [err] 0.888 --0.0 0.789 --0.0 1.416 --0.0 1.5030.20 YES
EEG_IJCAR_12/enger-nonloop-isDNat.ari if NO timeout [err] 1.0 --0.0 1.62 --0.0 11.583 --0.0 11.7330.21 NO
Various_04/10.ari if YES 0.441 --0.0 [err] 1.111 --0.0 timeout 1.629 --0.0 1.8140.24 YES
EEG_IJCAR_12/enger-nonloop-isList.ari if NO timeout [err] 1.34 --0.0 timeout 11.596 --0.0 11.6870.21 NO
Various_04/11.ari if YES 20.513 --0.0 [err] 1.33 --0.0 23.711 --0.0 1.646 --0.0 1.7420.38 YES
EEG_IJCAR_12/enger-nonloop-isList-List.ari if NO timeout [err] 1.16 --0.0 16.257 --0.0 timeout timeout NO
Various_04/12.ari f YES 0.453 --0.0 [err] 1.66 --0.0 1.308 --0.0 1.586 --0.0 1.7210.23 YES
EEG_IJCAR_12/enger-nonloop-isTrueList.ari if NO timeout [err] 1.32 --0.0 1.259 --0.0 11.536 --0.0 11.7640.21 NO
Various_04/13.ari f YES 0.481 --0.0 [err] 1.132 --0.0 0.936 --0.0 1.589 --0.0 1.7540.22 YES
EEG_IJCAR_12/enger-nonloop-swap_decr.ari if NO timeout [err] 1.115 --0.0 11.471 --0.0 11.696 --0.0 11.8220.32 NO
Various_04/14.ari if YES 0.562 --0.0 [err] 1.658 --0.0 25.435 --0.0 2.145 --0.0 2.3660.49 YES
EEG_IJCAR_12/enger-nonloop-swapX.ari if NO timeout [err] 1.20 --0.0 26.415 --0.0 11.735 --0.0 11.8510.30 NO
Various_04/15.ari if YES 0.412 --0.0 [err] 0.978 --0.0 34.559 --0.0 1.991 --0.0 2.1870.23 YES
EEG_IJCAR_12/enger-nonloop-swapXY2.ari if NO timeout [err] 1.85 --0.0 timeout 11.657 --0.0 11.7720.31 NO
Various_04/18.ari f YES 0.364 --0.0 [err] 1.11 --0.0 1.97 --0.0 1.578 --0.0 1.6790.21 YES
EEG_IJCAR_12/enger-nonloop-swapXY.ari if NO timeout [err] 1.111 --0.0 timeout 11.694 --0.0 11.8630.32 NO
Various_04/19.ari f YES 0.633 --0.0 [err] 1.96 --0.0 0.782 --0.0 1.633 --0.0 1.7730.22 YES
EEG_IJCAR_12/enger-nonloop-toOne.ari if NO timeout [err] 1.423 --0.0 1.27 --0.0 11.846 --0.0 12.160.21 NO
Various_04/21.ari f YES 0.546 --0.0 [err] 1.176 --0.0 0.844 --0.0 1.688 --0.0 1.7680.22 YES
EEG_IJCAR_12/enger-nonloop-unbounded.ari if NO timeout [err] 1.180 --0.0 0.808 --0.0 11.745 --0.0 11.7700.342 NO
Various_04/22.ari if YES 0.339 --0.0 [err] 0.893 --0.0 1.906 --0.0 1.484 --0.0 1.5830.19 YES
AG01/#3.5a.ari f YES 0.407 --0.0 1.68 --0.0 0.948 --0.0 1.640 --0.0 1.7710.19 YES
Transformed_CSR_04/Ex4_7_77_Bor03_GM.ari f YES 0.399 --0.0 [err] 1.18 --0.0 0.999 --0.0 1.573 --0.0 1.6590.22 YES
EEG_IJCAR_12/enger-nonloop-while-lt.ari if NO timeout [err] 1.130 --0.0 0.899 --0.0 11.778 --0.0 12.820.33 NO
Various_04/23.ari f YES 0.411 --0.0 [err] 1.37 --0.0 0.881 --0.0 1.749 --0.0 1.8690.21 YES
EEG_IJCAR_12/rybalchenko-nonloop-popl08.ari if NO timeout [err] 1.780 --0.0 timeout 15.344 --0.0 18.70.261 NO
Various_04/24.ari f YES 0.376 --0.0 [err] 1.6 --0.0 0.747 --0.0 1.525 --0.0 1.6350.20 YES
EEG_IJCAR_12/velroyen-nonloop-AlternatingIncr_c.ari uf MAYBE timeout [err] 2.235 --0.0 13.284 --0.0 error error MAYBE
Various_04/25.ari if YES 0.411 --0.0 [err] 0.923 --0.0 0.808 --0.0 1.566 --0.0 1.6980.22 YES
EEG_IJCAR_12/velroyen-nonloop-ConvLower_c.ari if NO timeout 1.754 --0.0 timeout 11.811 --0.0 12.790.31 NO
Various_04/26.ari if YES 0.415 --0.0 [err] 0.965 --0.0 memout 1.605 --0.0 1.7090.41 YES
Endrullis_06/direct.ari if YES 0.527 --0.0 [err] 1.379 --0.0 2.23 --0.0 1.861 --0.0 2.530.606 YES
Various_04/27.ari f YES 0.368 --0.0 [err] 0.912 --0.0 0.728 --0.0 1.554 --0.0 1.6330.21 YES
Endrullis_06/labeling.ari if YES timeout [err] 1.102 --0.0 29.235 --0.0 3.410 --0.0 3.5960.493 YES
Waldmann_06/jwaprove1.ari if YES timeout [err] 1.134 --0.0 timeout 2.928 --0.0 3.790.33 YES
Endrullis_06/linear1.ari if YES 2.50 --0.0 [err] 1.189 --0.0 21.6 --0.0 1.833 --0.0 1.9540.231 YES
Waldmann_06/jwaprove2.ari if YES timeout 1.111 --0.0 timeout 2.771 --0.0 3.800.32 YES
Endrullis_06/linear2.ari if YES timeout [err] 2.475 --0.0 18.726 --0.0 2.592 --0.0 2.8360.291 YES
Waldmann_06/jwcime1.ari if YES 0.580 --0.0 [err] 1.50 --0.0 0.850 --0.0 1.703 --0.0 2.4010.32 YES
Endrullis_06/pair2hard.ari if YES timeout [err] 1.472 --0.0 19.525 --0.0 25.676 --0.0 26.6930.59 YES
Waldmann_06/jwcime2.ari if YES 0.759 --0.0 1.115 --0.0 20.455 --0.0 2.94 --0.0 1.8530.19 YES
Endrullis_06/pair2simple1.ari if YES 1.81 --0.0 [err] 1.6 --0.0 41.131 --0.0 1.531 --0.0 1.6560.120 YES
Waldmann_06/jwmatchb1.ari if YES timeout 1.54 --0.0 40.755 --0.0 8.975 --0.0 9.6530.21 YES
AG01/#3.5.ari f YES 0.422 --0.0 [err] 1.63 --0.0 0.861 --0.0 2.13 --0.0 1.7910.20 YES
Transformed_CSR_04/Ex4_7_77_Bor03_iGM.ari if YES 0.580 --0.0 [err] 1.146 --0.0 28.98 --0.0 1.645 --0.0 1.8590.29 YES
Endrullis_06/pair2simple2.ari if YES timeout [err] 0.986 --0.0 19.715 --0.0 1.618 --0.0 1.7380.20 YES
Waldmann_06/jwmatchb2.ari if YES timeout [err] 1.1 --0.0 36.756 --0.0 9.30 --0.0 9.3060.20 YES
Endrullis_06/pair3hard.ari if YES timeout [err] 1.141 --0.0 23.525 --0.0 2.65 --0.0 2.2590.30 YES
Waldmann_06/jwno1.ari if NO timeout [err] 1.59 --0.0 0.777 --0.0 2.53 --0.0 2.630.30 NO
Endrullis_06/pair3rotate.ari if YES 0.430 --0.0 [err] 0.974 --0.0 32.534 --0.0 1.833 --0.0 1.9270.22 YES
Waldmann_06/jwno2.ari if NO timeout 1.22 --0.0 0.785 --0.0 timeout timeout NO
Endrullis_06/pair3swap.ari if YES 0.556 --0.0 2.531 --0.0 21.59 --0.0 1.700 --0.0 1.8890.21 YES
Waldmann_06/jwno3.ari if NO timeout [err] 1.56 --0.0 0.744 --0.0 timeout timeout NO
Endrullis_06/quadruple1.ari if YES timeout [err] 1.179 --0.0 10.936 --0.0 1.827 --0.0 1.9930.21 YES
Waldmann_06/jwno4.ari if NO timeout [err] 1.19 --0.0 0.748 --0.0 1.906 --0.0 1.9360.19 NO
Endrullis_06/quadruple2.ari if YES timeout [err] 1.771 --0.0 17.726 --0.0 8.166 --0.0 8.2920.33 YES
Waldmann_06/jwno5.ari if NO timeout [err] 1.32 --0.0 0.774 --0.0 timeout timeout NO
GTSSK07/cade01.ari if YES timeout [err] 1.135 --0.0 timeout 1.746 --0.0 1.8920.21 YES
Waldmann_06/jwno6.ari if NO timeout [err] 1.32 --0.0 0.777 --0.0 1.943 --0.0 2.760.21 NO
GTSSK07/cade03.ari if YES timeout [err] 1.150 --0.0 timeout 1.843 --0.0 2.660.31 YES
Waldmann_06/jwno7.ari if NO timeout [err] 1.107 --0.0 1.61 --0.0 timeout timeout NO
GTSSK07/cade04t.ari uf MAYBE timeout [err] 1.87 --0.0 timeout timeout timeout MAYBE
Waldmann_06/jwno8.ari if NO timeout [err] 1.53 --0.0 0.817 --0.0 timeout timeout NO
GTSSK07/cade05t.ari if YES timeout [err] 1.450 --0.0 12.595 --0.0 2.60 --0.0 2.3690.302 YES
Waldmann_06/jwno9.ari if NO timeout [err] 1.706 --0.0 1.71 --0.0 2.220 --0.0 2.3800.25 NO
AG01/#3.5b.ari if YES 0.438 --0.0 [err] 1.196 --0.0 timeout 1.785 --0.0 1.8990.58 YES
Transformed_CSR_04/Ex4_7_77_Bor03_L.ari f NO 0.333 --0.0 [err] 0.768 --0.0 0.725 --0.0 1.319 --0.0 1.4180.20 NO
GTSSK07/cade06.ari if YES timeout [err] 1.308 --0.0 19.632 --0.0 2.48 --0.0 error YES
Waldmann_06/jwteparla1.ari if YES 35.277 --0.0 [err] 2.255 --0.0 timeout 1.729 --0.0 2.1690.71 YES
GTSSK07/cade07.ari if YES timeout [err] 1.442 --0.0 22.182 --0.0 2.182 --0.0 timeout YES
Waldmann_06/jwteparla2.ari if YES 36.464 --0.0 [err] 2.62 --0.0 timeout 1.571 --0.0 2.5030.22 YES
GTSSK07/cade08.ari uf MAYBE timeout [err] 1.242 --0.0 23.970 --0.0 timeout error MAYBE
Waldmann_06/jwtpa1.ari if YES 0.993 --0.0 [err] 0.988 --0.0 13.661 --0.0 2.640 --0.0 2.7330.22 YES
GTSSK07/cade09.ari if YES timeout [err] 1.232 --0.0 timeout 1.891 --0.0 2.230.20 YES
Waldmann_06/jwtpa2.ari if YES 0.472 --0.0 [err] 1.134 --0.0 17.862 --0.0 1.827 --0.0 2.150.20 YES
GTSSK07/cade10.ari if YES timeout [err] 1.158 --0.0 12.258 --0.0 1.790 --0.0 1.8620.22 YES
Waldmann_06/jwttt.ari if YES 0.467 --0.0 [err] 1.154 --0.0 18.410 --0.0 1.739 --0.0 1.8660.22 YES
GTSSK07/cade11.ari if YES timeout [err] 1.116 --0.0 timeout 1.785 --0.0 1.8000.21 YES
Waldmann_23/17.ari if NO timeout [err] 1.432 --0.0 30.279 --0.0 error error NO
GTSSK07/cade12t.ari uf MAYBE timeout [err] 1.544 --0.0 30.307 --0.0 timeout timeout MAYBE
Waldmann_23/19.ari if NO timeout [err] 1.538 --0.0 27.125 --0.0 error error NO
GTSSK07/cade13t.ari if YES timeout [err] 1.383 --0.0 24.335 --0.0 1.862 --0.0 1.9940.31 YES
Yamada_21/collatz.ari uf MAYBE timeout [err] 1.470 --0.0 16.133 --0.0 error error MAYBE
GTSSK07/cade14.ari if YES timeout [err] 1.683 --0.0 25.267 --0.0 2.738 --0.0 3.180.82 YES
Zantema_05/jw01.ari if YES 0.470 --0.0 [err] 0.937 --0.0 0.781 --0.0 1.592 --0.0 1.7570.23 YES
GTSSK07/cade15.ari if YES timeout [err] 2.298 --0.0 17.879 --0.0 3.211 --0.0 3.3090.62 YES
Zantema_05/jw02.ari if YES 0.424 --0.0 [err] 0.963 --0.0 0.777 --0.0 1.594 --0.0 1.7200.22 YES
AG01/#3.6a.ari if YES 0.421 --0.0 [err] 1.60 --0.0 19.387 --0.0 1.586 --0.0 1.7600.22 YES
Transformed_CSR_04/Ex49_GM04_C.ari if YES 2.64 --0.0 [err] 1.598 --0.0 12.905 --0.0 1.597 --0.0 2.6500.61 YES
GTSSK07/cade16.ari if YES timeout [err] 1.246 --0.0 21.820 --0.0 1.840 --0.0 2.80.31 YES
Zantema_05/jw03.ari if YES 0.441 --0.0 [err] 0.940 --0.0 0.774 --0.0 1.569 --0.0 1.6790.27 YES
GTSSK07/cade17.ari uf MAYBE timeout [err] 1.993 --0.0 20.712 --0.0 error error MAYBE
Zantema_05/jw04.ari if YES 0.485 --0.0 [err] 0.974 --0.0 0.753 --0.0 1.580 --0.0 1.7080.21 YES
HirokawaMiddeldorp_04/n002.ari f NO 50.616 --0.0 [err] 0.793 --0.0 0.778 --0.0 1.450 --0.0 1.5560.24 NO
Zantema_05/jw05.ari if YES 0.429 --0.0 [err] 1.24 --0.0 0.777 --0.0 1.592 --0.0 2.330.22 YES
HirokawaMiddeldorp_04/n003.ari if NO timeout [err] 0.949 --0.0 0.765 --0.0 1.700 --0.0 1.8350.22 NO
Zantema_05/jw06.ari if YES 0.476 --0.0 [err] 0.939 --0.0 0.768 --0.0 1.577 --0.0 1.6830.22 YES
HirokawaMiddeldorp_04/n004.ari f NO 50.601 --0.0 [err] 0.838 --0.0 0.751 --0.0 2.40 --0.0 1.9220.22 NO
Zantema_05/jw07.ari if YES 0.429 --0.0 [err] 0.980 --0.0 0.815 --0.0 1.594 --0.0 1.7780.23 YES
HirokawaMiddeldorp_04/n005.ari if NO timeout [err] 0.968 --0.0 0.780 --0.0 1.452 --0.0 1.6080.22 NO
Zantema_05/jw08.ari if YES 0.794 --0.0 [err] 1.121 --0.0 0.823 --0.0 1.679 --0.0 1.7890.22 YES
HirokawaMiddeldorp_04/n006.ari if NO timeout [err] 0.963 --0.0 0.775 --0.0 1.479 --0.0 1.5970.22 NO
Zantema_05/jw09.ari if YES 0.445 --0.0 [err] 0.988 --0.0 0.797 --0.0 1.646 --0.0 1.7600.24 YES
HirokawaMiddeldorp_04/n007.ari f NO 0.341 --0.0 [err] 0.962 --0.0 0.743 --0.0 1.550 --0.0 1.6870.19 NO
Zantema_05/jw11.ari if YES 0.787 --0.0 [err] 0.923 --0.0 0.883 --0.0 1.527 --0.0 1.4720.20 YES
HirokawaMiddeldorp_04/n008.ari f NO 0.412 --0.0 [err] 0.826 --0.0 0.741 --0.0 1.849 --0.0 1.8000.21 NO
Zantema_05/jw12.ari if YES 0.701 --0.0 [err] 0.943 --0.0 0.926 --0.0 1.513 --0.0 1.7170.21 YES
HirokawaMiddeldorp_04/t000.ari f YES 0.557 --0.0 [err] 1.434 --0.0 0.954 --0.0 1.628 --0.0 2.860.21 YES
Zantema_05/jw13.ari if YES 0.423 --0.0 [err] 0.964 --0.0 timeout 1.651 --0.0 1.7980.22 YES
AG01/#3.6.ari f YES 0.462 --0.0 [err] 1.74 --0.0 11.498 --0.0 1.668 --0.0 1.7360.22 YES
Transformed_CSR_04/Ex49_GM04_FR.ari if YES timeout [err] 1.84 --0.0 25.227 --0.0 2.622 --0.0 2.9160.70 YES
HirokawaMiddeldorp_04/t001.ari if YES 0.482 --0.0 [err] 1.169 --0.0 timeout 1.727 --0.0 1.7670.22 YES
Zantema_05/jw14.ari if YES 0.370 --0.0 [err] 0.926 --0.0 timeout 1.523 --0.0 1.6460.22 YES
HirokawaMiddeldorp_04/t002.ari if YES 50.735 --0.0 [err] 1.168 --0.0 30.453 --0.0 1.721 --0.0 1.8220.20 YES
Zantema_05/jw15.ari if YES 0.890 --0.0 [err] 1.92 --0.0 0.798 --0.0 1.578 --0.0 1.7850.19 YES
HirokawaMiddeldorp_04/t003.ari f YES 0.398 --0.0 [err] 1.177 --0.0 0.882 --0.0 1.599 --0.0 1.8180.21 YES
Zantema_05/jw16.ari if YES 0.518 --0.0 [err] 0.991 --0.0 0.750 --0.0 1.593 --0.0 1.7640.19 YES
HirokawaMiddeldorp_04/t004.ari if YES timeout [err] 0.951 --0.0 24.336 --0.0 1.432 --0.0 2.250.22 YES
Zantema_05/jw17.ari if YES 0.418 --0.0 [err] 1.13 --0.0 0.771 --0.0 1.629 --0.0 1.7890.20 YES
HirokawaMiddeldorp_04/t005.ari if YES 0.577 --0.0 [err] 1.783 --0.0 12.749 --0.0 1.998 --0.0 2.630.72 YES
Zantema_05/jw18.ari if YES 0.586 --0.0 [err] 0.972 --0.0 0.781 --0.0 1.600 --0.0 1.7200.20 YES
HirokawaMiddeldorp_04/t006.ari f YES 0.354 --0.0 [err] 0.905 --0.0 0.741 --0.0 1.488 --0.0 1.6550.21 YES
Zantema_05/jw19.ari if YES 0.789 --0.0 [err] 1.19 --0.0 0.772 --0.0 1.557 --0.0 1.6530.21 YES
HirokawaMiddeldorp_04/t007.ari f YES 0.337 --0.0 [err] 0.924 --0.0 0.713 --0.0 1.617 --0.0 1.7060.20 YES
Zantema_05/jw20.ari if YES 0.406 --0.0 [err] 0.930 --0.0 0.786 --0.0 1.544 --0.0 1.7030.19 YES
HirokawaMiddeldorp_04/t008.ari if YES 0.395 --0.0 [err] 0.993 --0.0 25.324 --0.0 2.112 --0.0 1.8470.19 YES
Zantema_05/jw21.ari if YES 0.474 --0.0 [err] 1.2 --0.0 0.839 --0.0 1.586 --0.0 1.6980.19 YES
HirokawaMiddeldorp_04/t009.ari if YES timeout [err] 4.867 --0.0 16.956 --0.0 6.476 --0.0 6.6640.43 YES
Zantema_05/jw22.ari if YES 0.438 --0.0 [err] 0.972 --0.0 timeout 1.558 --0.0 1.7080.21 YES
HirokawaMiddeldorp_04/t010.ari f YES 0.369 --0.0 [err] 0.954 --0.0 0.744 --0.0 1.586 --0.0 1.8100.22 YES
Zantema_05/jw23.ari if YES 2.202 --0.0 [err] 0.974 --0.0 0.779 --0.0 1.657 --0.0 1.7630.21 YES
AG01/#3.6b.ari if YES 0.446 --0.0 [err] 1.132 --0.0 14.451 --0.0 1.759 --0.0 1.8630.24 YES
Transformed_CSR_04/Ex49_GM04_GM.ari if YES 0.570 --0.0 [err] 1.174 --0.0 14.736 --0.0 1.846 --0.0 1.9700.42 YES
HirokawaMiddeldorp_04/t011.ari f YES 0.361 --0.0 [err] 0.967 --0.0 0.759 --0.0 1.572 --0.0 1.7510.22 YES
Zantema_05/jw24.ari if YES 0.479 --0.0 [err] 0.995 --0.0 0.799 --0.0 1.579 --0.0 1.6980.20 YES
HirokawaMiddeldorp_04/t012.ari f YES 0.519 --0.0 [err] 1.22 --0.0 0.789 --0.0 1.597 --0.0 1.7540.173 YES
Zantema_05/jw25.ari if YES 0.532 --0.0 [err] 0.953 --0.0 0.768 --0.0 1.608 --0.0 1.7390.20 YES
HirokawaMiddeldorp_04/t013.ari f YES 0.421 --0.0 [err] 0.999 --0.0 0.873 --0.0 1.593 --0.0 1.7910.132 YES
Zantema_05/jw26.ari if YES 1.592 --0.0 [err] 0.958 --0.0 0.749 --0.0 1.601 --0.0 1.7380.20 YES
HirokawaMiddeldorp_04/t014.ari f YES 0.400 --0.0 [err] 1.47 --0.0 0.760 --0.0 1.576 --0.0 1.7330.22 YES
Zantema_05/jw27.ari if YES 0.438 --0.0 [err] 1.26 --0.0 timeout 1.613 --0.0 1.9660.20 YES
Hydras/goodstein.ari if YES timeout [err] 2.584 --0.0 25.485 --0.0 error error YES
Zantema_05/jw28.ari if YES 0.489 --0.0 [err] 0.955 --0.0 0.789 --0.0 1.606 --0.0 1.7150.22 YES
Hydras/hydra_buchholz.ari uf MAYBE timeout [err] 1.273 --0.0 32.96 --0.0 error timeout MAYBE
Zantema_05/jw29.ari if YES 0.438 --0.0 [err] 0.928 --0.0 0.766 --0.0 1.601 --0.0 1.6860.21 YES
Hydras/hydra_touzet.ari if YES timeout [err] 1.622 --0.0 21.306 --0.0 timeout error YES
Zantema_05/jw30.ari if YES 1.79 --0.0 [err] 1.20 --0.0 0.788 --0.0 1.526 --0.0 2.2090.21 YES
Hydras/lepper_0.ari uf MAYBE timeout [err] 1.548 --0.0 29.952 --0.0 error error MAYBE
Zantema_05/jw31.ari if YES 0.472 --0.0 [err] 0.932 --0.0 0.769 --0.0 1.603 --0.0 1.6900.22 YES
Hydras/lepper_10.ari if NO timeout timeout 27.727 --0.0 error error NO
Zantema_05/jw32.ari if YES 0.427 --0.0 [err] 1.29 --0.0 0.791 --0.0 1.627 --0.0 2.1190.22 YES
Hydras/lepper_1.ari uf MAYBE timeout [err] 2.863 --0.0 25.174 --0.0 error error MAYBE
Zantema_05/jw33.ari if YES 0.551 --0.0 [err] 0.937 --0.0 0.808 --0.0 1.610 --0.0 1.6930.21 YES
AG01/#3.7.ari f YES 0.419 --0.0 [err] 0.965 --0.0 0.800 --0.0 1.621 --0.0 1.8750.84 YES
Transformed_CSR_04/Ex49_GM04_iGM.ari f YES 0.689 --0.0 [err] 1.490 --0.0 10.593 --0.0 2.476 --0.0 3.130.112 YES
Hydras/lepper_2.ari if NO timeout [err] 7.171 --0.0 1.338 --0.0 22.476 --0.0 16.1970.31 NO
Zantema_05/jw34.ari if YES 0.989 --0.0 [err] 1.241 --0.0 0.753 --0.0 1.829 --0.0 2.4780.22 YES
Hydras/lepper_3.ari if NO timeout [err] 19.179 --0.0 2.41 --0.0 timeout error NO
Zantema_05/jw35.ari if YES 0.340 --0.0 [err] 0.907 --0.0 35.326 --0.0 1.512 --0.0 1.6380.21 YES
Hydras/lepper_4.ari if NO timeout timeout 4.341 --0.0 error error NO
Zantema_05/jw36.ari if YES 0.423 --0.0 [err] 0.934 --0.0 timeout 1.578 --0.0 1.6850.20 YES
Hydras/lepper_5.ari if NO timeout timeout 3.137 --0.0 error error NO
Zantema_05/jw37.ari if YES 0.653 --0.0 [err] 0.949 --0.0 0.903 --0.0 1.489 --0.0 2.3330.21 YES
Hydras/lepper_6.ari if NO timeout timeout 4.610 --0.0 error error NO
Zantema_05/jw38.ari if YES 0.694 --0.0 [err] 0.960 --0.0 0.872 --0.0 1.505 --0.0 1.6490.22 YES
Hydras/lepper_8.ari if NO timeout timeout 11.484 --0.0 error error NO
Zantema_05/jw39.ari if YES 0.427 --0.0 [err] 1.99 --0.0 0.803 --0.0 1.600 --0.0 1.6930.21 YES
Hydras/lepper_9.ari if NO timeout timeout 24.19 --0.0 error error NO
Zantema_05/jw40.ari if YES 0.401 --0.0 [err] 1.0 --0.0 0.775 --0.0 1.629 --0.0 1.6660.21 YES
Hydras/worm_fixed2.ari if YES timeout [err] 1.443 --0.0 22.117 --0.0 timeout error YES
Zantema_05/jw41.ari if YES 0.783 --0.0 [err] 1.53 --0.0 0.809 --0.0 1.574 --0.0 2.4710.20 YES
Hydras/worm_fixed3.ari uf MAYBE timeout [err] 1.482 --0.0 13.124 --0.0 timeout error MAYBE
Zantema_05/jw42.ari if YES 0.418 --0.0 [err] 0.910 --0.0 0.777 --0.0 1.560 --0.0 1.6700.21 YES
Hydras/worm_fixed.ari if YES timeout [err] 1.399 --0.0 22.361 --0.0 error error YES
Zantema_05/jw43.ari if YES 1.674 --0.0 [err] 0.909 --0.0 0.881 --0.0 1.820 --0.0 1.6380.21 YES
AG01/#3.8a.ari f YES 0.549 --0.0 [err] 1.209 --0.0 0.881 --0.0 1.805 --0.0 1.7870.20 YES
Transformed_CSR_04/Ex49_GM04_L.ari f NO 0.367 --0.0 [err] 0.945 --0.0 0.748 --0.0 1.452 --0.0 1.5450.35 NO
Hydras/worm_wrong.ari if YES timeout [err] 1.527 --0.0 18.352 --0.0 17.405 --0.0 19.1510.21 YES
Zantema_05/jw44.ari f YES 0.355 --0.0 [err] 0.921 --0.0 0.768 --0.0 1.647 --0.0 1.6150.20 YES
Kaliszyk_19/1long.ari uf MAYBE [err] 9.553 --0.0 timeout timeout timeout timeout MAYBE
Zantema_05/jw47.ari f YES 0.381 --0.0 [err] 0.942 --0.0 0.736 --0.0 1.469 --0.0 1.5810.20 YES
Kaliszyk_19/1rwr.ari if NO [err] 9.94 --0.0 timeout timeout timeout timeout NO
Zantema_05/jw50.ari if YES 1.272 --0.0 [err] 0.936 --0.0 0.892 --0.0 1.554 --0.0 1.6930.22 YES
Kaliszyk_19/arith.ari if YES 0.462 --0.0 [err] 5.810 --0.0 memout 1.917 --0.0 2.450.31 YES
Zantema_05/z01.ari if YES timeout [err] 1.327 --0.0 32.990 --0.0 2.66 --0.0 47.3330.30 YES
Kaliszyk_19/longhl.ari uf MAYBE timeout timeout timeout timeout timeout MAYBE
Zantema_05/z02.ari if YES timeout [err] 1.65 --0.0 timeout 2.196 --0.0 2.2710.21 YES
Kaliszyk_19/longhlnb.ari uf MAYBE timeout timeout timeout timeout timeout MAYBE
Zantema_05/z03.ari if YES timeout [err] 0.909 --0.0 13.621 --0.0 1.852 --0.0 2.7450.20 YES
Kaliszyk_19/not_3258.ari if NO timeout timeout timeout timeout timeout NO
Zantema_05/z04.ari if YES 0.395 --0.0 [err] 0.976 --0.0 timeout 1.573 --0.0 1.6170.24 YES
Kaliszyk_19/shor.ari if YES timeout timeout timeout timeout timeout YES
Zantema_05/z05.ari if YES timeout [err] 1.610 --0.0 22.313 --0.0 1.581 --0.0 3.3280.30 YES
Kaliszyk_19/shornodot.ari if YES timeout [err] 30.341 --0.0 timeout timeout timeout YES
Zantema_05/z06.ari if YES 41.323 --0.0 [err] 0.956 --0.0 9.90 --0.0 1.538 --0.0 1.6910.21 YES
Mixed_TRS/1.ari if YES 0.796 --0.0 [err] 1.106 --0.0 0.964 --0.0 1.667 --0.0 1.9120.20 YES
Zantema_05/z07.ari if YES timeout [err] 1.351 --0.0 13.497 --0.0 1.753 --0.0 2.3290.20 YES
AG01/#3.8b.ari f YES 0.607 --0.0 [err] 1.534 --0.0 1.324 --0.0 2.278 --0.0 2.2130.109 YES
Transformed_CSR_04/Ex49_GM04_Z.ari if YES 0.583 --0.0 [err] 1.390 --0.0 33.669 --0.0 2.446 --0.0 2.2900.122 YES
Mixed_TRS/2.ari if YES 0.679 --0.0 [err] 0.956 --0.0 16.658 --0.0 1.659 --0.0 1.8010.20 YES
Zantema_05/z08.ari if YES 0.580 --0.0 [err] 0.981 --0.0 1.81 --0.0 1.546 --0.0 2.1240.20 YES
Mixed_TRS/3.ari if YES 0.411 --0.0 [err] 1.143 --0.0 timeout 1.587 --0.0 1.7700.31 YES
Zantema_05/z09.ari if YES timeout [err] 2.480 --0.0 27.562 --0.0 2.50 --0.0 timeout YES
Mixed_TRS/4.ari if YES 0.695 --0.0 [err] 1.298 --0.0 0.862 --0.0 1.955 --0.0 1.8020.554 YES
Zantema_05/z10.ari if YES timeout [err] 1.234 --0.0 31.862 --0.0 1.722 --0.0 error YES
Mixed_TRS/5.ari if YES 0.666 --0.0 [err] 1.219 --0.0 0.826 --0.0 1.918 --0.0 1.8020.554 YES
Zantema_05/z11.ari if YES timeout [err] 1.117 --0.0 20.333 --0.0 1.592 --0.0 1.7400.20 YES
Mixed_TRS/6.ari if NO timeout [err] 1.111 --0.0 0.769 --0.0 timeout timeout NO
Zantema_05/z12.ari if YES timeout [err] 4.392 --0.0 0.881 --0.0 1.643 --0.0 timeout YES
Mixed_TRS/7.ari if YES timeout [err] 1.445 --0.0 28.927 --0.0 error 29.6250.31 YES
Zantema_05/z13.ari if YES timeout [err] 2.327 --0.0 1.192 --0.0 1.854 --0.0 timeout YES
Mixed_TRS/beans.ari if YES 1.736 --0.0 [err] 1.151 --0.0 21.559 --0.0 2.348 --0.0 2.2130.185 YES
Zantema_05/z14.ari if YES timeout [err] 1.445 --0.0 0.980 --0.0 1.518 --0.0 timeout YES
Mixed_TRS/div_hard.ari if YES timeout [err] 1.204 --0.0 24.836 --0.0 error error YES
Zantema_05/z15.ari if YES timeout [err] 1.347 --0.0 0.881 --0.0 1.531 --0.0 timeout YES
Mixed_TRS/Ex1_Luc04b_GM.ari if YES 0.750 --0.0 [err] 1.161 --0.0 32.388 --0.0 2.410 --0.0 2.1200.32 YES
Zantema_05/z16.ari if YES timeout 1.448 --0.0 0.882 --0.0 1.514 --0.0 timeout YES
Mixed_TRS/fossacs.ari uf MAYBE timeout [err] 1.562 --0.0 20.787 --0.0 error error MAYBE
Zantema_05/z17.ari uf MAYBE timeout [err] 1.226 --0.0 1.504 --0.0 timeout timeout MAYBE
AG01/#3.16.ari f YES 0.438 --0.0 [err] 1.52 --0.0 0.713 --0.0 1.500 --0.0 1.6610.21 YES
Transformed_CSR_04/Ex3_2_Luc97_GM.ari if YES timeout [err] 1.247 --0.0 18.253 --0.0 error error YES
AG01/#4.30c.ari if YES timeout [err] 1.459 --0.0 20.65 --0.0 4.88 --0.0 3.6710.103 YES
Transformed_CSR_04/Ex4_DLMMU04_C.ari if YES timeout [err] 8.856 --0.0 24.736 --0.0 2.147 --0.0 error YES
Mixed_TRS/gcd.ari if YES 0.419 --0.0 [err] 1.83 --0.0 19.426 --0.0 1.630 --0.0 1.8320.21 YES
Zantema_05/z18.ari if YES timeout [err] 1.42 --0.0 21.886 --0.0 1.635 --0.0 timeout YES
Mixed_TRS/gcdMinMax.ari if YES timeout [err] 1.675 --0.0 22.258 --0.0 1.651 --0.0 1.8650.21 YES
Zantema_05/z19.ari if YES timeout [err] 1.306 --0.0 27.875 --0.0 14.81 --0.0 14.7880.22 YES
Mixed_TRS/gcd_triple.ari if YES 0.510 --0.0 [err] 1.826 --0.0 16.200 --0.0 1.819 --0.0 2.550.21 YES
Zantema_05/z20.ari uf MAYBE timeout [err] 1.354 --0.0 24.969 --0.0 error error MAYBE
Mixed_TRS/hydra.ari f YES 0.372 --0.0 [err] 1.40 --0.0 0.773 --0.0 1.523 --0.0 1.6900.22 YES
Zantema_05/z21.ari if YES timeout [err] 1.221 --0.0 20.696 --0.0 8.335 --0.0 8.5640.41 YES
Mixed_TRS/hydra-Zantema06.ari uf MAYBE timeout [err] 1.309 --0.0 10.75 --0.0 error error MAYBE
Zantema_05/z22.ari if YES timeout [err] 1.301 --0.0 23.194 --0.0 13.930 --0.0 14.7090.22 YES
Mixed_TRS/jones1.ari f YES 0.484 --0.0 [err] 1.110 --0.0 0.859 --0.0 1.632 --0.0 1.6430.125 YES
Zantema_05/z23.ari if YES timeout [err] 1.241 --0.0 1.62 --0.0 1.843 --0.0 timeout YES
Mixed_TRS/jones2.ari if YES 0.367 --0.0 [err] 0.966 --0.0 24.199 --0.0 1.542 --0.0 1.6540.21 YES
Zantema_05/z24.ari if YES timeout [err] 1.182 --0.0 2.50 --0.0 1.724 --0.0 timeout YES
Mixed_TRS/jones4.ari f YES 0.525 --0.0 [err] 1.109 --0.0 0.879 --0.0 1.633 --0.0 1.6440.125 YES
Zantema_05/z25.ari if YES timeout [err] 0.852 --0.0 26.661 --0.0 1.567 --0.0 1.6520.84 YES
Mixed_TRS/jones5.ari f YES 0.528 --0.0 [err] 1.110 --0.0 0.861 --0.0 1.655 --0.0 1.6740.125 YES
Zantema_05/z26.ari if YES timeout [err] 1.435 --0.0 22.770 --0.0 2.250 --0.0 2.5990.886 YES
Mixed_TRS/jones6.ari f YES 0.485 --0.0 [err] 1.122 --0.0 1.37 --0.0 1.674 --0.0 1.6600.20 YES
Zantema_05/z27.ari if YES timeout [err] 1.34 --0.0 29.278 --0.0 13.685 --0.0 15.4370.114 YES
AotoYamada_05/001.ari if NO timeout [err] 1.58 --0.0 0.711 --0.0 2.249 --0.0 2.830.185 NO
Transformed_CSR_04/Ex4_DLMMU04_FR.ari if NO timeout [err] 2.749 --0.0 1.728 --0.0 8.532 --0.0 10.6150.20 NO
Mixed_TRS/minsort.ari uf MAYBE timeout [err] 2.142 --0.0 16.131 --0.0 error error MAYBE
Zantema_05/z28.ari if YES timeout [err] 1.114 --0.0 20.584 --0.0 1.722 --0.0 1.8270.21 YES
Mixed_TRS/motivation.ari if YES 0.397 --0.0 [err] 0.952 --0.0 26.711 --0.0 1.571 --0.0 1.7200.21 YES
Zantema_05/z29.ari if YES 0.491 --0.0 [err] 1.200 --0.0 32.144 --0.0 1.541 --0.0 1.7880.22 YES
Mixed_TRS/perfect2.ari f YES 0.535 --0.0 [err] 1.285 --0.0 0.877 --0.0 1.749 --0.0 1.7640.50 YES
Zantema_05/z30.ari if YES timeout [err] 3.780 --0.0 30.498 --0.0 1.664 --0.0 error YES
Mixed_TRS/perfect.ari f YES 0.343 --0.0 [err] 1.148 --0.0 0.658 --0.0 1.978 --0.0 1.6370.194 YES
Zantema_15/delta.ari if NO timeout [err] 0.996 --0.0 23.315 --0.0 timeout timeout NO
Mixed_TRS/sigma.ari if YES timeout [err] 1.181 --0.0 27.531 --0.0 1.870 --0.0 error YES
Zantema_15/ex01.ari if NO timeout [err] 0.955 --0.0 10.505 --0.0 1.942 --0.0 1.9980.642 NO
Mixed_TRS/test1.ari if YES 0.393 --0.0 [err] 0.924 --0.0 16.255 --0.0 1.614 --0.0 1.5100.40 YES
Zantema_15/ex02.ari if NO timeout [err] 1.145 --0.0 10.394 --0.0 timeout timeout NO
Mixed_TRS/while2.ari uf MAYBE timeout [err] 1.783 --0.0 18.310 --0.0 timeout error MAYBE
Zantema_15/ex03.ari if NO timeout [err] 1.205 --0.0 10.884 --0.0 timeout timeout NO
Mixed_TRS/while.ari if YES timeout [err] 1.329 --0.0 timeout 1.629 --0.0 1.7760.21 YES
Zantema_15/ex04.ari if NO timeout [err] 1.130 --0.0 16.578 --0.0 2.757 --0.0 3.9760.21 NO
MNZ_10/0.ari if YES 6.633 --0.0 [err] 1.177 --0.0 14.24 --0.0 11.779 --0.0 14.870.150 YES
Zantema_15/ex05.ari if NO timeout [err] 1.829 --0.0 timeout error error NO
MNZ_10/1.ari if YES timeout [err] 1.151 --0.0 21.77 --0.0 9.347 --0.0 6.9350.31 YES
Zantema_15/ex06.ari uf MAYBE timeout [err] 5.134 --0.0 10.263 --0.0 timeout timeout MAYBE
AotoYamada_05/002.ari if YES 0.326 --0.0 [err] 1.31 --0.0 18.645 --0.0 1.342 --0.0 1.4620.28 YES
Transformed_CSR_04/Ex4_DLMMU04_GM.ari if YES timeout [err] 2.936 --0.0 25.788 --0.0 7.758 --0.0 8.8440.109 YES
MNZ_10/2.ari if YES timeout [err] 1.117 --0.0 17.592 --0.0 10.326 --0.0 11.60.32 YES
Zantema_15/ex07.ari uf MAYBE timeout [err] 1.326 --0.0 timeout timeout timeout MAYBE
MNZ_10/3.ari if YES timeout [err] 1.165 --0.0 22.89 --0.0 12.117 --0.0 13.4710.43 YES
Zantema_15/ex08.ari if NO timeout [err] 1.275 --0.0 31.157 --0.0 timeout timeout NO
MNZ_10/4.ari if YES timeout [err] 4.550 --0.0 18.473 --0.0 timeout timeout YES
Zantema_15/ex09.ari if NO timeout [err] 1.317 --0.0 timeout timeout timeout NO
MNZ_10/5.ari if YES timeout [err] 1.323 --0.0 22.420 --0.0 timeout timeout YES
Zantema_15/ex10.ari if NO timeout [err] 1.86 --0.0 3.77 --0.0 timeout timeout NO
MNZ_10/6.ari if YES timeout [err] 3.324 --0.0 23.461 --0.0 timeout timeout YES
Zantema_15/ex11.ari if NO timeout [err] 1.5 --0.0 0.819 --0.0 timeout timeout NO
MNZ_10/7.ari if YES timeout [err] 1.387 --0.0 23.981 --0.0 timeout timeout YES
Zantema_15/ex12.ari if NO timeout [err] 1.15 --0.0 0.807 --0.0 timeout timeout NO
MNZ_10/8.ari if YES timeout [err] 1.270 --0.0 14.101 --0.0 10.741 --0.0 13.1160.42 YES
Zantema_15/ex13.ari if NO timeout [err] 1.49 --0.0 timeout timeout timeout NO
MNZ_10/9.ari if YES timeout [err] 1.343 --0.0 18.146 --0.0 timeout timeout YES
Zantema_15/ex14.ari if NO timeout [err] 0.997 --0.0 0.770 --0.0 timeout timeout NO
MNZ_10/labelled.ari if YES timeout timeout 6.252 --0.0 3.630 --0.0 16.5442.27 YES
Zantema_15/s.ari if NO timeout [err] 1.96 --0.0 21.182 --0.0 error error NO
MNZ_10/nrvsq.ari if YES timeout [err] 2.380 --0.0 19.439 --0.0 22.866 --0.0 26.2980.32 YES
AotoYamada_05/003.ari if NO timeout [err] 1.315 --0.0 1.53 --0.0 2.589 --0.0 2.4030.101 NO
Transformed_CSR_04/Ex4_DLMMU04_iGM.ari if YES timeout [err] 26.472 --0.0 32.309 --0.0 14.43 --0.0 14.4380.214 YES
MNZ_10/nvsr.ari if YES timeout [err] 2.928 --0.0 21.555 --0.0 timeout error YES
Paulson_20/ackermann_iterative.ari uf MAYBE timeout [err] 2.505 --0.0 16.620 --0.0 timeout timeout MAYBE
payet_21/payet-nonloop-1.ari if NO timeout [err] 1.2 --0.0 0.777 --0.0 timeout timeout NO
payet_21/payet-nonloop-2.ari if NO timeout [err] 1.854 --0.0 0.780 --0.0 timeout timeout NO
payet_21/payet-nonloop-3.ari if NO timeout [err] 1.4 --0.0 7.46 --0.0 timeout timeout NO
Payet_23/payet-nonloop-1_1.ari if NO timeout [err] 1.90 --0.0 0.765 --0.0 timeout timeout NO
Payet_23/payet-nonloop-1_2.ari if NO timeout [err] 1.344 --0.0 0.785 --0.0 timeout timeout NO
Payet_23/payet-nonloop-1_3.ari if NO timeout [err] 1.194 --0.0 0.789 --0.0 timeout timeout NO
Payet_23/payet-nonloop-1_4.ari if NO timeout [err] 1.329 --0.0 0.807 --0.0 timeout timeout NO
Payet_23/payet-nonloop-2_1.ari if NO timeout [err] 1.33 --0.0 0.997 --0.0 timeout timeout NO
AotoYamada_05/004.ari if YES timeout [err] 1.74 --0.0 22.34 --0.0 1.618 --0.0 1.7470.30 YES
Transformed_CSR_04/Ex4_DLMMU04_L.ari f NO 0.363 --0.0 [err] 0.986 --0.0 0.738 --0.0 1.450 --0.0 1.6150.19 NO
Payet_23/payet-nonloop-2_2.ari if NO timeout [err] 1.644 --0.0 0.765 --0.0 timeout timeout NO
Payet_23/payet-nonloop-3_1.ari if NO timeout [err] 6.240 --0.0 0.766 --0.0 error error NO
Payet_23/payet-nonloop-3_2.ari if NO timeout [err] 28.248 --0.0 0.827 --0.0 timeout timeout NO
Payet_23/payet-nonloop-4_1.ari if NO timeout [err] 5.605 --0.0 0.759 --0.0 error error NO
Payet_23/payet-nonloop-4_2.ari if NO timeout [err] 17.577 --0.0 0.778 --0.0 error error NO
Payet_24/payet-nonloop-1.ari if NO timeout [err] 1.93 --0.0 0.804 --0.0 timeout timeout NO
Payet_24/payet-nonloop-2.ari if NO timeout [err] 2.215 --0.0 0.802 --0.0 error error NO
Payet_24/payet-nonloop-3.ari if NO timeout [err] 2.244 --0.0 0.837 --0.0 error error NO
Payet_24/payet-nonloop-4.ari if NO timeout [err] 2.625 --0.0 0.871 --0.0 11.256 --0.0 11.8910.21 NO
Payet_24/payet-nonloop-5.ari if NO timeout [err] 2.489 --0.0 0.811 --0.0 error error NO
AotoYamada_05/005.ari f YES 0.548 --0.0 [err] 1.306 --0.0 0.759 --0.0 2.355 --0.0 2.1640.99 YES
Transformed_CSR_04/Ex4_DLMMU04_Z.ari if NO timeout [err] 2.938 --0.0 1.333 --0.0 9.662 --0.0 10.5350.81 NO
Rubio_04/aoto.ari f YES 0.380 --0.0 [err] 1.483 --0.0 0.767 --0.0 1.490 --0.0 1.7300.39 YES
Rubio_04/bintrees.ari f YES 0.394 --0.0 [err] 0.997 --0.0 0.745 --0.0 1.486 --0.0 1.6080.20 YES
Rubio_04/bn122.ari f YES 0.384 --0.0 [err] 0.948 --0.0 0.797 --0.0 1.488 --0.0 1.6040.20 YES
Rubio_04/bn129.ari f YES 0.465 --0.0 [err] 0.967 --0.0 0.775 --0.0 1.490 --0.0 1.5840.21 YES
Rubio_04/division.ari if YES 0.402 --0.0 [err] 1.34 --0.0 19.521 --0.0 1.598 --0.0 1.7150.31 YES
Rubio_04/elimdupl.ari if YES 0.397 --0.0 [err] 1.42 --0.0 11.826 --0.0 1.633 --0.0 1.7360.20 YES
Rubio_04/enno.ari if YES 0.453 --0.0 [err] 1.114 --0.0 21.812 --0.0 1.827 --0.0 1.9410.21 YES
Rubio_04/gcd.ari f YES 0.433 --0.0 [err] 1.91 --0.0 11.721 --0.0 1.755 --0.0 2.200.23 YES
Rubio_04/gm.ari f YES 0.399 --0.0 [err] 0.966 --0.0 0.844 --0.0 1.545 --0.0 1.6650.22 YES
Rubio_04/gmnp.ari f YES 0.361 --0.0 [err] 1.15 --0.0 0.738 --0.0 1.442 --0.0 1.6310.22 YES
AotoYamada_05/006.ari if YES 0.442 --0.0 [err] 1.33 --0.0 15.603 --0.0 1.943 --0.0 1.7040.31 YES
Transformed_CSR_04/Ex4_Zan97_C.ari if YES timeout [err] 1.807 --0.0 7.475 --0.0 1.579 --0.0 timeout YES
Rubio_04/koen.ari f YES 0.382 --0.0 [err] 1.16 --0.0 0.773 --0.0 1.502 --0.0 1.9110.22 YES
Rubio_04/lescanne.ari f YES 0.394 --0.0 [err] 0.979 --0.0 0.791 --0.0 1.539 --0.0 1.7030.19 YES
Rubio_04/lindau.ari if YES 0.366 --0.0 [err] 0.985 --0.0 0.690 --0.0 1.396 --0.0 1.5610.18 YES
Rubio_04/logarquot.ari f YES 0.446 --0.0 [err] 1.87 --0.0 0.835 --0.0 1.727 --0.0 1.8980.21 YES
Rubio_04/ma96.ari if YES 0.507 --0.0 [err] 1.300 --0.0 10.158 --0.0 1.837 --0.0 1.9740.21 YES
Rubio_04/mfp90b.ari f YES 0.393 --0.0 [err] 0.947 --0.0 0.908 --0.0 1.579 --0.0 1.7480.21 YES
Rubio_04/mfp95.ari f YES 0.368 --0.0 [err] 0.902 --0.0 0.739 --0.0 1.484 --0.0 1.6320.21 YES
Rubio_04/nestrec.ari if YES 0.404 --0.0 [err] 0.969 --0.0 7.820 --0.0 1.536 --0.0 1.9600.23 YES
Rubio_04/p266.ari f YES 0.348 --0.0 [err] 0.946 --0.0 0.742 --0.0 1.486 --0.0 1.6490.23 YES
Rubio_04/polo2.ari f YES 0.395 --0.0 [err] 1.155 --0.0 0.776 --0.0 1.700 --0.0 1.8920.21 YES
AotoYamada_05/007.ari if YES 0.447 --0.0 [err] 1.95 --0.0 22.884 --0.0 1.521 --0.0 1.6480.20 YES
Transformed_CSR_04/Ex4_Zan97_FR.ari if YES 0.374 --0.0 [err] 1.27 --0.0 26.395 --0.0 1.537 --0.0 1.6830.18 YES
Rubio_04/prov.ari f YES 0.357 --0.0 [err] 0.940 --0.0 0.769 --0.0 1.604 --0.0 1.7020.21 YES
Rubio_04/quick.ari if YES 0.403 --0.0 [err] 1.155 --0.0 16.690 --0.0 1.694 --0.0 1.8430.20 YES
Rubio_04/quotminus.ari f YES 0.397 --0.0 [err] 1.21 --0.0 0.750 --0.0 1.553 --0.0 1.6810.22 YES
Rubio_04/revlist.ari if YES 0.410 --0.0 [err] 1.14 --0.0 17.461 --0.0 1.636 --0.0 1.7910.20 YES
Rubio_04/selsort.ari if YES 0.467 --0.0 [err] 1.242 --0.0 12.608 --0.0 1.729 --0.0 1.8870.22 YES
Rubio_04/test4.ari f YES 0.428 --0.0 [err] 0.967 --0.0 0.844 --0.0 1.544 --0.0 1.6630.42 YES
Rubio_04/test829.ari f YES 0.386 --0.0 [err] 0.937 --0.0 0.728 --0.0 1.506 --0.0 1.6150.18 YES
Rubio_04/wst99.ari if YES 0.559 --0.0 [err] 1.153 --0.0 17.505 --0.0 1.961 --0.0 2.1900.20 YES
Secret_05_TRS/aprove1.ari if YES timeout [err] 1.575 --0.0 33.59 --0.0 2.218 --0.0 2.60.20 YES
Secret_05_TRS/aprove2.ari if YES timeout [err] 1.388 --0.0 26.202 --0.0 2.573 --0.0 2.5120.20 YES
AotoYamada_05/009.ari if YES 0.392 --0.0 [err] 1.72 --0.0 24.832 --0.0 1.598 --0.0 1.7110.19 YES
Transformed_CSR_04/Ex4_Zan97_GM.ari if YES timeout [err] 1.283 --0.0 20.506 --0.0 error error YES
Secret_05_TRS/aprove3.ari if YES timeout [err] 1.196 --0.0 19.635 --0.0 2.218 --0.0 2.2260.23 YES
Secret_05_TRS/aprove4.ari if YES timeout [err] 1.174 --0.0 19.72 --0.0 1.869 --0.0 1.9170.22 YES
Secret_05_TRS/aprove5.ari if YES timeout [err] 1.57 --0.0 23.425 --0.0 1.642 --0.0 1.8110.22 YES
Secret_05_TRS/cime1.ari if YES timeout [err] 9.172 --0.0 20.774 --0.0 9.978 --0.0 timeout YES
Secret_05_TRS/cime2.ari f YES 1.931 --0.0 [err] 1.81 --0.0 2.327 --0.0 6.695 --0.0 16.7360.22 YES
Secret_05_TRS/cime3.ari if YES timeout [err] 2.186 --0.0 18.996 --0.0 timeout timeout YES
Secret_05_TRS/cime4.ari if NO 50.714 --0.0 [err] 1.53 --0.0 0.776 --0.0 1.527 --0.0 1.6900.14 NO
Secret_05_TRS/cime5.ari if YES 1.617 --0.0 [err] 9.130 --0.0 17.2 --0.0 3.559 --0.0 3.2000.32 YES
Secret_05_TRS/matchbox1.ari if YES timeout [err] 0.949 --0.0 17.867 --0.0 1.763 --0.0 1.8280.52 YES
Secret_05_TRS/matchbox2.ari if YES 0.757 --0.0 [err] 1.152 --0.0 0.730 --0.0 2.203 --0.0 1.9020.403 YES
AotoYamada_05/010.ari if YES timeout [err] 1.133 --0.0 17.299 --0.0 15.843 --0.0 1.8980.41 YES
Transformed_CSR_04/Ex4_Zan97_iGM.ari if YES timeout [err] 1.523 --0.0 22.661 --0.0 error timeout YES
Secret_05_TRS/teparla1.ari if YES timeout [err] 1.240 --0.0 26.936 --0.0 1.489 --0.0 1.6000.23 YES
Secret_05_TRS/teparla2.ari if YES timeout [err] 1.305 --0.0 17.511 --0.0 1.944 --0.0 2.410.63 YES
Secret_05_TRS/teparla3.ari if YES timeout [err] 1.99 --0.0 31.303 --0.0 3.795 --0.0 timeout YES
Secret_05_TRS/tpa1.ari if YES timeout [err] 1.336 --0.0 24.241 --0.0 1.671 --0.0 1.7770.32 YES
Secret_05_TRS/tpa2.ari if YES 0.437 --0.0 [err] 1.16 --0.0 32.444 --0.0 1.737 --0.0 1.7740.23 YES
Secret_05_TRS/tpa3.ari uf MAYBE timeout [err] 1.227 --0.0 24.472 --0.0 timeout error MAYBE
Secret_05_TRS/tpa4.ari uf MAYBE timeout [err] 1.474 --0.0 23.672 --0.0 error error MAYBE
Secret_05_TRS/tpa5.ari uf MAYBE timeout [err] 1.478 --0.0 16.892 --0.0 error error MAYBE
Secret_05_TRS/ttt1.ari if NO timeout [err] 1.104 --0.0 0.898 --0.0 1.899 --0.0 2.430.20 NO
Secret_05_TRS/ttt2.ari if NO timeout [err] 0.994 --0.0 0.787 --0.0 1.845 --0.0 1.7270.19 NO
AG01/#3.17a.ari if YES 0.507 --0.0 [err] 1.171 --0.0 timeout 1.838 --0.0 1.8820.53 YES
Transformed_CSR_04/Ex3_2_Luc97_iGM.ari if YES timeout [err] 1.533 --0.0 21.164 --0.0 error error YES
AotoYamada_05/011.ari if YES 0.714 --0.0 [err] 1.53 --0.0 27.682 --0.0 15.640 --0.0 2.2130.29 YES
Transformed_CSR_04/Ex4_Zan97_L.ari f NO 0.359 --0.0 [err] 0.906 --0.0 0.724 --0.0 1.359 --0.0 1.5460.19 NO
Secret_06_TRS/10.ari if YES timeout [err] 1.561 --0.0 25.82 --0.0 2.346 --0.0 3.290.20 YES
Secret_06_TRS/2.ari if YES timeout [err] 1.345 --0.0 26.436 --0.0 9.413 --0.0 9.8210.22 YES
Secret_06_TRS/3.ari uf MAYBE timeout [err] 2.455 --0.0 17.554 --0.0 error error MAYBE
Secret_06_TRS/4.ari if YES 1.447 --0.0 [err] 0.932 --0.0 16.257 --0.0 1.771 --0.0 1.9740.23 YES
Secret_06_TRS/5.ari if YES timeout [err] 1.137 --0.0 22.473 --0.0 1.614 --0.0 1.7380.22 YES
Secret_06_TRS/6.ari if YES 26.171 --0.0 [err] 1.632 --0.0 20.153 --0.0 6.188 --0.0 2.1070.20 YES
Secret_06_TRS/7.ari if YES 0.729 --0.0 [err] 0.922 --0.0 18.127 --0.0 1.813 --0.0 2.380.65 YES
Secret_06_TRS/8.ari if YES 0.435 --0.0 [err] 0.963 --0.0 23.684 --0.0 1.545 --0.0 1.6980.21 YES
Secret_06_TRS/9.ari if YES 5.454 --0.0 [err] 0.990 --0.0 28.127 --0.0 1.772 --0.0 1.9270.21 YES
Secret_06_TRS/addList.ari if YES timeout [err] 1.563 --0.0 21.500 --0.0 2.939 --0.0 2.9300.31 YES
AotoYamada_05/012.ari if YES 0.379 --0.0 [err] 1.64 --0.0 21.582 --0.0 1.676 --0.0 1.7870.21 YES
Transformed_CSR_04/Ex4_Zan97_Z.ari if YES 0.381 --0.0 [err] 1.37 --0.0 22.740 --0.0 1.682 --0.0 1.7890.22 YES
Secret_06_TRS/cime1.ari uf MAYBE timeout [err] 1.411 --0.0 22.446 --0.0 error error MAYBE
Secret_06_TRS/divExp.ari if YES 50.858 --0.0 [err] 1.121 --0.0 27.932 --0.0 1.617 --0.0 1.7690.18 YES
Secret_06_TRS/division.ari if YES timeout [err] 1.359 --0.0 timeout 2.665 --0.0 2.6010.20 YES
Secret_06_TRS/double.ari if YES timeout [err] 1.489 --0.0 17.685 --0.0 1.896 --0.0 2.590.62 YES
Secret_06_TRS/gen-10.ari if YES timeout [err] 1.226 --0.0 19.860 --0.0 1.562 --0.0 1.9850.21 YES
Secret_06_TRS/gen-14.ari if YES timeout [err] 1.158 --0.0 20.612 --0.0 1.681 --0.0 1.8080.22 YES
Secret_06_TRS/gen-15.ari if YES 0.551 --0.0 [err] 1.33 --0.0 17.194 --0.0 1.668 --0.0 1.8490.23 YES
Secret_06_TRS/gen-17.ari if YES 0.539 --0.0 [err] 1.15 --0.0 16.374 --0.0 1.615 --0.0 1.6580.20 YES
Secret_06_TRS/gen-18.ari if YES timeout [err] 1.182 --0.0 21.830 --0.0 13.418 --0.0 14.6660.77 YES
Secret_06_TRS/gen-1.ari if YES 0.605 --0.0 [err] 1.324 --0.0 19.549 --0.0 1.850 --0.0 2.390.60 YES
AotoYamada_05/013.ari if YES timeout [err] 1.73 --0.0 23.245 --0.0 1.743 --0.0 1.7150.22 YES
Transformed_CSR_04/Ex5_7_Luc97_C.ari if YES timeout [err] 3.1 --0.0 10.485 --0.0 timeout error YES
Secret_06_TRS/gen-22.ari if YES 41.585 --0.0 [err] 1.530 --0.0 14.237 --0.0 1.790 --0.0 1.9800.26 YES
Secret_06_TRS/gen-25.ari if YES timeout [err] 1.482 --0.0 24.994 --0.0 13.855 --0.0 15.70.25 YES
Secret_06_TRS/gen-28.ari if YES timeout [err] 0.977 --0.0 27.214 --0.0 13.466 --0.0 14.8650.21 YES
Secret_06_TRS/gen-9.ari if YES 0.566 --0.0 [err] 1.44 --0.0 16.827 --0.0 1.716 --0.0 1.8550.20 YES
Secret_06_TRS/logarithm.ari if YES timeout [err] 1.284 --0.0 timeout 4.572 --0.0 error YES
Secret_06_TRS/nrOfNodes.ari if YES timeout [err] 2.246 --0.0 20.999 --0.0 2.912 --0.0 2.9350.20 YES
Secret_06_TRS/reverse.ari if YES timeout [err] 1.192 --0.0 19.296 --0.0 1.871 --0.0 1.9920.20 YES
Secret_06_TRS/sumList.ari if YES timeout [err] 1.378 --0.0 16.44 --0.0 2.492 --0.0 2.5920.31 YES
Secret_06_TRS/times.ari if YES timeout [err] 1.623 --0.0 18.350 --0.0 1.988 --0.0 error YES
Secret_06_TRS/toList.ari if YES timeout [err] 8.894 --0.0 16.291 --0.0 8.510 --0.0 3.4080.31 YES
AotoYamada_05/014.ari if YES timeout [err] 1.82 --0.0 30.697 --0.0 1.564 --0.0 1.7120.19 YES
Transformed_CSR_04/Ex5_7_Luc97_FR.ari if YES timeout [err] 2.29 --0.0 16.745 --0.0 error error YES
Secret_06_TRS/tpa01.ari if YES timeout [err] 0.974 --0.0 34.563 --0.0 1.965 --0.0 error YES
Secret_06_TRS/tpa02.ari if YES timeout [err] 1.52 --0.0 18.758 --0.0 2.55 --0.0 error YES
Secret_06_TRS/tpa03.ari if YES timeout [err] 1.47 --0.0 27.462 --0.0 7.376 --0.0 error YES
Secret_06_TRS/tpa04.ari uf MAYBE timeout [err] 2.164 --0.0 27.971 --0.0 error error MAYBE
Secret_06_TRS/tpa05.ari uf MAYBE timeout [err] 2.263 --0.0 28.134 --0.0 error error MAYBE
Secret_06_TRS/tpa06.ari if YES timeout [err] 47.752 --0.0 30.895 --0.0 2.29 --0.0 timeout YES
Secret_06_TRS/tpa07.ari uf MAYBE timeout [err] 1.273 --0.0 19.702 --0.0 timeout timeout MAYBE
Secret_06_TRS/tpa08.ari uf MAYBE timeout [err] 3.344 --0.0 17.468 --0.0 error error MAYBE
Secret_06_TRS/tpa09.ari uf MAYBE timeout [err] 8.973 --0.0 15.749 --0.0 error error MAYBE
Secret_06_TRS/tpa10.ari if YES timeout [err] 1.905 --0.0 19.220 --0.0 1.711 --0.0 1.8330.37 YES
AotoYamada_05/015.ari if YES 0.358 --0.0 [err] 1.63 --0.0 17.234 --0.0 1.684 --0.0 1.7650.16 YES
Transformed_CSR_04/Ex5_7_Luc97_GM.ari if YES timeout [err] 3.791 --0.0 27.163 --0.0 error error YES
Secret_07_TRS/1.ari if YES timeout [err] 1.125 --0.0 11.695 --0.0 5.472 --0.0 timeout YES
Secret_07_TRS/2.ari if YES timeout [err] 1.125 --0.0 14.678 --0.0 18.435 --0.0 error YES
Secret_07_TRS/3.ari if YES timeout [err] 1.163 --0.0 9.948 --0.0 16.60 --0.0 error YES
Secret_07_TRS/4.ari if YES timeout [err] 1.215 --0.0 9.875 --0.0 3.110 --0.0 timeout YES
Secret_07_TRS/5.ari if YES timeout [err] 1.248 --0.0 15.268 --0.0 14.600 --0.0 15.1000.21 YES
Secret_07_TRS/7.ari if NO timeout [err] 3.551 --0.0 11.809 --0.0 error error NO
Secret_07_TRS/aprove01.ari if YES timeout [err] 3.196 --0.0 timeout 3.66 --0.0 error YES
Secret_07_TRS/aprove02.ari if YES timeout [err] 2.330 --0.0 19.147 --0.0 2.342 --0.0 error YES
Secret_07_TRS/aprove03.ari uf MAYBE timeout [err] 3.198 --0.0 13.983 --0.0 timeout error MAYBE
Secret_07_TRS/aprove04.ari if YES timeout 1.829 --0.0 21.854 --0.0 2.705 --0.0 error YES
AotoYamada_05/016.ari if YES 0.377 --0.0 [err] 1.100 --0.0 16.106 --0.0 1.613 --0.0 1.7460.21 YES
Transformed_CSR_04/Ex5_7_Luc97_iGM.ari if YES timeout [err] 3.176 --0.0 26.101 --0.0 timeout error YES
Secret_07_TRS/aprove05.ari if YES timeout [err] 2.167 --0.0 17.22 --0.0 2.420 --0.0 error YES
Secret_07_TRS/aprove06.ari if YES timeout [err] 3.505 --0.0 11.265 --0.0 5.757 --0.0 error YES
Secret_07_TRS/aprove07.ari if YES timeout [err] 1.720 --0.0 19.185 --0.0 1.999 --0.0 error YES
Secret_07_TRS/aprove08.ari if YES timeout [err] 5.459 --0.0 24.24 --0.0 4.882 --0.0 error YES
Secret_07_TRS/aprove09.ari if YES timeout [err] 1.585 --0.0 19.629 --0.0 2.665 --0.0 error YES
Secret_07_TRS/aprove10.ari if YES timeout [err] 1.941 --0.0 20.917 --0.0 11.755 --0.0 error YES
Secret_07_TRS/secret1.ari f YES 0.485 --0.0 [err] 1.243 --0.0 0.996 --0.0 1.653 --0.0 1.8040.51 YES
Secret_07_TRS/secret2.ari f YES 0.477 --0.0 [err] 1.215 --0.0 1.292 --0.0 1.645 --0.0 1.7810.78 YES
Secret_07_TRS/secret3.ari f YES 0.555 --0.0 [err] 1.198 --0.0 0.874 --0.0 1.644 --0.0 1.8190.97 YES
Secret_07_TRS/secret4.ari f YES 0.434 --0.0 [err] 1.224 --0.0 1.51 --0.0 1.699 --0.0 1.8730.21 YES
AotoYamada_05/017.ari f YES 0.442 --0.0 [err] 1.6 --0.0 0.733 --0.0 1.753 --0.0 1.8730.23 YES
Transformed_CSR_04/Ex5_7_Luc97_L.ari f NO 0.335 --0.0 [err] 1.25 --0.0 0.738 --0.0 1.402 --0.0 1.5350.21 NO
Secret_07_TRS/secret5.ari if YES 0.487 --0.0 [err] 1.185 --0.0 20.373 --0.0 1.759 --0.0 1.9440.21 YES
SK90/2.01.ari f YES 0.379 --0.0 [err] 1.72 --0.0 0.766 --0.0 1.580 --0.0 1.7330.20 YES
SK90/2.02.ari f YES 0.462 --0.0 [err] 1.3 --0.0 0.789 --0.0 1.618 --0.0 1.7030.20 YES
SK90/2.03.ari f YES 0.372 --0.0 [err] 0.995 --0.0 0.752 --0.0 1.615 --0.0 1.7360.20 YES
SK90/2.04.ari f YES 0.360 --0.0 [err] 0.957 --0.0 0.734 --0.0 1.534 --0.0 1.6880.23 YES
SK90/2.05.ari if NO timeout [err] 1.302 --0.0 0.941 --0.0 1.892 --0.0 1.9810.21 NO
SK90/2.06.ari f YES 0.360 --0.0 [err] 0.976 --0.0 0.935 --0.0 1.503 --0.0 1.6360.27 YES
SK90/2.07.ari f YES 0.364 --0.0 [err] 0.989 --0.0 0.740 --0.0 1.551 --0.0 1.7020.28 YES
SK90/2.08.ari f YES 0.364 --0.0 [err] 0.991 --0.0 0.739 --0.0 1.553 --0.0 1.6890.39 YES
SK90/2.09.ari f YES 0.365 --0.0 [err] 0.936 --0.0 0.732 --0.0 1.541 --0.0 1.6840.24 YES
AotoYamada_05/019.ari if YES 0.335 --0.0 [err] 0.967 --0.0 23.372 --0.0 1.593 --0.0 1.7650.21 YES
Transformed_CSR_04/Ex5_7_Luc97_Z.ari if YES timeout [err] 2.87 --0.0 19.192 --0.0 error error YES
SK90/2.10.ari f YES 0.366 --0.0 [err] 1.9 --0.0 0.850 --0.0 1.601 --0.0 1.7480.31 YES
SK90/2.11.ari f YES 0.366 --0.0 [err] 0.972 --0.0 0.741 --0.0 1.597 --0.0 1.7390.31 YES
SK90/2.12.ari f YES 0.390 --0.0 [err] 1.68 --0.0 0.804 --0.0 1.671 --0.0 1.7800.37 YES
SK90/2.13.ari f YES 0.383 --0.0 [err] 1.23 --0.0 0.729 --0.0 1.602 --0.0 1.7750.24 YES
SK90/2.14.ari f YES 0.374 --0.0 [err] 1.55 --0.0 0.709 --0.0 1.539 --0.0 1.6510.22 YES
SK90/2.15.ari f YES 0.340 --0.0 [err] 0.965 --0.0 0.789 --0.0 1.521 --0.0 1.6330.20 YES
SK90/2.16.ari f YES 0.343 --0.0 [err] 1.16 --0.0 0.713 --0.0 1.566 --0.0 1.6930.21 YES
SK90/2.17.ari f YES 0.365 --0.0 [err] 0.960 --0.0 0.728 --0.0 1.521 --0.0 1.6950.21 YES
SK90/2.18.ari f YES 0.347 --0.0 [err] 0.920 --0.0 0.798 --0.0 1.404 --0.0 1.5560.21 YES
SK90/2.19.ari f YES 0.463 --0.0 [err] 1.75 --0.0 0.826 --0.0 1.553 --0.0 1.7030.57 YES
AotoYamada_05/020.ari if YES timeout [err] 1.82 --0.0 24.393 --0.0 1.627 --0.0 1.7460.20 YES
Transformed_CSR_04/Ex5_DLMMU04_C.ari if YES 1.516 --0.0 [err] 2.777 --0.0 11.276 --0.0 1.649 --0.0 3.180.31 YES
SK90/2.20.ari f YES 0.374 --0.0 [err] 1.27 --0.0 0.786 --0.0 1.600 --0.0 1.7910.19 YES
SK90/2.21.ari f YES 0.355 --0.0 [err] 0.939 --0.0 0.735 --0.0 1.497 --0.0 1.6430.28 YES
SK90/2.22.ari f YES 0.362 --0.0 [err] 0.983 --0.0 0.748 --0.0 1.529 --0.0 1.6940.27 YES
SK90/2.23.ari if YES 0.358 --0.0 [err] 1.46 --0.0 20.853 --0.0 1.505 --0.0 1.6350.27 YES
SK90/2.24.ari f YES 0.353 --0.0 [err] 0.927 --0.0 0.731 --0.0 1.498 --0.0 1.6200.26 YES
SK90/2.25.ari f YES 0.371 --0.0 [err] 1.29 --0.0 0.753 --0.0 1.560 --0.0 1.7220.22 YES
SK90/2.26.ari f YES 0.379 --0.0 [err] 1.111 --0.0 0.740 --0.0 1.612 --0.0 1.7690.21 YES
SK90/2.27.ari f YES 0.349 --0.0 [err] 1.70 --0.0 0.714 --0.0 1.556 --0.0 1.6680.20 YES
SK90/2.28.ari f YES 0.357 --0.0 [err] 0.915 --0.0 0.731 --0.0 1.514 --0.0 1.6330.21 YES
SK90/2.29.ari f YES 0.370 --0.0 [err] 1.48 --0.0 0.771 --0.0 1.564 --0.0 1.7330.22 YES
AotoYamada_05/021.ari if YES timeout [err] 1.128 --0.0 20.87 --0.0 1.699 --0.0 1.8500.22 YES
Transformed_CSR_04/Ex5_DLMMU04_FR.ari if NO timeout [err] 1.993 --0.0 1.193 --0.0 9.240 --0.0 9.2480.20 NO
SK90/2.30.ari f YES 0.372 --0.0 [err] 1.17 --0.0 0.782 --0.0 1.625 --0.0 1.8100.22 YES
SK90/2.31.ari f YES 0.358 --0.0 [err] 1.15 --0.0 0.750 --0.0 1.600 --0.0 1.7320.23 YES
SK90/2.32.ari f YES 0.340 --0.0 [err] 0.970 --0.0 0.771 --0.0 1.479 --0.0 1.5690.20 YES
SK90/2.33.ari f YES 0.340 --0.0 [err] 0.908 --0.0 0.765 --0.0 1.489 --0.0 1.5530.20 YES
SK90/2.34.ari f YES 0.355 --0.0 [err] 0.976 --0.0 0.734 --0.0 1.572 --0.0 1.6950.23 YES
SK90/2.35.ari f YES 0.383 --0.0 [err] 0.996 --0.0 0.792 --0.0 1.563 --0.0 1.7190.23 YES
SK90/2.36.ari f YES 0.381 --0.0 [err] 1.5 --0.0 0.761 --0.0 1.568 --0.0 1.6630.39 YES
SK90/2.37.ari f YES 0.381 --0.0 [err] 0.822 --0.0 3.50 --0.0 1.430 --0.0 1.5520.22 YES
SK90/2.38.ari f YES 0.342 --0.0 [err] 0.915 --0.0 0.706 --0.0 1.422 --0.0 1.5940.21 YES
SK90/2.39.ari f YES 0.349 --0.0 [err] 0.916 --0.0 0.730 --0.0 1.489 --0.0 1.6970.22 YES
AG01/#3.17.ari if YES 0.627 --0.0 [err] 1.244 --0.0 timeout 1.735 --0.0 1.8740.56 YES
Transformed_CSR_04/Ex3_2_Luc97_L.ari f NO 0.329 --0.0 [err] 0.819 --0.0 0.727 --0.0 1.376 --0.0 1.5040.21 NO
AotoYamada_05/022.ari if YES 0.439 --0.0 [err] 1.72 --0.0 15.524 --0.0 1.653 --0.0 1.8130.22 YES
Transformed_CSR_04/Ex5_DLMMU04_GM.ari if YES 2.105 --0.0 [err] 1.306 --0.0 27.106 --0.0 2.225 --0.0 2.3770.31 YES
SK90/2.40.ari f YES 0.509 --0.0 [err] 1.77 --0.0 0.754 --0.0 1.638 --0.0 1.7350.75 YES
SK90/2.41.ari f YES 0.491 --0.0 [err] 1.65 --0.0 0.759 --0.0 1.623 --0.0 1.7370.76 YES
SK90/2.42.ari f YES 0.460 --0.0 [err] 1.168 --0.0 0.741 --0.0 1.594 --0.0 1.7400.71 YES
SK90/2.43.ari f YES 0.432 --0.0 [err] 1.150 --0.0 0.734 --0.0 1.594 --0.0 1.7360.52 YES
SK90/2.44.ari f YES 0.410 --0.0 [err] 1.80 --0.0 5.616 --0.0 1.597 --0.0 1.7130.21 YES
SK90/2.45.ari f YES 0.352 --0.0 [err] 1.43 --0.0 0.819 --0.0 1.546 --0.0 1.6180.20 YES
SK90/2.46.ari f YES 0.428 --0.0 [err] 0.924 --0.0 1.243 --0.0 2.178 --0.0 2.220.21 YES
SK90/2.47.ari f YES 0.374 --0.0 [err] 0.937 --0.0 1.233 --0.0 1.428 --0.0 1.9360.21 YES
SK90/2.48.ari f YES 0.341 --0.0 [err] 0.970 --0.0 0.754 --0.0 1.510 --0.0 1.6680.22 YES
SK90/2.49.ari f YES 0.350 --0.0 [err] 1.37 --0.0 0.757 --0.0 1.462 --0.0 1.7380.21 YES
AotoYamada_05/023.ari f YES 0.526 --0.0 [err] 1.136 --0.0 0.742 --0.0 1.877 --0.0 1.8870.40 YES
Transformed_CSR_04/Ex5_DLMMU04_iGM.ari if YES 9.107 --0.0 [err] 1.717 --0.0 26.824 --0.0 3.555 --0.0 3.7900.31 YES
SK90/2.50.ari f YES 0.353 --0.0 [err] 0.929 --0.0 0.749 --0.0 1.642 --0.0 2.980.20 YES
SK90/2.51.ari f YES 0.350 --0.0 [err] 0.951 --0.0 0.707 --0.0 1.440 --0.0 1.5800.22 YES
SK90/2.52.ari f YES 0.353 --0.0 [err] 1.89 --0.0 0.718 --0.0 1.544 --0.0 1.6340.21 YES
SK90/2.53.ari f YES 0.328 --0.0 [err] 0.924 --0.0 0.722 --0.0 1.449 --0.0 1.5650.21 YES
SK90/2.54.ari f YES 0.339 --0.0 [err] 0.902 --0.0 0.710 --0.0 1.456 --0.0 1.5400.21 YES
SK90/2.55.ari f YES 0.320 --0.0 [err] 0.846 --0.0 0.702 --0.0 1.474 --0.0 1.5770.13 YES
SK90/2.56.ari f YES 0.326 --0.0 [err] 0.853 --0.0 0.691 --0.0 1.435 --0.0 1.5460.21 YES
SK90/2.57.ari f YES 0.326 --0.0 [err] 0.921 --0.0 0.732 --0.0 1.277 --0.0 1.3800.110 YES
SK90/2.58.ari f YES 0.294 --0.0 [err] 0.945 --0.0 0.750 --0.0 1.295 --0.0 1.4210.69 YES
SK90/2.59.ari f YES 0.354 --0.0 [err] 0.897 --0.0 0.948 --0.0 1.345 --0.0 1.6200.21 YES
AotoYamada_05/024.ari if YES 0.363 --0.0 [err] 0.972 --0.0 17.870 --0.0 1.549 --0.0 1.6570.21 YES
Transformed_CSR_04/Ex5_DLMMU04_L.ari f NO 0.448 --0.0 [err] 1.136 --0.0 0.725 --0.0 1.441 --0.0 1.5840.31 NO
SK90/2.60.ari f YES 0.343 --0.0 [err] 0.958 --0.0 0.687 --0.0 1.324 --0.0 1.5420.21 YES
SK90/2.61.ari f YES 0.353 --0.0 [err] 1.61 --0.0 0.724 --0.0 1.378 --0.0 1.5990.20 YES
SK90/4.01.ari f YES 0.362 --0.0 [err] 0.955 --0.0 0.892 --0.0 1.420 --0.0 1.6400.41 YES
SK90/4.02.ari f YES 1.816 --0.0 [err] 1.219 --0.0 1.79 --0.0 1.427 --0.0 1.6870.20 YES
SK90/4.03.ari f YES 0.465 --0.0 [err] 1.1 --0.0 0.847 --0.0 1.637 --0.0 1.8570.53 YES
SK90/4.04.ari f YES 0.443 --0.0 [err] 1.318 --0.0 0.813 --0.0 1.573 --0.0 1.7140.74 YES
SK90/4.05.ari f YES 0.443 --0.0 [err] 1.325 --0.0 0.959 --0.0 1.626 --0.0 1.7490.68 YES
SK90/4.06.ari if NO timeout [err] 1.32 --0.0 1.17 --0.0 1.793 --0.0 1.9070.59 NO
SK90/4.07.ari f YES 0.492 --0.0 [err] 0.985 --0.0 0.881 --0.0 1.607 --0.0 1.7060.55 YES
SK90/4.08.ari f YES 0.432 --0.0 [err] 0.966 --0.0 0.823 --0.0 1.599 --0.0 1.7230.68 YES
AotoYamada_05/025.ari f YES 0.478 --0.0 [err] 1.155 --0.0 0.713 --0.0 1.845 --0.0 1.8950.40 YES
Transformed_CSR_04/Ex5_DLMMU04_Z.ari if NO timeout [err] 1.432 --0.0 0.836 --0.0 2.235 --0.0 2.3850.22 NO
SK90/4.09.ari f YES 0.427 --0.0 [err] 1.22 --0.0 0.826 --0.0 1.609 --0.0 1.7080.62 YES
SK90/4.10.ari f YES 0.451 --0.0 [err] 0.996 --0.0 1.337 --0.0 1.583 --0.0 1.7190.64 YES
SK90/4.11.ari f YES 0.743 --0.0 [err] 0.961 --0.0 0.860 --0.0 1.585 --0.0 1.7480.83 YES
SK90/4.12.ari f YES 0.456 --0.0 [err] 1.12 --0.0 0.841 --0.0 1.620 --0.0 1.7140.63 YES
SK90/4.13.ari if YES 0.447 --0.0 [err] 0.940 --0.0 26.755 --0.0 1.630 --0.0 1.7620.59 YES
SK90/4.14.ari f YES 0.361 --0.0 [err] 1.73 --0.0 0.737 --0.0 1.525 --0.0 1.6950.20 YES
SK90/4.15.ari f YES 0.363 --0.0 [err] 0.924 --0.0 0.724 --0.0 1.481 --0.0 1.6680.22 YES
SK90/4.16.ari f YES 0.359 --0.0 [err] 1.51 --0.0 0.760 --0.0 1.596 --0.0 1.9290.20 YES
SK90/4.17.ari if YES 0.473 --0.0 [err] 0.932 --0.0 timeout 1.651 --0.0 2.580.20 YES
SK90/4.18.ari f YES 0.356 --0.0 [err] 0.980 --0.0 0.737 --0.0 1.588 --0.0 1.7290.31 YES
AotoYamada_05/026.ari if YES 0.384 --0.0 [err] 1.8 --0.0 19.686 --0.0 1.572 --0.0 1.6920.22 YES
Transformed_CSR_04/Ex5_Zan97_C.ari if YES 1.852 --0.0 [err] 1.390 --0.0 21.192 --0.0 1.502 --0.0 1.9920.20 YES
SK90/4.19.ari f YES 0.395 --0.0 [err] 0.939 --0.0 0.747 --0.0 1.528 --0.0 1.6660.30 YES
SK90/4.20.ari f YES 0.346 --0.0 [err] 1.23 --0.0 0.731 --0.0 1.526 --0.0 1.6640.30 YES
SK90/4.21.ari f YES 0.360 --0.0 [err] 1.76 --0.0 0.719 --0.0 1.505 --0.0 1.7540.21 YES
SK90/4.22.ari f YES 0.368 --0.0 [err] 0.998 --0.0 0.708 --0.0 1.551 --0.0 1.7690.22 YES
SK90/4.23.ari f YES 0.372 --0.0 [err] 1.53 --0.0 0.739 --0.0 1.524 --0.0 1.7410.21 YES
SK90/4.24.ari if YES timeout [err] 1.526 --0.0 20.698 --0.0 1.729 --0.0 1.9080.22 YES
SK90/4.25.ari f YES 0.373 --0.0 [err] 0.985 --0.0 0.722 --0.0 1.452 --0.0 1.7680.21 YES
SK90/4.26.ari f YES 0.364 --0.0 [err] 1.101 --0.0 0.951 --0.0 1.590 --0.0 1.9470.22 YES
SK90/4.27.ari f YES 0.379 --0.0 [err] 1.120 --0.0 0.771 --0.0 1.730 --0.0 1.8120.19 YES
SK90/4.28.ari f YES 0.414 --0.0 [err] 1.301 --0.0 0.854 --0.0 1.814 --0.0 2.10.24 YES
AotoYamada_05/027.ari if YES 0.541 --0.0 [err] 1.223 --0.0 memout 1.822 --0.0 1.7160.119 YES
Transformed_CSR_04/Ex5_Zan97_FR.ari f YES 0.481 --0.0 [err] 1.73 --0.0 1.958 --0.0 1.664 --0.0 1.7840.20 YES
SK90/4.29.ari f YES 0.378 --0.0 [err] 1.17 --0.0 0.717 --0.0 1.528 --0.0 1.6110.27 YES
SK90/4.30.ari if YES 0.439 --0.0 [err] 1.60 --0.0 10.274 --0.0 1.650 --0.0 1.7980.32 YES
SK90/4.31.ari f YES 0.372 --0.0 [err] 0.952 --0.0 0.697 --0.0 1.382 --0.0 1.5720.30 YES
SK90/4.32.ari if YES 3.579 --0.0 [err] 1.58 --0.0 16.565 --0.0 2.817 --0.0 3.900.26 YES
SK90/4.33.ari f YES 0.499 --0.0 [err] 0.939 --0.0 0.720 --0.0 1.515 --0.0 1.6470.24 YES
SK90/4.34.ari if NO timeout [err] 0.905 --0.0 0.831 --0.0 1.494 --0.0 1.6220.58 NO
SK90/4.35.ari f YES 0.432 --0.0 [err] 0.892 --0.0 0.803 --0.0 1.549 --0.0 1.6380.61 YES
SK90/4.36.ari f YES 0.442 --0.0 [err] 0.944 --0.0 1.37 --0.0 1.868 --0.0 1.7120.73 YES
SK90/4.37.ari f YES 0.439 --0.0 [err] 0.861 --0.0 0.842 --0.0 1.518 --0.0 1.6670.66 YES
SK90/4.38.ari f YES 0.371 --0.0 [err] 1.11 --0.0 0.742 --0.0 1.609 --0.0 1.7240.22 YES
AotoYamada_05/028.ari if YES 0.371 --0.0 [err] 1.38 --0.0 20.913 --0.0 1.706 --0.0 1.6320.20 YES
Transformed_CSR_04/Ex5_Zan97_GM.ari if YES 1.138 --0.0 [err] 1.165 --0.0 23.603 --0.0 1.533 --0.0 1.6910.19 YES
SK90/4.39.ari f YES 0.385 --0.0 [err] 0.930 --0.0 0.748 --0.0 1.457 --0.0 1.6220.35 YES
SK90/4.40.ari if NO timeout [err] 6.503 --0.0 0.788 --0.0 1.943 --0.0 2.4440.23 NO
SK90/4.41.ari if YES 0.390 --0.0 [err] 0.874 --0.0 0.773 --0.0 1.516 --0.0 1.6560.22 YES
SK90/4.42.ari if YES 0.372 --0.0 [err] 1.20 --0.0 21.797 --0.0 1.598 --0.0 1.7450.25 YES
SK90/4.43.ari f YES 0.410 --0.0 [err] 1.75 --0.0 0.828 --0.0 1.548 --0.0 1.6730.25 YES
SK90/4.44.ari if YES 0.404 --0.0 [err] 0.995 --0.0 0.879 --0.0 1.449 --0.0 1.6260.22 YES
SK90/4.45.ari f YES 0.369 --0.0 [err] 0.936 --0.0 0.749 --0.0 1.543 --0.0 1.6910.22 YES
SK90/4.46.ari f YES 0.370 --0.0 [err] 0.947 --0.0 0.754 --0.0 1.458 --0.0 1.5910.29 YES
SK90/4.47.ari f YES 0.388 --0.0 [err] 1.41 --0.0 0.750 --0.0 1.816 --0.0 1.9550.23 YES
SK90/4.48.ari f YES 0.365 --0.0 [err] 0.988 --0.0 0.760 --0.0 1.544 --0.0 1.6840.21 YES
AotoYamada_05/Ex1SimplyTyped.ari if YES 0.491 --0.0 [err] 1.66 --0.0 24.861 --0.0 1.548 --0.0 1.7220.31 YES
Transformed_CSR_04/Ex5_Zan97_iGM.ari if YES 2.239 --0.0 [err] 1.220 --0.0 23.38 --0.0 1.821 --0.0 1.9320.21 YES
SK90/4.49.ari f NO 0.387 --0.0 [err] 1.166 --0.0 0.932 --0.0 1.785 --0.0 1.8880.27 NO
SK90/4.50.ari if YES 0.375 --0.0 [err] 1.1 --0.0 1.191 --0.0 1.643 --0.0 1.7000.21 YES
SK90/4.51.ari if YES 0.404 --0.0 [err] 1.28 --0.0 0.815 --0.0 1.641 --0.0 1.8310.23 YES
SK90/4.52.ari f YES 0.366 --0.0 [err] 1.46 --0.0 0.720 --0.0 1.565 --0.0 1.7140.21 YES
SK90/4.53.ari f YES 0.367 --0.0 [err] 0.985 --0.0 0.698 --0.0 1.501 --0.0 1.6300.21 YES
SK90/4.54.ari if NO timeout [err] 1.134 --0.0 0.758 --0.0 2.531 --0.0 2.850.21 NO
SK90/4.55.ari if YES 4.469 --0.0 [err] 0.901 --0.0 0.758 --0.0 1.518 --0.0 1.6840.20 YES
SK90/4.56.ari f YES 0.367 --0.0 [err] 0.929 --0.0 0.689 --0.0 1.523 --0.0 1.6630.20 YES
SK90/4.57.ari f YES 0.366 --0.0 [err] 1.9 --0.0 0.702 --0.0 1.577 --0.0 1.6960.40 YES
SK90/4.59.ari f YES 0.491 --0.0 [err] 0.913 --0.0 0.854 --0.0 1.622 --0.0 1.7640.42 YES
AotoYamada_05/Ex5TermProof.ari if YES timeout [err] 1.468 --0.0 27.177 --0.0 error error YES
Transformed_CSR_04/Ex5_Zan97_L.ari f NO 0.359 --0.0 [err] 0.845 --0.0 0.744 --0.0 1.411 --0.0 1.5970.21 NO
SK90/4.60.ari f YES 0.474 --0.0 [err] 0.932 --0.0 0.986 --0.0 1.666 --0.0 1.8410.72 YES
SK90/4.61.ari if YES 4.932 --0.0 [err] 1.427 --0.0 1.755 --0.0 1.919 --0.0 2.360.21 YES
Strategy_removed_AG01/#4.12a.ari if NO timeout [err] 1.60 --0.0 0.778 --0.0 1.676 --0.0 1.7040.21 NO
Strategy_removed_AG01/#4.13.ari if NO 50.699 --0.0 [err] 1.25 --0.0 0.797 --0.0 1.810 --0.0 1.8860.25 NO
Strategy_removed_AG01/#4.14.ari if NO timeout [err] 1.67 --0.0 0.811 --0.0 1.719 --0.0 1.8200.23 NO
Strategy_removed_AG01/#4.15.ari if NO timeout [err] 1.261 --0.0 0.842 --0.0 1.708 --0.0 1.8140.19 NO
Strategy_removed_AG01/#4.16.ari f NO 50.763 --0.0 [err] 0.964 --0.0 0.785 --0.0 1.692 --0.0 1.8140.26 NO
Strategy_removed_AG01/#4.17.ari if NO timeout [err] 1.70 --0.0 5.817 --0.0 1.827 --0.0 1.9250.39 NO
Strategy_removed_AG01/#4.18.ari if NO timeout [err] 1.94 --0.0 0.757 --0.0 1.509 --0.0 1.6790.26 NO
Strategy_removed_AG01/#4.19.ari if NO timeout [err] 1.170 --0.0 0.830 --0.0 error error NO
Applicative_05/BTreeMember.ari f YES 0.841 --0.0 [err] 1.847 --0.0 0.777 --0.0 2.290 --0.0 2.3050.131 YES
Transformed_CSR_04/Ex5_Zan97_Z.ari f YES 0.395 --0.0 [err] 1.99 --0.0 0.749 --0.0 1.486 --0.0 1.5990.18 YES
Strategy_removed_AG01/#4.20a.ari if YES 0.402 --0.0 [err] 0.949 --0.0 0.772 --0.0 1.440 --0.0 1.8020.29 YES
Strategy_removed_AG01/#4.20.ari if YES 0.361 --0.0 [err] 0.929 --0.0 0.758 --0.0 1.433 --0.0 1.8110.20 YES
Strategy_removed_AG01/#4.21.ari if YES 0.378 --0.0 [err] 0.961 --0.0 0.811 --0.0 1.472 --0.0 1.7450.50 YES
Strategy_removed_AG01/#4.22.ari if YES 0.370 --0.0 [err] 0.977 --0.0 19.591 --0.0 1.621 --0.0 1.7240.49 YES
Strategy_removed_AG01/#4.23.ari if YES 0.406 --0.0 [err] 1.24 --0.0 25.753 --0.0 1.703 --0.0 1.8450.49 YES
Strategy_removed_AG01/#4.25.ari if YES 30.710 --0.0 [err] 1.13 --0.0 0.842 --0.0 1.672 --0.0 1.8100.26 YES
Strategy_removed_AG01/#4.26.ari if YES 0.417 --0.0 [err] 1.25 --0.0 14.259 --0.0 1.535 --0.0 1.6170.19 YES
Strategy_removed_AG01/#4.27.ari if YES 0.432 --0.0 [err] 1.77 --0.0 30.943 --0.0 1.630 --0.0 1.7780.24 YES
Strategy_removed_AG01/#4.28.ari if YES 0.387 --0.0 [err] 0.997 --0.0 19.702 --0.0 1.509 --0.0 1.9930.21 YES
Strategy_removed_AG01/#4.29.ari if YES 0.428 --0.0 [err] 1.79 --0.0 17.292 --0.0 1.691 --0.0 1.8490.21 YES
AG01/#3.18.ari f YES 0.478 --0.0 [err] 1.43 --0.0 0.767 --0.0 1.560 --0.0 1.7320.20 YES
Transformed_CSR_04/Ex3_2_Luc97_Z.ari if YES timeout [err] 1.298 --0.0 19.559 --0.0 timeout error YES
Applicative_05/Ex10Functional.ari uf MAYBE timeout [err] 4.540 --0.0 24.505 --0.0 error error MAYBE
Transformed_CSR_04/Ex6_15_AEL02_C.ari uf MAYBE timeout [err] 9.643 --0.0 12.109 --0.0 timeout timeout MAYBE
Strategy_removed_AG01/#4.2.ari if NO timeout [err] 1.96 --0.0 4.84 --0.0 1.842 --0.0 1.9160.20 NO
Strategy_removed_AG01/#4.30a.ari if YES 50.746 --0.0 [err] 0.983 --0.0 21.257 --0.0 1.784 --0.0 1.8260.60 YES
Strategy_removed_AG01/#4.30.ari if YES timeout [err] 1.332 --0.0 9.357 --0.0 2.360 --0.0 2.3410.38 YES
Strategy_removed_AG01/#4.30b.ari if YES timeout [err] 1.251 --0.0 27.398 --0.0 2.304 --0.0 3.7570.25 YES
Strategy_removed_AG01/#4.30c.ari if YES timeout [err] 1.390 --0.0 15.315 --0.0 1.633 --0.0 4.6380.91 YES
Strategy_removed_AG01/#4.32.ari f YES 0.367 --0.0 [err] 0.948 --0.0 0.666 --0.0 2.98 --0.0 1.4840.30 YES
Strategy_removed_AG01/#4.33.ari if YES 0.427 --0.0 [err] 1.11 --0.0 18.563 --0.0 1.602 --0.0 1.6810.20 YES
Strategy_removed_AG01/#4.34.ari if YES 0.438 --0.0 [err] 0.879 --0.0 12.971 --0.0 1.484 --0.0 1.6280.22 YES
Strategy_removed_AG01/#4.35.ari if YES 0.493 --0.0 [err] 1.330 --0.0 22.665 --0.0 1.720 --0.0 1.7720.21 YES
Strategy_removed_AG01/#4.36.ari if YES 0.429 --0.0 [err] 1.162 --0.0 20.901 --0.0 1.625 --0.0 1.9100.21 YES
Applicative_05/Ex2_6_1Composition.ari f YES 0.850 --0.0 [err] 1.744 --0.0 0.755 --0.0 2.209 --0.0 2.3040.121 YES
Transformed_CSR_04/Ex6_15_AEL02_FR.ari if NO timeout [err] 2.661 --0.0 0.926 --0.0 error error NO
Strategy_removed_AG01/#4.37a.ari if YES 0.390 --0.0 [err] 0.921 --0.0 3.146 --0.0 1.506 --0.0 1.7030.21 YES
Strategy_removed_AG01/#4.37.ari if YES 0.424 --0.0 [err] 1.84 --0.0 3.151 --0.0 1.581 --0.0 2.1510.37 YES
Strategy_removed_AG01/#4.3.ari if NO 50.789 --0.0 [err] 0.962 --0.0 2.359 --0.0 1.551 --0.0 1.6880.21 NO
Strategy_removed_AG01/#4.4.ari if NO 50.738 --0.0 [err] 0.961 --0.0 0.875 --0.0 1.582 --0.0 1.7020.17 NO
Strategy_removed_AG01/#4.7.ari if NO 51.58 --0.0 [err] 0.993 --0.0 0.817 --0.0 1.706 --0.0 1.7900.31 NO
Strategy_removed_CSR_05/Ex1_2_AEL03.ari if NO timeout [err] 1.269 --0.0 0.812 --0.0 1.727 --0.0 2.4320.20 NO
Strategy_removed_CSR_05/Ex1_2_Luc02c.ari if NO timeout [err] 1.23 --0.0 0.834 --0.0 1.867 --0.0 2.6630.21 NO
Strategy_removed_CSR_05/Ex14_AEGL02.ari if NO timeout [err] 1.68 --0.0 0.825 --0.0 1.851 --0.0 2.5830.21 NO
Strategy_removed_CSR_05/Ex15_Luc98.ari if NO timeout [err] 1.197 --0.0 1.37 --0.0 1.788 --0.0 2.5490.20 NO
Strategy_removed_CSR_05/Ex1_GL02a.ari f NO 0.343 --0.0 [err] 1.111 --0.0 0.842 --0.0 1.763 --0.0 2.5320.21 NO
Applicative_05/Ex2_8_1ConstSubstFix.ari if NO timeout [err] 1.282 --0.0 0.815 --0.0 3.227 --0.0 8.1430.29 NO
Transformed_CSR_04/Ex6_15_AEL02_GM.ari uf MAYBE timeout [err] 3.128 --0.0 30.982 --0.0 timeout error MAYBE
Strategy_removed_CSR_05/Ex1_GM03.ari if NO timeout [err] 1.214 --0.0 0.871 --0.0 1.878 --0.0 1.9440.22 NO
Strategy_removed_CSR_05/Ex1_GM99.ari if NO 50.730 --0.0 [err] 1.1 --0.0 1.84 --0.0 1.592 --0.0 1.7170.22 NO
Strategy_removed_CSR_05/Ex1_Luc02b.ari if NO timeout [err] 1.70 --0.0 0.783 --0.0 1.896 --0.0 2.6340.20 NO
Strategy_removed_CSR_05/Ex1_Zan97.ari if NO timeout [err] 1.16 --0.0 0.790 --0.0 1.867 --0.0 1.8510.20 NO
Strategy_removed_CSR_05/Ex24_GM04.ari if NO timeout [err] 1.24 --0.0 1.509 --0.0 1.672 --0.0 1.7310.21 NO
Strategy_removed_CSR_05/Ex26_Luc03b.ari if NO timeout [err] 1.162 --0.0 0.834 --0.0 1.768 --0.0 2.4350.21 NO
Strategy_removed_CSR_05/Ex2_Luc03b.ari if NO timeout [err] 1.97 --0.0 0.777 --0.0 1.689 --0.0 2.4820.22 NO
Strategy_removed_CSR_05/Ex3_12_Luc96a.ari if NO timeout [err] 1.21 --0.0 1.355 --0.0 1.725 --0.0 2.3870.23 NO
Strategy_removed_CSR_05/Ex3_2_Luc97.ari if NO timeout [err] 1.155 --0.0 0.853 --0.0 1.739 --0.0 2.5090.21 NO
Strategy_removed_CSR_05/Ex3_3_25_Bor03.ari if NO timeout [err] 1.122 --0.0 0.728 --0.0 1.819 --0.0 2.5840.20 NO
Applicative_05/Ex2PrimRec.ari uf MAYBE timeout [err] 1.507 --0.0 26.304 --0.0 error error MAYBE
Transformed_CSR_04/Ex6_15_AEL02_iGM.ari uf MAYBE timeout [err] 10.981 --0.0 26.166 --0.0 timeout timeout MAYBE
Strategy_removed_CSR_05/Ex4_4_Luc96b.ari if NO timeout [err] 0.986 --0.0 0.754 --0.0 1.572 --0.0 1.6960.20 NO
Strategy_removed_CSR_05/Ex4_7_15_Bor03.ari if NO timeout [err] 1.20 --0.0 0.835 --0.0 1.900 --0.0 2.5130.20 NO
Strategy_removed_CSR_05/Ex4_7_37_Bor03.ari if NO timeout [err] 1.125 --0.0 0.823 --0.0 1.740 --0.0 2.5330.20 NO
Strategy_removed_CSR_05/Ex4_7_56_Bor03.ari if NO timeout [err] 0.992 --0.0 1.391 --0.0 1.782 --0.0 2.5820.21 NO
Strategy_removed_CSR_05/Ex4_7_77_Bor03.ari f NO 50.585 --0.0 [err] 0.980 --0.0 0.752 --0.0 1.973 --0.0 2.160.21 NO
Strategy_removed_CSR_05/Ex49_GM04.ari f YES 0.402 --0.0 [err] 1.54 --0.0 0.740 --0.0 1.590 --0.0 1.7330.20 YES
Strategy_removed_CSR_05/Ex4_Zan97.ari if NO timeout [err] 1.16 --0.0 0.771 --0.0 1.697 --0.0 2.1480.20 NO
Strategy_removed_CSR_05/Ex5_7_Luc97.ari f NO 0.369 --0.0 [err] 1.309 --0.0 0.814 --0.0 2.276 --0.0 3.1720.21 NO
Strategy_removed_CSR_05/Ex5_Zan97.ari if NO timeout [err] 0.953 --0.0 1.903 --0.0 1.693 --0.0 2.3590.19 NO
Strategy_removed_CSR_05/Ex6_15_AEL02.ari f NO 0.388 --0.0 [err] 1.509 --0.0 0.809 --0.0 2.318 --0.0 3.1720.21 NO
Applicative_05/Ex3Lists.ari if YES timeout [err] 1.156 --0.0 23.27 --0.0 2.80 --0.0 1.7170.21 YES
Transformed_CSR_04/Ex6_15_AEL02_L.ari f NO 0.366 --0.0 [err] 1.65 --0.0 0.769 --0.0 1.491 --0.0 1.6380.20 NO
Strategy_removed_CSR_05/Ex6_9_Luc02c.ari if NO timeout [err] 0.943 --0.0 0.798 --0.0 1.759 --0.0 2.5180.21 NO
Strategy_removed_CSR_05/Ex6_GM04.ari f NO 50.618 --0.0 [err] 0.963 --0.0 0.759 --0.0 1.785 --0.0 1.9370.21 NO
Strategy_removed_CSR_05/Ex6_Luc98.ari if NO timeout [err] 0.898 --0.0 0.948 --0.0 1.846 --0.0 2.4530.71 NO
Strategy_removed_CSR_05/Ex7_BLR02.ari if NO timeout [err] 0.955 --0.0 0.900 --0.0 1.777 --0.0 2.4290.65 NO
Strategy_removed_CSR_05/Ex8_BLR02.ari if NO timeout [err] 0.915 --0.0 0.943 --0.0 1.773 --0.0 1.8080.40 NO
Strategy_removed_CSR_05/Ex9_BLR02.ari if NO timeout [err] 0.940 --0.0 0.924 --0.0 1.793 --0.0 2.4100.53 NO
Strategy_removed_CSR_05/ExAppendixB_AEL03.ari if NO timeout [err] 1.393 --0.0 0.929 --0.0 1.867 --0.0 2.4990.27 NO
Strategy_removed_CSR_05/ExConc_Zan97.ari f NO 50.585 --0.0 [err] 0.896 --0.0 0.663 --0.0 1.368 --0.0 1.5180.22 NO
Strategy_removed_CSR_05/ExIntrod_GM01.ari f NO 50.588 --0.0 [err] 1.91 --0.0 0.923 --0.0 1.960 --0.0 2.1100.21 NO
Strategy_removed_CSR_05/ExIntrod_GM04.ari f NO 50.587 --0.0 [err] 1.55 --0.0 0.852 --0.0 1.967 --0.0 2.1290.21 NO
Applicative_05/Ex4MapList.ari if YES 0.662 --0.0 [err] 1.296 --0.0 17.470 --0.0 2.556 --0.0 2.800.101 YES
Transformed_CSR_04/Ex6_15_AEL02_Z.ari if NO timeout [err] 2.845 --0.0 1.48 --0.0 7.312 --0.0 7.5590.29 NO
Strategy_removed_CSR_05/ExIntrod_GM99.ari if NO timeout [err] 1.640 --0.0 2.180 --0.0 1.938 --0.0 2.6560.20 NO
Strategy_removed_CSR_05/ExIntrod_Zan97.ari if NO timeout [err] 1.335 --0.0 0.959 --0.0 1.997 --0.0 2.6480.21 NO
Strategy_removed_mixed_05/bn111.ari if YES timeout [err] 1.426 --0.0 38.188 --0.0 12.904 --0.0 15.3911.76 YES
Strategy_removed_mixed_05/ex1.ari f NO 0.822 --0.0 [err] 1.947 --0.0 1.245 --0.0 3.677 --0.0 2.8160.151 NO
Strategy_removed_mixed_05/ex2.ari f NO 0.822 --0.0 [err] 1.946 --0.0 1.251 --0.0 3.630 --0.0 3.50.151 NO
Strategy_removed_mixed_05/ex3.ari f NO 0.822 --0.0 [err] 1.948 --0.0 1.288 --0.0 3.566 --0.0 2.8170.151 NO
Strategy_removed_mixed_05/ex4.ari f NO 50.886 --0.0 [err] 1.521 --0.0 1.233 --0.0 3.502 --0.0 2.8450.151 NO
Strategy_removed_mixed_05/ex5.ari f NO 0.328 --0.0 [err] 0.865 --0.0 0.831 --0.0 2.15 --0.0 1.9130.60 NO
Strategy_removed_mixed_05/ex6.ari if NO timeout [err] 0.911 --0.0 0.981 --0.0 1.850 --0.0 1.8410.54 NO
Strategy_removed_mixed_05/ExSec11_1_Luc02a.ari f NO 0.366 --0.0 [err] 1.211 --0.0 0.894 --0.0 1.814 --0.0 2.5010.21 NO
Applicative_05/Ex5Folding.ari uf MAYBE timeout [err] 1.797 --0.0 29.143 --0.0 error error MAYBE
Transformed_CSR_04/Ex6_9_Luc02c_C.ari if YES 0.451 --0.0 [err] 1.408 --0.0 17.839 --0.0 1.827 --0.0 1.8620.30 YES
Strategy_removed_mixed_05/gkg.ari f NO 50.740 --0.0 [err] 1.35 --0.0 0.919 --0.0 1.738 --0.0 1.8460.21 NO
Strategy_removed_mixed_05/muladd.ari f NO 50.798 --0.0 [err] 1.108 --0.0 1.86 --0.0 1.845 --0.0 1.8680.21 NO
Strategy_removed_mixed_05/n001.ari f NO 51.6 --0.0 [err] 1.99 --0.0 0.802 --0.0 1.466 --0.0 1.6570.22 NO
Strategy_removed_mixed_05/test10.ari if NO timeout [err] 1.112 --0.0 0.808 --0.0 7.911 --0.0 8.1080.21 NO
Strategy_removed_mixed_05/test75.ari if NO 50.797 --0.0 [err] 1.118 --0.0 0.858 --0.0 1.841 --0.0 1.9420.22 NO
Strategy_removed_mixed_05/test76.ari if NO timeout [err] 1.19 --0.0 1.7 --0.0 1.910 --0.0 1.9490.20 NO
Strategy_removed_mixed_05/test77.ari if NO timeout [err] 0.951 --0.0 2.55 --0.0 3.115 --0.0 3.1670.21 NO
Strategy_removed_mixed_05/test830.ari if YES 0.394 --0.0 [err] 0.986 --0.0 1.786 --0.0 1.588 --0.0 1.7800.20 YES
Strategy_removed_mixed_05/test9.ari if NO timeout [err] 1.17 --0.0 0.778 --0.0 1.695 --0.0 1.8390.20 NO
Strategy_removed_mixed_05/toyama.ari if NO 50.723 --0.0 [err] 1.17 --0.0 0.823 --0.0 1.651 --0.0 1.9100.12 NO
Applicative_05/Ex5Sorting.ari uf MAYBE timeout [err] 2.778 --0.0 19.653 --0.0 error error MAYBE
Transformed_CSR_04/Ex6_9_Luc02c_FR.ari f YES 0.356 --0.0 [err] 1.31 --0.0 0.859 --0.0 1.542 --0.0 1.7500.21 YES
Strategy_removed_mixed_05/tricky1.ari if YES 0.355 --0.0 [err] 1.12 --0.0 1.175 --0.0 1.646 --0.0 1.8140.20 YES
TCT_12/polycounter-10.ari f YES 0.410 --0.0 [err] 1.246 --0.0 0.813 --0.0 1.930 --0.0 2.1060.20 YES
TCT_12/polycounter-5.ari f YES 0.385 --0.0 [err] 1.54 --0.0 0.770 --0.0 1.528 --0.0 1.6400.20 YES
TCT_12/recursion-10.ari f YES 0.389 --0.0 [err] 1.214 --0.0 0.742 --0.0 1.605 --0.0 1.7280.21 YES
TCT_12/recursion-5.ari f YES 0.367 --0.0 [err] 1.102 --0.0 0.713 --0.0 1.557 --0.0 1.7180.22 YES
TCT_12/sat.ari f YES 0.380 --0.0 [err] 1.165 --0.0 0.746 --0.0 1.582 --0.0 1.7660.20 YES
Transformed_CSR_04/Ex1_2_AEL03_C.ari if YES [err] 8.520 --0.0 [err] 3.331 --0.0 11.73 --0.0 1.546 --0.0 timeout YES
Transformed_CSR_04/Ex1_2_AEL03_FR.ari if YES 0.386 --0.0 [err] 1.152 --0.0 29.613 --0.0 1.578 --0.0 1.7330.21 YES
Transformed_CSR_04/Ex1_2_AEL03_GM.ari if YES [err] 40.372 --0.0 [err] 1.680 --0.0 30.428 --0.0 28.757 --0.0 26.1640.80 YES
Transformed_CSR_04/Ex1_2_AEL03_iGM.ari if YES timeout [err] 1.833 --0.0 24.521 --0.0 12.308 --0.0 12.60.74 YES
Applicative_05/Ex6_11.ari if YES 0.428 --0.0 [err] 1.72 --0.0 16.169 --0.0 2.64 --0.0 1.9510.109 YES
Transformed_CSR_04/Ex6_9_Luc02c_GM.ari if YES 17.431 --0.0 [err] 1.224 --0.0 23.930 --0.0 2.636 --0.0 2.5680.117 YES
Transformed_CSR_04/Ex1_2_AEL03_L.ari f NO 0.334 --0.0 [err] 0.840 --0.0 0.795 --0.0 1.494 --0.0 1.5580.48 NO
Transformed_CSR_04/Ex1_2_AEL03_Z.ari if YES 0.352 --0.0 [err] 1.15 --0.0 23.182 --0.0 1.644 --0.0 1.7820.48 YES
Transformed_CSR_04/Ex1_2_Luc02c_C.ari if YES 0.454 --0.0 [err] 1.292 --0.0 11.796 --0.0 1.786 --0.0 1.8990.21 YES
Transformed_CSR_04/Ex1_2_Luc02c_FR.ari f YES 0.366 --0.0 [err] 1.28 --0.0 0.719 --0.0 1.439 --0.0 1.6650.21 YES
Transformed_CSR_04/Ex1_2_Luc02c_GM.ari if YES 0.607 --0.0 [err] 1.5 --0.0 20.859 --0.0 1.961 --0.0 2.1980.21 YES
Transformed_CSR_04/Ex1_2_Luc02c_iGM.ari if YES 0.827 --0.0 [err] 1.54 --0.0 24.421 --0.0 2.441 --0.0 2.6610.22 YES
Transformed_CSR_04/Ex1_2_Luc02c_L.ari f NO 0.354 --0.0 [err] 0.851 --0.0 0.719 --0.0 1.305 --0.0 1.6080.21 NO
Transformed_CSR_04/Ex1_2_Luc02c_Z.ari f YES 0.364 --0.0 [err] 0.997 --0.0 0.718 --0.0 1.423 --0.0 1.6670.21 YES
Transformed_CSR_04/Ex14_AEGL02_C.ari if YES timeout [err] 2.178 --0.0 9.993 --0.0 1.434 --0.0 error YES
Transformed_CSR_04/Ex14_AEGL02_FR.ari if NO timeout [err] 1.200 --0.0 1.100 --0.0 8.293 --0.0 8.8460.20 NO
Applicative_05/Ex6Folding.ari uf MAYBE timeout [err] 1.543 --0.0 35.464 --0.0 error error MAYBE
Transformed_CSR_04/Ex6_9_Luc02c_iGM.ari if YES 32.779 --0.0 [err] 1.435 --0.0 30.246 --0.0 4.103 --0.0 4.2360.31 YES
Transformed_CSR_04/Ex14_AEGL02_GM.ari if YES 0.411 --0.0 [err] 1.28 --0.0 18.748 --0.0 1.526 --0.0 1.8370.21 YES
Transformed_CSR_04/Ex14_AEGL02_iGM.ari if YES 0.773 --0.0 [err] 1.196 --0.0 19.170 --0.0 2.19 --0.0 2.2080.21 YES
Transformed_CSR_04/Ex14_AEGL02_L.ari if NO timeout [err] 0.992 --0.0 0.779 --0.0 1.923 --0.0 1.9870.21 NO
Transformed_CSR_04/Ex14_AEGL02_Z.ari if NO timeout [err] 1.156 --0.0 0.889 --0.0 2.150 --0.0 2.3390.21 NO
Transformed_CSR_04/Ex14_Luc06_C.ari if YES timeout [err] 6.279 --0.0 12.469 --0.0 1.648 --0.0 timeout YES
Transformed_CSR_04/Ex14_Luc06_FR.ari if NO timeout [err] 1.12 --0.0 0.779 --0.0 2.5 --0.0 1.8570.21 NO
Transformed_CSR_04/Ex14_Luc06_GM.ari if NO timeout [err] 1.108 --0.0 0.882 --0.0 error error NO
Transformed_CSR_04/Ex14_Luc06_iGM.ari if NO timeout [err] 3.715 --0.0 1.837 --0.0 timeout timeout NO
Transformed_CSR_04/Ex14_Luc06_L.ari if NO timeout [err] 1.0 --0.0 0.789 --0.0 1.834 --0.0 1.7940.22 NO
Transformed_CSR_04/Ex15_Luc06_C.ari if YES timeout [err] 1.428 --0.0 9.668 --0.0 1.425 --0.0 3.60.21 YES
AG01/#3.19.ari if YES timeout [err] 1.181 --0.0 0.820 --0.0 1.724 --0.0 1.8560.21 YES
Transformed_CSR_04/Ex3_3_25_Bor03_C.ari if YES 0.476 --0.0 [err] 1.377 --0.0 9.216 --0.0 1.543 --0.0 2.3230.32 YES
Applicative_05/Ex6Recursor.ari if YES timeout [err] 1.217 --0.0 21.339 --0.0 timeout 55.4690.90 YES
Transformed_CSR_04/Ex6_9_Luc02c_L.ari f NO 0.328 --0.0 [err] 0.928 --0.0 0.704 --0.0 1.392 --0.0 1.4930.20 NO
Transformed_CSR_04/Ex15_Luc06_FR.ari f YES 0.359 --0.0 [err] 1.4 --0.0 0.718 --0.0 1.456 --0.0 1.8430.21 YES
Transformed_CSR_04/Ex15_Luc06_GM.ari f YES 0.357 --0.0 [err] 0.964 --0.0 0.695 --0.0 1.422 --0.0 1.8360.20 YES
Transformed_CSR_04/Ex15_Luc06_iGM.ari if YES 0.359 --0.0 [err] 0.895 --0.0 23.316 --0.0 1.606 --0.0 2.3760.22 YES
Transformed_CSR_04/Ex15_Luc06_L.ari f NO 50.527 --0.0 [err] 0.697 --0.0 0.897 --0.0 1.834 --0.0 1.7620.34 NO
Transformed_CSR_04/Ex15_Luc06_Z.ari f YES 0.335 --0.0 [err] 0.995 --0.0 0.728 --0.0 1.441 --0.0 1.7400.21 YES
Transformed_CSR_04/Ex15_Luc98_C.ari if YES 0.492 --0.0 [err] 1.452 --0.0 14.329 --0.0 1.568 --0.0 2.3700.32 YES
Transformed_CSR_04/Ex15_Luc98_FR.ari if YES 1.265 --0.0 [err] 1.13 --0.0 28.767 --0.0 2.258 --0.0 2.1060.22 YES
Transformed_CSR_04/Ex15_Luc98_GM.ari if YES 0.477 --0.0 [err] 1.275 --0.0 26.481 --0.0 1.665 --0.0 1.8160.22 YES
Transformed_CSR_04/Ex15_Luc98_iGM.ari if YES 0.695 --0.0 [err] 1.436 --0.0 25.486 --0.0 2.590 --0.0 2.7630.31 YES
Transformed_CSR_04/Ex15_Luc98_L.ari f NO 0.362 --0.0 [err] 0.881 --0.0 0.736 --0.0 1.430 --0.0 1.5600.21 NO
Applicative_05/Ex7_9.ari if YES timeout [err] 1.169 --0.0 18.906 --0.0 1.421 --0.0 1.7920.41 YES
Transformed_CSR_04/Ex6_9_Luc02c_Z.ari f YES 0.334 --0.0 [err] 0.992 --0.0 0.656 --0.0 1.510 --0.0 1.8610.20 YES
Transformed_CSR_04/Ex15_Luc98_Z.ari if YES 0.423 --0.0 [err] 1.87 --0.0 25.898 --0.0 1.600 --0.0 1.7850.21 YES
Transformed_CSR_04/Ex16_Luc06_C.ari if YES timeout [err] 2.742 --0.0 18.678 --0.0 1.574 --0.0 16.2550.31 YES
Transformed_CSR_04/Ex16_Luc06_FR.ari if YES 0.371 --0.0 [err] 0.990 --0.0 0.783 --0.0 1.671 --0.0 1.7860.21 YES
Transformed_CSR_04/Ex16_Luc06_GM.ari if YES 0.359 --0.0 [err] 1.183 --0.0 0.771 --0.0 1.822 --0.0 1.8900.30 YES
Transformed_CSR_04/Ex16_Luc06_iGM.ari if YES timeout [err] 1.245 --0.0 memout 1.772 --0.0 2.1740.21 YES
Transformed_CSR_04/Ex16_Luc06_L.ari if NO timeout [err] 0.986 --0.0 0.766 --0.0 1.724 --0.0 1.8880.20 NO
Transformed_CSR_04/Ex18_Luc06_C.ari if YES 0.421 --0.0 [err] 1.77 --0.0 8.921 --0.0 1.511 --0.0 2.4180.22 YES
Transformed_CSR_04/Ex18_Luc06_FR.ari f YES 0.359 --0.0 [err] 0.964 --0.0 0.719 --0.0 1.457 --0.0 1.8230.21 YES
Transformed_CSR_04/Ex18_Luc06_GM.ari f YES 0.363 --0.0 [err] 0.997 --0.0 0.753 --0.0 1.414 --0.0 1.8620.22 YES
Transformed_CSR_04/Ex18_Luc06_iGM.ari if YES 0.403 --0.0 [err] 1.22 --0.0 18.221 --0.0 1.454 --0.0 2.4630.23 YES
Applicative_05/Ex7OrdinalRec.ari uf MAYBE timeout [err] 2.179 --0.0 20.332 --0.0 error error MAYBE
Transformed_CSR_04/Ex6_GM04_C.ari if YES 0.404 --0.0 [err] 0.999 --0.0 0.858 --0.0 1.340 --0.0 2.6640.20 YES
Transformed_CSR_04/Ex18_Luc06_L.ari f YES 0.356 --0.0 [err] 0.940 --0.0 0.745 --0.0 1.453 --0.0 1.5660.22 YES
Transformed_CSR_04/Ex18_Luc06_Z.ari f YES 0.365 --0.0 [err] 0.963 --0.0 0.729 --0.0 1.455 --0.0 1.5910.22 YES
Transformed_CSR_04/Ex1_GL02a_C.ari if YES 4.293 --0.0 [err] 2.164 --0.0 11.666 --0.0 1.537 --0.0 15.250.32 YES
Transformed_CSR_04/Ex1_GL02a_FR.ari if NO timeout [err] 1.754 --0.0 16.236 --0.0 23.406 --0.0 23.9170.20 NO
Transformed_CSR_04/Ex1_GL02a_GM.ari f YES 0.356 --0.0 [err] 0.981 --0.0 0.874 --0.0 1.668 --0.0 2.2300.33 YES
Transformed_CSR_04/Ex1_GL02a_iGM.ari if YES 0.935 --0.0 [err] 1.94 --0.0 20.924 --0.0 2.298 --0.0 3.6180.46 YES
Transformed_CSR_04/Ex1_GL02a_L.ari f NO 0.363 --0.0 [err] 0.929 --0.0 0.932 --0.0 2.116 --0.0 2.2610.22 NO
Transformed_CSR_04/Ex1_GL02a_Z.ari if NO timeout [err] 2.398 --0.0 5.849 --0.0 11.330 --0.0 11.8550.22 NO
Transformed_CSR_04/Ex1_GM03_C.ari uf MAYBE timeout [err] 4.385 --0.0 12.149 --0.0 timeout error MAYBE
Transformed_CSR_04/Ex1_GM03_FR.ari uf MAYBE timeout [err] 1.677 --0.0 19.904 --0.0 timeout error MAYBE
Applicative_05/Ex7Sorting.ari uf MAYBE timeout [err] 2.489 --0.0 18.30 --0.0 error error MAYBE
Transformed_CSR_04/Ex6_GM04_FR.ari if NO timeout [err] 1.76 --0.0 0.790 --0.0 1.854 --0.0 2.6910.19 NO
Transformed_CSR_04/Ex1_GM03_GM.ari uf MAYBE timeout [err] 1.493 --0.0 24.655 --0.0 error error MAYBE
Transformed_CSR_04/Ex1_GM03_iGM.ari uf MAYBE timeout timeout 22.156 --0.0 timeout timeout MAYBE
Transformed_CSR_04/Ex1_GM03_L.ari f NO 0.311 --0.0 [err] 0.892 --0.0 0.728 --0.0 1.298 --0.0 1.3680.19 NO
Transformed_CSR_04/Ex1_GM03_Z.ari f NO 0.311 --0.0 [err] 1.163 --0.0 0.946 --0.0 1.589 --0.0 1.6190.19 NO
Transformed_CSR_04/Ex1_GM99_C.ari if YES timeout [err] 3.518 --0.0 23.968 --0.0 1.550 --0.0 24.1750.30 YES
Transformed_CSR_04/Ex1_GM99_FR.ari if NO 50.723 --0.0 [err] 1.24 --0.0 0.767 --0.0 1.591 --0.0 1.7760.23 NO
Transformed_CSR_04/Ex1_GM99_GM.ari if NO timeout [err] 1.150 --0.0 0.875 --0.0 1.938 --0.0 2.80.22 NO
Transformed_CSR_04/Ex1_GM99_iGM.ari if NO timeout timeout 11.122 --0.0 3.28 --0.0 3.1980.22 NO
Transformed_CSR_04/Ex1_GM99_L.ari f NO 0.373 --0.0 [err] 0.912 --0.0 0.755 --0.0 2.44 --0.0 2.740.15 NO
Transformed_CSR_04/Ex1_Luc02b_C.ari if YES timeout [err] 1.786 --0.0 10.964 --0.0 1.621 --0.0 error YES
Applicative_05/Ex8Polymorphic.ari if YES 0.359 --0.0 [err] 1.64 --0.0 19.832 --0.0 1.550 --0.0 1.5990.21 YES
Transformed_CSR_04/Ex6_GM04_GM.ari f YES 0.374 --0.0 [err] 1.115 --0.0 0.694 --0.0 1.349 --0.0 1.7190.31 YES
Transformed_CSR_04/Ex1_Luc02b_FR.ari if YES 0.464 --0.0 [err] 1.102 --0.0 27.853 --0.0 1.742 --0.0 1.8450.23 YES
Transformed_CSR_04/Ex1_Luc02b_GM.ari if YES timeout [err] 1.101 --0.0 22.485 --0.0 timeout timeout YES
Transformed_CSR_04/Ex1_Luc02b_iGM.ari if YES timeout [err] 1.399 --0.0 24.875 --0.0 timeout error YES
Transformed_CSR_04/Ex1_Luc02b_L.ari f NO 0.352 --0.0 [err] 0.873 --0.0 0.719 --0.0 1.364 --0.0 1.5160.21 NO
Transformed_CSR_04/Ex1_Luc02b_Z.ari if YES 0.381 --0.0 [err] 1.102 --0.0 25.296 --0.0 1.639 --0.0 1.8260.22 YES
Transformed_CSR_04/Ex1_Luc04b_C.ari if YES 1.235 --0.0 [err] 1.394 --0.0 12.502 --0.0 1.523 --0.0 2.4070.31 YES
Transformed_CSR_04/Ex1_Luc04b_FR.ari if NO timeout [err] 1.111 --0.0 1.520 --0.0 2.499 --0.0 2.4610.33 NO
Transformed_CSR_04/Ex1_Luc04b_GM.ari if YES 1.234 --0.0 [err] 1.354 --0.0 28.177 --0.0 2.549 --0.0 2.3700.18 YES
Transformed_CSR_04/Ex1_Luc04b_iGM.ari if YES 2.501 --0.0 [err] 1.250 --0.0 20.914 --0.0 2.400 --0.0 2.7070.36 YES
Transformed_CSR_04/Ex1_Luc04b_L.ari f NO 0.353 --0.0 [err] 0.896 --0.0 0.740 --0.0 1.464 --0.0 1.5850.22 NO
Applicative_05/Ex9Maps.ari if YES timeout [err] 1.324 --0.0 16.340 --0.0 4.518 --0.0 4.4230.52 YES
Transformed_CSR_04/Ex6_GM04_iGM.ari if YES 0.426 --0.0 [err] 1.28 --0.0 23.497 --0.0 1.522 --0.0 1.9520.22 YES
Transformed_CSR_04/Ex1_Luc04b_Z.ari f NO 0.352 --0.0 [err] 1.112 --0.0 1.178 --0.0 2.22 --0.0 2.1310.20 NO
Transformed_CSR_04/Ex1_Zan97_C.ari if YES timeout [err] 1.230 --0.0 0.984 --0.0 2.775 --0.0 2.9590.21 YES
Transformed_CSR_04/Ex1_Zan97_FR.ari if NO timeout [err] 1.49 --0.0 0.824 --0.0 2.27 --0.0 2.1560.20 NO
Transformed_CSR_04/Ex1_Zan97_GM.ari f YES 0.395 --0.0 [err] 1.17 --0.0 0.795 --0.0 1.448 --0.0 1.7480.21 YES
Transformed_CSR_04/Ex1_Zan97_iGM.ari if YES 0.417 --0.0 [err] 0.927 --0.0 18.753 --0.0 1.414 --0.0 1.7430.21 YES
Transformed_CSR_04/Ex1_Zan97_L.ari if NO timeout [err] 0.950 --0.0 0.769 --0.0 1.810 --0.0 1.8090.20 NO
Transformed_CSR_04/Ex23_Luc06_C.ari if YES 0.422 --0.0 [err] 1.5 --0.0 11.180 --0.0 1.513 --0.0 2.7890.21 YES
Transformed_CSR_04/Ex23_Luc06_FR.ari f YES 0.359 --0.0 [err] 0.956 --0.0 0.741 --0.0 1.513 --0.0 1.8730.22 YES
Transformed_CSR_04/Ex23_Luc06_GM.ari f YES 0.345 --0.0 [err] 0.926 --0.0 0.737 --0.0 1.499 --0.0 2.50.21 YES
Transformed_CSR_04/Ex23_Luc06_iGM.ari if YES 0.415 --0.0 [err] 1.62 --0.0 18.948 --0.0 1.511 --0.0 2.1580.21 YES
Applicative_05/Hamming.ari if NO timeout [err] 3.492 --0.0 0.888 --0.0 2.479 --0.0 2.6400.192 NO
Transformed_CSR_04/Ex6_GM04_L.ari f YES 0.369 --0.0 [err] 0.942 --0.0 0.644 --0.0 1.509 --0.0 1.6140.20 YES
Transformed_CSR_04/Ex23_Luc06_L.ari f YES 0.354 --0.0 [err] 0.898 --0.0 0.729 --0.0 1.398 --0.0 1.5370.21 YES
Transformed_CSR_04/Ex23_Luc06_Z.ari f YES 0.349 --0.0 [err] 0.997 --0.0 0.717 --0.0 1.493 --0.0 1.5760.20 YES
Transformed_CSR_04/Ex24_GM04_C.ari if YES timeout [err] 6.60 --0.0 22.88 --0.0 1.590 --0.0 timeout YES
Transformed_CSR_04/Ex24_GM04_FR.ari if NO timeout [err] 1.41 --0.0 0.823 --0.0 error timeout NO
Transformed_CSR_04/Ex24_GM04_GM.ari if NO 50.714 --0.0 [err] 1.527 --0.0 0.824 --0.0 8.373 --0.0 6.9970.21 NO
Transformed_CSR_04/Ex24_GM04_iGM.ari if NO timeout timeout 25.47 --0.0 error error NO
Transformed_CSR_04/Ex24_GM04_L.ari f NO 0.365 --0.0 [err] 0.829 --0.0 0.727 --0.0 1.917 --0.0 1.9070.20 NO
Transformed_CSR_04/Ex24_GM04_Z.ari if NO 50.696 --0.0 [err] 0.915 --0.0 0.866 --0.0 12.106 --0.0 11.7690.21 NO
Transformed_CSR_04/Ex24_Luc06_C.ari if YES timeout [err] 1.534 --0.0 24.39 --0.0 1.473 --0.0 18.1890.31 YES
Transformed_CSR_04/Ex24_Luc06_FR.ari if NO 50.632 --0.0 [err] 0.883 --0.0 0.909 --0.0 1.599 --0.0 1.5890.21 NO
Applicative_05/mapDivMinus.ari if YES timeout [err] 1.120 --0.0 20.982 --0.0 1.645 --0.0 1.6890.21 YES
Transformed_CSR_04/Ex6_Luc98_C.ari if YES 0.456 --0.0 [err] 1.349 --0.0 8.297 --0.0 1.583 --0.0 2.4660.21 YES
Transformed_CSR_04/Ex24_Luc06_GM.ari if NO 36.537 --0.0 [err] 0.898 --0.0 0.855 --0.0 1.663 --0.0 1.6510.22 NO
Transformed_CSR_04/Ex24_Luc06_iGM.ari if NO timeout timeout 0.989 --0.0 3.254 --0.0 3.2770.21 NO
Transformed_CSR_04/Ex24_Luc06_L.ari f NO 50.650 --0.0 [err] 0.866 --0.0 0.729 --0.0 1.716 --0.0 1.8060.19 NO
Transformed_CSR_04/Ex25_Luc06_C.ari f YES 0.438 --0.0 [err] 1.237 --0.0 0.831 --0.0 1.547 --0.0 3.2540.18 YES
Transformed_CSR_04/Ex25_Luc06_FR.ari if YES 0.432 --0.0 [err] 1.64 --0.0 20.425 --0.0 2.957 --0.0 2.9390.21 YES
Transformed_CSR_04/Ex25_Luc06_GM.ari f YES 0.336 --0.0 [err] 1.10 --0.0 0.750 --0.0 1.438 --0.0 2.660.21 YES
Transformed_CSR_04/Ex25_Luc06_iGM.ari if YES 0.454 --0.0 [err] 1.81 --0.0 21.14 --0.0 3.693 --0.0 3.9360.23 YES
Transformed_CSR_04/Ex25_Luc06_L.ari f YES 0.355 --0.0 [err] 0.910 --0.0 0.727 --0.0 1.468 --0.0 1.6300.21 YES
Transformed_CSR_04/Ex25_Luc06_Z.ari f YES 0.397 --0.0 [err] 1.558 --0.0 0.735 --0.0 1.526 --0.0 1.8620.18 YES
Transformed_CSR_04/Ex26_Luc03b_C.ari if YES 0.491 --0.0 [err] 1.634 --0.0 9.238 --0.0 1.572 --0.0 2.7910.31 YES
Applicative_05/mapDivMinusHard.ari if YES timeout [err] 1.418 --0.0 19.41 --0.0 1.729 --0.0 1.8220.21 YES
Transformed_CSR_04/Ex6_Luc98_FR.ari f YES 0.473 --0.0 [err] 1.149 --0.0 3.650 --0.0 1.875 --0.0 1.9760.28 YES
Transformed_CSR_04/Ex26_Luc03b_FR.ari if YES timeout [err] 1.373 --0.0 21.503 --0.0 2.843 --0.0 2.9590.22 YES
Transformed_CSR_04/Ex26_Luc03b_GM.ari if YES 0.497 --0.0 [err] 1.301 --0.0 23.698 --0.0 1.853 --0.0 2.00.21 YES
Transformed_CSR_04/Ex26_Luc03b_iGM.ari if YES 0.681 --0.0 [err] 1.283 --0.0 24.695 --0.0 3.70 --0.0 3.3310.32 YES
Transformed_CSR_04/Ex26_Luc03b_L.ari f YES 0.367 --0.0 [err] 1.11 --0.0 0.773 --0.0 1.677 --0.0 1.7650.21 YES
Transformed_CSR_04/Ex26_Luc03b_Z.ari if YES 22.400 --0.0 [err] 1.126 --0.0 15.585 --0.0 2.124 --0.0 2.2330.20 YES
Transformed_CSR_04/Ex2_Luc02a_C.ari if YES timeout [err] 1.929 --0.0 8.471 --0.0 1.544 --0.0 2.4400.30 YES
Transformed_CSR_04/Ex2_Luc02a_FR.ari if YES 0.452 --0.0 [err] 1.47 --0.0 19.675 --0.0 1.625 --0.0 1.7310.21 YES
Transformed_CSR_04/Ex2_Luc02a_GM.ari if YES timeout [err] 1.440 --0.0 26.518 --0.0 2.91 --0.0 2.2830.21 YES
Transformed_CSR_04/Ex2_Luc02a_iGM.ari if YES timeout [err] 1.663 --0.0 26.290 --0.0 2.643 --0.0 2.9480.32 YES
Transformed_CSR_04/Ex2_Luc02a_L.ari f YES 0.365 --0.0 [err] 1.132 --0.0 0.725 --0.0 1.563 --0.0 1.8070.22 YES
Applicative_05/nonTermF.ari if NO timeout [err] 1.344 --0.0 0.888 --0.0 3.789 --0.0 error NO
Transformed_CSR_04/Ex6_Luc98_GM.ari f YES 0.428 --0.0 [err] 1.72 --0.0 2.135 --0.0 1.768 --0.0 1.9120.21 YES
Transformed_CSR_04/Ex2_Luc02a_Z.ari f YES 0.370 --0.0 [err] 1.82 --0.0 0.930 --0.0 1.672 --0.0 1.7860.21 YES
Transformed_CSR_04/Ex2_Luc03b_C.ari if YES 0.426 --0.0 [err] 1.224 --0.0 11.774 --0.0 1.428 --0.0 2.3820.30 YES
Transformed_CSR_04/Ex2_Luc03b_FR.ari if YES 0.530 --0.0 [err] 0.956 --0.0 23.802 --0.0 1.649 --0.0 1.7560.20 YES
Transformed_CSR_04/Ex2_Luc03b_GM.ari if YES 0.504 --0.0 [err] 1.170 --0.0 21.59 --0.0 2.381 --0.0 2.3750.21 YES
Transformed_CSR_04/Ex2_Luc03b_iGM.ari if YES 0.599 --0.0 [err] 1.290 --0.0 28.624 --0.0 2.160 --0.0 2.3760.32 YES
Transformed_CSR_04/Ex2_Luc03b_L.ari f YES 0.377 --0.0 [err] 1.2 --0.0 0.790 --0.0 1.597 --0.0 1.7220.22 YES
Transformed_CSR_04/Ex2_Luc03b_Z.ari if YES 0.453 --0.0 [err] 1.127 --0.0 23.473 --0.0 1.721 --0.0 1.8660.21 YES
Transformed_CSR_04/Ex3_12_Luc96a_C.ari if YES timeout [err] 1.513 --0.0 11.283 --0.0 1.724 --0.0 error YES
Transformed_CSR_04/Ex3_12_Luc96a_FR.ari if YES 0.371 --0.0 [err] 1.51 --0.0 20.772 --0.0 1.520 --0.0 1.6150.19 YES
Transformed_CSR_04/Ex3_12_Luc96a_GM.ari if 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