Termination Competition 2020: Runtime_Complexity: TRS Innermost41224

Job info CSV
tct-trs_v3.2.0_2020-06-18 tct_rci AProVE complexity
benchmark UPLOWTIME UPLOWTIME
HirokawaMiddeldorp_04/n002.xml 11768667 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.33/1.61
HirokawaMiddeldorp_04/n003.xml 11768662 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.34/1.55
HirokawaMiddeldorp_04/n004.xml 11768663 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.42/4.48
HirokawaMiddeldorp_04/n005.xml 11768666 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.37/1.55
HirokawaMiddeldorp_04/n006.xml 11768669 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.34/1.61
HirokawaMiddeldorp_04/n007.xml 11768672 ∞ +0 1 +0 0.01/0.02 ∞ +0 NonPoly +2 3.29/1.56
HirokawaMiddeldorp_04/t001.xml 11768670 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 839.97/291.60
HirokawaMiddeldorp_04/t002.xml 11768668 ∞ +0 1 +0 0.01/0.02 n2 +2 n1 +2 316.83/291.62
HirokawaMiddeldorp_04/t003.xml 11768661 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 760.73/291.6
HirokawaMiddeldorp_04/t004.xml 11768660 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 7.41/2.61
HirokawaMiddeldorp_04/t009.xml 11768671 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 1149.43/291.66
HirokawaMiddeldorp_04/t011.xml 11768673 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 9.33/3.05
HirokawaMiddeldorp_04/t013.xml 11768665 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 1039.34/291.59
HirokawaMiddeldorp_04/t014.xml 11768664 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 22.53/6.78
CiME_04/ack_prolog.xml 11768677 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 1058.55/291.51
CiME_04/append-hard.xml 11768676 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 15.01/4.61
CiME_04/append-wrong.xml 11768681 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.56/1.61
CiME_04/append.xml 11768679 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 11.49/4.13
CiME_04/fact-hard.xml 11768674 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 1127.47/291.61
CiME_04/filliatre.xml 11768678 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1123.52/291.58
CiME_04/filliatre2.xml 11768680 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 1119.42/291.58
CiME_04/filliatre3.xml 11768682 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1120.23/291.55
CiME_04/list-sum-prod.xml 11768675 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 1123.0/291.67
raML/appendAll.raml.xml 11768599 ∞ +0 1 +0 0.02/0.03 n1 +2 n1 +2 17.41/5.20
raML/bfs.raml.xml 11768603 ∞ +0 1 +0 0.08/0.03 timeout (wallclock)
raML/bft_mmult.raml.xml 11768590 ∞ +0 1 +0 0.04/0.02 timeout (wallclock)
raML/bitvectors.raml.xml 11768600 ∞ +0 1 +0 0.06/0.03 n5 +2 n1 +2 1143.55/297.66
raML/clevermmult.raml.xml 11768588 ∞ +0 1 +0 0.05/0.02 n2 +2 n1 +2 415.91/291.55
raML/duplicates.raml.xml 11768591 ∞ +0 1 +0 0.06/0.03 n2 +2 n1 +2 408.06/291.53
raML/dyade.raml.xml 11768598 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 365.61/291.58
raML/eratosthenes.raml.xml 11768605 ∞ +0 1 +0 0.05/0.02 n2 +2 n1 +2 1102.36/291.91
raML/flatten.raml.xml 11768589 ∞ +0 1 +0 0.03/0.02 n2 +2 n1 +2 369.09/291.75
raML/insertionsort.raml.xml 11768606 ∞ +0 1 +0 0.04/0.02 n2 +2 n1 +2 1114.63/291.96
raML/listsort.raml.xml 11768594 ∞ +0 1 +0 0.03/0.02 n2 +2 n1 +2 1144.44/291.88
raML/longestCommonSubsequence.raml.xml 11768604 ∞ +0 1 +0 0.06/0.02 n2 +2 n1 +2 1126.27/293.68
raML/matrix.raml.xml 11768593 ∞ +0 1 +0 0.07/0.03 ∞ +0 n1 +2 1120.07/291.69
raML/mergesort.raml.xml 11768607 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 1043.59/291.58
raML/minsort.raml.xml 11768592 ∞ +0 1 +0 0.05/0.02 n2 +2 n1 +2 354.45/291.58
raML/queue.raml.xml 11768597 ∞ +0 1 +0 0.05/0.02 ∞ +0 n1 +2 1107.79/295.47
raML/quicksort.raml.xml 11768595 ∞ +0 1 +0 0.03/0.02 n2 +2 n2 +2 221.86/57.64
raML/rationalPotential.raml.xml 11768601 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 4.09/1.80
raML/splitandsort.raml.xml 11768596 ∞ +0 1 +0 0.05/0.02 n3 +2 n1 +2 1153.44/293.71
raML/subtrees.raml.xml 11768602 ∞ +0 1 +0 0.03/0.02 n2 +2 n1 +2 314.65/291.53
AProVE_07/kabasci04.xml 11768617 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1117.11/291.69
AProVE_07/otto01.xml 11768612 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 232.03/59.70
AProVE_07/otto02.xml 11768658 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 1110.66/291.64
AProVE_07/otto03.xml 11768642 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 894.31/291.50
AProVE_07/otto04.xml 11768644 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.43/1.56
AProVE_07/otto05.xml 11768656 ∞ +0 1 +0 0.04/0.03 n1 +2 n1 +2 38.59/13.51
AProVE_07/otto06.xml 11768614 ∞ +0 1 +0 0.03/0.02 n2 +2 n1 +2 1124.36/291.71
AProVE_07/otto07.xml 11768623 ∞ +0 1 +0 0.01/0.02 n2 +2 n1 +2 889.15/291.67
AProVE_07/otto08.xml 11768611 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1123.74/291.54
AProVE_07/otto09.xml 11768626 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1112.48/291.60
AProVE_07/otto10.xml 11768619 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1135.47/291.68
AProVE_07/otto11.xml 11768633 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1112.41/291.63
AProVE_07/otto12.xml 11768641 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 995.12/291.56
AProVE_07/otto13.xml 11768650 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 1045.54/291.57
AProVE_07/thiemann01.xml 11768639 ∞ +0 1 +0 0.03/0.03 n2 +2 n1 +2 998.41/291.53
AProVE_07/thiemann02.xml 11768634 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 1147.18/292.94
AProVE_07/thiemann03.xml 11768616 ∞ +0 1 +0 0.02/0.01 n3 +2 n3 +2 56.15/15.27
AProVE_07/thiemann04.xml 11768618 ∞ +0 1 +0 0.05/0.02 ∞ +0 n1 +2 1130.94/294.66
AProVE_07/thiemann05.xml 11768632 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 1111.63/291.68
AProVE_07/thiemann06.xml 11768640 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 128.04/33.95
AProVE_07/thiemann07.xml 11768649 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 1109.31/291.75
AProVE_07/thiemann08.xml 11768638 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 5.87/2.67
AProVE_07/thiemann10.xml 11768645 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 36.79/10.53
AProVE_07/thiemann11.xml 11768657 ∞ +0 1 +0 0.03/0.02 n2 +2 n1 +2 1119.02/291.72
AProVE_07/thiemann12.xml 11768615 ∞ +0 1 +0 0.03/0.02 n2 +2 n1 +2 1017.95/291.90
AProVE_07/thiemann13.xml 11768624 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 1094.25/293.99
AProVE_07/thiemann14.xml 11768625 ∞ +0 1 +0 0.03/0.02 ∞ +0 n2 +2 1139.08/291.85
AProVE_07/thiemann15.xml 11768613 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 1003.29/291.52
AProVE_07/thiemann16.xml 11768659 ∞ +0 1 +0 0.05/0.11 ∞ +0 n1 +2 1135.08/292.47
AProVE_07/thiemann17.xml 11768643 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 1117.43/293.49
AProVE_07/thiemann18.xml 11768655 ∞ +0 1 +0 0.02/0.01 n3 +2 n1 +2 1118.44/291.64
AProVE_07/thiemann19.xml 11768646 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1118.47/291.61
AProVE_07/thiemann20.xml 11768609 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 1109.84/291.51
AProVE_07/thiemann21.xml 11768628 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1126.91/292.95
AProVE_07/thiemann22.xml 11768648 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 1086.49/291.55
AProVE_07/thiemann23.xml 11768653 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 40.01/15.77
AProVE_07/thiemann24.xml 11768654 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 991.25/291.55
AProVE_07/thiemann25.xml 11768647 ∞ +0 1 +0 0.03/0.01 ∞ +0 n1 +2 942.0/291.69
AProVE_07/thiemann26.xml 11768629 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 64.47/17.71
AProVE_07/thiemann27.xml 11768608 ∞ +0 1 +0 0.00/0.01 n2 +2 n1 +2 905.37/291.49
AProVE_07/thiemann28.xml 11768627 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 56.60/16.21
AProVE_07/thiemann29.xml 11768610 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 1118.71/291.69
AProVE_07/thiemann30.xml 11768631 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1121.04/294.38
AProVE_07/thiemann31.xml 11768621 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 1140.01/291.61
AProVE_07/thiemann32.xml 11768652 ∞ +0 1 +0 0.03/0.02 ∞ +0 n2 +2 1102.86/291.53
AProVE_07/thiemann33.xml 11768635 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1095.84/291.85
AProVE_07/thiemann34.xml 11768636 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 1076.75/291.94
AProVE_07/thiemann36.xml 11768622 ∞ +0 1 +0 0.03/0.02 n2 +2 n1 +2 1137.89/291.73
AProVE_07/thiemann37.xml 11768630 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 1135.28/291.93
AProVE_07/thiemann38.xml 11768620 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 1114.63/291.56
AProVE_07/thiemann40.xml 11768651 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 19.72/6.64
AProVE_07/thiemann41.xml 11768637 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1110.87/291.56
Various_04/11.xml 11768576 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.21/1.52
Various_04/15.xml 11768575 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 4.96/2.00
Various_04/22.xml 11768578 ∞ +0 1 +0 0.01/0.01 n3 +2 n1 +2 310.65/291.51
Various_04/24.xml 11768577 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 3.94/1.70
Secret_05_TRS/aprove2.xml 11768587 ∞ +0 1 +0 0.03/0.02 n1 +2 n1 +2 39.41/11.02
Secret_05_TRS/aprove3.xml 11768582 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 977.66/292.47
Secret_05_TRS/cime4.xml 11768581 ∞ +0 1 +0 0.01/0.01 1 +2 1 +0 3.36/1.54
Secret_05_TRS/tpa1.xml 11768580 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 1120.34/291.69
Secret_05_TRS/tpa2.xml 11768583 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 367.04/291.50
Secret_05_TRS/tpa3.xml 11768586 ∞ +0 1 +0 0.01/0.65 ∞ +0 n2 +2 1137.16/291.63
Secret_05_TRS/tpa4.xml 11768585 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 1122.2/291.89
Secret_05_TRS/tpa5.xml 11768584 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1144.14/291.55
Secret_05_TRS/ttt2.xml 11768579 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.31/1.63
Waldmann_06/jwmatchb1.xml 11768564 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.54/1.61
Waldmann_06/jwmatchb2.xml 11768563 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 6.60/1.70
Waldmann_06/jwno1.xml 11768565 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 610.93/291.54
Waldmann_06/jwno4.xml 11768562 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 307.29/291.71
Waldmann_06/jwno6.xml 11768566 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 306.65/291.47
AProVE_04/AAECC-ring.xml 11768574 ∞ +0 1 +0 0.04/0.02 timeout (wallclock)
AProVE_04/AAECC.xml 11768567 ∞ +0 1 +0 0.04/0.02 n2 +2 n1 +2 1146.87/291.61
AProVE_04/fac.xml 11768569 ∞ +0 1 +0 0.00/0.01 ∞ +0 n2 +2 1130.72/291.60
AProVE_04/IJCAR_1.xml 11768573 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 21.72/6.54
AProVE_04/JFP_Ex51.xml 11768570 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 1141.63/298.30
AProVE_04/rta1.xml 11768572 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 965.17/291.63
AProVE_04/rta2.xml 11768568 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 359.30/291.48
AProVE_04/rta3.xml 11768571 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 977.78/291.62
AProVE_09_Inductive/div.xml 11768696 ∞ +0 1 +0 0.02/0.01 n3 +2 n1 +2 1122.5/291.60
AProVE_09_Inductive/divhard.xml 11768690 ∞ +0 1 +0 0.02/0.01 n3 +2 n1 +2 1131.63/291.59
AProVE_09_Inductive/gcd.xml 11768688 ∞ +0 1 +0 0.03/0.02 n3 +2 n1 +2 1138.72/291.64
AProVE_09_Inductive/gcd2.xml 11768691 ∞ +0 1 +0 0.02/0.01 n3 +2 n1 +2 1143.68/291.61
AProVE_09_Inductive/gcdhard.xml 11768686 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 49.13/14.15
AProVE_09_Inductive/log.xml 11768687 ∞ +0 1 +0 0.03/0.02 n1 +2 n1 +2 43.63/12.76
AProVE_09_Inductive/maxsort.xml 11768695 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 1110.95/291.77
AProVE_09_Inductive/maxsortcondition.xml 11768685 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 1104.64/291.63
AProVE_09_Inductive/minsort.xml 11768683 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 1122.11/295.77
AProVE_09_Inductive/mod.xml 11768692 ∞ +0 1 +0 0.02/0.01 n3 +2 n1 +2 1117.02/293.70
AProVE_09_Inductive/qsort.xml 11768684 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1086.49/291.59
AProVE_09_Inductive/qsortlast.xml 11768694 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1127.16/295.26
AProVE_09_Inductive/qsortmiddle.xml 11768693 ∞ +0 1 +0 0.05/0.02 ∞ +0 n1 +2 1137.1/291.62
AProVE_09_Inductive/zerolist.xml 11768689 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 919.47/291.61
Frederiksen_Others/add.xml 11768703 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.87/1.82
Frederiksen_Others/assrewriteSize.xml 11768698 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 345.57/291.52
Frederiksen_Others/boolprog.xml 11768701 ∞ +0 1 +0 0.04/0.02 n1 +2 n1 +2 21.44/6.36
Frederiksen_Others/bubblesort.xml 11768699 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 344.61/291.60
Frederiksen_Others/deadcodeSize.xml 11768705 ∞ +0 1 +0 0.01/0.03 ∞ +0 NonPoly +2 3.34/1.70
Frederiksen_Others/disj2_typed.xml 11768723 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 4.39/1.93
Frederiksen_Others/div2.xml 11768711 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 4.00/1.85
Frederiksen_Others/dup1_typed.xml 11768713 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 15.09/4.64
Frederiksen_Others/dup2_typed.xml 11768718 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 14.50/4.68
Frederiksen_Others/eq.xml 11768720 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.37/1.64
Frederiksen_Others/ex6.xml 11768712 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.73/1.75
Frederiksen_Others/fgh.xml 11768716 ∞ +0 1 +0 0.01/0.02 ∞ +0 NonPoly +2 3.65/1.61
Frederiksen_Others/fghSize.xml 11768730 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.64/1.65
Frederiksen_Others/gexgcd.xml 11768715 ∞ +0 1 +0 0.05/0.02 n1 +2 n1 +2 24.90/7.22
Frederiksen_Others/gexgcd2.xml 11768717 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 329.43/291.58
Frederiksen_Others/graphcolour1_typed.xml 11768725 ∞ +0 1 +0 0.08/0.04 ∞ +0 n1 +2 1088.24/291.65
Frederiksen_Others/graphcolour2Size_typed.xml 11768706 ∞ +0 1 +0 0.06/0.03 timeout (wallclock)
Frederiksen_Others/graphcolour2_typed.xml 11768722 ∞ +0 1 +0 0.05/0.02 timeout (wallclock)
Frederiksen_Others/graphcolour3_typed.xml 11768719 ∞ +0 1 +0 0.07/0.04 timeout (wallclock)
Frederiksen_Others/inssort.xml 11768710 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 331.07/291.74
Frederiksen_Others/inssort_better.xml 11768728 ∞ +0 1 +0 0.03/0.02 n2 +2 n1 +2 342.15/291.69
Frederiksen_Others/match.xml 11768704 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 338.64/291.56
Frederiksen_Others/minsortSize.xml 11768726 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1120.45/291.64
Frederiksen_Others/ocall-safe.xml 11768729 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 3.52/1.63
Frederiksen_Others/ocall-unsafe.xml 11768727 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 3.44/1.63
Frederiksen_Others/oddeven.xml 11768721 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 14.54/4.86
Frederiksen_Others/permut.xml 11768708 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.42/1.55
Frederiksen_Others/power.xml 11768702 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 740.46/291.55
Frederiksen_Others/quicksortPtime.xml 11768724 ∞ +0 1 +0 0.05/0.02 n2 +2 n1 +2 349.35/291.67
Frederiksen_Others/quicksortSize.xml 11768697 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 1116.25/291.54
Frederiksen_Others/reach.xml 11768707 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 953.40/279.51
Frederiksen_Others/rematch.xml 11768709 ∞ +0 1 +0 0.78/0.28 ∞ +0 n2 +2 1157.68/294.62
Frederiksen_Others/strmatch.xml 11768714 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 565.22/291.63
Frederiksen_Others/thetrickSize.xml 11768700 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 22.76/6.85
Endrullis_06/direct.xml 11768116 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 4.97/4.17
Mixed_TRS/Ex1_Luc04b_GM.xml 11768120 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 1080.13/291.54
Mixed_TRS/fossacs.xml 11768117 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 1083.17/291.59
Mixed_TRS/gcd.xml 11768126 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 1128.57/291.70
Mixed_TRS/gcdMinMax.xml 11768131 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 1122.57/291.59
Mixed_TRS/gcd_triple.xml 11768127 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 1147.49/291.65
Mixed_TRS/jones1.xml 11768122 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.57/1.71
Mixed_TRS/jones2.xml 11768124 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 17.86/5.41
Mixed_TRS/jones4.xml 11768129 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 7.71/5.59
Mixed_TRS/jones5.xml 11768125 ∞ +0 1 +0 0.00/0.01 timeout (wallclock)
Mixed_TRS/jones6.xml 11768121 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 3.66/1.73
Mixed_TRS/minsort.xml 11768119 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.39/1.58
Mixed_TRS/perfect.xml 11768130 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 26.65/9.11
Mixed_TRS/perfect2.xml 11768123 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 5.15/2.36
Mixed_TRS/test1.xml 11768128 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 364.68/291.75
Mixed_TRS/while.xml 11768118 ∞ +0 1 +0 0.00/0.01 n2 +2 n1 +2 888.49/291.52
GTSSK07/cade01.xml 11768070 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 891.68/291.52
GTSSK07/cade03.xml 11768081 ∞ +0 1 +0 0.01/0.02 n2 +2 n1 +2 877.67/291.56
GTSSK07/cade05t.xml 11768079 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 1125.71/292.02
GTSSK07/cade06.xml 11768069 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 1012.39/291.69
GTSSK07/cade07.xml 11768075 ∞ +0 1 +0 0.01/0.02 n2 +2 n1 +2 1144.53/291.59
GTSSK07/cade08.xml 11768071 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 1131.38/296.20
GTSSK07/cade09.xml 11768074 ∞ +0 1 +0 0.00/0.01 n2 +2 n1 +2 1067.91/291.63
GTSSK07/cade10.xml 11768072 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 1106.64/291.62
GTSSK07/cade11.xml 11768078 ∞ +0 1 +0 0.00/0.01 n2 +2 n1 +2 882.11/291.66
GTSSK07/cade12t.xml 11768068 ∞ +0 1 +0 0.03/0.08 n2 +2 n1 +2 1121.11/294.91
GTSSK07/cade13t.xml 11768076 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1062.37/291.54
GTSSK07/cade14.xml 11768082 ∞ +0 1 +0 0.03/0.02 n2 +2 n1 +2 1110.62/291.76
GTSSK07/cade15.xml 11768080 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.36/1.63
GTSSK07/cade16.xml 11768077 ∞ +0 1 +0 0.04/0.03 n2 +2 n1 +2 1120.42/291.64
GTSSK07/cade17.xml 11768073 ∞ +0 1 +0 0.01/0.01 ∞ +0 n2 +2 1114.3/291.70
Strategy_removed_CSR_05/Ex14_AEGL02.xml 11768109 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.39/1.57
Strategy_removed_CSR_05/Ex15_Luc98.xml 11768098 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.48/1.55
Strategy_removed_CSR_05/Ex1_2_AEL03.xml 11768091 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 3.15/1.70
Strategy_removed_CSR_05/Ex1_2_Luc02c.xml 11768115 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.41/1.63
Strategy_removed_CSR_05/Ex1_GL02a.xml 11768089 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.27/1.55
Strategy_removed_CSR_05/Ex1_GM03.xml 11768088 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.34/1.53
Strategy_removed_CSR_05/Ex1_Luc02b.xml 11768102 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.64/6.27
Strategy_removed_CSR_05/Ex1_Zan97.xml 11768112 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.32/2.83
Strategy_removed_CSR_05/Ex26_Luc03b.xml 11768104 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.55/1.64
Strategy_removed_CSR_05/Ex2_Luc03b.xml 11768094 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.40/1.54
Strategy_removed_CSR_05/Ex3_12_Luc96a.xml 11768095 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.23/1.61
Strategy_removed_CSR_05/Ex3_2_Luc97.xml 11768083 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.31/1.58
Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml 11768092 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.36/1.64
Strategy_removed_CSR_05/Ex49_GM04.xml 11768096 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 21.57/11.88
Strategy_removed_CSR_05/Ex4_4_Luc96b.xml 11768114 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.16/1.55
Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml 11768110 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.41/2.05
Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml 11768100 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.11/1.50
Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml 11768093 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.72/1.74
Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml 11768086 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.38/1.61
Strategy_removed_CSR_05/Ex4_Zan97.xml 11768108 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.45/1.64
Strategy_removed_CSR_05/Ex5_Zan97.xml 11768106 ∞ +0 1 +0 0.01/0.02 ∞ +0 NonPoly +2 3.50/1.88
Strategy_removed_CSR_05/Ex6_9_Luc02c.xml 11768107 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.43/4.46
Strategy_removed_CSR_05/Ex6_GM04.xml 11768085 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.26/1.61
Strategy_removed_CSR_05/Ex6_Luc98.xml 11768099 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.31/1.54
Strategy_removed_CSR_05/Ex7_BLR02.xml 11768111 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.39/1.63
Strategy_removed_CSR_05/Ex8_BLR02.xml 11768105 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.39/1.56
Strategy_removed_CSR_05/Ex9_BLR02.xml 11768103 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 6.53/1.65
Strategy_removed_CSR_05/ExAppendixB_AEL03.xml 11768090 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.32/1.55
Strategy_removed_CSR_05/ExConc_Zan97.xml 11768097 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.36/1.52
Strategy_removed_CSR_05/ExIntrod_GM01.xml 11768087 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.33/1.58
Strategy_removed_CSR_05/ExIntrod_GM04.xml 11768101 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.27/1.54
Strategy_removed_CSR_05/ExIntrod_GM99.xml 11768084 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.45/1.62
Strategy_removed_CSR_05/ExIntrod_Zan97.xml 11768113 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.48/1.59
AProVE_08/log.xml 11768358 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1112.78/291.64
AProVE_08/parting01_reverse.xml 11768359 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 1106.85/291.92
AProVE_08/parting02_doublelist.xml 11768355 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 1102.5/291.73
AProVE_08/parting03_minsort.xml 11768354 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 1111.3/291.73
AProVE_08/parting04_maxsort_h.xml 11768360 ∞ +0 1 +0 0.01/0.01 timeout (wallclock)
AProVE_08/parting05_maxsort.xml 11768356 ∞ +0 1 +0 0.02/0.01 timeout (wallclock)
AProVE_08/thiemann40_modified.xml 11768357 ∞ +0 1 +0 0.00/0.01 n2 +2 n2 +2 47.24/14.57
Beerendonk_07/1.xml 11768377 ∞ +0 1 +0 0.00/0.01 n2 +2 n1 +2 429.34/291.58
Beerendonk_07/10.xml 11768372 ∞ +0 1 +0 0.04/0.02 n2 +2 n1 +2 471.52/291.51
Beerendonk_07/11.xml 11768362 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 1078.37/291.57
Beerendonk_07/12.xml 11768380 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 1066.41/291.51
Beerendonk_07/13.xml 11768379 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 1055.49/291.52
Beerendonk_07/14.xml 11768378 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 936.01/291.61
Beerendonk_07/15.xml 11768381 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 1010.86/292.24
Beerendonk_07/16.xml 11768361 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 1135.82/291.70
Beerendonk_07/17.xml 11768373 ∞ +0 1 +0 0.03/0.02 n2 +2 n1 +2 1149.49/292.10
Beerendonk_07/18.xml 11768363 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 68.14/18.59
Beerendonk_07/19.xml 11768371 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 1142.65/291.63
Beerendonk_07/2.xml 11768369 ∞ +0 1 +0 0.00/0.01 n2 +2 n1 +2 372.74/291.63
Beerendonk_07/20.xml 11768384 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 52.06/14.31
Beerendonk_07/21.xml 11768375 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 1148.51/294.18
Beerendonk_07/22.xml 11768368 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 29.76/8.67
Beerendonk_07/23.xml 11768367 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 877.64/291.51
Beerendonk_07/24.xml 11768366 ∞ +0 1 +0 0.02/0.02 n1 +2 n1 +2 63.80/17.69
Beerendonk_07/3.xml 11768365 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 66.85/20.73
Beerendonk_07/4.xml 11768364 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 24.48/7.33
Beerendonk_07/5.xml 11768370 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 1110.05/291.68
Beerendonk_07/6.xml 11768376 ∞ +0 1 +0 0.00/0.01 n2 +2 n1 +2 359.88/291.50
Beerendonk_07/7.xml 11768382 ∞ +0 1 +0 0.00/0.01 n2 +2 n1 +2 574.97/291.90
Beerendonk_07/8.xml 11768374 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 39.78/14.44
Beerendonk_07/9.xml 11768383 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 1129.9/295.55
Secret_06_TRS/addList.xml 11768209 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 1130.21/299.84
Secret_06_TRS/division.xml 11768203 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 1010.1/291.54
Secret_06_TRS/double.xml 11768199 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 1101.34/291.60
Secret_06_TRS/logarithm.xml 11768204 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 1113.78/291.73
Secret_06_TRS/nrOfNodes.xml 11768200 ∞ +0 1 +0 0.03/0.02 ∞ +0 n2 +2 1128.28/295.63
Secret_06_TRS/reverse.xml 11768207 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 1120.25/293.26
Secret_06_TRS/sumList.xml 11768198 ∞ +0 1 +0 0.01/0.01 ∞ +0 n2 +2 1118.11/291.68
Secret_06_TRS/toList.xml 11768206 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 1137.26/291.90
Secret_06_TRS/tpa04.xml 11768205 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1111.74/293.11
Secret_06_TRS/tpa05.xml 11768208 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 1097.1/294.02
Secret_06_TRS/tpa06.xml 11768197 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 1134.81/291.87
Secret_06_TRS/tpa07.xml 11768201 ∞ +0 1 +0 0.01/0.01 ∞ +0 n2 +2 1100.95/291.54
Secret_06_TRS/tpa08.xml 11768196 ∞ +0 1 +0 0.03/0.02 ∞ +0 n2 +2 965.05/291.81
Secret_06_TRS/tpa09.xml 11768202 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 991.02/293.75
Secret_06_TRS/tpa10.xml 11768195 ∞ +0 1 +0 0.03/0.02 ∞ +0 n2 +2 1118.81/291.69
Transformed_CSR_04/Ex14_AEGL02_FR.xml 11768305 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 9.99/4.04
Transformed_CSR_04/Ex14_AEGL02_GM.xml 11768240 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 1059.24/291.62
Transformed_CSR_04/Ex14_AEGL02_L.xml 11768237 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.28/1.66
Transformed_CSR_04/Ex14_AEGL02_Z.xml 11768332 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 4.02/1.80
Transformed_CSR_04/Ex15_Luc06_FR.xml 11768217 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 3.46/1.67
Transformed_CSR_04/Ex15_Luc06_GM.xml 11768292 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 14.49/4.60
Transformed_CSR_04/Ex15_Luc06_L.xml 11768315 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.28/1.58
Transformed_CSR_04/Ex15_Luc06_Z.xml 11768248 ∞ +0 1 +0 0.01/0.01 1 +2 1 +0 3.47/1.61
Transformed_CSR_04/Ex15_Luc98_GM.xml 11768211 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 18.84/7.37
Transformed_CSR_04/Ex16_Luc06_L.xml 11768251 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.42/1.55
Transformed_CSR_04/Ex18_Luc06_GM.xml 11768319 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 8.49/3.36
Transformed_CSR_04/Ex1_2_AEL03_GM.xml 11768210 ∞ +0 1 +0 0.04/0.02 timeout (cpu)
Transformed_CSR_04/Ex1_2_Luc02c_GM.xml 11768286 ∞ +0 1 +0 0.01/0.01 timeout (wallclock)
Transformed_CSR_04/Ex1_GL02a_GM.xml 11768298 ∞ +0 1 +0 0.03/0.02 n1 +2 n1 +2 14.48/4.45
Transformed_CSR_04/Ex1_GL02a_L.xml 11768327 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.42/1.52
Transformed_CSR_04/Ex1_GM03_GM.xml 11768223 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 1093.72/292.63
Transformed_CSR_04/Ex1_GM99_GM.xml 11768325 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 911.22/291.51
Transformed_CSR_04/Ex1_GM99_L.xml 11768288 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.20/1.51
Transformed_CSR_04/Ex1_Luc02b_GM.xml 11768306 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1116.3/291.56
Transformed_CSR_04/Ex1_Luc02b_Z.xml 11768333 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 331.56/291.55
Transformed_CSR_04/Ex1_Luc04b_FR.xml 11768352 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 3.97/1.77
Transformed_CSR_04/Ex1_Luc04b_GM.xml 11768268 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 1102.87/296.19
Transformed_CSR_04/Ex1_Luc04b_Z.xml 11768312 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.47/1.64
Transformed_CSR_04/Ex1_Zan97_FR.xml 11768259 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.33/1.51
Transformed_CSR_04/Ex1_Zan97_GM.xml 11768328 ∞ +0 1 +0 0.01/0.01 1 +2 1 +0 3.30/1.60
Transformed_CSR_04/Ex1_Zan97_L.xml 11768231 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.44/1.54
Transformed_CSR_04/Ex23_Luc06_GM.xml 11768244 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 11.42/3.97
Transformed_CSR_04/Ex24_Luc06_GM.xml 11768229 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 13.24/4.10
Transformed_CSR_04/Ex24_Luc06_L.xml 11768277 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.38/1.58
Transformed_CSR_04/Ex25_Luc06_GM.xml 11768227 ∞ +0 1 +0 0.01/0.02 n1 +2 n1 +2 8.29/2.93
Transformed_CSR_04/Ex26_Luc03b_GM.xml 11768241 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 1129.08/291.59
Transformed_CSR_04/Ex26_Luc03b_L.xml 11768300 ∞ +0 1 +0 0.01/0.01 1 +2 1 +0 3.34/2.22
Transformed_CSR_04/Ex2_Luc02a_GM.xml 11768331 ∞ +0 1 +0 0.04/0.02 timeout (wallclock)
Transformed_CSR_04/Ex2_Luc02a_L.xml 11768266 ∞ +0 1 +0 0.01/0.01 n3 +2 n3 +2 27.79/8.10
Transformed_CSR_04/Ex2_Luc02a_Z.xml 11768307 ∞ +0 1 +0 0.04/0.02 n3 +2 n3 +2 35.92/10.69
Transformed_CSR_04/Ex2_Luc03b_GM.xml 11768257 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1133.04/291.65
Transformed_CSR_04/Ex2_Luc03b_L.xml 11768340 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.46/1.55
Transformed_CSR_04/Ex2_Luc03b_Z.xml 11768226 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 13.89/4.46
Transformed_CSR_04/Ex3_12_Luc96a_GM.xml 11768239 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 1121.79/291.68
Transformed_CSR_04/Ex3_12_Luc96a_Z.xml 11768258 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 21.09/13.45
Transformed_CSR_04/Ex3_2_Luc97_GM.xml 11768233 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 1122.93/291.56
Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml 11768213 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1138.32/294.66
Transformed_CSR_04/Ex3_3_25_Bor03_L.xml 11768310 ∞ +0 1 +0 0.01/0.01 1 +2 1 +0 3.32/1.83
Transformed_CSR_04/Ex49_GM04_GM.xml 11768339 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1114.91/291.72
Transformed_CSR_04/Ex4_4_Luc96b_GM.xml 11768234 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 1081.15/291.56
Transformed_CSR_04/Ex4_4_Luc96b_L.xml 11768345 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 8.05/2.74
Transformed_CSR_04/Ex4_4_Luc96b_Z.xml 11768216 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.59/1.61
Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml 11768256 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 4.37/1.83
Transformed_CSR_04/Ex4_7_15_Bor03_L.xml 11768276 ∞ +0 1 +0 0.01/0.01 1 +2 1 +0 3.44/6.54
Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml 11768281 ∞ +0 1 +0 0.01/0.01 1 +2 1 +0 3.35/1.56
Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml 11768236 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 1136.47/294.50
Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml 11768311 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1057.43/298.96
Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml 11768314 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 1137.96/296.60
Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml 11768247 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 13.05/4.26
Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml 11768261 ∞ +0 1 +0 0.01/0.02 1 +2 1 +0 3.36/1.55
Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml 11768324 ∞ +0 1 +0 0.01/0.02 n1 +2 n1 +2 3.86/1.80
Transformed_CSR_04/Ex4_DLMMU04_GM.xml 11768230 ∞ +0 1 +0 0.03/0.01 timeout (wallclock)
Transformed_CSR_04/Ex4_Zan97_FR.xml 11768273 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 1056.67/291.61
Transformed_CSR_04/Ex4_Zan97_GM.xml 11768348 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1108.19/291.56
Transformed_CSR_04/Ex4_Zan97_Z.xml 11768262 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 686.59/291.50
Transformed_CSR_04/Ex5_7_Luc97_GM.xml 11768344 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 1137.46/291.58
Transformed_CSR_04/Ex5_DLMMU04_GM.xml 11768353 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1138.35/292.82
Transformed_CSR_04/Ex5_Zan97_GM.xml 11768350 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 1117.48/291.64
Transformed_CSR_04/Ex5_Zan97_Z.xml 11768283 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.42/1.54
Transformed_CSR_04/Ex6_15_AEL02_GM.xml 11768242 ∞ +0 1 +0 0.06/0.02 ∞ +0 n1 +2 1148.69/294.50
Transformed_CSR_04/Ex6_9_Luc02c_FR.xml 11768219 ∞ +0 1 +0 0.00/0.01 n2 +2 n1 +2 347.34/291.51
Transformed_CSR_04/Ex6_9_Luc02c_GM.xml 11768291 ∞ +0 1 +0 0.02/0.01 timeout (wallclock)
Transformed_CSR_04/Ex6_9_Luc02c_Z.xml 11768221 ∞ +0 1 +0 0.01/0.01 1 +2 1 +0 3.52/1.57
Transformed_CSR_04/Ex6_GM04_FR.xml 11768294 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.69/2.31
Transformed_CSR_04/Ex6_GM04_GM.xml 11768214 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.32/1.53
Transformed_CSR_04/Ex6_Luc98_GM.xml 11768341 ∞ +0 1 +0 0.02/0.01 timeout (wallclock)
Transformed_CSR_04/Ex6_Luc98_L.xml 11768308 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.43/1.67
Transformed_CSR_04/Ex6_Luc98_Z.xml 11768264 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 12.02/4.09
Transformed_CSR_04/Ex7_BLR02_GM.xml 11768287 ∞ +0 1 +0 0.01/0.01 timeout (wallclock)
Transformed_CSR_04/Ex7_BLR02_Z.xml 11768280 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 328.98/291.56
Transformed_CSR_04/Ex8_BLR02_FR.xml 11768265 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1140.29/291.62
Transformed_CSR_04/Ex8_BLR02_GM.xml 11768321 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 1122.24/293.41
Transformed_CSR_04/Ex8_BLR02_Z.xml 11768282 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 511.52/291.49
Transformed_CSR_04/Ex9_BLR02_GM.xml 11768326 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 1108.44/291.57
Transformed_CSR_04/Ex9_BLR02_L.xml 11768303 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.30/1.71
Transformed_CSR_04/Ex9_BLR02_Z.xml 11768267 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 1065.02/291.56
Transformed_CSR_04/Ex9_Luc04_GM.xml 11768228 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 1130.46/291.57
Transformed_CSR_04/Ex9_Luc04_L.xml 11768342 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.31/2.10
Transformed_CSR_04/ExAppendixB_AEL03_GM.xml 11768278 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 1140.22/292.16
Transformed_CSR_04/ExAppendixB_AEL03_Z.xml 11768232 ∞ +0 1 +0 0.01/0.01 n2 +2 n2 +2 18.63/5.62
Transformed_CSR_04/ExConc_Zan97_FR.xml 11768225 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 7.08/2.57
Transformed_CSR_04/ExConc_Zan97_GM.xml 11768285 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 5.08/2.03
Transformed_CSR_04/ExConc_Zan97_Z.xml 11768238 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.22/2.01
Transformed_CSR_04/ExIntrod_GM01_FR.xml 11768212 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 6.24/2.35
Transformed_CSR_04/ExIntrod_GM01_GM.xml 11768297 ∞ +0 1 +0 0.02/0.02 ∞ +0 n1 +2 1084.4/291.93
Transformed_CSR_04/ExIntrod_GM01_Z.xml 11768253 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 4.50/1.86
Transformed_CSR_04/ExIntrod_GM04_FR.xml 11768293 ∞ +0 1 +0 0.03/0.01 ∞ +0 NonPoly +2 17.48/5.24
Transformed_CSR_04/ExIntrod_GM04_GM.xml 11768220 ∞ +0 1 +0 0.01/0.01 timeout (wallclock)
Transformed_CSR_04/ExIntrod_GM04_Z.xml 11768343 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 6.84/2.49
Transformed_CSR_04/ExIntrod_GM99_GM.xml 11768271 ∞ +0 1 +0 0.05/0.02 ∞ +0 n1 +2 1110.58/292.43
Transformed_CSR_04/ExIntrod_Zan97_GM.xml 11768330 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 1131.96/291.67
Transformed_CSR_04/ExProp7_Luc06_GM.xml 11768295 ∞ +0 1 +0 0.04/0.03 ∞ +0 n1 +2 1115.01/296.36
Transformed_CSR_04/ExProp7_Luc06_L.xml 11768252 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.28/1.62
Transformed_CSR_04/ExProp7_Luc06_Z.xml 11768313 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.30/1.50
Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml 11768215 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 1119.86/291.55
Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml 11768336 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 1097.45/291.95
Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml 11768309 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 11.77/4.05
Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml 11768254 ∞ +0 1 +0 0.05/0.02 timeout (wallclock)
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml 11768347 ∞ +0 1 +0 0.09/0.04 ∞ +0 n1 +2 1164.17/296.82
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml 11768304 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 1098.88/291.58
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml 11768263 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 1151.19/295.25
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml 11768235 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 4.21/1.76
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml 11768346 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.47/1.53
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml 11768275 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 3.90/1.76
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml 11768246 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 12.01/3.82
Transformed_CSR_04/LISTUTILITIES_complete_GM.xml 11768296 ∞ +0 1 +0 0.09/0.04 ∞ +0 n1 +2 1124.6/296.69
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml 11768249 ∞ +0 1 +0 0.15/0.06 ∞ +0 n1 +2 1161.28/295.26
Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml 11768270 ∞ +0 1 +0 0.07/0.03 ∞ +0 n1 +2 1141.04/292.20
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml 11768317 ∞ +0 1 +0 0.08/0.03 ∞ +0 n1 +2 1141.9/291.6
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml 11768302 ∞ +0 1 +0 0.05/0.02 n1 +2 n1 +2 806.13/291.62
Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml 11768301 ∞ +0 1 +0 0.04/0.02 timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml 11768337 ∞ +0 1 +0 0.10/0.04 ∞ +0 n1 +2 1144.53/292.59
Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml 11768255 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 12.30/4.12
Transformed_CSR_04/MYNAT_complete_GM.xml 11768245 ∞ +0 1 +0 0.05/0.02 ∞ +0 NonPoly +2 12.34/3.88
Transformed_CSR_04/MYNAT_complete_noand_GM.xml 11768349 ∞ +0 1 +0 0.07/0.03 ∞ +0 NonPoly +2 64.62/17.25
Transformed_CSR_04/MYNAT_nokinds_GM.xml 11768284 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 6.40/2.44
Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml 11768318 ∞ +0 1 +0 0.05/0.02 ∞ +0 NonPoly +2 10.04/3.29
Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml 11768320 ∞ +0 1 +0 0.01/0.01 n2 +2 n2 +2 20.46/6.04
Transformed_CSR_04/MYNAT_nosorts_FR.xml 11768338 ∞ +0 1 +0 0.00/0.01 n2 +2 n2 +2 14.02/4.41
Transformed_CSR_04/MYNAT_nosorts_GM.xml 11768250 ∞ +0 1 +0 0.03/0.02 ∞ +0 n2 +2 1102.68/293.89
Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml 11768334 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 5.25/2.18
Transformed_CSR_04/OvConsOS_complete_GM.xml 11768279 ∞ +0 1 +0 0.06/0.03 ∞ +0 n1 +2 1062.05/293.75
Transformed_CSR_04/OvConsOS_complete_noand_GM.xml 11768272 ∞ +0 1 +0 0.09/0.04 ∞ +0 n1 +2 1146.79/292.28
Transformed_CSR_04/OvConsOS_nokinds_GM.xml 11768218 ∞ +0 1 +0 0.04/0.02 timeout (wallclock)
Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml 11768316 ∞ +0 1 +0 0.06/0.03 ∞ +0 n1 +2 1143.86/292.41
Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml 11768323 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 339.89/87.45
Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml 11768322 ∞ +0 1 +0 0.02/0.02 ∞ +0 NonPoly +2 35.46/11.84
Transformed_CSR_04/OvConsOS_nosorts_FR.xml 11768260 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 4.03/1.84
Transformed_CSR_04/OvConsOS_nosorts_GM.xml 11768329 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 5.02/2.64
Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml 11768335 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 115.67/35.35
Transformed_CSR_04/OvConsOS_nosorts_Z.xml 11768289 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 3.80/1.65
Transformed_CSR_04/PEANO_complete_GM.xml 11768290 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 1082.06/291.67
Transformed_CSR_04/PEANO_complete_noand_GM.xml 11768299 ∞ +0 1 +0 0.07/0.03 ∞ +0 n1 +2 1142.34/291.58
Transformed_CSR_04/PEANO_nokinds_GM.xml 11768243 ∞ +0 1 +0 0.02/0.01 timeout (wallclock)
Transformed_CSR_04/PEANO_nokinds_noand_GM.xml 11768274 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 1115.51/291.95
Transformed_CSR_04/PEANO_nosorts-noand_FR.xml 11768224 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 4.29/1.88
Transformed_CSR_04/PEANO_nosorts_FR.xml 11768269 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.36/1.66
Transformed_CSR_04/PEANO_nosorts_GM.xml 11768351 ∞ +0 1 +0 0.02/0.01 timeout (wallclock)
Transformed_CSR_04/PEANO_nosorts_noand_GM.xml 11768222 ∞ +0 1 +0 0.03/0.02 ∞ +0 n2 +2 1121.23/292.96
AG01/#3.1.xml 11768172 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 15.60/4.86
AG01/#3.10.xml 11768174 ∞ +0 1 +0 0.04/0.02 n4 +2 n1 +2 1118.15/291.64
AG01/#3.12.xml 11768161 ∞ +0 1 +0 0.00/0.01 n3 +2 n3 +2 11.88/3.75
AG01/#3.13.xml 11768146 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1076.67/291.61
AG01/#3.15.xml 11768159 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 18.95/7.29
AG01/#3.16.xml 11768166 ∞ +0 1 +0 0.00/0.01 n3 +2 n2 +2 322.83/291.54
AG01/#3.18.xml 11768165 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 36.23/10.10
AG01/#3.2.xml 11768151 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 18.85/5.62
AG01/#3.23.xml 11768162 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 15.12/6.27
AG01/#3.24.xml 11768163 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 4.44/1.86
AG01/#3.26.xml 11768149 ∞ +0 1 +0 0.01/0.01 timeout (wallclock)
AG01/#3.31.xml 11768152 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.32/1.53
AG01/#3.33.xml 11768175 ∞ +0 1 +0 0.01/0.01 1 +2 1 +0 3.32/1.51
AG01/#3.35.xml 11768171 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 13.61/4.45
AG01/#3.36.xml 11768154 ∞ +0 1 +0 0.01/0.02 ∞ +0 n1 +2 1049.56/291.61
AG01/#3.37.xml 11768144 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 4.20/1.76
AG01/#3.38.xml 11768150 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 6.57/2.34
AG01/#3.41.xml 11768178 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 16.86/5.11
AG01/#3.42.xml 11768145 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 23.27/6.87
AG01/#3.47.xml 11768168 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 36.21/5.44
AG01/#3.48.xml 11768176 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 321.92/291.54
AG01/#3.49.xml 11768169 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 904.51/291.49
AG01/#3.5.xml 11768153 ∞ +0 1 +0 0.03/0.02 n1 +2 n1 +2 27.76/9.35
AG01/#3.52.xml 11768157 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 14.83/4.90
AG01/#3.53.xml 11768148 ∞ +0 1 +0 0.02/0.01 n3 +2 n3 +2 25.13/7.41
AG01/#3.53b.xml 11768179 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 15.09/4.76
AG01/#3.55.xml 11768158 ∞ +0 1 +0 0.01/0.01 ∞ +0 n2 +2 1120.6/291.59
AG01/#3.5a.xml 11768147 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 21.99/6.46
AG01/#3.5b.xml 11768173 ∞ +0 1 +0 0.02/0.01 n3 +2 n1 +2 318.85/291.47
AG01/#3.6.xml 11768170 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 34.11/11.71
AG01/#3.6a.xml 11768164 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 35.52/14.81
AG01/#3.6b.xml 11768156 ∞ +0 1 +0 0.04/0.03 n3 +2 n1 +2 322.96/291.51
AG01/#3.7.xml 11768177 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 13.88/4.27
AG01/#3.8a.xml 11768160 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 24.61/7.12
AG01/#3.8b.xml 11768167 ∞ +0 1 +0 0.01/0.01 n3 +2 n1 +2 338.03/291.53
AG01/#4.30c.xml 11768155 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 79.47/22.27
Strategy_removed_AG01/#4.22.xml 11768194 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 12.72/4.14
Strategy_removed_AG01/#4.23.xml 11768190 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 404.09/291.49
Strategy_removed_AG01/#4.26.xml 11768181 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 321.84/291.50
Strategy_removed_AG01/#4.27.xml 11768185 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 319.90/291.52
Strategy_removed_AG01/#4.28.xml 11768180 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 17.74/5.41
Strategy_removed_AG01/#4.29.xml 11768186 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1107.32/291.52
Strategy_removed_AG01/#4.30.xml 11768183 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 36.03/13.92
Strategy_removed_AG01/#4.30a.xml 11768192 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 25.71/7.44
Strategy_removed_AG01/#4.30b.xml 11768184 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 35.02/10.44
Strategy_removed_AG01/#4.30c.xml 11768187 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 39.01/14.24
Strategy_removed_AG01/#4.32.xml 11768189 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 18.18/5.63
Strategy_removed_AG01/#4.33.xml 11768191 ∞ +0 1 +0 0.00/0.01 ∞ +0 n2 +2 1067.79/291.65
Strategy_removed_AG01/#4.34.xml 11768193 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 463.69/291.49
Strategy_removed_AG01/#4.36.xml 11768188 ∞ +0 1 +0 0.03/0.02 n3 +2 n2 +2 1104.13/291.96
Strategy_removed_AG01/#4.37.xml 11768182 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.43/1.57
Der95/06.xml 11768134 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 8.39/2.86
Der95/08.xml 11768135 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 14.76/4.60
Der95/11.xml 11768136 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 17.16/5.20
Der95/18.xml 11768137 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 12.55/4.36
Der95/21.xml 11768133 ∞ +0 1 +0 0.00/0.01 ∞ +0 n2 +2 653.74/291.47
Der95/27.xml 11768132 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 10.09/3.27
Der95/32.xml 11768138 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 334.22/291.53
TCT_12/polycounter-10.xml 11768141 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1148.48/291.69
TCT_12/polycounter-5.xml 11768143 ∞ +0 1 +0 0.03/0.02 n5 +2 n1 +2 1016.76/291.56
TCT_12/recursion-10.xml 11768142 ∞ +0 1 +0 0.02/0.01 n10 +2 n1 +2 689.67/291.58
TCT_12/recursion-5.xml 11768140 ∞ +0 1 +0 0.03/0.01 n5 +2 n1 +2 405.54/291.57
TCT_12/sat.xml 11768139 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 374.54/291.49
Strategy_removed_mixed_05/muladd.xml 11768550 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.29/1.54
Strategy_removed_mixed_05/test76.xml 11768549 ∞ +0 1 +0 0.01/0.02 n1 +2 n1 +2 14.06/4.89
Strategy_removed_mixed_05/test77.xml 11768548 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 15.40/5.07
Strategy_removed_mixed_05/test830.xml 11768547 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 3.42/1.54
Secret_07_TRS/aprove01.xml 11768555 ∞ +0 1 +0 0.04/0.02 timeout (wallclock)
Secret_07_TRS/aprove02.xml 11768554 ∞ +0 1 +0 0.02/0.02 n5 +2 n1 +2 1127.54/291.60
Secret_07_TRS/aprove03.xml 11768551 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 1150.11/292.85
Secret_07_TRS/aprove04.xml 11768552 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 1132.72/294.22
Secret_07_TRS/aprove05.xml 11768553 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 1100.79/292.15
Secret_07_TRS/aprove06.xml 11768556 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 1121.89/295.11
Secret_07_TRS/aprove07.xml 11768561 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 1098.79/291.58
Secret_07_TRS/aprove08.xml 11768557 ∞ +0 1 +0 0.04/0.02 n2 +2 n1 +2 1146.34/291.74
Secret_07_TRS/aprove09.xml 11768560 ∞ +0 1 +0 0.02/0.01 n3 +2 n1 +2 1138.05/291.56
Secret_07_TRS/aprove10.xml 11768559 ∞ +0 1 +0 0.03/0.02 n3 +2 n1 +2 944.24/291.55
Secret_07_TRS/secret3.xml 11768558 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 996.95/291.54
hoca/dfs-flatten.xml 11768487 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.90/1.64
hoca/fib_llist.xml 11768483 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 1109.87/291.58
hoca/flatten.xml 11768488 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 3.89/1.67
hoca/foldsum.xml 11768494 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 5.41/2.09
hoca/id.xml 11768485 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.48/1.63
hoca/isort-fold.xml 11768486 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 337.98/291.53
hoca/isort.xml 11768480 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 330.74/291.53
hoca/mappplus.xml 11768492 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 322.76/291.63
hoca/mergesort-dc.xml 11768489 ∞ +0 1 +0 0.02/0.02 ∞ +0 n1 +2 1111.72/291.7
hoca/mss.xml 11768490 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 926.84/291.61
hoca/rev-dl.xml 11768493 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 3.47/1.69
hoca/rev-fletf.xml 11768491 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 3.67/4.04
hoca/rev-foldl.xml 11768484 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.46/1.56
hoca/sum.xml 11768481 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.43/5.41
hoca/sum_sqs3.xml 11768482 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 800.73/291.80
Frederiksen_Glenstrup/ack.xml 11768511 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 1031.73/291.58
Frederiksen_Glenstrup/add.xml 11768514 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.47/1.60
Frederiksen_Glenstrup/addlists.xml 11768512 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.57/1.59
Frederiksen_Glenstrup/anchored.xml 11768538 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.60/1.65
Frederiksen_Glenstrup/append.xml 11768515 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 5.51/2.11
Frederiksen_Glenstrup/assrewrite.xml 11768540 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 362.10/291.58
Frederiksen_Glenstrup/badd.xml 11768530 ∞ +0 1 +0 0.01/0.02 ∞ +0 NonPoly +2 3.53/1.57
Frederiksen_Glenstrup/binom.xml 11768507 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.33/2.51
Frederiksen_Glenstrup/decrease.xml 11768527 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 3.77/1.75
Frederiksen_Glenstrup/deeprev_typed.xml 11768496 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 5.29/2.15
Frederiksen_Glenstrup/disjconj.xml 11768539 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 4.40/1.91
Frederiksen_Glenstrup/duplicate.xml 11768529 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 11.37/4.36
Frederiksen_Glenstrup/equal.xml 11768498 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.46/1.63
Frederiksen_Glenstrup/evenodd.xml 11768524 ∞ +0 1 +0 0.01/0.02 n1 +2 n1 +2 14.07/4.97
Frederiksen_Glenstrup/fold.xml 11768525 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 15.80/5.14
Frederiksen_Glenstrup/game.xml 11768502 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 3.82/1.66
Frederiksen_Glenstrup/gcd.xml 11768545 ∞ +0 1 +0 0.05/0.02 ∞ +0 n1 +2 1136.14/291.61
Frederiksen_Glenstrup/gcd2.xml 11768520 ∞ +0 1 +0 0.04/0.02 n3 +2 n1 +2 1115.92/298.89
Frederiksen_Glenstrup/increase.xml 11768503 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.32/1.64
Frederiksen_Glenstrup/int.xml 11768506 ∞ +0 1 +0 0.10/0.04 timeout (wallclock)
Frederiksen_Glenstrup/intlookup.xml 11768541 ∞ +0 1 +0 0.00/0.02 ∞ +0 NonPoly +2 3.31/1.55
Frederiksen_Glenstrup/lambdaint_typed.xml 11768544 ∞ +0 1 +0 0.04/0.02 ∞ +0 n1 +2 1144.81/292.01
Frederiksen_Glenstrup/letexp.xml 11768534 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.45/1.52
Frederiksen_Glenstrup/list.xml 11768518 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.55/1.57
Frederiksen_Glenstrup/lte.xml 11768526 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 14.43/4.52
Frederiksen_Glenstrup/map0.xml 11768523 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 17.33/5.33
Frederiksen_Glenstrup/member.xml 11768501 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 14.32/4.60
Frederiksen_Glenstrup/mergelists.xml 11768516 ∞ +0 1 +0 0.02/0.02 n1 +2 n1 +2 18.70/6.13
Frederiksen_Glenstrup/mergesort.xml 11768500 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1114.09/292.40
Frederiksen_Glenstrup/minsort.xml 11768528 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 1125.84/291.58
Frederiksen_Glenstrup/mul.xml 11768542 ∞ +0 1 +0 0.01/0.01 n3 +2 n3 +2 15.67/5.03
Frederiksen_Glenstrup/mul_better.xml 11768535 ∞ +0 1 +0 0.01/0.01 n3 +2 n3 +2 17.81/5.31
Frederiksen_Glenstrup/naiverev.xml 11768536 ∞ +0 1 +0 0.00/0.01 n2 +2 n2 +2 11.45/3.70
Frederiksen_Glenstrup/nestdec.xml 11768505 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 16.28/5.10
Frederiksen_Glenstrup/nesteql.xml 11768495 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.19/1.53
Frederiksen_Glenstrup/nestimeql.xml 11768532 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 3.88/2.61
Frederiksen_Glenstrup/nestinc.xml 11768522 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 3.82/2.14
Frederiksen_Glenstrup/ordered.xml 11768533 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 26.26/12.55
Frederiksen_Glenstrup/ordered_better.xml 11768519 ∞ +0 1 +0 0.01/0.01 n1 +2 1 +0 321.26/291.53
Frederiksen_Glenstrup/overlap.xml 11768543 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 326.74/291.52
Frederiksen_Glenstrup/parsexp.xml 11768531 ∞ +0 1 +0 0.04/0.02 ∞ +0 NonPoly +2 8.49/2.93
Frederiksen_Glenstrup/permute.xml 11768517 ∞ +0 1 +0 0.02/0.02 ∞ +0 NonPoly +2 6.83/2.57
Frederiksen_Glenstrup/power.xml 11768537 ∞ +0 1 +0 0.00/0.01 ∞ +0 n3 +2 763.98/291.76
Frederiksen_Glenstrup/quicksort.xml 11768504 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 1115.49/291.63
Frederiksen_Glenstrup/revapp.xml 11768508 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.45/1.56
Frederiksen_Glenstrup/select.xml 11768521 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 349.44/291.52
Frederiksen_Glenstrup/shuffle.xml 11768513 ∞ +0 1 +0 0.00/0.01 n3 +2 n3 +2 13.45/4.13
Frederiksen_Glenstrup/sp1.xml 11768499 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.51/1.54
Frederiksen_Glenstrup/subsets.xml 11768546 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 1135.19/291.50
Frederiksen_Glenstrup/thetrick.xml 11768509 ∞ +0 1 +0 0.05/0.03 ∞ +0 NonPoly +2 7.11/3.26
Frederiksen_Glenstrup/turing_typed.xml 11768510 ∞ +0 1 +0 0.05/0.02 ∞ +0 NonPoly +2 19.96/7.51
Frederiksen_Glenstrup/vangelder_typed.xml 11768497 ∞ +0 1 +0 0.05/0.02 ∞ +0 NonPoly +2 132.35/38.06
Zantema_05/z12.xml 11768462 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 1069.61/293.82
Zantema_05/z13.xml 11768464 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 1095.78/293.42
Zantema_05/z14.xml 11768465 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 980.43/293.68
Zantema_05/z15.xml 11768461 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 1097.37/292.00
Zantema_05/z16.xml 11768468 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 976.98/291.85
Zantema_05/z17.xml 11768466 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 1106.1/293.23
Zantema_05/z18.xml 11768467 ∞ +0 1 +0 0.01/0.01 timeout (wallclock)
Zantema_05/z23.xml 11768469 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 6.17/2.43
Zantema_05/z24.xml 11768470 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 1131.64/295.30
Zantema_05/z27.xml 11768463 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 715.29/291.53
AProVE_06/div_notCeTermin.xml 11768476 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 1139.24/291.70
AProVE_06/factorial1.xml 11768475 ∞ +0 1 +0 0.01/0.02 ∞ +0 n4 +2 1121.38/291.62
AProVE_06/factorial2.xml 11768474 ∞ +0 1 +0 0.03/0.02 ∞ +0 n3 +2 1122.82/291.75
AProVE_06/identity.xml 11768479 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 888.46/291.83
AProVE_06/logarithm.xml 11768472 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 1112.52/291.53
AProVE_06/quicksort.xml 11768471 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 1122.34/291.69
AProVE_06/sizeChange.xml 11768473 ∞ +0 1 +0 0.00/0.01 n2 +2 n1 +2 321.49/291.51
AProVE_06/tower.xml 11768478 ∞ +0 1 +0 0.01/0.01 ∞ +0 n3 +2 1129.92/291.72
AProVE_06/tower_sizeChange.xml 11768477 ∞ +0 1 +0 0.03/0.02 ∞ +0 n1 +2 1103.34/291.51
SK90/2.09.xml 11768433 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 3.37/1.55
SK90/2.11.xml 11768436 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.64/1.58
SK90/2.12.xml 11768385 ∞ +0 1 +0 0.01/0.01 n3 +2 n3 +2 23.17/6.79
SK90/2.13.xml 11768408 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 15.42/4.89
SK90/2.15.xml 11768386 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.45/1.62
SK90/2.16.xml 11768435 ∞ +0 1 +0 0.00/0.01 n2 +2 n2 +2 19.00/5.66
SK90/2.17.xml 11768428 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 17.83/5.33
SK90/2.18.xml 11768437 ∞ +0 1 +0 0.01/0.02 n2 +2 n1 +2 316.87/291.48
SK90/2.19.xml 11768427 ∞ +0 1 +0 0.01/0.01 n2 +2 n2 +2 31.99/12.11
SK90/2.20.xml 11768391 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 15.58/4.75
SK90/2.21.xml 11768403 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.38/1.58
SK90/2.22.xml 11768422 ∞ +0 1 +0 0.00/0.01 n2 +2 n1 +2 311.90/291.51
SK90/2.23.xml 11768441 ∞ +0 1 +0 0.00/0.01 ∞ +0 n3 +2 951.65/291.60
SK90/2.24.xml 11768440 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.31/1.52
SK90/2.25.xml 11768424 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.38/1.58
SK90/2.26.xml 11768401 ∞ +0 1 +0 0.03/0.02 ∞ +0 NonPoly +2 3.32/1.54
SK90/2.27.xml 11768392 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 900.95/291.51
SK90/2.28.xml 11768405 ∞ +0 1 +0 0.01/0.01 timeout (wallclock)
SK90/2.29.xml 11768388 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 14.47/4.39
SK90/2.30.xml 11768415 ∞ +0 1 +0 0.01/0.02 1 +2 1 +0 3.29/1.50
SK90/2.31.xml 11768396 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.51/1.68
SK90/2.36.xml 11768394 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 3.46/3.03
SK90/2.37.xml 11768416 ∞ +0 1 +0 0.01/0.01 1 +2 1 +0 3.20/1.50
SK90/2.39.xml 11768411 ∞ +0 1 +0 0.00/0.02 n2 +2 n2 +2 13.36/4.09
SK90/2.40.xml 11768431 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 15.68/5.24
SK90/2.41.xml 11768420 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.66/1.60
SK90/2.43.xml 11768397 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.35/1.52
SK90/2.44.xml 11768398 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 17.89/5.36
SK90/2.45.xml 11768412 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 16.20/4.89
SK90/2.47.xml 11768430 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.30/1.52
SK90/2.48.xml 11768421 ∞ +0 1 +0 0.01/0.01 1 +2 1 +0 3.36/1.53
SK90/2.50.xml 11768425 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 9.03/3.10
SK90/2.51.xml 11768438 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 958.68/291.49
SK90/2.52.xml 11768390 ∞ +0 1 +0 0.02/0.01 ∞ +0 n1 +2 1103.39/292.23
SK90/2.53.xml 11768404 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.35/1.55
SK90/2.54.xml 11768406 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 5.49/2.08
SK90/4.05.xml 11768387 ∞ +0 1 +0 0.00/0.01 n2 +2 n1 +2 414.03/291.52
SK90/4.12.xml 11768410 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.90/2.97
SK90/4.13.xml 11768399 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 24.31/13.06
SK90/4.16.xml 11768418 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.45/1.58
SK90/4.17.xml 11768434 ∞ +0 1 +0 0.00/0.01 n2 +2 n2 +2 31.02/8.65
SK90/4.18.xml 11768417 ∞ +0 1 +0 0.01/0.01 1 +2 1 +0 3.27/2.14
SK90/4.24.xml 11768419 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 1125.77/291.88
SK90/4.27.xml 11768413 ∞ +0 1 +0 0.01/0.01 ∞ +0 n1 +2 982.2/291.52
SK90/4.29.xml 11768414 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.67/1.65
SK90/4.30.xml 11768389 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 3.64/1.65
SK90/4.31.xml 11768407 ∞ +0 1 +0 0.00/0.01 ∞ +0 NonPoly +2 3.34/1.51
SK90/4.34.xml 11768439 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.60/1.61
SK90/4.35.xml 11768426 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.39/2.67
SK90/4.38.xml 11768402 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 3.28/1.62
SK90/4.42.xml 11768393 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 1118.11/291.71
SK90/4.47.xml 11768423 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.42/1.56
SK90/4.54.xml 11768395 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 6.52/2.47
SK90/4.57.xml 11768429 ∞ +0 1 +0 0.01/0.01 1 +2 1 +0 10.76/3.70
SK90/4.59.xml 11768432 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.43/1.63
SK90/4.60.xml 11768409 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 3.39/1.55
SK90/4.61.xml 11768400 ∞ +0 1 +0 0.02/0.01 ∞ +0 NonPoly +2 3.35/1.67
Rubio_04/bintrees.xml 11768443 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 3.87/1.69
Rubio_04/division.xml 11768455 ∞ +0 1 +0 0.01/0.01 n3 +2 n1 +2 314.31/291.51
Rubio_04/elimdupl.xml 11768456 ∞ +0 1 +0 0.02/0.01 n2 +2 n1 +2 320.63/291.50
Rubio_04/enno.xml 11768452 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 357.71/291.51
Rubio_04/gcd.xml 11768444 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 44.42/14.84
Rubio_04/gm.xml 11768448 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 19.63/5.85
Rubio_04/gmnp.xml 11768458 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 7.81/2.71
Rubio_04/logarquot.xml 11768450 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 19.51/5.99
Rubio_04/ma96.xml 11768445 ∞ +0 1 +0 0.03/0.02 timeout (wallclock)
Rubio_04/mfp95.xml 11768446 ∞ +0 1 +0 0.00/0.01 1 +2 1 +0 3.25/1.51
Rubio_04/nestrec.xml 11768451 ∞ +0 1 +0 0.01/0.01 ∞ +0 NonPoly +2 9.08/3.14
Rubio_04/polo2.xml 11768457 ∞ +0 1 +0 0.02/0.01 n1 +2 n1 +2 15.33/4.68
Rubio_04/prov.xml 11768447 ∞ +0 1 +0 0.01/0.02 n1 +2 n1 +2 16.79/5.51
Rubio_04/quick.xml 11768453 ∞ +0 1 +0 0.02/0.01 ∞ +0 n2 +2 1137.45/295.72
Rubio_04/revlist.xml 11768454 ∞ +0 1 +0 0.00/0.01 ∞ +0 n1 +2 1125.48/291.78
Rubio_04/selsort.xml 11768449 ∞ +0 1 +0 0.06/0.03 n3 +2 n2 +2 1110.11/291.74
Rubio_04/test4.xml 11768442 ∞ +0 1 +0 0.00/0.01 n1 +2 n1 +2 3.97/1.72
Rubio_04/test829.xml 11768459 ∞ +0 1 +0 0.01/0.01 n1 +2 n1 +2 3.40/1.54
Rubio_04/wst99.xml 11768460 ∞ +0 1 +0 0.01/0.01 n2 +2 n1 +2 334.89/291.53
0 1886