Runtime_Complexity__Full_Rewriting/AG01/#3.1.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.10.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.12.xml |
5.3 /
12.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.13.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.15.xml |
0.7 /
3.3 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.16.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.17.xml |
7.5 /
15.9 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.17a.xml |
10.5 /
16.7 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.18.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.19.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.2.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.21.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.22.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.23.xml |
0.1 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.24.xml |
0.6 /
3.3 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.26.xml |
4.8 /
8.3 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.29.xml |
0.1 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.31.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.33.xml |
6.7 /
6.5 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.35.xml |
0.6 /
3.3 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.36.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.37.xml |
2.0 /
12.7 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.38.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.39.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.4.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.40.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.41.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.42.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.47.xml |
0.1 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.48.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.49.xml |
88.4 /
60.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.5.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.51.xml |
4.9 /
9.6 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.52.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.53.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.53a.xml |
0.1 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.53b.xml |
0.1 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.54.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.55.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.56.xml |
1.9 /
9.6 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.57.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.5a.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.5b.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.6.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.6a.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.6b.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.7.xml |
1.3 /
6.5 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.8a.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#3.8b.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/AG01/#4.30c.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_04/AAECC-ring.xml |
0.2 /
0.2 s
|
ime_Complexity__Full_Rewriting/AProVE_04/AAECC.xml |
0.2 /
0.2 s
|
e_Complexity__Full_Rewriting/AProVE_04/IJCAR_1.xml |
0.2 /
0.2 s
|
_Complexity__Full_Rewriting/AProVE_04/IJCAR_12.xml |
0.2 /
0.2 s
|
_Complexity__Full_Rewriting/AProVE_04/IJCAR_18.xml |
0.2 /
0.2 s
|
_Complexity__Full_Rewriting/AProVE_04/IJCAR_26.xml |
0.2 /
0.2 s
|
Complexity__Full_Rewriting/AProVE_04/IJCAR_26a.xml |
0.2 /
0.2 s
|
_Complexity__Full_Rewriting/AProVE_04/JFP_Ex31.xml |
0.2 /
0.2 s
|
_Complexity__Full_Rewriting/AProVE_04/JFP_Ex51.xml |
0.2 /
0.2 s
|
plexity__Full_Rewriting/AProVE_04/LPAR_intlist.xml |
95.3 /
66.5 s
|
mplexity__Full_Rewriting/AProVE_04/Liveness6.1.xml |
241.3 /
73.9 s
|
mplexity__Full_Rewriting/AProVE_04/Liveness6.2.xml |
30.0 /
20.4 s
|
mplexity__Full_Rewriting/AProVE_04/Liveness6.3.xml |
246.6 /
69.3 s
|
mplexity__Full_Rewriting/AProVE_04/Liveness6.4.xml |
241.0 /
69.3 s
|
Complexity__Full_Rewriting/AProVE_04/Liveness8.xml |
164.5 /
65.6 s
|
plexity__Full_Rewriting/AProVE_04/Liveness_WRS.xml |
62.4 /
37.7 s
|
ntime_Complexity__Full_Rewriting/AProVE_04/fac.xml |
0.2 /
0.2 s
|
Full_Rewriting/AProVE_04/forward_instantiation.xml |
0.2 /
0.2 s
|
ull_Rewriting/AProVE_04/forward_instantiation2.xml |
0.1 /
0.2 s
|
xity__Full_Rewriting/AProVE_04/improved_usable.xml |
0.1 /
0.2 s
|
ity__Full_Rewriting/AProVE_04/improved_usable2.xml |
0.1 /
0.2 s
|
time_Complexity__Full_Rewriting/AProVE_04/rta1.xml |
0.2 /
0.2 s
|
time_Complexity__Full_Rewriting/AProVE_04/rta2.xml |
0.1 /
0.2 s
|
time_Complexity__Full_Rewriting/AProVE_04/rta3.xml |
0.2 /
0.2 s
|
xity__Full_Rewriting/AProVE_06/div_notCeTermin.xml |
0.2 /
0.2 s
|
lexity__Full_Rewriting/AProVE_06/div_notTermin.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_06/factorial1.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_06/factorial2.xml |
0.2 /
0.2 s
|
_Complexity__Full_Rewriting/AProVE_06/identity.xml |
10.8 /
8.7 s
|
Complexity__Full_Rewriting/AProVE_06/logarithm.xml |
0.2 /
0.2 s
|
e_Complexity__Full_Rewriting/AProVE_06/mapHard.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/AProVE_06/modulo.xml |
0.2 /
0.2 s
|
e_Complexity__Full_Rewriting/AProVE_06/nonterm.xml |
23.3 /
18.9 s
|
Complexity__Full_Rewriting/AProVE_06/quicksort.xml |
0.2 /
0.2 s
|
time_Complexity__Full_Rewriting/AProVE_06/quot.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_06/sizeChange.xml |
0.2 /
0.2 s
|
ime_Complexity__Full_Rewriting/AProVE_06/tower.xml |
0.2 /
0.2 s
|
ity__Full_Rewriting/AProVE_06/tower_sizeChange.xml |
16.2 /
11.2 s
|
Complexity__Full_Rewriting/AProVE_07/kabasci01.xml |
0.2 /
0.2 s
|
Complexity__Full_Rewriting/AProVE_07/kabasci02.xml |
0.2 /
0.2 s
|
Complexity__Full_Rewriting/AProVE_07/kabasci03.xml |
0.2 /
0.2 s
|
Complexity__Full_Rewriting/AProVE_07/kabasci04.xml |
0.2 /
0.2 s
|
Complexity__Full_Rewriting/AProVE_07/kabasci05.xml |
0.2 /
0.2 s
|
Complexity__Full_Rewriting/AProVE_07/kabasci06.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/AProVE_07/otto01.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/AProVE_07/otto02.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/AProVE_07/otto03.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/AProVE_07/otto04.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/AProVE_07/otto05.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/AProVE_07/otto06.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/AProVE_07/otto07.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/AProVE_07/otto08.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/AProVE_07/otto09.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/AProVE_07/otto10.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/AProVE_07/otto11.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/AProVE_07/otto12.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/AProVE_07/otto13.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann01.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann02.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann03.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann04.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann05.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann06.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann07.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann08.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann09.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann10.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann11.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann12.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann13.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann14.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann15.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann16.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann17.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann18.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann19.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann20.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann21.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann22.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann23.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann24.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann25.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann26.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann27.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann28.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann29.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann30.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann31.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann32.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann33.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann34.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann35.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann36.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann37.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann38.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann39.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann40.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/AProVE_07/thiemann41.xml |
0.2 /
0.2 s
|
e_Complexity__Full_Rewriting/AProVE_07/wiehe01.xml |
0.2 /
0.2 s
|
e_Complexity__Full_Rewriting/AProVE_07/wiehe02.xml |
0.2 /
0.2 s
|
e_Complexity__Full_Rewriting/AProVE_07/wiehe03.xml |
0.2 /
0.2 s
|
e_Complexity__Full_Rewriting/AProVE_07/wiehe05.xml |
0.2 /
0.2 s
|
e_Complexity__Full_Rewriting/AProVE_07/wiehe06.xml |
0.2 /
0.2 s
|
e_Complexity__Full_Rewriting/AProVE_07/wiehe07.xml |
0.2 /
0.2 s
|
e_Complexity__Full_Rewriting/AProVE_07/wiehe08.xml |
0.2 /
0.2 s
|
e_Complexity__Full_Rewriting/AProVE_07/wiehe09.xml |
0.2 /
0.2 s
|
e_Complexity__Full_Rewriting/AProVE_07/wiehe11.xml |
0.2 /
0.2 s
|
e_Complexity__Full_Rewriting/AProVE_07/wiehe12.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/AProVE_08/id_inc.xml |
0.2 /
0.2 s
|
ntime_Complexity__Full_Rewriting/AProVE_08/log.xml |
0.2 /
0.2 s
|
ty__Full_Rewriting/AProVE_08/parting01_reverse.xml |
0.2 /
0.2 s
|
_Full_Rewriting/AProVE_08/parting02_doublelist.xml |
0.2 /
0.2 s
|
ty__Full_Rewriting/AProVE_08/parting03_minsort.xml |
0.2 /
0.2 s
|
__Full_Rewriting/AProVE_08/parting04_maxsort_h.xml |
0.2 /
0.2 s
|
ty__Full_Rewriting/AProVE_08/parting05_maxsort.xml |
0.2 /
0.2 s
|
ime_Complexity__Full_Rewriting/AProVE_08/round.xml |
4.8 /
7.2 s
|
lexity__Full_Rewriting/AProVE_08/round_nonterm.xml |
3.5 /
6.3 s
|
__Full_Rewriting/AProVE_08/thiemann40_modified.xml |
0.2 /
0.2 s
|
lexity__Full_Rewriting/AProVE_09_Inductive/div.xml |
0.2 /
0.2 s
|
ty__Full_Rewriting/AProVE_09_Inductive/divhard.xml |
0.2 /
0.2 s
|
lexity__Full_Rewriting/AProVE_09_Inductive/gcd.xml |
0.2 /
0.2 s
|
exity__Full_Rewriting/AProVE_09_Inductive/gcd2.xml |
0.2 /
0.2 s
|
ty__Full_Rewriting/AProVE_09_Inductive/gcdhard.xml |
0.2 /
0.2 s
|
lexity__Full_Rewriting/AProVE_09_Inductive/log.xml |
0.2 /
0.2 s
|
ty__Full_Rewriting/AProVE_09_Inductive/maxsort.xml |
0.2 /
0.2 s
|
Rewriting/AProVE_09_Inductive/maxsortcondition.xml |
0.2 /
0.2 s
|
ty__Full_Rewriting/AProVE_09_Inductive/minsort.xml |
0.2 /
0.2 s
|
lexity__Full_Rewriting/AProVE_09_Inductive/mod.xml |
0.2 /
0.2 s
|
xity__Full_Rewriting/AProVE_09_Inductive/qsort.xml |
0.2 /
0.2 s
|
__Full_Rewriting/AProVE_09_Inductive/qsortlast.xml |
0.2 /
0.2 s
|
Full_Rewriting/AProVE_09_Inductive/qsortmiddle.xml |
0.2 /
0.2 s
|
y__Full_Rewriting/AProVE_09_Inductive/zerolist.xml |
0.2 /
0.2 s
|
ime_Complexity__Full_Rewriting/Beerendonk_07/1.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/Beerendonk_07/10.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/Beerendonk_07/11.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/Beerendonk_07/12.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/Beerendonk_07/13.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/Beerendonk_07/14.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/Beerendonk_07/15.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/Beerendonk_07/16.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/Beerendonk_07/17.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/Beerendonk_07/18.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/Beerendonk_07/19.xml |
0.2 /
0.2 s
|
ime_Complexity__Full_Rewriting/Beerendonk_07/2.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/Beerendonk_07/20.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/Beerendonk_07/21.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/Beerendonk_07/22.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/Beerendonk_07/23.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/Beerendonk_07/24.xml |
0.2 /
0.2 s
|
ime_Complexity__Full_Rewriting/Beerendonk_07/3.xml |
0.2 /
0.2 s
|
ime_Complexity__Full_Rewriting/Beerendonk_07/4.xml |
0.2 /
0.2 s
|
ime_Complexity__Full_Rewriting/Beerendonk_07/5.xml |
0.2 /
0.2 s
|
ime_Complexity__Full_Rewriting/Beerendonk_07/6.xml |
0.2 /
0.2 s
|
ime_Complexity__Full_Rewriting/Beerendonk_07/7.xml |
0.2 /
0.2 s
|
ime_Complexity__Full_Rewriting/Beerendonk_07/8.xml |
0.2 /
0.2 s
|
ime_Complexity__Full_Rewriting/Beerendonk_07/9.xml |
0.2 /
0.2 s
|
_Complexity__Full_Rewriting/CiME_04/ack_prolog.xml |
0.2 /
0.2 s
|
Complexity__Full_Rewriting/CiME_04/append-hard.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/CiME_04/append-wrong.xml |
0.2 /
0.2 s
|
time_Complexity__Full_Rewriting/CiME_04/append.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/CiME_04/big.xml |
0.2 /
0.2 s
|
mplexity__Full_Rewriting/CiME_04/boolean_rings.xml |
0.2 /
0.2 s
|
untime_Complexity__Full_Rewriting/CiME_04/dpqs.xml |
5.6 /
12.8 s
|
e_Complexity__Full_Rewriting/CiME_04/fact-hard.xml |
0.2 /
0.2 s
|
e_Complexity__Full_Rewriting/CiME_04/filliatre.xml |
246.3 /
76.7 s
|
_Complexity__Full_Rewriting/CiME_04/filliatre2.xml |
128.5 /
62.2 s
|
_Complexity__Full_Rewriting/CiME_04/filliatre3.xml |
0.2 /
0.2 s
|
e_Complexity__Full_Rewriting/CiME_04/intersect.xml |
0.2 /
0.2 s
|
l_Rewriting/CiME_04/list-sum-prod-assoc-append.xml |
0.2 /
0.2 s
|
ty__Full_Rewriting/CiME_04/list-sum-prod-assoc.xml |
0.2 /
0.2 s
|
ting/CiME_04/list-sum-prod-bin-assoc-distr-app.xml |
0.2 /
0.2 s
|
Full_Rewriting/CiME_04/list-sum-prod-bin-assoc.xml |
0.2 /
0.2 s
|
xity__Full_Rewriting/CiME_04/list-sum-prod-bin.xml |
0.2 /
0.2 s
|
mplexity__Full_Rewriting/CiME_04/list-sum-prod.xml |
0.2 /
0.2 s
|
untime_Complexity__Full_Rewriting/CiME_04/log2.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/CiME_04/lse.xml |
0.2 /
0.2 s
|
time_Complexity__Full_Rewriting/CiME_04/maude2.xml |
0.2 /
0.2 s
|
time_Complexity__Full_Rewriting/CiME_04/mucrl1.xml |
0.4 /
0.4 s
|
omplexity__Full_Rewriting/CiME_04/ternary-hard.xml |
0.2 /
0.2 s
|
ime_Complexity__Full_Rewriting/CiME_04/ternary.xml |
0.2 /
0.2 s
|
untime_Complexity__Full_Rewriting/CiME_04/tree.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/Der95/01.xml |
0.3 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/Der95/02.xml |
0.3 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/Der95/03.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/Der95/04.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/Der95/06.xml |
3.1 /
6.7 s
|
Runtime_Complexity__Full_Rewriting/Der95/07.xml |
1.2 /
9.5 s
|
Runtime_Complexity__Full_Rewriting/Der95/08.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/Der95/09.xml |
0.3 /
3.2 s
|
Runtime_Complexity__Full_Rewriting/Der95/11.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/Der95/12.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/Der95/13.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/Der95/17.xml |
2.6 /
11.7 s
|
Runtime_Complexity__Full_Rewriting/Der95/18.xml |
0.1 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/Der95/20.xml |
1.7 /
5.4 s
|
Runtime_Complexity__Full_Rewriting/Der95/21.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/Der95/27.xml |
0.6 /
6.3 s
|
Runtime_Complexity__Full_Rewriting/Der95/28.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/Der95/30.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/Der95/31.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/Der95/32.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/Der95/33.xml |
0.2 /
0.2 s
|
Complexity__Full_Rewriting/Endrullis_06/direct.xml |
12.8 /
10.9 s
|
mplexity__Full_Rewriting/Endrullis_06/labeling.xml |
0.1 /
0.2 s
|
omplexity__Full_Rewriting/Endrullis_06/linear1.xml |
10.2 /
11.0 s
|
omplexity__Full_Rewriting/Endrullis_06/linear2.xml |
39.4 /
29.5 s
|
plexity__Full_Rewriting/Endrullis_06/pair2hard.xml |
0.2 /
0.2 s
|
xity__Full_Rewriting/Endrullis_06/pair2simple1.xml |
0.1 /
0.2 s
|
xity__Full_Rewriting/Endrullis_06/pair2simple2.xml |
0.2 /
0.2 s
|
plexity__Full_Rewriting/Endrullis_06/pair3hard.xml |
0.2 /
0.2 s
|
exity__Full_Rewriting/Endrullis_06/pair3rotate.xml |
88.6 /
55.5 s
|
plexity__Full_Rewriting/Endrullis_06/pair3swap.xml |
44.3 /
23.5 s
|
lexity__Full_Rewriting/Endrullis_06/quadruple1.xml |
37.3 /
29.9 s
|
lexity__Full_Rewriting/Endrullis_06/quadruple2.xml |
9.5 /
5.6 s
|
time_Complexity__Full_Rewriting/GTSSK07/cade01.xml |
0.2 /
0.2 s
|
time_Complexity__Full_Rewriting/GTSSK07/cade03.xml |
0.2 /
0.2 s
|
ime_Complexity__Full_Rewriting/GTSSK07/cade04t.xml |
0.2 /
0.2 s
|
ime_Complexity__Full_Rewriting/GTSSK07/cade05t.xml |
0.2 /
0.2 s
|
time_Complexity__Full_Rewriting/GTSSK07/cade06.xml |
0.2 /
0.2 s
|
time_Complexity__Full_Rewriting/GTSSK07/cade07.xml |
0.2 /
0.2 s
|
time_Complexity__Full_Rewriting/GTSSK07/cade08.xml |
0.2 /
0.2 s
|
time_Complexity__Full_Rewriting/GTSSK07/cade09.xml |
0.2 /
0.2 s
|
time_Complexity__Full_Rewriting/GTSSK07/cade10.xml |
0.2 /
0.2 s
|
time_Complexity__Full_Rewriting/GTSSK07/cade11.xml |
0.2 /
0.2 s
|
ime_Complexity__Full_Rewriting/GTSSK07/cade12t.xml |
0.2 /
0.2 s
|
ime_Complexity__Full_Rewriting/GTSSK07/cade13t.xml |
0.2 /
0.2 s
|
time_Complexity__Full_Rewriting/GTSSK07/cade14.xml |
0.2 /
0.2 s
|
time_Complexity__Full_Rewriting/GTSSK07/cade15.xml |
0.2 /
0.2 s
|
time_Complexity__Full_Rewriting/GTSSK07/cade16.xml |
0.2 /
0.2 s
|
time_Complexity__Full_Rewriting/GTSSK07/cade17.xml |
0.2 /
0.2 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/n002.xml |
0.2 /
5.2 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/n003.xml |
0.3 /
5.2 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/n004.xml |
0.2 /
5.2 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/n005.xml |
0.3 /
5.2 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/n006.xml |
0.3 /
5.2 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/n007.xml |
0.2 /
0.2 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/n008.xml |
0.3 /
5.2 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/t000.xml |
9.8 /
7.4 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/t001.xml |
0.2 /
0.2 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/t002.xml |
0.2 /
0.2 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/t003.xml |
0.2 /
0.2 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/t004.xml |
1.4 /
5.4 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/t005.xml |
0.3 /
0.3 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/t006.xml |
0.2 /
0.2 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/t007.xml |
0.7 /
6.3 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/t008.xml |
17.2 /
13.7 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/t009.xml |
238.6 /
64.8 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/t010.xml |
0.7 /
6.3 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/t011.xml |
0.6 /
6.3 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/t012.xml |
2.1 /
5.5 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/t013.xml |
0.2 /
0.2 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/t014.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/Mixed_TRS/1.xml |
2.6 /
6.3 s
|
Runtime_Complexity__Full_Rewriting/Mixed_TRS/2.xml |
1.4 /
5.5 s
|
Runtime_Complexity__Full_Rewriting/Mixed_TRS/3.xml |
0.1 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/Mixed_TRS/4.xml |
2.0 /
5.8 s
|
Runtime_Complexity__Full_Rewriting/Mixed_TRS/5.xml |
0.1 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/Mixed_TRS/6.xml |
1.7 /
5.7 s
|
Runtime_Complexity__Full_Rewriting/Mixed_TRS/7.xml |
0.1 /
0.2 s
|
lexity__Full_Rewriting/Mixed_TRS/Ex1_Luc04b_GM.xml |
108.0 /
78.1 s
|
ime_Complexity__Full_Rewriting/Mixed_TRS/beans.xml |
156.6 /
60.2 s
|
e_Complexity__Full_Rewriting/Mixed_TRS/fossacs.xml |
0.2 /
0.2 s
|
ntime_Complexity__Full_Rewriting/Mixed_TRS/gcd.xml |
0.2 /
0.2 s
|
Complexity__Full_Rewriting/Mixed_TRS/gcdMinMax.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/Mixed_TRS/gcd_triple.xml |
0.2 /
0.2 s
|
xity__Full_Rewriting/Mixed_TRS/hydra-Zantema06.xml |
0.2 /
0.2 s
|
ime_Complexity__Full_Rewriting/Mixed_TRS/hydra.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/Mixed_TRS/jones1.xml |
0.5 /
3.3 s
|
me_Complexity__Full_Rewriting/Mixed_TRS/jones2.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/Mixed_TRS/jones4.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/Mixed_TRS/jones5.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/Mixed_TRS/jones6.xml |
1.0 /
6.5 s
|
e_Complexity__Full_Rewriting/Mixed_TRS/minsort.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/Mixed_TRS/motivation.xml |
0.2 /
0.2 s
|
e_Complexity__Full_Rewriting/Mixed_TRS/perfect.xml |
0.2 /
0.2 s
|
_Complexity__Full_Rewriting/Mixed_TRS/perfect2.xml |
0.2 /
0.2 s
|
ime_Complexity__Full_Rewriting/Mixed_TRS/test1.xml |
0.2 /
0.2 s
|
ime_Complexity__Full_Rewriting/Mixed_TRS/while.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/Mixed_TRS/while2.xml |
0.2 /
0.2 s
|
ntime_Complexity__Full_Rewriting/Rubio_04/aoto.xml |
0.5 /
3.3 s
|
e_Complexity__Full_Rewriting/Rubio_04/bintrees.xml |
0.8 /
3.4 s
|
time_Complexity__Full_Rewriting/Rubio_04/bn122.xml |
0.2 /
0.2 s
|
time_Complexity__Full_Rewriting/Rubio_04/bn129.xml |
5.6 /
6.3 s
|
e_Complexity__Full_Rewriting/Rubio_04/division.xml |
0.2 /
0.2 s
|
e_Complexity__Full_Rewriting/Rubio_04/elimdupl.xml |
0.2 /
0.2 s
|
ntime_Complexity__Full_Rewriting/Rubio_04/enno.xml |
0.2 /
0.2 s
|
untime_Complexity__Full_Rewriting/Rubio_04/gcd.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/Rubio_04/gm.xml |
0.2 /
0.2 s
|
ntime_Complexity__Full_Rewriting/Rubio_04/gmnp.xml |
55.4 /
30.3 s
|
ntime_Complexity__Full_Rewriting/Rubio_04/koen.xml |
0.3 /
0.2 s
|
e_Complexity__Full_Rewriting/Rubio_04/lescanne.xml |
0.5 /
3.3 s
|
ime_Complexity__Full_Rewriting/Rubio_04/lindau.xml |
26.6 /
21.4 s
|
_Complexity__Full_Rewriting/Rubio_04/logarquot.xml |
0.2 /
0.2 s
|
ntime_Complexity__Full_Rewriting/Rubio_04/ma96.xml |
0.2 /
0.2 s
|
ime_Complexity__Full_Rewriting/Rubio_04/mfp90b.xml |
0.3 /
0.2 s
|
time_Complexity__Full_Rewriting/Rubio_04/mfp95.xml |
0.5 /
3.3 s
|
me_Complexity__Full_Rewriting/Rubio_04/nestrec.xml |
3.7 /
6.9 s
|
ntime_Complexity__Full_Rewriting/Rubio_04/p266.xml |
0.9 /
6.4 s
|
time_Complexity__Full_Rewriting/Rubio_04/polo2.xml |
0.2 /
0.2 s
|
ntime_Complexity__Full_Rewriting/Rubio_04/prov.xml |
0.2 /
0.2 s
|
time_Complexity__Full_Rewriting/Rubio_04/quick.xml |
0.2 /
0.2 s
|
_Complexity__Full_Rewriting/Rubio_04/quotminus.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/Rubio_04/revlist.xml |
0.2 /
0.2 s
|
me_Complexity__Full_Rewriting/Rubio_04/selsort.xml |
0.2 /
0.2 s
|
time_Complexity__Full_Rewriting/Rubio_04/test4.xml |
4.6 /
9.5 s
|
me_Complexity__Full_Rewriting/Rubio_04/test829.xml |
0.5 /
3.3 s
|
time_Complexity__Full_Rewriting/Rubio_04/wst99.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.01.xml |
0.8 /
3.3 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.02.xml |
3.4 /
6.6 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.03.xml |
0.9 /
6.4 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.04.xml |
0.5 /
3.3 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.05.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.06.xml |
0.6 /
3.3 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.07.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.08.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.09.xml |
0.7 /
6.4 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.10.xml |
2.6 /
8.6 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.11.xml |
0.6 /
3.3 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.12.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.13.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.14.xml |
2.2 /
5.5 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.15.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.16.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.17.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.18.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.19.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.20.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.21.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.22.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.23.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.24.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.25.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.26.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.27.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.28.xml |
0.1 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.29.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.30.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.31.xml |
1.2 /
6.5 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.32.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.33.xml |
1.4 /
9.5 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.34.xml |
1.3 /
5.4 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.35.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.36.xml |
0.5 /
3.3 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.37.xml |
0.1 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.38.xml |
0.9 /
6.4 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.39.xml |
3.1 /
11.7 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.40.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.41.xml |
1.0 /
3.4 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.42.xml |
6.9 /
24.6 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.43.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.44.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.45.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.46.xml |
0.5 /
3.3 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.47.xml |
0.4 /
3.3 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.48.xml |
0.3 /
0.3 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.49.xml |
0.4 /
0.3 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.50.xml |
3.2 /
6.8 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.51.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.52.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.53.xml |
0.7 /
6.3 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.54.xml |
0.4 /
3.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.55.xml |
0.4 /
3.3 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.56.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.57.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.58.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.59.xml |
0.1 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.60.xml |
1.9 /
3.3 s
|
Runtime_Complexity__Full_Rewriting/SK90/2.61.xml |
0.5 /
0.3 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.01.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.02.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.03.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.04.xml |
0.5 /
3.3 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.05.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.06.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.07.xml |
0.5 /
3.3 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.08.xml |
0.4 /
3.3 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.09.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.10.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.11.xml |
0.5 /
3.3 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.12.xml |
0.5 /
3.3 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.13.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.14.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.15.xml |
0.4 /
3.3 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.16.xml |
1.6 /
6.5 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.17.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.18.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.19.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.20.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.21.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.22.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.23.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.24.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.25.xml |
1.1 /
9.5 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.26.xml |
2.9 /
11.8 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.27.xml |
105.7 /
66.5 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.28.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.29.xml |
1.5 /
6.4 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.30.xml |
13.6 /
17.3 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.31.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.32.xml |
2.3 /
5.6 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.33.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.34.xml |
2.4 /
6.3 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.35.xml |
0.4 /
3.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.36.xml |
0.4 /
3.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.37.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.38.xml |
0.9 /
6.4 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.39.xml |
0.5 /
3.3 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.40.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.41.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.42.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.43.xml |
4.0 /
8.9 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.44.xml |
0.9 /
6.4 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.45.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.46.xml |
0.6 /
6.3 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.47.xml |
1.4 /
3.4 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.48.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.49.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.50.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.51.xml |
3.5 /
8.5 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.52.xml |
2.9 /
12.9 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.53.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.54.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.55.xml |
0.4 /
5.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.56.xml |
1.4 /
6.3 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.57.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.59.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.60.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/SK90/4.61.xml |
0.2 /
0.2 s
|
mplexity__Full_Rewriting/Secret_05_TRS/aprove1.xml |
0.2 /
0.2 s
|
mplexity__Full_Rewriting/Secret_05_TRS/aprove2.xml |
0.2 /
0.2 s
|
mplexity__Full_Rewriting/Secret_05_TRS/aprove3.xml |
0.2 /
0.2 s
|
mplexity__Full_Rewriting/Secret_05_TRS/aprove4.xml |
0.2 /
0.2 s
|
mplexity__Full_Rewriting/Secret_05_TRS/aprove5.xml |
0.2 /
0.2 s
|
Complexity__Full_Rewriting/Secret_05_TRS/cime1.xml |
0.2 /
0.2 s
|
Complexity__Full_Rewriting/Secret_05_TRS/cime2.xml |
0.2 /
0.2 s
|
Complexity__Full_Rewriting/Secret_05_TRS/cime3.xml |
0.2 /
0.2 s
|
Complexity__Full_Rewriting/Secret_05_TRS/cime4.xml |
0.2 /
0.2 s
|
Complexity__Full_Rewriting/Secret_05_TRS/cime5.xml |
0.2 /
0.2 s
|
lexity__Full_Rewriting/Secret_05_TRS/matchbox1.xml |
0.2 /
0.2 s
|
lexity__Full_Rewriting/Secret_05_TRS/matchbox2.xml |
4.3 /
7.3 s
|
plexity__Full_Rewriting/Secret_05_TRS/teparla1.xml |
5.6 /
8.0 s
|
plexity__Full_Rewriting/Secret_05_TRS/teparla2.xml |
3.2 /
6.2 s
|
plexity__Full_Rewriting/Secret_05_TRS/teparla3.xml |
3.0 /
6.4 s
|
_Complexity__Full_Rewriting/Secret_05_TRS/tpa1.xml |
0.2 /
0.2 s
|
_Complexity__Full_Rewriting/Secret_05_TRS/tpa2.xml |
0.2 /
0.2 s
|
_Complexity__Full_Rewriting/Secret_05_TRS/tpa3.xml |
0.2 /
0.2 s
|
_Complexity__Full_Rewriting/Secret_05_TRS/tpa4.xml |
0.2 /
0.2 s
|
_Complexity__Full_Rewriting/Secret_05_TRS/tpa5.xml |
0.2 /
0.2 s
|
_Complexity__Full_Rewriting/Secret_05_TRS/ttt1.xml |
0.1 /
0.2 s
|
_Complexity__Full_Rewriting/Secret_05_TRS/ttt2.xml |
1.5 /
5.5 s
|
me_Complexity__Full_Rewriting/Secret_06_TRS/10.xml |
15.6 /
14.9 s
|
ime_Complexity__Full_Rewriting/Secret_06_TRS/2.xml |
32.3 /
25.4 s
|
ime_Complexity__Full_Rewriting/Secret_06_TRS/3.xml |
5.5 /
6.9 s
|
ime_Complexity__Full_Rewriting/Secret_06_TRS/4.xml |
5.6 /
8.2 s
|
ime_Complexity__Full_Rewriting/Secret_06_TRS/5.xml |
6.2 /
8.4 s
|
ime_Complexity__Full_Rewriting/Secret_06_TRS/6.xml |
24.9 /
16.2 s
|
ime_Complexity__Full_Rewriting/Secret_06_TRS/7.xml |
76.3 /
45.5 s
|
ime_Complexity__Full_Rewriting/Secret_06_TRS/8.xml |
8.0 /
13.0 s
|
ime_Complexity__Full_Rewriting/Secret_06_TRS/9.xml |
12.0 /
15.9 s
|
mplexity__Full_Rewriting/Secret_06_TRS/addList.xml |
0.2 /
0.2 s
|
Complexity__Full_Rewriting/Secret_06_TRS/cime1.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/Secret_06_TRS/divExp.xml |
0.2 /
0.2 s
|
plexity__Full_Rewriting/Secret_06_TRS/division.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/Secret_06_TRS/double.xml |
0.2 /
0.2 s
|
Complexity__Full_Rewriting/Secret_06_TRS/gen-1.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/Secret_06_TRS/gen-10.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/Secret_06_TRS/gen-14.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/Secret_06_TRS/gen-15.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/Secret_06_TRS/gen-17.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/Secret_06_TRS/gen-18.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/Secret_06_TRS/gen-22.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/Secret_06_TRS/gen-25.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/Secret_06_TRS/gen-28.xml |
0.2 /
0.2 s
|
Complexity__Full_Rewriting/Secret_06_TRS/gen-9.xml |
0.2 /
0.2 s
|
lexity__Full_Rewriting/Secret_06_TRS/logarithm.xml |
0.2 /
0.2 s
|
lexity__Full_Rewriting/Secret_06_TRS/nrOfNodes.xml |
0.2 /
0.2 s
|
mplexity__Full_Rewriting/Secret_06_TRS/reverse.xml |
0.2 /
0.2 s
|
mplexity__Full_Rewriting/Secret_06_TRS/sumList.xml |
0.2 /
0.2 s
|
Complexity__Full_Rewriting/Secret_06_TRS/times.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/Secret_06_TRS/toList.xml |
0.2 /
0.2 s
|
Complexity__Full_Rewriting/Secret_06_TRS/tpa01.xml |
1.0 /
5.4 s
|
Complexity__Full_Rewriting/Secret_06_TRS/tpa02.xml |
1.0 /
5.3 s
|
Complexity__Full_Rewriting/Secret_06_TRS/tpa03.xml |
1.2 /
5.5 s
|
Complexity__Full_Rewriting/Secret_06_TRS/tpa04.xml |
0.2 /
0.2 s
|
Complexity__Full_Rewriting/Secret_06_TRS/tpa05.xml |
0.2 /
0.2 s
|
Complexity__Full_Rewriting/Secret_06_TRS/tpa06.xml |
0.2 /
0.2 s
|
Complexity__Full_Rewriting/Secret_06_TRS/tpa07.xml |
0.2 /
0.2 s
|
Complexity__Full_Rewriting/Secret_06_TRS/tpa08.xml |
0.2 /
0.2 s
|
Complexity__Full_Rewriting/Secret_06_TRS/tpa09.xml |
0.2 /
0.2 s
|
Complexity__Full_Rewriting/Secret_06_TRS/tpa10.xml |
0.2 /
0.2 s
|
ime_Complexity__Full_Rewriting/Secret_07_TRS/1.xml |
5.5 /
7.7 s
|
ime_Complexity__Full_Rewriting/Secret_07_TRS/2.xml |
19.0 /
15.0 s
|
ime_Complexity__Full_Rewriting/Secret_07_TRS/3.xml |
33.1 /
27.0 s
|
ime_Complexity__Full_Rewriting/Secret_07_TRS/4.xml |
7.9 /
8.9 s
|
ime_Complexity__Full_Rewriting/Secret_07_TRS/5.xml |
146.4 /
60.2 s
|
ime_Complexity__Full_Rewriting/Secret_07_TRS/7.xml |
5.9 /
7.6 s
|
plexity__Full_Rewriting/Secret_07_TRS/aprove01.xml |
0.2 /
0.2 s
|
plexity__Full_Rewriting/Secret_07_TRS/aprove02.xml |
0.2 /
0.2 s
|
plexity__Full_Rewriting/Secret_07_TRS/aprove03.xml |
0.2 /
0.2 s
|
plexity__Full_Rewriting/Secret_07_TRS/aprove04.xml |
0.2 /
0.2 s
|
plexity__Full_Rewriting/Secret_07_TRS/aprove05.xml |
0.2 /
0.2 s
|
plexity__Full_Rewriting/Secret_07_TRS/aprove06.xml |
0.2 /
0.2 s
|
plexity__Full_Rewriting/Secret_07_TRS/aprove07.xml |
0.2 /
0.2 s
|
plexity__Full_Rewriting/Secret_07_TRS/aprove08.xml |
0.2 /
0.2 s
|
plexity__Full_Rewriting/Secret_07_TRS/aprove09.xml |
0.2 /
0.2 s
|
plexity__Full_Rewriting/Secret_07_TRS/aprove10.xml |
0.2 /
0.2 s
|
mplexity__Full_Rewriting/Secret_07_TRS/secret1.xml |
0.2 /
0.2 s
|
mplexity__Full_Rewriting/Secret_07_TRS/secret2.xml |
0.2 /
0.2 s
|
mplexity__Full_Rewriting/Secret_07_TRS/secret3.xml |
0.2 /
0.2 s
|
mplexity__Full_Rewriting/Secret_07_TRS/secret4.xml |
0.2 /
0.2 s
|
mplexity__Full_Rewriting/Secret_07_TRS/secret5.xml |
0.2 /
0.2 s
|
y__Full_Rewriting/Strategy_removed_AG01/#4.12a.xml |
0.1 /
0.2 s
|
ty__Full_Rewriting/Strategy_removed_AG01/#4.13.xml |
0.2 /
0.2 s
|
ty__Full_Rewriting/Strategy_removed_AG01/#4.14.xml |
0.1 /
0.2 s
|
ty__Full_Rewriting/Strategy_removed_AG01/#4.15.xml |
0.2 /
0.2 s
|
ty__Full_Rewriting/Strategy_removed_AG01/#4.16.xml |
0.1 /
0.2 s
|
ty__Full_Rewriting/Strategy_removed_AG01/#4.17.xml |
176.3 /
60.2 s
|
ty__Full_Rewriting/Strategy_removed_AG01/#4.18.xml |
48.0 /
43.3 s
|
ty__Full_Rewriting/Strategy_removed_AG01/#4.19.xml |
0.2 /
0.2 s
|
ity__Full_Rewriting/Strategy_removed_AG01/#4.2.xml |
0.2 /
0.2 s
|
ty__Full_Rewriting/Strategy_removed_AG01/#4.20.xml |
0.6 /
6.3 s
|
y__Full_Rewriting/Strategy_removed_AG01/#4.20a.xml |
0.8 /
6.4 s
|
ty__Full_Rewriting/Strategy_removed_AG01/#4.21.xml |
1.5 /
12.6 s
|
ty__Full_Rewriting/Strategy_removed_AG01/#4.22.xml |
0.2 /
0.2 s
|
ty__Full_Rewriting/Strategy_removed_AG01/#4.23.xml |
0.2 /
0.2 s
|
ty__Full_Rewriting/Strategy_removed_AG01/#4.25.xml |
0.4 /
5.2 s
|
ty__Full_Rewriting/Strategy_removed_AG01/#4.26.xml |
0.2 /
0.2 s
|
ty__Full_Rewriting/Strategy_removed_AG01/#4.27.xml |
0.2 /
0.2 s
|
ty__Full_Rewriting/Strategy_removed_AG01/#4.28.xml |
19.4 /
14.2 s
|
ty__Full_Rewriting/Strategy_removed_AG01/#4.29.xml |
0.2 /
0.2 s
|
ity__Full_Rewriting/Strategy_removed_AG01/#4.3.xml |
0.1 /
0.2 s
|
ty__Full_Rewriting/Strategy_removed_AG01/#4.30.xml |
0.2 /
0.2 s
|
y__Full_Rewriting/Strategy_removed_AG01/#4.30a.xml |
0.2 /
0.2 s
|
y__Full_Rewriting/Strategy_removed_AG01/#4.30b.xml |
0.2 /
0.2 s
|
y__Full_Rewriting/Strategy_removed_AG01/#4.30c.xml |
0.2 /
0.2 s
|
ty__Full_Rewriting/Strategy_removed_AG01/#4.32.xml |
0.1 /
0.2 s
|
ty__Full_Rewriting/Strategy_removed_AG01/#4.33.xml |
0.2 /
0.2 s
|
ty__Full_Rewriting/Strategy_removed_AG01/#4.34.xml |
0.2 /
0.2 s
|
ty__Full_Rewriting/Strategy_removed_AG01/#4.35.xml |
0.2 /
0.2 s
|
ty__Full_Rewriting/Strategy_removed_AG01/#4.36.xml |
0.2 /
0.2 s
|
ty__Full_Rewriting/Strategy_removed_AG01/#4.37.xml |
1.0 /
6.4 s
|
y__Full_Rewriting/Strategy_removed_AG01/#4.37a.xml |
1.3 /
6.5 s
|
ity__Full_Rewriting/Strategy_removed_AG01/#4.4.xml |
0.1 /
0.2 s
|
ity__Full_Rewriting/Strategy_removed_AG01/#4.7.xml |
0.1 /
0.2 s
|
_Rewriting/Strategy_removed_CSR_05/Ex14_AEGL02.xml |
0.2 /
0.2 s
|
l_Rewriting/Strategy_removed_CSR_05/Ex15_Luc98.xml |
0.2 /
0.2 s
|
_Rewriting/Strategy_removed_CSR_05/Ex1_2_AEL03.xml |
0.2 /
0.2 s
|
Rewriting/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml |
0.1 /
0.2 s
|
ll_Rewriting/Strategy_removed_CSR_05/Ex1_GL02a.xml |
0.2 /
0.2 s
|
ull_Rewriting/Strategy_removed_CSR_05/Ex1_GM03.xml |
0.2 /
0.2 s
|
ull_Rewriting/Strategy_removed_CSR_05/Ex1_GM99.xml |
0.1 /
0.2 s
|
l_Rewriting/Strategy_removed_CSR_05/Ex1_Luc02b.xml |
0.2 /
0.2 s
|
ll_Rewriting/Strategy_removed_CSR_05/Ex1_Zan97.xml |
1.2 /
5.4 s
|
ll_Rewriting/Strategy_removed_CSR_05/Ex24_GM04.xml |
0.2 /
0.2 s
|
_Rewriting/Strategy_removed_CSR_05/Ex26_Luc03b.xml |
0.2 /
0.2 s
|
l_Rewriting/Strategy_removed_CSR_05/Ex2_Luc03b.xml |
0.2 /
0.2 s
|
ewriting/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml |
0.2 /
0.2 s
|
_Rewriting/Strategy_removed_CSR_05/Ex3_2_Luc97.xml |
0.2 /
0.2 s
|
writing/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml |
0.2 /
0.2 s
|
ll_Rewriting/Strategy_removed_CSR_05/Ex49_GM04.xml |
0.2 /
0.2 s
|
Rewriting/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml |
0.2 /
0.2 s
|
writing/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml |
2.0 /
5.6 s
|
writing/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml |
0.2 /
0.2 s
|
writing/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml |
0.2 /
0.2 s
|
writing/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml |
0.6 /
5.3 s
|
ll_Rewriting/Strategy_removed_CSR_05/Ex4_Zan97.xml |
0.2 /
0.2 s
|
_Rewriting/Strategy_removed_CSR_05/Ex5_7_Luc97.xml |
0.2 /
0.2 s
|
ll_Rewriting/Strategy_removed_CSR_05/Ex5_Zan97.xml |
0.7 /
5.3 s
|
Rewriting/Strategy_removed_CSR_05/Ex6_15_AEL02.xml |
0.2 /
0.2 s
|
Rewriting/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml |
0.2 /
0.2 s
|
ull_Rewriting/Strategy_removed_CSR_05/Ex6_GM04.xml |
0.5 /
5.2 s
|
ll_Rewriting/Strategy_removed_CSR_05/Ex6_Luc98.xml |
0.2 /
0.2 s
|
ll_Rewriting/Strategy_removed_CSR_05/Ex7_BLR02.xml |
0.2 /
0.2 s
|
ll_Rewriting/Strategy_removed_CSR_05/Ex8_BLR02.xml |
0.2 /
0.2 s
|
ll_Rewriting/Strategy_removed_CSR_05/Ex9_BLR02.xml |
0.2 /
0.2 s
|
ting/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml |
0.2 /
0.2 s
|
Rewriting/Strategy_removed_CSR_05/ExConc_Zan97.xml |
0.5 /
5.2 s
|
ewriting/Strategy_removed_CSR_05/ExIntrod_GM01.xml |
3.7 /
10.7 s
|
ewriting/Strategy_removed_CSR_05/ExIntrod_GM04.xml |
1.9 /
5.5 s
|
ewriting/Strategy_removed_CSR_05/ExIntrod_GM99.xml |
0.2 /
0.2 s
|
writing/Strategy_removed_CSR_05/ExIntrod_Zan97.xml |
0.2 /
0.2 s
|
ing/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml |
0.2 /
0.2 s
|
Full_Rewriting/Strategy_removed_mixed_05/bn111.xml |
0.1 /
0.2 s
|
__Full_Rewriting/Strategy_removed_mixed_05/ex1.xml |
0.6 /
5.3 s
|
__Full_Rewriting/Strategy_removed_mixed_05/ex2.xml |
0.1 /
0.2 s
|
__Full_Rewriting/Strategy_removed_mixed_05/ex3.xml |
0.9 /
5.3 s
|
__Full_Rewriting/Strategy_removed_mixed_05/ex4.xml |
1.2 /
5.5 s
|
__Full_Rewriting/Strategy_removed_mixed_05/ex5.xml |
0.4 /
5.2 s
|
__Full_Rewriting/Strategy_removed_mixed_05/ex6.xml |
1.2 /
5.4 s
|
__Full_Rewriting/Strategy_removed_mixed_05/gkg.xml |
0.8 /
8.3 s
|
ull_Rewriting/Strategy_removed_mixed_05/muladd.xml |
0.2 /
0.2 s
|
_Full_Rewriting/Strategy_removed_mixed_05/n001.xml |
1.5 /
5.5 s
|
ull_Rewriting/Strategy_removed_mixed_05/test10.xml |
0.2 /
0.2 s
|
ull_Rewriting/Strategy_removed_mixed_05/test75.xml |
0.1 /
0.2 s
|
ull_Rewriting/Strategy_removed_mixed_05/test76.xml |
0.2 /
0.2 s
|
ull_Rewriting/Strategy_removed_mixed_05/test77.xml |
0.2 /
0.2 s
|
ll_Rewriting/Strategy_removed_mixed_05/test830.xml |
0.7 /
3.3 s
|
Full_Rewriting/Strategy_removed_mixed_05/test9.xml |
0.2 /
0.2 s
|
ull_Rewriting/Strategy_removed_mixed_05/toyama.xml |
0.1 /
0.2 s
|
ll_Rewriting/Strategy_removed_mixed_05/tricky1.xml |
0.2 /
0.2 s
|
mplexity__Full_Rewriting/TCT_12/polycounter-10.xml |
0.2 /
0.2 s
|
omplexity__Full_Rewriting/TCT_12/polycounter-5.xml |
0.2 /
0.2 s
|
Complexity__Full_Rewriting/TCT_12/recursion-10.xml |
0.2 /
0.2 s
|
_Complexity__Full_Rewriting/TCT_12/recursion-5.xml |
0.2 /
0.2 s
|
Runtime_Complexity__Full_Rewriting/TCT_12/sat.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex14_AEGL02_C.xml |
0.2 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex14_AEGL02_FR.xml |
0.2 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex14_AEGL02_GM.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex14_AEGL02_L.xml |
0.4 /
5.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex14_AEGL02_Z.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/Ex14_AEGL02_iGM.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex14_Luc06_C.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex14_Luc06_FR.xml |
0.1 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex14_Luc06_GM.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex14_Luc06_L.xml |
1.1 /
5.3 s
|
ll_Rewriting/Transformed_CSR_04/Ex14_Luc06_iGM.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_C.xml |
76.6 /
44.5 s
|
ull_Rewriting/Transformed_CSR_04/Ex15_Luc06_FR.xml |
1.5 /
9.6 s
|
ull_Rewriting/Transformed_CSR_04/Ex15_Luc06_GM.xml |
1.0 /
6.4 s
|
Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_L.xml |
0.2 /
5.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_Z.xml |
1.3 /
6.5 s
|
ll_Rewriting/Transformed_CSR_04/Ex15_Luc06_iGM.xml |
4.5 /
16.0 s
|
Full_Rewriting/Transformed_CSR_04/Ex15_Luc98_C.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex15_Luc98_FR.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex15_Luc98_GM.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex15_Luc98_L.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex15_Luc98_Z.xml |
0.2 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex15_Luc98_iGM.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex16_Luc06_C.xml |
228.2 /
63.4 s
|
ull_Rewriting/Transformed_CSR_04/Ex16_Luc06_FR.xml |
0.6 /
5.3 s
|
ull_Rewriting/Transformed_CSR_04/Ex16_Luc06_GM.xml |
1.6 /
11.5 s
|
Full_Rewriting/Transformed_CSR_04/Ex16_Luc06_L.xml |
0.3 /
5.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex16_Luc06_iGM.xml |
73.6 /
56.6 s
|
Full_Rewriting/Transformed_CSR_04/Ex18_Luc06_C.xml |
62.7 /
40.9 s
|
ull_Rewriting/Transformed_CSR_04/Ex18_Luc06_FR.xml |
1.0 /
6.4 s
|
ull_Rewriting/Transformed_CSR_04/Ex18_Luc06_GM.xml |
1.3 /
9.5 s
|
Full_Rewriting/Transformed_CSR_04/Ex18_Luc06_L.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex18_Luc06_Z.xml |
0.3 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex18_Luc06_iGM.xml |
3.6 /
9.7 s
|
ull_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_C.xml |
0.2 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_FR.xml |
0.2 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_GM.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_L.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_Z.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_iGM.xml |
0.2 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_C.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml |
0.2 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_L.xml |
0.1 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_iGM.xml |
0.2 /
0.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_C.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_FR.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_GM.xml |
0.2 /
0.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_L.xml |
0.5 /
5.3 s
|
_Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_Z.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex1_GL02a_iGM.xml |
0.2 /
0.2 s
|
__Full_Rewriting/Transformed_CSR_04/Ex1_GM03_C.xml |
0.2 /
0.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex1_GM03_FR.xml |
0.2 /
0.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex1_GM03_GM.xml |
0.2 /
0.2 s
|
__Full_Rewriting/Transformed_CSR_04/Ex1_GM03_L.xml |
0.2 /
0.2 s
|
__Full_Rewriting/Transformed_CSR_04/Ex1_GM03_Z.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex1_GM03_iGM.xml |
0.2 /
0.2 s
|
__Full_Rewriting/Transformed_CSR_04/Ex1_GM99_C.xml |
0.2 /
0.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex1_GM99_FR.xml |
0.2 /
0.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex1_GM99_GM.xml |
0.2 /
0.2 s
|
__Full_Rewriting/Transformed_CSR_04/Ex1_GM99_L.xml |
0.3 /
5.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex1_GM99_iGM.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex1_Luc02b_C.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex1_Luc02b_FR.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex1_Luc02b_GM.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex1_Luc02b_L.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex1_Luc02b_Z.xml |
0.2 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex1_Luc02b_iGM.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_C.xml |
295.2 /
85.7 s
|
ull_Rewriting/Transformed_CSR_04/Ex1_Luc04b_FR.xml |
9.0 /
7.7 s
|
ull_Rewriting/Transformed_CSR_04/Ex1_Luc04b_GM.xml |
94.1 /
62.8 s
|
Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_L.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_Z.xml |
2.4 /
5.6 s
|
ll_Rewriting/Transformed_CSR_04/Ex1_Luc04b_iGM.xml |
237.9 /
77.7 s
|
_Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_C.xml |
49.7 /
35.4 s
|
Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_FR.xml |
170.8 /
60.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_GM.xml |
0.4 /
0.3 s
|
_Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_L.xml |
0.3 /
5.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex1_Zan97_iGM.xml |
29.8 /
22.6 s
|
Full_Rewriting/Transformed_CSR_04/Ex23_Luc06_C.xml |
164.4 /
76.4 s
|
ull_Rewriting/Transformed_CSR_04/Ex23_Luc06_FR.xml |
1.3 /
6.5 s
|
ull_Rewriting/Transformed_CSR_04/Ex23_Luc06_GM.xml |
2.7 /
12.8 s
|
Full_Rewriting/Transformed_CSR_04/Ex23_Luc06_L.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex23_Luc06_Z.xml |
0.3 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex23_Luc06_iGM.xml |
8.4 /
19.5 s
|
_Full_Rewriting/Transformed_CSR_04/Ex24_GM04_C.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex24_GM04_FR.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex24_GM04_GM.xml |
0.2 /
0.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex24_GM04_L.xml |
0.3 /
5.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex24_GM04_Z.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex24_GM04_iGM.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex24_Luc06_C.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex24_Luc06_FR.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex24_Luc06_GM.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex24_Luc06_L.xml |
0.3 /
5.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex24_Luc06_iGM.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex25_Luc06_C.xml |
57.4 /
48.3 s
|
ull_Rewriting/Transformed_CSR_04/Ex25_Luc06_FR.xml |
4.3 /
22.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex25_Luc06_GM.xml |
4.3 /
19.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex25_Luc06_L.xml |
0.3 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex25_Luc06_Z.xml |
0.4 /
0.3 s
|
ll_Rewriting/Transformed_CSR_04/Ex25_Luc06_iGM.xml |
11.8 /
26.8 s
|
ull_Rewriting/Transformed_CSR_04/Ex26_Luc03b_C.xml |
0.2 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex26_Luc03b_FR.xml |
0.2 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex26_Luc03b_GM.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex26_Luc03b_L.xml |
0.4 /
0.3 s
|
ull_Rewriting/Transformed_CSR_04/Ex26_Luc03b_Z.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/Ex26_Luc03b_iGM.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex2_Luc02a_C.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex2_Luc02a_FR.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex2_Luc02a_GM.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex2_Luc02a_L.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex2_Luc02a_Z.xml |
0.2 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex2_Luc02a_iGM.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex2_Luc03b_C.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex2_Luc03b_FR.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex2_Luc03b_GM.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex2_Luc03b_L.xml |
0.4 /
0.3 s
|
Full_Rewriting/Transformed_CSR_04/Ex2_Luc03b_Z.xml |
0.2 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex2_Luc03b_iGM.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_C.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_L.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml |
0.2 /
0.2 s
|
Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_C.xml |
0.2 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_FR.xml |
0.2 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_GM.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_L.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_Z.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_iGM.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml |
0.2 /
0.2 s
|
Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml |
0.2 /
0.2 s
|
Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml |
0.3 /
0.2 s
|
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml |
0.2 /
0.2 s
|
ewriting/Transformed_CSR_04/Ex3_3_25_Bor03_iGM.xml |
0.2 /
0.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex49_GM04_C.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex49_GM04_FR.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex49_GM04_GM.xml |
0.2 /
0.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex49_GM04_L.xml |
0.2 /
0.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex49_GM04_Z.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex49_GM04_iGM.xml |
0.2 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_C.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml |
0.2 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_L.xml |
0.2 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml |
452.0 /
142.2 s
|
Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml |
4.7 /
16.0 s
|
Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml |
15.3 /
17.2 s
|
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml |
0.5 /
3.3 s
|
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml |
0.7 /
3.4 s
|
ewriting/Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml |
136.8 /
72.3 s
|
_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml |
0.2 /
0.2 s
|
Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml |
0.2 /
0.2 s
|
Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml |
0.2 /
0.2 s
|
ewriting/Transformed_CSR_04/Ex4_7_37_Bor03_iGM.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml |
0.2 /
0.2 s
|
Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml |
0.2 /
0.2 s
|
Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml |
0.1 /
0.2 s
|
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml |
0.2 /
0.2 s
|
ewriting/Transformed_CSR_04/Ex4_7_56_Bor03_iGM.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml |
256.8 /
93.1 s
|
Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml |
0.3 /
0.3 s
|
Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml |
1.6 /
9.6 s
|
_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml |
0.1 /
0.2 s
|
ewriting/Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml |
42.7 /
38.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_C.xml |
0.2 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_FR.xml |
0.2 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_GM.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_L.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_Z.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_iGM.xml |
0.2 /
0.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_C.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_FR.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_GM.xml |
0.2 /
0.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_L.xml |
0.2 /
0.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_Z.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex4_Zan97_iGM.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_C.xml |
0.2 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_FR.xml |
0.2 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_GM.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_L.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_Z.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_iGM.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_C.xml |
0.2 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_FR.xml |
0.2 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_GM.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_L.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_Z.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_iGM.xml |
0.2 /
0.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_C.xml |
211.9 /
60.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_FR.xml |
2.2 /
8.5 s
|
Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_GM.xml |
8.2 /
13.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_L.xml |
0.1 /
0.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_Z.xml |
0.3 /
0.3 s
|
ull_Rewriting/Transformed_CSR_04/Ex5_Zan97_iGM.xml |
134.5 /
63.5 s
|
ll_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_C.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_FR.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_GM.xml |
0.2 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_L.xml |
0.2 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_Z.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_iGM.xml |
0.2 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_C.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml |
0.2 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_L.xml |
0.1 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml |
0.2 /
0.2 s
|
__Full_Rewriting/Transformed_CSR_04/Ex6_GM04_C.xml |
68.8 /
39.9 s
|
_Full_Rewriting/Transformed_CSR_04/Ex6_GM04_FR.xml |
65.0 /
58.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex6_GM04_GM.xml |
0.4 /
0.3 s
|
__Full_Rewriting/Transformed_CSR_04/Ex6_GM04_L.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex6_GM04_iGM.xml |
4.7 /
16.0 s
|
_Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_C.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_FR.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_GM.xml |
0.2 /
0.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_L.xml |
0.3 /
0.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_Z.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex6_Luc98_iGM.xml |
0.2 /
0.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_C.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_FR.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_GM.xml |
0.2 /
0.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_L.xml |
0.2 /
0.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_Z.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex7_BLR02_iGM.xml |
0.2 /
0.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_C.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_FR.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_GM.xml |
0.2 /
0.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_L.xml |
0.2 /
0.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_Z.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex8_BLR02_iGM.xml |
0.2 /
0.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_C.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_FR.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_GM.xml |
0.2 /
0.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_L.xml |
0.4 /
0.3 s
|
_Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_Z.xml |
0.2 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex9_BLR02_iGM.xml |
0.2 /
0.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex9_Luc04_C.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex9_Luc04_FR.xml |
0.2 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex9_Luc04_GM.xml |
0.2 /
0.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex9_Luc04_L.xml |
0.1 /
0.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex9_Luc04_iGM.xml |
0.2 /
0.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex9_Luc06_C.xml |
214.0 /
82.7 s
|
Full_Rewriting/Transformed_CSR_04/Ex9_Luc06_FR.xml |
96.4 /
63.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex9_Luc06_GM.xml |
1.9 /
12.7 s
|
ull_Rewriting/Transformed_CSR_04/Ex9_Luc06_iGM.xml |
63.4 /
37.2 s
|
writing/Transformed_CSR_04/ExAppendixB_AEL03_C.xml |
0.2 /
0.2 s
|
riting/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml |
0.2 /
0.2 s
|
riting/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml |
0.2 /
0.2 s
|
writing/Transformed_CSR_04/ExAppendixB_AEL03_L.xml |
0.2 /
0.2 s
|
writing/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml |
0.2 /
0.2 s
|
iting/Transformed_CSR_04/ExAppendixB_AEL03_iGM.xml |
0.2 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/ExConc_Zan97_C.xml |
14.2 /
33.5 s
|
l_Rewriting/Transformed_CSR_04/ExConc_Zan97_FR.xml |
1.7 /
12.6 s
|
l_Rewriting/Transformed_CSR_04/ExConc_Zan97_GM.xml |
1.7 /
12.6 s
|
ll_Rewriting/Transformed_CSR_04/ExConc_Zan97_L.xml |
0.2 /
0.2 s
|
ll_Rewriting/Transformed_CSR_04/ExConc_Zan97_Z.xml |
0.7 /
5.3 s
|
_Rewriting/Transformed_CSR_04/ExConc_Zan97_iGM.xml |
20.7 /
30.0 s
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM01_C.xml |
262.3 /
74.5 s
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM01_FR.xml |
13.4 /
13.5 s
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM01_GM.xml |
179.7 /
100.6 s
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM01_L.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM01_Z.xml |
236.8 /
71.9 s
|
Rewriting/Transformed_CSR_04/ExIntrod_GM01_iGM.xml |
376.6 /
114.8 s
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM04_C.xml |
338.9 /
93.9 s
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM04_FR.xml |
12.7 /
11.0 s
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM04_GM.xml |
26.0 /
20.2 s
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM04_L.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM04_Z.xml |
205.6 /
66.8 s
|
Rewriting/Transformed_CSR_04/ExIntrod_GM04_iGM.xml |
378.2 /
121.6 s
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM99_C.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM99_FR.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM99_GM.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM99_L.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM99_Z.xml |
0.2 /
0.2 s
|
Rewriting/Transformed_CSR_04/ExIntrod_GM99_iGM.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_C.xml |
0.2 /
0.2 s
|
Rewriting/Transformed_CSR_04/ExIntrod_Zan97_FR.xml |
0.2 /
0.2 s
|
Rewriting/Transformed_CSR_04/ExIntrod_Zan97_GM.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_L.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_Z.xml |
0.2 /
0.2 s
|
ewriting/Transformed_CSR_04/ExIntrod_Zan97_iGM.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/ExProp7_Luc06_C.xml |
266.6 /
75.6 s
|
_Rewriting/Transformed_CSR_04/ExProp7_Luc06_FR.xml |
9.1 /
24.6 s
|
_Rewriting/Transformed_CSR_04/ExProp7_Luc06_GM.xml |
40.0 /
46.0 s
|
l_Rewriting/Transformed_CSR_04/ExProp7_Luc06_L.xml |
1.9 /
5.7 s
|
l_Rewriting/Transformed_CSR_04/ExProp7_Luc06_Z.xml |
2.4 /
5.8 s
|
Rewriting/Transformed_CSR_04/ExProp7_Luc06_iGM.xml |
281.4 /
91.2 s
|
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml |
0.2 /
0.2 s
|
writing/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml |
0.2 /
0.2 s
|
writing/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml |
0.2 /
0.2 s
|
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml |
0.2 /
0.2 s
|
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml |
0.2 /
0.2 s
|
riting/Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml |
0.2 /
0.2 s
|
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml |
0.2 /
0.2 s
|
writing/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml |
0.2 /
0.2 s
|
writing/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml |
0.2 /
0.2 s
|
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml |
0.2 /
0.2 s
|
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml |
0.2 /
0.2 s
|
riting/Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.xml |
0.2 /
0.2 s
|
sformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml |
0.3 /
0.3 s
|
nsformed_CSR_04/LISTUTILITIES_complete-noand_L.xml |
0.2 /
0.2 s
|
nsformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml |
0.3 /
0.3 s
|
ng/Transformed_CSR_04/LISTUTILITIES_complete_C.xml |
0.5 /
0.5 s
|
g/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml |
0.3 /
0.3 s
|
g/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml |
0.3 /
0.3 s
|
ng/Transformed_CSR_04/LISTUTILITIES_complete_L.xml |
0.2 /
0.2 s
|
ng/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml |
0.3 /
0.3 s
|
/Transformed_CSR_04/LISTUTILITIES_complete_iGM.xml |
0.5 /
0.5 s
|
nsformed_CSR_04/LISTUTILITIES_complete_noand_C.xml |
0.9 /
0.9 s
|
sformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml |
0.5 /
0.5 s
|
formed_CSR_04/LISTUTILITIES_complete_noand_iGM.xml |
1.0 /
1.0 s
|
nsformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml |
0.2 /
0.2 s
|
ansformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml |
0.2 /
0.2 s
|
ansformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml |
0.2 /
0.2 s
|
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml |
0.3 /
0.3 s
|
ng/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml |
0.2 /
0.2 s
|
ng/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml |
0.2 /
0.2 s
|
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml |
0.2 /
0.2 s
|
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml |
0.2 /
0.2 s
|
g/Transformed_CSR_04/LISTUTILITIES_nokinds_iGM.xml |
0.3 /
0.3 s
|
ansformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml |
0.4 /
0.5 s
|
nsformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml |
0.3 /
0.3 s
|
sformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM.xml |
0.4 /
0.5 s
|
nsformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml |
0.2 /
0.2 s
|
ansformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml |
0.2 /
0.2 s
|
ansformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml |
0.2 /
0.2 s
|
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml |
0.2 /
0.2 s
|
ng/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml |
0.2 /
0.2 s
|
ng/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml |
0.2 /
0.2 s
|
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml |
0.2 /
0.2 s
|
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml |
0.2 /
0.2 s
|
g/Transformed_CSR_04/LISTUTILITIES_nosorts_iGM.xml |
0.2 /
0.2 s
|
ansformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml |
0.3 /
0.3 s
|
nsformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml |
0.2 /
0.2 s
|
sformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM.xml |
0.3 /
0.3 s
|
d_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml |
0.2 /
0.2 s
|
ed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml |
0.2 /
0.2 s
|
ed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml |
0.2 /
0.2 s
|
nsformed_CSR_04/LengthOfFiniteLists_complete_C.xml |
0.3 /
0.3 s
|
sformed_CSR_04/LengthOfFiniteLists_complete_FR.xml |
0.2 /
0.2 s
|
sformed_CSR_04/LengthOfFiniteLists_complete_GM.xml |
0.2 /
0.2 s
|
nsformed_CSR_04/LengthOfFiniteLists_complete_L.xml |
0.2 /
0.2 s
|
nsformed_CSR_04/LengthOfFiniteLists_complete_Z.xml |
0.2 /
0.2 s
|
formed_CSR_04/LengthOfFiniteLists_complete_iGM.xml |
0.3 /
0.3 s
|
ed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml |
0.3 /
0.4 s
|
d_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml |
0.2 /
0.3 s
|
_CSR_04/LengthOfFiniteLists_complete_noand_iGM.xml |
0.3 /
0.4 s
|
ed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml |
0.2 /
0.2 s
|
med_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml |
0.2 /
0.2 s
|
med_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml |
0.2 /
0.2 s
|
ansformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml |
0.2 /
0.2 s
|
nsformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml |
0.2 /
0.2 s
|
nsformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml |
0.2 /
0.2 s
|
ansformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml |
0.2 /
0.2 s
|
ansformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml |
0.2 /
0.2 s
|
sformed_CSR_04/LengthOfFiniteLists_nokinds_iGM.xml |
0.2 /
0.2 s
|
med_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml |
0.2 /
0.2 s
|
ed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml |
0.2 /
0.2 s
|
d_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml |
0.2 /
0.2 s
|
ed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml |
11.3 /
10.5 s
|
med_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml |
0.2 /
0.2 s
|
ansformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml |
227.9 /
60.4 s
|
nsformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml |
193.3 /
60.2 s
|
nsformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml |
231.2 /
76.3 s
|
ansformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml |
0.1 /
0.2 s
|
sformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml |
255.0 /
88.5 s
|
med_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml |
228.0 /
60.3 s
|
ed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml |
232.7 /
73.2 s
|
d_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.xml |
232.4 /
67.6 s
|
ing/Transformed_CSR_04/MYNAT_complete-noand_FR.xml |
0.2 /
0.2 s
|
ting/Transformed_CSR_04/MYNAT_complete-noand_L.xml |
0.2 /
0.2 s
|
ting/Transformed_CSR_04/MYNAT_complete-noand_Z.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/MYNAT_complete_C.xml |
0.3 /
0.3 s
|
Rewriting/Transformed_CSR_04/MYNAT_complete_FR.xml |
0.2 /
0.2 s
|
Rewriting/Transformed_CSR_04/MYNAT_complete_GM.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/MYNAT_complete_L.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/MYNAT_complete_Z.xml |
0.2 /
0.2 s
|
ewriting/Transformed_CSR_04/MYNAT_complete_iGM.xml |
0.3 /
0.3 s
|
ting/Transformed_CSR_04/MYNAT_complete_noand_C.xml |
0.4 /
0.4 s
|
ing/Transformed_CSR_04/MYNAT_complete_noand_GM.xml |
0.3 /
0.3 s
|
ng/Transformed_CSR_04/MYNAT_complete_noand_iGM.xml |
0.4 /
0.4 s
|
ting/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml |
0.2 /
0.2 s
|
iting/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml |
0.2 /
0.2 s
|
iting/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/MYNAT_nokinds_C.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/MYNAT_nokinds_FR.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/MYNAT_nokinds_GM.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/MYNAT_nokinds_L.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/MYNAT_nokinds_Z.xml |
0.2 /
0.2 s
|
Rewriting/Transformed_CSR_04/MYNAT_nokinds_iGM.xml |
0.2 /
0.2 s
|
iting/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml |
0.2 /
0.2 s
|
ting/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml |
0.2 /
0.2 s
|
ing/Transformed_CSR_04/MYNAT_nokinds_noand_iGM.xml |
0.2 /
0.2 s
|
ting/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml |
0.2 /
0.2 s
|
iting/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/MYNAT_nosorts_C.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/MYNAT_nosorts_FR.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/MYNAT_nosorts_GM.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/MYNAT_nosorts_L.xml |
0.2 /
0.2 s
|
Rewriting/Transformed_CSR_04/MYNAT_nosorts_iGM.xml |
0.2 /
0.2 s
|
iting/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml |
0.2 /
0.2 s
|
ting/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml |
0.2 /
0.2 s
|
ing/Transformed_CSR_04/MYNAT_nosorts_noand_iGM.xml |
0.2 /
0.2 s
|
/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml |
0.2 /
0.2 s
|
g/Transformed_CSR_04/OvConsOS_complete-noand_L.xml |
0.2 /
0.2 s
|
g/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml |
0.2 /
0.2 s
|
writing/Transformed_CSR_04/OvConsOS_complete_C.xml |
0.3 /
0.3 s
|
riting/Transformed_CSR_04/OvConsOS_complete_FR.xml |
0.2 /
0.2 s
|
riting/Transformed_CSR_04/OvConsOS_complete_GM.xml |
0.2 /
0.2 s
|
writing/Transformed_CSR_04/OvConsOS_complete_L.xml |
0.2 /
0.2 s
|
writing/Transformed_CSR_04/OvConsOS_complete_Z.xml |
0.2 /
0.2 s
|
iting/Transformed_CSR_04/OvConsOS_complete_iGM.xml |
0.3 /
0.3 s
|
g/Transformed_CSR_04/OvConsOS_complete_noand_C.xml |
0.5 /
0.5 s
|
/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml |
0.3 /
0.3 s
|
Transformed_CSR_04/OvConsOS_complete_noand_iGM.xml |
0.5 /
0.5 s
|
g/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml |
0.2 /
0.2 s
|
ng/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml |
0.2 /
0.2 s
|
ng/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml |
0.2 /
0.2 s
|
ewriting/Transformed_CSR_04/OvConsOS_nokinds_C.xml |
0.2 /
0.2 s
|
writing/Transformed_CSR_04/OvConsOS_nokinds_FR.xml |
0.2 /
0.2 s
|
writing/Transformed_CSR_04/OvConsOS_nokinds_GM.xml |
0.2 /
0.2 s
|
ewriting/Transformed_CSR_04/OvConsOS_nokinds_L.xml |
0.2 /
0.2 s
|
ewriting/Transformed_CSR_04/OvConsOS_nokinds_Z.xml |
0.2 /
0.2 s
|
riting/Transformed_CSR_04/OvConsOS_nokinds_iGM.xml |
0.2 /
0.2 s
|
ng/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml |
0.3 /
0.3 s
|
g/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml |
0.2 /
0.2 s
|
/Transformed_CSR_04/OvConsOS_nokinds_noand_iGM.xml |
0.3 /
0.3 s
|
g/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml |
27.7 /
14.9 s
|
ng/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml |
0.2 /
0.2 s
|
ng/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml |
61.8 /
38.6 s
|
ewriting/Transformed_CSR_04/OvConsOS_nosorts_C.xml |
228.1 /
60.3 s
|
writing/Transformed_CSR_04/OvConsOS_nosorts_FR.xml |
47.3 /
28.6 s
|
writing/Transformed_CSR_04/OvConsOS_nosorts_GM.xml |
109.5 /
68.4 s
|
ewriting/Transformed_CSR_04/OvConsOS_nosorts_L.xml |
0.2 /
0.2 s
|
ewriting/Transformed_CSR_04/OvConsOS_nosorts_Z.xml |
227.9 /
60.3 s
|
riting/Transformed_CSR_04/OvConsOS_nosorts_iGM.xml |
388.6 /
124.8 s
|
ng/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml |
229.5 /
60.4 s
|
g/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml |
115.7 /
60.3 s
|
/Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml |
245.7 /
72.9 s
|
ransformed_CSR_04/PALINDROME_complete-noand_FR.xml |
0.2 /
0.2 s
|
Transformed_CSR_04/PALINDROME_complete-noand_L.xml |
233.5 /
64.2 s
|
Transformed_CSR_04/PALINDROME_complete-noand_Z.xml |
0.2 /
0.2 s
|
iting/Transformed_CSR_04/PALINDROME_complete_C.xml |
0.3 /
0.3 s
|
ting/Transformed_CSR_04/PALINDROME_complete_FR.xml |
0.2 /
0.2 s
|
ting/Transformed_CSR_04/PALINDROME_complete_GM.xml |
0.2 /
0.2 s
|
iting/Transformed_CSR_04/PALINDROME_complete_L.xml |
0.2 /
0.2 s
|
iting/Transformed_CSR_04/PALINDROME_complete_Z.xml |
0.2 /
0.2 s
|
ing/Transformed_CSR_04/PALINDROME_complete_iGM.xml |
0.3 /
0.3 s
|
Transformed_CSR_04/PALINDROME_complete_noand_C.xml |
0.4 /
0.4 s
|
ransformed_CSR_04/PALINDROME_complete_noand_GM.xml |
0.3 /
0.3 s
|
ansformed_CSR_04/PALINDROME_complete_noand_iGM.xml |
0.4 /
0.4 s
|
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml |
15.3 /
11.8 s
|
/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml |
20.9 /
16.1 s
|
/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml |
7.6 /
5.9 s
|
riting/Transformed_CSR_04/PALINDROME_nokinds_C.xml |
243.9 /
69.9 s
|
iting/Transformed_CSR_04/PALINDROME_nokinds_FR.xml |
10.4 /
10.4 s
|
iting/Transformed_CSR_04/PALINDROME_nokinds_GM.xml |
13.3 /
11.3 s
|
riting/Transformed_CSR_04/PALINDROME_nokinds_L.xml |
0.2 /
0.2 s
|
riting/Transformed_CSR_04/PALINDROME_nokinds_Z.xml |
4.3 /
4.6 s
|
ting/Transformed_CSR_04/PALINDROME_nokinds_iGM.xml |
159.7 /
64.5 s
|
/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml |
296.7 /
82.7 s
|
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml |
35.1 /
16.9 s
|
ransformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml |
242.4 /
67.4 s
|
Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml |
0.7 /
3.4 s
|
/Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml |
0.6 /
3.3 s
|
riting/Transformed_CSR_04/PALINDROME_nosorts_C.xml |
240.9 /
90.9 s
|
iting/Transformed_CSR_04/PALINDROME_nosorts_FR.xml |
0.7 /
3.4 s
|
iting/Transformed_CSR_04/PALINDROME_nosorts_GM.xml |
4.8 /
9.2 s
|
riting/Transformed_CSR_04/PALINDROME_nosorts_L.xml |
0.2 /
0.2 s
|
ting/Transformed_CSR_04/PALINDROME_nosorts_iGM.xml |
49.9 /
36.2 s
|
/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml |
284.4 /
98.5 s
|
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml |
5.9 /
9.5 s
|
ransformed_CSR_04/PALINDROME_nosorts_noand_iGM.xml |
73.3 /
53.8 s
|
ing/Transformed_CSR_04/PEANO_complete-noand_FR.xml |
0.2 /
0.2 s
|
ting/Transformed_CSR_04/PEANO_complete-noand_L.xml |
0.2 /
0.2 s
|
ting/Transformed_CSR_04/PEANO_complete-noand_Z.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/PEANO_complete_C.xml |
0.2 /
0.2 s
|
Rewriting/Transformed_CSR_04/PEANO_complete_FR.xml |
0.2 /
0.2 s
|
Rewriting/Transformed_CSR_04/PEANO_complete_GM.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/PEANO_complete_L.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/PEANO_complete_Z.xml |
0.2 /
0.2 s
|
ewriting/Transformed_CSR_04/PEANO_complete_iGM.xml |
0.2 /
0.2 s
|
ting/Transformed_CSR_04/PEANO_complete_noand_C.xml |
0.3 /
0.3 s
|
ing/Transformed_CSR_04/PEANO_complete_noand_GM.xml |
0.2 /
0.2 s
|
ng/Transformed_CSR_04/PEANO_complete_noand_iGM.xml |
0.3 /
0.3 s
|
ting/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml |
0.2 /
0.2 s
|
iting/Transformed_CSR_04/PEANO_nokinds-noand_L.xml |
0.2 /
0.2 s
|
iting/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/PEANO_nokinds_C.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/PEANO_nokinds_FR.xml |
0.2 /
0.2 s
|
_Rewriting/Transformed_CSR_04/PEANO_nokinds_GM.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/PEANO_nokinds_L.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/PEANO_nokinds_Z.xml |
0.2 /
0.2 s
|
Rewriting/Transformed_CSR_04/PEANO_nokinds_iGM.xml |
0.2 /
0.2 s
|
iting/Transformed_CSR_04/PEANO_nokinds_noand_C.xml |
0.2 /
0.2 s
|
ting/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml |
0.2 /
0.2 s
|
ing/Transformed_CSR_04/PEANO_nokinds_noand_iGM.xml |
0.2 /
0.2 s
|
ting/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml |
1.4 /
6.5 s
|
iting/Transformed_CSR_04/PEANO_nosorts-noand_L.xml |
0.2 /
0.2 s
|
l_Rewriting/Transformed_CSR_04/PEANO_nosorts_C.xml |
255.5 /
87.8 s
|
_Rewriting/Transformed_CSR_04/PEANO_nosorts_FR.xml |
0.5 /
3.3 s
|
_Rewriting/Transformed_CSR_04/PEANO_nosorts_GM.xml |
5.8 /
9.7 s
|
l_Rewriting/Transformed_CSR_04/PEANO_nosorts_L.xml |
0.2 /
0.2 s
|
Rewriting/Transformed_CSR_04/PEANO_nosorts_iGM.xml |
107.7 /
72.3 s
|
iting/Transformed_CSR_04/PEANO_nosorts_noand_C.xml |
1001.8 /
284.1 s
|
ting/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml |
11.5 /
18.8 s
|
ing/Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml |
133.3 /
71.0 s
|
ntime_Complexity__Full_Rewriting/Various_04/02.xml |
0.2 /
0.2 s
|
ntime_Complexity__Full_Rewriting/Various_04/03.xml |
0.2 /
0.2 s
|
ntime_Complexity__Full_Rewriting/Various_04/04.xml |
0.2 /
0.2 s
|
ntime_Complexity__Full_Rewriting/Various_04/05.xml |
0.2 /
0.2 s
|
ntime_Complexity__Full_Rewriting/Various_04/06.xml |
0.2 /
0.2 s
|
ntime_Complexity__Full_Rewriting/Various_04/07.xml |
0.2 /
0.2 s
|
ntime_Complexity__Full_Rewriting/Various_04/08.xml |
0.2 /
0.2 s
|
ntime_Complexity__Full_Rewriting/Various_04/09.xml |
0.2 /
0.2 s
|
ntime_Complexity__Full_Rewriting/Various_04/10.xml |
0.2 /
0.2 s
|
ntime_Complexity__Full_Rewriting/Various_04/11.xml |
0.2 /
0.2 s
|
ntime_Complexity__Full_Rewriting/Various_04/12.xml |
0.2 /
0.2 s
|
ntime_Complexity__Full_Rewriting/Various_04/13.xml |
0.2 /
0.2 s
|
ntime_Complexity__Full_Rewriting/Various_04/14.xml |
0.2 /
0.2 s
|
ntime_Complexity__Full_Rewriting/Various_04/15.xml |
1.9 /
5.5 s
|
ntime_Complexity__Full_Rewriting/Various_04/18.xml |
3.6 /
6.4 s
|
ntime_Complexity__Full_Rewriting/Various_04/19.xml |
2.3 /
5.5 s
|
ntime_Complexity__Full_Rewriting/Various_04/21.xml |
58.9 /
30.9 s
|
ntime_Complexity__Full_Rewriting/Various_04/22.xml |
0.1 /
0.2 s
|
ntime_Complexity__Full_Rewriting/Various_04/23.xml |
0.7 /
3.3 s
|
ntime_Complexity__Full_Rewriting/Various_04/24.xml |
13.6 /
9.3 s
|
ntime_Complexity__Full_Rewriting/Various_04/25.xml |
0.9 /
9.4 s
|
ntime_Complexity__Full_Rewriting/Various_04/26.xml |
0.2 /
0.2 s
|
ntime_Complexity__Full_Rewriting/Various_04/27.xml |
0.4 /
3.2 s
|
mplexity__Full_Rewriting/Waldmann_06/jwaprove1.xml |
3.9 /
6.8 s
|
mplexity__Full_Rewriting/Waldmann_06/jwaprove2.xml |
3.3 /
6.5 s
|
Complexity__Full_Rewriting/Waldmann_06/jwcime1.xml |
3.2 /
6.3 s
|
Complexity__Full_Rewriting/Waldmann_06/jwcime2.xml |
2.7 /
6.2 s
|
mplexity__Full_Rewriting/Waldmann_06/jwmatchb1.xml |
2.0 /
6.0 s
|
mplexity__Full_Rewriting/Waldmann_06/jwmatchb2.xml |
1.8 /
5.8 s
|
e_Complexity__Full_Rewriting/Waldmann_06/jwno1.xml |
1.4 /
5.4 s
|
e_Complexity__Full_Rewriting/Waldmann_06/jwno2.xml |
1.9 /
5.8 s
|
e_Complexity__Full_Rewriting/Waldmann_06/jwno3.xml |
5.5 /
8.3 s
|
e_Complexity__Full_Rewriting/Waldmann_06/jwno4.xml |
2.1 /
5.4 s
|
e_Complexity__Full_Rewriting/Waldmann_06/jwno5.xml |
1.9 /
5.7 s
|
e_Complexity__Full_Rewriting/Waldmann_06/jwno6.xml |
1.3 /
5.4 s
|
e_Complexity__Full_Rewriting/Waldmann_06/jwno7.xml |
3.5 /
6.9 s
|
e_Complexity__Full_Rewriting/Waldmann_06/jwno8.xml |
1.7 /
5.6 s
|
e_Complexity__Full_Rewriting/Waldmann_06/jwno9.xml |
1.6 /
5.6 s
|
plexity__Full_Rewriting/Waldmann_06/jwteparla1.xml |
0.2 /
0.2 s
|
plexity__Full_Rewriting/Waldmann_06/jwteparla2.xml |
0.1 /
0.2 s
|
_Complexity__Full_Rewriting/Waldmann_06/jwtpa1.xml |
1.6 /
5.5 s
|
_Complexity__Full_Rewriting/Waldmann_06/jwtpa2.xml |
1.5 /
5.4 s
|
e_Complexity__Full_Rewriting/Waldmann_06/jwttt.xml |
1.6 /
5.5 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw01.xml |
3.3 /
5.8 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw02.xml |
4.1 /
7.4 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw03.xml |
1.3 /
5.4 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw04.xml |
1.1 /
5.4 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw05.xml |
3.7 /
6.7 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw06.xml |
2.0 /
5.6 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw07.xml |
1.9 /
5.7 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw08.xml |
3.4 /
6.9 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw09.xml |
1.3 /
5.4 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw11.xml |
2.2 /
5.9 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw12.xml |
3.2 /
6.6 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw13.xml |
1.2 /
5.4 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw14.xml |
0.7 /
5.3 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw15.xml |
1.8 /
5.6 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw16.xml |
2.7 /
5.7 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw17.xml |
2.4 /
6.1 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw18.xml |
2.7 /
6.0 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw19.xml |
1.8 /
5.6 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw20.xml |
1.5 /
5.5 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw21.xml |
3.0 /
5.7 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw22.xml |
3.9 /
7.2 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw23.xml |
2.4 /
6.0 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw24.xml |
1.6 /
5.5 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw25.xml |
1.4 /
5.4 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw26.xml |
1.6 /
5.6 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw27.xml |
3.9 /
7.1 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw28.xml |
2.1 /
5.5 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw29.xml |
1.5 /
5.6 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw30.xml |
1.6 /
5.5 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw31.xml |
2.0 /
5.6 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw32.xml |
2.0 /
5.6 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw33.xml |
1.9 /
5.6 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw34.xml |
1.8 /
5.7 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw35.xml |
0.8 /
5.3 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw36.xml |
1.9 /
5.6 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw37.xml |
4.0 /
7.0 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw38.xml |
2.6 /
5.7 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw39.xml |
3.9 /
7.1 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw40.xml |
1.9 /
5.6 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw41.xml |
3.7 /
6.7 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw42.xml |
1.5 /
5.5 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw43.xml |
5.3 /
5.4 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw44.xml |
0.6 /
3.3 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw47.xml |
0.6 /
3.3 s
|
ime_Complexity__Full_Rewriting/Zantema_05/jw50.xml |
5.4 /
5.4 s
|
time_Complexity__Full_Rewriting/Zantema_05/z01.xml |
3.6 /
6.5 s
|
time_Complexity__Full_Rewriting/Zantema_05/z02.xml |
0.7 /
5.3 s
|
time_Complexity__Full_Rewriting/Zantema_05/z03.xml |
1.2 /
5.3 s
|
time_Complexity__Full_Rewriting/Zantema_05/z04.xml |
0.2 /
0.2 s
|
time_Complexity__Full_Rewriting/Zantema_05/z05.xml |
2.8 /
5.4 s
|
time_Complexity__Full_Rewriting/Zantema_05/z06.xml |
0.9 /
5.3 s
|
time_Complexity__Full_Rewriting/Zantema_05/z07.xml |
1.1 /
5.3 s
|
time_Complexity__Full_Rewriting/Zantema_05/z08.xml |
1.2 /
5.4 s
|
time_Complexity__Full_Rewriting/Zantema_05/z09.xml |
0.2 /
0.2 s
|
time_Complexity__Full_Rewriting/Zantema_05/z10.xml |
0.2 /
0.2 s
|
time_Complexity__Full_Rewriting/Zantema_05/z11.xml |
1.6 /
5.4 s
|
time_Complexity__Full_Rewriting/Zantema_05/z12.xml |
76.2 /
60.2 s
|
time_Complexity__Full_Rewriting/Zantema_05/z13.xml |
160.5 /
60.2 s
|
time_Complexity__Full_Rewriting/Zantema_05/z14.xml |
82.4 /
60.2 s
|
time_Complexity__Full_Rewriting/Zantema_05/z15.xml |
80.3 /
60.2 s
|
time_Complexity__Full_Rewriting/Zantema_05/z16.xml |
117.5 /
60.2 s
|
time_Complexity__Full_Rewriting/Zantema_05/z17.xml |
224.4 /
60.2 s
|
time_Complexity__Full_Rewriting/Zantema_05/z18.xml |
97.2 /
60.2 s
|
time_Complexity__Full_Rewriting/Zantema_05/z19.xml |
12.9 /
13.2 s
|
time_Complexity__Full_Rewriting/Zantema_05/z20.xml |
8.8 /
10.0 s
|
time_Complexity__Full_Rewriting/Zantema_05/z21.xml |
125.6 /
60.2 s
|
time_Complexity__Full_Rewriting/Zantema_05/z22.xml |
147.2 /
60.2 s
|
time_Complexity__Full_Rewriting/Zantema_05/z23.xml |
223.6 /
60.2 s
|
time_Complexity__Full_Rewriting/Zantema_05/z24.xml |
180.7 /
60.2 s
|
time_Complexity__Full_Rewriting/Zantema_05/z25.xml |
3.4 /
5.4 s
|
time_Complexity__Full_Rewriting/Zantema_05/z26.xml |
2.8 /
9.8 s
|
time_Complexity__Full_Rewriting/Zantema_05/z27.xml |
0.2 /
0.2 s
|
time_Complexity__Full_Rewriting/Zantema_05/z28.xml |
0.2 /
0.2 s
|
time_Complexity__Full_Rewriting/Zantema_05/z29.xml |
1.3 /
5.4 s
|
time_Complexity__Full_Rewriting/Zantema_05/z30.xml |
9.6 /
9.2 s
|