Termination Competition 2019: Runtime Complexity: TRS Innermost33566

Job info CSV
AProVE complexity
benchmark UPLOWTIME
Secret_05_TRS/tpa4.xml 5167241 ∞ +0 n2 +1 1110.55/291.72
Secret_05_TRS/tpa2.xml 5167242 n2 +1 n1 +1 369.66/291.66
Secret_05_TRS/aprove2.xml 5167243 n1 +1 n1 +1 40.46/12.81
Secret_05_TRS/aprove3.xml 5167244 ∞ +0 n1 +1 1004.68/291.57
Secret_05_TRS/tpa5.xml 5167245 ∞ +0 n1 +1 1154.26/293.19
Secret_05_TRS/tpa3.xml 5167246 ∞ +0 n2 +1 1138.77/291.63
Secret_05_TRS/tpa1.xml 5167247 n2 +1 n1 +1 1121.95/291.64
Secret_05_TRS/ttt2.xml 5167248 ∞ +0 NonPoly +1 3.37/1.60
Secret_05_TRS/cime4.xml 5167249 1 +1 1 +0 3.59/1.64
Rubio_04/division.xml 5167295 n3 +1 n1 +1 316.21/291.58
Rubio_04/gmnp.xml 5167296 n1 +1 n1 +1 9.39/3.15
Rubio_04/gm.xml 5167297 n1 +1 n1 +1 21.95/6.62
Rubio_04/selsort.xml 5167298 n3 +1 n2 +1 1118.72/292.44
Rubio_04/enno.xml 5167299 n2 +1 n1 +1 353.52/291.55
Rubio_04/prov.xml 5167300 n1 +1 n1 +1 12.14/4.72
Rubio_04/bintrees.xml 5167301 n1 +1 n1 +1 3.66/1.76
Rubio_04/nestrec.xml 5167302 ∞ +0 NonPoly +1 10.08/3.43
Rubio_04/ma96.xml 5167303 timeout (wallclock)
Rubio_04/logarquot.xml 5167304 n1 +1 n1 +1 21.08/6.27
Rubio_04/test829.xml 5167305 n1 +1 n1 +1 3.69/2.34
Rubio_04/elimdupl.xml 5167306 n2 +1 n1 +1 322.30/291.64
Rubio_04/polo2.xml 5167307 n1 +1 n1 +1 16.10/5.05
Rubio_04/mfp95.xml 5167308 1 +1 1 +0 3.21/1.64
Rubio_04/gcd.xml 5167309 n1 +1 n1 +1 30.72/8.80
Rubio_04/test4.xml 5167310 n1 +1 n1 +1 4.24/2.06
Rubio_04/revlist.xml 5167311 ∞ +0 n1 +1 1126.82/292.35
Rubio_04/quick.xml 5167312 ∞ +0 n2 +1 1117.86/291.63
Rubio_04/wst99.xml 5167313 n2 +1 n1 +1 357.78/291.61
Secret_07_TRS/aprove07.xml 5167328 ∞ +0 n1 +1 1107.31/291.60
Secret_07_TRS/secret3.xml 5167329 ∞ +0 n1 +1 991.80/291.71
Secret_07_TRS/aprove04.xml 5167330 ∞ +0 n1 +1 1130.64/291.65
Secret_07_TRS/aprove02.xml 5167331 n5 +1 n1 +1 1122.39/291.69
Secret_07_TRS/aprove10.xml 5167332 n3 +1 n1 +1 915.10/294.57
Secret_07_TRS/aprove08.xml 5167333 n2 +1 n1 +1 1149.88/292.06
Secret_07_TRS/aprove09.xml 5167334 n3 +1 n1 +1 1144.07/291.66
Secret_07_TRS/aprove01.xml 5167335 ∞ +0 n1 +1 1122.11/291.78
Secret_07_TRS/aprove06.xml 5167336 ∞ +0 n1 +1 1123.44/293.18
Secret_07_TRS/aprove03.xml 5167337 ∞ +0 n1 +1 1148.28/292.06
Secret_07_TRS/aprove05.xml 5167338 ∞ +0 n1 +1 1106.19/291.54
Secret_06_TRS/division.xml 5166842 n2 +1 n1 +1 1009.63/291.64
Secret_06_TRS/tpa10.xml 5166843 ∞ +0 n2 +1 1118.26/291.77
Secret_06_TRS/tpa07.xml 5166844 ∞ +0 n2 +1 1115.66/294.57
Secret_06_TRS/tpa04.xml 5166845 ∞ +0 n1 +1 1118.1/293.86
Secret_06_TRS/tpa09.xml 5166846 ∞ +0 n2 +1 1023.31/291.69
Secret_06_TRS/toList.xml 5166847 ∞ +0 n1 +1 1139.12/291.69
Secret_06_TRS/reverse.xml 5166848 timeout (wallclock)
Secret_06_TRS/tpa06.xml 5166849 n2 +1 n1 +1 1131.97/291.98
Secret_06_TRS/logarithm.xml 5166850 n2 +1 n1 +1 1113.98/291.80
Secret_06_TRS/double.xml 5166851 ∞ +0 n1 +1 1100.1/291.64
Secret_06_TRS/nrOfNodes.xml 5166852 ∞ +0 n2 +1 1113.84/291.66
Secret_06_TRS/tpa05.xml 5166853 timeout (wallclock)
Secret_06_TRS/sumList.xml 5166854 ∞ +0 n2 +1 1121.83/291.62
Secret_06_TRS/tpa08.xml 5166855 ∞ +0 n2 +1 1070.28/291.79
Secret_06_TRS/addList.xml 5166856 ∞ +0 n1 +1 1125.39/295.11
hoca/flatten.xml 5166942 n1 +1 n1 +1 3.70/2.10
hoca/id.xml 5166943 n1 +1 n1 +1 3.72/2.01
hoca/fib_llist.xml 5166944 ∞ +0 n1 +1 1116.43/291.67
hoca/sum.xml 5166945 n1 +1 n1 +1 3.44/2.61
hoca/mss.xml 5166946 ∞ +0 n1 +1 940.87/291.57
hoca/rev-dl.xml 5166947 n1 +1 n1 +1 3.56/1.65
hoca/mergesort-dc.xml 5166948 ∞ +0 n1 +1 1121.62/291.65
hoca/isort-fold.xml 5166949 n2 +1 n1 +1 332.49/291.52
hoca/sum_sqs3.xml 5166950 ∞ +0 n2 +1 796.38/291.56
hoca/foldsum.xml 5166951 n1 +1 n1 +1 4.47/2.05
hoca/isort.xml 5166952 n2 +1 n1 +1 334.77/291.61
hoca/dfs-flatten.xml 5166953 n1 +1 n1 +1 3.70/1.75
hoca/mappplus.xml 5166954 n2 +1 n1 +1 323.82/291.65
hoca/rev-fletf.xml 5166955 n1 +1 n1 +1 3.94/1.79
hoca/rev-foldl.xml 5166956 n1 +1 n1 +1 3.51/1.67
HirokawaMiddeldorp_04/t003.xml 5167250 ∞ +0 n1 +1 777.92/291.60
HirokawaMiddeldorp_04/t011.xml 5167251 n1 +1 n1 +1 3.49/1.72
HirokawaMiddeldorp_04/n006.xml 5167252 ∞ +0 NonPoly +1 3.21/1.55
HirokawaMiddeldorp_04/n005.xml 5167253 ∞ +0 NonPoly +1 3.39/2.42
HirokawaMiddeldorp_04/t004.xml 5167254 ∞ +0 NonPoly +1 7.56/2.69
HirokawaMiddeldorp_04/n007.xml 5167255 ∞ +0 NonPoly +1 3.12/1.52
HirokawaMiddeldorp_04/t013.xml 5167256 ∞ +0 n1 +1 1040.99/291.54
HirokawaMiddeldorp_04/t002.xml 5167257 n2 +1 n1 +1 318.49/291.61
HirokawaMiddeldorp_04/n002.xml 5167258 ∞ +0 NonPoly +1 3.25/1.68
HirokawaMiddeldorp_04/t001.xml 5167259 ∞ +0 n1 +1 841.36/291.68
HirokawaMiddeldorp_04/t014.xml 5167260 n1 +1 n1 +1 16.90/5.33
HirokawaMiddeldorp_04/n003.xml 5167261 ∞ +0 NonPoly +1 3.24/1.53
HirokawaMiddeldorp_04/n004.xml 5167262 ∞ +0 NonPoly +1 3.07/1.64
HirokawaMiddeldorp_04/t009.xml 5167263 ∞ +0 n1 +1 1149.91/291.65
raML/bft_mmult.raml.xml 5167444 ∞ +0 n1 +1 1103.32/291.66
raML/quicksort.raml.xml 5167445 n2 +1 n2 +1 223.56/58.29
raML/splitandsort.raml.xml 5167446 n3 +1 n1 +1 1174.37/299.21
raML/queue.raml.xml 5167447 ∞ +0 n1 +1 1113.25/296.23
raML/bfs.raml.xml 5167448 timeout (wallclock)
raML/appendAll.raml.xml 5167449 n1 +1 n1 +1 25.34/8.31
raML/minsort.raml.xml 5167450 n2 +1 n1 +1 361.57/291.67
raML/subtrees.raml.xml 5167451 n2 +1 n1 +1 311.45/291.55
raML/clevermmult.raml.xml 5167452 n2 +1 n1 +1 419.95/291.66
raML/longestCommonSubsequence.raml.xml 5167453 n2 +1 n1 +1 1122.52/292.66
raML/dyade.raml.xml 5167454 n2 +1 n1 +1 367.95/291.61
raML/insertionsort.raml.xml 5167455 n2 +1 n1 +1 1115.67/291.70
raML/rationalPotential.raml.xml 5167456 n1 +1 n1 +1 4.25/1.97
raML/flatten.raml.xml 5167457 n2 +1 n1 +1 368.33/291.69
raML/mergesort.raml.xml 5167458 ∞ +0 n1 +1 1047.4/291.83
raML/eratosthenes.raml.xml 5167459 n2 +1 n1 +1 1112.18/291.82
raML/duplicates.raml.xml 5167460 n2 +1 n1 +1 404.93/291.77
raML/matrix.raml.xml 5167461 ∞ +0 n1 +1 1136.18/295.28
raML/bitvectors.raml.xml 5167462 n5 +1 n1 +1 1152.25/293.69
raML/listsort.raml.xml 5167463 n2 +1 n1 +1 1147.71/291.85
Mixed_TRS/jones1.xml 5166927 n1 +1 n1 +1 3.38/1.62
Mixed_TRS/jones5.xml 5166928 timeout (wallclock)
Mixed_TRS/minsort.xml 5166929 ∞ +0 NonPoly +1 3.17/1.64
Mixed_TRS/while.xml 5166930 n2 +1 n1 +1 882.33/291.57
Mixed_TRS/jones4.xml 5166931 n1 +1 n1 +1 3.48/1.64
Mixed_TRS/gcdMinMax.xml 5166932 n2 +1 n1 +1 1122.24/291.62
Mixed_TRS/Ex1_Luc04b_GM.xml 5166933 ∞ +0 n1 +1 1084.69/291.64
Mixed_TRS/jones2.xml 5166934 n1 +1 n1 +1 19.91/5.94
Mixed_TRS/jones6.xml 5166935 n1 +1 n1 +1 3.52/1.67
Mixed_TRS/test1.xml 5166936 ∞ +0 n1 +1 364.64/291.53
Mixed_TRS/fossacs.xml 5166937 ∞ +0 n1 +1 1089.71/291.61
Mixed_TRS/gcd.xml 5166938 n2 +1 n1 +1 1131.56/291.63
Mixed_TRS/perfect.xml 5166939 n1 +1 n1 +1 26.03/7.55
Mixed_TRS/gcd_triple.xml 5166940 ∞ +0 n1 +1 1148.1/291.65
Mixed_TRS/perfect2.xml 5166941 ∞ +0 NonPoly +1 5.20/2.16
Transformed_CSR_04/OvConsOS_nosorts_GM.xml 5167097 ∞ +0 NonPoly +1 4.73/1.94
Transformed_CSR_04/MYNAT_complete_GM.xml 5167098 ∞ +0 NonPoly +1 12.65/4.12
Transformed_CSR_04/ExIntrod_GM04_GM.xml 5167099 ∞ +0 n1 +1 1066.09/291.65
Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml 5167100 n1 +1 n1 +1 4.24/1.81
Transformed_CSR_04/Ex1_Zan97_FR.xml 5167101 ∞ +0 NonPoly +1 3.53/1.75
Transformed_CSR_04/Ex2_Luc02a_Z.xml 5167102 n3 +1 n3 +1 45.78/13.30
Transformed_CSR_04/Ex24_Luc06_GM.xml 5167103 n1 +1 n1 +1 13.57/4.29
Transformed_CSR_04/Ex4_7_15_Bor03_L.xml 5167104 1 +1 1 +0 3.28/1.59
Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml 5167105 ∞ +0 NonPoly +1 8.63/3.02
Transformed_CSR_04/ExProp7_Luc06_GM.xml 5167106 timeout (wallclock)
Transformed_CSR_04/Ex1_Luc02b_GM.xml 5167107 ∞ +0 n1 +1 1123.99/291.56
Transformed_CSR_04/ExAppendixB_AEL03_Z.xml 5167108 n2 +1 n2 +1 17.75/5.49
Transformed_CSR_04/Ex3_12_Luc96a_GM.xml 5167109 ∞ +0 n1 +1 1121.58/291.65
Transformed_CSR_04/PEANO_nosorts-noand_FR.xml 5167110 n1 +1 n1 +1 4.37/1.89
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml 5167111 ∞ +0 NonPoly +1 4.20/1.80
Transformed_CSR_04/Ex9_Luc04_L.xml 5167112 ∞ +0 NonPoly +1 3.31/1.58
Transformed_CSR_04/Ex15_Luc06_FR.xml 5167113 n1 +1 n1 +1 12.46/4.16
Transformed_CSR_04/Ex6_9_Luc02c_FR.xml 5167114 n2 +1 n1 +1 353.58/291.53
Transformed_CSR_04/Ex9_BLR02_GM.xml 5167115 ∞ +0 n1 +1 1123.91/291.59
Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml 5167116 1 +1 1 +0 3.25/1.65
Transformed_CSR_04/PEANO_nosorts_FR.xml 5167117 n1 +1 n1 +1 3.37/1.57
Transformed_CSR_04/Ex15_Luc98_GM.xml 5167118 n1 +1 n1 +1 18.81/6.14
Transformed_CSR_04/MYNAT_nosorts_FR.xml 5167119 n2 +1 n2 +1 14.24/4.69
Transformed_CSR_04/Ex8_BLR02_GM.xml 5167120 ∞ +0 n2 +1 1119.6/291.57
Transformed_CSR_04/Ex7_BLR02_Z.xml 5167121 n2 +1 n1 +1 331.82/291.65
Transformed_CSR_04/OvConsOS_nosorts_FR.xml 5167122 ∞ +0 NonPoly +1 4.08/1.77
Transformed_CSR_04/ExAppendixB_AEL03_GM.xml 5167123 ∞ +0 n1 +1 1152.84/295.09
Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml 5167124 ∞ +0 n1 +1 1127.42/291.57
Transformed_CSR_04/Ex24_Luc06_L.xml 5167125 ∞ +0 NonPoly +1 3.10/1.66
Transformed_CSR_04/ExConc_Zan97_Z.xml 5167126 ∞ +0 NonPoly +1 3.39/1.66
Transformed_CSR_04/OvConsOS_complete_noand_GM.xml 5167127 ∞ +0 n1 +1 1150.0/292.75
Transformed_CSR_04/Ex3_3_25_Bor03_L.xml 5167128 1 +1 1 +0 3.56/1.70
Transformed_CSR_04/Ex1_GM03_GM.xml 5167129 ∞ +0 n2 +1 1114.2/292.05
Transformed_CSR_04/Ex1_GL02a_L.xml 5167130 ∞ +0 NonPoly +1 3.20/2.38
Transformed_CSR_04/Ex6_9_Luc02c_GM.xml 5167131 ∞ +0 n1 +1 1136.08/297.77
Transformed_CSR_04/Ex3_12_Luc96a_Z.xml 5167132 n1 +1 n1 +1 20.37/9.53
Transformed_CSR_04/PEANO_complete_noand_GM.xml 5167133 ∞ +0 n1 +1 1149.02/292.56
Transformed_CSR_04/Ex15_Luc06_L.xml 5167134 ∞ +0 NonPoly +1 3.26/1.90
Transformed_CSR_04/Ex2_Luc02a_L.xml 5167135 n3 +1 n3 +1 37.49/10.98
Transformed_CSR_04/Ex5_7_Luc97_GM.xml 5167136 ∞ +0 n1 +1 1148.53/293.55
Transformed_CSR_04/ExIntrod_GM04_Z.xml 5167137 ∞ +0 NonPoly +1 7.30/2.59
Transformed_CSR_04/Ex6_Luc98_L.xml 5167138 1 +1 1 +0 3.32/1.54
Transformed_CSR_04/OvConsOS_nokinds_GM.xml 5167139 timeout (wallclock)
Transformed_CSR_04/Ex1_GL02a_GM.xml 5167140 n1 +1 n1 +1 14.81/4.75
Transformed_CSR_04/Ex14_AEGL02_L.xml 5167141 ∞ +0 NonPoly +1 3.37/1.53
Transformed_CSR_04/ExIntrod_GM01_Z.xml 5167142 ∞ +0 NonPoly +1 4.29/2.41
Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml 5167143 ∞ +0 n1 +1 1137.71/296.65
Transformed_CSR_04/Ex2_Luc02a_GM.xml 5167144 timeout (wallclock)
Transformed_CSR_04/Ex4_4_Luc96b_L.xml 5167145 n1 +1 n1 +1 8.75/3.10
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml 5167146 n1 +1 n1 +1 806.43/291.69
Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml 5167147 1 +1 1 +0 3.37/1.90
Transformed_CSR_04/MYNAT_nokinds_GM.xml 5167148 ∞ +0 NonPoly +1 5.46/2.17
Transformed_CSR_04/Ex1_GM99_GM.xml 5167149 ∞ +0 n1 +1 909.15/291.57
Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml 5167150 ∞ +0 NonPoly +1 5.05/2.08
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml 5167151 ∞ +0 n1 +1 1148.07/293.10
Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml 5167152 ∞ +0 n1 +1 1124.3/291.62
Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml 5167153 ∞ +0 n1 +1 1097.16/292.33
Transformed_CSR_04/Ex1_Luc04b_GM.xml 5167154 timeout (wallclock)
Transformed_CSR_04/Ex3_2_Luc97_GM.xml 5167155 ∞ +0 n1 +1 1137.53/293.51
Transformed_CSR_04/Ex4_4_Luc96b_GM.xml 5167156 ∞ +0 n1 +1 1076.33/291.72
Transformed_CSR_04/Ex4_4_Luc96b_Z.xml 5167157 ∞ +0 NonPoly +1 3.61/1.68
Transformed_CSR_04/Ex2_Luc03b_GM.xml 5167158 ∞ +0 n1 +1 1137.75/291.60
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml 5167159 ∞ +0 NonPoly +1 3.33/1.65
Transformed_CSR_04/Ex1_Luc04b_Z.xml 5167160 ∞ +0 NonPoly +1 3.25/1.60
Transformed_CSR_04/Ex9_BLR02_L.xml 5167161 1 +1 1 +0 3.16/4.24
Transformed_CSR_04/Ex15_Luc06_GM.xml 5167162 n1 +1 n1 +1 12.57/4.35
Transformed_CSR_04/Ex15_Luc06_Z.xml 5167163 1 +1 1 +0 3.29/1.66
Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml 5167164 ∞ +0 n1 +1 1036.99/291.64
Transformed_CSR_04/Ex9_BLR02_Z.xml 5167165 ∞ +0 n1 +1 1061.21/292.44
Transformed_CSR_04/Ex14_AEGL02_GM.xml 5167166 ∞ +0 n1 +1 1053.48/291.76
Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml 5167167 ∞ +0 NonPoly +1 111.35/30.98
Transformed_CSR_04/Ex6_9_Luc02c_Z.xml 5167168 1 +1 1 +0 3.23/1.57
Transformed_CSR_04/Ex16_Luc06_L.xml 5167169 ∞ +0 NonPoly +1 3.32/1.63
Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml 5167170 n2 +1 n2 +1 24.10/8.74
Transformed_CSR_04/Ex1_Luc02b_Z.xml 5167171 n2 +1 n1 +1 334.12/291.59
Transformed_CSR_04/ExProp7_Luc06_Z.xml 5167172 1 +1 1 +0 3.28/1.63
Transformed_CSR_04/Ex1_Zan97_GM.xml 5167173 1 +1 1 +0 3.35/1.88
Transformed_CSR_04/Ex5_DLMMU04_GM.xml 5167174 ∞ +0 n1 +1 1142.29/293.74
Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml 5167175 ∞ +0 NonPoly +1 36.85/10.30
Transformed_CSR_04/ExIntrod_GM01_FR.xml 5167176 ∞ +0 NonPoly +1 5.63/2.27
Transformed_CSR_04/PEANO_nosorts_GM.xml 5167177 ∞ +0 n2 +1 1131.88/293.81
Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml 5167178 n1 +1 n1 +1 13.48/4.61
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml 5167179 ∞ +0 NonPoly +1 3.95/1.82
Transformed_CSR_04/MYNAT_nosorts_GM.xml 5167180 ∞ +0 n2 +1 1099.71/292.23
Transformed_CSR_04/ExIntrod_GM01_GM.xml 5167181 ∞ +0 n1 +1 1081.24/291.59
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml 5167182 ∞ +0 n1 +1 1172.8/298.67
Transformed_CSR_04/ExConc_Zan97_GM.xml 5167183 n1 +1 n1 +1 5.03/2.07
Transformed_CSR_04/PEANO_nosorts_noand_GM.xml 5167184 ∞ +0 n2 +1 1118.9/291.61
Transformed_CSR_04/ExIntrod_Zan97_GM.xml 5167185 ∞ +0 n1 +1 1137.93/291.66
Transformed_CSR_04/Ex8_BLR02_FR.xml 5167186 ∞ +0 n1 +1 1153.99/294.31
Transformed_CSR_04/Ex23_Luc06_GM.xml 5167187 n1 +1 n1 +1 9.36/3.15
Transformed_CSR_04/OvConsOS_complete_GM.xml 5167188 ∞ +0 n1 +1 1061.33/294.57
Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml 5167189 timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml 5167190 ∞ +0 n1 +1 1169.61/296.88
Transformed_CSR_04/Ex14_AEGL02_Z.xml 5167191 ∞ +0 NonPoly +1 3.78/2.25
Transformed_CSR_04/ExIntrod_GM99_GM.xml 5167192 ∞ +0 n1 +1 1124.85/292.83
Transformed_CSR_04/PEANO_nokinds_GM.xml 5167193 ∞ +0 n1 +1 1121.28/293.21
Transformed_CSR_04/Ex1_GM99_L.xml 5167194 ∞ +0 NonPoly +1 3.21/1.59
Transformed_CSR_04/Ex4_Zan97_FR.xml 5167195 ∞ +0 n1 +1 1060.94/291.59
Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml 5167196 ∞ +0 n1 +1 1159.09/295.92
Transformed_CSR_04/Ex6_GM04_GM.xml 5167197 1 +1 1 +0 3.34/1.58
Transformed_CSR_04/Ex6_Luc98_GM.xml 5167198 timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_complete_GM.xml 5167199 ∞ +0 n1 +1 1139.53/296.79
Transformed_CSR_04/Ex1_2_Luc02c_GM.xml 5167200 ∞ +0 n1 +1 1104.9/291.73
Transformed_CSR_04/Ex26_Luc03b_GM.xml 5167201 ∞ +0 n1 +1 1134.03/292.35
Transformed_CSR_04/Ex6_Luc98_Z.xml 5167202 n1 +1 n1 +1 10.66/4.03
Transformed_CSR_04/Ex9_Luc04_GM.xml 5167203 ∞ +0 n1 +1 1124.51/291.62
Transformed_CSR_04/PEANO_nokinds_noand_GM.xml 5167204 ∞ +0 n1 +1 1133.54/295.12
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml 5167205 ∞ +0 NonPoly +1 10.18/3.45
Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml 5167206 ∞ +0 n1 +1 1133.4/291.88
Transformed_CSR_04/ExProp7_Luc06_L.xml 5167207 1 +1 1 +0 3.29/1.67
Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml 5167208 n1 +1 n1 +1 14.44/4.57
Transformed_CSR_04/Ex1_2_AEL03_GM.xml 5167209 ∞ +0 n1 +1 1144.7/291.66
Transformed_CSR_04/Ex1_Zan97_L.xml 5167210 ∞ +0 NonPoly +1 3.18/1.58
Transformed_CSR_04/PEANO_complete_GM.xml 5167211 ∞ +0 n1 +1 1077.52/292.59
Transformed_CSR_04/Ex5_Zan97_Z.xml 5167212 1 +1 1 +0 3.33/1.62
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml 5167213 timeout (wallclock)
Transformed_CSR_04/OvConsOS_nosorts_Z.xml 5167214 ∞ +0 NonPoly +1 3.80/1.71
Transformed_CSR_04/Ex6_GM04_FR.xml 5167215 ∞ +0 NonPoly +1 3.51/1.72
Transformed_CSR_04/Ex18_Luc06_GM.xml 5167216 n1 +1 n1 +1 8.34/3.42
Transformed_CSR_04/Ex4_Zan97_Z.xml 5167217 ∞ +0 n1 +1 684.16/291.56
Transformed_CSR_04/Ex49_GM04_GM.xml 5167218 ∞ +0 n1 +1 1123.7/292.86
Transformed_CSR_04/Ex1_Luc04b_FR.xml 5167219 ∞ +0 NonPoly +1 3.79/1.76
Transformed_CSR_04/Ex8_BLR02_Z.xml 5167220 ∞ +0 n1 +1 530.03/291.51
Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml 5167221 n1 +1 n1 +1 4.14/1.85
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml 5167222 ∞ +0 n1 +1 1165.71/296.81
Transformed_CSR_04/Ex5_Zan97_GM.xml 5167223 ∞ +0 n1 +1 1122.37/291.64
Transformed_CSR_04/Ex25_Luc06_GM.xml 5167224 n1 +1 n1 +1 8.98/3.08
Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml 5167225 timeout (wallclock)
Transformed_CSR_04/Ex14_AEGL02_FR.xml 5167226 ∞ +0 NonPoly +1 10.09/3.29
Transformed_CSR_04/Ex7_BLR02_GM.xml 5167227 timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml 5167228 ∞ +0 n1 +1 1157.28/295.62
Transformed_CSR_04/Ex2_Luc03b_L.xml 5167229 1 +1 1 +0 3.31/1.60
Transformed_CSR_04/Ex2_Luc03b_Z.xml 5167230 n1 +1 n1 +1 15.12/4.84
Transformed_CSR_04/MYNAT_complete_noand_GM.xml 5167231 ∞ +0 NonPoly +1 63.88/17.26
Transformed_CSR_04/Ex6_15_AEL02_GM.xml 5167232 ∞ +0 n1 +1 1143.31/292.64
Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml 5167233 ∞ +0 NonPoly +1 352.53/91.47
Transformed_CSR_04/ExConc_Zan97_FR.xml 5167234 n1 +1 n1 +1 7.70/2.74
Transformed_CSR_04/Ex4_DLMMU04_GM.xml 5167235 ∞ +0 n1 +1 1153.02/299.15
Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml 5167236 n1 +1 n1 +1 18.10/8.59
Transformed_CSR_04/ExIntrod_GM04_FR.xml 5167237 ∞ +0 NonPoly +1 17.74/5.43
Transformed_CSR_04/Ex4_Zan97_GM.xml 5167238 ∞ +0 n1 +1 1115.29/291.60
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml 5167239 ∞ +0 n1 +1 1113.03/294.81
Transformed_CSR_04/Ex26_Luc03b_L.xml 5167240 1 +1 1 +0 3.26/1.57
TCT_12/recursion-10.xml 5166990 n10 +1 n1 +1 676.62/291.70
TCT_12/polycounter-10.xml 5166991 ∞ +0 n1 +1 1166.43/295.88
TCT_12/recursion-5.xml 5166992 n5 +1 n1 +1 398.71/291.58
TCT_12/polycounter-5.xml 5166993 n5 +1 n1 +1 1014.48/291.57
TCT_12/sat.xml 5166994 n2 +1 n1 +1 380.53/291.71
Waldmann_06/jwno4.xml 5167464 ∞ +0 n1 +1 307.17/291.59
Waldmann_06/jwmatchb2.xml 5167465 n1 +1 n1 +1 3.45/2.02
Waldmann_06/jwno6.xml 5167466 ∞ +0 n1 +1 307.22/291.59
Waldmann_06/jwmatchb1.xml 5167467 n1 +1 n1 +1 3.41/1.61
Waldmann_06/jwno1.xml 5167468 ∞ +0 n1 +1 607.00/291.50
Various_04/11.xml 5166923 1 +1 1 +0 3.33/1.68
Various_04/24.xml 5166924 n1 +1 n1 +1 4.12/1.72
Various_04/15.xml 5166925 n1 +1 n1 +1 5.59/2.15
Various_04/22.xml 5166926 n1 +1 n1 +1 20.18/6.62
Strategy_removed_AG01/#4.27.xml 5167273 n2 +1 n1 +1 320.86/291.63
Strategy_removed_AG01/#4.22.xml 5167274 n1 +1 n1 +1 14.11/4.63
Strategy_removed_AG01/#4.36.xml 5167275 n3 +1 n2 +1 1111.45/291.87
Strategy_removed_AG01/#4.37.xml 5167276 n1 +1 n1 +1 13.12/4.38
Strategy_removed_AG01/#4.30b.xml 5167277 n1 +1 n1 +1 38.70/11.65
Strategy_removed_AG01/#4.33.xml 5167278 ∞ +0 n2 +1 1072.2/291.64
Strategy_removed_AG01/#4.26.xml 5167279 n2 +1 n1 +1 320.33/291.59
Strategy_removed_AG01/#4.23.xml 5167280 n2 +1 n1 +1 431.05/291.60
Strategy_removed_AG01/#4.32.xml 5167281 n1 +1 n1 +1 15.98/5.00
Strategy_removed_AG01/#4.28.xml 5167282 n1 +1 n1 +1 14.42/4.57
Strategy_removed_AG01/#4.30a.xml 5167283 n1 +1 n1 +1 25.56/9.31
Strategy_removed_AG01/#4.30.xml 5167284 n1 +1 n1 +1 31.61/10.63
Strategy_removed_AG01/#4.29.xml 5167285 ∞ +0 n1 +1 1114.44/291.65
Strategy_removed_AG01/#4.34.xml 5167286 n2 +1 n1 +1 464.21/291.59
Strategy_removed_AG01/#4.30c.xml 5167287 n1 +1 n1 +1 36.17/11.31
SK90/4.12.xml 5166857 n1 +1 n1 +1 3.72/1.68
SK90/2.45.xml 5166858 n1 +1 n1 +1 17.49/5.25
SK90/2.15.xml 5166859 ∞ +0 NonPoly +1 3.25/1.60
SK90/2.40.xml 5166860 n1 +1 n1 +1 14.53/4.60
SK90/2.47.xml 5166861 n1 +1 n1 +1 6.70/2.55
SK90/2.22.xml 5166862 n2 +1 n1 +1 313.12/291.59
SK90/2.27.xml 5166863 ∞ +0 n1 +1 905.00/291.59
SK90/4.57.xml 5166864 1 +1 1 +0 10.66/3.80
SK90/4.60.xml 5166865 ∞ +0 NonPoly +1 3.03/1.75
SK90/2.31.xml 5166866 n1 +1 n1 +1 7.23/1.65
SK90/2.52.xml 5166867 ∞ +0 n1 +1 1110.42/291.94
SK90/4.13.xml 5166868 n1 +1 n1 +1 22.84/9.13
SK90/2.25.xml 5166869 ∞ +0 NonPoly +1 3.27/1.52
SK90/2.12.xml 5166870 n3 +1 n3 +1 28.86/10.72
SK90/4.54.xml 5166871 ∞ +0 NonPoly +1 3.29/1.56
SK90/2.50.xml 5166872 n1 +1 n1 +1 6.91/2.54
SK90/4.34.xml 5166873 ∞ +0 NonPoly +1 3.37/1.60
SK90/4.47.xml 5166874 1 +1 1 +0 3.45/1.69
SK90/2.09.xml 5166875 n1 +1 n1 +1 3.53/1.62
SK90/2.17.xml 5166876 n1 +1 n1 +1 19.69/5.80
SK90/4.30.xml 5166877 n1 +1 n1 +1 3.36/1.66
SK90/2.39.xml 5166878 n2 +1 n2 +1 11.66/3.75
SK90/2.29.xml 5166879 n1 +1 n1 +1 15.36/4.76
SK90/4.27.xml 5166880 ∞ +0 n1 +1 971.26/291.52
SK90/4.61.xml 5166881 ∞ +0 NonPoly +1 3.24/1.60
SK90/4.29.xml 5166882 n1 +1 n1 +1 3.57/1.65
SK90/2.37.xml 5166883 1 +1 1 +0 3.11/1.53
SK90/2.54.xml 5166884 n1 +1 n1 +1 6.09/2.35
SK90/4.16.xml 5166885 n1 +1 n1 +1 3.44/1.67
SK90/4.31.xml 5166886 ∞ +0 NonPoly +1 3.44/1.64
SK90/2.13.xml 5166887 n1 +1 n1 +1 15.13/6.92
SK90/4.18.xml 5166888 1 +1 1 +0 3.37/1.61
SK90/2.20.xml 5166889 n1 +1 n1 +1 24.57/7.79
SK90/4.05.xml 5166890 n2 +1 n1 +1 352.55/291.94
SK90/2.44.xml 5166891 n1 +1 n1 +1 14.54/4.70
SK90/2.43.xml 5166892 ∞ +0 NonPoly +1 3.30/1.62
SK90/2.48.xml 5166893 1 +1 1 +0 3.27/1.61
SK90/4.17.xml 5166894 n2 +1 n2 +1 25.79/7.54
SK90/2.24.xml 5166895 ∞ +0 NonPoly +1 3.47/1.63
SK90/2.16.xml 5166896 n2 +1 n2 +1 26.87/8.93
SK90/2.41.xml 5166897 n1 +1 n1 +1 3.33/1.63
SK90/2.51.xml 5166898 ∞ +0 n1 +1 945.52/291.58
SK90/4.24.xml 5166899 ∞ +0 n1 +1 1127.98/291.76
SK90/2.28.xml 5166900 timeout (wallclock)
SK90/2.23.xml 5166901 ∞ +0 n3 +1 946.95/291.48
SK90/4.38.xml 5166902 n1 +1 n1 +1 3.48/1.59
SK90/4.42.xml 5166903 ∞ +0 n1 +1 1132.88/291.58
SK90/2.53.xml 5166904 n1 +1 n1 +1 3.16/1.57
SK90/2.21.xml 5166905 ∞ +0 NonPoly +1 3.34/1.64
SK90/2.19.xml 5166906 n2 +1 n2 +1 23.95/7.02
SK90/2.11.xml 5166907 n1 +1 n1 +1 3.37/1.65
SK90/2.26.xml 5166908 ∞ +0 NonPoly +1 3.22/1.63
SK90/2.30.xml 5166909 1 +1 1 +0 3.16/1.57
SK90/2.36.xml 5166910 n1 +1 n1 +1 3.63/1.65
SK90/2.18.xml 5166911 n2 +1 n1 +1 314.95/291.54
SK90/4.35.xml 5166912 1 +1 1 +0 3.36/1.64
SK90/4.59.xml 5166913 ∞ +0 NonPoly +1 3.27/1.81
Strategy_removed_mixed_05/test77.xml 5167324 n1 +1 n1 +1 15.54/5.15
Strategy_removed_mixed_05/muladd.xml 5167325 ∞ +0 NonPoly +1 3.27/1.70
Strategy_removed_mixed_05/test830.xml 5167326 n1 +1 n1 +1 17.03/5.42
Strategy_removed_mixed_05/test76.xml 5167327 n1 +1 n1 +1 16.31/4.91
Strategy_removed_CSR_05/Ex8_BLR02.xml 5166957 ∞ +0 NonPoly +1 3.23/1.57
Strategy_removed_CSR_05/Ex4_4_Luc96b.xml 5166958 ∞ +0 NonPoly +1 3.21/2.24
Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml 5166959 ∞ +0 NonPoly +1 3.37/1.57
Strategy_removed_CSR_05/Ex6_GM04.xml 5166960 ∞ +0 NonPoly +1 3.30/1.72
Strategy_removed_CSR_05/Ex6_9_Luc02c.xml 5166961 ∞ +0 NonPoly +1 3.31/1.63
Strategy_removed_CSR_05/Ex1_Zan97.xml 5166962 ∞ +0 NonPoly +1 3.43/1.61
Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml 5166963 ∞ +0 NonPoly +1 3.26/1.58
Strategy_removed_CSR_05/Ex1_GM03.xml 5166964 ∞ +0 NonPoly +1 3.27/1.62
Strategy_removed_CSR_05/Ex7_BLR02.xml 5166965 ∞ +0 NonPoly +1 3.08/1.56
Strategy_removed_CSR_05/ExIntrod_GM99.xml 5166966 ∞ +0 NonPoly +1 3.45/1.67
Strategy_removed_CSR_05/ExAppendixB_AEL03.xml 5166967 ∞ +0 NonPoly +1 3.20/1.62
Strategy_removed_CSR_05/Ex3_2_Luc97.xml 5166968 ∞ +0 NonPoly +1 3.26/2.60
Strategy_removed_CSR_05/Ex15_Luc98.xml 5166969 ∞ +0 NonPoly +1 3.08/1.59
Strategy_removed_CSR_05/Ex4_Zan97.xml 5166970 ∞ +0 NonPoly +1 3.41/1.64
Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml 5166971 ∞ +0 NonPoly +1 3.22/1.57
Strategy_removed_CSR_05/Ex14_AEGL02.xml 5166972 ∞ +0 NonPoly +1 3.21/1.58
Strategy_removed_CSR_05/Ex49_GM04.xml 5166973 n1 +1 n1 +1 16.05/5.21
Strategy_removed_CSR_05/Ex6_Luc98.xml 5166974 ∞ +0 NonPoly +1 3.45/1.68
Strategy_removed_CSR_05/ExConc_Zan97.xml 5166975 ∞ +0 NonPoly +1 3.22/1.53
Strategy_removed_CSR_05/ExIntrod_GM01.xml 5166976 ∞ +0 NonPoly +1 3.21/1.56
Strategy_removed_CSR_05/ExIntrod_GM04.xml 5166977 ∞ +0 NonPoly +1 3.21/1.58
Strategy_removed_CSR_05/Ex3_12_Luc96a.xml 5166978 ∞ +0 NonPoly +1 3.48/1.72
Strategy_removed_CSR_05/Ex2_Luc03b.xml 5166979 ∞ +0 NonPoly +1 3.11/1.69
Strategy_removed_CSR_05/Ex1_GL02a.xml 5166980 ∞ +0 NonPoly +1 3.13/1.56
Strategy_removed_CSR_05/Ex26_Luc03b.xml 5166981 ∞ +0 NonPoly +1 3.29/1.61
Strategy_removed_CSR_05/Ex9_BLR02.xml 5166982 ∞ +0 NonPoly +1 3.32/1.83
Strategy_removed_CSR_05/Ex5_Zan97.xml 5166983 ∞ +0 NonPoly +1 3.34/1.65
Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml 5166984 ∞ +0 NonPoly +1 3.31/1.53
Strategy_removed_CSR_05/Ex1_Luc02b.xml 5166985 ∞ +0 NonPoly +1 3.30/2.53
Strategy_removed_CSR_05/Ex1_2_Luc02c.xml 5166986 ∞ +0 NonPoly +1 3.17/1.61
Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml 5166987 ∞ +0 NonPoly +1 3.18/1.58
Strategy_removed_CSR_05/ExIntrod_Zan97.xml 5166988 ∞ +0 NonPoly +1 3.55/1.71
Strategy_removed_CSR_05/Ex1_2_AEL03.xml 5166989 ∞ +0 NonPoly +1 3.26/1.66
Zantema_05/z16.xml 5167314 ∞ +0 n1 +1 952.21/291.84
Zantema_05/z13.xml 5167315 ∞ +0 n1 +1 1103.43/293.83
Zantema_05/z17.xml 5167316 ∞ +0 n1 +1 1079.77/292.39
Zantema_05/z27.xml 5167317 ∞ +0 n1 +1 644.84/291.57
Zantema_05/z23.xml 5167318 n1 +1 n1 +1 5.53/2.24
Zantema_05/z12.xml 5167319 ∞ +0 n1 +1 1073.06/291.71
Zantema_05/z15.xml 5167320 ∞ +0 n1 +1 1102.55/291.58
Zantema_05/z14.xml 5167321 ∞ +0 n1 +1 1023.32/291.59
Zantema_05/z24.xml 5167322 ∞ +0 n1 +1 1119.24/292.24
Zantema_05/z18.xml 5167323 ∞ +0 n1 +1 1088.43/292.12
AProVE_06/tower.xml 5166914 ∞ +0 n3 +1 1132.3/291.72
AProVE_06/tower_sizeChange.xml 5166915 ∞ +0 n1 +1 1104.25/291.56
AProVE_06/identity.xml 5166916 ∞ +0 n1 +1 887.95/291.61
AProVE_06/logarithm.xml 5166917 n2 +1 n1 +1 1115.8/291.70
AProVE_06/factorial1.xml 5166918 ∞ +0 n4 +1 1122.83/291.59
AProVE_06/factorial2.xml 5166919 ∞ +0 n3 +1 1127.16/291.59
AProVE_06/div_notCeTermin.xml 5166920 n2 +1 n1 +1 1150.59/291.60
AProVE_06/quicksort.xml 5166921 ∞ +0 n2 +1 1125.71/291.69
AProVE_06/sizeChange.xml 5166922 n2 +1 n1 +1 325.59/291.51
AProVE_04/IJCAR_1.xml 5167081 n1 +1 n1 +1 14.59/4.82
AProVE_04/AAECC-ring.xml 5167082 ∞ +0 n1 +1 1098.98/291.89
AProVE_04/AAECC.xml 5167083 n2 +1 n1 +1 1150.06/292.09
AProVE_04/JFP_Ex51.xml 5167084 ∞ +0 n1 +1 1117.35/291.68
AProVE_04/rta1.xml 5167085 ∞ +0 n1 +1 948.04/291.60
AProVE_04/fac.xml 5167086 ∞ +0 n2 +1 1135.63/291.71
AProVE_04/rta2.xml 5167087 ∞ +0 n1 +1 354.69/291.57
AProVE_04/rta3.xml 5167088 ∞ +0 n1 +1 981.68/291.60
AProVE_08/log.xml 5167288 ∞ +0 n1 +1 1116.5/291.65
AProVE_08/parting05_maxsort.xml 5167289 ∞ +0 n2 +1 1113.57/292.83
AProVE_08/parting03_minsort.xml 5167290 ∞ +0 n2 +1 1106.19/291.74
AProVE_08/parting04_maxsort_h.xml 5167291 ∞ +0 n2 +1 1039.7/293.56
AProVE_08/thiemann40_modified.xml 5167292 n2 +1 n2 +1 58.72/16.44
AProVE_08/parting01_reverse.xml 5167293 ∞ +0 n2 +1 1111.6/292.36
AProVE_08/parting02_doublelist.xml 5167294 timeout (wallclock)
AProVE_07/thiemann14.xml 5167378 ∞ +0 n2 +1 1159.97/295.88
AProVE_07/otto06.xml 5167379 n2 +1 n1 +1 1131.76/294.68
AProVE_07/thiemann01.xml 5167380 n2 +1 n1 +1 977.14/291.57
AProVE_07/thiemann31.xml 5167381 n2 +1 n1 +1 1144.54/291.65
AProVE_07/thiemann21.xml 5167382 ∞ +0 n1 +1 1137.31/294.00
AProVE_07/thiemann25.xml 5167383 ∞ +0 n1 +1 958.37/291.64
AProVE_07/thiemann05.xml 5167384 n2 +1 n1 +1 1113.17/293.69
AProVE_07/thiemann03.xml 5167385 n3 +1 n3 +1 60.75/16.41
AProVE_07/thiemann34.xml 5167386 n2 +1 n1 +1 1091.92/291.57
AProVE_07/thiemann26.xml 5167387 n1 +1 n1 +1 64.24/17.53
AProVE_07/otto03.xml 5167388 n2 +1 n1 +1 884.10/291.49
AProVE_07/thiemann10.xml 5167389 n1 +1 n1 +1 32.51/10.88
AProVE_07/thiemann30.xml 5167390 ∞ +0 n1 +1 1113.63/291.96
AProVE_07/otto04.xml 5167391 ∞ +0 NonPoly +1 3.27/1.60
AProVE_07/otto05.xml 5167392 n1 +1 n1 +1 65.30/10.71
AProVE_07/thiemann40.xml 5167393 n1 +1 n1 +1 41.26/6.17
AProVE_07/thiemann17.xml 5167394 ∞ +0 n2 +1 1131.99/295.97
AProVE_07/otto08.xml 5167395 ∞ +0 n1 +1 1112.23/291.59
AProVE_07/thiemann18.xml 5167396 n3 +1 n1 +1 1124.19/291.73
AProVE_07/thiemann36.xml 5167397 n2 +1 n1 +1 1142.45/291.59
AProVE_07/thiemann29.xml 5167398 ∞ +0 n2 +1 1135.15/291.66
AProVE_07/thiemann37.xml 5167399 ∞ +0 n1 +1 1138.05/291.76
AProVE_07/thiemann04.xml 5167400 ∞ +0 n1 +1 1134.33/294.08
AProVE_07/otto02.xml 5167401 n2 +1 n1 +1 1111.45/291.75
AProVE_07/thiemann38.xml 5167402 n2 +1 n1 +1 1128.39/291.67
AProVE_07/thiemann41.xml 5167403 ∞ +0 n1 +1 1113.84/291.61
AProVE_07/thiemann27.xml 5167404 n2 +1 n1 +1 902.28/291.58
AProVE_07/otto07.xml 5167405 n2 +1 n1 +1 893.84/291.59
AProVE_07/otto01.xml 5167406 n1 +1 n1 +1 246.29/63.58
AProVE_07/thiemann23.xml 5167407 n1 +1 n1 +1 46.04/13.55
AProVE_07/thiemann07.xml 5167408 ∞ +0 n2 +1 1119.12/291.96
AProVE_07/thiemann32.xml 5167409 ∞ +0 n2 +1 1111.46/291.78
AProVE_07/thiemann19.xml 5167410 ∞ +0 n1 +1 1122.91/291.71
AProVE_07/otto12.xml 5167411 ∞ +0 n2 +1 942.75/291.58
AProVE_07/otto11.xml 5167412 ∞ +0 n1 +1 1114.94/291.61
AProVE_07/thiemann16.xml 5167413 ∞ +0 n1 +1 1131.96/291.66
AProVE_07/thiemann11.xml 5167414 n2 +1 n1 +1 1124.45/291.91
AProVE_07/thiemann22.xml 5167415 ∞ +0 n1 +1 1098.19/291.62
AProVE_07/thiemann20.xml 5167416 n2 +1 n1 +1 1111.16/291.56
AProVE_07/thiemann15.xml 5167417 n2 +1 n1 +1 982.84/291.58
AProVE_07/thiemann28.xml 5167418 n1 +1 n1 +1 51.45/14.29
AProVE_07/kabasci04.xml 5167419 ∞ +0 n1 +1 1120.97/291.61
AProVE_07/thiemann13.xml 5167420 n2 +1 n1 +1 1099.66/291.59
AProVE_07/thiemann06.xml 5167421 n1 +1 n1 +1 154.22/40.21
AProVE_07/otto10.xml 5167422 ∞ +0 n1 +1 1140.59/291.59
AProVE_07/thiemann12.xml 5167423 n2 +1 n1 +1 1010.16/291.92
AProVE_07/otto09.xml 5167424 ∞ +0 n1 +1 1100.44/291.72
AProVE_07/otto13.xml 5167425 n2 +1 n1 +1 1042.92/291.59
AProVE_07/thiemann33.xml 5167426 ∞ +0 n1 +1 1097.24/292.25
AProVE_07/thiemann24.xml 5167427 ∞ +0 n2 +1 1010.51/291.59
AProVE_07/thiemann02.xml 5167428 ∞ +0 n1 +1 1154.2/294.79
AProVE_07/thiemann08.xml 5167429 ∞ +0 NonPoly +1 6.29/2.37
AG01/#3.49.xml 5166806 ∞ +0 n1 +1 911.09/291.52
AG01/#3.18.xml 5166807 n1 +1 n1 +1 33.92/9.62
AG01/#3.6.xml 5166808 n1 +1 n1 +1 39.49/13.08
AG01/#3.35.xml 5166809 n1 +1 n1 +1 13.25/4.50
AG01/#3.53.xml 5166810 n3 +1 n3 +1 38.67/11.41
AG01/#3.55.xml 5166811 ∞ +0 n2 +1 1132.68/295.25
AG01/#3.52.xml 5166812 n1 +1 n1 +1 15.72/4.84
AG01/#3.47.xml 5166813 n1 +1 n1 +1 16.37/5.05
AG01/#3.10.xml 5166814 n4 +1 n1 +1 1124.97/291.77
AG01/#3.6b.xml 5166815 n3 +1 n1 +1 325.30/291.57
AG01/#3.53b.xml 5166816 n1 +1 n1 +1 13.55/4.41
AG01/#3.12.xml 5166817 n3 +1 n3 +1 12.35/3.94
AG01/#3.23.xml 5166818 n1 +1 n1 +1 14.41/5.47
AG01/#3.15.xml 5166819 n1 +1 n1 +1 11.46/3.82
AG01/#3.5a.xml 5166820 n1 +1 n1 +1 32.58/10.99
AG01/#3.13.xml 5166821 ∞ +0 n1 +1 1089.76/291.61
AG01/#3.41.xml 5166822 n1 +1 n1 +1 18.42/5.57
AG01/#3.8a.xml 5166823 n1 +1 n1 +1 25.76/7.38
AG01/#3.2.xml 5166824 n1 +1 n1 +1 22.54/10.67
AG01/#3.36.xml 5166825 ∞ +0 n1 +1 1036.93/291.55
AG01/#3.48.xml 5166826 n3 +1 n1 +1 320.05/291.54
AG01/#3.16.xml 5166827 n3 +1 n2 +1 316.27/291.54
AG01/#3.1.xml 5166828 n1 +1 n1 +1 15.58/5.10
AG01/#3.6a.xml 5166829 n1 +1 n1 +1 29.77/10.46
AG01/#3.26.xml 5166830 timeout (wallclock)
AG01/#3.7.xml 5166831 n1 +1 n1 +1 23.71/9.90
AG01/#3.5b.xml 5166832 n3 +1 n1 +1 325.69/292.62
AG01/#3.5.xml 5166833 n1 +1 n1 +1 19.26/5.92
AG01/#3.38.xml 5166834 ∞ +0 NonPoly +1 6.78/2.51
AG01/#3.31.xml 5166835 ∞ +0 NonPoly +1 3.27/1.64
AG01/#3.33.xml 5166836 1 +1 1 +0 3.09/1.78
AG01/#3.24.xml 5166837 n1 +1 n1 +1 5.33/2.10
AG01/#3.42.xml 5166838 n1 +1 n1 +1 17.73/5.33
AG01/#3.37.xml 5166839 n1 +1 n1 +1 3.94/1.74
AG01/#4.30c.xml 5166840 n1 +1 n1 +1 100.47/26.56
AG01/#3.8b.xml 5166841 n3 +1 n1 +1 1107.91/291.68
Frederiksen_Glenstrup/naiverev.xml 5167029 n2 +1 n2 +1 11.95/3.88
Frederiksen_Glenstrup/increase.xml 5167030 ∞ +0 NonPoly +1 3.30/1.64
Frederiksen_Glenstrup/ack.xml 5167031 ∞ +0 n1 +1 1063.64/291.64
Frederiksen_Glenstrup/deeprev_typed.xml 5167032 n1 +1 n1 +1 4.75/2.06
Frederiksen_Glenstrup/assrewrite.xml 5167033 ∞ +0 n1 +1 357.94/291.54
Frederiksen_Glenstrup/binom.xml 5167034 ∞ +0 NonPoly +1 3.64/1.69
Frederiksen_Glenstrup/addlists.xml 5167035 n1 +1 n1 +1 3.47/1.61
Frederiksen_Glenstrup/fold.xml 5167036 n1 +1 n1 +1 15.80/5.00
Frederiksen_Glenstrup/mul.xml 5167037 n3 +1 n3 +1 15.37/4.91
Frederiksen_Glenstrup/sp1.xml 5167038 ∞ +0 NonPoly +1 3.23/1.60
Frederiksen_Glenstrup/nestdec.xml 5167039 n1 +1 n1 +1 14.60/4.64
Frederiksen_Glenstrup/member.xml 5167040 n1 +1 n1 +1 23.04/9.01
Frederiksen_Glenstrup/power.xml 5167041 ∞ +0 n3 +1 746.61/291.70
Frederiksen_Glenstrup/mul_better.xml 5167042 n3 +1 n3 +1 21.19/7.52
Frederiksen_Glenstrup/lte.xml 5167043 n1 +1 n1 +1 14.31/4.59
Frederiksen_Glenstrup/overlap.xml 5167044 n2 +1 n1 +1 327.69/291.52
Frederiksen_Glenstrup/nestimeql.xml 5167045 ∞ +0 NonPoly +1 3.49/1.71
Frederiksen_Glenstrup/minsort.xml 5167046 ∞ +0 n1 +1 1135.53/291.98
Frederiksen_Glenstrup/thetrick.xml 5167047 ∞ +0 NonPoly +1 6.85/2.55
Frederiksen_Glenstrup/badd.xml 5167048 ∞ +0 NonPoly +1 3.50/1.70
Frederiksen_Glenstrup/evenodd.xml 5167049 n1 +1 n1 +1 3.55/1.59
Frederiksen_Glenstrup/append.xml 5167050 n1 +1 n1 +1 3.34/1.64
Frederiksen_Glenstrup/duplicate.xml 5167051 n1 +1 n1 +1 11.77/4.04
Frederiksen_Glenstrup/add.xml 5167052 n1 +1 n1 +1 3.42/1.61
Frederiksen_Glenstrup/ordered_better.xml 5167053 n1 +1 1 +0 323.59/291.55
Frederiksen_Glenstrup/turing_typed.xml 5167054 ∞ +0 NonPoly +1 9.63/3.30
Frederiksen_Glenstrup/map0.xml 5167055 n1 +1 n1 +1 19.56/5.80
Frederiksen_Glenstrup/lambdaint_typed.xml 5167056 timeout (wallclock)
Frederiksen_Glenstrup/intlookup.xml 5167057 ∞ +0 NonPoly +1 3.51/1.69
Frederiksen_Glenstrup/list.xml 5167058 n1 +1 n1 +1 3.16/1.59
Frederiksen_Glenstrup/vangelder_typed.xml 5167059 ∞ +0 NonPoly +1 132.20/34.76
Frederiksen_Glenstrup/disjconj.xml 5167060 ∞ +0 NonPoly +1 4.33/2.78
Frederiksen_Glenstrup/mergelists.xml 5167061 n1 +1 n1 +1 17.25/5.43
Frederiksen_Glenstrup/equal.xml 5167062 ∞ +0 NonPoly +1 3.38/1.79
Frederiksen_Glenstrup/gcd2.xml 5167063 n3 +1 n1 +1 1118.29/297.80
Frederiksen_Glenstrup/anchored.xml 5167064 n1 +1 n1 +1 3.53/2.02
Frederiksen_Glenstrup/ordered.xml 5167065 n1 +1 n1 +1 16.41/5.07
Frederiksen_Glenstrup/subsets.xml 5167066 ∞ +0 n1 +1 1135.06/291.57
Frederiksen_Glenstrup/select.xml 5167067 n2 +1 n1 +1 351.29/291.55
Frederiksen_Glenstrup/game.xml 5167068 n1 +1 n1 +1 3.89/1.94
Frederiksen_Glenstrup/letexp.xml 5167069 ∞ +0 NonPoly +1 3.23/1.57
Frederiksen_Glenstrup/shuffle.xml 5167070 n3 +1 n3 +1 12.57/4.00
Frederiksen_Glenstrup/parsexp.xml 5167071 ∞ +0 NonPoly +1 8.03/3.26
Frederiksen_Glenstrup/gcd.xml 5167072 timeout (wallclock)
Frederiksen_Glenstrup/revapp.xml 5167073 n1 +1 n1 +1 3.64/2.02
Frederiksen_Glenstrup/quicksort.xml 5167074 ∞ +0 n1 +1 1132.86/293.52
Frederiksen_Glenstrup/mergesort.xml 5167075 n2 +1 n1 +1 927.71/292.48
Frederiksen_Glenstrup/decrease.xml 5167076 n1 +1 n1 +1 3.77/1.76
Frederiksen_Glenstrup/permute.xml 5167077 ∞ +0 NonPoly +1 6.58/2.46
Frederiksen_Glenstrup/nestinc.xml 5167078 ∞ +0 NonPoly +1 3.89/1.73
Frederiksen_Glenstrup/int.xml 5167079 ∞ +0 n1 +1 896.27/292.91
Frederiksen_Glenstrup/nesteql.xml 5167080 ∞ +0 NonPoly +1 3.50/1.76
Endrullis_06/direct.xml 5167089 n1 +1 n1 +1 4.30/7.47
GTSSK07/cade01.xml 5167363 n2 +1 n1 +1 883.58/291.64
GTSSK07/cade11.xml 5167364 n2 +1 n1 +1 878.41/291.57
GTSSK07/cade14.xml 5167365 n2 +1 n1 +1 1117.85/291.64
GTSSK07/cade16.xml 5167366 n2 +1 n1 +1 1131.11/291.59
GTSSK07/cade12t.xml 5167367 n2 +1 n1 +1 1115.05/291.61
GTSSK07/cade09.xml 5167368 n2 +1 n1 +1 1078.54/291.58
GTSSK07/cade10.xml 5167369 n2 +1 n1 +1 1113.06/291.77
GTSSK07/cade06.xml 5167370 n2 +1 n1 +1 1016.92/291.60
GTSSK07/cade03.xml 5167371 n2 +1 n1 +1 880.35/291.56
GTSSK07/cade13t.xml 5167372 ∞ +0 n1 +1 1054.88/291.55
GTSSK07/cade05t.xml 5167373 n2 +1 n1 +1 1126.02/291.65
GTSSK07/cade17.xml 5167374 ∞ +0 n2 +1 1123.74/292.69
GTSSK07/cade08.xml 5167375 n2 +1 n1 +1 1115.87/291.54
GTSSK07/cade07.xml 5167376 n2 +1 n1 +1 1146.78/291.63
GTSSK07/cade15.xml 5167377 ∞ +0 NonPoly +1 3.49/1.70
Frederiksen_Others/match.xml 5166995 n2 +1 n1 +1 343.76/291.51
Frederiksen_Others/gexgcd.xml 5166996 n1 +1 n1 +1 25.94/7.90
Frederiksen_Others/dup1_typed.xml 5166997 n1 +1 n1 +1 26.78/4.53
Frederiksen_Others/thetrickSize.xml 5166998 n1 +1 n1 +1 31.64/9.24
Frederiksen_Others/power.xml 5166999 ∞ +0 n2 +1 734.31/291.58
Frederiksen_Others/quicksortSize.xml 5167000 ∞ +0 n1 +1 1129.66/294.87
Frederiksen_Others/fghSize.xml 5167001 ∞ +0 NonPoly +1 3.52/1.66
Frederiksen_Others/graphcolour2Size_typed.xml 5167002 ∞ +0 n1 +1 1076.34/292.14
Frederiksen_Others/inssort_better.xml 5167003 n2 +1 n1 +1 349.73/291.54
Frederiksen_Others/disj2_typed.xml 5167004 n1 +1 n1 +1 4.08/1.84
Frederiksen_Others/inssort.xml 5167005 n2 +1 n1 +1 335.19/291.58
Frederiksen_Others/graphcolour2_typed.xml 5167006 n5 +1 n1 +1 1048.25/291.94
Frederiksen_Others/add.xml 5167007 n1 +1 n1 +1 4.07/1.79
Frederiksen_Others/deadcodeSize.xml 5167008 ∞ +0 NonPoly +1 3.44/3.23
Frederiksen_Others/oddeven.xml 5167009 n1 +1 n1 +1 20.59/10.13
Frederiksen_Others/reach.xml 5167010 ∞ +0 NonPoly +1 868.24/242.91
Frederiksen_Others/ex6.xml 5167011 n1 +1 n1 +1 3.50/1.59
Frederiksen_Others/bubblesort.xml 5167012 n2 +1 n1 +1 348.19/291.57
Frederiksen_Others/gexgcd2.xml 5167013 n2 +1 n1 +1 332.89/291.58
Frederiksen_Others/div2.xml 5167014 n1 +1 n1 +1 4.13/1.83
Frederiksen_Others/ocall-safe.xml 5167015 n1 +1 n1 +1 3.66/2.07
Frederiksen_Others/minsortSize.xml 5167016 ∞ +0 n1 +1 1133.26/291.59
Frederiksen_Others/assrewriteSize.xml 5167017 ∞ +0 n1 +1 344.91/291.57
Frederiksen_Others/permut.xml 5167018 n1 +1 n1 +1 3.29/1.62
Frederiksen_Others/graphcolour1_typed.xml 5167019 timeout (wallclock)
Frederiksen_Others/ocall-unsafe.xml 5167020 n1 +1 n1 +1 3.70/1.64
Frederiksen_Others/eq.xml 5167021 n1 +1 n1 +1 3.44/1.63
Frederiksen_Others/quicksortPtime.xml 5167022 n2 +1 n1 +1 355.38/291.59
Frederiksen_Others/graphcolour3_typed.xml 5167023 n5 +1 n1 +1 1053.7/292.41
Frederiksen_Others/strmatch.xml 5167024 n2 +1 n1 +1 570.02/291.63
Frederiksen_Others/dup2_typed.xml 5167025 n1 +1 n1 +1 33.27/12.43
Frederiksen_Others/fgh.xml 5167026 ∞ +0 NonPoly +1 3.51/1.65
Frederiksen_Others/boolprog.xml 5167027 n1 +1 n1 +1 34.85/9.98
Frederiksen_Others/rematch.xml 5167028 ∞ +0 n2 +1 1154.23/293.68
Beerendonk_07/12.xml 5167339 n2 +1 n1 +1 1110.56/291.55
Beerendonk_07/10.xml 5167340 n2 +1 n1 +1 472.04/291.62
Beerendonk_07/14.xml 5167341 n2 +1 n1 +1 938.71/291.57
Beerendonk_07/13.xml 5167342 n2 +1 n1 +1 1066.49/291.57
Beerendonk_07/3.xml 5167343 n1 +1 n1 +1 85.74/24.21
Beerendonk_07/20.xml 5167344 n1 +1 n1 +1 60.54/16.55
Beerendonk_07/7.xml 5167345 n2 +1 n1 +1 628.94/291.59
Beerendonk_07/1.xml 5167346 n2 +1 n1 +1 459.90/291.53
Beerendonk_07/17.xml 5167347 n2 +1 n1 +1 1148.72/291.73
Beerendonk_07/23.xml 5167348 n2 +1 n1 +1 886.83/291.58
Beerendonk_07/19.xml 5167349 n2 +1 n1 +1 1160.38/295.92
Beerendonk_07/16.xml 5167350 n2 +1 n1 +1 1136.64/291.64
Beerendonk_07/5.xml 5167351 n2 +1 n1 +1 1120.21/293.94
Beerendonk_07/11.xml 5167352 n2 +1 n1 +1 1073.1/291.53
Beerendonk_07/2.xml 5167353 n2 +1 n1 +1 380.41/291.62
Beerendonk_07/8.xml 5167354 n1 +1 n1 +1 48.74/13.57
Beerendonk_07/18.xml 5167355 n1 +1 n1 +1 76.42/20.61
Beerendonk_07/6.xml 5167356 n2 +1 n1 +1 366.98/291.64
Beerendonk_07/21.xml 5167357 n2 +1 n1 +1 1110.15/291.63
Beerendonk_07/9.xml 5167358 n2 +1 n1 +1 1085.73/293.93
Beerendonk_07/4.xml 5167359 n1 +1 n1 +1 28.52/8.25
Beerendonk_07/24.xml 5167360 n1 +1 n1 +1 77.08/20.76
Beerendonk_07/15.xml 5167361 n2 +1 n1 +1 1000.51/291.60
Beerendonk_07/22.xml 5167362 n1 +1 n1 +1 32.17/12.11
AProVE_09_Inductive/zerolist.xml 5167430 n2 +1 n1 +1 911.80/291.62
AProVE_09_Inductive/log.xml 5167431 n1 +1 n1 +1 49.30/14.47
AProVE_09_Inductive/maxsort.xml 5167432 ∞ +0 n2 +1 1120.37/294.46
AProVE_09_Inductive/qsortlast.xml 5167433 ∞ +0 n1 +1 1119.59/292.70
AProVE_09_Inductive/qsort.xml 5167434 ∞ +0 n1 +1 1088.7/291.61
AProVE_09_Inductive/qsortmiddle.xml 5167435 ∞ +0 n1 +1 1141.0/292.92
AProVE_09_Inductive/minsort.xml 5167436 ∞ +0 n1 +1 1113.73/291.58
AProVE_09_Inductive/gcd2.xml 5167437 n3 +1 n1 +1 1143.87/291.68
AProVE_09_Inductive/maxsortcondition.xml 5167438 ∞ +0 n2 +1 1124.91/298.91
AProVE_09_Inductive/div.xml 5167439 n3 +1 n1 +1 1125.48/291.57
AProVE_09_Inductive/mod.xml 5167440 n3 +1 n1 +1 1113.18/291.65
AProVE_09_Inductive/divhard.xml 5167441 n3 +1 n1 +1 1135.43/291.61
AProVE_09_Inductive/gcd.xml 5167442 n3 +1 n1 +1 1140.52/291.63
AProVE_09_Inductive/gcdhard.xml 5167443 n1 +1 n1 +1 49.77/14.06
Der95/27.xml 5167090 n1 +1 n1 +1 11.96/3.84
Der95/06.xml 5167091 n1 +1 n1 +1 7.20/2.62
Der95/08.xml 5167092 n1 +1 n1 +1 15.31/4.74
Der95/11.xml 5167093 n1 +1 n1 +1 22.74/8.54
Der95/18.xml 5167094 n1 +1 n1 +1 13.52/4.54
Der95/21.xml 5167095 ∞ +0 n2 +1 644.47/291.52
Der95/32.xml 5167096 n2 +1 n1 +1 325.25/291.52
CiME_04/filliatre2.xml 5167264 ∞ +0 n1 +1 1123.49/291.66
CiME_04/append-hard.xml 5167265 n1 +1 n1 +1 15.97/4.91
CiME_04/ack_prolog.xml 5167266 ∞ +0 n1 +1 1054.42/291.67
CiME_04/filliatre.xml 5167267 ∞ +0 n1 +1 1127.12/291.66
CiME_04/append.xml 5167268 n1 +1 n1 +1 15.54/7.06
CiME_04/fact-hard.xml 5167269 ∞ +0 n2 +1 1127.93/291.72
CiME_04/filliatre3.xml 5167270 ∞ +0 n1 +1 1121.91/291.85
CiME_04/list-sum-prod.xml 5167271 ∞ +0 n2 +1 1124.28/291.67
CiME_04/append-wrong.xml 5167272 ∞ +0 NonPoly +1 3.43/1.76
954