Certified Termination Analysis 
Overview Developers Input Format Related Work Versions Experiments
Content
introduction subterm criterion matrix (dimension 1) matrix (dimension 2) direct processor

Statistics

 U'1/π+CeTAU'1/π±CeTAU'1/π-CeTAU'2/π+CeTAU'2/π±CeTAU'2/π-CeTA
#yes 16 16 15 15 14 14 22 22 17 17 14 14
total time 64.6 1.8 59.9 1.6 56.4 1.5 85.7 3.1 69.0 2.4 56.7 2.0
average time 4.0 0.1 4.0 0.1 4.0 0.1 3.9 0.1 4.1 0.1 4.1 0.1
#no 0 0 0 0 0 0 0 0 0 0 0 0
total time 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0
average time - - - - - - - - - - - -
#maybe 134 0 135 0 136 0 57 0 50 0 48 0
total time 410.8 0.0 416.3 0.0 420.7 0.0 171.4 0.0 139.4 0.0 129.6 0.0
average time 3.1 - 3.1 - 3.1 - 3.0 - 2.8 - 2.7 -
#timeout 361 0 361 0 361 0 432 0 444 0 449 0
total time 1805.0 0.0 1805.0 0.0 1805.0 0.0 2160.0 0.0 2220.0 0.0 2245.0 0.0
average time 5.0 - 5.0 - 5.0 - 5.0 - 5.0 - 5.0 -
#total 511 16 511 15 511 14 511 22 511 17 511 14
total time 2280.4 1.8 2281.2 1.6 2282.1 1.5 2417.1 3.1 2428.5 2.4 2431.3 2.0

Results

 U'1/π+CeTAU'1/π±CeTAU'1/π-CeTAU'2/π+CeTAU'2/π±CeTAU'2/π-CeTA
AG01/#3.405.0 5.0 5.0 5.0 5.0 5.0 
AG01/#4.30c5.0 5.0 5.0 5.0 5.0 5.0 
AProVE_04/AAECC-ring5.0 5.0 5.0 4.1 4.1 4.1 
AProVE_04/AAECC5.0 5.0 5.0 3.5 3.6 3.5 
AProVE_04/JFP_Ex313.5 3.5 3.5 5.0 5.0 5.0 
AProVE_04/Liveness6.45.0 5.0 5.0 5.0 5.0 5.0 
AProVE_04/forward_instantiation0.6 0.7 0.6 5.0 5.0 5.0 
AProVE_04/forward_instantiation20.6 0.6 0.7 5.0 5.0 5.0 
AProVE_06/div_notCeTermin5.0 5.0 5.0 5.0 5.0 5.0 
AProVE_06/div_notTermin5.0 5.0 5.0 5.0 5.0 5.0 
AProVE_06/factorial25.0 5.0 5.0 5.0 5.0 5.0 
AProVE_06/identity5.0 5.0 5.0 5.0 5.0 5.0 
AProVE_06/logarithm5.0 5.0 5.0 5.0 5.0 5.0 
AProVE_06/mapHard4.50.14.40.14.40.14.40.14.40.14.40.1
AProVE_06/modulo5.0 5.0 5.0 5.0 5.0 5.0 
AProVE_06/quot5.0 5.0 5.0 2.7 2.7 2.7 
AProVE_06/tower_sizeChange3.4 3.4 3.4 3.80.13.80.15.0 
AProVE_07/kabasci014.4 4.4 4.4 5.0 5.0 5.0 
AProVE_07/kabasci065.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/otto015.0 5.0 5.0 3.80.15.0 5.0 
AProVE_07/otto023.1 3.0 3.0 5.0 5.0 5.0 
AProVE_07/otto035.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/otto043.2 3.1 3.1 5.0 5.0 5.0 
AProVE_07/otto063.2 3.2 3.2 5.0 5.0 5.0 
AProVE_07/otto072.5 2.5 2.6 5.0 5.0 5.0 
 U'1/π+CeTAU'1/π±CeTAU'1/π-CeTAU'2/π+CeTAU'2/π±CeTAU'2/π-CeTA
AProVE_07/otto085.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/otto092.7 2.7 2.7 5.0 5.0 5.0 
AProVE_07/otto105.0 5.0 5.0 2.9 2.9 2.9 
AProVE_07/otto115.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/otto125.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/otto132.9 2.9 3.0 5.0 5.0 5.0 
AProVE_07/thiemann015.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/thiemann025.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/thiemann035.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/thiemann045.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/thiemann055.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/thiemann065.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/thiemann075.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/thiemann095.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/thiemann115.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/thiemann135.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/thiemann195.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/thiemann205.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/thiemann215.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/thiemann225.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/thiemann235.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/thiemann245.0 5.0 5.0 4.9 5.0 5.0 
AProVE_07/thiemann255.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/thiemann262.7 2.8 2.7 5.0 5.0 5.0 
AProVE_07/thiemann275.0 5.0 5.0 5.0 5.0 5.0 
 U'1/π+CeTAU'1/π±CeTAU'1/π-CeTAU'2/π+CeTAU'2/π±CeTAU'2/π-CeTA
AProVE_07/thiemann282.8 2.8 2.8 5.0 5.0 5.0 
AProVE_07/thiemann295.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/thiemann305.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/thiemann315.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/thiemann325.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/thiemann335.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/thiemann345.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/thiemann355.00.15.0 5.0 5.0 5.0 5.0 
AProVE_07/thiemann365.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/thiemann375.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/thiemann382.8 2.8 2.8 5.0 5.0 5.0 
AProVE_07/thiemann395.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/thiemann415.0 5.0 5.0 5.0 5.0 5.0 
AProVE_07/wiehe075.0 5.0 5.0 4.4 4.4 4.5 
AProVE_08/log5.0 5.0 5.0 5.0 5.0 5.0 
AProVE_08/parting01_reverse5.0 5.0 5.0 5.0 5.0 5.0 
AProVE_08/parting02_doublelist5.0 5.0 5.0 5.0 5.0 5.0 
AProVE_08/parting03_minsort5.0 5.0 5.0 5.0 5.0 5.0 
AProVE_08/parting04_maxsort_h5.0 5.0 5.0 5.0 5.0 5.0 
AProVE_08/parting05_maxsort5.0 5.0 5.0 5.0 5.0 5.0 
AProVE_08/round5.0 5.0 5.0 4.7 4.7 5.0 
AProVE_09_Inductive/div5.0 5.0 5.0 5.0 5.0 5.0 
AProVE_09_Inductive/divhard5.0 5.0 5.0 5.0 5.0 5.0 
AProVE_09_Inductive/gcd5.0 5.0 5.0 5.0 5.0 5.0 
AProVE_09_Inductive/gcd25.0 5.0 5.0 5.0 5.0 5.0 
 U'1/π+CeTAU'1/π±CeTAU'1/π-CeTAU'2/π+CeTAU'2/π±CeTAU'2/π-CeTA
AProVE_09_Inductive/gcdhard5.0 5.0 5.0 5.0 5.0 5.0 
AProVE_09_Inductive/log5.0 5.0 5.0 5.0 5.0 5.0 
AProVE_09_Inductive/maxsort5.0 5.0 5.0 5.0 5.0 5.0 
AProVE_09_Inductive/maxsortcondition5.0 5.0 5.0 5.0 5.0 5.0 
AProVE_09_Inductive/minsort5.0 5.0 5.0 5.0 5.0 5.0 
AProVE_09_Inductive/mod5.0 5.0 5.0 5.0 5.0 5.0 
AProVE_09_Inductive/qsort5.0 5.0 5.0 5.0 5.0 5.0 
AProVE_09_Inductive/qsortlast5.0 5.0 5.0 5.0 5.0 5.0 
AProVE_09_Inductive/qsortmiddle5.0 5.0 5.0 3.7 3.7 3.7 
AProVE_09_Inductive/zerolist5.0 5.0 5.0 5.0 5.0 5.0 
AProVE_10/Zantema06-03-modified5.0 5.0 5.0 5.0 5.0 5.0 
AProVE_10/andIsNat2.6 2.6 2.6 5.0 5.0 5.0 
AProVE_10/challenge_fab5.0 5.0 5.0 5.0 5.0 5.0 
AProVE_10/double5.0 5.0 5.0 5.0 5.0 5.0 
AProVE_10/downfrom5.0 5.0 5.0 5.0 5.0 5.0 
AProVE_10/ex15.0 5.0 5.0 5.0 5.0 5.0 
AProVE_10/ex25.0 5.0 5.0 5.0 5.0 5.0 
AProVE_10/ex32.5 2.5 2.5 4.2 5.0 5.0 
AProVE_10/ex42.7 2.7 2.7 5.0 5.0 5.0 
AProVE_10/halfdouble5.0 5.0 5.0 5.0 5.0 5.0 
AProVE_10/isNat5.0 5.0 5.0 5.0 5.0 5.0 
AotoYamada_05/0105.0 5.0 5.0 5.0 5.00.25.0 
AotoYamada_05/0114.10.14.00.14.10.15.0 4.20.24.10.1
AotoYamada_05/Ex5TermProof5.0 5.0 5.0 5.0 5.0 5.0 
Applicative_05/Ex10Functional5.0 5.0 5.0 5.0 5.0 5.0 
 U'1/π+CeTAU'1/π±CeTAU'1/π-CeTAU'2/π+CeTAU'2/π±CeTAU'2/π-CeTA
Applicative_05/Ex2PrimRec2.6 2.6 2.6 5.0 5.0 5.0 
Applicative_05/Ex5Folding5.0 5.0 5.0 5.0 5.0 5.0 
Applicative_05/Ex5Sorting5.0 5.0 5.0 5.0 5.0 5.0 
Applicative_05/Ex6Folding5.0 5.0 5.0 5.0 5.0 5.0 
Applicative_05/Ex6Recursor5.0 5.0 5.0 5.0 5.0 5.0 
Applicative_05/Ex7OrdinalRec5.0 5.0 5.0 5.0 5.0 5.0 
Applicative_05/Ex7Sorting5.0 5.0 5.0 5.0 5.0 5.0 
Applicative_05/Ex7_94.10.14.10.14.10.14.10.14.10.14.10.1
Applicative_05/Ex9Maps5.0 5.0 5.0 5.0 5.0 5.0 
Applicative_05/mapDivMinus3.30.13.30.13.30.13.30.13.30.13.30.1
Applicative_05/mapDivMinusHard5.0 5.0 5.0 5.0 5.0 5.0 
Applicative_first_order_05/#3.105.0 5.0 5.0 5.0 5.0 5.0 
Applicative_first_order_05/#3.135.0 5.0 5.0 5.0 5.0 5.0 
Applicative_first_order_05/#3.184.20.14.10.14.20.14.50.24.60.24.10.2
Applicative_first_order_05/#3.23.70.13.70.13.70.13.70.13.70.13.70.1
Applicative_first_order_05/#3.224.30.14.30.14.40.14.30.24.40.24.30.2
Applicative_first_order_05/#3.253.40.13.40.13.40.13.40.13.40.13.70.1
Applicative_first_order_05/#3.364.20.14.30.14.20.14.50.23.90.24.30.2
Applicative_first_order_05/#3.383.80.13.90.13.90.13.90.23.90.23.90.2
Applicative_first_order_05/#3.405.0 5.0 5.0 5.0 5.0 5.0 
Applicative_first_order_05/#3.555.0 5.0 5.0 5.0 5.0 5.0 
Applicative_first_order_05/#3.575.0 5.0 5.0 5.0 5.0 5.0 
Applicative_first_order_05/#3.64.70.24.70.24.70.24.70.24.70.24.80.2
Applicative_first_order_05/#3.85.0 5.0 5.0 5.0 5.0 5.0 
Applicative_first_order_05/135.0 5.0 5.0 5.0 5.0 5.0 
 U'1/π+CeTAU'1/π±CeTAU'1/π-CeTAU'2/π+CeTAU'2/π±CeTAU'2/π-CeTA
Applicative_first_order_05/213.20.13.30.13.20.13.20.13.30.13.20.1
Applicative_first_order_05/313.4 3.5 3.6 3.70.15.0 5.0 
Applicative_first_order_05/335.0 5.0 5.0 5.0 5.0 5.0 
Applicative_first_order_05/minsort5.0 5.0 5.0 5.0 5.0 5.0 
Applicative_first_order_05/perfect25.0 5.0 5.0 5.0 5.0 5.0 
Beerendonk_07/115.0 5.0 5.0 5.0 5.0 5.0 
Beerendonk_07/125.0 5.0 5.0 5.0 5.0 5.0 
Beerendonk_07/135.0 5.0 5.0 5.0 5.0 5.0 
Beerendonk_07/145.0 5.0 5.0 5.0 5.0 5.0 
Beerendonk_07/155.0 5.0 5.0 5.0 5.0 5.0 
Beerendonk_07/165.0 5.0 5.0 5.0 5.0 5.0 
Beerendonk_07/175.0 5.0 5.0 5.0 5.0 5.0 
Beerendonk_07/185.0 5.0 5.0 5.0 5.0 5.0 
Beerendonk_07/195.0 5.0 5.0 5.0 5.0 5.0 
Beerendonk_07/205.0 5.0 5.0 5.0 5.0 5.0 
Beerendonk_07/215.0 5.0 5.0 5.0 5.0 5.0 
Beerendonk_07/245.0 5.0 5.0 5.0 5.0 5.0 
Beerendonk_07/35.0 5.0 5.0 5.0 5.0 5.0 
Beerendonk_07/45.0 5.0 5.0 5.0 5.0 5.0 
CiME_04/fact-hard2.8 2.8 2.9 2.8 2.8 2.8 
CiME_04/maude25.0 5.0 5.0 5.0 5.0 5.0 
Der95/132.7 2.7 2.7 2.7 2.7 2.7 
Der95/333.0 3.0 3.0 3.0 3.0 3.1 
Endrullis_06/labeling2.5 2.5 2.5 5.0 5.0 5.0 
Endrullis_06/pair2simple25.0 5.0 5.0 4.8 4.8 5.0 
 U'1/π+CeTAU'1/π±CeTAU'1/π-CeTAU'2/π+CeTAU'2/π±CeTAU'2/π-CeTA
Endrullis_06/pair3hard2.8 2.8 2.7 5.0 5.0 5.0 
GTSSK07/cade015.0 5.0 5.0 5.0 5.0 5.0 
GTSSK07/cade032.6 2.9 2.6 3.8 5.0 5.0 
GTSSK07/cade04t2.6 2.6 2.6 2.6 2.6 2.6 
GTSSK07/cade05t5.0 5.0 5.0 5.0 5.0 5.0 
GTSSK07/cade065.0 5.0 5.0 5.0 5.0 5.0 
GTSSK07/cade075.0 5.0 5.0 5.0 5.0 5.0 
GTSSK07/cade085.0 5.0 5.0 5.0 5.0 5.0 
GTSSK07/cade095.0 5.0 5.0 5.0 5.0 5.0 
GTSSK07/cade105.0 5.0 5.0 5.0 5.0 5.0 
GTSSK07/cade115.0 5.0 5.0 5.0 5.0 5.0 
GTSSK07/cade12t5.0 5.0 5.0 5.0 5.0 5.0 
GTSSK07/cade13t2.8 2.8 2.8 4.9 5.0 5.0 
GTSSK07/cade145.0 5.0 5.0 5.0 5.0 5.0 
GTSSK07/cade155.0 5.0 5.0 5.0 5.0 5.0 
GTSSK07/cade162.7 2.7 2.7 5.0 5.0 5.0 
GTSSK07/cade175.0 5.0 5.0 5.0 5.0 5.0 
HirokawaMiddeldorp_04/t0025.0 5.0 5.0 3.10.15.0 5.0 
HirokawaMiddeldorp_04/t0095.0 5.0 5.0 5.0 5.0 5.0 
MNZ_10/05.0 5.0 5.0 5.0 5.0 5.0 
MNZ_10/35.0 5.0 5.0 5.0 5.0 5.0 
MNZ_10/45.0 5.0 5.0 5.0 5.0 5.0 
MNZ_10/55.0 5.0 5.0 5.0 5.0 5.0 
MNZ_10/65.0 5.0 5.0 5.0 5.0 5.0 
MNZ_10/75.0 5.0 5.0 5.0 5.0 5.0 
 U'1/π+CeTAU'1/π±CeTAU'1/π-CeTAU'2/π+CeTAU'2/π±CeTAU'2/π-CeTA
MNZ_10/85.0 5.0 5.0 5.0 5.0 5.0 
MNZ_10/95.0 5.0 5.0 5.0 5.0 5.0 
MNZ_10/labelled5.0 5.0 5.0 5.0 5.0 5.0 
MNZ_10/nrvsq5.0 5.0 5.0 5.0 5.0 5.0 
MNZ_10/nvsr5.0 5.0 5.0 5.0 5.0 5.0 
Mixed_TRS/65.0 5.0 5.0 5.0 5.0 5.0 
Mixed_TRS/75.0 5.0 5.0 5.0 5.0 5.0 
Mixed_TRS/beans4.1 4.0 4.1 5.0 5.0 5.0 
Mixed_TRS/gcdMinMax5.0 5.0 5.0 5.0 5.0 5.0 
Mixed_TRS/hydra-Zantema065.0 5.0 5.0 5.0 5.0 5.0 
Mixed_TRS/minsort5.0 5.0 5.0 5.0 5.0 5.0 
Mixed_TRS/while5.0 5.0 5.0 5.0 5.0 5.0 
Mixed_TRS/while23.0 3.0 3.0 5.0 5.0 5.0 
SK90/4.023.0 3.0 3.0 3.0 3.0 3.0 
SK90/4.550.5 0.5 0.5 0.5 0.5 0.5 
Secret_05_TRS/aprove14.60.14.60.14.60.14.70.14.70.14.70.1
Secret_05_TRS/aprove22.8 2.8 2.8 5.0 5.0 5.0 
Secret_05_TRS/aprove33.0 3.0 3.0 5.0 5.0 5.0 
Secret_05_TRS/aprove45.0 5.0 5.0 5.0 5.0 5.0 
Secret_05_TRS/aprove55.0 5.0 5.0 5.0 5.0 5.0 
Secret_05_TRS/cime15.0 5.0 5.0 5.0 5.0 5.0 
Secret_05_TRS/cime22.9 2.9 2.9 5.0 5.0 5.0 
Secret_05_TRS/cime35.0 5.0 4.1 5.0 5.0 5.0 
Secret_05_TRS/cime40.8 0.8 0.8 5.0 5.0 5.0 
Secret_05_TRS/cime55.0 5.0 5.0 5.0 5.0 5.0 
 U'1/π+CeTAU'1/π±CeTAU'1/π-CeTAU'2/π+CeTAU'2/π±CeTAU'2/π-CeTA
Secret_05_TRS/matchbox12.4 2.4 2.4 5.0 5.0 5.0 
Secret_05_TRS/teparla12.7 2.7 2.7 4.8 5.0 5.0 
Secret_05_TRS/teparla22.7 2.7 2.7 2.7 2.7 2.7 
Secret_05_TRS/teparla32.7 2.7 2.7 2.7 2.7 2.7 
Secret_05_TRS/tpa15.0 5.0 5.0 5.0 5.0 5.0 
Secret_05_TRS/tpa35.0 5.0 5.0 5.0 5.0 5.0 
Secret_05_TRS/tpa45.0 5.0 5.0 5.0 5.0 5.0 
Secret_05_TRS/tpa55.0 5.0 5.0 5.0 5.0 5.0 
Secret_06_TRS/35.0 5.0 5.0 5.0 5.0 5.0 
Secret_06_TRS/addList5.0 5.0 5.0 5.0 5.0 5.0 
Secret_06_TRS/cime15.0 5.0 5.0 5.0 5.0 5.0 
Secret_06_TRS/divExp5.0 5.0 5.0 1.3 1.2 1.3 
Secret_06_TRS/division2.8 2.8 2.8 4.9 5.0 5.0 
Secret_06_TRS/double5.0 5.0 5.0 3.4 3.4 3.4 
Secret_06_TRS/logarithm3.40.13.40.15.0 3.90.23.40.15.0 
Secret_06_TRS/nrOfNodes2.9 2.9 2.9 5.0 5.0 5.0 
Secret_06_TRS/times5.0 4.9 4.9 5.0 5.0 5.0 
Secret_06_TRS/toList5.0 5.0 5.0 5.0 5.0 5.0 
Secret_06_TRS/tpa012.6 2.6 2.6 2.6 2.6 2.6 
Secret_06_TRS/tpa022.6 2.7 2.6 2.6 2.7 2.6 
Secret_06_TRS/tpa032.7 2.7 2.7 2.7 2.6 2.7 
Secret_06_TRS/tpa045.0 5.0 5.0 5.0 5.0 5.0 
Secret_06_TRS/tpa055.0 5.0 5.0 5.0 5.0 5.0 
Secret_06_TRS/tpa063.4 3.3 3.3 5.0 5.0 5.0 
Secret_06_TRS/tpa075.0 5.0 5.0 5.0 5.0 5.0 
 U'1/π+CeTAU'1/π±CeTAU'1/π-CeTAU'2/π+CeTAU'2/π±CeTAU'2/π-CeTA
Secret_06_TRS/tpa085.0 5.0 5.0 5.0 5.0 5.0 
Secret_06_TRS/tpa095.0 5.0 5.0 5.0 5.0 5.0 
Secret_06_TRS/tpa105.0 5.0 5.0 4.30.15.0 5.0 
Secret_07_TRS/14.2 4.1 4.3 5.0 5.0 5.0 
Secret_07_TRS/25.0 5.0 5.0 5.0 5.0 5.0 
Secret_07_TRS/35.0 5.0 5.0 5.0 5.0 5.0 
Secret_07_TRS/45.0 5.0 5.0 5.0 5.0 5.0 
Secret_07_TRS/55.0 5.0 5.0 5.0 5.0 5.0 
Secret_07_TRS/72.9 3.0 3.3 5.0 5.0 5.0 
Secret_07_TRS/aprove015.0 5.0 5.0 5.0 5.0 5.0 
Secret_07_TRS/aprove023.9 3.9 3.9 5.0 5.0 5.0 
Secret_07_TRS/aprove035.0 5.0 5.0 5.0 5.0 5.0 
Secret_07_TRS/aprove045.0 5.0 5.0 5.0 5.0 5.0 
Secret_07_TRS/aprove055.0 5.0 5.0 5.0 5.0 5.0 
Secret_07_TRS/aprove065.0 5.0 5.0 5.0 5.0 5.0 
Secret_07_TRS/aprove075.0 5.0 5.0 5.0 5.0 5.0 
Secret_07_TRS/aprove085.0 5.0 5.0 5.0 5.0 5.0 
Secret_07_TRS/aprove095.0 5.0 5.0 5.0 5.0 5.0 
Secret_07_TRS/aprove105.0 5.0 5.0 5.0 5.0 5.0 
Strategy_removed_AG01/#4.130.6 0.6 0.6 5.0 5.0 5.0 
Strategy_removed_AG01/#4.192.7 2.7 2.7 2.8 2.7 2.7 
Strategy_removed_AG01/#4.250.7 0.7 0.7 0.7 0.7 0.7 
Strategy_removed_AG01/#4.30.6 0.6 0.6 5.0 5.0 5.0 
Strategy_removed_AG01/#4.305.0 5.0 5.0 5.0 5.0 5.0 
Strategy_removed_AG01/#4.30a5.0 5.0 5.0 2.90.15.0 5.0 
 U'1/π+CeTAU'1/π±CeTAU'1/π-CeTAU'2/π+CeTAU'2/π±CeTAU'2/π-CeTA
Strategy_removed_AG01/#4.30b5.0 5.0 5.0 3.50.15.0 5.0 
Strategy_removed_AG01/#4.30c5.0 5.0 5.0 3.70.25.0 5.0 
Strategy_removed_CSR_05/Ex24_GM040.5 0.6 0.5 0.5 0.5 0.6 
Strategy_removed_mixed_05/bn1112.4 2.4 2.4 2.4 2.4 2.4 
Strategy_removed_mixed_05/test762.5 2.5 2.5 5.0 5.0 5.0 
Strategy_removed_mixed_05/test772.1 2.2 2.2 5.0 5.0 5.0 
Strategy_removed_mixed_05/toyama0.6 0.6 0.6 5.0 5.0 5.0 
TCT_09/nonmultrec5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex14_AEGL02_FR2.7 2.7 2.8 5.0 5.0 5.0 
Transformed_CSR_04/Ex14_Luc06_C3.7 3.7 3.7 5.0 5.0 5.0 
Transformed_CSR_04/Ex14_Luc06_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex16_Luc06_C3.5 3.5 3.5 5.0 5.0 5.0 
Transformed_CSR_04/Ex16_Luc06_iGM3.6 3.6 3.6 5.0 5.0 5.0 
Transformed_CSR_04/Ex1_2_AEL03_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex1_2_AEL03_GM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex1_2_AEL03_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex1_GL02a_C4.0 4.0 4.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex1_GL02a_FR4.6 4.5 4.5 5.0 5.0 5.0 
Transformed_CSR_04/Ex1_GL02a_Z3.7 3.7 3.7 5.0 5.0 5.0 
Transformed_CSR_04/Ex1_GM03_C4.2 4.2 4.2 5.0 5.0 5.0 
Transformed_CSR_04/Ex1_GM03_FR5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex1_GM03_GM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex1_GM03_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex1_GM99_C3.5 3.5 3.5 5.0 5.0 5.0 
Transformed_CSR_04/Ex1_GM99_GM2.8 2.9 2.9 5.0 5.0 5.0 
 U'1/π+CeTAU'1/π±CeTAU'1/π-CeTAU'2/π+CeTAU'2/π±CeTAU'2/π-CeTA
Transformed_CSR_04/Ex1_GM99_iGM3.1 3.1 3.1 5.0 5.0 5.0 
Transformed_CSR_04/Ex1_Luc02b_C4.2 4.1 4.1 5.0 5.0 5.0 
Transformed_CSR_04/Ex1_Luc02b_GM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex1_Luc02b_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex24_GM04_C3.6 3.6 3.6 5.0 5.0 5.0 
Transformed_CSR_04/Ex24_GM04_FR1.8 1.9 1.8 1.8 1.9 1.9 
Transformed_CSR_04/Ex24_GM04_GM0.7 0.7 0.7 0.7 0.7 0.7 
Transformed_CSR_04/Ex24_GM04_iGM3.6 3.6 3.6 5.0 5.0 5.0 
Transformed_CSR_04/Ex24_Luc06_iGM3.9 3.9 3.9 5.0 5.0 5.0 
Transformed_CSR_04/Ex26_Luc03b_FR5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex2_Luc02a_GM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex3_12_Luc96a_C3.8 3.8 3.8 5.0 5.0 5.0 
Transformed_CSR_04/Ex3_12_Luc96a_GM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex3_12_Luc96a_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex3_2_Luc97_C4.4 4.4 4.4 5.0 5.0 5.0 
Transformed_CSR_04/Ex3_2_Luc97_FR5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex3_2_Luc97_GM4.8 4.8 4.8 5.0 5.0 5.0 
Transformed_CSR_04/Ex3_2_Luc97_Z5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex3_2_Luc97_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex3_3_25_Bor03_FR5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex3_3_25_Bor03_GM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex49_GM04_FR5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex4_7_15_Bor03_C3.7 3.7 3.7 5.0 5.0 5.0 
Transformed_CSR_04/Ex4_7_37_Bor03_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex4_7_37_Bor03_GM5.0 5.0 5.0 5.0 5.0 5.0 
 U'1/π+CeTAU'1/π±CeTAU'1/π-CeTAU'2/π+CeTAU'2/π±CeTAU'2/π-CeTA
Transformed_CSR_04/Ex4_7_37_Bor03_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex4_7_56_Bor03_C3.8 3.8 3.8 5.0 5.0 5.0 
Transformed_CSR_04/Ex4_DLMMU04_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex4_DLMMU04_GM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex4_DLMMU04_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex4_Zan97_C4.0 4.0 4.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex4_Zan97_GM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex4_Zan97_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex5_7_Luc97_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex5_7_Luc97_FR5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex5_7_Luc97_GM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex5_7_Luc97_Z5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex5_7_Luc97_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex5_DLMMU04_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex5_DLMMU04_FR5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex5_DLMMU04_GM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex6_15_AEL02_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex6_15_AEL02_FR5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex6_15_AEL02_GM4.1 4.1 4.1 5.0 5.0 5.0 
Transformed_CSR_04/Ex6_15_AEL02_Z5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex6_15_AEL02_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex6_9_Luc02c_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex7_BLR02_C4.8 4.8 4.8 5.0 5.0 5.0 
Transformed_CSR_04/Ex7_BLR02_GM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex7_BLR02_iGM5.0 5.0 5.0 5.0 5.0 5.0 
 U'1/π+CeTAU'1/π±CeTAU'1/π-CeTAU'2/π+CeTAU'2/π±CeTAU'2/π-CeTA
Transformed_CSR_04/Ex8_BLR02_C4.8 4.8 4.8 5.0 5.0 5.0 
Transformed_CSR_04/Ex8_BLR02_GM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex8_BLR02_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/Ex9_Luc04_C3.5 3.6 3.5 5.0 5.0 5.0 
Transformed_CSR_04/Ex9_Luc04_GM3.0 3.1 2.8 5.0 5.0 5.0 
Transformed_CSR_04/Ex9_Luc04_iGM3.7 3.8 3.7 5.0 5.0 5.0 
Transformed_CSR_04/ExAppendixB_AEL03_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/ExAppendixB_AEL03_GM4.4 4.4 4.4 5.0 5.0 5.0 
Transformed_CSR_04/ExAppendixB_AEL03_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/ExIntrod_GM01_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/ExIntrod_GM04_FR4.4 4.4 4.4 5.0 5.0 5.0 
Transformed_CSR_04/ExIntrod_GM99_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/ExIntrod_GM99_FR5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/ExIntrod_GM99_GM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/ExIntrod_GM99_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/ExIntrod_Zan97_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/ExIntrod_Zan97_FR5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/ExIntrod_Zan97_GM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/ExIntrod_Zan97_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/ExSec11_1_Luc02a_GM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/ExSec4_2_DLMMU04_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/ExSec4_2_DLMMU04_GM4.0 4.0 4.0 5.0 5.0 5.0 
Transformed_CSR_04/ExSec4_2_DLMMU04_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_complete-noand_FR5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_complete-noand_Z5.0 5.0 5.0 5.0 5.0 5.0 
 U'1/π+CeTAU'1/π±CeTAU'1/π-CeTAU'2/π+CeTAU'2/π±CeTAU'2/π-CeTA
Transformed_CSR_04/LISTUTILITIES_complete_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_complete_FR5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_complete_GM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_complete_Z5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_complete_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_complete_noand_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nokinds_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nokinds_FR5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nokinds_GM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nokinds_Z5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nokinds_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nosorts_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nosorts_GM4.2 4.2 4.2 5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nosorts_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR5.0 5.0 5.0 5.0 5.0 5.0 
 U'1/π+CeTAU'1/π±CeTAU'1/π-CeTAU'2/π+CeTAU'2/π±CeTAU'2/π-CeTA
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_complete_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_complete_FR5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_complete_GM4.1 4.1 4.1 5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_complete_Z5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_complete_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_nokinds_C4.7 4.7 4.7 5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_nokinds_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C3.8 3.7 3.7 5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C3.9 3.9 4.0 5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_complete-noand_FR5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_complete-noand_Z5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_complete_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_complete_FR5.0 5.0 5.0 5.0 5.0 5.0 
 U'1/π+CeTAU'1/π±CeTAU'1/π-CeTAU'2/π+CeTAU'2/π±CeTAU'2/π-CeTA
Transformed_CSR_04/MYNAT_complete_GM4.2 4.2 4.2 5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_complete_Z5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_complete_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_complete_noand_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_complete_noand_GM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_complete_noand_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_nokinds-noand_FR5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_nokinds-noand_Z5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_nokinds_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_nokinds_FR5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_nokinds_GM3.7 3.7 3.7 5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_nokinds_Z5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_nokinds_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_nokinds_noand_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_nokinds_noand_GM4.2 4.1 4.2 5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_nokinds_noand_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_nosorts_GM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_nosorts_noand_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_nosorts_noand_GM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_nosorts_noand_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_complete-noand_FR5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_complete-noand_Z5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_complete_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_complete_FR5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_complete_GM4.5 4.5 4.5 5.0 5.0 5.0 
 U'1/π+CeTAU'1/π±CeTAU'1/π-CeTAU'2/π+CeTAU'2/π±CeTAU'2/π-CeTA
Transformed_CSR_04/OvConsOS_complete_Z5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_complete_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_complete_noand_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_complete_noand_GM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_complete_noand_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nokinds-noand_FR5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nokinds-noand_Z5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nokinds_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nokinds_FR5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nokinds_GM3.7 3.7 3.7 5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nokinds_Z5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nokinds_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nokinds_noand_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nokinds_noand_GM4.5 4.5 4.5 5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nokinds_noand_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nosorts-noand_FR5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nosorts-noand_Z5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nosorts_C4.0 4.0 4.0 5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nosorts_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nosorts_noand_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nosorts_noand_GM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nosorts_noand_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/PALINDROME_complete-noand_FR5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/PALINDROME_complete-noand_Z5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/PALINDROME_complete_C5.0 5.0 5.0 5.0 5.0 5.0 
 U'1/π+CeTAU'1/π±CeTAU'1/π-CeTAU'2/π+CeTAU'2/π±CeTAU'2/π-CeTA
Transformed_CSR_04/PALINDROME_complete_FR5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/PALINDROME_complete_GM4.4 4.4 4.4 5.0 5.0 5.0 
Transformed_CSR_04/PALINDROME_complete_Z5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/PALINDROME_complete_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/PALINDROME_complete_noand_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/PALINDROME_complete_noand_GM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/PALINDROME_complete_noand_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/PALINDROME_nokinds_FR5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/PALINDROME_nokinds_noand_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/PEANO_complete-noand_FR5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/PEANO_complete-noand_Z5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/PEANO_complete_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/PEANO_complete_FR5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/PEANO_complete_GM3.8 3.8 3.8 5.0 5.0 5.0 
Transformed_CSR_04/PEANO_complete_Z5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/PEANO_complete_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/PEANO_complete_noand_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/PEANO_complete_noand_GM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/PEANO_complete_noand_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/PEANO_nokinds_C4.5 4.5 4.5 5.0 5.0 5.0 
Transformed_CSR_04/PEANO_nokinds_FR4.20.14.30.14.20.14.20.14.20.14.20.1
Transformed_CSR_04/PEANO_nokinds_iGM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/PEANO_nokinds_noand_C5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/PEANO_nokinds_noand_GM5.0 5.0 5.0 5.0 5.0 5.0 
Transformed_CSR_04/PEANO_nokinds_noand_iGM5.0 5.0 5.0 5.0 5.0 5.0 
 U'1/π+CeTAU'1/π±CeTAU'1/π-CeTAU'2/π+CeTAU'2/π±CeTAU'2/π-CeTA
Various_04/042.7 2.5 2.7 5.0 5.0 5.0 
Various_04/052.5 2.5 2.5 5.0 5.0 5.0 
Various_04/083.0 3.0 3.0 5.0 5.0 5.0 
Various_04/111.3 1.3 1.3 5.0 5.0 5.0 
Waldmann_06/jwaprove12.6 2.6 2.6 2.6 2.6 2.6 
Waldmann_06/jwaprove25.0 5.0 5.0 5.0 5.0 5.0 
Waldmann_06/jwcime12.6 2.6 2.6 2.6 2.6 2.6 
Waldmann_06/jwcime22.5 2.5 2.5 2.5 2.5 2.5 
Waldmann_06/jwno22.6 2.5 2.5 2.5 2.5 2.5 
Waldmann_06/jwno35.0 5.0 5.0 5.0 5.0 5.0 
Waldmann_06/jwno52.5 2.5 2.5 2.5 2.5 2.5 
Waldmann_06/jwno72.6 2.6 2.6 2.6 2.6 2.6 
Waldmann_06/jwno82.6 2.6 2.6 2.6 2.6 2.6 
Waldmann_06/jwteparla12.7 2.7 2.7 2.7 2.7 2.7 
Waldmann_06/jwteparla25.0 5.0 5.0 5.0 5.0 5.0 
Waldmann_06/jwtpa15.0 5.0 5.0 5.0 5.0 5.0 
Zantema_05/z015.0 5.0 5.0 5.0 5.0 5.0 
Zantema_05/z022.5 2.5 2.5 2.5 2.5 2.5 
Zantema_05/z092.7 2.7 2.7 5.0 5.0 5.0 
Zantema_05/z102.7 2.7 2.7 5.0 5.0 5.0 
Zantema_05/z123.5 3.5 3.5 3.5 3.5 3.5 
Zantema_05/z133.4 3.4 3.4 3.4 3.4 3.4 
Zantema_05/z143.1 3.1 3.2 3.1 3.1 3.1 
Zantema_05/z153.1 3.2 3.1 3.1 3.1 3.1 
Zantema_05/z163.4 3.4 3.4 3.4 3.4 3.4 
 U'1/π+CeTAU'1/π±CeTAU'1/π-CeTAU'2/π+CeTAU'2/π±CeTAU'2/π-CeTA
Zantema_05/z173.4 3.4 3.4 3.4 3.4 3.4 
Zantema_05/z183.3 3.3 3.3 3.3 3.3 3.2 
Zantema_05/z193.1 3.1 3.1 3.1 3.1 3.1 
Zantema_05/z202.9 3.0 3.0 3.0 3.2 3.0 
Zantema_05/z213.1 3.0 3.5 3.0 3.0 3.0 
Zantema_05/z223.5 3.7 3.3 3.2 3.2 3.2 
Zantema_05/z233.5 3.5 3.5 3.5 3.5 3.5 
Zantema_05/z243.5 3.5 3.5 3.5 3.5 3.5 
Zantema_05/z270.9 0.9 0.9 1.0 1.0 0.9 
Zantema_05/z285.0 5.0 5.0 5.0 5.0 5.0 
Zantema_05/z305.0 5.0 5.0 5.0 5.0 5.0