| | π+ | CeTA | π± | CeTA | π- | CeTA |
|---|
| AG01/#3.40 | 5.0 | | 5.0 | | 5.0 | |
| AG01/#4.30c | 5.0 | | 5.0 | | 5.0 | |
| AProVE_04/AAECC-ring | 5.0 | | 5.0 | | 5.0 | |
| AProVE_04/AAECC | 5.0 | | 5.0 | | 5.0 | |
| AProVE_04/JFP_Ex31 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_04/Liveness6.4 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_04/forward_instantiation | 0.6 | | 0.6 | | 0.6 | |
| AProVE_04/forward_instantiation2 | 0.7 | | 0.7 | | 0.6 | |
| AProVE_06/div_notCeTermin | 5.0 | | 5.0 | | 5.0 | |
| AProVE_06/div_notTermin | 5.0 | | 5.0 | | 5.0 | |
| AProVE_06/factorial2 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_06/identity | 5.0 | | 5.0 | | 5.0 | |
| AProVE_06/logarithm | 5.0 | | 5.0 | | 5.0 | |
| AProVE_06/mapHard | 1.4 | 0.1 | 1.4 | 0.1 | 1.4 | 0.1 |
| AProVE_06/modulo | 4.7 | | 4.6 | | 4.5 | |
| AProVE_06/quot | 4.8 | | 4.6 | | 4.3 | |
| AProVE_06/tower_sizeChange | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/kabasci01 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/kabasci06 | 1.6 | 0.1 | 1.7 | 0.1 | 1.6 | 0.1 |
| AProVE_07/otto01 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/otto02 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/otto03 | 4.1 | | 4.1 | | 4.2 | |
| AProVE_07/otto04 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/otto06 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/otto07 | 4.0 | | 4.0 | | 4.0 | |
| | π+ | CeTA | π± | CeTA | π- | CeTA |
|---|
| AProVE_07/otto08 | 4.8 | | 4.9 | | 4.5 | |
| AProVE_07/otto09 | 4.6 | | 4.4 | | 4.5 | |
| AProVE_07/otto10 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/otto11 | 4.4 | | 4.4 | | 4.4 | |
| AProVE_07/otto12 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/otto13 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/thiemann01 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/thiemann02 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/thiemann03 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/thiemann04 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/thiemann05 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/thiemann06 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/thiemann07 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/thiemann09 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/thiemann11 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/thiemann13 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/thiemann19 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/thiemann20 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/thiemann21 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/thiemann22 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/thiemann23 | 3.3 | | 5.0 | | 5.0 | |
| AProVE_07/thiemann24 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/thiemann25 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/thiemann26 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/thiemann27 | 4.3 | | 4.3 | | 3.9 | |
| | π+ | CeTA | π± | CeTA | π- | CeTA |
|---|
| AProVE_07/thiemann28 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/thiemann29 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/thiemann30 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/thiemann31 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/thiemann32 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/thiemann33 | 4.9 | | 5.0 | | 5.0 | |
| AProVE_07/thiemann34 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/thiemann35 | 2.8 | 0.1 | 2.8 | 0.1 | 2.8 | 0.1 |
| AProVE_07/thiemann36 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/thiemann37 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/thiemann38 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_07/thiemann39 | 2.4 | 0.1 | 2.3 | 0.1 | 2.7 | 0.1 |
| AProVE_07/thiemann41 | 5.0 | | 4.8 | | 4.8 | |
| AProVE_07/wiehe07 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_08/log | 5.0 | | 5.0 | | 5.0 | |
| AProVE_08/parting01_reverse | 5.0 | | 5.0 | | 5.0 | |
| AProVE_08/parting02_doublelist | 5.0 | | 5.0 | | 5.0 | |
| AProVE_08/parting03_minsort | 5.0 | | 5.0 | | 5.0 | |
| AProVE_08/parting04_maxsort_h | 5.0 | | 5.0 | | 5.0 | |
| AProVE_08/parting05_maxsort | 5.0 | | 5.0 | | 5.0 | |
| AProVE_08/round | 3.4 | | 3.2 | | 3.5 | |
| AProVE_09_Inductive/div | 5.0 | | 5.0 | | 5.0 | |
| AProVE_09_Inductive/divhard | 5.0 | | 5.0 | | 5.0 | |
| AProVE_09_Inductive/gcd | 5.0 | | 5.0 | | 5.0 | |
| AProVE_09_Inductive/gcd2 | 5.0 | | 5.0 | | 5.0 | |
| | π+ | CeTA | π± | CeTA | π- | CeTA |
|---|
| AProVE_09_Inductive/gcdhard | 5.0 | | 5.0 | | 5.0 | |
| AProVE_09_Inductive/log | 5.0 | | 5.0 | | 5.0 | |
| AProVE_09_Inductive/maxsort | 5.0 | | 5.0 | | 5.0 | |
| AProVE_09_Inductive/maxsortcondition | 5.0 | | 5.0 | | 5.0 | |
| AProVE_09_Inductive/minsort | 5.0 | | 5.0 | | 5.0 | |
| AProVE_09_Inductive/mod | 5.0 | | 5.0 | | 5.0 | |
| AProVE_09_Inductive/qsort | 5.0 | | 5.0 | | 5.0 | |
| AProVE_09_Inductive/qsortlast | 5.0 | | 5.0 | | 5.0 | |
| AProVE_09_Inductive/qsortmiddle | 5.0 | | 5.0 | | 5.0 | |
| AProVE_09_Inductive/zerolist | 3.3 | | 3.6 | | 2.8 | |
| AProVE_10/Zantema06-03-modified | 5.0 | | 5.0 | | 5.0 | |
| AProVE_10/andIsNat | 5.0 | | 5.0 | | 5.0 | |
| AProVE_10/challenge_fab | 5.0 | | 5.0 | | 5.0 | |
| AProVE_10/double | 1.7 | | 3.8 | | 3.8 | |
| AProVE_10/downfrom | 5.0 | | 5.0 | | 5.0 | |
| AProVE_10/ex1 | 4.4 | | 4.2 | | 4.4 | |
| AProVE_10/ex2 | 3.7 | | 5.0 | | 5.0 | |
| AProVE_10/ex3 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_10/ex4 | 5.0 | | 5.0 | | 5.0 | |
| AProVE_10/halfdouble | 5.0 | | 5.0 | | 5.0 | |
| AProVE_10/isNat | 1.0 | | 3.3 | | 3.2 | |
| AotoYamada_05/010 | 2.1 | 0.1 | 2.1 | 0.1 | 5.0 | |
| AotoYamada_05/011 | 1.8 | 0.1 | 1.8 | 0.1 | 1.9 | 0.1 |
| AotoYamada_05/Ex5TermProof | 5.0 | | 5.0 | | 5.0 | |
| Applicative_05/Ex10Functional | 5.0 | | 5.0 | | 5.0 | |
| | π+ | CeTA | π± | CeTA | π- | CeTA |
|---|
| Applicative_05/Ex2PrimRec | 5.0 | | 5.0 | | 5.0 | |
| Applicative_05/Ex5Folding | 5.0 | | 5.0 | | 5.0 | |
| Applicative_05/Ex5Sorting | 5.0 | | 5.0 | | 5.0 | |
| Applicative_05/Ex6Folding | 5.0 | | 5.0 | | 5.0 | |
| Applicative_05/Ex6Recursor | 5.0 | | 5.0 | | 5.0 | |
| Applicative_05/Ex7OrdinalRec | 5.0 | | 5.0 | | 5.0 | |
| Applicative_05/Ex7Sorting | 5.0 | | 5.0 | | 5.0 | |
| Applicative_05/Ex7_9 | 1.4 | 0.1 | 1.4 | 0.1 | 1.3 | 0.1 |
| Applicative_05/Ex9Maps | 5.0 | | 5.0 | | 5.0 | |
| Applicative_05/mapDivMinus | 1.0 | 0.0 | 0.9 | 0.0 | 0.9 | 0.0 |
| Applicative_05/mapDivMinusHard | 1.3 | 0.1 | 1.3 | 0.1 | 1.3 | 0.1 |
| Applicative_first_order_05/#3.10 | 2.9 | 0.2 | 2.9 | 0.2 | 2.9 | 0.2 |
| Applicative_first_order_05/#3.13 | 2.9 | 0.3 | 2.9 | 0.3 | 2.8 | 0.2 |
| Applicative_first_order_05/#3.18 | 1.5 | 0.1 | 1.5 | 0.1 | 1.5 | 0.1 |
| Applicative_first_order_05/#3.2 | 1.4 | 0.1 | 1.4 | 0.1 | 1.4 | 0.1 |
| Applicative_first_order_05/#3.22 | 1.5 | 0.1 | 1.5 | 0.1 | 1.5 | 0.1 |
| Applicative_first_order_05/#3.25 | 1.1 | 0.1 | 1.1 | 0.1 | 1.1 | 0.1 |
| Applicative_first_order_05/#3.36 | 2.0 | 0.1 | 1.9 | 0.1 | 2.0 | 0.1 |
| Applicative_first_order_05/#3.38 | 1.4 | 0.1 | 1.4 | 0.1 | 1.4 | 0.1 |
| Applicative_first_order_05/#3.40 | 5.0 | | 5.0 | | 5.0 | |
| Applicative_first_order_05/#3.55 | 2.2 | 0.2 | 2.2 | 0.2 | 2.2 | 0.2 |
| Applicative_first_order_05/#3.57 | 2.5 | 0.2 | 2.5 | 0.2 | 2.5 | 0.2 |
| Applicative_first_order_05/#3.6 | 2.0 | 0.1 | 2.1 | 0.1 | 2.0 | 0.1 |
| Applicative_first_order_05/#3.8 | 1.7 | 0.1 | 1.6 | 0.1 | 1.6 | 0.1 |
| Applicative_first_order_05/13 | 5.0 | | 5.0 | | 5.0 | |
| | π+ | CeTA | π± | CeTA | π- | CeTA |
|---|
| Applicative_first_order_05/21 | 1.7 | 0.1 | 1.6 | 0.1 | 1.6 | 0.1 |
| Applicative_first_order_05/31 | 5.0 | | 5.0 | | 5.0 | |
| Applicative_first_order_05/33 | 5.0 | | 5.0 | | 5.0 | |
| Applicative_first_order_05/minsort | 5.0 | | 5.0 | | 5.0 | |
| Applicative_first_order_05/perfect2 | 1.9 | 0.1 | 1.8 | 0.1 | 1.9 | 0.1 |
| Beerendonk_07/11 | 4.7 | | 4.7 | | 4.5 | |
| Beerendonk_07/12 | 4.4 | | 4.3 | | 3.8 | |
| Beerendonk_07/13 | 5.0 | | 5.0 | | 5.0 | |
| Beerendonk_07/14 | 3.8 | | 3.7 | | 4.0 | |
| Beerendonk_07/15 | 5.0 | | 5.0 | | 5.0 | |
| Beerendonk_07/16 | 5.0 | | 5.0 | | 5.0 | |
| Beerendonk_07/17 | 5.0 | | 5.0 | | 5.0 | |
| Beerendonk_07/18 | 5.0 | | 5.0 | | 5.0 | |
| Beerendonk_07/19 | 5.0 | | 5.0 | | 5.0 | |
| Beerendonk_07/20 | 5.0 | | 5.0 | | 5.0 | |
| Beerendonk_07/21 | 5.0 | | 5.0 | | 5.0 | |
| Beerendonk_07/24 | 5.0 | | 5.0 | | 5.0 | |
| Beerendonk_07/3 | 4.2 | | 4.2 | | 4.1 | |
| Beerendonk_07/4 | 2.2 | | 2.2 | | 1.9 | |
| CiME_04/fact-hard | 5.0 | | 5.0 | | 5.0 | |
| CiME_04/maude2 | 5.0 | | 5.0 | | 5.0 | |
| Der95/13 | 5.0 | | 5.0 | | 5.0 | |
| Der95/33 | 5.0 | | 5.0 | | 5.0 | |
| Endrullis_06/labeling | 3.2 | | 3.1 | | 3.2 | |
| Endrullis_06/pair2simple2 | 3.8 | | 3.8 | | 5.0 | |
| | π+ | CeTA | π± | CeTA | π- | CeTA |
|---|
| Endrullis_06/pair3hard | 5.0 | | 5.0 | | 5.0 | |
| GTSSK07/cade01 | 4.4 | | 4.4 | | 4.0 | |
| GTSSK07/cade03 | 4.1 | | 4.2 | | 4.2 | |
| GTSSK07/cade04t | 3.0 | | 2.8 | | 2.9 | |
| GTSSK07/cade05t | 5.0 | | 5.0 | | 5.0 | |
| GTSSK07/cade06 | 5.0 | | 5.0 | | 5.0 | |
| GTSSK07/cade07 | 5.0 | | 5.0 | | 5.0 | |
| GTSSK07/cade08 | 5.0 | | 5.0 | | 5.0 | |
| GTSSK07/cade09 | 5.0 | | 5.0 | | 5.0 | |
| GTSSK07/cade10 | 5.0 | | 5.0 | | 5.0 | |
| GTSSK07/cade11 | 5.0 | | 5.0 | | 5.0 | |
| GTSSK07/cade12t | 5.0 | | 5.0 | | 5.0 | |
| GTSSK07/cade13t | 4.9 | | 4.9 | | 4.7 | |
| GTSSK07/cade14 | 5.0 | | 5.0 | | 5.0 | |
| GTSSK07/cade15 | 5.0 | | 5.0 | | 5.0 | |
| GTSSK07/cade16 | 5.0 | | 5.0 | | 5.0 | |
| GTSSK07/cade17 | 5.0 | | 5.0 | | 5.0 | |
| HirokawaMiddeldorp_04/t002 | 2.6 | | 2.4 | | 2.5 | |
| HirokawaMiddeldorp_04/t009 | 5.0 | | 5.0 | | 5.0 | |
| MNZ_10/0 | 5.0 | | 5.0 | | 5.0 | |
| MNZ_10/3 | 5.0 | | 5.0 | | 5.0 | |
| MNZ_10/4 | 5.0 | | 5.0 | | 5.0 | |
| MNZ_10/5 | 5.0 | | 5.0 | | 5.0 | |
| MNZ_10/6 | 5.0 | | 5.0 | | 5.0 | |
| MNZ_10/7 | 5.0 | | 5.0 | | 5.0 | |
| | π+ | CeTA | π± | CeTA | π- | CeTA |
|---|
| MNZ_10/8 | 5.0 | | 5.0 | | 5.0 | |
| MNZ_10/9 | 5.0 | | 5.0 | | 5.0 | |
| MNZ_10/labelled | 5.0 | | 5.0 | | 5.0 | |
| MNZ_10/nrvsq | 5.0 | | 5.0 | | 5.0 | |
| MNZ_10/nvsr | 5.0 | | 5.0 | | 5.0 | |
| Mixed_TRS/6 | 4.1 | | 4.1 | | 5.0 | |
| Mixed_TRS/7 | 5.0 | | 5.0 | | 5.0 | |
| Mixed_TRS/beans | 5.0 | | 5.0 | | 5.0 | |
| Mixed_TRS/gcdMinMax | 5.0 | | 5.0 | | 5.0 | |
| Mixed_TRS/hydra-Zantema06 | 5.0 | | 5.0 | | 5.0 | |
| Mixed_TRS/minsort | 5.0 | | 5.0 | | 5.0 | |
| Mixed_TRS/while | 3.5 | | 3.6 | | 3.7 | |
| Mixed_TRS/while2 | 5.0 | | 5.0 | | 5.0 | |
| SK90/4.02 | 5.0 | | 5.0 | | 5.0 | |
| SK90/4.55 | 0.5 | | 0.5 | | 0.5 | |
| Secret_05_TRS/aprove1 | 1.5 | 0.1 | 1.5 | 0.1 | 1.6 | 0.1 |
| Secret_05_TRS/aprove2 | 5.0 | | 5.0 | | 5.0 | |
| Secret_05_TRS/aprove3 | 5.0 | | 5.0 | | 5.0 | |
| Secret_05_TRS/aprove4 | 5.0 | | 5.0 | | 5.0 | |
| Secret_05_TRS/aprove5 | 5.0 | | 5.0 | | 5.0 | |
| Secret_05_TRS/cime1 | 5.0 | | 5.0 | | 5.0 | |
| Secret_05_TRS/cime2 | 5.0 | | 5.0 | | 5.0 | |
| Secret_05_TRS/cime3 | 5.0 | | 5.0 | | 5.0 | |
| Secret_05_TRS/cime4 | 0.9 | | 0.9 | | 0.8 | |
| Secret_05_TRS/cime5 | 5.0 | | 5.0 | | 5.0 | |
| | π+ | CeTA | π± | CeTA | π- | CeTA |
|---|
| Secret_05_TRS/matchbox1 | 2.5 | | 2.5 | | 2.7 | |
| Secret_05_TRS/teparla1 | 5.0 | | 5.0 | | 5.0 | |
| Secret_05_TRS/teparla2 | 5.0 | | 5.0 | | 5.0 | |
| Secret_05_TRS/teparla3 | 5.0 | | 5.0 | | 5.0 | |
| Secret_05_TRS/tpa1 | 5.0 | | 5.0 | | 5.0 | |
| Secret_05_TRS/tpa3 | 5.0 | | 5.0 | | 5.0 | |
| Secret_05_TRS/tpa4 | 5.0 | | 5.0 | | 5.0 | |
| Secret_05_TRS/tpa5 | 5.0 | | 5.0 | | 5.0 | |
| Secret_06_TRS/3 | 5.0 | | 5.0 | | 5.0 | |
| Secret_06_TRS/addList | 5.0 | | 5.0 | | 5.0 | |
| Secret_06_TRS/cime1 | 5.0 | | 5.0 | | 5.0 | |
| Secret_06_TRS/divExp | 2.7 | | 1.3 | | 1.2 | |
| Secret_06_TRS/division | 5.0 | | 5.0 | | 5.0 | |
| Secret_06_TRS/double | 5.0 | | 5.0 | | 5.0 | |
| Secret_06_TRS/logarithm | 1.3 | 0.1 | 1.3 | 0.1 | 5.0 | |
| Secret_06_TRS/nrOfNodes | 5.0 | | 5.0 | | 5.0 | |
| Secret_06_TRS/times | 5.0 | | 5.0 | | 5.0 | |
| Secret_06_TRS/toList | 5.0 | | 5.0 | | 5.0 | |
| Secret_06_TRS/tpa01 | 2.7 | | 2.6 | | 2.6 | |
| Secret_06_TRS/tpa02 | 2.6 | | 2.6 | | 2.7 | |
| Secret_06_TRS/tpa03 | 2.7 | | 2.7 | | 2.7 | |
| Secret_06_TRS/tpa04 | 5.0 | | 5.0 | | 5.0 | |
| Secret_06_TRS/tpa05 | 5.0 | | 5.0 | | 5.0 | |
| Secret_06_TRS/tpa06 | 5.0 | | 5.0 | | 5.0 | |
| Secret_06_TRS/tpa07 | 5.0 | | 5.0 | | 5.0 | |
| | π+ | CeTA | π± | CeTA | π- | CeTA |
|---|
| Secret_06_TRS/tpa08 | 5.0 | | 5.0 | | 5.0 | |
| Secret_06_TRS/tpa09 | 5.0 | | 5.0 | | 5.0 | |
| Secret_06_TRS/tpa10 | 5.0 | | 5.0 | | 5.0 | |
| Secret_07_TRS/1 | 5.0 | | 5.0 | | 5.0 | |
| Secret_07_TRS/2 | 5.0 | | 5.0 | | 5.0 | |
| Secret_07_TRS/3 | 5.0 | | 5.0 | | 5.0 | |
| Secret_07_TRS/4 | 5.0 | | 5.0 | | 5.0 | |
| Secret_07_TRS/5 | 5.0 | | 5.0 | | 5.0 | |
| Secret_07_TRS/7 | 5.0 | | 5.0 | | 5.0 | |
| Secret_07_TRS/aprove01 | 5.0 | | 5.0 | | 5.0 | |
| Secret_07_TRS/aprove02 | 5.0 | | 5.0 | | 5.0 | |
| Secret_07_TRS/aprove03 | 5.0 | | 5.0 | | 5.0 | |
| Secret_07_TRS/aprove04 | 5.0 | | 5.0 | | 5.0 | |
| Secret_07_TRS/aprove05 | 5.0 | | 5.0 | | 5.0 | |
| Secret_07_TRS/aprove06 | 5.0 | | 5.0 | | 5.0 | |
| Secret_07_TRS/aprove07 | 5.0 | | 5.0 | | 5.0 | |
| Secret_07_TRS/aprove08 | 5.0 | | 5.0 | | 5.0 | |
| Secret_07_TRS/aprove09 | 5.0 | | 5.0 | | 5.0 | |
| Secret_07_TRS/aprove10 | 5.0 | | 5.0 | | 5.0 | |
| Strategy_removed_AG01/#4.13 | 0.6 | | 0.6 | | 0.6 | |
| Strategy_removed_AG01/#4.19 | 5.0 | | 5.0 | | 5.0 | |
| Strategy_removed_AG01/#4.25 | 0.7 | | 0.7 | | 0.7 | |
| Strategy_removed_AG01/#4.3 | 0.6 | | 0.6 | | 0.6 | |
| Strategy_removed_AG01/#4.30 | 5.0 | | 5.0 | | 5.0 | |
| Strategy_removed_AG01/#4.30a | 2.5 | | 2.3 | | 2.5 | |
| | π+ | CeTA | π± | CeTA | π- | CeTA |
|---|
| Strategy_removed_AG01/#4.30b | 5.0 | | 5.0 | | 5.0 | |
| Strategy_removed_AG01/#4.30c | 5.0 | | 5.0 | | 5.0 | |
| Strategy_removed_CSR_05/Ex24_GM04 | 0.6 | | 0.6 | | 0.6 | |
| Strategy_removed_mixed_05/bn111 | 3.1 | | 3.3 | | 3.4 | |
| Strategy_removed_mixed_05/test76 | 2.5 | | 2.3 | | 2.5 | |
| Strategy_removed_mixed_05/test77 | 2.3 | | 2.3 | | 2.2 | |
| Strategy_removed_mixed_05/toyama | 0.6 | | 0.6 | | 0.6 | |
| TCT_09/nonmultrec | 5.0 | | 4.7 | | 5.0 | |
| Transformed_CSR_04/Ex14_AEGL02_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex14_Luc06_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex14_Luc06_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex16_Luc06_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex16_Luc06_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex1_2_AEL03_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex1_2_AEL03_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex1_2_AEL03_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex1_GL02a_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex1_GL02a_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex1_GL02a_Z | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex1_GM03_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex1_GM03_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex1_GM03_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex1_GM03_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex1_GM99_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex1_GM99_GM | 5.0 | | 5.0 | | 5.0 | |
| | π+ | CeTA | π± | CeTA | π- | CeTA |
|---|
| Transformed_CSR_04/Ex1_GM99_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex1_Luc02b_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex1_Luc02b_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex1_Luc02b_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex24_GM04_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex24_GM04_FR | 1.8 | | 1.9 | | 1.9 | |
| Transformed_CSR_04/Ex24_GM04_GM | 0.7 | | 0.7 | | 0.8 | |
| Transformed_CSR_04/Ex24_GM04_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex24_Luc06_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex26_Luc03b_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex2_Luc02a_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex3_12_Luc96a_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex3_12_Luc96a_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex3_12_Luc96a_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex3_2_Luc97_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex3_2_Luc97_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex3_2_Luc97_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex3_2_Luc97_Z | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex3_2_Luc97_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex3_3_25_Bor03_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex3_3_25_Bor03_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex49_GM04_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex4_7_15_Bor03_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex4_7_37_Bor03_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex4_7_37_Bor03_GM | 5.0 | | 5.0 | | 5.0 | |
| | π+ | CeTA | π± | CeTA | π- | CeTA |
|---|
| Transformed_CSR_04/Ex4_7_37_Bor03_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex4_7_56_Bor03_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex4_DLMMU04_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex4_DLMMU04_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex4_DLMMU04_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex4_Zan97_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex4_Zan97_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex4_Zan97_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex5_7_Luc97_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex5_7_Luc97_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex5_7_Luc97_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex5_7_Luc97_Z | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex5_7_Luc97_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex5_DLMMU04_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex5_DLMMU04_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex5_DLMMU04_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex6_15_AEL02_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex6_15_AEL02_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex6_15_AEL02_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex6_15_AEL02_Z | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex6_15_AEL02_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex6_9_Luc02c_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex7_BLR02_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex7_BLR02_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex7_BLR02_iGM | 5.0 | | 5.0 | | 5.0 | |
| | π+ | CeTA | π± | CeTA | π- | CeTA |
|---|
| Transformed_CSR_04/Ex8_BLR02_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex8_BLR02_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex8_BLR02_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex9_Luc04_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex9_Luc04_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/Ex9_Luc04_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/ExAppendixB_AEL03_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/ExAppendixB_AEL03_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/ExAppendixB_AEL03_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/ExIntrod_GM01_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/ExIntrod_GM04_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/ExIntrod_GM99_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/ExIntrod_GM99_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/ExIntrod_GM99_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/ExIntrod_GM99_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/ExIntrod_Zan97_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/ExIntrod_Zan97_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/ExIntrod_Zan97_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/ExIntrod_Zan97_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/ExSec11_1_Luc02a_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/ExSec4_2_DLMMU04_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/ExSec4_2_DLMMU04_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/ExSec4_2_DLMMU04_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LISTUTILITIES_complete-noand_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LISTUTILITIES_complete-noand_Z | 5.0 | | 5.0 | | 5.0 | |
| | π+ | CeTA | π± | CeTA | π- | CeTA |
|---|
| Transformed_CSR_04/LISTUTILITIES_complete_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LISTUTILITIES_complete_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LISTUTILITIES_complete_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LISTUTILITIES_complete_Z | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LISTUTILITIES_complete_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LISTUTILITIES_complete_noand_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LISTUTILITIES_complete_noand_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LISTUTILITIES_nokinds_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LISTUTILITIES_nokinds_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LISTUTILITIES_nokinds_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LISTUTILITIES_nokinds_Z | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LISTUTILITIES_nokinds_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LISTUTILITIES_nosorts_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LISTUTILITIES_nosorts_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LISTUTILITIES_nosorts_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR | 5.0 | | 5.0 | | 5.0 | |
| | π+ | CeTA | π± | CeTA | π- | CeTA |
|---|
| Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LengthOfFiniteLists_complete_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LengthOfFiniteLists_complete_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LengthOfFiniteLists_complete_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LengthOfFiniteLists_complete_Z | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LengthOfFiniteLists_complete_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LengthOfFiniteLists_complete_noand_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LengthOfFiniteLists_nokinds_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LengthOfFiniteLists_nokinds_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LengthOfFiniteLists_nosorts_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/MYNAT_complete-noand_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/MYNAT_complete-noand_Z | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/MYNAT_complete_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/MYNAT_complete_FR | 5.0 | | 5.0 | | 5.0 | |
| | π+ | CeTA | π± | CeTA | π- | CeTA |
|---|
| Transformed_CSR_04/MYNAT_complete_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/MYNAT_complete_Z | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/MYNAT_complete_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/MYNAT_complete_noand_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/MYNAT_complete_noand_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/MYNAT_complete_noand_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/MYNAT_nokinds-noand_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/MYNAT_nokinds-noand_Z | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/MYNAT_nokinds_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/MYNAT_nokinds_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/MYNAT_nokinds_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/MYNAT_nokinds_Z | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/MYNAT_nokinds_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/MYNAT_nokinds_noand_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/MYNAT_nokinds_noand_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/MYNAT_nokinds_noand_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/MYNAT_nosorts_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/MYNAT_nosorts_noand_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/MYNAT_nosorts_noand_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/MYNAT_nosorts_noand_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/OvConsOS_complete-noand_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/OvConsOS_complete-noand_Z | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/OvConsOS_complete_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/OvConsOS_complete_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/OvConsOS_complete_GM | 5.0 | | 5.0 | | 5.0 | |
| | π+ | CeTA | π± | CeTA | π- | CeTA |
|---|
| Transformed_CSR_04/OvConsOS_complete_Z | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/OvConsOS_complete_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/OvConsOS_complete_noand_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/OvConsOS_complete_noand_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/OvConsOS_complete_noand_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/OvConsOS_nokinds-noand_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/OvConsOS_nokinds-noand_Z | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/OvConsOS_nokinds_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/OvConsOS_nokinds_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/OvConsOS_nokinds_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/OvConsOS_nokinds_Z | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/OvConsOS_nokinds_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/OvConsOS_nokinds_noand_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/OvConsOS_nokinds_noand_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/OvConsOS_nokinds_noand_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/OvConsOS_nosorts-noand_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/OvConsOS_nosorts-noand_Z | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/OvConsOS_nosorts_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/OvConsOS_nosorts_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/OvConsOS_nosorts_noand_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/OvConsOS_nosorts_noand_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/OvConsOS_nosorts_noand_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/PALINDROME_complete-noand_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/PALINDROME_complete-noand_Z | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/PALINDROME_complete_C | 5.0 | | 5.0 | | 5.0 | |
| | π+ | CeTA | π± | CeTA | π- | CeTA |
|---|
| Transformed_CSR_04/PALINDROME_complete_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/PALINDROME_complete_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/PALINDROME_complete_Z | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/PALINDROME_complete_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/PALINDROME_complete_noand_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/PALINDROME_complete_noand_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/PALINDROME_complete_noand_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/PALINDROME_nokinds_FR | 5.0 | | 2.1 | 0.2 | 5.0 | |
| Transformed_CSR_04/PALINDROME_nokinds_noand_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/PEANO_complete-noand_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/PEANO_complete-noand_Z | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/PEANO_complete_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/PEANO_complete_FR | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/PEANO_complete_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/PEANO_complete_Z | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/PEANO_complete_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/PEANO_complete_noand_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/PEANO_complete_noand_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/PEANO_complete_noand_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/PEANO_nokinds_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/PEANO_nokinds_FR | 5.0 | | 4.5 | 0.2 | 4.4 | 0.2 |
| Transformed_CSR_04/PEANO_nokinds_iGM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/PEANO_nokinds_noand_C | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/PEANO_nokinds_noand_GM | 5.0 | | 5.0 | | 5.0 | |
| Transformed_CSR_04/PEANO_nokinds_noand_iGM | 5.0 | | 5.0 | | 5.0 | |
| | π+ | CeTA | π± | CeTA | π- | CeTA |
|---|
| Various_04/04 | 2.7 | | 2.7 | | 2.7 | |
| Various_04/05 | 2.5 | | 2.5 | | 2.4 | |
| Various_04/08 | 5.0 | | 5.0 | | 5.0 | |
| Various_04/11 | 1.3 | | 1.3 | | 1.3 | |
| Waldmann_06/jwaprove1 | 5.0 | | 5.0 | | 5.0 | |
| Waldmann_06/jwaprove2 | 5.0 | | 5.0 | | 5.0 | |
| Waldmann_06/jwcime1 | 5.0 | | 5.0 | | 5.0 | |
| Waldmann_06/jwcime2 | 3.7 | | 3.6 | | 3.6 | |
| Waldmann_06/jwno2 | 5.0 | | 5.0 | | 5.0 | |
| Waldmann_06/jwno3 | 4.8 | | 4.9 | | 5.0 | |
| Waldmann_06/jwno5 | 5.0 | | 5.0 | | 5.0 | |
| Waldmann_06/jwno7 | 5.0 | | 5.0 | | 5.0 | |
| Waldmann_06/jwno8 | 5.0 | | 5.0 | | 5.0 | |
| Waldmann_06/jwteparla1 | 5.0 | | 5.0 | | 5.0 | |
| Waldmann_06/jwteparla2 | 5.0 | | 5.0 | | 5.0 | |
| Waldmann_06/jwtpa1 | 1.1 | 0.1 | 1.0 | 0.1 | 4.4 | |
| Zantema_05/z01 | 5.0 | | 5.0 | | 5.0 | |
| Zantema_05/z02 | 3.5 | | 3.5 | | 3.5 | |
| Zantema_05/z09 | 5.0 | | 5.0 | | 5.0 | |
| Zantema_05/z10 | 5.0 | | 5.0 | | 5.0 | |
| Zantema_05/z12 | 5.0 | | 5.0 | | 5.0 | |
| Zantema_05/z13 | 5.0 | | 5.0 | | 5.0 | |
| Zantema_05/z14 | 5.0 | | 5.0 | | 5.0 | |
| Zantema_05/z15 | 5.0 | | 5.0 | | 5.0 | |
| Zantema_05/z16 | 5.0 | | 5.0 | | 5.0 | |
| | π+ | CeTA | π± | CeTA | π- | CeTA |
|---|
| Zantema_05/z17 | 5.0 | | 5.0 | | 5.0 | |
| Zantema_05/z18 | 5.0 | | 5.0 | | 5.0 | |
| Zantema_05/z19 | 5.0 | | 5.0 | | 5.0 | |
| Zantema_05/z20 | 5.0 | | 5.0 | | 5.0 | |
| Zantema_05/z21 | 5.0 | | 5.0 | | 5.0 | |
| Zantema_05/z22 | 5.0 | | 5.0 | | 5.0 | |
| Zantema_05/z23 | 5.0 | | 5.0 | | 5.0 | |
| Zantema_05/z24 | 5.0 | | 5.0 | | 5.0 | |
| Zantema_05/z27 | 1.0 | | 1.0 | | 1.0 | |
| Zantema_05/z28 | 5.0 | | 5.0 | | 5.0 | |
| Zantema_05/z30 | 5.0 | | 5.0 | | 5.0 | |