Termination Competition 2018: Runtime Complexity: TRS Certified30105

Job info CSV
tct 2018-07-13 tct_rc_cert
benchmark UPLOWTIME
Runtime_Complexity_Full_Rewriting/AProVE_09_Inductive/zerolist.xml 5160609 ∞ +0 1 +0 20.22/6.79
Runtime_Complexity_Full_Rewriting/AProVE_09_Inductive/log.xml 5160610 ∞ +0 1 +0 38.26/15.48
Runtime_Complexity_Full_Rewriting/AProVE_09_Inductive/maxsort.xml 5160611 ∞ +0 1 +0 866.04/296.38
Runtime_Complexity_Full_Rewriting/AProVE_09_Inductive/qsortlast.xml 5160612 ∞ +0 1 +0 926.54/296.25
Runtime_Complexity_Full_Rewriting/AProVE_09_Inductive/qsort.xml 5160613 ∞ +0 1 +0 654.65/296.13
Runtime_Complexity_Full_Rewriting/AProVE_09_Inductive/qsortmiddle.xml 5160614 StarExec error
Runtime_Complexity_Full_Rewriting/AProVE_09_Inductive/minsort.xml 5160615 ∞ +0 1 +0 868.11/297.15
Runtime_Complexity_Full_Rewriting/AProVE_09_Inductive/gcd2.xml 5160616 ∞ +0 1 +0 47.42/17.56
Runtime_Complexity_Full_Rewriting/AProVE_09_Inductive/maxsortcondition.xml 5160617 ∞ +0 1 +0 42.75/19.27
Runtime_Complexity_Full_Rewriting/AProVE_09_Inductive/div.xml 5160618 ∞ +0 1 +0 40.35/14.39
Runtime_Complexity_Full_Rewriting/AProVE_09_Inductive/mod.xml 5160619 ∞ +0 1 +0 44.33/16.62
Runtime_Complexity_Full_Rewriting/AProVE_09_Inductive/divhard.xml 5160620 ∞ +0 1 +0 41.64/14.39
Runtime_Complexity_Full_Rewriting/AProVE_09_Inductive/gcd.xml 5160621 ∞ +0 1 +0 37.17/14.31
Runtime_Complexity_Full_Rewriting/AProVE_09_Inductive/gcdhard.xml 5160622 ∞ +0 1 +0 42.33/18.24
Runtime_Complexity_Full_Rewriting/AProVE_08/log.xml 5160428 ∞ +0 1 +0 675.04/296.05
Runtime_Complexity_Full_Rewriting/AProVE_08/round_nonterm.xml 5160429 StarExec error
Runtime_Complexity_Full_Rewriting/AProVE_08/parting05_maxsort.xml 5160430 ∞ +0 1 +0 868.38/297.99
Runtime_Complexity_Full_Rewriting/AProVE_08/parting03_minsort.xml 5160431 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/AProVE_08/parting04_maxsort_h.xml 5160432 ∞ +0 1 +0 692.56/296.07
Runtime_Complexity_Full_Rewriting/AProVE_08/thiemann40_modified.xml 5160433 StarExec error
Runtime_Complexity_Full_Rewriting/AProVE_08/parting01_reverse.xml 5160434 ∞ +0 1 +0 866.89/296.40
Runtime_Complexity_Full_Rewriting/AProVE_08/round.xml 5160435 ∞ +0 1 +0 1.32/0.03
Runtime_Complexity_Full_Rewriting/AProVE_08/id_inc.xml 5160436 ∞ +0 1 +0 1.28/0.19
Runtime_Complexity_Full_Rewriting/AProVE_08/parting02_doublelist.xml 5160437 ∞ +0 1 +0 866.38/296.39
Runtime_Complexity_Full_Rewriting/CiME_04/filliatre2.xml 5160379 ∞ +0 1 +0 593.01/296.11
Runtime_Complexity_Full_Rewriting/CiME_04/tree.xml 5160380 ∞ +0 1 +0 993.78/296.34
Runtime_Complexity_Full_Rewriting/CiME_04/intersect.xml 5160381 ∞ +0 1 +0 56.65/27.93
Runtime_Complexity_Full_Rewriting/CiME_04/append-hard.xml 5160382 ∞ +0 1 +0 19.73/6.17
Runtime_Complexity_Full_Rewriting/CiME_04/ack_prolog.xml 5160383 ∞ +0 1 +0 26.54/10.32
Runtime_Complexity_Full_Rewriting/CiME_04/ternary-hard.xml 5160384 ∞ +0 1 +0 875.90/296.12
Runtime_Complexity_Full_Rewriting/CiME_04/filliatre.xml 5160385 ∞ +0 1 +0 652.52/236.48
Runtime_Complexity_Full_Rewriting/CiME_04/append.xml 5160386 n2 +1 1 +0 3.89/1.04
Runtime_Complexity_Full_Rewriting/CiME_04/fact-hard.xml 5160387 ∞ +0 1 +0 65.95/33.52
Runtime_Complexity_Full_Rewriting/CiME_04/list-sum-prod-bin-assoc.xml 5160388 ∞ +0 1 +0 903.72/296.02
Runtime_Complexity_Full_Rewriting/CiME_04/list-sum-prod-assoc-append.xml 5160389 ∞ +0 1 +0 46.29/20.31
Runtime_Complexity_Full_Rewriting/CiME_04/dpqs.xml 5160390 n1 +1 1 +0 0.84/0.14
Runtime_Complexity_Full_Rewriting/CiME_04/ternary.xml 5160391 pending submission
Runtime_Complexity_Full_Rewriting/CiME_04/filliatre3.xml 5160392 ∞ +0 1 +0 195.54/64.72
Runtime_Complexity_Full_Rewriting/CiME_04/list-sum-prod.xml 5160393 ∞ +0 1 +0 129.18/62.27
Runtime_Complexity_Full_Rewriting/CiME_04/lse.xml 5160394 StarExec error
Runtime_Complexity_Full_Rewriting/CiME_04/mucrl1.xml 5160395 ∞ +0 1 +0 6.00/1.73
Runtime_Complexity_Full_Rewriting/CiME_04/maude2.xml 5160396 pending submission
Runtime_Complexity_Full_Rewriting/CiME_04/log2.xml 5160397 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/CiME_04/append-wrong.xml 5160398 ∞ +0 1 +0 19.46/7.12
Runtime_Complexity_Full_Rewriting/CiME_04/list-sum-prod-assoc.xml 5160399 pending submission
Runtime_Complexity_Full_Rewriting/CiME_04/list-sum-prod-bin.xml 5160400 ∞ +0 1 +0 895.27/296.11
Runtime_Complexity_Full_Rewriting/CiME_04/big.xml 5160401 ∞ +0 1 +0 905.60/296.10
Runtime_Complexity_Full_Rewriting/CiME_04/list-sum-prod-bin-assoc-distr-app.xml 5160402 pending submission
Runtime_Complexity_Full_Rewriting/Beerendonk_07/12.xml 5160502 ∞ +0 1 +0 28.83/13.51
Runtime_Complexity_Full_Rewriting/Beerendonk_07/10.xml 5160503 ∞ +0 1 +0 28.66/9.98
Runtime_Complexity_Full_Rewriting/Beerendonk_07/14.xml 5160504 ∞ +0 1 +0 27.83/8.76
Runtime_Complexity_Full_Rewriting/Beerendonk_07/13.xml 5160505 ∞ +0 1 +0 25.93/8.48
Runtime_Complexity_Full_Rewriting/Beerendonk_07/3.xml 5160506 ∞ +0 1 +0 28.66/11.14
Runtime_Complexity_Full_Rewriting/Beerendonk_07/20.xml 5160507 ∞ +0 1 +0 737.12/296.12
Runtime_Complexity_Full_Rewriting/Beerendonk_07/7.xml 5160508 StarExec error
Runtime_Complexity_Full_Rewriting/Beerendonk_07/1.xml 5160509 ∞ +0 1 +0 17.39/6.11
Runtime_Complexity_Full_Rewriting/Beerendonk_07/17.xml 5160510 ∞ +0 1 +0 793.53/296.02
Runtime_Complexity_Full_Rewriting/Beerendonk_07/23.xml 5160511 ∞ +0 1 +0 25.93/8.97
Runtime_Complexity_Full_Rewriting/Beerendonk_07/19.xml 5160512 StarExec error
Runtime_Complexity_Full_Rewriting/Beerendonk_07/16.xml 5160513 ∞ +0 1 +0 858.39/296.44
Runtime_Complexity_Full_Rewriting/Beerendonk_07/5.xml 5160514 pending submission
Runtime_Complexity_Full_Rewriting/Beerendonk_07/11.xml 5160515 StarExec error
Runtime_Complexity_Full_Rewriting/Beerendonk_07/2.xml 5160516 ∞ +0 1 +0 19.74/7.36
Runtime_Complexity_Full_Rewriting/Beerendonk_07/8.xml 5160517 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/Beerendonk_07/18.xml 5160518 pending submission
Runtime_Complexity_Full_Rewriting/Beerendonk_07/6.xml 5160519 pending submission
Runtime_Complexity_Full_Rewriting/Beerendonk_07/21.xml 5160520 ∞ +0 1 +0 672.98/296.14
Runtime_Complexity_Full_Rewriting/Beerendonk_07/9.xml 5160521 pending submission
Runtime_Complexity_Full_Rewriting/Beerendonk_07/4.xml 5160522 ∞ +0 1 +0 13.90/4.70
Runtime_Complexity_Full_Rewriting/Beerendonk_07/24.xml 5160523 ∞ +0 1 +0 693.42/296.02
Runtime_Complexity_Full_Rewriting/Beerendonk_07/15.xml 5160524 pending submission
Runtime_Complexity_Full_Rewriting/Beerendonk_07/22.xml 5160525 ∞ +0 1 +0 20.59/7.12
Runtime_Complexity_Full_Rewriting/AProVE_04/Liveness_WRS.xml 5159903 n1 +1 1 +0 0.40/0.11
Runtime_Complexity_Full_Rewriting/AProVE_04/IJCAR_1.xml 5159904 ∞ +0 1 +0 68.30/53.43
Runtime_Complexity_Full_Rewriting/AProVE_04/IJCAR_18.xml 5159905 ∞ +0 1 +0 763.26/296.12
Runtime_Complexity_Full_Rewriting/AProVE_04/AAECC-ring.xml 5159906 ∞ +0 1 +0 926.92/296.12
Runtime_Complexity_Full_Rewriting/AProVE_04/AAECC.xml 5159907 ∞ +0 1 +0 657.97/296.12
Runtime_Complexity_Full_Rewriting/AProVE_04/JFP_Ex51.xml 5159908 ∞ +0 1 +0 64.67/24.16
Runtime_Complexity_Full_Rewriting/AProVE_04/IJCAR_12.xml 5159909 ∞ +0 1 +0 31.60/10.75
Runtime_Complexity_Full_Rewriting/AProVE_04/rta1.xml 5159910 ∞ +0 1 +0 903.30/296.02
Runtime_Complexity_Full_Rewriting/AProVE_04/IJCAR_26.xml 5159911 ∞ +0 1 +0 750.24/296.05
Runtime_Complexity_Full_Rewriting/AProVE_04/LPAR_intlist.xml 5159912 ∞ +0 1 +0 0.89/0.08
Runtime_Complexity_Full_Rewriting/AProVE_04/IJCAR_26a.xml 5159913 ∞ +0 1 +0 755.95/296.12
Runtime_Complexity_Full_Rewriting/AProVE_04/Liveness8.xml 5159914 n1 +1 1 +0 0.32/0.10
Runtime_Complexity_Full_Rewriting/AProVE_04/Liveness6.3.xml 5159915 n1 +1 1 +0 0.09/0.03
Runtime_Complexity_Full_Rewriting/AProVE_04/fac.xml 5159916 ∞ +0 1 +0 71.19/37.78
Runtime_Complexity_Full_Rewriting/AProVE_04/Liveness6.4.xml 5159917 ∞ +0 1 +0 918.61/296.31
Runtime_Complexity_Full_Rewriting/AProVE_04/Liveness6.1.xml 5159918 ∞ +0 1 +0 1142.36/296.16
Runtime_Complexity_Full_Rewriting/AProVE_04/Liveness6.2.xml 5159919 ∞ +0 1 +0 884.51/296.11
Runtime_Complexity_Full_Rewriting/AProVE_04/rta2.xml 5159920 ∞ +0 1 +0 7.95/3.30
Runtime_Complexity_Full_Rewriting/AProVE_04/JFP_Ex31.xml 5159921 ∞ +0 1 +0 908.98/296.13
Runtime_Complexity_Full_Rewriting/AProVE_04/rta3.xml 5159922 ∞ +0 1 +0 20.88/8.01
Runtime_Complexity_Full_Rewriting/AG01/#3.49.xml 5159669 ∞ +0 1 +0 1081.32/296.04
Runtime_Complexity_Full_Rewriting/AG01/#3.19.xml 5159670 ∞ +0 1 +0 35.98/15.24
Runtime_Complexity_Full_Rewriting/AG01/#3.56.xml 5159671 n1 +1 1 +0 0.60/0.10
Runtime_Complexity_Full_Rewriting/AG01/#3.18.xml 5159672 ∞ +0 1 +0 24.34/8.07
Runtime_Complexity_Full_Rewriting/AG01/#3.6.xml 5159673 ∞ +0 1 +0 36.86/12.84
Runtime_Complexity_Full_Rewriting/AG01/#3.35.xml 5159674 n1 +1 1 +0 0.27/0.04
Runtime_Complexity_Full_Rewriting/AG01/#3.53.xml 5159675 ∞ +0 1 +0 46.48/22.54
Runtime_Complexity_Full_Rewriting/AG01/#3.55.xml 5159676 ∞ +0 1 +0 936.49/296.02
Runtime_Complexity_Full_Rewriting/AG01/#3.52.xml 5159677 n2 +1 1 +0 2.65/0.74
Runtime_Complexity_Full_Rewriting/AG01/#3.47.xml 5159678 n2 +1 1 +0 1.03/0.68
Runtime_Complexity_Full_Rewriting/AG01/#3.10.xml 5159679 ∞ +0 1 +0 833.30/296.35
Runtime_Complexity_Full_Rewriting/AG01/#3.4.xml 5159680 ∞ +0 1 +0 29.69/9.95
Runtime_Complexity_Full_Rewriting/AG01/#3.6b.xml 5159681 ∞ +0 1 +0 36.43/14.17
Runtime_Complexity_Full_Rewriting/AG01/#3.22.xml 5159682 ∞ +0 1 +0 650.79/296.11
Runtime_Complexity_Full_Rewriting/AG01/#3.57.xml 5159683 ∞ +0 1 +0 405.97/296.02
Runtime_Complexity_Full_Rewriting/AG01/#3.53b.xml 5159684 n2 +1 1 +0 4.11/1.12
Runtime_Complexity_Full_Rewriting/AG01/#3.53a.xml 5159685 ∞ +0 1 +0 0.21/0.03
Runtime_Complexity_Full_Rewriting/AG01/#3.12.xml 5159686 ∞ +0 1 +0 317.49/124.93
Runtime_Complexity_Full_Rewriting/AG01/#3.39.xml 5159687 ∞ +0 1 +0 34.08/13.91
Runtime_Complexity_Full_Rewriting/AG01/#3.23.xml 5159688 ∞ +0 1 +0 11.07/3.70
Runtime_Complexity_Full_Rewriting/AG01/#3.15.xml 5159689 n1 +1 1 +0 1.40/0.33
Runtime_Complexity_Full_Rewriting/AG01/#3.40.xml 5159690 ∞ +0 1 +0 67.17/32.71
Runtime_Complexity_Full_Rewriting/AG01/#3.5a.xml 5159691 ∞ +0 1 +0 36.15/12.05
Runtime_Complexity_Full_Rewriting/AG01/#3.13.xml 5159692 ∞ +0 1 +0 828.34/296.23
Runtime_Complexity_Full_Rewriting/AG01/#3.17.xml 5159693 ∞ +0 1 +0 436.84/296.03
Runtime_Complexity_Full_Rewriting/AG01/#3.29.xml 5159694 ∞ +0 1 +0 0.23/0.05
Runtime_Complexity_Full_Rewriting/AG01/#3.41.xml 5159695 ∞ +0 1 +0 23.95/9.48
Runtime_Complexity_Full_Rewriting/AG01/#3.8a.xml 5159696 ∞ +0 1 +0 32.56/12.89
Runtime_Complexity_Full_Rewriting/AG01/#3.2.xml 5159697 ∞ +0 1 +0 20.75/7.42
Runtime_Complexity_Full_Rewriting/AG01/#3.51.xml 5159698 n1 +1 1 +0 0.07/0.03
Runtime_Complexity_Full_Rewriting/AG01/#3.36.xml 5159699 ∞ +0 1 +0 42.51/17.78
Runtime_Complexity_Full_Rewriting/AG01/#3.48.xml 5159700 pending submission
Runtime_Complexity_Full_Rewriting/AG01/#3.16.xml 5159701 ∞ +0 1 +0 63.79/17.77
Runtime_Complexity_Full_Rewriting/AG01/#3.1.xml 5159702 ∞ +0 1 +0 15.59/5.44
Runtime_Complexity_Full_Rewriting/AG01/#3.6a.xml 5159703 ∞ +0 1 +0 36.82/12.09
Runtime_Complexity_Full_Rewriting/AG01/#3.26.xml 5159704 ∞ +0 1 +0 148.24/54.18
Runtime_Complexity_Full_Rewriting/AG01/#3.7.xml 5159705 n1 +1 1 +0 2.12/0.56
Runtime_Complexity_Full_Rewriting/AG01/#3.5b.xml 5159706 ∞ +0 1 +0 44.01/15.68
Runtime_Complexity_Full_Rewriting/AG01/#3.5.xml 5159707 ∞ +0 1 +0 29.91/9.72
Runtime_Complexity_Full_Rewriting/AG01/#3.38.xml 5159708 ∞ +0 1 +0 54.00/20.84
Runtime_Complexity_Full_Rewriting/AG01/#3.31.xml 5159709 ∞ +0 1 +0 35.62/21.69
Runtime_Complexity_Full_Rewriting/AG01/#3.33.xml 5159710 pending submission
Runtime_Complexity_Full_Rewriting/AG01/#3.24.xml 5159711 n1 +1 1 +0 0.56/0.06
Runtime_Complexity_Full_Rewriting/AG01/#3.42.xml 5159712 ∞ +0 1 +0 36.63/14.53
Runtime_Complexity_Full_Rewriting/AG01/#3.37.xml 5159713 pending submission
Runtime_Complexity_Full_Rewriting/AG01/#4.30c.xml 5159714 ∞ +0 1 +0 39.07/13.01
Runtime_Complexity_Full_Rewriting/AG01/#3.54.xml 5159715 ∞ +0 1 +0 0.58/0.02
Runtime_Complexity_Full_Rewriting/AG01/#3.17a.xml 5159716 ∞ +0 1 +0 453.08/296.05
Runtime_Complexity_Full_Rewriting/AG01/#3.8b.xml 5159717 ∞ +0 1 +0 40.22/16.97
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann14.xml 5160542 ∞ +0 1 +0 556.81/296.06
Runtime_Complexity_Full_Rewriting/AProVE_07/otto06.xml 5160543 ∞ +0 1 +0 684.61/296.12
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann01.xml 5160544 ∞ +0 1 +0 31.31/12.12
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann31.xml 5160545 ∞ +0 1 +0 35.86/12.61
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann21.xml 5160546 ∞ +0 1 +0 107.22/49.54
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann25.xml 5160547 ∞ +0 1 +0 26.09/9.08
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann05.xml 5160548 ∞ +0 1 +0 88.31/38.94
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann03.xml 5160549 ∞ +0 1 +0 92.65/40.61
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann34.xml 5160550 ∞ +0 1 +0 28.90/11.26
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann26.xml 5160551 ∞ +0 1 +0 28.91/11.03
Runtime_Complexity_Full_Rewriting/AProVE_07/wiehe03.xml 5160552 ∞ +0 1 +0 0.19/0.06
Runtime_Complexity_Full_Rewriting/AProVE_07/otto03.xml 5160553 StarExec error
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann10.xml 5160554 ∞ +0 1 +0 25.16/8.92
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann30.xml 5160555 ∞ +0 1 +0 835.33/297.65
Runtime_Complexity_Full_Rewriting/AProVE_07/otto04.xml 5160556 ∞ +0 1 +0 40.93/18.25
Runtime_Complexity_Full_Rewriting/AProVE_07/otto05.xml 5160557 ∞ +0 1 +0 24.98/9.23
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann40.xml 5160558 ∞ +0 1 +0 18.67/7.42
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann17.xml 5160559 ∞ +0 1 +0 877.88/296.11
Runtime_Complexity_Full_Rewriting/AProVE_07/kabasci05.xml 5160560 ∞ +0 1 +0 657.77/296.12
Runtime_Complexity_Full_Rewriting/AProVE_07/otto08.xml 5160561 ∞ +0 1 +0 40.91/15.92
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann18.xml 5160562 ∞ +0 1 +0 90.24/42.49
Runtime_Complexity_Full_Rewriting/AProVE_07/wiehe01.xml 5160563 ∞ +0 1 +0 0.68/0.17
Runtime_Complexity_Full_Rewriting/AProVE_07/wiehe11.xml 5160564 pending submission
Runtime_Complexity_Full_Rewriting/AProVE_07/kabasci02.xml 5160565 ∞ +0 1 +0 0.86/0.24
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann36.xml 5160566 ∞ +0 1 +0 39.43/14.47
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann29.xml 5160567 ∞ +0 1 +0 36.58/15.29
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann37.xml 5160568 ∞ +0 1 +0 829.41/296.33
Runtime_Complexity_Full_Rewriting/AProVE_07/wiehe08.xml 5160569 ∞ +0 1 +0 0.57/0.04
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann04.xml 5160570 ∞ +0 1 +0 667.85/296.07
Runtime_Complexity_Full_Rewriting/AProVE_07/otto02.xml 5160571 ∞ +0 1 +0 523.98/250.50
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann38.xml 5160572 ∞ +0 1 +0 64.00/25.66
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann41.xml 5160573 ∞ +0 1 +0 33.73/11.87
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann27.xml 5160574 ∞ +0 1 +0 19.60/7.95
Runtime_Complexity_Full_Rewriting/AProVE_07/otto07.xml 5160575 pending submission
Runtime_Complexity_Full_Rewriting/AProVE_07/otto01.xml 5160576 ∞ +0 1 +0 674.49/296.08
Runtime_Complexity_Full_Rewriting/AProVE_07/kabasci03.xml 5160577 ∞ +0 1 +0 0.08/0.03
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann23.xml 5160578 pending submission
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann07.xml 5160579 ∞ +0 1 +0 101.31/50.72
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann32.xml 5160580 pending submission
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann19.xml 5160581 pending submission
Runtime_Complexity_Full_Rewriting/AProVE_07/otto12.xml 5160582 ∞ +0 1 +0 39.91/14.65
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann09.xml 5160583 pending submission
Runtime_Complexity_Full_Rewriting/AProVE_07/wiehe06.xml 5160584 ∞ +0 1 +0 0.11/0.04
Runtime_Complexity_Full_Rewriting/AProVE_07/otto11.xml 5160585 ∞ +0 1 +0 40.52/17.20
Runtime_Complexity_Full_Rewriting/AProVE_07/kabasci01.xml 5160586 ∞ +0 1 +0 677.51/296.13
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann16.xml 5160587 ∞ +0 1 +0 909.21/296.08
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann11.xml 5160588 ∞ +0 1 +0 43.64/15.85
Runtime_Complexity_Full_Rewriting/AProVE_07/wiehe02.xml 5160589 ∞ +0 1 +0 0.56/0.14
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann22.xml 5160590 ∞ +0 1 +0 33.68/11.82
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann20.xml 5160591 ∞ +0 1 +0 54.65/22.00
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann15.xml 5160592 ∞ +0 1 +0 32.87/12.00
Runtime_Complexity_Full_Rewriting/AProVE_07/wiehe09.xml 5160593 pending submission
Runtime_Complexity_Full_Rewriting/AProVE_07/wiehe05.xml 5160594 ∞ +0 1 +0 0.14/0.04
Runtime_Complexity_Full_Rewriting/AProVE_07/wiehe12.xml 5160595 ∞ +0 1 +0 1.77/0.31
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann28.xml 5160596 pending submission
Runtime_Complexity_Full_Rewriting/AProVE_07/kabasci04.xml 5160597 pending submission
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann13.xml 5160598 ∞ +0 1 +0 34.40/13.42
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann06.xml 5160599 pending submission
Runtime_Complexity_Full_Rewriting/AProVE_07/otto10.xml 5160600 pending submission
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann12.xml 5160601 ∞ +0 1 +0 29.45/11.36
Runtime_Complexity_Full_Rewriting/AProVE_07/otto09.xml 5160602 ∞ +0 1 +0 28.97/10.65
Runtime_Complexity_Full_Rewriting/AProVE_07/otto13.xml 5160603 ∞ +0 1 +0 71.12/31.98
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann33.xml 5160604 ∞ +0 1 +0 185.44/131.18
Runtime_Complexity_Full_Rewriting/AProVE_07/wiehe07.xml 5160605 ∞ +0 1 +0 0.93/0.04
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann24.xml 5160606 ∞ +0 1 +0 34.41/12.76
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann02.xml 5160607 ∞ +0 1 +0 656.16/296.11
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann08.xml 5160608 ∞ +0 1 +0 30.11/11.48
Runtime_Complexity_Full_Rewriting/AProVE_06/nonterm.xml 5159821 ∞ +0 1 +0 0.06/0.03
Runtime_Complexity_Full_Rewriting/AProVE_06/modulo.xml 5159822 ∞ +0 1 +0 0.72/0.09
Runtime_Complexity_Full_Rewriting/AProVE_06/div_notTermin.xml 5159823 ∞ +0 1 +0 44.85/19.89
Runtime_Complexity_Full_Rewriting/AProVE_06/tower.xml 5159824 ∞ +0 1 +0 302.60/191.14
Runtime_Complexity_Full_Rewriting/AProVE_06/tower_sizeChange.xml 5159825 ∞ +0 1 +0 672.14/280.37
Runtime_Complexity_Full_Rewriting/AProVE_06/identity.xml 5159826 ∞ +0 1 +0 624.42/296.04
Runtime_Complexity_Full_Rewriting/AProVE_06/logarithm.xml 5159827 ∞ +0 1 +0 36.24/14.32
Runtime_Complexity_Full_Rewriting/AProVE_06/factorial1.xml 5159828 ∞ +0 1 +0 301.86/191.26
Runtime_Complexity_Full_Rewriting/AProVE_06/quot.xml 5159829 ∞ +0 1 +0 0.89/0.15
Runtime_Complexity_Full_Rewriting/AProVE_06/factorial2.xml 5159830 ∞ +0 1 +0 37.46/13.54
Runtime_Complexity_Full_Rewriting/AProVE_06/div_notCeTermin.xml 5159831 ∞ +0 1 +0 42.70/18.11
Runtime_Complexity_Full_Rewriting/AProVE_06/quicksort.xml 5159832 ∞ +0 1 +0 181.45/105.19
Runtime_Complexity_Full_Rewriting/AProVE_06/sizeChange.xml 5159833 ∞ +0 1 +0 20.11/7.68
Runtime_Complexity_Full_Rewriting/Rubio_04/division.xml 5160438 ∞ +0 1 +0 34.46/12.11
Runtime_Complexity_Full_Rewriting/Rubio_04/gmnp.xml 5160439 n1 +1 1 +0 0.34/0.08
Runtime_Complexity_Full_Rewriting/Rubio_04/gm.xml 5160440 ∞ +0 1 +0 25.20/10.82
Runtime_Complexity_Full_Rewriting/Rubio_04/selsort.xml 5160441 ∞ +0 1 +0 753.92/296.25
Runtime_Complexity_Full_Rewriting/Rubio_04/enno.xml 5160442 ∞ +0 1 +0 40.20/18.87
Runtime_Complexity_Full_Rewriting/Rubio_04/quotminus.xml 5160443 ∞ +0 1 +0 27.00/8.81
Runtime_Complexity_Full_Rewriting/Rubio_04/prov.xml 5160444 ∞ +0 1 +0 20.30/7.48
Runtime_Complexity_Full_Rewriting/Rubio_04/p266.xml 5160445 n1 +1 1 +0 0.04/0.02
Runtime_Complexity_Full_Rewriting/Rubio_04/bintrees.xml 5160446 n1 +1 1 +0 1.70/0.45
Runtime_Complexity_Full_Rewriting/Rubio_04/nestrec.xml 5160447 ∞ +0 1 +0 249.82/88.12
Runtime_Complexity_Full_Rewriting/Rubio_04/ma96.xml 5160448 ∞ +0 1 +0 700.93/296.12
Runtime_Complexity_Full_Rewriting/Rubio_04/logarquot.xml 5160449 ∞ +0 1 +0 30.10/11.36
Runtime_Complexity_Full_Rewriting/Rubio_04/test829.xml 5160450 n1 +1 1 +0 0.40/0.08
Runtime_Complexity_Full_Rewriting/Rubio_04/elimdupl.xml 5160451 StarExec error
Runtime_Complexity_Full_Rewriting/Rubio_04/koen.xml 5160452 ∞ +0 1 +0 0.10/0.04
Runtime_Complexity_Full_Rewriting/Rubio_04/polo2.xml 5160453 pending submission
Runtime_Complexity_Full_Rewriting/Rubio_04/mfp95.xml 5160454 n1 +1 1 +0 0.14/0.04
Runtime_Complexity_Full_Rewriting/Rubio_04/gcd.xml 5160455 ∞ +0 1 +0 37.47/12.65
Runtime_Complexity_Full_Rewriting/Rubio_04/test4.xml 5160456 pending submission
Runtime_Complexity_Full_Rewriting/Rubio_04/bn122.xml 5160457 n2 +1 1 +0 0.95/0.53
Runtime_Complexity_Full_Rewriting/Rubio_04/revlist.xml 5160458 pending submission
Runtime_Complexity_Full_Rewriting/Rubio_04/quick.xml 5160459 pending submission
Runtime_Complexity_Full_Rewriting/Rubio_04/wst99.xml 5160460 ∞ +0 1 +0 61.80/21.32
Runtime_Complexity_Full_Rewriting/Mixed_TRS/jones1.xml 5159846 n1 +1 1 +0 0.31/0.06
Runtime_Complexity_Full_Rewriting/Mixed_TRS/jones5.xml 5159847 ∞ +0 1 +0 10.12/3.88
Runtime_Complexity_Full_Rewriting/Mixed_TRS/hydra.xml 5159848 n2 +1 1 +0 13.64/3.39
Runtime_Complexity_Full_Rewriting/Mixed_TRS/minsort.xml 5159849 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/Mixed_TRS/while.xml 5159850 ∞ +0 1 +0 13.94/4.86
Runtime_Complexity_Full_Rewriting/Mixed_TRS/jones4.xml 5159851 n1 +1 1 +0 0.12/0.04
Runtime_Complexity_Full_Rewriting/Mixed_TRS/gcdMinMax.xml 5159852 ∞ +0 1 +0 860.02/296.39
Runtime_Complexity_Full_Rewriting/Mixed_TRS/Ex1_Luc04b_GM.xml 5159853 ∞ +0 1 +0 999.36/296.19
Runtime_Complexity_Full_Rewriting/Mixed_TRS/hydra-Zantema06.xml 5159854 ∞ +0 1 +0 662.03/296.14
Runtime_Complexity_Full_Rewriting/Mixed_TRS/jones2.xml 5159855 n2 +1 1 +0 9.84/2.51
Runtime_Complexity_Full_Rewriting/Mixed_TRS/jones6.xml 5159856 n1 +1 1 +0 0.68/0.18
Runtime_Complexity_Full_Rewriting/Mixed_TRS/test1.xml 5159857 ∞ +0 1 +0 9.14/4.12
Runtime_Complexity_Full_Rewriting/Mixed_TRS/fossacs.xml 5159858 ∞ +0 1 +0 76.33/30.53
Runtime_Complexity_Full_Rewriting/Mixed_TRS/gcd.xml 5159859 pending submission
Runtime_Complexity_Full_Rewriting/Mixed_TRS/perfect.xml 5159860 ∞ +0 1 +0 27.06/9.18
Runtime_Complexity_Full_Rewriting/Mixed_TRS/gcd_triple.xml 5159861 pending submission
Runtime_Complexity_Full_Rewriting/Mixed_TRS/perfect2.xml 5159862 pending submission
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/10.xml 5159718 n1 +1 1 +0 0.16/0.03
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/division.xml 5159719 ∞ +0 1 +0 34.14/11.80
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/gen-28.xml 5159720 ∞ +0 1 +0 34.36/11.43
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/tpa10.xml 5159721 ∞ +0 1 +0 656.54/296.11
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/tpa07.xml 5159722 ∞ +0 1 +0 650.85/296.12
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/tpa04.xml 5159723 ∞ +0 1 +0 678.64/296.09
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/tpa09.xml 5159724 ∞ +0 1 +0 691.47/296.12
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/gen-17.xml 5159725 n1 +1 1 +0 2.40/1.12
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/toList.xml 5159726 ∞ +0 1 +0 145.91/74.23
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/reverse.xml 5159727 ∞ +0 1 +0 67.73/29.86
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/tpa06.xml 5159728 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/times.xml 5159729 ∞ +0 1 +0 1.07/0.09
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/logarithm.xml 5159730 ∞ +0 1 +0 49.41/16.71
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/double.xml 5159731 ∞ +0 1 +0 30.99/12.90
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/nrOfNodes.xml 5159732 ∞ +0 1 +0 95.39/48.12
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/divExp.xml 5159733 ∞ +0 1 +0 0.71/0.03
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/tpa05.xml 5159734 pending submission
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/6.xml 5159735 n1 +1 1 +0 0.41/0.09
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/4.xml 5159736 n1 +1 1 +0 0.25/0.07
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/sumList.xml 5159737 ∞ +0 1 +0 63.41/28.20
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/tpa08.xml 5159738 ∞ +0 1 +0 654.86/296.12
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/addList.xml 5159739 pending submission
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/gen-1.xml 5159740 n2 +1 1 +0 1.25/0.55
Runtime_Complexity_Full_Rewriting/Secret_05_TRS/tpa4.xml 5160349 ∞ +0 1 +0 640.38/296.12
Runtime_Complexity_Full_Rewriting/Secret_05_TRS/tpa2.xml 5160350 ∞ +0 1 +0 650.32/296.11
Runtime_Complexity_Full_Rewriting/Secret_05_TRS/aprove2.xml 5160351 ∞ +0 1 +0 26.46/9.09
Runtime_Complexity_Full_Rewriting/Secret_05_TRS/cime2.xml 5160352 ∞ +0 1 +0 82.34/25.29
Runtime_Complexity_Full_Rewriting/Secret_05_TRS/aprove3.xml 5160353 ∞ +0 1 +0 34.38/12.40
Runtime_Complexity_Full_Rewriting/Secret_05_TRS/tpa5.xml 5160354 ∞ +0 1 +0 879.81/296.60
Runtime_Complexity_Full_Rewriting/Secret_05_TRS/tpa3.xml 5160355 ∞ +0 1 +0 148.45/70.91
Runtime_Complexity_Full_Rewriting/Secret_05_TRS/cime5.xml 5160356 ∞ +0 1 +0 2.46/0.41
Runtime_Complexity_Full_Rewriting/Secret_05_TRS/ttt1.xml 5160357 ∞ +0 1 +0 22.55/11.22
Runtime_Complexity_Full_Rewriting/Secret_05_TRS/aprove4.xml 5160358 ∞ +0 1 +0 0.03/0.02
Runtime_Complexity_Full_Rewriting/Secret_05_TRS/tpa1.xml 5160359 ∞ +0 1 +0 857.88/296.42
Runtime_Complexity_Full_Rewriting/Secret_05_TRS/aprove5.xml 5160360 ∞ +0 1 +0 50.45/24.26
Runtime_Complexity_Full_Rewriting/Secret_05_TRS/ttt2.xml 5160361 ∞ +0 1 +0 116.10/41.05
Runtime_Complexity_Full_Rewriting/Secret_05_TRS/cime3.xml 5160362 ∞ +0 1 +0 2.04/0.42
Runtime_Complexity_Full_Rewriting/Secret_05_TRS/cime4.xml 5160363 ∞ +0 1 +0 14.11/5.42
Runtime_Complexity_Full_Rewriting/Endrullis_06/direct.xml 5159923 n1 +1 1 +0 17.22/0.53
Runtime_Complexity_Full_Rewriting/Der95/12.xml 5159924 ∞ +0 1 +0 22.15/7.80
Runtime_Complexity_Full_Rewriting/Der95/27.xml 5159925 n1 +1 1 +0 0.05/0.02
Runtime_Complexity_Full_Rewriting/Der95/06.xml 5159926 n1 +1 1 +0 0.08/0.03
Runtime_Complexity_Full_Rewriting/Der95/20.xml 5159927 ∞ +0 1 +0 52.83/23.49
Runtime_Complexity_Full_Rewriting/Der95/08.xml 5159928 n2 +1 1 +0 3.09/1.16
Runtime_Complexity_Full_Rewriting/Der95/33.xml 5159929 ∞ +0 1 +0 783.67/296.25
Runtime_Complexity_Full_Rewriting/Der95/11.xml 5159930 n2 +1 1 +0 27.05/8.01
Runtime_Complexity_Full_Rewriting/Der95/07.xml 5159931 n1 +1 1 +0 0.04/0.02
Runtime_Complexity_Full_Rewriting/Der95/18.xml 5159932 n1 +1 1 +0 1.46/0.47
Runtime_Complexity_Full_Rewriting/Der95/21.xml 5159933 ∞ +0 1 +0 75.08/37.54
Runtime_Complexity_Full_Rewriting/Der95/31.xml 5159934 ∞ +0 1 +0 25.23/8.92
Runtime_Complexity_Full_Rewriting/Der95/32.xml 5159935 ∞ +0 1 +0 23.77/9.30
Runtime_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/t003.xml 5160364 ∞ +0 1 +0 794.81/296.18
Runtime_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/t011.xml 5160365 n1 +1 1 +0 0.24/0.07
Runtime_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/n006.xml 5160366 ∞ +0 1 +0 20.09/8.01
Runtime_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/n005.xml 5160367 ∞ +0 1 +0 25.32/8.01
Runtime_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/t004.xml 5160368 ∞ +0 1 +0 86.47/41.41
Runtime_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/n007.xml 5160369 StarExec error
Runtime_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/t013.xml 5160370 ∞ +0 1 +0 41.52/17.29
Runtime_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/t002.xml 5160371 ∞ +0 1 +0 792.33/296.31
Runtime_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/n002.xml 5160372 ∞ +0 1 +0 23.11/8.32
Runtime_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/t001.xml 5160373 ∞ +0 1 +0 794.84/296.25
Runtime_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/t014.xml 5160374 ∞ +0 1 +0 792.23/296.06
Runtime_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/n003.xml 5160375 ∞ +0 1 +0 20.49/8.01
Runtime_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/t012.xml 5160376 ∞ +0 1 +0 607.40/296.04
Runtime_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/n004.xml 5160377 ∞ +0 1 +0 22.19/8.01
Runtime_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/t009.xml 5160378 ∞ +0 1 +0 514.91/296.12
Runtime_Complexity_Full_Rewriting/GTSSK07/cade01.xml 5160526 ∞ +0 1 +0 19.25/6.83
Runtime_Complexity_Full_Rewriting/GTSSK07/cade11.xml 5160527 ∞ +0 1 +0 18.03/7.19
Runtime_Complexity_Full_Rewriting/GTSSK07/cade14.xml 5160528 ∞ +0 1 +0 31.06/10.75
Runtime_Complexity_Full_Rewriting/GTSSK07/cade16.xml 5160529 ∞ +0 1 +0 65.77/33.39
Runtime_Complexity_Full_Rewriting/GTSSK07/cade12t.xml 5160530 ∞ +0 1 +0 871.52/296.11
Runtime_Complexity_Full_Rewriting/GTSSK07/cade09.xml 5160531 ∞ +0 1 +0 22.69/7.72
Runtime_Complexity_Full_Rewriting/GTSSK07/cade10.xml 5160532 ∞ +0 1 +0 21.24/7.40
Runtime_Complexity_Full_Rewriting/GTSSK07/cade06.xml 5160533 ∞ +0 1 +0 906.84/296.45
Runtime_Complexity_Full_Rewriting/GTSSK07/cade03.xml 5160534 ∞ +0 1 +0 21.90/7.39
Runtime_Complexity_Full_Rewriting/GTSSK07/cade04t.xml 5160535 ∞ +0 1 +0 0.09/0.02
Runtime_Complexity_Full_Rewriting/GTSSK07/cade13t.xml 5160536 ∞ +0 1 +0 34.41/11.56
Runtime_Complexity_Full_Rewriting/GTSSK07/cade05t.xml 5160537 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/GTSSK07/cade17.xml 5160538 ∞ +0 1 +0 523.55/296.06
Runtime_Complexity_Full_Rewriting/GTSSK07/cade08.xml 5160539 ∞ +0 1 +0 663.11/296.11
Runtime_Complexity_Full_Rewriting/GTSSK07/cade07.xml 5160540 ∞ +0 1 +0 22.10/7.87
Runtime_Complexity_Full_Rewriting/GTSSK07/cade15.xml 5160541 ∞ +0 1 +0 109.27/56.24
Runtime_Complexity_Full_Rewriting/TCT_12/recursion-10.xml 5159898 ∞ +0 1 +0 215.56/86.59
Runtime_Complexity_Full_Rewriting/TCT_12/polycounter-10.xml 5159899 ∞ +0 1 +0 81.43/47.52
Runtime_Complexity_Full_Rewriting/TCT_12/recursion-5.xml 5159900 ∞ +0 1 +0 99.35/45.61
Runtime_Complexity_Full_Rewriting/TCT_12/polycounter-5.xml 5159901 n5 +1 1 +0 36.04/17.66
Runtime_Complexity_Full_Rewriting/TCT_12/sat.xml 5159902 ∞ +0 1 +0 303.44/99.46
Runtime_Complexity_Full_Rewriting/Strategy_removed_mixed_05/ex3.xml 5160474 ∞ +0 1 +0 23.50/8.02
Runtime_Complexity_Full_Rewriting/Strategy_removed_mixed_05/test10.xml 5160475 ∞ +0 1 +0 0.03/0.02
Runtime_Complexity_Full_Rewriting/Strategy_removed_mixed_05/test77.xml 5160476 ∞ +0 1 +0 14.02/4.69
Runtime_Complexity_Full_Rewriting/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml 5160477 ∞ +0 1 +0 30.83/10.93
Runtime_Complexity_Full_Rewriting/Strategy_removed_mixed_05/ex5.xml 5160478 ∞ +0 1 +0 15.55/8.01
Runtime_Complexity_Full_Rewriting/Strategy_removed_mixed_05/ex6.xml 5160479 ∞ +0 1 +0 0.42/0.03
Runtime_Complexity_Full_Rewriting/Strategy_removed_mixed_05/ex1.xml 5160480 ∞ +0 1 +0 22.55/8.01
Runtime_Complexity_Full_Rewriting/Strategy_removed_mixed_05/muladd.xml 5160481 ∞ +0 1 +0 10.77/3.37
Runtime_Complexity_Full_Rewriting/Strategy_removed_mixed_05/test830.xml 5160482 n1 +1 1 +0 0.05/0.02
Runtime_Complexity_Full_Rewriting/Strategy_removed_mixed_05/tricky1.xml 5160483 1 +1 1 +0 0.73/0.10
Runtime_Complexity_Full_Rewriting/Strategy_removed_mixed_05/ex2.xml 5160484 ∞ +0 1 +0 8.83/3.43
Runtime_Complexity_Full_Rewriting/Strategy_removed_mixed_05/test76.xml 5160485 ∞ +0 1 +0 12.62/5.35
Runtime_Complexity_Full_Rewriting/Strategy_removed_mixed_05/ex4.xml 5160486 ∞ +0 1 +0 66.51/25.61
Runtime_Complexity_Full_Rewriting/Various_04/12.xml 5159834 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/Various_04/10.xml 5159835 ∞ +0 1 +0 670.82/296.16
Runtime_Complexity_Full_Rewriting/Various_04/14.xml 5159836 ∞ +0 1 +0 826.38/296.03
Runtime_Complexity_Full_Rewriting/Various_04/13.xml 5159837 ∞ +0 1 +0 898.34/296.08
Runtime_Complexity_Full_Rewriting/Various_04/04.xml 5159838 ∞ +0 1 +0 1.06/0.25
Runtime_Complexity_Full_Rewriting/Various_04/08.xml 5159839 ∞ +0 1 +0 1.22/0.18
Runtime_Complexity_Full_Rewriting/Various_04/23.xml 5159840 pending submission
Runtime_Complexity_Full_Rewriting/Various_04/11.xml 5159841 ∞ +0 1 +0 10.61/3.40
Runtime_Complexity_Full_Rewriting/Various_04/18.xml 5159842 ∞ +0 1 +0 0.73/0.02
Runtime_Complexity_Full_Rewriting/Various_04/24.xml 5159843 ∞ +0 1 +0 106.02/55.93
Runtime_Complexity_Full_Rewriting/Various_04/15.xml 5159844 n1 +1 1 +0 0.04/0.02
Runtime_Complexity_Full_Rewriting/Various_04/22.xml 5159845 ∞ +0 1 +0 11.62/4.69
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_complete_L.xml 5159936 ∞ +0 1 +0 0.02/0.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_GM.xml 5159937 ∞ +0 1 +0 964.93/296.16
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml 5159938 ∞ +0 1 +0 237.35/121.00
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml 5159939 ∞ +0 1 +0 683.70/296.09
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_complete_GM.xml 5159940 ∞ +0 1 +0 364.99/296.11
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_GM04_GM.xml 5159941 n3 +1 1 +0 427.91/45.67
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex25_Luc06_Z.xml 5159942 n1 +1 1 +0 0.32/0.09
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_complete_C.xml 5159943 ∞ +0 1 +0 6.47/1.63
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml 5159944 n1 +1 1 +0 1.08/0.14
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_FR.xml 5159945 ∞ +0 1 +0 603.63/296.11
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nokinds_FR.xml 5159946 ∞ +0 1 +0 596.48/296.09
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExConc_Zan97_C.xml 5159947 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex24_Luc06_C.xml 5159948 ∞ +0 1 +0 1025.44/296.14
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex2_Luc02a_Z.xml 5159949 ∞ +0 1 +0 98.60/27.14
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml 5159950 ∞ +0 1 +0 700.79/296.16
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex24_Luc06_GM.xml 5159951 ∞ +0 1 +0 96.06/38.22
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml 5159952 n1 +1 1 +0 0.32/0.04
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex23_Luc06_FR.xml 5159953 n1 +1 1 +0 0.26/0.10
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml 5159954 ∞ +0 1 +0 780.17/296.12
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml 5159955 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_FR.xml 5159956 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExProp7_Luc06_GM.xml 5159957 ∞ +0 1 +0 1171.76/296.27
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex9_Luc04_C.xml 5159958 ∞ +0 1 +0 485.51/234.58
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml 5159959 ∞ +0 1 +0 250.84/147.14
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex23_Luc06_C.xml 5159960 n1 +1 1 +0 0.13/0.04
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex24_GM04_GM.xml 5159961 ∞ +0 1 +0 0.39/0.04
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_complete-noand_Z.xml 5159962 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_Luc02b_GM.xml 5159963 ∞ +0 1 +0 40.33/17.78
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml 5159964 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nokinds_C.xml 5159965 ∞ +0 1 +0 0.63/0.09
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml 5159966 ∞ +0 1 +0 58.01/24.21
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_Z.xml 5159967 ∞ +0 1 +0 52.99/20.33
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml 5159968 n1 +1 1 +0 2.93/0.74
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml 5159969 ∞ +0 1 +0 0.02/0.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex14_AEGL02_C.xml 5159970 ∞ +0 1 +0 1128.60/296.31
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml 5159971 ∞ +0 1 +0 978.84/296.12
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml 5159972 ∞ +0 1 +0 0.00/0.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml 5159973 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_complete-noand_L.xml 5159974 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex9_Luc04_L.xml 5159975 ∞ +0 1 +0 3.69/1.88
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml 5159976 ∞ +0 1 +0 0.02/0.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_complete_L.xml 5159977 ∞ +0 1 +0 0.02/0.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_FR.xml 5159978 n1 +1 1 +0 0.27/0.06
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_L.xml 5159979 ∞ +0 1 +0 0.00/0.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml 5159980 ∞ +0 1 +0 606.49/296.18
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_C.xml 5159981 ∞ +0 1 +0 745.26/296.48
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_complete_Z.xml 5159982 ∞ +0 1 +0 681.89/296.02
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml 5159983 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml 5159984 ∞ +0 1 +0 0.00/0.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_GM.xml 5159985 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml 5159986 n1 +1 1 +0 7.29/1.10
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml 5159987 n1 +1 1 +0 1.03/0.27
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nosorts_FR.xml 5159988 n1 +1 1 +0 0.13/0.04
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_L.xml 5159989 ∞ +0 1 +0 0.00/0.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex15_Luc98_Z.xml 5159990 ∞ +0 1 +0 44.70/15.92
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_C.xml 5159991 ∞ +0 1 +0 745.63/296.63
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml 5159992 ∞ +0 1 +0 888.18/296.07
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_L.xml 5159993 ∞ +0 1 +0 0.02/0.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml 5159994 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml 5159995 ∞ +0 1 +0 3.55/0.21
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml 5159996 ∞ +0 1 +0 431.03/217.62
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_complete_FR.xml 5159997 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex15_Luc98_GM.xml 5159998 n1 +1 1 +0 11.01/2.21
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml 5159999 ∞ +0 1 +0 260.57/149.30
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_complete-noand_Z.xml 5160000 ∞ +0 1 +0 723.26/296.12
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_nosorts_FR.xml 5160001 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_GM.xml 5160002 ∞ +0 1 +0 41.90/16.23
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml 5160003 n1 +1 1 +0 0.64/0.16
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_GM01_L.xml 5160004 ∞ +0 1 +0 0.00/0.00
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_Z.xml 5160005 ∞ +0 1 +0 628.93/296.18
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex26_Luc03b_FR.xml 5160006 ∞ +0 1 +0 234.98/114.97
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_FR.xml 5160007 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml 5160008 ∞ +0 1 +0 1035.62/296.16
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml 5160009 ∞ +0 1 +0 591.13/296.13
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex24_Luc06_L.xml 5160010 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_GM03_Z.xml 5160011 ∞ +0 1 +0 93.40/48.51
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExConc_Zan97_Z.xml 5160012 ∞ +0 1 +0 20.89/8.05
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml 5160013 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_L.xml 5160014 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_FR.xml 5160015 ∞ +0 1 +0 189.10/84.92
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml 5160016 n1 +1 1 +0 0.50/0.06
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_C.xml 5160017 n1 +1 1 +0 76.14/1.61
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_GM03_GM.xml 5160018 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_C.xml 5160019 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_FR.xml 5160020 ∞ +0 1 +0 58.14/24.78
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_GM99_FR.xml 5160021 ∞ +0 1 +0 93.35/51.06
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_GM99_C.xml 5160022 ∞ +0 1 +0 700.08/296.19
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_L.xml 5160023 ∞ +0 1 +0 22.90/8.05
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_C.xml 5160024 n1 +1 1 +0 7.37/1.88
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_FR.xml 5160025 n1 +1 1 +0 1.09/0.27
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nokinds_GM.xml 5160026 ∞ +0 1 +0 3.99/0.62
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_complete_Z.xml 5160027 ∞ +0 1 +0 1.09/0.28
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex14_Luc06_C.xml 5160028 ∞ +0 1 +0 0.29/0.09
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_L.xml 5160029 ∞ +0 1 +0 0.00/0.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_L.xml 5160030 ∞ +0 1 +0 0.02/0.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_FR.xml 5160031 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml 5160032 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml 5160033 ∞ +0 1 +0 389.70/296.11
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex49_GM04_Z.xml 5160034 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_GM99_L.xml 5160035 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex26_Luc03b_Z.xml 5160036 ∞ +0 1 +0 113.16/39.10
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nosorts_C.xml 5160037 n1 +1 1 +0 0.92/0.24
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExProp7_Luc06_FR.xml 5160038 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_complete_noand_GM.xml 5160039 ∞ +0 1 +0 367.09/296.06
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_L.xml 5160040 ∞ +0 1 +0 22.54/8.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml 5160041 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml 5160042 ∞ +0 1 +0 461.12/296.08
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex2_Luc02a_L.xml 5160043 ∞ +0 1 +0 91.59/26.11
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete_Z.xml 5160044 ∞ +0 1 +0 719.95/296.04
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_GM03_FR.xml 5160045 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex23_Luc06_Z.xml 5160046 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_complete-noand_Z.xml 5160047 ∞ +0 1 +0 1.17/0.25
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_complete-noand_L.xml 5160048 ∞ +0 1 +0 0.02/0.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml 5160049 ∞ +0 1 +0 874.24/296.24
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_GM.xml 5160050 ∞ +0 1 +0 72.94/35.64
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_C.xml 5160051 ∞ +0 1 +0 768.15/296.54
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_GM04_Z.xml 5160052 ∞ +0 1 +0 826.52/296.05
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex24_GM04_Z.xml 5160053 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nokinds_noand_C.xml 5160054 ∞ +0 1 +0 719.78/296.09
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_Z.xml 5160055 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_L.xml 5160056 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_L.xml 5160057 n1 +1 1 +0 0.08/0.03
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_GM.xml 5160058 ∞ +0 1 +0 683.37/296.08
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_L.xml 5160059 ∞ +0 1 +0 0.00/0.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml 5160060 ∞ +0 1 +0 374.23/270.62
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml 5160061 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_complete-noand_FR.xml 5160062 ∞ +0 1 +0 4.05/0.41
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_GM.xml 5160063 ∞ +0 1 +0 126.70/63.79
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nosorts_GM.xml 5160064 ∞ +0 1 +0 1.02/0.04
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_FR.xml 5160065 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml 5160066 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex14_AEGL02_L.xml 5160067 ∞ +0 1 +0 19.97/8.04
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_GM01_Z.xml 5160068 ∞ +0 1 +0 972.53/296.15
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex2_Luc02a_C.xml 5160069 ∞ +0 1 +0 754.46/296.26
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml 5160070 ∞ +0 1 +0 912.18/296.37
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml 5160071 n1 +1 1 +0 3.86/0.80
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_Z.xml 5160072 ∞ +0 1 +0 631.82/296.12
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml 5160073 ∞ +0 1 +0 76.94/35.55
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_Z.xml 5160074 ∞ +0 1 +0 140.66/55.32
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex2_Luc02a_GM.xml 5160075 ∞ +0 1 +0 74.93/35.96
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_L.xml 5160076 n1 +1 1 +0 0.03/0.02
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_L.xml 5160077 ∞ +0 1 +0 0.00/0.00
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml 5160078 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_complete-noand_FR.xml 5160079 ∞ +0 1 +0 662.91/296.11
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml 5160080 n1 +1 1 +0 0.30/0.07
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_nokinds_GM.xml 5160081 ∞ +0 1 +0 688.80/296.13
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml 5160082 ∞ +0 1 +0 713.53/296.11
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_GM99_GM.xml 5160083 ∞ +0 1 +0 14.48/6.30
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nokinds-noand_L.xml 5160084 ∞ +0 1 +0 0.00/0.00
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml 5160085 ∞ +0 1 +0 0.00/0.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml 5160086 ∞ +0 1 +0 636.67/296.15
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex2_Luc03b_C.xml 5160087 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_C.xml 5160088 ∞ +0 1 +0 728.03/296.13
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml 5160089 ∞ +0 1 +0 378.24/296.13
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml 5160090 ∞ +0 1 +0 85.19/41.02
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml 5160091 ∞ +0 1 +0 687.64/296.16
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_Luc02b_L.xml 5160092 ∞ +0 1 +0 0.00/0.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml 5160093 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml 5160094 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_nokinds_FR.xml 5160095 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_GM.xml 5160096 ∞ +0 1 +0 1004.73/296.03
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_C.xml 5160097 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_complete-noand_L.xml 5160098 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_GM.xml 5160099 ∞ +0 1 +0 135.27/67.85
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml 5160100 ∞ +0 1 +0 92.89/43.91
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml 5160101 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_noand_C.xml 5160102 ∞ +0 1 +0 1165.07/296.41
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex24_GM04_C.xml 5160103 ∞ +0 1 +0 3.15/0.04
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nosorts-noand_L.xml 5160104 ∞ +0 1 +0 0.00/0.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nosorts_L.xml 5160105 ∞ +0 1 +0 0.00/0.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex2_Luc03b_GM.xml 5160106 ∞ +0 1 +0 41.59/18.51
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_FR.xml 5160107 ∞ +0 1 +0 68.05/29.23
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml 5160108 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_C.xml 5160109 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml 5160110 ∞ +0 1 +0 0.00/0.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_GM03_C.xml 5160111 ∞ +0 1 +0 667.47/296.09
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex9_Luc06_GM.xml 5160112 ∞ +0 1 +0 0.12/0.04
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_nosorts_C.xml 5160113 ∞ +0 1 +0 131.55/62.64
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml 5160114 ∞ +0 1 +0 0.02/0.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml 5160115 ∞ +0 1 +0 50.46/19.89
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml 5160116 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_Z.xml 5160117 ∞ +0 1 +0 64.18/35.41
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex16_Luc06_GM.xml 5160118 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml 5160119 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_C.xml 5160120 ∞ +0 1 +0 727.08/296.17
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_L.xml 5160121 n1 +1 1 +0 0.90/0.21
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nosorts_L.xml 5160122 ∞ +0 1 +0 0.00/0.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml 5160123 ∞ +0 1 +0 100.30/47.76
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_C.xml 5160124 ∞ +0 1 +0 1079.66/296.62
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_GM.xml 5160125 n1 +1 1 +0 0.07/0.03
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_Luc02b_C.xml 5160126 ∞ +0 1 +0 680.93/296.13
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nokinds_L.xml 5160127 ∞ +0 1 +0 0.00/0.00
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_Z.xml 5160128 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml 5160129 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml 5160130 ∞ +0 1 +0 57.91/26.89
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml 5160131 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml 5160132 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_Z.xml 5160133 ∞ +0 1 +0 166.51/90.27
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_complete_noand_GM.xml 5160134 ∞ +0 1 +0 2.47/0.64
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_C.xml 5160135 ∞ +0 1 +0 684.91/296.14
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex14_AEGL02_GM.xml 5160136 ∞ +0 1 +0 146.80/83.70
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex6_GM04_C.xml 5160137 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex49_GM04_FR.xml 5160138 ∞ +0 1 +0 132.98/79.51
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nokinds_Z.xml 5160139 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml 5160140 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_GM04_C.xml 5160141 n1 +1 1 +0 175.14/4.72
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_C.xml 5160142 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml 5160143 n2 +1 1 +0 15.18/4.29
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex16_Luc06_L.xml 5160144 ∞ +0 1 +0 20.71/8.05
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml 5160145 ∞ +0 1 +0 1112.62/296.04
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml 5160146 ∞ +0 1 +0 52.28/33.25
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_Luc02b_Z.xml 5160147 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExProp7_Luc06_Z.xml 5160148 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_complete_C.xml 5160149 ∞ +0 1 +0 1057.66/299.32
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExAppendixB_AEL03_L.xml 5160150 ∞ +0 1 +0 0.02/0.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_L.xml 5160151 ∞ +0 1 +0 0.00/0.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_complete_FR.xml 5160152 ∞ +0 1 +0 787.06/296.07
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nosorts_noand_C.xml 5160153 n1 +1 1 +0 3.18/0.72
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_GM.xml 5160154 n1 +1 1 +0 0.24/0.07
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_GM.xml 5160155 ∞ +0 1 +0 153.45/71.45
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_C.xml 5160156 n1 +1 1 +0 7.04/1.29
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex24_GM04_L.xml 5160157 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml 5160158 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex25_Luc06_FR.xml 5160159 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_FR.xml 5160160 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml 5160161 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml 5160162 ∞ +0 1 +0 828.92/296.11
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml 5160163 ∞ +0 1 +0 866.48/296.10
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nokinds_FR.xml 5160164 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_GM01_FR.xml 5160165 ∞ +0 1 +0 779.57/296.15
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_complete-noand_FR.xml 5160166 ∞ +0 1 +0 725.85/296.12
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nosorts_GM.xml 5160167 ∞ +0 1 +0 91.74/32.71
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex15_Luc98_FR.xml 5160168 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_C.xml 5160169 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex9_Luc06_C.xml 5160170 ∞ +0 1 +0 2.98/0.04
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex15_Luc98_L.xml 5160171 ∞ +0 1 +0 0.00/0.00
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_Z.xml 5160172 ∞ +0 1 +0 93.60/40.43
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml 5160173 ∞ +0 1 +0 582.04/296.05
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_complete_noand_C.xml 5160174 ∞ +0 1 +0 947.40/296.17
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml 5160175 ∞ +0 1 +0 775.93/296.03
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_nosorts_GM.xml 5160176 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml 5160177 ∞ +0 1 +0 566.17/296.02
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_complete_L.xml 5160178 ∞ +0 1 +0 0.02/0.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_GM01_GM.xml 5160179 ∞ +0 1 +0 1068.09/296.24
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml 5160180 ∞ +0 1 +0 371.42/296.12
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_Luc02b_FR.xml 5160181 ∞ +0 1 +0 610.74/296.03
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_L.xml 5160182 ∞ +0 1 +0 0.02/0.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml 5160183 ∞ +0 1 +0 501.00/296.07
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex2_Luc02a_FR.xml 5160184 ∞ +0 1 +0 60.41/28.09
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml 5160185 ∞ +0 1 +0 1011.43/296.28
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml 5160186 ∞ +0 1 +0 697.67/296.24
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExConc_Zan97_GM.xml 5160187 n1 +1 1 +0 0.51/0.06
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_complete_noand_C.xml 5160188 ∞ +0 1 +0 807.25/296.08
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nokinds_C.xml 5160189 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml 5160190 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml 5160191 ∞ +0 1 +0 701.43/296.04
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete_C.xml 5160192 ∞ +0 1 +0 752.85/296.14
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_GM.xml 5160193 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_FR.xml 5160194 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex23_Luc06_GM.xml 5160195 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_complete_noand_C.xml 5160196 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_complete_GM.xml 5160197 ∞ +0 1 +0 369.09/296.12
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml 5160198 ∞ +0 1 +0 44.30/17.48
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex49_GM04_C.xml 5160199 ∞ +0 1 +0 695.44/296.17
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml 5160200 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml 5160201 ∞ +0 1 +0 409.75/296.08
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nokinds_L.xml 5160202 ∞ +0 1 +0 0.00/0.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex14_AEGL02_Z.xml 5160203 ∞ +0 1 +0 30.57/11.99
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_complete-noand_L.xml 5160204 ∞ +0 1 +0 0.02/0.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_GM99_C.xml 5160205 ∞ +0 1 +0 915.21/296.14
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_GM99_GM.xml 5160206 ∞ +0 1 +0 92.29/50.80
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_complete_noand_C.xml 5160207 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nokinds_GM.xml 5160208 ∞ +0 1 +0 98.66/50.40
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_L.xml 5160209 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_L.xml 5160210 ∞ +0 1 +0 0.00/0.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_Z.xml 5160211 ∞ +0 1 +0 50.98/21.55
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_GM99_L.xml 5160212 ∞ +0 1 +0 23.11/8.05
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_FR.xml 5160213 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex9_Luc06_FR.xml 5160214 ∞ +0 1 +0 0.48/0.03
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml 5160215 ∞ +0 1 +0 367.33/296.02
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml 5160216 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nokinds_Z.xml 5160217 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_FR.xml 5160218 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml 5160219 ∞ +0 1 +0 66.31/28.89
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex6_GM04_GM.xml 5160220 n1 +1 1 +0 0.52/0.13
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex16_Luc06_C.xml 5160221 ∞ +0 1 +0 0.14/0.05
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_GM.xml 5160222 ∞ +0 1 +0 393.00/237.65
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_C.xml 5160223 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_L.xml 5160224 ∞ +0 1 +0 0.00/0.00
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex14_Luc06_GM.xml 5160225 ∞ +0 1 +0 0.67/0.09
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml 5160226 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml 5160227 ∞ +0 1 +0 246.64/147.17
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExProp7_Luc06_C.xml 5160228 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_C.xml 5160229 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex26_Luc03b_GM.xml 5160230 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_Z.xml 5160231 n1 +1 1 +0 1.44/0.37
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_C.xml 5160232 n1 +1 1 +0 0.73/0.08
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml 5160233 ∞ +0 1 +0 0.38/0.11
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml 5160234 n1 +1 1 +0 9.53/0.07
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml 5160235 ∞ +0 1 +0 5.66/0.63
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex2_Luc03b_FR.xml 5160236 ∞ +0 1 +0 125.19/58.96
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex9_Luc04_GM.xml 5160237 ∞ +0 1 +0 17.33/7.11
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml 5160238 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml 5160239 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml 5160240 ∞ +0 1 +0 102.65/41.24
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_GM01_C.xml 5160241 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml 5160242 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml 5160243 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExProp7_Luc06_L.xml 5160244 n1 +1 1 +0 0.20/0.02
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex26_Luc03b_C.xml 5160245 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_complete_GM.xml 5160246 ∞ +0 1 +0 2.92/0.76
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml 5160247 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex18_Luc06_FR.xml 5160248 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml 5160249 ∞ +0 1 +0 3.54/0.72
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml 5160250 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_GM.xml 5160251 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_L.xml 5160252 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_complete_GM.xml 5160253 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nosorts_C.xml 5160254 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_complete_Z.xml 5160255 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex24_GM04_FR.xml 5160256 ∞ +0 1 +0 0.44/0.06
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_Z.xml 5160257 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml 5160258 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml 5160259 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml 5160260 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml 5160261 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_complete_L.xml 5160262 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_Z.xml 5160263 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex6_GM04_FR.xml 5160264 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex18_Luc06_GM.xml 5160265 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_L.xml 5160266 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_Z.xml 5160267 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex49_GM04_GM.xml 5160268 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_L.xml 5160269 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex25_Luc06_C.xml 5160270 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_FR.xml 5160271 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_Z.xml 5160272 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_complete_Z.xml 5160273 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml 5160274 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_C.xml 5160275 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml 5160276 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_GM03_L.xml 5160277 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex18_Luc06_C.xml 5160278 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml 5160279 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_L.xml 5160280 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_Z.xml 5160281 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml 5160282 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml 5160283 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_Z.xml 5160284 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml 5160285 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_GM.xml 5160286 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml 5160287 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_GM99_Z.xml 5160288 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml 5160289 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex25_Luc06_GM.xml 5160290 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml 5160291 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_Z.xml 5160292 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_nokinds_Z.xml 5160293 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex15_Luc98_C.xml 5160294 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_C.xml 5160295 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml 5160296 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml 5160297 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_C.xml 5160298 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex14_AEGL02_FR.xml 5160299 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_nokinds_C.xml 5160300 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml 5160301 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml 5160302 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_C.xml 5160303 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_nosorts_L.xml 5160304 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml 5160305 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex49_GM04_L.xml 5160306 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_GM.xml 5160307 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml 5160308 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml 5160309 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex2_Luc03b_L.xml 5160310 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_FR.xml 5160311 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex2_Luc03b_Z.xml 5160312 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_FR.xml 5160313 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_FR.xml 5160314 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_complete_noand_GM.xml 5160315 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml 5160316 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml 5160317 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml 5160318 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExAppendixB_AEL03_C.xml 5160319 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml 5160320 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml 5160321 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_C.xml 5160322 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_complete_C.xml 5160323 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_GM.xml 5160324 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml 5160325 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml 5160326 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml 5160327 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExConc_Zan97_FR.xml 5160328 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_GM04_L.xml 5160329 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_GM.xml 5160330 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_complete_FR.xml 5160331 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_FR.xml 5160332 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml 5160333 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml 5160334 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex18_Luc06_Z.xml 5160335 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_GM04_FR.xml 5160336 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_GM.xml 5160337 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml 5160338 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_C.xml 5160339 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml 5160340 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex26_Luc03b_L.xml 5160341 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_complete_C.xml 5160342 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml 5160343 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml 5160344 paused
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_L.xml 5160345 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml 5160346 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_nokinds_L.xml 5160347 pending submission
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_complete_FR.xml 5160348 pending submission
Runtime_Complexity_Full_Rewriting/SK90/2.49.xml 5159741 n1 +1 1 +0 0.06/0.02
Runtime_Complexity_Full_Rewriting/SK90/4.12.xml 5159742 n1 +1 1 +0 0.50/0.08
Runtime_Complexity_Full_Rewriting/SK90/2.45.xml 5159743 ∞ +0 1 +0 575.65/296.13
Runtime_Complexity_Full_Rewriting/SK90/2.15.xml 5159744 ∞ +0 1 +0 14.34/5.86
Runtime_Complexity_Full_Rewriting/SK90/2.40.xml 5159745 n2 +1 1 +0 17.92/4.61
Runtime_Complexity_Full_Rewriting/SK90/2.47.xml 5159746 n1 +1 1 +0 0.05/0.02
Runtime_Complexity_Full_Rewriting/SK90/2.22.xml 5159747 ∞ +0 1 +0 20.49/8.76
Runtime_Complexity_Full_Rewriting/SK90/4.10.xml 5159748 n2 +1 1 +0 19.27/4.75
Runtime_Complexity_Full_Rewriting/SK90/4.26.xml 5159749 n1 +1 1 +0 0.89/0.11
Runtime_Complexity_Full_Rewriting/SK90/2.59.xml 5159750 ∞ +0 1 +0 0.22/0.03
Runtime_Complexity_Full_Rewriting/SK90/2.27.xml 5159751 ∞ +0 1 +0 169.95/70.81
Runtime_Complexity_Full_Rewriting/SK90/4.57.xml 5159752 ∞ +0 1 +0 644.12/296.11
Runtime_Complexity_Full_Rewriting/SK90/4.60.xml 5159753 ∞ +0 1 +0 680.15/296.10
Runtime_Complexity_Full_Rewriting/SK90/2.31.xml 5159754 n1 +1 1 +0 0.82/0.16
Runtime_Complexity_Full_Rewriting/SK90/4.28.xml 5159755 ∞ +0 1 +0 1.51/0.10
Runtime_Complexity_Full_Rewriting/SK90/2.52.xml 5159756 pending submission
Runtime_Complexity_Full_Rewriting/SK90/2.03.xml 5159757 n1 +1 1 +0 0.03/0.01
Runtime_Complexity_Full_Rewriting/SK90/4.13.xml 5159758 ∞ +0 1 +0 14.91/6.09
Runtime_Complexity_Full_Rewriting/SK90/4.53.xml 5159759 ∞ +0 1 +0 0.17/0.04
Runtime_Complexity_Full_Rewriting/SK90/2.38.xml 5159760 pending submission
Runtime_Complexity_Full_Rewriting/SK90/4.06.xml 5159761 pending submission
Runtime_Complexity_Full_Rewriting/SK90/2.25.xml 5159762 ∞ +0 1 +0 20.43/6.90
Runtime_Complexity_Full_Rewriting/SK90/2.12.xml 5159763 ∞ +0 1 +0 71.65/20.32
Runtime_Complexity_Full_Rewriting/SK90/4.54.xml 5159764 ∞ +0 1 +0 19.24/7.90
Runtime_Complexity_Full_Rewriting/SK90/2.50.xml 5159765 n1 +1 1 +0 0.10/0.03
Runtime_Complexity_Full_Rewriting/SK90/4.34.xml 5159766 ∞ +0 1 +0 279.40/155.19
Runtime_Complexity_Full_Rewriting/SK90/4.47.xml 5159767 n1 +1 1 +0 2.40/0.68
Runtime_Complexity_Full_Rewriting/SK90/2.07.xml 5159768 n2 +1 1 +0 16.61/4.22
Runtime_Complexity_Full_Rewriting/SK90/2.42.xml 5159769 pending submission
Runtime_Complexity_Full_Rewriting/SK90/2.09.xml 5159770 n1 +1 1 +0 0.42/0.10
Runtime_Complexity_Full_Rewriting/SK90/4.48.xml 5159771 ∞ +0 1 +0 0.25/0.05
Runtime_Complexity_Full_Rewriting/SK90/2.17.xml 5159772 n2 +1 1 +0 0.66/0.42
Runtime_Complexity_Full_Rewriting/SK90/4.30.xml 5159773 n1 +1 1 +0 0.22/0.06
Runtime_Complexity_Full_Rewriting/SK90/2.39.xml 5159774 ∞ +0 1 +0 59.32/21.88
Runtime_Complexity_Full_Rewriting/SK90/2.29.xml 5159775 n2 +1 1 +0 6.45/1.93
Runtime_Complexity_Full_Rewriting/SK90/4.27.xml 5159776 ∞ +0 1 +0 1181.61/296.22
Runtime_Complexity_Full_Rewriting/SK90/4.61.xml 5159777 ∞ +0 1 +0 710.80/296.11
Runtime_Complexity_Full_Rewriting/SK90/4.09.xml 5159778 pending submission
Runtime_Complexity_Full_Rewriting/SK90/4.29.xml 5159779 n1 +1 1 +0 0.66/0.18
Runtime_Complexity_Full_Rewriting/SK90/2.37.xml 5159780 n2 +1 1 +0 0.35/0.23
Runtime_Complexity_Full_Rewriting/SK90/4.07.xml 5159781 ∞ +0 1 +0 0.12/0.04
Runtime_Complexity_Full_Rewriting/SK90/4.45.xml 5159782 ∞ +0 1 +0 0.06/0.04
Runtime_Complexity_Full_Rewriting/SK90/2.54.xml 5159783 n1 +1 1 +0 0.09/0.03
Runtime_Complexity_Full_Rewriting/SK90/4.16.xml 5159784 n1 +1 1 +0 0.30/0.09
Runtime_Complexity_Full_Rewriting/SK90/4.31.xml 5159785 ∞ +0 1 +0 27.77/12.22
Runtime_Complexity_Full_Rewriting/SK90/2.13.xml 5159786 n1 +1 1 +0 0.61/0.15
Runtime_Complexity_Full_Rewriting/SK90/4.18.xml 5159787 n2 +1 1 +0 10.75/2.58
Runtime_Complexity_Full_Rewriting/SK90/2.20.xml 5159788 n2 +1 1 +0 0.55/0.29
Runtime_Complexity_Full_Rewriting/SK90/2.55.xml 5159789 ∞ +0 1 +0 0.05/0.03
Runtime_Complexity_Full_Rewriting/SK90/4.05.xml 5159790 n2 +1 1 +0 2.26/0.63
Runtime_Complexity_Full_Rewriting/SK90/4.22.xml 5159791 pending submission
Runtime_Complexity_Full_Rewriting/SK90/4.43.xml 5159792 ∞ +0 1 +0 49.63/16.83
Runtime_Complexity_Full_Rewriting/SK90/2.44.xml 5159793 n2 +1 1 +0 3.38/1.93
Runtime_Complexity_Full_Rewriting/SK90/4.25.xml 5159794 ∞ +0 1 +0 0.35/0.04
Runtime_Complexity_Full_Rewriting/SK90/2.43.xml 5159795 ∞ +0 1 +0 225.25/126.14
Runtime_Complexity_Full_Rewriting/SK90/2.48.xml 5159796 n1 +1 1 +0 0.07/0.03
Runtime_Complexity_Full_Rewriting/SK90/4.17.xml 5159797 pending submission
Runtime_Complexity_Full_Rewriting/SK90/2.24.xml 5159798 ∞ +0 1 +0 17.18/8.52
Runtime_Complexity_Full_Rewriting/SK90/2.16.xml 5159799 n2 +1 1 +0 15.97/4.05
Runtime_Complexity_Full_Rewriting/SK90/2.41.xml 5159800 n1 +1 1 +0 0.40/0.12
Runtime_Complexity_Full_Rewriting/SK90/2.51.xml 5159801 ∞ +0 1 +0 18.54/6.81
Runtime_Complexity_Full_Rewriting/SK90/4.24.xml 5159802 pending submission
Runtime_Complexity_Full_Rewriting/SK90/2.28.xml 5159803 ∞ +0 1 +0 12.67/5.73
Runtime_Complexity_Full_Rewriting/SK90/2.23.xml 5159804 ∞ +0 1 +0 26.54/10.59
Runtime_Complexity_Full_Rewriting/SK90/4.38.xml 5159805 n1 +1 1 +0 0.32/0.09
Runtime_Complexity_Full_Rewriting/SK90/4.42.xml 5159806 ∞ +0 1 +0 26.92/9.95
Runtime_Complexity_Full_Rewriting/SK90/2.53.xml 5159807 n1 +1 1 +0 0.19/0.02
Runtime_Complexity_Full_Rewriting/SK90/2.21.xml 5159808 pending submission
Runtime_Complexity_Full_Rewriting/SK90/2.61.xml 5159809 ∞ +0 1 +0 2.30/0.03
Runtime_Complexity_Full_Rewriting/SK90/2.19.xml 5159810 n2 +1 1 +0 11.27/2.73
Runtime_Complexity_Full_Rewriting/SK90/2.11.xml 5159811 n1 +1 1 +0 0.18/0.05
Runtime_Complexity_Full_Rewriting/SK90/4.51.xml 5159812 pending submission
Runtime_Complexity_Full_Rewriting/SK90/2.26.xml 5159813 pending submission
Runtime_Complexity_Full_Rewriting/SK90/2.30.xml 5159814 n1 +1 1 +0 0.46/0.12
Runtime_Complexity_Full_Rewriting/SK90/2.14.xml 5159815 n1 +1 1 +0 0.51/0.08
Runtime_Complexity_Full_Rewriting/SK90/2.36.xml 5159816 n1 +1 1 +0 0.89/0.23
Runtime_Complexity_Full_Rewriting/SK90/2.02.xml 5159817 n1 +1 1 +0 0.23/0.07
Runtime_Complexity_Full_Rewriting/SK90/2.18.xml 5159818 pending submission
Runtime_Complexity_Full_Rewriting/SK90/4.35.xml 5159819 n1 +1 1 +0 0.32/0.05
Runtime_Complexity_Full_Rewriting/SK90/4.59.xml 5159820 ∞ +0 1 +0 35.27/13.15
Runtime_Complexity_Full_Rewriting/Secret_07_TRS/aprove07.xml 5160487 ∞ +0 1 +0 69.51/28.99
Runtime_Complexity_Full_Rewriting/Secret_07_TRS/secret3.xml 5160488 ∞ +0 1 +0 41.06/18.56
Runtime_Complexity_Full_Rewriting/Secret_07_TRS/aprove04.xml 5160489 ∞ +0 1 +0 670.74/296.09
Runtime_Complexity_Full_Rewriting/Secret_07_TRS/3.xml 5160490 ∞ +0 1 +0 0.08/0.03
Runtime_Complexity_Full_Rewriting/Secret_07_TRS/aprove02.xml 5160491 ∞ +0 1 +0 42.60/17.26
Runtime_Complexity_Full_Rewriting/Secret_07_TRS/aprove10.xml 5160492 ∞ +0 1 +0 652.92/296.02
Runtime_Complexity_Full_Rewriting/Secret_07_TRS/aprove08.xml 5160493 ∞ +0 1 +0 46.39/19.05
Runtime_Complexity_Full_Rewriting/Secret_07_TRS/aprove09.xml 5160494 ∞ +0 1 +0 48.42/19.02
Runtime_Complexity_Full_Rewriting/Secret_07_TRS/aprove01.xml 5160495 ∞ +0 1 +0 63.34/27.30
Runtime_Complexity_Full_Rewriting/Secret_07_TRS/aprove06.xml 5160496 ∞ +0 1 +0 64.45/27.50
Runtime_Complexity_Full_Rewriting/Secret_07_TRS/aprove03.xml 5160497 ∞ +0 1 +0 650.69/296.12
Runtime_Complexity_Full_Rewriting/Secret_07_TRS/secret5.xml 5160498 ∞ +0 1 +0 670.62/296.12
Runtime_Complexity_Full_Rewriting/Secret_07_TRS/secret4.xml 5160499 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/Secret_07_TRS/aprove05.xml 5160500 ∞ +0 1 +0 73.70/30.85
Runtime_Complexity_Full_Rewriting/Secret_07_TRS/secret1.xml 5160501 pending submission
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex8_BLR02.xml 5159863 ∞ +0 1 +0 23.45/7.49
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml 5159864 ∞ +0 1 +0 12.24/4.76
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml 5159865 ∞ +0 1 +0 18.98/8.05
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex6_GM04.xml 5159866 ∞ +0 1 +0 20.99/8.01
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml 5159867 ∞ +0 1 +0 16.43/5.35
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex1_Zan97.xml 5159868 ∞ +0 1 +0 195.06/83.90
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml 5159869 ∞ +0 1 +0 10.21/3.49
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex1_GM03.xml 5159870 ∞ +0 1 +0 91.92/48.03
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex7_BLR02.xml 5159871 ∞ +0 1 +0 23.24/11.03
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex6_15_AEL02.xml 5159872 ∞ +0 1 +0 37.36/16.76
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/ExIntrod_GM99.xml 5159873 ∞ +0 1 +0 216.85/90.58
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml 5159874 ∞ +0 1 +0 34.38/15.13
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex3_2_Luc97.xml 5159875 ∞ +0 1 +0 26.99/9.69
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex15_Luc98.xml 5159876 ∞ +0 1 +0 19.48/6.65
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex4_Zan97.xml 5159877 pending submission
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml 5159878 ∞ +0 1 +0 25.66/9.71
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex5_7_Luc97.xml 5159879 ∞ +0 1 +0 29.99/11.80
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex14_AEGL02.xml 5159880 ∞ +0 1 +0 11.80/4.26
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex49_GM04.xml 5159881 ∞ +0 1 +0 792.40/296.12
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex6_Luc98.xml 5159882 ∞ +0 1 +0 12.04/3.97
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/ExConc_Zan97.xml 5159883 ∞ +0 1 +0 19.74/8.03
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/ExIntrod_GM01.xml 5159884 ∞ +0 1 +0 63.12/21.31
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/ExIntrod_GM04.xml 5159885 ∞ +0 1 +0 136.89/72.70
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml 5159886 pending submission
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex2_Luc03b.xml 5159887 ∞ +0 1 +0 21.92/8.97
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex1_GL02a.xml 5159888 ∞ +0 1 +0 24.50/8.77
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex26_Luc03b.xml 5159889 ∞ +0 1 +0 37.09/13.91
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex9_BLR02.xml 5159890 pending submission
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex5_Zan97.xml 5159891 ∞ +0 1 +0 18.47/8.01
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml 5159892 ∞ +0 1 +0 57.28/21.88
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex1_Luc02b.xml 5159893 pending submission
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml 5159894 ∞ +0 1 +0 8.96/2.93
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml 5159895 ∞ +0 1 +0 27.00/8.64
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/ExIntrod_Zan97.xml 5159896 ∞ +0 1 +0 914.83/296.12
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex1_2_AEL03.xml 5159897 ∞ +0 1 +0 27.54/10.64
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.19.xml 5160403 ∞ +0 1 +0 0.49/0.07
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.27.xml 5160404 ∞ +0 1 +0 649.17/296.12
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.17.xml 5160405 n1 +1 1 +0 326.74/0.09
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.22.xml 5160406 ∞ +0 1 +0 15.01/5.98
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.36.xml 5160407 ∞ +0 1 +0 884.29/296.50
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.37.xml 5160408 n1 +1 1 +0 0.11/0.04
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.20a.xml 5160409 n1 +1 1 +0 0.04/0.02
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.30b.xml 5160410 ∞ +0 1 +0 28.36/9.22
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.33.xml 5160411 ∞ +0 1 +0 174.40/55.49
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.26.xml 5160412 ∞ +0 1 +0 23.21/9.46
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.35.xml 5160413 ∞ +0 1 +0 0.15/0.05
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.16.xml 5160414 n1 +1 1 +0 1.43/0.42
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.14.xml 5160415 n1 +1 1 +0 3.30/0.89
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.23.xml 5160416 ∞ +0 1 +0 17.98/7.05
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.32.xml 5160417 n2 +1 1 +0 0.99/0.53
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.28.xml 5160418 n1 +1 1 +0 9.30/2.49
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.25.xml 5160419 ∞ +0 1 +0 0.02/0.02
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.30a.xml 5160420 ∞ +0 1 +0 22.14/7.78
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.30.xml 5160421 ∞ +0 1 +0 29.94/10.13
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.29.xml 5160422 pending submission
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.34.xml 5160423 n2 +1 1 +0 1.54/0.82
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.37a.xml 5160424 n1 +1 1 +0 0.16/0.05
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.30c.xml 5160425 ∞ +0 1 +0 30.82/10.60
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.2.xml 5160426 n1 +1 1 +0 4.57/1.35
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.7.xml 5160427 ∞ +0 1 +0 776.15/296.08
Runtime_Complexity_Full_Rewriting/Zantema_05/z16.xml 5160461 ∞ +0 1 +0 979.17/296.13
Runtime_Complexity_Full_Rewriting/Zantema_05/z28.xml 5160462 ∞ +0 1 +0 29.15/11.22
Runtime_Complexity_Full_Rewriting/Zantema_05/z10.xml 5160463 ∞ +0 1 +0 31.08/12.10
Runtime_Complexity_Full_Rewriting/Zantema_05/z13.xml 5160464 ∞ +0 1 +0 991.61/296.23
Runtime_Complexity_Full_Rewriting/Zantema_05/z17.xml 5160465 ∞ +0 1 +0 610.41/296.58
Runtime_Complexity_Full_Rewriting/Zantema_05/z26.xml 5160466 n1 +1 1 +0 0.04/0.02
Runtime_Complexity_Full_Rewriting/Zantema_05/z27.xml 5160467 ∞ +0 1 +0 15.68/6.69
Runtime_Complexity_Full_Rewriting/Zantema_05/z23.xml 5160468 ∞ +0 1 +0 797.89/296.15
Runtime_Complexity_Full_Rewriting/Zantema_05/z12.xml 5160469 ∞ +0 1 +0 453.75/296.03
Runtime_Complexity_Full_Rewriting/Zantema_05/z15.xml 5160470 ∞ +0 1 +0 1114.93/296.37
Runtime_Complexity_Full_Rewriting/Zantema_05/z14.xml 5160471 ∞ +0 1 +0 948.08/296.11
Runtime_Complexity_Full_Rewriting/Zantema_05/z24.xml 5160472 ∞ +0 1 +0 699.14/296.18
Runtime_Complexity_Full_Rewriting/Zantema_05/z18.xml 5160473 ∞ +0 1 +0 1093.86/296.16
Runtime_Complexity_Full_Rewriting/Waldmann_06/jwno4.xml 5160623 ∞ +0 1 +0 79.02/56.34
Runtime_Complexity_Full_Rewriting/Waldmann_06/jwmatchb2.xml 5160624 n1 +1 1 +0 0.82/0.07
Runtime_Complexity_Full_Rewriting/Waldmann_06/jwno6.xml 5160625 ∞ +0 1 +0 70.55/48.86
Runtime_Complexity_Full_Rewriting/Waldmann_06/jwmatchb1.xml 5160626 n1 +1 1 +0 0.19/0.03
Runtime_Complexity_Full_Rewriting/Waldmann_06/jwno1.xml 5160627 ∞ +0 1 +0 33.74/13.16
126