Termination Competition 2019: Runtime Complexity: TRS33563

Job info CSV
AProVE complexity
benchmark UPLOWTIME
AProVE_09_Inductive/zerolist.xml 5160609 n2 +1 n1 +1 912.22/291.68
AProVE_09_Inductive/log.xml 5160610 ∞ +0 n1 +1 302.82/291.52
AProVE_09_Inductive/maxsort.xml 5160611 ∞ +0 n2 +1 305.23/291.54
AProVE_09_Inductive/qsortlast.xml 5160612 ∞ +0 n1 +1 311.59/291.53
AProVE_09_Inductive/qsort.xml 5160613 ∞ +0 n1 +1 309.55/291.49
AProVE_09_Inductive/qsortmiddle.xml 5160614 ∞ +0 n1 +1 311.88/291.62
AProVE_09_Inductive/minsort.xml 5160615 ∞ +0 n1 +1 306.79/291.55
AProVE_09_Inductive/gcd2.xml 5160616 ∞ +0 n1 +1 301.83/291.59
AProVE_09_Inductive/maxsortcondition.xml 5160617 ∞ +0 n2 +1 309.35/291.55
AProVE_09_Inductive/div.xml 5160618 ∞ +0 n1 +1 301.34/291.63
AProVE_09_Inductive/mod.xml 5160619 ∞ +0 n1 +1 301.4/291.58
AProVE_09_Inductive/divhard.xml 5160620 ∞ +0 n1 +1 303.68/291.56
AProVE_09_Inductive/gcd.xml 5160621 ∞ +0 n1 +1 301.9/291.55
AProVE_09_Inductive/gcdhard.xml 5160622 ∞ +0 n1 +1 302.60/291.57
AProVE_08/log.xml 5160428 ∞ +0 n1 +1 1115.13/291.66
AProVE_08/round_nonterm.xml 5160429 ∞ +0 NonPoly +1 3.42/1.69
AProVE_08/parting05_maxsort.xml 5160430 ∞ +0 n2 +1 308.66/291.57
AProVE_08/parting03_minsort.xml 5160431 ∞ +0 n2 +1 307.08/291.52
AProVE_08/parting04_maxsort_h.xml 5160432 ∞ +0 n2 +1 309.31/291.65
AProVE_08/thiemann40_modified.xml 5160433 ∞ +0 n2 +1 307.95/291.56
AProVE_08/parting01_reverse.xml 5160434 ∞ +0 n2 +1 310.96/291.55
AProVE_08/round.xml 5160435 n1 +1 n1 +1 889.03/291.55
AProVE_08/id_inc.xml 5160436 timeout (wallclock)
AProVE_08/parting02_doublelist.xml 5160437 ∞ +0 n1 +1 305.77/291.49
CiME_04/filliatre2.xml 5160379 ∞ +0 n1 +1 1124.98/291.64
CiME_04/tree.xml 5160380 ∞ +0 n1 +1 1077.56/291.81
CiME_04/intersect.xml 5160381 n2 +1 n1 +1 378.87/291.57
CiME_04/append-hard.xml 5160382 ∞ +0 n1 +1 302.02/291.52
CiME_04/ack_prolog.xml 5160383 ∞ +0 n1 +1 1067.12/291.91
CiME_04/ternary-hard.xml 5160384 ∞ +0 n1 +1 1132.71/295.39
CiME_04/filliatre.xml 5160385 ∞ +0 n1 +1 1130.93/291.63
CiME_04/append.xml 5160386 n1 +1 n1 +1 20.46/8.25
CiME_04/fact-hard.xml 5160387 ∞ +0 n2 +1 313.38/291.50
CiME_04/list-sum-prod-bin-assoc.xml 5160388 ∞ +0 NonPoly +1 3.55/1.73
CiME_04/list-sum-prod-assoc-append.xml 5160389 ∞ +0 n2 +1 370.59/291.54
CiME_04/dpqs.xml 5160390 1 +1 1 +0 3.01/1.55
CiME_04/ternary.xml 5160391 ∞ +0 n1 +1 1108.01/291.60
CiME_04/filliatre3.xml 5160392 ∞ +0 n1 +1 1120.54/291.63
CiME_04/list-sum-prod.xml 5160393 ∞ +0 n2 +1 325.95/291.57
CiME_04/lse.xml 5160394 n2 +1 n2 +1 59.45/24.25
CiME_04/mucrl1.xml 5160395 ∞ +0 n1 +1 890.94/291.67
CiME_04/maude2.xml 5160396 ∞ +0 n1 +1 319.08/291.95
CiME_04/log2.xml 5160397 ∞ +0 n1 +1 1122.02/291.57
CiME_04/append-wrong.xml 5160398 ∞ +0 NonPoly +1 3.54/2.04
CiME_04/list-sum-prod-assoc.xml 5160399 ∞ +0 n2 +1 341.64/291.84
CiME_04/list-sum-prod-bin.xml 5160400 ∞ +0 NonPoly +1 3.67/1.67
CiME_04/big.xml 5160401 ∞ +0 NonPoly +1 4.10/2.43
CiME_04/list-sum-prod-bin-assoc-distr-app.xml 5160402 ∞ +0 NonPoly +1 4.04/1.82
Beerendonk_07/12.xml 5160502 ∞ +0 n1 +1 306.17/291.50
Beerendonk_07/10.xml 5160503 ∞ +0 n1 +1 308.18/291.59
Beerendonk_07/14.xml 5160504 n2 +1 n1 +1 934.50/291.53
Beerendonk_07/13.xml 5160505 ∞ +0 n1 +1 303.16/291.53
Beerendonk_07/3.xml 5160506 ∞ +0 n1 +1 305.01/291.54
Beerendonk_07/20.xml 5160507 ∞ +0 n1 +1 306.59/291.62
Beerendonk_07/7.xml 5160508 ∞ +0 n1 +1 303.43/291.53
Beerendonk_07/1.xml 5160509 ∞ +0 n1 +1 303.81/291.65
Beerendonk_07/17.xml 5160510 ∞ +0 n1 +1 308.26/291.58
Beerendonk_07/23.xml 5160511 ∞ +0 n1 +1 305.79/291.55
Beerendonk_07/19.xml 5160512 ∞ +0 n1 +1 303.90/291.51
Beerendonk_07/16.xml 5160513 ∞ +0 n1 +1 305.58/291.51
Beerendonk_07/5.xml 5160514 ∞ +0 n1 +1 302.36/291.54
Beerendonk_07/11.xml 5160515 ∞ +0 n1 +1 301.61/291.58
Beerendonk_07/2.xml 5160516 ∞ +0 n1 +1 303.11/291.53
Beerendonk_07/8.xml 5160517 ∞ +0 n1 +1 303.34/291.55
Beerendonk_07/18.xml 5160518 ∞ +0 n1 +1 302.54/291.53
Beerendonk_07/6.xml 5160519 ∞ +0 n1 +1 306.23/291.55
Beerendonk_07/21.xml 5160520 ∞ +0 n1 +1 309.86/291.53
Beerendonk_07/9.xml 5160521 ∞ +0 n1 +1 303.91/291.54
Beerendonk_07/4.xml 5160522 n1 +1 n1 +1 884.47/291.52
Beerendonk_07/24.xml 5160523 ∞ +0 n1 +1 302.91/291.56
Beerendonk_07/15.xml 5160524 ∞ +0 n1 +1 304.74/291.54
Beerendonk_07/22.xml 5160525 ∞ +0 n1 +1 304.27/291.53
AProVE_04/Liveness_WRS.xml 5159903 n1 +1 n1 +1 1149.71/291.69
AProVE_04/IJCAR_1.xml 5159904 n1 +1 n1 +1 21.74/7.24
AProVE_04/IJCAR_18.xml 5159905 n3 +1 n2 +1 1112.84/291.73
AProVE_04/AAECC-ring.xml 5159906 ∞ +0 n1 +1 311.92/291.57
AProVE_04/AAECC.xml 5159907 ∞ +0 n1 +1 315.95/291.51
AProVE_04/JFP_Ex51.xml 5159908 ∞ +0 NonPoly +1 4.46/1.88
AProVE_04/IJCAR_12.xml 5159909 n2 +1 n2 +1 30.93/10.18
AProVE_04/rta1.xml 5159910 ∞ +0 NonPoly +1 3.87/1.80
AProVE_04/IJCAR_26.xml 5159911 ∞ +0 n3 +1 1113.11/291.60
AProVE_04/LPAR_intlist.xml 5159912 ∞ +0 n1 +1 1006.31/291.56
AProVE_04/IJCAR_26a.xml 5159913 ∞ +0 n3 +1 1112.57/291.75
AProVE_04/Liveness8.xml 5159914 n1 +1 n1 +1 1046.59/291.59
AProVE_04/Liveness6.3.xml 5159915 n1 +1 n1 +1 26.91/8.14
AProVE_04/fac.xml 5159916 ∞ +0 n2 +1 317.39/291.52
AProVE_04/Liveness6.4.xml 5159917 ∞ +0 n1 +1 1090.76/291.74
AProVE_04/Liveness6.1.xml 5159918 ∞ +0 n1 +1 1055.48/291.57
AProVE_04/Liveness6.2.xml 5159919 ∞ +0 n1 +1 1093.4/291.84
AProVE_04/rta2.xml 5159920 ∞ +0 n1 +1 352.56/291.58
AProVE_04/JFP_Ex31.xml 5159921 n1 +1 n1 +1 22.25/7.66
AProVE_04/rta3.xml 5159922 ∞ +0 n1 +1 979.51/291.51
AG01/#3.49.xml 5159669 ∞ +0 n1 +1 912.23/291.53
AG01/#3.19.xml 5159670 ∞ +0 n1 +1 325.93/291.53
AG01/#3.56.xml 5159671 n1 +1 n1 +1 22.83/7.11
AG01/#3.18.xml 5159672 ∞ +0 n1 +1 307.49/291.61
AG01/#3.6.xml 5159673 ∞ +0 n1 +1 310.31/291.55
AG01/#3.35.xml 5159674 n1 +1 n1 +1 18.84/6.00
AG01/#3.53.xml 5159675 n3 +1 n3 +1 39.46/13.84
AG01/#3.55.xml 5159676 ∞ +0 n2 +1 308.88/291.56
AG01/#3.52.xml 5159677 n1 +1 n1 +1 16.95/5.41
AG01/#3.47.xml 5159678 n1 +1 n1 +1 17.94/5.69
AG01/#3.10.xml 5159679 ∞ +0 n1 +1 308.92/291.62
AG01/#3.4.xml 5159680 ∞ +0 n1 +1 815.75/291.57
AG01/#3.6b.xml 5159681 ∞ +0 n1 +1 304.20/292.28
AG01/#3.22.xml 5159682 n2 +1 n2 +1 18.83/6.78
AG01/#3.57.xml 5159683 ∞ +0 n1 +1 888.65/291.52
AG01/#3.53b.xml 5159684 n1 +1 n1 +1 18.94/6.17
AG01/#3.53a.xml 5159685 1 +1 1 +0 3.32/1.61
AG01/#3.12.xml 5159686 n3 +1 n3 +1 18.48/6.52
AG01/#3.39.xml 5159687 n1 +1 n1 +1 22.98/10.08
AG01/#3.23.xml 5159688 n1 +1 n1 +1 14.35/4.74
AG01/#3.15.xml 5159689 n1 +1 n1 +1 16.26/5.08
AG01/#3.40.xml 5159690 n1 +1 n1 +1 23.88/8.05
AG01/#3.5a.xml 5159691 ∞ +0 n1 +1 308.56/291.53
AG01/#3.13.xml 5159692 ∞ +0 n1 +1 305.99/292.33
AG01/#3.17.xml 5159693 n2 +1 n1 +1 319.34/291.51
AG01/#3.29.xml 5159694 1 +1 1 +0 3.24/1.86
AG01/#3.41.xml 5159695 n1 +1 n1 +1 23.90/12.93
AG01/#3.8a.xml 5159696 n1 +1 n1 +1 28.87/9.52
AG01/#3.2.xml 5159697 n1 +1 n1 +1 22.19/11.25
AG01/#3.51.xml 5159698 n1 +1 n1 +1 20.01/7.14
AG01/#3.36.xml 5159699 ∞ +0 n1 +1 314.80/291.50
AG01/#3.48.xml 5159700 ∞ +0 n1 +1 308.67/291.53
AG01/#3.16.xml 5159701 n3 +1 n2 +1 323.80/291.55
AG01/#3.1.xml 5159702 n1 +1 n1 +1 22.57/6.87
AG01/#3.6a.xml 5159703 ∞ +0 n1 +1 304.61/291.57
AG01/#3.26.xml 5159704 ∞ +0 n1 +1 704.89/291.57
AG01/#3.7.xml 5159705 n1 +1 n1 +1 21.11/6.30
AG01/#3.5b.xml 5159706 ∞ +0 n1 +1 306.72/291.62
AG01/#3.5.xml 5159707 n1 +1 n1 +1 30.41/10.40
AG01/#3.38.xml 5159708 ∞ +0 NonPoly +1 3.57/1.64
AG01/#3.31.xml 5159709 ∞ +0 NonPoly +1 3.22/1.55
AG01/#3.33.xml 5159710 1 +1 1 +0 3.25/1.56
AG01/#3.24.xml 5159711 n1 +1 n1 +1 5.00/2.06
AG01/#3.42.xml 5159712 ∞ +0 n1 +1 321.30/291.51
AG01/#3.37.xml 5159713 n1 +1 n1 +1 4.12/1.78
AG01/#4.30c.xml 5159714 ∞ +0 n1 +1 310.98/291.55
AG01/#3.54.xml 5159715 ∞ +0 n1 +1 779.81/291.52
AG01/#3.17a.xml 5159716 n2 +1 n1 +1 337.03/291.59
AG01/#3.8b.xml 5159717 ∞ +0 n1 +1 304.22/291.52
AProVE_07/thiemann14.xml 5160542 ∞ +0 n2 +1 321.10/291.56
AProVE_07/otto06.xml 5160543 ∞ +0 n1 +1 315.80/291.52
AProVE_07/thiemann01.xml 5160544 ∞ +0 n1 +1 307.77/291.66
AProVE_07/thiemann31.xml 5160545 n2 +1 n1 +1 1153.03/291.55
AProVE_07/thiemann21.xml 5160546 ∞ +0 n1 +1 316.62/291.56
AProVE_07/thiemann25.xml 5160547 ∞ +0 n1 +1 313.35/291.53
AProVE_07/thiemann05.xml 5160548 ∞ +0 n1 +1 313.26/291.53
AProVE_07/thiemann03.xml 5160549 ∞ +0 n3 +1 320.13/291.52
AProVE_07/thiemann34.xml 5160550 n2 +1 n1 +1 1103.09/291.65
AProVE_07/thiemann26.xml 5160551 ∞ +0 n1 +1 305.88/291.60
AProVE_07/wiehe03.xml 5160552 ∞ +0 n1 +1 348.46/291.54
AProVE_07/otto03.xml 5160553 n2 +1 n1 +1 892.39/291.51
AProVE_07/thiemann10.xml 5160554 ∞ +0 n1 +1 306.00/292.15
AProVE_07/thiemann30.xml 5160555 ∞ +0 n1 +1 307.07/291.58
AProVE_07/otto04.xml 5160556 ∞ +0 NonPoly +1 3.30/1.59
AProVE_07/otto05.xml 5160557 ∞ +0 n1 +1 315.53/291.62
AProVE_07/thiemann40.xml 5160558 ∞ +0 n1 +1 305.42/291.56
AProVE_07/thiemann17.xml 5160559 ∞ +0 n2 +1 305.15/291.58
AProVE_07/kabasci05.xml 5160560 ∞ +0 n1 +1 358.43/291.89
AProVE_07/otto08.xml 5160561 ∞ +0 n1 +1 311.03/291.60
AProVE_07/thiemann18.xml 5160562 ∞ +0 n1 +1 310.78/291.56
AProVE_07/wiehe01.xml 5160563 ∞ +0 n1 +1 310.39/291.48
AProVE_07/wiehe11.xml 5160564 ∞ +0 n1 +1 341.66/291.59
AProVE_07/kabasci02.xml 5160565 ∞ +0 n3 +1 346.32/291.60
AProVE_07/thiemann36.xml 5160566 n2 +1 n1 +1 1142.95/292.02
AProVE_07/thiemann29.xml 5160567 ∞ +0 n2 +1 313.82/291.52
AProVE_07/thiemann37.xml 5160568 ∞ +0 n1 +1 1138.22/291.77
AProVE_07/wiehe08.xml 5160569 ∞ +0 n1 +1 301.22/291.55
AProVE_07/thiemann04.xml 5160570 ∞ +0 n1 +1 309.12/291.59
AProVE_07/otto02.xml 5160571 ∞ +0 n1 +1 314.18/291.53
AProVE_07/thiemann38.xml 5160572 ∞ +0 n1 +1 305.27/291.55
AProVE_07/thiemann41.xml 5160573 ∞ +0 n1 +1 1104.74/291.81
AProVE_07/thiemann27.xml 5160574 n2 +1 n1 +1 903.31/291.53
AProVE_07/otto07.xml 5160575 n2 +1 n1 +1 889.25/291.59
AProVE_07/otto01.xml 5160576 n1 +1 n1 +1 1001.63/291.66
AProVE_07/kabasci03.xml 5160577 1 +1 1 +0 3.18/1.54
AProVE_07/thiemann23.xml 5160578 n1 +1 n1 +1 931.74/291.64
AProVE_07/thiemann07.xml 5160579 ∞ +0 n2 +1 307.04/291.57
AProVE_07/thiemann32.xml 5160580 ∞ +0 n2 +1 1108.57/291.62
AProVE_07/thiemann19.xml 5160581 ∞ +0 n1 +1 1126.19/291.72
AProVE_07/otto12.xml 5160582 ∞ +0 NonPoly +1 3.63/1.71
AProVE_07/thiemann09.xml 5160583 ∞ +0 n1 +1 1133.1/295.89
AProVE_07/wiehe06.xml 5160584 ∞ +0 n1 +1 310.02/291.55
AProVE_07/otto11.xml 5160585 ∞ +0 n1 +1 1114.85/291.67
AProVE_07/kabasci01.xml 5160586 n1 +1 n1 +1 22.59/7.23
AProVE_07/thiemann16.xml 5160587 ∞ +0 n1 +1 317.92/291.50
AProVE_07/thiemann11.xml 5160588 ∞ +0 n1 +1 311.63/291.60
AProVE_07/wiehe02.xml 5160589 ∞ +0 n2 +1 315.95/291.59
AProVE_07/thiemann22.xml 5160590 ∞ +0 n1 +1 312.84/291.59
AProVE_07/thiemann20.xml 5160591 ∞ +0 n1 +1 311.23/291.53
AProVE_07/thiemann15.xml 5160592 ∞ +0 n1 +1 318.27/291.52
AProVE_07/wiehe09.xml 5160593 ∞ +0 n1 +1 318.53/291.61
AProVE_07/wiehe05.xml 5160594 ∞ +0 n1 +1 301.97/291.53
AProVE_07/wiehe12.xml 5160595 ∞ +0 n2 +1 306.28/291.52
AProVE_07/thiemann28.xml 5160596 ∞ +0 n1 +1 303.98/291.59
AProVE_07/kabasci04.xml 5160597 ∞ +0 n1 +1 314.44/291.55
AProVE_07/thiemann13.xml 5160598 ∞ +0 n1 +1 308.82/291.60
AProVE_07/thiemann06.xml 5160599 ∞ +0 n1 +1 304.65/291.51
AProVE_07/otto10.xml 5160600 ∞ +0 n1 +1 304.89/291.64
AProVE_07/thiemann12.xml 5160601 ∞ +0 n1 +1 306.04/291.60
AProVE_07/otto09.xml 5160602 ∞ +0 n1 +1 304.63/291.57
AProVE_07/otto13.xml 5160603 n2 +1 n1 +1 1063.07/291.67
AProVE_07/thiemann33.xml 5160604 ∞ +0 n1 +1 1087.65/291.65
AProVE_07/wiehe07.xml 5160605 ∞ +0 n1 +1 341.96/291.55
AProVE_07/thiemann24.xml 5160606 ∞ +0 n2 +1 999.29/291.60
AProVE_07/thiemann02.xml 5160607 ∞ +0 n1 +1 308.60/291.65
AProVE_07/thiemann08.xml 5160608 ∞ +0 NonPoly +1 3.69/1.73
AProVE_06/nonterm.xml 5159821 ∞ +0 NonPoly +1 3.71/2.25
AProVE_06/modulo.xml 5159822 ∞ +0 n1 +1 304.22/291.54
AProVE_06/div_notTermin.xml 5159823 ∞ +0 n1 +1 316.46/291.55
AProVE_06/tower.xml 5159824 ∞ +0 NonPoly +1 3.56/1.66
AProVE_06/tower_sizeChange.xml 5159825 ∞ +0 n1 +1 1102.66/291.61
AProVE_06/identity.xml 5159826 ∞ +0 n1 +1 884.87/291.59
AProVE_06/logarithm.xml 5159827 ∞ +0 n1 +1 308.84/291.54
AProVE_06/factorial1.xml 5159828 ∞ +0 n4 +1 335.47/291.55
AProVE_06/quot.xml 5159829 ∞ +0 n1 +1 303.17/291.55
AProVE_06/factorial2.xml 5159830 ∞ +0 n3 +1 321.13/291.64
AProVE_06/div_notCeTermin.xml 5159831 ∞ +0 n1 +1 318.24/291.55
AProVE_06/quicksort.xml 5159832 ∞ +0 n2 +1 312.27/291.56
AProVE_06/sizeChange.xml 5159833 n2 +1 n1 +1 325.30/291.55
Rubio_04/division.xml 5160438 ∞ +0 n1 +1 305.03/291.54
Rubio_04/gmnp.xml 5160439 n1 +1 n1 +1 6.94/2.71
Rubio_04/gm.xml 5160440 n1 +1 n1 +1 23.37/9.45
Rubio_04/selsort.xml 5160441 ∞ +0 n2 +1 305.88/291.62
Rubio_04/enno.xml 5160442 ∞ +0 n1 +1 304.21/291.59
Rubio_04/quotminus.xml 5160443 ∞ +0 n1 +1 927.55/291.53
Rubio_04/prov.xml 5160444 n1 +1 n1 +1 13.97/4.73
Rubio_04/p266.xml 5160445 1 +1 1 +0 3.44/1.61
Rubio_04/bintrees.xml 5160446 n1 +1 n1 +1 3.71/1.68
Rubio_04/nestrec.xml 5160447 ∞ +0 NonPoly +1 9.72/3.29
Rubio_04/ma96.xml 5160448 ∞ +0 NonPoly +1 6.41/2.41
Rubio_04/logarquot.xml 5160449 n1 +1 n1 +1 27.78/8.81
Rubio_04/test829.xml 5160450 n1 +1 n1 +1 3.48/1.70
Rubio_04/elimdupl.xml 5160451 ∞ +0 n1 +1 309.36/291.55
Rubio_04/koen.xml 5160452 1 +1 1 +0 3.24/1.52
Rubio_04/polo2.xml 5160453 n1 +1 n1 +1 30.17/10.45
Rubio_04/mfp95.xml 5160454 1 +1 1 +0 3.31/1.59
Rubio_04/gcd.xml 5160455 ∞ +0 n1 +1 310.74/291.61
Rubio_04/test4.xml 5160456 n1 +1 n1 +1 3.98/1.72
Rubio_04/bn122.xml 5160457 n1 +1 n1 +1 16.44/5.44
Rubio_04/revlist.xml 5160458 ∞ +0 NonPoly +1 3.40/1.62
Rubio_04/quick.xml 5160459 ∞ +0 n2 +1 311.07/291.59
Rubio_04/wst99.xml 5160460 ∞ +0 n1 +1 318.91/291.56
Mixed_TRS/jones1.xml 5159846 n1 +1 n1 +1 3.34/1.66
Mixed_TRS/jones5.xml 5159847 timeout (wallclock)
Mixed_TRS/hydra.xml 5159848 n1 +1 n1 +1 6.67/2.51
Mixed_TRS/minsort.xml 5159849 ∞ +0 NonPoly +1 3.26/1.59
Mixed_TRS/while.xml 5159850 n2 +1 n1 +1 883.81/291.61
Mixed_TRS/jones4.xml 5159851 n1 +1 n1 +1 3.40/1.61
Mixed_TRS/gcdMinMax.xml 5159852 ∞ +0 n1 +1 309.24/291.60
Mixed_TRS/Ex1_Luc04b_GM.xml 5159853 ∞ +0 n1 +1 1075.58/291.59
Mixed_TRS/hydra-Zantema06.xml 5159854 n1 +1 n1 +1 30.36/10.60
Mixed_TRS/jones2.xml 5159855 n1 +1 n1 +1 20.21/6.72
Mixed_TRS/jones6.xml 5159856 n1 +1 n1 +1 3.60/1.83
Mixed_TRS/test1.xml 5159857 ∞ +0 n1 +1 364.83/291.57
Mixed_TRS/fossacs.xml 5159858 ∞ +0 n1 +1 302.54/291.51
Mixed_TRS/gcd.xml 5159859 ∞ +0 n1 +1 310.05/291.52
Mixed_TRS/perfect.xml 5159860 n1 +1 n1 +1 40.15/11.65
Mixed_TRS/gcd_triple.xml 5159861 ∞ +0 n1 +1 311.41/291.55
Mixed_TRS/perfect2.xml 5159862 ∞ +0 NonPoly +1 5.40/2.10
Secret_06_TRS/10.xml 5159718 1 +1 1 +0 3.68/1.68
Secret_06_TRS/division.xml 5159719 ∞ +0 n1 +1 309.01/291.51
Secret_06_TRS/gen-28.xml 5159720 1 +1 1 +0 3.47/1.64
Secret_06_TRS/tpa10.xml 5159721 ∞ +0 n2 +1 312.18/291.64
Secret_06_TRS/tpa07.xml 5159722 ∞ +0 n2 +1 315.40/291.57
Secret_06_TRS/tpa04.xml 5159723 ∞ +0 n1 +1 309.48/291.53
Secret_06_TRS/tpa09.xml 5159724 ∞ +0 n2 +1 308.52/291.62
Secret_06_TRS/gen-17.xml 5159725 1 +1 1 +0 3.36/1.65
Secret_06_TRS/toList.xml 5159726 ∞ +0 n1 +1 307.18/291.65
Secret_06_TRS/reverse.xml 5159727 ∞ +0 n2 +1 319.71/291.51
Secret_06_TRS/tpa06.xml 5159728 ∞ +0 n1 +1 317.74/291.50
Secret_06_TRS/times.xml 5159729 ∞ +0 n1 +1 311.39/291.60
Secret_06_TRS/logarithm.xml 5159730 ∞ +0 n1 +1 305.35/291.62
Secret_06_TRS/double.xml 5159731 ∞ +0 n1 +1 313.18/291.56
Secret_06_TRS/nrOfNodes.xml 5159732 ∞ +0 n2 +1 304.52/291.52
Secret_06_TRS/divExp.xml 5159733 n3 +1 n1 +1 991.92/291.70
Secret_06_TRS/tpa05.xml 5159734 ∞ +0 n2 +1 311.95/291.59
Secret_06_TRS/6.xml 5159735 1 +1 1 +0 6.37/1.68
Secret_06_TRS/4.xml 5159736 1 +1 1 +0 3.40/1.59
Secret_06_TRS/sumList.xml 5159737 ∞ +0 n2 +1 308.98/291.52
Secret_06_TRS/tpa08.xml 5159738 ∞ +0 n2 +1 311.22/291.64
Secret_06_TRS/addList.xml 5159739 ∞ +0 n1 +1 596.30/291.56
Secret_06_TRS/gen-1.xml 5159740 1 +1 1 +0 3.49/1.77
Secret_05_TRS/tpa4.xml 5160349 ∞ +0 n2 +1 311.87/291.68
Secret_05_TRS/tpa2.xml 5160350 ∞ +0 n1 +1 303.10/291.56
Secret_05_TRS/aprove2.xml 5160351 ∞ +0 n1 +1 308.17/291.59
Secret_05_TRS/cime2.xml 5160352 n1 +1 n1 +1 23.76/7.62
Secret_05_TRS/aprove3.xml 5160353 ∞ +0 n1 +1 306.49/291.55
Secret_05_TRS/tpa5.xml 5160354 ∞ +0 n1 +1 314.83/291.60
Secret_05_TRS/tpa3.xml 5160355 ∞ +0 n2 +1 315.30/291.62
Secret_05_TRS/cime5.xml 5160356 timeout (wallclock)
Secret_05_TRS/ttt1.xml 5160357 1 +1 1 +0 3.25/1.56
Secret_05_TRS/aprove4.xml 5160358 ∞ +0 n1 +1 309.78/291.55
Secret_05_TRS/tpa1.xml 5160359 ∞ +0 n1 +1 313.00/291.61
Secret_05_TRS/aprove5.xml 5160360 n3 +1 n1 +1 1107.97/291.66
Secret_05_TRS/ttt2.xml 5160361 ∞ +0 NonPoly +1 3.34/1.60
Secret_05_TRS/cime3.xml 5160362 ∞ +0 NonPoly +1 3.87/1.73
Secret_05_TRS/cime4.xml 5160363 1 +1 1 +0 3.05/1.56
Endrullis_06/direct.xml 5159923 n1 +1 n1 +1 4.87/2.07
Der95/12.xml 5159924 ∞ +0 n1 +1 364.76/291.54
Der95/27.xml 5159925 n1 +1 n1 +1 9.06/3.22
Der95/06.xml 5159926 n1 +1 n1 +1 6.83/2.58
Der95/20.xml 5159927 ∞ +0 n1 +1 1070.35/291.64
Der95/08.xml 5159928 n1 +1 n1 +1 15.64/5.70
Der95/33.xml 5159929 n2 +1 n1 +1 329.69/291.52
Der95/11.xml 5159930 n1 +1 n1 +1 30.15/10.71
Der95/07.xml 5159931 n1 +1 n1 +1 8.61/3.12
Der95/18.xml 5159932 n1 +1 n1 +1 15.78/4.97
Der95/21.xml 5159933 ∞ +0 NonPoly +1 3.48/1.63
Der95/31.xml 5159934 n1 +1 n1 +1 103.02/42.96
Der95/32.xml 5159935 ∞ +0 n1 +1 315.03/291.57
HirokawaMiddeldorp_04/t003.xml 5160364 ∞ +0 n1 +1 314.13/291.58
HirokawaMiddeldorp_04/t011.xml 5160365 n1 +1 n1 +1 3.39/1.77
HirokawaMiddeldorp_04/n006.xml 5160366 ∞ +0 NonPoly +1 3.18/1.58
HirokawaMiddeldorp_04/n005.xml 5160367 ∞ +0 NonPoly +1 3.36/1.63
HirokawaMiddeldorp_04/t004.xml 5160368 ∞ +0 NonPoly +1 7.44/2.66
HirokawaMiddeldorp_04/n007.xml 5160369 ∞ +0 NonPoly +1 3.23/1.58
HirokawaMiddeldorp_04/t013.xml 5160370 ∞ +0 n1 +1 313.88/291.56
HirokawaMiddeldorp_04/t002.xml 5160371 n2 +1 n1 +1 317.19/291.61
HirokawaMiddeldorp_04/n002.xml 5160372 ∞ +0 NonPoly +1 3.32/1.53
HirokawaMiddeldorp_04/t001.xml 5160373 ∞ +0 n1 +1 322.88/291.54
HirokawaMiddeldorp_04/t014.xml 5160374 n1 +1 n1 +1 23.98/9.42
HirokawaMiddeldorp_04/n003.xml 5160375 ∞ +0 NonPoly +1 3.31/1.59
HirokawaMiddeldorp_04/t012.xml 5160376 ∞ +0 n1 +1 1102.89/292.25
HirokawaMiddeldorp_04/n004.xml 5160377 ∞ +0 NonPoly +1 3.24/2.18
HirokawaMiddeldorp_04/t009.xml 5160378 ∞ +0 n1 +1 1153.3/292.67
GTSSK07/cade01.xml 5160526 n2 +1 n1 +1 878.31/291.54
GTSSK07/cade11.xml 5160527 n2 +1 n1 +1 882.97/291.56
GTSSK07/cade14.xml 5160528 n2 +1 n1 +1 1120.41/291.63
GTSSK07/cade16.xml 5160529 n2 +1 n1 +1 1131.77/291.63
GTSSK07/cade12t.xml 5160530 ∞ +0 n1 +1 311.25/291.89
GTSSK07/cade09.xml 5160531 ∞ +0 n1 +1 307.14/291.57
GTSSK07/cade10.xml 5160532 ∞ +0 n1 +1 305.54/291.55
GTSSK07/cade06.xml 5160533 n2 +1 n1 +1 1020.99/291.57
GTSSK07/cade03.xml 5160534 n2 +1 n1 +1 883.19/291.69
GTSSK07/cade04t.xml 5160535 ∞ +0 n1 +1 315.57/291.51
GTSSK07/cade13t.xml 5160536 ∞ +0 n1 +1 311.32/291.56
GTSSK07/cade05t.xml 5160537 n2 +1 n1 +1 1140.76/294.62
GTSSK07/cade17.xml 5160538 ∞ +0 n2 +1 316.60/291.55
GTSSK07/cade08.xml 5160539 n2 +1 n1 +1 1136.77/296.22
GTSSK07/cade07.xml 5160540 n2 +1 n1 +1 1141.05/291.65
GTSSK07/cade15.xml 5160541 ∞ +0 NonPoly +1 6.45/1.68
TCT_12/recursion-10.xml 5159898 n10 +1 n1 +1 676.71/291.65
TCT_12/polycounter-10.xml 5159899 ∞ +0 n1 +1 1149.86/291.70
TCT_12/recursion-5.xml 5159900 n5 +1 n1 +1 394.65/291.82
TCT_12/polycounter-5.xml 5159901 n5 +1 n1 +1 1023.82/291.58
TCT_12/sat.xml 5159902 ∞ +0 n1 +1 344.80/291.53
Strategy_removed_mixed_05/ex3.xml 5160474 ∞ +0 NonPoly +1 3.30/1.59
Strategy_removed_mixed_05/test10.xml 5160475 n1 +1 n1 +1 20.63/8.70
Strategy_removed_mixed_05/test77.xml 5160476 n1 +1 n1 +1 21.55/7.80
Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml 5160477 ∞ +0 NonPoly +1 3.31/1.60
Strategy_removed_mixed_05/ex5.xml 5160478 ∞ +0 NonPoly +1 3.35/2.42
Strategy_removed_mixed_05/ex6.xml 5160479 ∞ +0 1 +0 622.22/291.62
Strategy_removed_mixed_05/ex1.xml 5160480 ∞ +0 NonPoly +1 3.39/1.62
Strategy_removed_mixed_05/muladd.xml 5160481 ∞ +0 NonPoly +1 3.27/1.63
Strategy_removed_mixed_05/test830.xml 5160482 n1 +1 n1 +1 3.37/1.63
Strategy_removed_mixed_05/tricky1.xml 5160483 1 +1 1 +0 3.25/1.57
Strategy_removed_mixed_05/ex2.xml 5160484 ∞ +0 NonPoly +1 3.03/1.53
Strategy_removed_mixed_05/test76.xml 5160485 n1 +1 n1 +1 19.74/10.43
Strategy_removed_mixed_05/ex4.xml 5160486 ∞ +0 NonPoly +1 3.29/1.59
Various_04/12.xml 5159834 n2 +1 n1 +1 1091.01/291.69
Various_04/10.xml 5159835 ∞ +0 n1 +1 318.33/291.56
Various_04/14.xml 5159836 n2 +1 n1 +1 622.91/291.61
Various_04/13.xml 5159837 n2 +1 n1 +1 1077.24/291.68
Various_04/04.xml 5159838 1 +1 1 +0 3.98/1.88
Various_04/08.xml 5159839 1 +1 1 +0 3.90/1.78
Various_04/23.xml 5159840 n1 +1 n1 +1 22.78/8.44
Various_04/11.xml 5159841 1 +1 1 +0 3.39/1.66
Various_04/18.xml 5159842 n1 +1 n1 +1 17.60/5.38
Various_04/24.xml 5159843 n1 +1 n1 +1 3.94/1.81
Various_04/15.xml 5159844 n1 +1 n1 +1 5.06/2.15
Various_04/22.xml 5159845 n1 +1 n1 +1 21.60/10.45
Transformed_CSR_04/OvConsOS_complete_L.xml 5159936 ∞ +0 NonPoly +1 3.19/1.56
Transformed_CSR_04/OvConsOS_nosorts_GM.xml 5159937 ∞ +0 NonPoly +1 5.12/2.16
Transformed_CSR_04/MYNAT_nosorts_noand_C.xml 5159938 n1 +1 n1 +1 22.97/6.93
Transformed_CSR_04/OvConsOS_complete-noand_Z.xml 5159939 ∞ +0 n1 +1 446.71/291.64
Transformed_CSR_04/MYNAT_complete_GM.xml 5159940 ∞ +0 NonPoly +1 13.08/4.12
Transformed_CSR_04/ExIntrod_GM04_GM.xml 5159941 ∞ +0 n1 +1 1105.88/291.60
Transformed_CSR_04/Ex25_Luc06_Z.xml 5159942 1 +1 1 +0 3.50/1.68
Transformed_CSR_04/PALINDROME_complete_C.xml 5159943 n1 +1 n1 +1 42.82/12.36
Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml 5159944 n1 +1 n1 +1 4.52/2.35
Transformed_CSR_04/Ex1_Zan97_FR.xml 5159945 ∞ +0 NonPoly +1 3.56/1.67
Transformed_CSR_04/PEANO_nokinds_FR.xml 5159946 ∞ +0 NonPoly +1 4.39/1.90
Transformed_CSR_04/ExConc_Zan97_C.xml 5159947 n1 +1 n1 +1 21.29/10.59
Transformed_CSR_04/Ex24_Luc06_C.xml 5159948 n1 +1 n1 +1 22.43/9.15
Transformed_CSR_04/Ex2_Luc02a_Z.xml 5159949 n3 +1 n3 +1 1093.94/291.64
Transformed_CSR_04/Ex4_7_37_Bor03_C.xml 5159950 n1 +1 n1 +1 38.45/11.84
Transformed_CSR_04/Ex24_Luc06_GM.xml 5159951 ∞ +0 NonPoly +1 3.46/1.62
Transformed_CSR_04/Ex4_7_15_Bor03_L.xml 5159952 1 +1 1 +0 3.33/1.84
Transformed_CSR_04/Ex23_Luc06_FR.xml 5159953 n1 +1 n1 +1 3.46/1.69
Transformed_CSR_04/MYNAT_nokinds_noand_C.xml 5159954 n1 +1 n1 +1 35.63/10.19
Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml 5159955 ∞ +0 NonPoly +1 10.88/3.69
Transformed_CSR_04/Ex7_BLR02_FR.xml 5159956 ∞ +0 NonPoly +1 3.64/1.72
Transformed_CSR_04/ExProp7_Luc06_GM.xml 5159957 ∞ +0 n1 +1 1103.89/292.03
Transformed_CSR_04/Ex9_Luc04_C.xml 5159958 n1 +1 n1 +1 24.67/8.22
Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml 5159959 ∞ +0 n1 +1 316.67/291.57
Transformed_CSR_04/Ex23_Luc06_C.xml 5159960 n1 +1 n1 +1 22.45/8.30
Transformed_CSR_04/Ex24_GM04_GM.xml 5159961 n1 +1 n1 +1 20.68/7.58
Transformed_CSR_04/PEANO_complete-noand_Z.xml 5159962 ∞ +0 n1 +1 314.77/291.59
Transformed_CSR_04/Ex1_Luc02b_GM.xml 5159963 ∞ +0 NonPoly +1 3.69/1.66
Transformed_CSR_04/ExAppendixB_AEL03_Z.xml 5159964 ∞ +0 n2 +1 314.58/291.55
Transformed_CSR_04/PALINDROME_nokinds_C.xml 5159965 n1 +1 n1 +1 30.51/11.94
Transformed_CSR_04/Ex3_12_Luc96a_GM.xml 5159966 ∞ +0 NonPoly +1 3.65/1.67
Transformed_CSR_04/Ex3_2_Luc97_Z.xml 5159967 ∞ +0 NonPoly +1 3.79/1.81
Transformed_CSR_04/PEANO_nosorts-noand_FR.xml 5159968 n1 +1 n1 +1 3.84/2.24
Transformed_CSR_04/Ex4_7_37_Bor03_L.xml 5159969 ∞ +0 NonPoly +1 3.02/1.51
Transformed_CSR_04/Ex14_AEGL02_C.xml 5159970 n1 +1 n1 +1 21.63/9.56
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml 5159971 ∞ +0 NonPoly +1 4.48/2.49
Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml 5159972 ∞ +0 NonPoly +1 6.21/2.41
Transformed_CSR_04/OvConsOS_complete-noand_FR.xml 5159973 ∞ +0 NonPoly +1 17.74/5.96
Transformed_CSR_04/PALINDROME_complete-noand_L.xml 5159974 ∞ +0 NonPoly +1 3.39/1.64
Transformed_CSR_04/Ex9_Luc04_L.xml 5159975 ∞ +0 NonPoly +1 3.37/2.05
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml 5159976 ∞ +0 NonPoly +1 3.21/1.92
Transformed_CSR_04/PEANO_complete_L.xml 5159977 ∞ +0 NonPoly +1 3.13/1.51
Transformed_CSR_04/Ex15_Luc06_FR.xml 5159978 n1 +1 n1 +1 19.41/10.09
Transformed_CSR_04/Ex3_2_Luc97_L.xml 5159979 ∞ +0 NonPoly +1 3.16/1.51
Transformed_CSR_04/Ex6_9_Luc02c_FR.xml 5159980 ∞ +0 NonPoly +1 3.62/1.61
Transformed_CSR_04/OvConsOS_nokinds_C.xml 5159981 ∞ +0 n1 +1 1158.51/294.78
Transformed_CSR_04/MYNAT_complete_Z.xml 5159982 ∞ +0 n1 +1 316.94/292.20
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml 5159983 ∞ +0 NonPoly +1 4.26/1.94
Transformed_CSR_04/Ex4_7_77_Bor03_L.xml 5159984 ∞ +0 NonPoly +1 3.07/1.53
Transformed_CSR_04/Ex9_BLR02_GM.xml 5159985 ∞ +0 NonPoly +1 3.74/1.75
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml 5159986 n1 +1 n1 +1 1102.7/291.61
Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml 5159987 1 +1 1 +0 3.26/1.57
Transformed_CSR_04/PEANO_nosorts_FR.xml 5159988 n1 +1 n1 +1 3.37/1.67
Transformed_CSR_04/OvConsOS_nosorts_L.xml 5159989 ∞ +0 NonPoly +1 3.08/1.58
Transformed_CSR_04/Ex15_Luc98_Z.xml 5159990 ∞ +0 NonPoly +1 3.71/1.71
Transformed_CSR_04/Ex4_DLMMU04_C.xml 5159991 ∞ +0 n1 +1 1151.4/293.20
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml 5159992 ∞ +0 NonPoly +1 6.21/2.37
Transformed_CSR_04/Ex5_7_Luc97_L.xml 5159993 ∞ +0 NonPoly +1 3.28/2.48
Transformed_CSR_04/PEANO_nokinds-noand_Z.xml 5159994 ∞ +0 n1 +1 316.06/291.51
Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml 5159995 n1 +1 n1 +1 22.85/11.46
Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml 5159996 ∞ +0 NonPoly +1 3.53/1.72
Transformed_CSR_04/PALINDROME_complete_FR.xml 5159997 ∞ +0 NonPoly +1 5.24/2.10
Transformed_CSR_04/Ex15_Luc98_GM.xml 5159998 n1 +1 n1 +1 17.33/5.22
Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml 5159999 ∞ +0 NonPoly +1 9.00/3.13
Transformed_CSR_04/MYNAT_complete-noand_Z.xml 5160000 ∞ +0 n1 +1 317.32/291.58
Transformed_CSR_04/MYNAT_nosorts_FR.xml 5160001 n2 +1 n2 +1 20.61/7.92
Transformed_CSR_04/Ex8_BLR02_GM.xml 5160002 ∞ +0 NonPoly +1 3.72/2.69
Transformed_CSR_04/Ex1_2_Luc02c_Z.xml 5160003 1 +1 1 +0 3.37/1.59
Transformed_CSR_04/ExIntrod_GM01_L.xml 5160004 ∞ +0 NonPoly +1 3.02/1.56
Transformed_CSR_04/Ex7_BLR02_Z.xml 5160005 ∞ +0 n1 +1 337.25/291.60
Transformed_CSR_04/Ex26_Luc03b_FR.xml 5160006 ∞ +0 NonPoly +1 4.01/1.77
Transformed_CSR_04/OvConsOS_nosorts_FR.xml 5160007 ∞ +0 NonPoly +1 4.01/1.86
Transformed_CSR_04/ExAppendixB_AEL03_GM.xml 5160008 ∞ +0 NonPoly +1 4.22/2.47
Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml 5160009 ∞ +0 NonPoly +1 3.94/1.88
Transformed_CSR_04/Ex24_Luc06_L.xml 5160010 ∞ +0 NonPoly +1 3.09/1.59
Transformed_CSR_04/Ex1_GM03_Z.xml 5160011 ∞ +0 NonPoly +1 3.36/1.62
Transformed_CSR_04/ExConc_Zan97_Z.xml 5160012 ∞ +0 NonPoly +1 3.34/1.70
Transformed_CSR_04/OvConsOS_complete_noand_GM.xml 5160013 ∞ +0 NonPoly +1 63.53/19.61
Transformed_CSR_04/Ex6_15_AEL02_L.xml 5160014 ∞ +0 NonPoly +1 3.32/2.06
Transformed_CSR_04/Ex6_15_AEL02_FR.xml 5160015 ∞ +0 NonPoly +1 4.11/1.82
Transformed_CSR_04/Ex3_3_25_Bor03_L.xml 5160016 1 +1 1 +0 3.36/1.54
Transformed_CSR_04/Ex1_Luc04b_C.xml 5160017 ∞ +0 n1 +1 1127.7/294.44
Transformed_CSR_04/Ex1_GM03_GM.xml 5160018 ∞ +0 NonPoly +1 3.91/1.75
Transformed_CSR_04/Ex7_BLR02_C.xml 5160019 n1 +1 n1 +1 28.51/8.36
Transformed_CSR_04/Ex5_7_Luc97_FR.xml 5160020 ∞ +0 NonPoly +1 4.03/2.10
Transformed_CSR_04/ExIntrod_GM99_FR.xml 5160021 ∞ +0 NonPoly +1 3.71/1.72
Transformed_CSR_04/ExIntrod_GM99_C.xml 5160022 ∞ +0 n1 +1 375.53/291.57
Transformed_CSR_04/Ex1_GL02a_L.xml 5160023 ∞ +0 NonPoly +1 3.37/1.72
Transformed_CSR_04/Ex5_Zan97_C.xml 5160024 n1 +1 n1 +1 23.03/8.24
Transformed_CSR_04/Ex5_Zan97_FR.xml 5160025 n1 +1 n1 +1 4.08/1.83
Transformed_CSR_04/PALINDROME_nokinds_GM.xml 5160026 ∞ +0 n1 +1 1125.8/291.61
Transformed_CSR_04/PALINDROME_complete_Z.xml 5160027 ∞ +0 n1 +1 333.02/291.54
Transformed_CSR_04/Ex14_Luc06_C.xml 5160028 n1 +1 n1 +1 26.0/9.41
Transformed_CSR_04/ExIntrod_Zan97_L.xml 5160029 ∞ +0 NonPoly +1 3.12/2.91
Transformed_CSR_04/OvConsOS_nokinds_L.xml 5160030 ∞ +0 NonPoly +1 3.17/1.59
Transformed_CSR_04/OvConsOS_nokinds_FR.xml 5160031 ∞ +0 NonPoly +1 7.11/2.85
Transformed_CSR_04/Ex6_9_Luc02c_GM.xml 5160032 ∞ +0 NonPoly +1 3.50/1.59
Transformed_CSR_04/Ex3_12_Luc96a_Z.xml 5160033 ∞ +0 n1 +1 316.59/291.53
Transformed_CSR_04/Ex49_GM04_Z.xml 5160034 n1 +1 n1 +1 29.62/11.72
Transformed_CSR_04/ExIntrod_GM99_L.xml 5160035 ∞ +0 NonPoly +1 3.13/1.53
Transformed_CSR_04/Ex26_Luc03b_Z.xml 5160036 1 +1 1 +0 3.57/1.67
Transformed_CSR_04/PEANO_nosorts_C.xml 5160037 n1 +1 n1 +1 25.03/10.31
Transformed_CSR_04/ExProp7_Luc06_FR.xml 5160038 n1 +1 n1 +1 4.38/2.99
Transformed_CSR_04/PEANO_complete_noand_GM.xml 5160039 ∞ +0 NonPoly +1 17.70/5.34
Transformed_CSR_04/Ex15_Luc06_L.xml 5160040 ∞ +0 NonPoly +1 3.21/1.96
Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml 5160041 ∞ +0 NonPoly +1 3.21/1.55
Transformed_CSR_04/LISTUTILITIES_complete_FR.xml 5160042 ∞ +0 NonPoly +1 8.25/2.89
Transformed_CSR_04/Ex2_Luc02a_L.xml 5160043 n3 +1 n3 +1 1035.17/291.58
Transformed_CSR_04/LengthOfFiniteLists_complete_Z.xml 5160044 ∞ +0 n1 +1 317.31/291.54
Transformed_CSR_04/Ex1_GM03_FR.xml 5160045 ∞ +0 NonPoly +1 3.62/1.69
Transformed_CSR_04/Ex23_Luc06_Z.xml 5160046 1 +1 1 +0 3.52/1.60
Transformed_CSR_04/PALINDROME_complete-noand_Z.xml 5160047 ∞ +0 n1 +1 316.59/291.63
Transformed_CSR_04/PEANO_complete-noand_L.xml 5160048 ∞ +0 NonPoly +1 3.17/1.69
Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml 5160049 n1 +1 n1 +1 38.11/10.69
Transformed_CSR_04/Ex5_7_Luc97_GM.xml 5160050 ∞ +0 n1 +1 490.43/291.62
Transformed_CSR_04/Ex5_DLMMU04_C.xml 5160051 ∞ +0 n1 +1 1128.61/292.13
Transformed_CSR_04/ExIntrod_GM04_Z.xml 5160052 ∞ +0 NonPoly +1 11.51/3.78
Transformed_CSR_04/Ex24_GM04_Z.xml 5160053 1 +1 1 +0 3.57/1.64
Transformed_CSR_04/PEANO_nokinds_noand_C.xml 5160054 n1 +1 n1 +1 28.58/8.91
Transformed_CSR_04/OvConsOS_nokinds_Z.xml 5160055 ∞ +0 n1 +1 320.60/291.60
Transformed_CSR_04/Ex5_Zan97_L.xml 5160056 ∞ +0 NonPoly +1 3.10/1.52
Transformed_CSR_04/Ex6_Luc98_L.xml 5160057 1 +1 1 +0 3.40/1.65
Transformed_CSR_04/OvConsOS_nokinds_GM.xml 5160058 ∞ +0 NonPoly +1 22.89/7.39
Transformed_CSR_04/Ex1_Luc04b_L.xml 5160059 ∞ +0 NonPoly +1 3.22/1.53
Transformed_CSR_04/Ex3_12_Luc96a_FR.xml 5160060 ∞ +0 NonPoly +1 3.37/1.70
Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml 5160061 n1 +1 n1 +1 1111.14/291.79
Transformed_CSR_04/PALINDROME_complete-noand_FR.xml 5160062 ∞ +0 n2 +1 318.09/291.76
Transformed_CSR_04/Ex1_GL02a_GM.xml 5160063 ∞ +0 NonPoly +1 3.60/1.68
Transformed_CSR_04/PALINDROME_nosorts_GM.xml 5160064 ∞ +0 n1 +1 1107.1/291.68
Transformed_CSR_04/ExIntrod_Zan97_FR.xml 5160065 ∞ +0 NonPoly +1 3.70/1.76
Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml 5160066 ∞ +0 NonPoly +1 5.67/2.15
Transformed_CSR_04/Ex14_AEGL02_L.xml 5160067 ∞ +0 NonPoly +1 3.40/1.57
Transformed_CSR_04/ExIntrod_GM01_Z.xml 5160068 ∞ +0 NonPoly +1 5.02/2.19
Transformed_CSR_04/Ex2_Luc02a_C.xml 5160069 n1 +1 n1 +1 26.01/7.91
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml 5160070 ∞ +0 n1 +1 1144.36/291.66
Transformed_CSR_04/Ex4_7_77_Bor03_C.xml 5160071 n1 +1 n1 +1 1097.21/291.60
Transformed_CSR_04/Ex1_GL02a_Z.xml 5160072 ∞ +0 n1 +1 328.51/292.67
Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml 5160073 ∞ +0 NonPoly +1 3.61/1.64
Transformed_CSR_04/Ex6_15_AEL02_Z.xml 5160074 ∞ +0 NonPoly +1 8.98/3.19
Transformed_CSR_04/Ex2_Luc02a_GM.xml 5160075 ∞ +0 NonPoly +1 4.07/1.79
Transformed_CSR_04/Ex4_4_Luc96b_L.xml 5160076 n1 +1 n1 +1 6.85/2.53
Transformed_CSR_04/Ex6_9_Luc02c_L.xml 5160077 ∞ +0 NonPoly +1 3.17/1.57
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml 5160078 ∞ +0 n1 +1 304.09/291.62
Transformed_CSR_04/PEANO_complete-noand_FR.xml 5160079 ∞ +0 NonPoly +1 6.74/2.47
Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml 5160080 1 +1 1 +0 3.28/1.55
Transformed_CSR_04/MYNAT_nokinds_GM.xml 5160081 ∞ +0 NonPoly +1 7.16/2.62
Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml 5160082 ∞ +0 NonPoly +1 4.37/1.94
Transformed_CSR_04/Ex1_GM99_GM.xml 5160083 ∞ +0 NonPoly +1 3.39/1.61
Transformed_CSR_04/PEANO_nokinds-noand_L.xml 5160084 ∞ +0 NonPoly +1 2.89/1.53
Transformed_CSR_04/MYNAT_nosorts-noand_L.xml 5160085 ∞ +0 NonPoly +1 3.08/1.62
Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml 5160086 ∞ +0 NonPoly +1 5.82/2.30
Transformed_CSR_04/Ex2_Luc03b_C.xml 5160087 n1 +1 n1 +1 24.67/8.47
Transformed_CSR_04/Ex1_GL02a_C.xml 5160088 n1 +1 n1 +1 25.38/9.81
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml 5160089 ∞ +0 NonPoly +1 7.41/2.95
Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml 5160090 ∞ +0 NonPoly +1 3.89/1.78
Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml 5160091 ∞ +0 n1 +1 316.27/291.57
Transformed_CSR_04/Ex1_Luc02b_L.xml 5160092 ∞ +0 NonPoly +1 3.05/1.56
Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml 5160093 ∞ +0 NonPoly +1 4.19/1.91
Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml 5160094 n1 +1 n1 +1 4.41/1.97
Transformed_CSR_04/MYNAT_nokinds_FR.xml 5160095 ∞ +0 NonPoly +1 5.57/2.21
Transformed_CSR_04/Ex1_Luc04b_GM.xml 5160096 ∞ +0 n1 +1 1089.38/291.65
Transformed_CSR_04/Ex4_4_Luc96b_C.xml 5160097 n1 +1 n1 +1 19.74/6.62
Transformed_CSR_04/MYNAT_complete-noand_L.xml 5160098 ∞ +0 NonPoly +1 3.19/2.41
Transformed_CSR_04/Ex3_2_Luc97_GM.xml 5160099 ∞ +0 n1 +1 340.79/291.57
Transformed_CSR_04/Ex4_4_Luc96b_GM.xml 5160100 ∞ +0 NonPoly +1 3.58/1.65
Transformed_CSR_04/Ex4_4_Luc96b_Z.xml 5160101 ∞ +0 NonPoly +1 3.40/1.65
Transformed_CSR_04/LISTUTILITIES_complete_noand_C.xml 5160102 n1 +1 n1 +1 102.30/27.35
Transformed_CSR_04/Ex24_GM04_C.xml 5160103 n1 +1 n1 +1 23.58/7.58
Transformed_CSR_04/PEANO_nosorts-noand_L.xml 5160104 ∞ +0 NonPoly +1 3.09/1.55
Transformed_CSR_04/PEANO_nosorts_L.xml 5160105 ∞ +0 NonPoly +1 3.10/1.52
Transformed_CSR_04/Ex2_Luc03b_GM.xml 5160106 ∞ +0 NonPoly +1 3.77/1.76
Transformed_CSR_04/Ex1_2_AEL03_FR.xml 5160107 ∞ +0 NonPoly +1 3.37/1.74
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml 5160108 ∞ +0 NonPoly +1 3.54/1.62
Transformed_CSR_04/Ex9_BLR02_C.xml 5160109 ∞ +0 n1 +1 329.43/291.62
Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml 5160110 ∞ +0 NonPoly +1 3.26/1.63
Transformed_CSR_04/Ex1_GM03_C.xml 5160111 n1 +1 n1 +1 25.06/8.57
Transformed_CSR_04/Ex9_Luc06_GM.xml 5160112 n1 +1 n1 +1 29.21/8.60
Transformed_CSR_04/MYNAT_nosorts_C.xml 5160113 n1 +1 n1 +1 23.87/8.15
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml 5160114 ∞ +0 NonPoly +1 3.16/1.60
Transformed_CSR_04/ExAppendixB_AEL03_FR.xml 5160115 ∞ +0 NonPoly +1 3.44/2.08
Transformed_CSR_04/ExSec11_1_Luc02a_L.xml 5160116 n3 +1 n3 +1 1093.34/291.72
Transformed_CSR_04/Ex1_Luc04b_Z.xml 5160117 ∞ +0 NonPoly +1 3.19/1.54
Transformed_CSR_04/Ex16_Luc06_GM.xml 5160118 n1 +1 n1 +1 21.29/9.41
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml 5160119 n1 +1 n1 +1 40.69/11.22
Transformed_CSR_04/Ex3_12_Luc96a_C.xml 5160120 n1 +1 n1 +1 24.87/8.85
Transformed_CSR_04/Ex9_BLR02_L.xml 5160121 1 +1 1 +0 3.19/1.63
Transformed_CSR_04/PALINDROME_nosorts_L.xml 5160122 ∞ +0 NonPoly +1 3.01/1.50
Transformed_CSR_04/Ex1_2_Luc02c_FR.xml 5160123 ∞ +0 NonPoly +1 3.35/1.58
Transformed_CSR_04/LISTUTILITIES_complete_C.xml 5160124 n1 +1 n1 +1 64.97/17.68
Transformed_CSR_04/Ex15_Luc06_GM.xml 5160125 n1 +1 n1 +1 18.32/5.84
Transformed_CSR_04/Ex1_Luc02b_C.xml 5160126 n1 +1 n1 +1 30.44/11.48
Transformed_CSR_04/PEANO_nokinds_L.xml 5160127 ∞ +0 NonPoly +1 3.19/1.59
Transformed_CSR_04/Ex15_Luc06_Z.xml 5160128 1 +1 1 +0 3.55/1.64
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml 5160129 n1 +1 n1 +1 55.66/15.15
Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml 5160130 ∞ +0 n1 +1 352.78/291.55
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml 5160131 ∞ +0 NonPoly +1 11.10/3.65
Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml 5160132 ∞ +0 n1 +1 1127.22/294.49
Transformed_CSR_04/Ex9_BLR02_Z.xml 5160133 ∞ +0 n1 +1 310.97/291.60
Transformed_CSR_04/PALINDROME_complete_noand_GM.xml 5160134 ∞ +0 n2 +1 898.73/291.78
Transformed_CSR_04/Ex3_2_Luc97_C.xml 5160135 n1 +1 n1 +1 28.59/8.89
Transformed_CSR_04/Ex14_AEGL02_GM.xml 5160136 ∞ +0 NonPoly +1 3.55/1.64
Transformed_CSR_04/Ex6_GM04_C.xml 5160137 n1 +1 n1 +1 3.38/1.63
Transformed_CSR_04/Ex49_GM04_FR.xml 5160138 ∞ +0 NonPoly +1 4.10/1.84
Transformed_CSR_04/PEANO_nokinds_Z.xml 5160139 ∞ +0 n1 +1 319.57/291.71
Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml 5160140 ∞ +0 NonPoly +1 311.65/82.26
Transformed_CSR_04/ExIntrod_GM04_C.xml 5160141 ∞ +0 n1 +1 1131.89/291.67
Transformed_CSR_04/Ex1_2_AEL03_C.xml 5160142 n1 +1 n1 +1 42.02/12.42
Transformed_CSR_04/Ex6_9_Luc02c_Z.xml 5160143 1 +1 1 +0 3.41/1.57
Transformed_CSR_04/Ex16_Luc06_L.xml 5160144 ∞ +0 NonPoly +1 3.32/1.57
Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml 5160145 ∞ +0 n2 +1 307.00/291.58
Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml 5160146 ∞ +0 NonPoly +1 3.28/1.57
Transformed_CSR_04/Ex1_Luc02b_Z.xml 5160147 ∞ +0 n1 +1 319.96/291.58
Transformed_CSR_04/ExProp7_Luc06_Z.xml 5160148 1 +1 1 +0 3.32/1.60
Transformed_CSR_04/OvConsOS_complete_C.xml 5160149 ∞ +0 n1 +1 1160.26/295.10
Transformed_CSR_04/ExAppendixB_AEL03_L.xml 5160150 ∞ +0 NonPoly +1 3.02/1.60
Transformed_CSR_04/Ex8_BLR02_L.xml 5160151 ∞ +0 NonPoly +1 3.01/1.52
Transformed_CSR_04/OvConsOS_complete_FR.xml 5160152 ∞ +0 NonPoly +1 5.15/2.09
Transformed_CSR_04/PEANO_nosorts_noand_C.xml 5160153 n1 +1 n1 +1 24.58/7.62
Transformed_CSR_04/Ex1_Zan97_GM.xml 5160154 1 +1 1 +0 3.26/1.60
Transformed_CSR_04/Ex5_DLMMU04_GM.xml 5160155 ∞ +0 NonPoly +1 6.13/2.40
Transformed_CSR_04/OvConsOS_nosorts_C.xml 5160156 n1 +1 n1 +1 1123.69/295.33
Transformed_CSR_04/Ex24_GM04_L.xml 5160157 ∞ +0 NonPoly +1 3.43/1.66
Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml 5160158 ∞ +0 n1 +1 309.37/291.73
Transformed_CSR_04/Ex25_Luc06_FR.xml 5160159 n1 +1 n1 +1 3.53/1.64
Transformed_CSR_04/Ex1_GL02a_FR.xml 5160160 ∞ +0 NonPoly +1 3.50/1.70
Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml 5160161 ∞ +0 NonPoly +1 62.55/23.50
Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml 5160162 ∞ +0 NonPoly +1 79.98/21.41
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml 5160163 ∞ +0 NonPoly +1 105.98/45.91
Transformed_CSR_04/PALINDROME_nokinds_FR.xml 5160164 ∞ +0 n2 +1 1129.74/291.71
Transformed_CSR_04/ExIntrod_GM01_FR.xml 5160165 ∞ +0 NonPoly +1 10.61/3.49
Transformed_CSR_04/MYNAT_complete-noand_FR.xml 5160166 ∞ +0 NonPoly +1 10.71/3.56
Transformed_CSR_04/PEANO_nosorts_GM.xml 5160167 ∞ +0 n2 +1 1125.19/293.06
Transformed_CSR_04/Ex15_Luc98_FR.xml 5160168 ∞ +0 NonPoly +1 3.51/1.66
Transformed_CSR_04/Ex6_Luc98_C.xml 5160169 n1 +1 n1 +1 25.04/9.03
Transformed_CSR_04/Ex9_Luc06_C.xml 5160170 n1 +1 n1 +1 21.82/7.44
Transformed_CSR_04/Ex15_Luc98_L.xml 5160171 ∞ +0 NonPoly +1 2.92/1.49
Transformed_CSR_04/Ex1_2_AEL03_Z.xml 5160172 ∞ +0 n2 +1 309.96/291.50
Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml 5160173 ∞ +0 n1 +1 302.24/291.52
Transformed_CSR_04/OvConsOS_complete_noand_C.xml 5160174 ∞ +0 n1 +1 1158.47/294.54
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml 5160175 ∞ +0 NonPoly +1 4.53/1.93
Transformed_CSR_04/MYNAT_nosorts_GM.xml 5160176 ∞ +0 NonPoly +1 4.60/1.98
Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml 5160177 ∞ +0 NonPoly +1 3.28/1.57
Transformed_CSR_04/PALINDROME_complete_L.xml 5160178 ∞ +0 NonPoly +1 3.15/1.68
Transformed_CSR_04/ExIntrod_GM01_GM.xml 5160179 ∞ +0 n1 +1 1081.8/291.65
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml 5160180 ∞ +0 NonPoly +1 5.37/2.20
Transformed_CSR_04/Ex1_Luc02b_FR.xml 5160181 ∞ +0 NonPoly +1 3.45/1.61
Transformed_CSR_04/Ex4_DLMMU04_L.xml 5160182 ∞ +0 NonPoly +1 3.04/1.61
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml 5160183 ∞ +0 n1 +1 305.87/291.59
Transformed_CSR_04/Ex2_Luc02a_FR.xml 5160184 ∞ +0 NonPoly +1 3.44/1.71
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml 5160185 ∞ +0 n1 +1 1160.58/295.04
Transformed_CSR_04/Ex3_3_25_Bor03_C.xml 5160186 n1 +1 n1 +1 29.61/9.83
Transformed_CSR_04/ExConc_Zan97_GM.xml 5160187 n1 +1 n1 +1 5.24/2.10
Transformed_CSR_04/PEANO_complete_noand_C.xml 5160188 n1 +1 n1 +1 35.22/10.18
Transformed_CSR_04/PEANO_nokinds_C.xml 5160189 n1 +1 n1 +1 32.53/12.80
Transformed_CSR_04/PEANO_nosorts_noand_GM.xml 5160190 ∞ +0 n2 +1 1115.84/291.88
Transformed_CSR_04/ExSec11_1_Luc02a_C.xml 5160191 n1 +1 n1 +1 27.52/8.31
Transformed_CSR_04/LengthOfFiniteLists_complete_C.xml 5160192 ∞ +0 n1 +1 1159.01/295.53
Transformed_CSR_04/ExIntrod_Zan97_GM.xml 5160193 ∞ +0 NonPoly +1 3.77/1.73
Transformed_CSR_04/Ex8_BLR02_FR.xml 5160194 ∞ +0 NonPoly +1 3.47/1.65
Transformed_CSR_04/Ex23_Luc06_GM.xml 5160195 n1 +1 n1 +1 8.99/3.53
Transformed_CSR_04/MYNAT_complete_noand_C.xml 5160196 n1 +1 n1 +1 50.49/13.86
Transformed_CSR_04/OvConsOS_complete_GM.xml 5160197 ∞ +0 NonPoly +1 20.25/6.00
Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml 5160198 ∞ +0 NonPoly +1 3.72/1.69
Transformed_CSR_04/Ex49_GM04_C.xml 5160199 n1 +1 n1 +1 25.00/8.78
Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml 5160200 ∞ +0 NonPoly +1 10.83/3.58
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml 5160201 ∞ +0 NonPoly +1 20.38/6.00
Transformed_CSR_04/PALINDROME_nokinds_L.xml 5160202 ∞ +0 NonPoly +1 3.06/1.53
Transformed_CSR_04/Ex14_AEGL02_Z.xml 5160203 ∞ +0 NonPoly +1 7.85/1.86
Transformed_CSR_04/OvConsOS_complete-noand_L.xml 5160204 ∞ +0 NonPoly +1 3.25/1.56
Transformed_CSR_04/Ex1_GM99_C.xml 5160205 n1 +1 n1 +1 23.82/8.04
Transformed_CSR_04/ExIntrod_GM99_GM.xml 5160206 ∞ +0 NonPoly +1 4.28/3.00
Transformed_CSR_04/PALINDROME_complete_noand_C.xml 5160207 n1 +1 n1 +1 53.11/14.36
Transformed_CSR_04/PEANO_nokinds_GM.xml 5160208 ∞ +0 NonPoly +1 5.25/2.13
Transformed_CSR_04/Ex4_Zan97_L.xml 5160209 ∞ +0 NonPoly +1 3.23/2.22
Transformed_CSR_04/Ex7_BLR02_L.xml 5160210 ∞ +0 NonPoly +1 3.11/1.59
Transformed_CSR_04/Ex5_7_Luc97_Z.xml 5160211 ∞ +0 NonPoly +1 3.67/1.80
Transformed_CSR_04/Ex1_GM99_L.xml 5160212 ∞ +0 NonPoly +1 6.51/1.64
Transformed_CSR_04/Ex4_Zan97_FR.xml 5160213 ∞ +0 NonPoly +1 3.33/1.64
Transformed_CSR_04/Ex9_Luc06_FR.xml 5160214 ∞ +0 NonPoly +1 3.46/1.61
Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml 5160215 ∞ +0 n1 +1 619.98/291.56
Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml 5160216 ∞ +0 NonPoly +1 3.65/2.03
Transformed_CSR_04/PALINDROME_nokinds_Z.xml 5160217 ∞ +0 n1 +1 1134.32/293.36
Transformed_CSR_04/Ex3_2_Luc97_FR.xml 5160218 ∞ +0 NonPoly +1 3.88/1.90
Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml 5160219 ∞ +0 NonPoly +1 3.32/1.65
Transformed_CSR_04/Ex6_GM04_GM.xml 5160220 1 +1 1 +0 3.38/1.78
Transformed_CSR_04/Ex16_Luc06_C.xml 5160221 n1 +1 n1 +1 23.90/8.41
Transformed_CSR_04/Ex6_Luc98_GM.xml 5160222 ∞ +0 NonPoly +1 3.37/1.59
Transformed_CSR_04/Ex15_Luc06_C.xml 5160223 n1 +1 n1 +1 22.64/6.68
Transformed_CSR_04/Ex1_2_Luc02c_L.xml 5160224 ∞ +0 NonPoly +1 3.08/1.52
Transformed_CSR_04/Ex14_Luc06_GM.xml 5160225 ∞ +0 NonPoly +1 3.37/1.58
Transformed_CSR_04/LISTUTILITIES_complete_GM.xml 5160226 ∞ +0 NonPoly +1 10.34/3.50
Transformed_CSR_04/Ex1_2_Luc02c_GM.xml 5160227 ∞ +0 NonPoly +1 3.51/1.59
Transformed_CSR_04/ExProp7_Luc06_C.xml 5160228 n1 +1 n1 +1 22.02/7.40
Transformed_CSR_04/Ex4_Zan97_C.xml 5160229 n1 +1 n1 +1 26.06/9.56
Transformed_CSR_04/Ex26_Luc03b_GM.xml 5160230 ∞ +0 NonPoly +1 3.73/1.78
Transformed_CSR_04/Ex6_Luc98_Z.xml 5160231 n1 +1 n1 +1 20.19/9.97
Transformed_CSR_04/Ex1_Zan97_C.xml 5160232 n1 +1 n1 +1 43.89/8.96
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml 5160233 ∞ +0 n1 +1 1105.02/291.57
Transformed_CSR_04/Ex4_7_15_Bor03_C.xml 5160234 n1 +1 n1 +1 21.67/7.33
Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml 5160235 n2 +1 n1 +1 632.73/291.59
Transformed_CSR_04/Ex2_Luc03b_FR.xml 5160236 ∞ +0 NonPoly +1 3.71/1.74
Transformed_CSR_04/Ex9_Luc04_GM.xml 5160237 ∞ +0 NonPoly +1 3.78/1.74
Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml 5160238 ∞ +0 NonPoly +1 5.20/2.09
Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml 5160239 ∞ +0 NonPoly +1 3.06/1.56
Transformed_CSR_04/PEANO_nokinds_noand_GM.xml 5160240 ∞ +0 NonPoly +1 5.78/2.23
Transformed_CSR_04/ExIntrod_GM01_C.xml 5160241 ∞ +0 n1 +1 1141.55/292.74
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml 5160242 ∞ +0 NonPoly +1 15.90/4.93
Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml 5160243 ∞ +0 NonPoly +1 4.46/2.07
Transformed_CSR_04/ExProp7_Luc06_L.xml 5160244 1 +1 1 +0 3.40/2.17
Transformed_CSR_04/Ex26_Luc03b_C.xml 5160245 n1 +1 n1 +1 25.89/8.08
Transformed_CSR_04/PALINDROME_complete_GM.xml 5160246 ∞ +0 n1 +1 893.28/291.63
Transformed_CSR_04/LISTUTILITIES_complete_Z.xml 5160247 ∞ +0 NonPoly +1 45.60/12.67
Transformed_CSR_04/Ex18_Luc06_FR.xml 5160248 n1 +1 n1 +1 3.26/1.57
Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml 5160249 n1 +1 n1 +1 33.16/11.42
Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml 5160250 ∞ +0 n1 +1 303.81/291.54
Transformed_CSR_04/Ex1_2_AEL03_GM.xml 5160251 ∞ +0 NonPoly +1 4.19/1.83
Transformed_CSR_04/Ex1_Zan97_L.xml 5160252 ∞ +0 NonPoly +1 3.32/1.86
Transformed_CSR_04/PEANO_complete_GM.xml 5160253 ∞ +0 NonPoly +1 7.64/2.84
Transformed_CSR_04/PALINDROME_nosorts_C.xml 5160254 n1 +1 n1 +1 23.25/8.06
Transformed_CSR_04/OvConsOS_complete_Z.xml 5160255 ∞ +0 n1 +1 359.18/291.59
Transformed_CSR_04/Ex24_GM04_FR.xml 5160256 ∞ +0 n1 +1 318.03/291.54
Transformed_CSR_04/Ex5_Zan97_Z.xml 5160257 1 +1 1 +0 3.42/1.71
Transformed_CSR_04/Ex4_7_56_Bor03_C.xml 5160258 n1 +1 n1 +1 25.85/9.66
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml 5160259 ∞ +0 n1 +1 457.24/291.68
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml 5160260 ∞ +0 NonPoly +1 3.14/1.54
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml 5160261 ∞ +0 NonPoly +1 5.20/2.08
Transformed_CSR_04/MYNAT_complete_L.xml 5160262 ∞ +0 NonPoly +1 3.03/1.61
Transformed_CSR_04/OvConsOS_nosorts_Z.xml 5160263 ∞ +0 NonPoly +1 4.04/2.58
Transformed_CSR_04/Ex6_GM04_FR.xml 5160264 ∞ +0 NonPoly +1 3.41/1.75
Transformed_CSR_04/Ex18_Luc06_GM.xml 5160265 n1 +1 n1 +1 9.51/8.17
Transformed_CSR_04/LISTUTILITIES_complete_L.xml 5160266 ∞ +0 NonPoly +1 3.31/1.65
Transformed_CSR_04/Ex4_Zan97_Z.xml 5160267 ∞ +0 n1 +1 324.88/291.56
Transformed_CSR_04/Ex49_GM04_GM.xml 5160268 ∞ +0 NonPoly +1 4.11/1.78
Transformed_CSR_04/Ex3_12_Luc96a_L.xml 5160269 ∞ +0 NonPoly +1 3.09/1.58
Transformed_CSR_04/Ex25_Luc06_C.xml 5160270 n1 +1 n1 +1 19.80/7.33
Transformed_CSR_04/Ex1_Luc04b_FR.xml 5160271 ∞ +0 NonPoly +1 3.96/2.23
Transformed_CSR_04/Ex8_BLR02_Z.xml 5160272 ∞ +0 n1 +1 311.19/291.58
Transformed_CSR_04/PEANO_complete_Z.xml 5160273 ∞ +0 n1 +1 318.37/291.57
Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml 5160274 n1 +1 n1 +1 4.27/2.36
Transformed_CSR_04/Ex1_2_Luc02c_C.xml 5160275 n1 +1 n1 +1 21.03/7.51
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml 5160276 n1 +1 n1 +1 1103.21/291.86
Transformed_CSR_04/Ex1_GM03_L.xml 5160277 ∞ +0 NonPoly +1 3.19/1.53
Transformed_CSR_04/Ex18_Luc06_C.xml 5160278 n1 +1 n1 +1 20.89/6.75
Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml 5160279 n3 +1 n3 +1 1100.52/291.69
Transformed_CSR_04/Ex5_DLMMU04_L.xml 5160280 ∞ +0 NonPoly +1 3.12/1.56
Transformed_CSR_04/Ex4_DLMMU04_Z.xml 5160281 ∞ +0 NonPoly +1 9.30/3.31
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml 5160282 ∞ +0 n1 +1 625.70/291.67
Transformed_CSR_04/Ex4_7_56_Bor03_L.xml 5160283 ∞ +0 NonPoly +1 3.07/1.59
Transformed_CSR_04/Ex5_DLMMU04_Z.xml 5160284 ∞ +0 NonPoly +1 3.75/1.70
Transformed_CSR_04/Ex4_4_Luc96b_FR.xml 5160285 ∞ +0 NonPoly +1 3.46/1.73
Transformed_CSR_04/Ex5_Zan97_GM.xml 5160286 ∞ +0 n1 +1 1122.26/291.78
Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml 5160287 ∞ +0 NonPoly +1 3.33/1.63
Transformed_CSR_04/ExIntrod_GM99_Z.xml 5160288 ∞ +0 1 +0 311.29/291.59
Transformed_CSR_04/MYNAT_nokinds-noand_L.xml 5160289 ∞ +0 NonPoly +1 2.99/1.51
Transformed_CSR_04/Ex25_Luc06_GM.xml 5160290 n1 +1 n1 +1 8.70/3.04
Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml 5160291 ∞ +0 NonPoly +1 15.48/4.97
Transformed_CSR_04/ExIntrod_Zan97_Z.xml 5160292 ∞ +0 NonPoly +1 3.00/1.61
Transformed_CSR_04/MYNAT_nokinds_Z.xml 5160293 ∞ +0 n1 +1 322.34/291.53
Transformed_CSR_04/Ex15_Luc98_C.xml 5160294 n1 +1 n1 +1 27.08/10.14
Transformed_CSR_04/Ex8_BLR02_C.xml 5160295 n1 +1 n1 +1 24.27/8.33
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml 5160296 ∞ +0 n2 +1 1145.9/293.20
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml 5160297 ∞ +0 NonPoly +1 3.17/1.63
Transformed_CSR_04/Ex6_15_AEL02_C.xml 5160298 n1 +1 n1 +1 39.63/11.54
Transformed_CSR_04/Ex14_AEGL02_FR.xml 5160299 ∞ +0 NonPoly +1 3.32/1.74
Transformed_CSR_04/MYNAT_nokinds_C.xml 5160300 n1 +1 n1 +1 32.20/10.37
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml 5160301 ∞ +0 n1 +1 1114.29/291.67
Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml 5160302 ∞ +0 n1 +1 1152.07/293.20
Transformed_CSR_04/ExIntrod_Zan97_C.xml 5160303 n1 +1 n1 +1 24.63/7.15
Transformed_CSR_04/MYNAT_nosorts_L.xml 5160304 ∞ +0 NonPoly +1 2.95/1.49
Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml 5160305 ∞ +0 NonPoly +1 3.08/1.53
Transformed_CSR_04/Ex49_GM04_L.xml 5160306 ∞ +0 NonPoly +1 3.15/1.59
Transformed_CSR_04/Ex7_BLR02_GM.xml 5160307 ∞ +0 NonPoly +1 3.78/1.74
Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml 5160308 ∞ +0 NonPoly +1 5.81/2.23
Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml 5160309 ∞ +0 NonPoly +1 3.44/1.76
Transformed_CSR_04/Ex2_Luc03b_L.xml 5160310 1 +1 1 +0 3.48/1.59
Transformed_CSR_04/Ex4_DLMMU04_FR.xml 5160311 ∞ +0 NonPoly +1 5.65/2.23
Transformed_CSR_04/Ex2_Luc03b_Z.xml 5160312 n1 +1 n1 +1 33.45/12.93
Transformed_CSR_04/Ex6_Luc98_FR.xml 5160313 ∞ +0 NonPoly +1 3.40/1.99
Transformed_CSR_04/Ex9_BLR02_FR.xml 5160314 ∞ +0 NonPoly +1 3.75/1.72
Transformed_CSR_04/MYNAT_complete_noand_GM.xml 5160315 ∞ +0 NonPoly +1 34.57/10.71
Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml 5160316 ∞ +0 NonPoly +1 3.25/1.54
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml 5160317 ∞ +0 NonPoly +1 2.86/1.60
Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml 5160318 ∞ +0 NonPoly +1 5.04/2.06
Transformed_CSR_04/ExAppendixB_AEL03_C.xml 5160319 n1 +1 n1 +1 42.86/12.52
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml 5160320 ∞ +0 n1 +1 303.61/291.56
Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml 5160321 ∞ +0 NonPoly +1 3.28/1.62
Transformed_CSR_04/Ex6_9_Luc02c_C.xml 5160322 n1 +1 n1 +1 21.98/7.07
Transformed_CSR_04/PEANO_complete_C.xml 5160323 n1 +1 n1 +1 28.42/8.18
Transformed_CSR_04/Ex6_15_AEL02_GM.xml 5160324 ∞ +0 NonPoly +1 4.15/1.88
Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml 5160325 ∞ +0 NonPoly +1 3.15/1.61
Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml 5160326 ∞ +0 NonPoly +1 1035.68/263.56
Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml 5160327 n1 +1 n1 +1 36.89/10.96
Transformed_CSR_04/ExConc_Zan97_FR.xml 5160328 n1 +1 n1 +1 7.68/3.22
Transformed_CSR_04/ExIntrod_GM04_L.xml 5160329 ∞ +0 NonPoly +1 6.25/1.64
Transformed_CSR_04/Ex4_DLMMU04_GM.xml 5160330 ∞ +0 NonPoly +1 29.19/9.46
Transformed_CSR_04/PEANO_complete_FR.xml 5160331 ∞ +0 NonPoly +1 4.10/1.87
Transformed_CSR_04/Ex5_DLMMU04_FR.xml 5160332 ∞ +0 NonPoly +1 4.50/1.89
Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml 5160333 ∞ +0 n1 +1 306.72/291.55
Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml 5160334 ∞ +0 NonPoly +1 2.89/1.62
Transformed_CSR_04/Ex18_Luc06_Z.xml 5160335 1 +1 1 +0 3.41/1.98
Transformed_CSR_04/ExIntrod_GM04_FR.xml 5160336 ∞ +0 NonPoly +1 34.00/10.28
Transformed_CSR_04/Ex4_Zan97_GM.xml 5160337 ∞ +0 NonPoly +1 3.34/1.61
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml 5160338 ∞ +0 n1 +1 323.73/291.66
Transformed_CSR_04/Ex5_7_Luc97_C.xml 5160339 n1 +1 n1 +1 44.56/13.34
Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml 5160340 ∞ +0 NonPoly +1 3.69/1.70
Transformed_CSR_04/Ex26_Luc03b_L.xml 5160341 1 +1 1 +0 3.22/1.55
Transformed_CSR_04/MYNAT_complete_C.xml 5160342 n1 +1 n1 +1 36.44/11.00
Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml 5160343 ∞ +0 n1 +1 396.52/291.63
Transformed_CSR_04/PEANO_nokinds-noand_FR.xml 5160344 ∞ +0 NonPoly +1 4.48/1.92
Transformed_CSR_04/Ex1_2_AEL03_L.xml 5160345 ∞ +0 NonPoly +1 2.85/1.55
Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml 5160346 n1 +1 n1 +1 38.54/11.09
Transformed_CSR_04/MYNAT_nokinds_L.xml 5160347 ∞ +0 NonPoly +1 3.14/1.63
Transformed_CSR_04/MYNAT_complete_FR.xml 5160348 ∞ +0 NonPoly +1 4.46/2.01
SK90/2.49.xml 5159741 1 +1 1 +0 3.34/1.65
SK90/4.12.xml 5159742 n1 +1 n1 +1 3.85/1.76
SK90/2.45.xml 5159743 n1 +1 n1 +1 28.13/8.40
SK90/2.15.xml 5159744 ∞ +0 NonPoly +1 3.16/1.53
SK90/2.40.xml 5159745 n1 +1 n1 +1 40.87/7.40
SK90/2.47.xml 5159746 n1 +1 n1 +1 7.45/2.74
SK90/2.22.xml 5159747 ∞ +0 NonPoly +1 3.55/1.60
SK90/4.10.xml 5159748 n3 +1 n1 +1 400.00/291.57
SK90/4.26.xml 5159749 n1 +1 n1 +1 19.14/6.89
SK90/2.59.xml 5159750 1 +1 1 +0 3.29/1.60
SK90/2.27.xml 5159751 ∞ +0 n1 +1 316.4/291.54
SK90/4.57.xml 5159752 ∞ +0 1 +0 306.05/291.52
SK90/4.60.xml 5159753 ∞ +0 NonPoly +1 3.39/1.68
SK90/2.31.xml 5159754 n1 +1 n1 +1 3.72/1.66
SK90/4.28.xml 5159755 n1 +1 n1 +1 32.48/9.99
SK90/2.52.xml 5159756 ∞ +0 n1 +1 1104.27/291.63
SK90/2.03.xml 5159757 n1 +1 n1 +1 6.85/2.52
SK90/4.13.xml 5159758 n1 +1 n1 +1 20.70/7.05
SK90/4.53.xml 5159759 n1 +1 n1 +1 31.11/11.62
SK90/2.38.xml 5159760 n1 +1 n1 +1 5.88/2.21
SK90/4.06.xml 5159761 ∞ +0 NonPoly +1 3.20/1.71
SK90/2.25.xml 5159762 ∞ +0 NonPoly +1 3.32/1.64
SK90/2.12.xml 5159763 n3 +1 n3 +1 62.81/9.65
SK90/4.54.xml 5159764 ∞ +0 NonPoly +1 3.22/1.58
SK90/2.50.xml 5159765 n1 +1 n1 +1 6.88/2.54
SK90/4.34.xml 5159766 ∞ +0 NonPoly +1 3.80/1.71
SK90/4.47.xml 5159767 1 +1 1 +0 3.33/1.65
SK90/2.07.xml 5159768 n1 +1 n1 +1 20.54/8.20
SK90/2.42.xml 5159769 n1 +1 n1 +1 17.08/6.54
SK90/2.09.xml 5159770 n1 +1 n1 +1 3.49/1.73
SK90/4.48.xml 5159771 1 +1 1 +0 3.27/1.60
SK90/2.17.xml 5159772 n1 +1 n1 +1 26.24/7.94
SK90/4.30.xml 5159773 n1 +1 n1 +1 3.74/1.75
SK90/2.39.xml 5159774 n2 +1 n2 +1 20.83/7.72
SK90/2.29.xml 5159775 n1 +1 n1 +1 23.60/6.93
SK90/4.27.xml 5159776 ∞ +0 n1 +1 980.81/291.53
SK90/4.61.xml 5159777 ∞ +0 NonPoly +1 3.27/1.65
SK90/4.09.xml 5159778 1 +1 1 +0 3.06/1.53
SK90/4.29.xml 5159779 n1 +1 n1 +1 3.62/1.72
SK90/2.37.xml 5159780 1 +1 1 +0 3.30/1.61
SK90/4.07.xml 5159781 1 +1 1 +0 3.38/1.61
SK90/4.45.xml 5159782 n1 +1 n1 +1 15.28/5.61
SK90/2.54.xml 5159783 n1 +1 n1 +1 5.71/2.24
SK90/4.16.xml 5159784 n1 +1 n1 +1 3.62/1.68
SK90/4.31.xml 5159785 ∞ +0 NonPoly +1 3.28/1.55
SK90/2.13.xml 5159786 n1 +1 n1 +1 19.53/7.28
SK90/4.18.xml 5159787 1 +1 1 +0 3.50/1.58
SK90/2.20.xml 5159788 n1 +1 n1 +1 19.34/6.16
SK90/2.55.xml 5159789 n1 +1 n1 +1 16.55/5.27
SK90/4.05.xml 5159790 n2 +1 n1 +1 344.21/291.53
SK90/4.22.xml 5159791 ∞ +0 n1 +1 378.27/292.08
SK90/4.43.xml 5159792 timeout (wallclock)
SK90/2.44.xml 5159793 n1 +1 n1 +1 22.78/8.24
SK90/4.25.xml 5159794 n1 +1 n1 +1 18.95/5.75
SK90/2.43.xml 5159795 ∞ +0 NonPoly +1 3.20/1.71
SK90/2.48.xml 5159796 1 +1 1 +0 3.19/1.60
SK90/4.17.xml 5159797 ∞ +0 n2 +1 321.73/291.56
SK90/2.24.xml 5159798 ∞ +0 NonPoly +1 3.37/1.81
SK90/2.16.xml 5159799 n2 +1 n2 +1 26.36/8.77
SK90/2.41.xml 5159800 n1 +1 n1 +1 3.26/1.71
SK90/2.51.xml 5159801 ∞ +0 n1 +1 957.95/291.54
SK90/4.24.xml 5159802 ∞ +0 NonPoly +1 3.52/1.66
SK90/2.28.xml 5159803 timeout (wallclock)
SK90/2.23.xml 5159804 ∞ +0 n3 +1 952.0/291.56
SK90/4.38.xml 5159805 n1 +1 n1 +1 3.33/1.56
SK90/4.42.xml 5159806 ∞ +0 n1 +1 302.07/291.51
SK90/2.53.xml 5159807 n1 +1 n1 +1 3.43/1.67
SK90/2.21.xml 5159808 ∞ +0 NonPoly +1 3.20/1.55
SK90/2.61.xml 5159809 n2 +1 1 +0 329.32/291.58
SK90/2.19.xml 5159810 n2 +1 n2 +1 25.95/8.89
SK90/2.11.xml 5159811 n1 +1 n1 +1 3.50/1.67
SK90/4.51.xml 5159812 1 +1 1 +0 3.44/1.63
SK90/2.26.xml 5159813 ∞ +0 NonPoly +1 3.49/1.69
SK90/2.30.xml 5159814 1 +1 1 +0 3.26/1.85
SK90/2.14.xml 5159815 n1 +1 n1 +1 8.07/2.93
SK90/2.36.xml 5159816 n1 +1 n1 +1 3.55/1.75
SK90/2.02.xml 5159817 n1 +1 n1 +1 8.96/3.04
SK90/2.18.xml 5159818 n2 +1 n1 +1 333.87/291.54
SK90/4.35.xml 5159819 1 +1 1 +0 3.14/1.51
SK90/4.59.xml 5159820 ∞ +0 NonPoly +1 3.29/1.54
Secret_07_TRS/aprove07.xml 5160487 ∞ +0 n1 +1 310.58/291.52
Secret_07_TRS/secret3.xml 5160488 ∞ +0 NonPoly +1 3.45/1.73
Secret_07_TRS/aprove04.xml 5160489 ∞ +0 n1 +1 305.73/291.61
Secret_07_TRS/3.xml 5160490 1 +1 1 +0 3.56/1.59
Secret_07_TRS/aprove02.xml 5160491 ∞ +0 n1 +1 318.15/291.51
Secret_07_TRS/aprove10.xml 5160492 n3 +1 n1 +1 990.27/291.67
Secret_07_TRS/aprove08.xml 5160493 ∞ +0 n1 +1 315.29/291.55
Secret_07_TRS/aprove09.xml 5160494 ∞ +0 n1 +1 312.85/291.57
Secret_07_TRS/aprove01.xml 5160495 ∞ +0 n1 +1 311.38/291.55
Secret_07_TRS/aprove06.xml 5160496 ∞ +0 n1 +1 309.96/291.54
Secret_07_TRS/aprove03.xml 5160497 ∞ +0 n1 +1 308.09/291.58
Secret_07_TRS/secret5.xml 5160498 ∞ +0 NonPoly +1 3.46/1.72
Secret_07_TRS/secret4.xml 5160499 n2 +1 n1 +1 343.23/291.64
Secret_07_TRS/aprove05.xml 5160500 ∞ +0 n1 +1 309.21/291.54
Secret_07_TRS/secret1.xml 5160501 n1 +1 n1 +1 16.87/5.18
Strategy_removed_CSR_05/Ex8_BLR02.xml 5159863 ∞ +0 NonPoly +1 3.42/1.63
Strategy_removed_CSR_05/Ex4_4_Luc96b.xml 5159864 ∞ +0 NonPoly +1 3.06/1.62
Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml 5159865 ∞ +0 NonPoly +1 3.31/1.60
Strategy_removed_CSR_05/Ex6_GM04.xml 5159866 ∞ +0 NonPoly +1 3.32/1.55
Strategy_removed_CSR_05/Ex6_9_Luc02c.xml 5159867 ∞ +0 NonPoly +1 3.21/1.60
Strategy_removed_CSR_05/Ex1_Zan97.xml 5159868 ∞ +0 NonPoly +1 3.25/2.25
Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml 5159869 ∞ +0 NonPoly +1 3.26/1.56
Strategy_removed_CSR_05/Ex1_GM03.xml 5159870 ∞ +0 NonPoly +1 3.32/1.55
Strategy_removed_CSR_05/Ex7_BLR02.xml 5159871 ∞ +0 NonPoly +1 3.24/1.62
Strategy_removed_CSR_05/Ex6_15_AEL02.xml 5159872 ∞ +0 NonPoly +1 3.44/1.64
Strategy_removed_CSR_05/ExIntrod_GM99.xml 5159873 ∞ +0 NonPoly +1 3.56/2.13
Strategy_removed_CSR_05/ExAppendixB_AEL03.xml 5159874 ∞ +0 NonPoly +1 3.52/1.71
Strategy_removed_CSR_05/Ex3_2_Luc97.xml 5159875 ∞ +0 NonPoly +1 3.28/1.82
Strategy_removed_CSR_05/Ex15_Luc98.xml 5159876 ∞ +0 NonPoly +1 3.32/1.58
Strategy_removed_CSR_05/Ex4_Zan97.xml 5159877 ∞ +0 NonPoly +1 3.50/2.25
Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml 5159878 ∞ +0 NonPoly +1 3.25/1.59
Strategy_removed_CSR_05/Ex5_7_Luc97.xml 5159879 ∞ +0 NonPoly +1 3.41/1.66
Strategy_removed_CSR_05/Ex14_AEGL02.xml 5159880 ∞ +0 NonPoly +1 3.28/1.54
Strategy_removed_CSR_05/Ex49_GM04.xml 5159881 n1 +1 n1 +1 23.18/8.98
Strategy_removed_CSR_05/Ex6_Luc98.xml 5159882 ∞ +0 NonPoly +1 3.35/1.60
Strategy_removed_CSR_05/ExConc_Zan97.xml 5159883 ∞ +0 NonPoly +1 3.48/1.62
Strategy_removed_CSR_05/ExIntrod_GM01.xml 5159884 ∞ +0 NonPoly +1 3.22/1.57
Strategy_removed_CSR_05/ExIntrod_GM04.xml 5159885 ∞ +0 NonPoly +1 3.22/1.63
Strategy_removed_CSR_05/Ex3_12_Luc96a.xml 5159886 ∞ +0 NonPoly +1 3.32/1.60
Strategy_removed_CSR_05/Ex2_Luc03b.xml 5159887 ∞ +0 NonPoly +1 3.11/1.57
Strategy_removed_CSR_05/Ex1_GL02a.xml 5159888 ∞ +0 NonPoly +1 3.29/1.61
Strategy_removed_CSR_05/Ex26_Luc03b.xml 5159889 ∞ +0 NonPoly +1 3.23/1.63
Strategy_removed_CSR_05/Ex9_BLR02.xml 5159890 ∞ +0 NonPoly +1 3.13/1.55
Strategy_removed_CSR_05/Ex5_Zan97.xml 5159891 ∞ +0 NonPoly +1 3.30/1.65
Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml 5159892 ∞ +0 NonPoly +1 3.18/1.54
Strategy_removed_CSR_05/Ex1_Luc02b.xml 5159893 ∞ +0 NonPoly +1 3.26/1.59
Strategy_removed_CSR_05/Ex1_2_Luc02c.xml 5159894 ∞ +0 NonPoly +1 3.20/1.57
Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml 5159895 ∞ +0 NonPoly +1 3.30/1.62
Strategy_removed_CSR_05/ExIntrod_Zan97.xml 5159896 ∞ +0 NonPoly +1 3.32/1.65
Strategy_removed_CSR_05/Ex1_2_AEL03.xml 5159897 ∞ +0 NonPoly +1 3.24/1.56
Strategy_removed_AG01/#4.19.xml 5160403 ∞ +0 n1 +1 307.71/291.58
Strategy_removed_AG01/#4.27.xml 5160404 n2 +1 n1 +1 315.4/291.59
Strategy_removed_AG01/#4.17.xml 5160405 n1 +1 n1 +1 15.33/4.88
Strategy_removed_AG01/#4.22.xml 5160406 n1 +1 n1 +1 18.03/5.92
Strategy_removed_AG01/#4.36.xml 5160407 ∞ +0 n2 +1 308.25/291.56
Strategy_removed_AG01/#4.37.xml 5160408 n1 +1 n1 +1 22.51/7.12
Strategy_removed_AG01/#4.20a.xml 5160409 n1 +1 n1 +1 20.07/6.82
Strategy_removed_AG01/#4.30b.xml 5160410 n1 +1 n1 +1 46.54/13.89
Strategy_removed_AG01/#4.33.xml 5160411 ∞ +0 n2 +1 1072.11/291.64
Strategy_removed_AG01/#4.26.xml 5160412 ∞ +0 n1 +1 303.94/291.52
Strategy_removed_AG01/#4.35.xml 5160413 ∞ +0 NonPoly +1 5.89/2.29
Strategy_removed_AG01/#4.16.xml 5160414 n1 +1 n1 +1 18.56/6.44
Strategy_removed_AG01/#4.14.xml 5160415 n1 +1 n1 +1 15.44/5.15
Strategy_removed_AG01/#4.23.xml 5160416 n2 +1 n1 +1 411.23/291.62
Strategy_removed_AG01/#4.32.xml 5160417 n1 +1 n1 +1 18.03/5.44
Strategy_removed_AG01/#4.28.xml 5160418 n1 +1 n1 +1 20.22/6.16
Strategy_removed_AG01/#4.25.xml 5160419 1 +1 1 +0 3.24/1.62
Strategy_removed_AG01/#4.30a.xml 5160420 n1 +1 n1 +1 27.36/11.06
Strategy_removed_AG01/#4.30.xml 5160421 ∞ +0 n1 +1 308.27/291.53
Strategy_removed_AG01/#4.29.xml 5160422 ∞ +0 n1 +1 315.92/291.55
Strategy_removed_AG01/#4.34.xml 5160423 ∞ +0 n1 +1 300.93/291.67
Strategy_removed_AG01/#4.37a.xml 5160424 n1 +1 n1 +1 21.45/11.83
Strategy_removed_AG01/#4.30c.xml 5160425 ∞ +0 n1 +1 305.78/291.52
Strategy_removed_AG01/#4.2.xml 5160426 n1 +1 n1 +1 15.57/5.15
Strategy_removed_AG01/#4.7.xml 5160427 1 +1 1 +0 3.41/1.58
Zantema_05/z16.xml 5160461 ∞ +0 n1 +1 960.36/291.81
Zantema_05/z28.xml 5160462 n1 +1 n1 +1 7.76/3.12
Zantema_05/z10.xml 5160463 ∞ +0 n1 +1 374.59/291.56
Zantema_05/z13.xml 5160464 ∞ +0 n1 +1 1083.8/291.60
Zantema_05/z17.xml 5160465 ∞ +0 n1 +1 1108.73/295.10
Zantema_05/z26.xml 5160466 n1 +1 n1 +1 16.36/5.28
Zantema_05/z27.xml 5160467 ∞ +0 n1 +1 643.00/291.68
Zantema_05/z23.xml 5160468 n1 +1 n1 +1 5.87/2.29
Zantema_05/z12.xml 5160469 ∞ +0 n1 +1 1065.98/295.09
Zantema_05/z15.xml 5160470 ∞ +0 n1 +1 1095.56/291.64
Zantema_05/z14.xml 5160471 ∞ +0 n1 +1 1028.76/293.03
Zantema_05/z24.xml 5160472 ∞ +0 n1 +1 1122.04/291.76
Zantema_05/z18.xml 5160473 ∞ +0 n1 +1 1105.55/292.19
Waldmann_06/jwno4.xml 5160623 ∞ +0 NonPoly +1 4.31/1.86
Waldmann_06/jwmatchb2.xml 5160624 n1 +1 n1 +1 3.49/1.65
Waldmann_06/jwno6.xml 5160625 ∞ +0 NonPoly +1 4.27/1.92
Waldmann_06/jwmatchb1.xml 5160626 n1 +1 n1 +1 15.35/2.72
Waldmann_06/jwno1.xml 5160627 ∞ +0 NonPoly +1 4.64/2.20
1225