A Unified Ordering for Termination Proving

This page provides information of experiments in this article.

Below a summary table there are detailed results that contain a proof for each TRS and method.

Please choose experiment mode:

Summary

counting...

Details

Problem full-run2013 POLOs POLOsm LPO KBO WPOs+ WPOs WPOm WPOsm POLOp POLOpm TKBO WPOp WPOpm POLO+LPO+KBO
AG01/3.12.trs YES 0.02 0.01 0.01 0.03 0.01 0.02 0.02 0.02 0.05 0.02 0.04 0.09 0.09 0.04
AG01/3.15.trs YES 0.01 0.01 0.01 0.02 0.01 0.02 0.01 0.02 0.02 0.02 0.03 0.15 0.15 0.02
AG01/3.17.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.05 0.05 0.18 0.33 0.32 0.03
AG01/3.17a.trs YES 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02 0.07 0.07 0.29 0.52 0.52 0.03
AG01/3.24.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02
AG01/3.26.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.03 0.02 0.02
AG01/3.33.trs YES 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.04 0.04 0.10 0.41 0.41 0.02
AG01/3.35.trs YES 0.01 0.01 0.01 0.02 0.01 0.02 0.01 0.01 0.02 0.02 0.02 0.07 0.07 0.02
AG01/3.37.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.03 0.02 0.03 0.05 0.05 0.02
AG01/3.49.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.03 0.03 0.07 0.18 0.18 0.02
AG01/3.51.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.03 0.03 0.03 0.02
AG01/3.56.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.03 0.03 0.06 0.02 0.02 0.02
AG01/3.7.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.04 0.04 0.06 0.03 0.03 0.02
AotoYamada_05/005.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.02 0.04 0.35 0.35 0.02
AotoYamada_05/017.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.05 0.05 0.01
AotoYamada_05/023.trs YES 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.03 0.31 0.31 0.02
AotoYamada_05/025.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.01
Applicative_05/Ex2_6_1Composition.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.04 0.03 0.01
Applicative_05/ReverseLastInit.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.05 0.04 0.07 0.37 0.37 0.02
Applicative_05/TypeEx5.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.02
AProVE_04/Liveness_WRS.trs YES 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.02 60.01 60.44 60.03 60.01 60.02 0.03
AProVE_04/Liveness6.1.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.03 0.03 0.07 0.05 0.04 0.02
AProVE_04/Liveness6.2.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.02 0.05 0.04 0.04 0.02
AProVE_04/Liveness6.3.trs YES 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.04 0.04 0.08 0.10 0.10 0.03
AProVE_04/Liveness6.4.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.10 0.28 0.28 0.03
AProVE_04/Liveness8.trs YES 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.04 0.04 0.08 0.13 0.13 0.03
AProVE_04/LPAR_intlist.trs YES 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.04 0.04 0.08 0.11 0.11 0.02
AProVE_06/identity.trs YES 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.02 0.02 0.05 0.22 0.22 0.03
AProVE_06/nonterm.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 60.01 60.32 60.04 60.02 60.02 0.02
AProVE_06/tower_sizeChange.trs YES 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.05 0.07 0.07 0.03
AProVE_08/round.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.03 0.03 0.02
AProVE_08/round_nonterm.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.03 0.03 0.02
AProVE_10/ex5.trs YES 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.01 0.02 0.02 0.02 0.01
CiME_04/dpqs.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02
CiME_04/filliatre.trs YES 0.01 0.01 0.02 0.02 0.02 0.03 0.03 0.03 0.08 0.08 0.43 0.51 0.51 0.04
CiME_04/filliatre2.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.03 0.02 0.05 0.05 0.45 0.47 0.47 0.03
Der95/01.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.02 0.02 0.01
Der95/02.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.01
Der95/03.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.01
Der95/04.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.01
Der95/06.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02
Der95/07.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.02 0.02 0.02 0.02
Der95/09.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.02
Der95/17.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.03 0.02
Der95/20.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.03 0.03 0.04 0.36 0.36 0.03
Der95/27.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.01 0.02 0.02 0.01 0.02 0.02 0.02 0.02
Endrullis_06/direct.trs YES 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.06 0.06 0.13 0.43 0.43 0.02
Endrullis_06/linear1.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.03 0.03 0.11 0.39 0.39 0.02
Endrullis_06/linear2.trs YES 0.01 0.01 0.04 0.01 0.01 0.05 0.07 0.05 0.14 0.14 0.15 0.79 0.79 0.05
Endrullis_06/pair3rotate.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.05 0.05 0.10 0.42 0.42 0.02
Endrullis_06/pair3swap.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.10 0.09 0.23 0.51 0.51 0.02
Endrullis_06/quadruple1.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.05 0.05 0.08 0.48 0.48 0.02
Endrullis_06/quadruple2.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.08 0.08 0.17 0.50 0.50 0.02
HirokawaMiddeldorp_04/n002.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02
HirokawaMiddeldorp_04/n003.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.02
HirokawaMiddeldorp_04/n004.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02
HirokawaMiddeldorp_04/n005.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02
HirokawaMiddeldorp_04/n006.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02
HirokawaMiddeldorp_04/n008.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02
HirokawaMiddeldorp_04/t000.trs YES 0.01 0.01 0.04 0.05 0.05 0.08 0.08 0.08 0.04 0.04 0.25 0.36 0.36 0.04
HirokawaMiddeldorp_04/t004.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.04 0.04 0.16 0.05 0.06 0.02
HirokawaMiddeldorp_04/t006.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.03 0.03 0.01
HirokawaMiddeldorp_04/t007.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02
HirokawaMiddeldorp_04/t008.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.04 0.03 0.04 0.05 0.04 0.02
HirokawaMiddeldorp_04/t009.trs YES 0.02 0.02 0.31 0.37 0.36 0.39 0.54 0.39 0.14 0.13 1.33 1.46 1.46 0.94
HirokawaMiddeldorp_04/t010.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.04 0.02 0.02 0.02
HirokawaMiddeldorp_04/t011.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.04 0.02 0.02 0.02 0.02 0.02
HirokawaMiddeldorp_04/t012.trs YES 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.03 0.03 0.07 0.37 0.37 0.02
Mixed_TRS/1.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.10 0.10 0.12 0.59 0.59 0.02
Mixed_TRS/2.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.04 0.04 0.03 0.36 0.36 0.02
Mixed_TRS/4.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.10 0.10 0.11 0.38 0.37 0.02
Mixed_TRS/6.trs MAYBE 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.06 0.06 0.02
Mixed_TRS/beans.trs YES 0.01 0.01 0.02 0.01 0.01 0.03 0.03 0.03 0.08 0.08 0.27 0.69 0.68 0.03
Mixed_TRS/Ex1_Luc04b_GM.trs YES 0.01 0.01 0.01 0.01 0.02 0.02 0.03 0.02 0.02 0.02 0.08 0.23 0.23 0.03
Mixed_TRS/jones1.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02
Mixed_TRS/jones4.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.01 0.02 0.01 0.02 0.02 0.02 0.02 0.01
Mixed_TRS/jones6.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.03 0.02
Rubio_04/aoto.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.07 0.07 0.11 0.04 0.04 0.02
Rubio_04/bintrees.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.06 0.06 0.02
Rubio_04/bn129.trs YES 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.04 0.33 0.33 0.02
Rubio_04/gmnp.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.05 0.02 0.02 0.02
Rubio_04/koen.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.01
Rubio_04/lescanne.trs YES 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.02 0.07 0.07 0.02
Rubio_04/lindau.trs YES 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.20 0.20 0.51 0.60 0.61 0.02
Rubio_04/mfp90b.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.04 0.02 0.02 0.01
Rubio_04/mfp95.trs YES 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.02 0.02 0.02 0.05 0.39 0.39 0.02
Rubio_04/nestrec.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.02
Rubio_04/p266.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.03 0.03 0.05 0.02 0.02 0.02
Rubio_04/test4.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.02 0.07 0.04 0.04 0.02
Rubio_04/test829.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.05 0.28 0.28 0.02
Secret_05_TRS/matchbox2.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.04 0.04 0.02
Secret_05_TRS/teparla1.trs YES 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.02 0.02 0.03 0.36 0.36 0.02
Secret_05_TRS/teparla2.trs YES 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.03 0.03 0.04 0.38 0.38 0.02
Secret_05_TRS/teparla3.trs YES 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02 0.03 0.02 0.03 0.37 0.37 0.02
Secret_05_TRS/ttt2.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02
Secret_06_TRS/10.trs YES 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.09 0.09 0.13 0.45 0.46 0.02
Secret_06_TRS/2.trs YES 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.03 0.03 0.06 0.36 0.36 0.02
Secret_06_TRS/3.trs YES 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02 0.03 0.03 0.05 0.37 0.37 0.03
Secret_06_TRS/4.trs YES 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.03 0.03 0.04 0.28 0.28 0.02
Secret_06_TRS/5.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.13 0.13 0.17 0.46 0.46 0.02
Secret_06_TRS/6.trs YES 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.06 0.06 0.15 0.54 0.54 0.02
Secret_06_TRS/7.trs YES 0.01 0.01 0.02 0.01 0.01 0.02 0.03 0.02 0.23 0.23 0.44 0.75 0.74 0.02
Secret_06_TRS/8.trs YES 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 1.32 1.31 1.68 1.48 1.47 0.02
Secret_06_TRS/9.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.09 0.09 0.12 0.23 0.23 0.02
Secret_06_TRS/tpa01.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.01 0.02 0.04 0.05 0.02
Secret_06_TRS/tpa02.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.05 0.05 0.02
Secret_06_TRS/tpa03.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.04 0.04 0.02
Secret_07_TRS/1.trs YES 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02 0.02 0.01 0.05 0.38 0.38 0.03
Secret_07_TRS/2.trs YES 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02 0.02 0.01 0.09 0.42 0.42 0.03
Secret_07_TRS/3.trs YES 0.01 0.01 0.23 0.01 0.01 0.45 0.56 0.46 0.02 0.02 1.51 2.22 2.20 0.30
Secret_07_TRS/4.trs YES 0.01 0.01 0.02 0.01 0.01 0.03 0.03 0.03 0.06 0.06 0.06 0.47 0.47 0.03
Secret_07_TRS/5.trs YES 0.01 0.01 0.04 0.02 0.02 0.05 0.06 0.05 0.02 0.02 0.20 0.59 0.59 0.05
Secret_07_TRS/7.trs MAYBE 0.01 0.01 0.06 0.01 0.01 0.13 0.17 0.13 2.40 2.38 2.82 2.83 2.84 0.07
SK90/2.01.trs YES 0.01 0.01 0.02 0.02 0.01 0.02 0.02 0.02 0.02 0.02 0.04 0.03 0.03 0.02
SK90/2.02.trs YES 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.02 0.02 0.03 0.32 0.32 0.02
SK90/2.03.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.06 0.02 0.02 0.02
SK90/2.04.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.01 0.02 0.02 0.02 0.02
SK90/2.06.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.31 0.31 0.02
SK90/2.09.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02
SK90/2.10.trs YES 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.05 0.05 0.02
SK90/2.11.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02
SK90/2.14.trs YES 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.03 0.03 0.02
SK90/2.31.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.03 0.02
SK90/2.33.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.03 0.02
SK90/2.34.trs YES 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.03 0.10 0.10 0.02
SK90/2.36.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.01 0.02 0.02 0.01 0.02 0.03 0.03 0.02
SK90/2.38.trs YES 0.01 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.02 0.01 0.02 0.03 0.03 0.02
SK90/2.39.trs YES 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.03 0.06 0.06 0.02
SK90/2.41.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.04 0.04 0.02
SK90/2.42.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.06 0.06 0.02
SK90/2.46.trs YES 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02 0.02 0.03 0.02
SK90/2.47.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02
SK90/2.48.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.03 0.01
SK90/2.49.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.03 0.03 0.03 0.03 0.04 0.34 0.34 0.01
SK90/2.50.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.01
SK90/2.53.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02
SK90/2.54.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02
SK90/2.55.trs YES 0.01 0.01 0.01 0.02 0.01 0.02 0.02 0.01 0.01 0.02 0.02 0.02 0.02 0.02
SK90/2.56.trs YES 0.01 0.01 0.01 0.02 0.02 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.01
SK90/2.60.trs YES 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02 0.16 0.17 0.30 0.53 0.54 0.02
SK90/2.61.trs YES 0.02 0.01 0.02 0.02 0.02 0.03 0.03 0.03 0.05 0.05 0.14 0.54 0.54 0.01
SK90/4.01.trs YES 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.03 0.03 0.03 0.01
SK90/4.04.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.06 0.06 0.02
SK90/4.07.trs YES 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02
SK90/4.08.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.02
SK90/4.11.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.04 0.02 0.02 0.02 0.02 0.02
SK90/4.12.trs YES 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.04 0.16 0.16 0.02
SK90/4.15.trs YES 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.02 0.02 0.02
SK90/4.16.trs YES 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02 0.06 0.06 0.07 0.18 0.18 0.02
SK90/4.19.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.09 0.09 0.01
SK90/4.25.trs YES 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.02 0.02 0.02 0.02 0.02 0.02
SK90/4.26.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.04 0.04 0.02
SK90/4.27.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.04 0.04 0.07 0.10 0.10 0.02
SK90/4.29.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.04 0.30 0.30 0.02
SK90/4.30.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.03 0.04 0.04 0.02
SK90/4.32.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.03 0.03 0.03 0.02
SK90/4.33.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.01
SK90/4.34.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.03 0.02 0.02 0.02
SK90/4.35.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02
SK90/4.36.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02
SK90/4.37.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.01
SK90/4.38.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.04 0.04 0.04 0.02
SK90/4.39.trs YES 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.28 0.28 0.02
SK90/4.43.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.08 0.06 0.07 0.02
SK90/4.44.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02
SK90/4.45.trs YES 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.02 0.02 0.01
SK90/4.46.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02
SK90/4.47.trs YES 0.01 0.01 0.08 0.02 0.02 0.16 0.28 0.16 0.77 0.77 1.14 2.72 2.72 0.04
SK90/4.48.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.03 0.01
SK90/4.51.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.04 0.03 0.03 0.02
SK90/4.52.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.05 0.05 0.02
SK90/4.55.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.02
SK90/4.56.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.03 0.03 0.02
Strategy_removed_AG01/4.17.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.03 0.03 0.06 0.05 0.05 0.02
Strategy_removed_AG01/4.18.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.16 0.16 0.25 0.18 0.18 0.02
Strategy_removed_AG01/4.20.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.02
Strategy_removed_AG01/4.20a.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.03 0.03 0.03 0.02
Strategy_removed_AG01/4.21.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.01 0.02 0.02
Strategy_removed_AG01/4.25.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02
Strategy_removed_AG01/4.28.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.03 0.02 0.04 0.04 0.04 0.02
Strategy_removed_AG01/4.37.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.03 0.02 0.05 0.04 0.04 0.02
Strategy_removed_AG01/4.37a.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.03 0.03 0.05 0.04 0.04 0.02
Strategy_removed_CSR_05/Ex1_Zan97.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.02
Strategy_removed_CSR_05/Ex4_7_15_Bor03.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.05 0.03 0.04 0.03 0.03 0.02
Strategy_removed_CSR_05/Ex4_7_77_Bor03.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02
Strategy_removed_CSR_05/Ex5_Zan97.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.03 0.02 0.02 0.02
Strategy_removed_CSR_05/Ex6_GM04.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02
Strategy_removed_CSR_05/ExConc_Zan97.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02
Strategy_removed_CSR_05/ExIntrod_GM01.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.04 0.11 0.11 0.03
Strategy_removed_CSR_05/ExIntrod_GM04.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.10 0.10 0.03
Strategy_removed_mixed_05/ex1.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.02
Strategy_removed_mixed_05/ex3.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.03 0.02 0.02 0.02
Strategy_removed_mixed_05/ex4.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.02
Strategy_removed_mixed_05/ex5.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02
Strategy_removed_mixed_05/ex6.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.03 0.03 0.03 0.02
Strategy_removed_mixed_05/gkg.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02
Strategy_removed_mixed_05/n001.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.03 0.03 0.05 0.03 0.03 0.02
Strategy_removed_mixed_05/test830.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.04 0.02 0.04 0.02
Transformed_CSR_04/Ex1_GL02a_L.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02
Transformed_CSR_04/Ex1_GM99_L.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.02
Transformed_CSR_04/Ex1_Luc04b_C.trs YES 0.01 0.01 0.02 0.02 0.02 0.03 0.03 0.03 0.07 0.07 0.21 0.51 0.51 0.04
Transformed_CSR_04/Ex1_Luc04b_FR.trs NO 0.01 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.03 0.03 0.05 0.19 0.19 0.03
Transformed_CSR_04/Ex1_Luc04b_GM.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.03 0.02 0.02 0.02 0.08 0.22 0.22 0.03
Transformed_CSR_04/Ex1_Luc04b_iGM.trs YES 0.01 0.01 0.02 0.01 0.02 0.03 0.03 0.03 0.09 0.09 0.19 0.47 0.47 0.04
Transformed_CSR_04/Ex1_Luc04b_Z.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.03 0.16 0.16 0.03
Transformed_CSR_04/Ex1_Zan97_C.trs YES 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.03 0.03 0.12 0.12 0.12 0.02
Transformed_CSR_04/Ex1_Zan97_FR.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.03 0.03 0.02 0.02
Transformed_CSR_04/Ex1_Zan97_GM.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.01
Transformed_CSR_04/Ex1_Zan97_iGM.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.03 0.03 0.07 0.09 0.09 0.03
Transformed_CSR_04/Ex1_Zan97_L.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02
Transformed_CSR_04/Ex14_AEGL02_L.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02
Transformed_CSR_04/Ex14_Luc06_L.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02
Transformed_CSR_04/Ex15_Luc06_C.trs YES 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.02 0.09 0.09 0.17 0.51 0.51 0.02
Transformed_CSR_04/Ex15_Luc06_FR.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.04 0.04 0.04 0.02
Transformed_CSR_04/Ex15_Luc06_GM.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.03 0.02 0.03 0.04 0.03 0.02
Transformed_CSR_04/Ex15_Luc06_iGM.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.10 0.08 0.11 0.45 0.45 0.02
Transformed_CSR_04/Ex15_Luc06_L.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02
Transformed_CSR_04/Ex15_Luc06_Z.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.03 0.03 0.04 0.04 0.04 0.02
Transformed_CSR_04/Ex16_Luc06_C.trs YES 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.05 0.09 0.09 0.02
Transformed_CSR_04/Ex16_Luc06_FR.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.02
Transformed_CSR_04/Ex16_Luc06_GM.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02
Transformed_CSR_04/Ex16_Luc06_iGM.trs YES 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.03 0.03 0.06 0.13 0.13 0.02
Transformed_CSR_04/Ex16_Luc06_L.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02
Transformed_CSR_04/Ex18_Luc06_C.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.08 0.08 0.17 0.52 0.52 0.02
Transformed_CSR_04/Ex18_Luc06_FR.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.03 0.04 0.03 0.03 0.02
Transformed_CSR_04/Ex18_Luc06_GM.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.04 0.03 0.03 0.02
Transformed_CSR_04/Ex18_Luc06_iGM.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.08 0.08 0.11 0.43 0.43 0.02
Transformed_CSR_04/Ex18_Luc06_L.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.01
Transformed_CSR_04/Ex18_Luc06_Z.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.02 0.02 0.01
Transformed_CSR_04/Ex2_Luc03b_L.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.02 0.02 0.01
Transformed_CSR_04/Ex23_Luc06_C.trs YES 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.23 0.22 0.41 0.80 0.80 0.03
Transformed_CSR_04/Ex23_Luc06_FR.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.03 0.08 0.40 0.40 0.02
Transformed_CSR_04/Ex23_Luc06_GM.trs YES 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.02 0.05 0.05 0.08 0.10 0.10 0.02
Transformed_CSR_04/Ex23_Luc06_iGM.trs YES 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.23 0.23 0.29 0.64 0.64 0.02
Transformed_CSR_04/Ex23_Luc06_L.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.01
Transformed_CSR_04/Ex23_Luc06_Z.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.05 0.05 0.07 0.06 0.06 0.01
Transformed_CSR_04/Ex24_GM04_L.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02
Transformed_CSR_04/Ex24_Luc06_L.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02
Transformed_CSR_04/Ex25_Luc06_C.trs YES 0.01 0.01 0.01 0.02 0.03 0.03 0.03 0.03 0.09 0.09 0.21 0.49 0.49 0.04
Transformed_CSR_04/Ex25_Luc06_FR.trs YES 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.03 0.03 0.07 0.35 0.35 0.03
Transformed_CSR_04/Ex25_Luc06_GM.trs YES 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.02 0.03 0.03 0.07 0.05 0.05 0.02
Transformed_CSR_04/Ex25_Luc06_iGM.trs YES 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.09 0.09 0.19 0.48 0.48 0.03
Transformed_CSR_04/Ex25_Luc06_L.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.01
Transformed_CSR_04/Ex25_Luc06_Z.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.06 0.35 0.35 0.01
Transformed_CSR_04/Ex26_Luc03b_L.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.03 0.03 0.01
Transformed_CSR_04/Ex3_3_25_Bor03_L.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.03 0.03 0.01
Transformed_CSR_04/Ex4_4_Luc96b_L.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.01 0.01 0.01
Transformed_CSR_04/Ex4_7_15_Bor03_C.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.13 0.13 0.22 0.55 0.55 0.03
Transformed_CSR_04/Ex4_7_15_Bor03_FR.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.04 0.04 0.05 0.09 0.10 0.03
Transformed_CSR_04/Ex4_7_15_Bor03_GM.trs YES 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.03 0.03 0.07 0.07 0.07 0.03
Transformed_CSR_04/Ex4_7_15_Bor03_iGM.trs YES 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.14 0.13 0.21 0.59 0.59 0.02
Transformed_CSR_04/Ex4_7_15_Bor03_L.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.03 0.03 0.03 0.02
Transformed_CSR_04/Ex4_7_15_Bor03_Z.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.03 0.03 0.05 0.04 0.05 0.02
Transformed_CSR_04/Ex4_7_77_Bor03_C.trs YES 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.07 0.08 0.08 0.03
Transformed_CSR_04/Ex4_7_77_Bor03_FR.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.01
Transformed_CSR_04/Ex4_7_77_Bor03_GM.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.03 0.03 0.02
Transformed_CSR_04/Ex4_7_77_Bor03_iGM.trs YES 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.03 0.03 0.06 0.13 0.13 0.03
Transformed_CSR_04/Ex5_Zan97_C.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.05 0.05 0.12 0.17 0.17 0.03
Transformed_CSR_04/Ex5_Zan97_FR.trs YES 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.03 0.04 0.04 0.02
Transformed_CSR_04/Ex5_Zan97_GM.trs YES 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.05 0.05 0.05 0.03
Transformed_CSR_04/Ex5_Zan97_iGM.trs YES 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.02 0.04 0.04 0.10 0.27 0.27 0.03
Transformed_CSR_04/Ex5_Zan97_Z.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.01 0.02 0.02 0.02 0.03 0.03 0.03 0.01
Transformed_CSR_04/Ex6_GM04_C.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.04 0.03 0.07 0.09 0.09 0.02
Transformed_CSR_04/Ex6_GM04_FR.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.03 0.03 0.03 0.02
Transformed_CSR_04/Ex6_GM04_GM.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.01
Transformed_CSR_04/Ex6_GM04_iGM.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.03 0.03 0.05 0.06 0.07 0.02
Transformed_CSR_04/Ex6_GM04_L.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01
Transformed_CSR_04/Ex6_Luc98_L.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.01
Transformed_CSR_04/Ex9_BLR02_L.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.06 0.06 0.08 0.08 0.08 0.01
Transformed_CSR_04/Ex9_Luc06_C.trs YES 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.02 0.03 0.03 0.07 0.14 0.14 0.03
Transformed_CSR_04/Ex9_Luc06_FR.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.03 0.03 0.03 0.02
Transformed_CSR_04/Ex9_Luc06_GM.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.02 0.04 0.03 0.03 0.03
Transformed_CSR_04/Ex9_Luc06_iGM.trs YES 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.02 0.03 0.03 0.08 0.20 0.20 0.03
Transformed_CSR_04/ExConc_Zan97_C.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.04 0.04 0.10 0.11 0.11 0.03
Transformed_CSR_04/ExConc_Zan97_FR.trs YES 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.03 0.03 0.02
Transformed_CSR_04/ExConc_Zan97_GM.trs YES 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.03 0.02 0.02
Transformed_CSR_04/ExConc_Zan97_iGM.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.04 0.03 0.06 0.08 0.08 0.02
Transformed_CSR_04/ExConc_Zan97_L.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.01
Transformed_CSR_04/ExConc_Zan97_Z.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.02
Transformed_CSR_04/ExIntrod_GM01_C.trs YES 0.01 0.01 0.02 0.02 0.03 0.04 0.04 0.04 0.04 0.04 0.23 0.59 0.59 0.05
Transformed_CSR_04/ExIntrod_GM01_FR.trs NO 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.04 0.04 0.09 0.38 0.38 0.03
Transformed_CSR_04/ExIntrod_GM01_GM.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.03 0.02 0.02 0.02 0.09 0.41 0.41 0.04
Transformed_CSR_04/ExIntrod_GM01_iGM.trs YES 0.01 0.01 0.02 0.02 0.03 0.03 0.03 0.03 0.12 0.12 0.17 0.50 0.56 0.04
Transformed_CSR_04/ExIntrod_GM01_Z.trs NO 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.04 0.03 0.08 0.38 0.38 0.03
Transformed_CSR_04/ExIntrod_GM04_C.trs YES 0.01 0.01 0.02 0.02 0.03 0.03 0.04 0.03 0.09 0.09 0.24 0.59 0.59 0.05
Transformed_CSR_04/ExIntrod_GM04_FR.trs NO 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.02 0.03 0.03 0.09 0.43 0.42 0.03
Transformed_CSR_04/ExIntrod_GM04_GM.trs YES 0.01 0.01 0.01 0.02 0.03 0.03 0.03 0.03 0.03 0.02 0.07 0.23 0.23 0.03
Transformed_CSR_04/ExIntrod_GM04_iGM.trs YES 0.01 0.01 0.02 0.02 0.02 0.03 0.03 0.03 0.05 0.05 0.21 0.54 0.54 0.04
Transformed_CSR_04/ExIntrod_GM04_Z.trs NO 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.02 0.03 0.03 0.08 0.42 0.42 0.03
Transformed_CSR_04/ExProp7_Luc06_C.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.10 0.10 0.18 0.50 0.50 0.03
Transformed_CSR_04/ExProp7_Luc06_FR.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.04 0.04 0.06 0.10 0.09 0.03
Transformed_CSR_04/ExProp7_Luc06_GM.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.03 0.03 0.07 0.07 0.07 0.02
Transformed_CSR_04/ExProp7_Luc06_iGM.trs YES 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.13 0.13 0.21 0.54 0.55 0.03
Transformed_CSR_04/ExProp7_Luc06_L.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.03 0.03 0.03 0.02
Transformed_CSR_04/ExProp7_Luc06_Z.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.03 0.03 0.05 0.05 0.05 0.02
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.trs NO 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.03 0.15 0.44 0.44 0.04
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.04 0.07 0.07 0.02
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.trs NO 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.01 0.03 0.03 0.06 0.10 0.10 0.03
Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.trs NO 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.06 0.06 0.13 0.49 0.49 0.03
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.trs NO 0.01 0.01 0.02 0.02 0.03 0.03 0.03 0.03 0.07 0.07 0.16 0.51 0.51 0.05
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.trs NO 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.03 0.03 0.09 0.11 0.11 0.03
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.trs MAYBE 0.01 0.01 0.02 0.02 0.02 0.03 0.03 0.03 0.03 0.03 0.16 0.50 0.50 0.04
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.trs NO 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.02 0.02 0.04 0.07 0.07 0.03
Transformed_CSR_04/OvConsOS_nosorts_C.trs NO 0.01 0.01 0.02 0.02 0.03 0.03 0.03 0.03 0.04 0.04 0.20 0.54 0.54 0.04
Transformed_CSR_04/OvConsOS_nosorts_FR.trs NO 0.01 0.01 0.02 0.02 0.01 0.02 0.02 0.02 0.03 0.03 0.06 0.18 0.18 0.03
Transformed_CSR_04/OvConsOS_nosorts_GM.trs NO 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.09 0.15 0.15 0.03
Transformed_CSR_04/OvConsOS_nosorts_iGM.trs NO 0.01 0.01 0.02 0.02 0.02 0.03 0.03 0.03 0.06 0.06 0.18 0.52 0.52 0.04
Transformed_CSR_04/OvConsOS_nosorts_noand_C.trs NO 0.01 0.02 0.05 0.03 0.05 0.07 0.08 0.07 0.14 0.14 0.50 0.81 0.80 0.09
Transformed_CSR_04/OvConsOS_nosorts_noand_GM.trs NO 0.01 0.01 0.04 0.03 0.04 0.04 0.05 0.04 0.07 0.05 0.21 0.23 0.23 0.07
Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.trs MAYBE 0.01 0.02 0.05 0.04 0.06 0.07 0.08 0.07 0.06 0.06 0.54 0.85 0.85 0.10
Transformed_CSR_04/OvConsOS_nosorts_Z.trs NO 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.03 0.03 0.06 0.18 0.18 0.03
Transformed_CSR_04/OvConsOS_nosorts-noand_FR.trs NO 0.01 0.01 0.02 0.02 0.02 0.03 0.03 0.03 0.06 0.04 0.11 0.21 0.21 0.05
Transformed_CSR_04/OvConsOS_nosorts-noand_Z.trs NO 0.01 0.01 0.02 0.02 0.02 0.03 0.03 0.03 0.04 0.04 0.11 0.21 0.20 0.04
Transformed_CSR_04/PALINDROME_complete-noand_L.trs NO 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.04 0.03 0.16 0.12 0.12 0.05
Transformed_CSR_04/PALINDROME_nokinds_C.trs YES 0.01 0.01 0.05 0.02 0.04 0.07 0.07 0.07 0.09 0.09 0.40 0.81 0.81 0.05
Transformed_CSR_04/PALINDROME_nokinds_FR.trs YES 0.01 0.01 0.03 0.03 0.04 0.05 0.04 0.05 0.03 0.03 0.16 0.51 0.51 0.04
Transformed_CSR_04/PALINDROME_nokinds_GM.trs YES 0.01 0.01 0.02 0.03 0.04 0.04 0.03 0.04 0.03 0.03 0.17 0.42 0.42 0.06
Transformed_CSR_04/PALINDROME_nokinds_iGM.trs YES 0.01 0.01 0.04 0.02 0.04 0.06 0.07 0.06 0.05 0.05 0.29 0.82 0.82 0.04
Transformed_CSR_04/PALINDROME_nokinds_noand_C.trs YES 0.02 0.02 0.06 0.04 0.07 0.09 0.09 0.09 0.25 0.25 0.95 1.32 1.30 0.08
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.trs YES 0.02 0.02 0.03 0.06 0.07 0.07 0.04 0.07 0.04 0.04 0.32 0.52 0.52 0.10
Transformed_CSR_04/PALINDROME_nokinds_noand_iGM.trs YES 0.02 0.02 0.05 0.03 0.06 0.08 0.09 0.08 0.10 0.10 0.74 1.02 1.03 0.06
Transformed_CSR_04/PALINDROME_nokinds_Z.trs YES 0.01 0.01 0.03 0.03 0.04 0.05 0.04 0.05 0.03 0.03 0.14 0.52 0.52 0.03
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.trs YES 0.01 0.01 0.02 0.04 0.05 0.06 0.04 0.06 0.04 0.04 0.25 0.57 0.57 0.04
Transformed_CSR_04/PALINDROME_nokinds-noand_L.trs NO 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.01 0.02 0.02 0.03 0.03 0.03 0.03
Transformed_CSR_04/PALINDROME_nokinds-noand_Z.trs YES 0.01 0.01 0.02 0.04 0.04 0.05 0.04 0.05 0.04 0.04 0.22 0.55 0.55 0.03
Transformed_CSR_04/PALINDROME_nosorts_C.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.03 0.02 0.06 0.06 0.17 0.44 0.44 0.03
Transformed_CSR_04/PALINDROME_nosorts_FR.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.02 0.02 0.02
Transformed_CSR_04/PALINDROME_nosorts_GM.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.06 0.23 0.23 0.04
Transformed_CSR_04/PALINDROME_nosorts_iGM.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.03 0.11 0.45 0.45 0.03
Transformed_CSR_04/PALINDROME_nosorts_noand_C.trs YES 0.01 0.01 0.02 0.02 0.02 0.03 0.03 0.03 0.03 0.03 0.19 0.46 0.46 0.04
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.08 0.24 0.24 0.04
Transformed_CSR_04/PALINDROME_nosorts_noand_iGM.trs YES 0.01 0.01 0.02 0.01 0.02 0.02 0.03 0.02 0.03 0.03 0.14 0.46 0.46 0.03
Transformed_CSR_04/PALINDROME_nosorts-noand_FR.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.03 0.03 0.02
Transformed_CSR_04/PALINDROME_nosorts-noand_L.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.03 0.03 0.02
Transformed_CSR_04/PEANO_nosorts_C.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.03 0.03 0.12 0.42 0.42 0.03
Transformed_CSR_04/PEANO_nosorts_FR.trs YES 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02
Transformed_CSR_04/PEANO_nosorts_GM.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.03 0.03 0.04 0.13 0.14 0.03
Transformed_CSR_04/PEANO_nosorts_iGM.trs YES 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.02 0.03 0.03 0.08 0.41 0.41 0.03
Transformed_CSR_04/PEANO_nosorts_noand_C.trs YES 0.01 0.01 0.03 0.02 0.03 0.03 0.04 0.03 0.03 0.03 0.19 0.52 0.52 0.05
Transformed_CSR_04/PEANO_nosorts_noand_GM.trs YES 0.01 0.01 0.02 0.03 0.03 0.03 0.02 0.03 0.02 0.02 0.09 0.14 0.14 0.05
Transformed_CSR_04/PEANO_nosorts_noand_iGM.trs YES 0.01 0.01 0.03 0.02 0.03 0.03 0.04 0.03 0.03 0.03 0.14 0.48 0.48 0.04
Transformed_CSR_04/PEANO_nosorts-noand_FR.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.05 0.08 0.08 0.03
Various_04/07.trs YES 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.02 0.02 0.01
Various_04/15.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.07 0.07 0.13 0.06 0.06 0.02
Various_04/18.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.01 0.02 0.02 0.02 0.03 0.33 0.33 0.02
Various_04/19.trs YES 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.04 0.02 0.05 0.16 0.16 0.03
Various_04/21.trs YES 0.01 0.01 0.02 0.02 0.02 0.04 0.04 0.04 0.03 0.03 0.05 0.38 0.38 0.04
Various_04/23.trs YES 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.04 0.10 0.10 0.02
Various_04/24.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.15 0.15 0.27 0.50 0.50 0.02
Various_04/25.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02
Various_04/27.trs YES 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.01 0.01 0.02 0.02 0.02 0.02
Waldmann_06/jwaprove1.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.03 0.37 0.37 0.02
Waldmann_06/jwaprove2.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.03 0.32 0.32 0.02
Waldmann_06/jwcime1.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.03 0.03 0.09 0.33 0.33 0.02
Waldmann_06/jwcime2.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.04 0.04 0.05 0.42 0.42 0.02
Waldmann_06/jwmatchb1.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.03 0.36 0.36 0.02
Waldmann_06/jwmatchb2.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.03 0.32 0.32 0.02
Waldmann_06/jwno1.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.33 0.33 0.36 0.52 0.52 0.02
Waldmann_06/jwno2.trs MAYBE 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.03 0.10 0.10 0.02
Waldmann_06/jwno3.trs MAYBE 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.20 0.20 0.22 0.45 0.45 0.02
Waldmann_06/jwno4.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.03 0.03 0.04 0.36 0.36 0.02
Waldmann_06/jwno5.trs MAYBE 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.06 0.06 0.02
Waldmann_06/jwno6.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.03 0.03 0.07 0.35 0.35 0.02
Waldmann_06/jwno7.trs MAYBE 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.05 0.05 0.04 0.34 0.34 0.02
Waldmann_06/jwno8.trs MAYBE 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.03 0.03 0.04 0.36 0.36 0.02
Waldmann_06/jwno9.trs NO 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.04 0.04 0.05 0.35 0.35 0.02
Waldmann_06/jwtpa1.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.21 0.21 0.26 0.57 0.57 0.02
Waldmann_06/jwtpa2.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.04 0.04 0.05 0.36 0.36 0.02
Waldmann_06/jwttt.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.22 0.21 0.19 0.60 0.60 0.02
Zantema_05/jw01.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.04 0.03 0.05 0.14 0.14 0.02
Zantema_05/jw02.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.03 0.03 0.05 0.20 0.20 0.02
Zantema_05/jw03.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.03 0.03 0.04 0.05 0.05 0.02
Zantema_05/jw04.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.04 0.03 0.04 0.04 0.04 0.02
Zantema_05/jw05.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.05 0.03 0.04 0.17 0.17 0.02
Zantema_05/jw06.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.03 0.03 0.04 0.14 0.14 0.02
Zantema_05/jw07.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.09 0.09 0.11 0.46 0.46 0.02
Zantema_05/jw08.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.04 0.04 0.05 0.38 0.38 0.02
Zantema_05/jw09.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.08 0.08 0.12 0.45 0.45 0.02
Zantema_05/jw11.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.03 0.03 0.04 0.38 0.38 0.02
Zantema_05/jw12.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.02 0.03 0.33 0.33 0.02
Zantema_05/jw13.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.02 0.03 0.10 0.10 0.02
Zantema_05/jw14.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.03 0.09 0.09 0.02
Zantema_05/jw15.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.07 0.07 0.06 0.08 0.08 0.02
Zantema_05/jw16.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.09 0.08 0.13 0.43 0.43 0.02
Zantema_05/jw17.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.08 0.08 0.12 0.56 0.55 0.02
Zantema_05/jw18.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.04 0.04 0.03 0.02
Zantema_05/jw19.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.04 0.03 0.03 0.04 0.04 0.02
Zantema_05/jw20.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.08 0.08 0.07 0.13 0.13 0.02
Zantema_05/jw21.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.08 0.08 0.11 0.40 0.40 0.02
Zantema_05/jw22.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.08 0.08 0.09 0.43 0.43 0.02
Zantema_05/jw23.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.10 0.10 0.11 0.09 0.09 0.02
Zantema_05/jw24.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.10 0.10 0.12 0.16 0.15 0.02
Zantema_05/jw25.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.08 0.08 0.11 0.12 0.12 0.02
Zantema_05/jw26.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.05 0.04 0.05 0.14 0.13 0.02
Zantema_05/jw27.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.08 0.08 0.13 0.37 0.37 0.02
Zantema_05/jw28.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.09 0.09 0.10 0.45 0.45 0.02
Zantema_05/jw29.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.09 0.09 0.09 0.14 0.14 0.02
Zantema_05/jw30.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.03 0.03 0.02
Zantema_05/jw31.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.03 0.03 0.03 0.02
Zantema_05/jw32.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.08 0.08 0.09 0.51 0.51 0.02
Zantema_05/jw33.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.09 0.09 0.11 0.42 0.42 0.02
Zantema_05/jw34.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.06 0.06 0.05 0.09 0.08 0.02
Zantema_05/jw35.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.09 0.09 0.02
Zantema_05/jw36.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.04 0.03 0.04 0.09 0.09 0.02
Zantema_05/jw37.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.04 0.02 0.02 0.34 0.33 0.02
Zantema_05/jw38.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.02 0.03 0.33 0.33 0.02
Zantema_05/jw39.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.08 0.09 0.12 0.48 0.48 0.02
Zantema_05/jw40.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.09 0.09 0.08 0.45 0.45 0.02
Zantema_05/jw41.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.04 0.04 0.05 0.37 0.37 0.02
Zantema_05/jw42.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.08 0.08 0.11 0.48 0.48 0.02
Zantema_05/jw43.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.04 0.04 0.06 0.07 0.07 0.02
Zantema_05/jw44.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.02 0.03 0.26 0.26 0.01
Zantema_05/jw47.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.26 0.26 0.01
Zantema_05/jw50.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.05 0.05 0.05 0.09 0.09 0.02
Zantema_05/z01.trs YES 0.01 0.01 0.14 0.01 0.01 0.19 0.24 0.19 0.71 0.71 1.79 1.83 1.83 0.15
Zantema_05/z02.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.04 0.04 0.02
Zantema_05/z03.trs YES 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.05 0.05 0.09 0.42 0.42 0.02
Zantema_05/z05.trs YES 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.03 0.04 0.06 0.22 0.22 0.02
Zantema_05/z06.trs YES 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.03 0.35 0.35 0.02
Zantema_05/z07.trs YES 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.03 0.18 0.18 0.02
Zantema_05/z08.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.04 0.04 0.08 0.35 0.35 0.02
Zantema_05/z11.trs YES 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.14 0.14 0.36 0.62 0.61 0.02
Zantema_05/z12.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.49 0.48 1.70 1.14 1.14 0.02
Zantema_05/z13.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.04 0.11 0.11 0.02
Zantema_05/z14.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.03 0.02 0.04 0.35 0.35 0.02
Zantema_05/z15.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.03 0.06 0.06 0.02
Zantema_05/z16.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.04 0.35 0.35 0.02
Zantema_05/z17.trs MAYBE 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.04 0.15 0.15 0.02
Zantema_05/z18.trs MAYBE 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.06 0.38 0.37 0.02
Zantema_05/z19.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.10 0.09 0.02
Zantema_05/z20.trs MAYBE 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.11 0.11 0.23 0.56 0.55 0.02
Zantema_05/z21.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.03 0.03 0.02
Zantema_05/z22.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.04 0.04 0.06 0.40 0.40 0.02
Zantema_05/z23.trs YES 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.05 0.05 0.16 0.51 0.50 0.02
Zantema_05/z24.trs YES 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.03 0.02 0.06 0.12 0.12 0.02
Zantema_05/z25.trs YES 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02 0.04 0.03 0.06 0.25 0.25 0.02
Zantema_05/z26.trs YES 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02 0.36 0.34 0.70 0.80 0.81 0.02
Zantema_05/z29.trs YES 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.03 0.16 0.16 0.02
Zantema_05/z30.trs YES 0.01 0.01 25.12 0.01 0.01 34.59 44.30 34.17 60.29 60.02 60.01 60.06 60.05 23.84
POLOs POLOsm LPO KBO WPOs+ WPOs WPOm WPOsm POLOp POLOpm TKBO WPOp WPOpm POLO+LPO+KBO
YES # 41 41 90 115 126 135 109 135 104 104 132 149 149 130
time 0.42 0.41 1.29 2.07 2.3 2.68 2.01 2.71 2.56 2.4 6.2 21.84 21.85 2.53
avr. 0.01 0.01 0.014 0.018 0.018 0.02 0.018 0.02 0.025 0.023 0.047 0.147 0.147 0.019
NO # 0 0 0 0 0 0 0 0 0 0 0 0 0 0
MAYBE # 398 398 349 324 313 304 330 304 332 332 304 287 287 309
time 4.03 4.05 30.35 4.13 4.4 40.48 51.76 40.01 20.5 19.89 40.05 78.99 78.92 32.82
avr. 0.01 0.01 0.087 0.013 0.014 0.133 0.157 0.132 0.062 0.06 0.132 0.275 0.275 0.106
TIMEOUT # 0 0 0 0 0 0 0 0 3 3 3 3 3 0
time 180.31 180.78 180.08 180.09 180.09
avr. 60.103 60.26 60.027 60.03 60.03
Total # 439 439 439 439 439 439 439 439 439 439 439 439 439 439
time 4.45 4.46 31.64 6.2 6.7 43.16 53.77 42.72 203.37 203.07 226.33 280.92 280.86 35.35
avr. 0.01 0.01 0.072 0.014 0.015 0.098 0.122 0.097 0.463 0.463 0.516 0.64 0.64 0.081