Termination Competition 2019: Runtime Complexity: TRS Innermost Certified33567

Job info CSV
AProVE certified
benchmark UPLOWTIME
Secret_05_TRS/tpa4.xml 5167241 timeout (wallclock)
Secret_05_TRS/tpa2.xml 5167242 ∞ +0 1 +0 495.58/299.54
Secret_05_TRS/aprove2.xml 5167243 ∞ +0 1 +0 19.43/7.63
Secret_05_TRS/aprove3.xml 5167244 ∞ +0 1 +0 123.50/101.30
Secret_05_TRS/tpa5.xml 5167245 timeout (wallclock)
Secret_05_TRS/tpa3.xml 5167246 ∞ +0 1 +0 666.74/294.64
Secret_05_TRS/tpa1.xml 5167247 timeout (wallclock)
Secret_05_TRS/ttt2.xml 5167248 ∞ +0 1 +0 12.48/4.76
Secret_05_TRS/cime4.xml 5167249 ∞ +0 1 +0 5.90/2.47
Rubio_04/division.xml 5167295 n3 +1 1 +0 16.01/5.32
Rubio_04/gmnp.xml 5167296 n1 +1 1 +0 4.70/2.02
Rubio_04/gm.xml 5167297 n2 +1 1 +0 5.58/2.21
Rubio_04/selsort.xml 5167298 ∞ +0 1 +0 501.45/291.55
Rubio_04/enno.xml 5167299 n2 +1 1 +0 37.88/14.36
Rubio_04/prov.xml 5167300 n1 +1 1 +0 4.86/2.18
Rubio_04/bintrees.xml 5167301 n1 +1 1 +0 8.17/2.98
Rubio_04/nestrec.xml 5167302 ∞ +0 1 +0 13.48/8.10
Rubio_04/ma96.xml 5167303 ∞ +0 1 +0 478.97/299.53
Rubio_04/logarquot.xml 5167304 n2 +1 1 +0 16.49/5.03
Rubio_04/test829.xml 5167305 n1 +1 1 +0 4.28/2.12
Rubio_04/elimdupl.xml 5167306 n2 +1 1 +0 9.55/3.29
Rubio_04/polo2.xml 5167307 n1 +1 1 +0 4.76/2.05
Rubio_04/mfp95.xml 5167308 n1 +1 1 +0 3.66/1.79
Rubio_04/gcd.xml 5167309 n2 +1 1 +0 9.13/3.27
Rubio_04/test4.xml 5167310 n1 +1 1 +0 7.36/2.82
Rubio_04/revlist.xml 5167311 ∞ +0 1 +0 631.80/298.09
Rubio_04/quick.xml 5167312 timeout (wallclock)
Rubio_04/wst99.xml 5167313 n2 +1 1 +0 17.13/5.32
Secret_07_TRS/aprove07.xml 5167328 ∞ +0 1 +0 46.31/17.53
Secret_07_TRS/secret3.xml 5167329 ∞ +0 1 +0 31.49/15.10
Secret_07_TRS/aprove04.xml 5167330 ∞ +0 1 +0 698.39/295.22
Secret_07_TRS/aprove02.xml 5167331 ∞ +0 1 +0 29.13/16.37
Secret_07_TRS/aprove10.xml 5167332 timeout (wallclock)
Secret_07_TRS/aprove08.xml 5167333 ∞ +0 1 +0 206.62/143.21
Secret_07_TRS/aprove09.xml 5167334 ∞ +0 1 +0 78.32/30.19
Secret_07_TRS/aprove01.xml 5167335 ∞ +0 1 +0 231.98/191.03
Secret_07_TRS/aprove06.xml 5167336 ∞ +0 1 +0 398.92/293.82
Secret_07_TRS/aprove03.xml 5167337 ∞ +0 1 +0 1026.84/291.59
Secret_07_TRS/aprove05.xml 5167338 ∞ +0 1 +0 45.70/15.95
Secret_06_TRS/division.xml 5166842 ∞ +0 1 +0 29.76/15.94
Secret_06_TRS/tpa10.xml 5166843 ∞ +0 1 +0 964.31/299.88
Secret_06_TRS/tpa07.xml 5166844 ∞ +0 1 +0 677.05/296.18
Secret_06_TRS/tpa04.xml 5166845 ∞ +0 1 +0 1163.88/296.41
Secret_06_TRS/tpa09.xml 5166846 timeout (wallclock)
Secret_06_TRS/toList.xml 5166847 ∞ +0 1 +0 644.91/295.86
Secret_06_TRS/reverse.xml 5166848 ∞ +0 1 +0 190.57/142.64
Secret_06_TRS/tpa06.xml 5166849 timeout (wallclock)
Secret_06_TRS/logarithm.xml 5166850 ∞ +0 1 +0 428.41/291.93
Secret_06_TRS/double.xml 5166851 ∞ +0 1 +0 18.14/8.69
Secret_06_TRS/nrOfNodes.xml 5166852 ∞ +0 1 +0 382.15/292.89
Secret_06_TRS/tpa05.xml 5166853 timeout (wallclock)
Secret_06_TRS/sumList.xml 5166854 ∞ +0 1 +0 284.79/141.69
Secret_06_TRS/tpa08.xml 5166855 timeout (wallclock)
Secret_06_TRS/addList.xml 5166856 timeout (wallclock)
hoca/flatten.xml 5166942 n1 +1 1 +0 13.41/4.34
hoca/id.xml 5166943 n1 +1 1 +0 4.47/2.01
hoca/fib_llist.xml 5166944 ∞ +0 1 +0 902.89/291.62
hoca/sum.xml 5166945 n1 +1 1 +0 5.09/2.12
hoca/mss.xml 5166946 ∞ +0 1 +0 100.43/81.51
hoca/rev-dl.xml 5166947 n1 +1 1 +0 5.71/2.33
hoca/mergesort-dc.xml 5166948 timeout (wallclock)
hoca/isort-fold.xml 5166949 n2 +1 1 +0 11.30/4.30
hoca/sum_sqs3.xml 5166950 ∞ +0 1 +0 645.36/299.18
hoca/foldsum.xml 5166951 n1 +1 1 +0 14.28/4.50
hoca/isort.xml 5166952 n2 +1 1 +0 10.16/4.14
hoca/dfs-flatten.xml 5166953 n1 +1 1 +0 6.66/2.59
hoca/mappplus.xml 5166954 n2 +1 1 +0 4.59/2.08
hoca/rev-fletf.xml 5166955 n1 +1 1 +0 5.67/2.30
hoca/rev-foldl.xml 5166956 n1 +1 1 +0 3.97/2.02
HirokawaMiddeldorp_04/t003.xml 5167250 timeout (wallclock)
HirokawaMiddeldorp_04/t011.xml 5167251 n1 +1 1 +0 4.01/1.87
HirokawaMiddeldorp_04/n006.xml 5167252 ∞ +0 1 +0 9.58/3.96
HirokawaMiddeldorp_04/n005.xml 5167253 ∞ +0 1 +0 11.03/5.52
HirokawaMiddeldorp_04/t004.xml 5167254 ∞ +0 1 +0 147.10/117.19
HirokawaMiddeldorp_04/n007.xml 5167255 ∞ +0 1 +0 3.79/1.84
HirokawaMiddeldorp_04/t013.xml 5167256 ∞ +0 1 +0 207.04/192.99
HirokawaMiddeldorp_04/t002.xml 5167257 ∞ +0 1 +0 587.12/294.35
HirokawaMiddeldorp_04/n002.xml 5167258 ∞ +0 1 +0 10.15/3.80
HirokawaMiddeldorp_04/t001.xml 5167259 timeout (wallclock)
HirokawaMiddeldorp_04/t014.xml 5167260 n2 +1 1 +0 36.67/10.45
HirokawaMiddeldorp_04/n003.xml 5167261 ∞ +0 1 +0 9.88/3.95
HirokawaMiddeldorp_04/n004.xml 5167262 ∞ +0 1 +0 9.78/3.80
HirokawaMiddeldorp_04/t009.xml 5167263 ∞ +0 1 +0 1134.05/291.61
raML/bft_mmult.raml.xml 5167444 ∞ +0 1 +0 904.48/291.75
raML/quicksort.raml.xml 5167445 timeout (wallclock)
raML/splitandsort.raml.xml 5167446 timeout (wallclock)
raML/queue.raml.xml 5167447 ∞ +0 1 +0 751.49/291.60
raML/bfs.raml.xml 5167448 n3 +1 1 +0 500.82/183.20
raML/appendAll.raml.xml 5167449 n1 +1 1 +0 16.38/5.59
raML/minsort.raml.xml 5167450 n2 +1 1 +0 18.94/5.88
raML/subtrees.raml.xml 5167451 n2 +1 1 +0 8.09/2.97
raML/clevermmult.raml.xml 5167452 n2 +1 1 +0 37.37/10.76
raML/longestCommonSubsequence.raml.xml 5167453 n2 +1 1 +0 695.99/189.63
raML/dyade.raml.xml 5167454 n2 +1 1 +0 18.22/5.46
raML/insertionsort.raml.xml 5167455 timeout (wallclock)
raML/rationalPotential.raml.xml 5167456 n1 +1 1 +0 5.61/2.27
raML/flatten.raml.xml 5167457 n2 +1 1 +0 50.17/13.76
raML/mergesort.raml.xml 5167458 ∞ +0 1 +0 596.83/291.56
raML/eratosthenes.raml.xml 5167459 ∞ +0 1 +0 1119.34/291.66
raML/duplicates.raml.xml 5167460 n2 +1 1 +0 105.72/31.35
raML/matrix.raml.xml 5167461 ∞ +0 1 +0 878.23/291.82
raML/bitvectors.raml.xml 5167462 timeout (wallclock)
raML/listsort.raml.xml 5167463 n2 +1 1 +0 638.63/169.53
Mixed_TRS/jones1.xml 5166927 n1 +1 1 +0 3.96/1.95
Mixed_TRS/jones5.xml 5166928 ∞ +0 1 +0 4.37/2.07
Mixed_TRS/minsort.xml 5166929 ∞ +0 1 +0 388.58/295.82
Mixed_TRS/while.xml 5166930 ∞ +0 1 +0 6.94/3.84
Mixed_TRS/jones4.xml 5166931 n1 +1 1 +0 3.75/1.84
Mixed_TRS/gcdMinMax.xml 5166932 timeout (wallclock)
Mixed_TRS/Ex1_Luc04b_GM.xml 5166933 ∞ +0 1 +0 16.55/6.55
Mixed_TRS/jones2.xml 5166934 n1 +1 1 +0 4.41/1.90
Mixed_TRS/jones6.xml 5166935 n1 +1 1 +0 3.91/1.99
Mixed_TRS/test1.xml 5166936 ∞ +0 1 +0 4.73/2.02
Mixed_TRS/fossacs.xml 5166937 ∞ +0 1 +0 469.37/293.46
Mixed_TRS/gcd.xml 5166938 ∞ +0 1 +0 582.59/295.23
Mixed_TRS/perfect.xml 5166939 ∞ +0 1 +0 5.59/2.30
Mixed_TRS/gcd_triple.xml 5166940 ∞ +0 1 +0 663.87/298.03
Mixed_TRS/perfect2.xml 5166941 timeout (wallclock)
Transformed_CSR_04/OvConsOS_nosorts_GM.xml 5167097 ∞ +0 1 +0 19.42/6.97
Transformed_CSR_04/MYNAT_complete_GM.xml 5167098 timeout (wallclock)
Transformed_CSR_04/ExIntrod_GM04_GM.xml 5167099 ∞ +0 1 +0 16.41/6.60
Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml 5167100 n1 +1 1 +0 16.70/9.56
Transformed_CSR_04/Ex1_Zan97_FR.xml 5167101 ∞ +0 1 +0 18.29/10.02
Transformed_CSR_04/Ex2_Luc02a_Z.xml 5167102 ∞ +0 1 +0 331.83/292.36
Transformed_CSR_04/Ex24_Luc06_GM.xml 5167103 ∞ +0 1 +0 15.09/9.09
Transformed_CSR_04/Ex4_7_15_Bor03_L.xml 5167104 n1 +1 1 +0 4.99/2.08
Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml 5167105 ∞ +0 1 +0 369.12/293.43
Transformed_CSR_04/ExProp7_Luc06_GM.xml 5167106 ∞ +0 1 +0 24.16/14.18
Transformed_CSR_04/Ex1_Luc02b_GM.xml 5167107 ∞ +0 1 +0 12.25/4.93
Transformed_CSR_04/ExAppendixB_AEL03_Z.xml 5167108 n2 +1 1 +0 52.52/18.37
Transformed_CSR_04/Ex3_12_Luc96a_GM.xml 5167109 ∞ +0 1 +0 9.71/4.14
Transformed_CSR_04/PEANO_nosorts-noand_FR.xml 5167110 n1 +1 1 +0 5.73/2.22
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml 5167111 ∞ +0 1 +0 15.83/5.66
Transformed_CSR_04/Ex9_Luc04_L.xml 5167112 ∞ +0 1 +0 3.80/1.88
Transformed_CSR_04/Ex15_Luc06_FR.xml 5167113 n1 +1 1 +0 7.92/2.77
Transformed_CSR_04/Ex6_9_Luc02c_FR.xml 5167114 n1 +1 1 +0 6.06/2.55
Transformed_CSR_04/Ex9_BLR02_GM.xml 5167115 ∞ +0 1 +0 52.29/39.59
Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml 5167116 n1 +1 1 +0 4.93/2.08
Transformed_CSR_04/PEANO_nosorts_FR.xml 5167117 n1 +1 1 +0 3.65/1.87
Transformed_CSR_04/Ex15_Luc98_GM.xml 5167118 n1 +1 1 +0 10.56/3.60
Transformed_CSR_04/MYNAT_nosorts_FR.xml 5167119 n2 +1 1 +0 5.95/2.31
Transformed_CSR_04/Ex8_BLR02_GM.xml 5167120 ∞ +0 1 +0 36.11/19.60
Transformed_CSR_04/Ex7_BLR02_Z.xml 5167121 n2 +1 1 +0 6.46/2.48
Transformed_CSR_04/OvConsOS_nosorts_FR.xml 5167122 ∞ +0 1 +0 37.12/28.05
Transformed_CSR_04/ExAppendixB_AEL03_GM.xml 5167123 ∞ +0 1 +0 382.82/295.36
Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml 5167124 ∞ +0 1 +0 365.77/293.38
Transformed_CSR_04/Ex24_Luc06_L.xml 5167125 ∞ +0 1 +0 9.68/3.93
Transformed_CSR_04/ExConc_Zan97_Z.xml 5167126 ∞ +0 1 +0 10.85/4.24
Transformed_CSR_04/OvConsOS_complete_noand_GM.xml 5167127 timeout (wallclock)
Transformed_CSR_04/Ex3_3_25_Bor03_L.xml 5167128 n1 +1 1 +0 4.20/1.91
Transformed_CSR_04/Ex1_GM03_GM.xml 5167129 ∞ +0 1 +0 371.71/293.7
Transformed_CSR_04/Ex1_GL02a_L.xml 5167130 ∞ +0 1 +0 11.30/4.33
Transformed_CSR_04/Ex6_9_Luc02c_GM.xml 5167131 ∞ +0 1 +0 10.81/5.35
Transformed_CSR_04/Ex3_12_Luc96a_Z.xml 5167132 n2 +1 1 +0 4.75/2.09
Transformed_CSR_04/PEANO_complete_noand_GM.xml 5167133 ∞ +0 1 +0 440.30/295.01
Transformed_CSR_04/Ex15_Luc06_L.xml 5167134 ∞ +0 1 +0 9.97/3.76
Transformed_CSR_04/Ex2_Luc02a_L.xml 5167135 ∞ +0 1 +0 350.66/292.34
Transformed_CSR_04/Ex5_7_Luc97_GM.xml 5167136 ∞ +0 1 +0 29.87/11.14
Transformed_CSR_04/ExIntrod_GM04_Z.xml 5167137 ∞ +0 1 +0 28.55/15.18
Transformed_CSR_04/Ex6_Luc98_L.xml 5167138 n1 +1 1 +0 3.50/1.73
Transformed_CSR_04/OvConsOS_nokinds_GM.xml 5167139 timeout (wallclock)
Transformed_CSR_04/Ex1_GL02a_GM.xml 5167140 n2 +1 1 +0 8.99/3.18
Transformed_CSR_04/Ex14_AEGL02_L.xml 5167141 ∞ +0 1 +0 10.48/7.08
Transformed_CSR_04/ExIntrod_GM01_Z.xml 5167142 ∞ +0 1 +0 36.86/22.15
Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml 5167143 ∞ +0 1 +0 10.10/3.85
Transformed_CSR_04/Ex2_Luc02a_GM.xml 5167144 ∞ +0 1 +0 117.26/83.21
Transformed_CSR_04/Ex4_4_Luc96b_L.xml 5167145 n1 +1 1 +0 3.27/1.63
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml 5167146 ∞ +0 1 +0 662.46/291.58
Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml 5167147 n1 +1 1 +0 3.92/2.67
Transformed_CSR_04/MYNAT_nokinds_GM.xml 5167148 ∞ +0 1 +0 351.49/295.56
Transformed_CSR_04/Ex1_GM99_GM.xml 5167149 ∞ +0 1 +0 6.79/7.13
Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml 5167150 ∞ +0 1 +0 333.50/293.43
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml 5167151 ∞ +0 1 +0 1148.27/297.24
Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml 5167152 ∞ +0 1 +0 134.50/94.56
Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml 5167153 ∞ +0 1 +0 646.74/297.63
Transformed_CSR_04/Ex1_Luc04b_GM.xml 5167154 ∞ +0 1 +0 16.33/10.12
Transformed_CSR_04/Ex3_2_Luc97_GM.xml 5167155 ∞ +0 1 +0 12.56/5.15
Transformed_CSR_04/Ex4_4_Luc96b_GM.xml 5167156 ∞ +0 1 +0 9.45/6.46
Transformed_CSR_04/Ex4_4_Luc96b_Z.xml 5167157 ∞ +0 1 +0 6.68/2.96
Transformed_CSR_04/Ex2_Luc03b_GM.xml 5167158 ∞ +0 1 +0 14.80/7.16
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml 5167159 ∞ +0 1 +0 32.01/24.03
Transformed_CSR_04/Ex1_Luc04b_Z.xml 5167160 ∞ +0 1 +0 27.69/16.12
Transformed_CSR_04/Ex9_BLR02_L.xml 5167161 n1 +1 1 +0 6.13/2.43
Transformed_CSR_04/Ex15_Luc06_GM.xml 5167162 n1 +1 1 +0 5.03/2.15
Transformed_CSR_04/Ex15_Luc06_Z.xml 5167163 n1 +1 1 +0 5.00/2.15
Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml 5167164 ∞ +0 1 +0 338.48/298.13
Transformed_CSR_04/Ex9_BLR02_Z.xml 5167165 ∞ +0 1 +0 10.37/3.82
Transformed_CSR_04/Ex14_AEGL02_GM.xml 5167166 ∞ +0 1 +0 8.91/4.43
Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml 5167167 ∞ +0 1 +0 34.42/15.58
Transformed_CSR_04/Ex6_9_Luc02c_Z.xml 5167168 n3 +1 1 +0 4.80/2.01
Transformed_CSR_04/Ex16_Luc06_L.xml 5167169 ∞ +0 1 +0 10.08/3.92
Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml 5167170 n2 +1 1 +0 39.64/11.15
Transformed_CSR_04/Ex1_Luc02b_Z.xml 5167171 n2 +1 1 +0 6.43/2.45
Transformed_CSR_04/ExProp7_Luc06_Z.xml 5167172 n1 +1 1 +0 308.12/291.61
Transformed_CSR_04/Ex1_Zan97_GM.xml 5167173 n1 +1 1 +0 4.24/1.82
Transformed_CSR_04/Ex5_DLMMU04_GM.xml 5167174 ∞ +0 1 +0 19.68/9.14
Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml 5167175 ∞ +0 1 +0 28.37/17.17
Transformed_CSR_04/ExIntrod_GM01_FR.xml 5167176 ∞ +0 1 +0 27.09/15.45
Transformed_CSR_04/PEANO_nosorts_GM.xml 5167177 ∞ +0 1 +0 13.55/5.87
Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml 5167178 n1 +1 1 +0 40.63/11.29
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml 5167179 ∞ +0 1 +0 16.18/7.44
Transformed_CSR_04/MYNAT_nosorts_GM.xml 5167180 ∞ +0 1 +0 327.43/293.98
Transformed_CSR_04/ExIntrod_GM01_GM.xml 5167181 ∞ +0 1 +0 24.22/13.34
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml 5167182 ∞ +0 1 +0 692.43/298.91
Transformed_CSR_04/ExConc_Zan97_GM.xml 5167183 n1 +1 1 +0 4.45/2.08
Transformed_CSR_04/PEANO_nosorts_noand_GM.xml 5167184 ∞ +0 1 +0 15.16/6.38
Transformed_CSR_04/ExIntrod_Zan97_GM.xml 5167185 ∞ +0 1 +0 342.56/293.16
Transformed_CSR_04/Ex8_BLR02_FR.xml 5167186 ∞ +0 1 +0 21.98/9.17
Transformed_CSR_04/Ex23_Luc06_GM.xml 5167187 n1 +1 1 +0 4.70/2.05
Transformed_CSR_04/OvConsOS_complete_GM.xml 5167188 ∞ +0 1 +0 1141.77/291.85
Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml 5167189 ∞ +0 1 +0 26.39/17.88
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml 5167190 ∞ +0 1 +0 1147.34/291.92
Transformed_CSR_04/Ex14_AEGL02_Z.xml 5167191 ∞ +0 1 +0 12.30/5.03
Transformed_CSR_04/ExIntrod_GM99_GM.xml 5167192 ∞ +0 1 +0 60.87/41.31
Transformed_CSR_04/PEANO_nokinds_GM.xml 5167193 ∞ +0 1 +0 173.50/142.51
Transformed_CSR_04/Ex1_GM99_L.xml 5167194 ∞ +0 1 +0 10.50/4.00
Transformed_CSR_04/Ex4_Zan97_FR.xml 5167195 ∞ +0 1 +0 8.01/3.42
Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml 5167196 timeout (wallclock)
Transformed_CSR_04/Ex6_GM04_GM.xml 5167197 n1 +1 1 +0 3.98/1.81
Transformed_CSR_04/Ex6_Luc98_GM.xml 5167198 ∞ +0 1 +0 10.93/6.04
Transformed_CSR_04/LISTUTILITIES_complete_GM.xml 5167199 ∞ +0 1 +0 1153.74/291.79
Transformed_CSR_04/Ex1_2_Luc02c_GM.xml 5167200 ∞ +0 1 +0 7.44/2.83
Transformed_CSR_04/Ex26_Luc03b_GM.xml 5167201 ∞ +0 1 +0 19.94/11.69
Transformed_CSR_04/Ex6_Luc98_Z.xml 5167202 n1 +1 1 +0 4.18/1.87
Transformed_CSR_04/Ex9_Luc04_GM.xml 5167203 ∞ +0 1 +0 7.20/2.84
Transformed_CSR_04/PEANO_nokinds_noand_GM.xml 5167204 ∞ +0 1 +0 31.00/16.14
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml 5167205 ∞ +0 1 +0 15.32/5.65
Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml 5167206 ∞ +0 1 +0 657.06/298.28
Transformed_CSR_04/ExProp7_Luc06_L.xml 5167207 n1 +1 1 +0 305.99/291.63
Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml 5167208 n1 +1 1 +0 18.81/5.58
Transformed_CSR_04/Ex1_2_AEL03_GM.xml 5167209 ∞ +0 1 +0 372.77/296.51
Transformed_CSR_04/Ex1_Zan97_L.xml 5167210 ∞ +0 1 +0 9.53/3.91
Transformed_CSR_04/PEANO_complete_GM.xml 5167211 timeout (wallclock)
Transformed_CSR_04/Ex5_Zan97_Z.xml 5167212 n1 +1 1 +0 5.46/3.05
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml 5167213 ∞ +0 1 +0 216.42/175.9
Transformed_CSR_04/OvConsOS_nosorts_Z.xml 5167214 ∞ +0 1 +0 44.86/32.28
Transformed_CSR_04/Ex6_GM04_FR.xml 5167215 ∞ +0 1 +0 13.02/7.41
Transformed_CSR_04/Ex18_Luc06_GM.xml 5167216 n1 +1 1 +0 5.18/2.13
Transformed_CSR_04/Ex4_Zan97_Z.xml 5167217 ∞ +0 1 +0 315.11/292.28
Transformed_CSR_04/Ex49_GM04_GM.xml 5167218 n2 +1 1 +0 100.01/46.54
Transformed_CSR_04/Ex1_Luc04b_FR.xml 5167219 ∞ +0 1 +0 15.61/5.56
Transformed_CSR_04/Ex8_BLR02_Z.xml 5167220 ∞ +0 1 +0 157.18/142.36
Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml 5167221 n1 +1 1 +0 6.27/2.55
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml 5167222 ∞ +0 1 +0 1060.15/291.96
Transformed_CSR_04/Ex5_Zan97_GM.xml 5167223 ∞ +0 1 +0 13.15/5.36
Transformed_CSR_04/Ex25_Luc06_GM.xml 5167224 n1 +1 1 +0 5.97/3.87
Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml 5167225 ∞ +0 1 +0 980.80/291.68
Transformed_CSR_04/Ex14_AEGL02_FR.xml 5167226 ∞ +0 1 +0 23.31/12.77
Transformed_CSR_04/Ex7_BLR02_GM.xml 5167227 ∞ +0 1 +0 16.37/8.86
Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml 5167228 timeout (wallclock)
Transformed_CSR_04/Ex2_Luc03b_L.xml 5167229 n1 +1 1 +0 3.70/1.81
Transformed_CSR_04/Ex2_Luc03b_Z.xml 5167230 n1 +1 1 +0 4.50/1.97
Transformed_CSR_04/MYNAT_complete_noand_GM.xml 5167231 timeout (wallclock)
Transformed_CSR_04/Ex6_15_AEL02_GM.xml 5167232 ∞ +0 1 +0 157.63/80.70
Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml 5167233 ∞ +0 1 +0 32.73/16.53
Transformed_CSR_04/ExConc_Zan97_FR.xml 5167234 n1 +1 1 +0 4.88/2.53
Transformed_CSR_04/Ex4_DLMMU04_GM.xml 5167235 ∞ +0 1 +0 431.78/294.73
Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml 5167236 n1 +1 1 +0 5.10/2.11
Transformed_CSR_04/ExIntrod_GM04_FR.xml 5167237 ∞ +0 1 +0 32.66/16.32
Transformed_CSR_04/Ex4_Zan97_GM.xml 5167238 ∞ +0 1 +0 10.43/4.98
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml 5167239 ∞ +0 1 +0 125.65/97.58
Transformed_CSR_04/Ex26_Luc03b_L.xml 5167240 n1 +1 1 +0 3.81/1.89
TCT_12/recursion-10.xml 5166990 ∞ +0 1 +0 7.93/3.21
TCT_12/polycounter-10.xml 5166991 ∞ +0 1 +0 20.78/6.60
TCT_12/recursion-5.xml 5166992 ∞ +0 1 +0 6.51/2.54
TCT_12/polycounter-5.xml 5166993 ∞ +0 1 +0 7.06/2.66
TCT_12/sat.xml 5166994 n2 +1 1 +0 56.71/15.47
Waldmann_06/jwno4.xml 5167464 ∞ +0 1 +0 13.12/5.32
Waldmann_06/jwmatchb2.xml 5167465 n1 +1 1 +0 5.02/2.13
Waldmann_06/jwno6.xml 5167466 ∞ +0 1 +0 15.04/9.75
Waldmann_06/jwmatchb1.xml 5167467 n1 +1 1 +0 5.12/2.16
Waldmann_06/jwno1.xml 5167468 ∞ +0 1 +0 335.61/296.27
Various_04/11.xml 5166923 ∞ +0 1 +0 5.37/2.36
Various_04/24.xml 5166924 n1 +1 1 +0 376.34/292.45
Various_04/15.xml 5166925 n1 +1 1 +0 6.04/2.66
Various_04/22.xml 5166926 ∞ +0 1 +0 5.55/2.30
Strategy_removed_AG01/#4.27.xml 5167273 ∞ +0 1 +0 680.94/297.15
Strategy_removed_AG01/#4.22.xml 5167274 ∞ +0 1 +0 4.72/2.06
Strategy_removed_AG01/#4.36.xml 5167275 ∞ +0 1 +0 395.29/292.72
Strategy_removed_AG01/#4.37.xml 5167276 n1 +1 1 +0 4.19/1.88
Strategy_removed_AG01/#4.30b.xml 5167277 ∞ +0 1 +0 65.06/52.06
Strategy_removed_AG01/#4.33.xml 5167278 ∞ +0 1 +0 348.65/295.21
Strategy_removed_AG01/#4.26.xml 5167279 ∞ +0 1 +0 7.91/3.77
Strategy_removed_AG01/#4.23.xml 5167280 ∞ +0 1 +0 47.61/36.03
Strategy_removed_AG01/#4.32.xml 5167281 n2 +1 1 +0 7.13/2.72
Strategy_removed_AG01/#4.28.xml 5167282 n3 +1 1 +0 19.64/7.54
Strategy_removed_AG01/#4.30a.xml 5167283 ∞ +0 1 +0 30.62/20.09
Strategy_removed_AG01/#4.30.xml 5167284 ∞ +0 1 +0 23.38/15.31
Strategy_removed_AG01/#4.29.xml 5167285 timeout (wallclock)
Strategy_removed_AG01/#4.34.xml 5167286 n2 +1 1 +0 20.18/7.21
Strategy_removed_AG01/#4.30c.xml 5167287 ∞ +0 1 +0 32.56/20.69
SK90/4.12.xml 5166857 n1 +1 1 +0 5.19/2.14
SK90/2.45.xml 5166858 n1 +1 1 +0 7.33/2.80
SK90/2.15.xml 5166859 ∞ +0 1 +0 5.25/2.20
SK90/2.40.xml 5166860 n1 +1 1 +0 7.62/2.87
SK90/2.47.xml 5166861 n1 +1 1 +0 3.58/1.76
SK90/2.22.xml 5166862 n2 +1 1 +0 5.27/2.19
SK90/2.27.xml 5166863 ∞ +0 1 +0 74.40/63.80
SK90/4.57.xml 5166864 n1 +1 1 +0 8.71/3.02
SK90/4.60.xml 5166865 ∞ +0 1 +0 352.90/297.27
SK90/2.31.xml 5166866 n1 +1 1 +0 4.59/2.02
SK90/2.52.xml 5166867 ∞ +0 1 +0 326.28/292.82
SK90/4.13.xml 5166868 ∞ +0 1 +0 6.83/2.91
SK90/2.25.xml 5166869 ∞ +0 1 +0 9.08/3.83
SK90/2.12.xml 5166870 n3 +1 1 +0 8.67/3.26
SK90/4.54.xml 5166871 ∞ +0 1 +0 6.79/2.64
SK90/2.50.xml 5166872 n1 +1 1 +0 3.34/1.63
SK90/4.34.xml 5166873 ∞ +0 1 +0 12.17/9.16
SK90/4.47.xml 5166874 n1 +1 1 +0 5.22/2.19
SK90/2.09.xml 5166875 n1 +1 1 +0 3.68/1.92
SK90/2.17.xml 5166876 n1 +1 1 +0 3.52/1.71
SK90/4.30.xml 5166877 n1 +1 1 +0 7.12/2.73
SK90/2.39.xml 5166878 n2 +1 1 +0 12.94/4.75
SK90/2.29.xml 5166879 n1 +1 1 +0 5.44/2.24
SK90/4.27.xml 5166880 ∞ +0 1 +0 309.7/291.63
SK90/4.61.xml 5166881 ∞ +0 1 +0 985.62/293.06
SK90/4.29.xml 5166882 n1 +1 1 +0 4.29/2.34
SK90/2.37.xml 5166883 n1 +1 1 +0 3.84/1.75
SK90/2.54.xml 5166884 n1 +1 1 +0 3.75/1.97
SK90/4.16.xml 5166885 n1 +1 1 +0 4.18/1.96
SK90/4.31.xml 5166886 ∞ +0 1 +0 6.09/2.41
SK90/2.13.xml 5166887 n1 +1 1 +0 3.90/1.81
SK90/4.18.xml 5166888 n2 +1 1 +0 4.13/3.02
SK90/2.20.xml 5166889 n1 +1 1 +0 4.08/1.82
SK90/4.05.xml 5166890 n2 +1 1 +0 4.13/2.04
SK90/2.44.xml 5166891 n1 +1 1 +0 6.16/2.38
SK90/2.43.xml 5166892 ∞ +0 1 +0 56.35/20.88
SK90/2.48.xml 5166893 n1 +1 1 +0 3.83/1.76
SK90/4.17.xml 5166894 ∞ +0 1 +0 163.05/157.53
SK90/2.24.xml 5166895 ∞ +0 1 +0 3.82/1.90
SK90/2.16.xml 5166896 n2 +1 1 +0 5.67/2.31
SK90/2.41.xml 5166897 n1 +1 1 +0 3.98/1.94
SK90/2.51.xml 5166898 ∞ +0 1 +0 8.77/3.93
SK90/4.24.xml 5166899 ∞ +0 1 +0 639.84/299.11
SK90/2.28.xml 5166900 ∞ +0 1 +0 5.54/2.23
SK90/2.23.xml 5166901 ∞ +0 1 +0 11.84/4.11
SK90/4.38.xml 5166902 n1 +1 1 +0 4.32/1.94
SK90/4.42.xml 5166903 ∞ +0 1 +0 13.15/8.31
SK90/2.53.xml 5166904 n1 +1 1 +0 4.00/1.90
SK90/2.21.xml 5166905 ∞ +0 1 +0 4.26/1.98
SK90/2.19.xml 5166906 n2 +1 1 +0 7.46/3.39
SK90/2.11.xml 5166907 n1 +1 1 +0 3.97/1.82
SK90/2.26.xml 5166908 ∞ +0 1 +0 449.08/129.19
SK90/2.30.xml 5166909 1 +1 1 +0 3.42/2.34
SK90/2.36.xml 5166910 n1 +1 1 +0 4.16/1.86
SK90/2.18.xml 5166911 n3 +1 1 +0 5.37/2.23
SK90/4.35.xml 5166912 n1 +1 1 +0 3.59/1.73
SK90/4.59.xml 5166913 ∞ +0 1 +0 8.01/2.99
Strategy_removed_mixed_05/test77.xml 5167324 ∞ +0 1 +0 6.25/3.09
Strategy_removed_mixed_05/muladd.xml 5167325 ∞ +0 1 +0 308.96/291.60
Strategy_removed_mixed_05/test830.xml 5167326 n1 +1 1 +0 5.43/2.15
Strategy_removed_mixed_05/test76.xml 5167327 ∞ +0 1 +0 6.05/2.38
Strategy_removed_CSR_05/Ex8_BLR02.xml 5166957 ∞ +0 1 +0 22.94/10.74
Strategy_removed_CSR_05/Ex4_4_Luc96b.xml 5166958 ∞ +0 1 +0 6.59/2.67
Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml 5166959 ∞ +0 1 +0 9.19/3.83
Strategy_removed_CSR_05/Ex6_GM04.xml 5166960 ∞ +0 1 +0 11.00/4.39
Strategy_removed_CSR_05/Ex6_9_Luc02c.xml 5166961 ∞ +0 1 +0 4.49/2.03
Strategy_removed_CSR_05/Ex1_Zan97.xml 5166962 ∞ +0 1 +0 11.57/6.99
Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml 5166963 ∞ +0 1 +0 4.49/1.99
Strategy_removed_CSR_05/Ex1_GM03.xml 5166964 ∞ +0 1 +0 169.71/127.11
Strategy_removed_CSR_05/Ex7_BLR02.xml 5166965 ∞ +0 1 +0 4.82/2.11
Strategy_removed_CSR_05/ExIntrod_GM99.xml 5166966 ∞ +0 1 +0 189.30/86.11
Strategy_removed_CSR_05/ExAppendixB_AEL03.xml 5166967 ∞ +0 1 +0 14.39/6.01
Strategy_removed_CSR_05/Ex3_2_Luc97.xml 5166968 ∞ +0 1 +0 5.70/2.24
Strategy_removed_CSR_05/Ex15_Luc98.xml 5166969 ∞ +0 1 +0 4.60/2.04
Strategy_removed_CSR_05/Ex4_Zan97.xml 5166970 ∞ +0 1 +0 5.99/2.45
Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml 5166971 ∞ +0 1 +0 228.17/218.21
Strategy_removed_CSR_05/Ex14_AEGL02.xml 5166972 ∞ +0 1 +0 4.11/1.92
Strategy_removed_CSR_05/Ex49_GM04.xml 5166973 n1 +1 1 +0 19.40/5.82
Strategy_removed_CSR_05/Ex6_Luc98.xml 5166974 ∞ +0 1 +0 4.24/1.97
Strategy_removed_CSR_05/ExConc_Zan97.xml 5166975 ∞ +0 1 +0 8.82/3.77
Strategy_removed_CSR_05/ExIntrod_GM01.xml 5166976 ∞ +0 1 +0 17.26/6.25
Strategy_removed_CSR_05/ExIntrod_GM04.xml 5166977 ∞ +0 1 +0 14.47/7.48
Strategy_removed_CSR_05/Ex3_12_Luc96a.xml 5166978 ∞ +0 1 +0 4.37/2.24
Strategy_removed_CSR_05/Ex2_Luc03b.xml 5166979 ∞ +0 1 +0 4.39/3.31
Strategy_removed_CSR_05/Ex1_GL02a.xml 5166980 ∞ +0 1 +0 4.81/2.62
Strategy_removed_CSR_05/Ex26_Luc03b.xml 5166981 ∞ +0 1 +0 24.49/14.19
Strategy_removed_CSR_05/Ex9_BLR02.xml 5166982 ∞ +0 1 +0 13.70/8.69
Strategy_removed_CSR_05/Ex5_Zan97.xml 5166983 ∞ +0 1 +0 11.60/4.33
Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml 5166984 ∞ +0 1 +0 332.26/291.59
Strategy_removed_CSR_05/Ex1_Luc02b.xml 5166985 ∞ +0 1 +0 4.71/2.02
Strategy_removed_CSR_05/Ex1_2_Luc02c.xml 5166986 ∞ +0 1 +0 4.00/2.87
Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml 5166987 ∞ +0 1 +0 6.68/2.48
Strategy_removed_CSR_05/ExIntrod_Zan97.xml 5166988 ∞ +0 1 +0 382.87/298.77
Strategy_removed_CSR_05/Ex1_2_AEL03.xml 5166989 ∞ +0 1 +0 9.11/3.22
Zantema_05/z16.xml 5167314 ∞ +0 1 +0 123.23/113.14
Zantema_05/z13.xml 5167315 ∞ +0 1 +0 241.06/228.94
Zantema_05/z17.xml 5167316 ∞ +0 1 +0 329.22/291.60
Zantema_05/z27.xml 5167317 ∞ +0 1 +0 4.84/2.23
Zantema_05/z23.xml 5167318 n1 +1 1 +0 413.94/291.58
Zantema_05/z12.xml 5167319 ∞ +0 1 +0 306.64/291.73
Zantema_05/z15.xml 5167320 ∞ +0 1 +0 303.52/291.64
Zantema_05/z14.xml 5167321 ∞ +0 1 +0 118.05/108.15
Zantema_05/z24.xml 5167322 ∞ +0 1 +0 393.64/291.66
Zantema_05/z18.xml 5167323 ∞ +0 1 +0 302.64/291.63
AProVE_06/tower.xml 5166914 ∞ +0 1 +0 675.62/299.94
AProVE_06/tower_sizeChange.xml 5166915 ∞ +0 1 +0 34.85/22.16
AProVE_06/identity.xml 5166916 ∞ +0 1 +0 36.76/16.52
AProVE_06/logarithm.xml 5166917 ∞ +0 1 +0 689.73/294.87
AProVE_06/factorial1.xml 5166918 ∞ +0 1 +0 651.16/298.80
AProVE_06/factorial2.xml 5166919 ∞ +0 1 +0 43.40/19.24
AProVE_06/div_notCeTermin.xml 5166920 ∞ +0 1 +0 248.74/222.0
AProVE_06/quicksort.xml 5166921 ∞ +0 1 +0 905.75/291.57
AProVE_06/sizeChange.xml 5166922 ∞ +0 1 +0 137.85/130.08
AProVE_04/IJCAR_1.xml 5167081 ∞ +0 1 +0 5.42/2.28
AProVE_04/AAECC-ring.xml 5167082 ∞ +0 1 +0 1115.32/296.95
AProVE_04/AAECC.xml 5167083 timeout (wallclock)
AProVE_04/JFP_Ex51.xml 5167084 n2 +1 1 +0 99.53/44.41
AProVE_04/rta1.xml 5167085 ∞ +0 1 +0 341.44/297.46
AProVE_04/fac.xml 5167086 ∞ +0 1 +0 563.02/293.23
AProVE_04/rta2.xml 5167087 ∞ +0 1 +0 3.91/1.83
AProVE_04/rta3.xml 5167088 ∞ +0 1 +0 8.72/6.12
AProVE_08/log.xml 5167288 ∞ +0 1 +0 911.49/298.29
AProVE_08/parting05_maxsort.xml 5167289 ∞ +0 1 +0 436.65/294.90
AProVE_08/parting03_minsort.xml 5167290 ∞ +0 1 +0 382.02/297.67
AProVE_08/parting04_maxsort_h.xml 5167291 timeout (wallclock)
AProVE_08/thiemann40_modified.xml 5167292 ∞ +0 1 +0 241.02/224.78
AProVE_08/parting01_reverse.xml 5167293 ∞ +0 1 +0 362.42/295.49
AProVE_08/parting02_doublelist.xml 5167294 ∞ +0 1 +0 374.43/296.43
AProVE_07/thiemann14.xml 5167378 ∞ +0 1 +0 650.35/293.70
AProVE_07/otto06.xml 5167379 ∞ +0 1 +0 697.87/298.02
AProVE_07/thiemann01.xml 5167380 ∞ +0 1 +0 31.57/14.37
AProVE_07/thiemann31.xml 5167381 ∞ +0 1 +0 36.80/25.50
AProVE_07/thiemann21.xml 5167382 ∞ +0 1 +0 668.06/291.66
AProVE_07/thiemann25.xml 5167383 ∞ +0 1 +0 12.03/4.78
AProVE_07/thiemann05.xml 5167384 ∞ +0 1 +0 394.2/298.98
AProVE_07/thiemann03.xml 5167385 ∞ +0 1 +0 421.62/294.31
AProVE_07/thiemann34.xml 5167386 ∞ +0 1 +0 26.95/16.51
AProVE_07/thiemann26.xml 5167387 ∞ +0 1 +0 31.84/16.26
AProVE_07/otto03.xml 5167388 ∞ +0 1 +0 7.03/2.85
AProVE_07/thiemann10.xml 5167389 ∞ +0 1 +0 316.45/291.71
AProVE_07/thiemann30.xml 5167390 ∞ +0 1 +0 421.58/291.59
AProVE_07/otto04.xml 5167391 ∞ +0 1 +0 332.46/292.21
AProVE_07/otto05.xml 5167392 ∞ +0 1 +0 134.02/125.51
AProVE_07/thiemann40.xml 5167393 ∞ +0 1 +0 9.90/7.89
AProVE_07/thiemann17.xml 5167394 ∞ +0 1 +0 659.18/299.50
AProVE_07/otto08.xml 5167395 ∞ +0 1 +0 103.28/67.66
AProVE_07/thiemann18.xml 5167396 timeout (wallclock)
AProVE_07/thiemann36.xml 5167397 ∞ +0 1 +0 42.02/30.51
AProVE_07/thiemann29.xml 5167398 ∞ +0 1 +0 350.61/291.73
AProVE_07/thiemann37.xml 5167399 ∞ +0 1 +0 1137.4/291.63
AProVE_07/thiemann04.xml 5167400 timeout (wallclock)
AProVE_07/otto02.xml 5167401 ∞ +0 1 +0 282.36/239.39
AProVE_07/thiemann38.xml 5167402 ∞ +0 1 +0 60.79/33.56
AProVE_07/thiemann41.xml 5167403 ∞ +0 1 +0 89.20/62.35
AProVE_07/thiemann27.xml 5167404 ∞ +0 1 +0 6.87/2.81
AProVE_07/otto07.xml 5167405 ∞ +0 1 +0 6.58/2.92
AProVE_07/otto01.xml 5167406 ∞ +0 1 +0 1044.19/299.41
AProVE_07/thiemann23.xml 5167407 ∞ +0 1 +0 77.38/43.20
AProVE_07/thiemann07.xml 5167408 timeout (wallclock)
AProVE_07/thiemann32.xml 5167409 ∞ +0 1 +0 62.68/38.59
AProVE_07/thiemann19.xml 5167410 ∞ +0 1 +0 399.49/293.52
AProVE_07/otto12.xml 5167411 ∞ +0 1 +0 20.24/8.37
AProVE_07/otto11.xml 5167412 ∞ +0 1 +0 35.10/15.22
AProVE_07/thiemann16.xml 5167413 ∞ +0 1 +0 440.67/299.53
AProVE_07/thiemann11.xml 5167414 ∞ +0 1 +0 573.98/291.69
AProVE_07/thiemann22.xml 5167415 ∞ +0 1 +0 368.59/291.67
AProVE_07/thiemann20.xml 5167416 ∞ +0 1 +0 73.97/38.65
AProVE_07/thiemann15.xml 5167417 ∞ +0 1 +0 304.82/291.75
AProVE_07/thiemann28.xml 5167418 ∞ +0 1 +0 356.70/296.24
AProVE_07/kabasci04.xml 5167419 ∞ +0 1 +0 665.64/298.82
AProVE_07/thiemann13.xml 5167420 ∞ +0 1 +0 620.20/292.76
AProVE_07/thiemann06.xml 5167421 ∞ +0 1 +0 331.30/214.43
AProVE_07/otto10.xml 5167422 ∞ +0 1 +0 121.52/84.37
AProVE_07/thiemann12.xml 5167423 ∞ +0 1 +0 117.79/95.55
AProVE_07/otto09.xml 5167424 ∞ +0 1 +0 141.51/117.72
AProVE_07/otto13.xml 5167425 ∞ +0 1 +0 229.93/186.53
AProVE_07/thiemann33.xml 5167426 ∞ +0 1 +0 26.39/12.31
AProVE_07/thiemann24.xml 5167427 ∞ +0 1 +0 17.54/7.60
AProVE_07/thiemann02.xml 5167428 ∞ +0 1 +0 913.15/297.30
AProVE_07/thiemann08.xml 5167429 ∞ +0 1 +0 51.80/38.65
AG01/#3.49.xml 5166806 ∞ +0 1 +0 556.77/291.61
AG01/#3.18.xml 5166807 ∞ +0 1 +0 9.73/3.50
AG01/#3.6.xml 5166808 n2 +1 1 +0 10.42/3.59
AG01/#3.35.xml 5166809 n1 +1 1 +0 3.77/1.90
AG01/#3.53.xml 5166810 n3 +1 1 +0 18.33/7.64
AG01/#3.55.xml 5166811 ∞ +0 1 +0 979.25/292.99
AG01/#3.52.xml 5166812 n2 +1 1 +0 4.51/2.04
AG01/#3.47.xml 5166813 n2 +1 1 +0 7.23/2.70
AG01/#3.10.xml 5166814 ∞ +0 1 +0 755.63/291.62
AG01/#3.6b.xml 5166815 n3 +1 1 +0 18.43/5.89
AG01/#3.53b.xml 5166816 n2 +1 1 +0 4.77/2.02
AG01/#3.12.xml 5166817 n3 +1 1 +0 12.59/4.60
AG01/#3.23.xml 5166818 n1 +1 1 +0 6.72/6.19
AG01/#3.15.xml 5166819 n2 +1 1 +0 10.09/4.01
AG01/#3.5a.xml 5166820 n2 +1 1 +0 8.98/3.10
AG01/#3.13.xml 5166821 timeout (wallclock)
AG01/#3.41.xml 5166822 ∞ +0 1 +0 5.85/2.52
AG01/#3.8a.xml 5166823 n2 +1 1 +0 19.38/5.90
AG01/#3.2.xml 5166824 n2 +1 1 +0 7.36/2.75
AG01/#3.36.xml 5166825 ∞ +0 1 +0 194.92/179.32
AG01/#3.48.xml 5166826 n2 +1 1 +0 12.19/3.97
AG01/#3.16.xml 5166827 n3 +1 1 +0 6.40/2.48
AG01/#3.1.xml 5166828 n2 +1 1 +0 5.11/2.14
AG01/#3.6a.xml 5166829 n2 +1 1 +0 7.15/2.71
AG01/#3.26.xml 5166830 ∞ +0 1 +0 10.77/4.25
AG01/#3.7.xml 5166831 n2 +1 1 +0 9.96/3.94
AG01/#3.5b.xml 5166832 n3 +1 1 +0 18.02/9.92
AG01/#3.5.xml 5166833 n2 +1 1 +0 8.15/2.88
AG01/#3.38.xml 5166834 ∞ +0 1 +0 91.05/80.79
AG01/#3.31.xml 5166835 ∞ +0 1 +0 18.56/9.78
AG01/#3.33.xml 5166836 n1 +1 1 +0 4.18/1.91
AG01/#3.24.xml 5166837 n1 +1 1 +0 4.81/2.01
AG01/#3.42.xml 5166838 n3 +1 1 +0 38.42/17.63
AG01/#3.37.xml 5166839 n1 +1 1 +0 13.81/7.68
AG01/#4.30c.xml 5166840 ∞ +0 1 +0 42.56/30.51
AG01/#3.8b.xml 5166841 n3 +1 1 +0 72.25/33.88
Frederiksen_Glenstrup/naiverev.xml 5167029 n2 +1 1 +0 12.22/4.39
Frederiksen_Glenstrup/increase.xml 5167030 ∞ +0 1 +0 11.27/4.38
Frederiksen_Glenstrup/ack.xml 5167031 ∞ +0 1 +0 16.51/6.57
Frederiksen_Glenstrup/deeprev_typed.xml 5167032 n1 +1 1 +0 6.55/2.53
Frederiksen_Glenstrup/assrewrite.xml 5167033 ∞ +0 1 +0 17.79/10.47
Frederiksen_Glenstrup/binom.xml 5167034 ∞ +0 1 +0 25.13/11.93
Frederiksen_Glenstrup/addlists.xml 5167035 n1 +1 1 +0 4.51/2.02
Frederiksen_Glenstrup/fold.xml 5167036 n1 +1 1 +0 5.24/2.14
Frederiksen_Glenstrup/mul.xml 5167037 n3 +1 1 +0 6.14/2.46
Frederiksen_Glenstrup/sp1.xml 5167038 ∞ +0 1 +0 13.74/5.20
Frederiksen_Glenstrup/nestdec.xml 5167039 n1 +1 1 +0 6.90/2.57
Frederiksen_Glenstrup/member.xml 5167040 n1 +1 1 +0 5.64/2.32
Frederiksen_Glenstrup/power.xml 5167041 ∞ +0 1 +0 12.78/4.60
Frederiksen_Glenstrup/mul_better.xml 5167042 n3 +1 1 +0 6.32/2.47
Frederiksen_Glenstrup/lte.xml 5167043 n1 +1 1 +0 5.24/2.14
Frederiksen_Glenstrup/overlap.xml 5167044 n2 +1 1 +0 10.87/3.77
Frederiksen_Glenstrup/nestimeql.xml 5167045 ∞ +0 1 +0 135.96/121.59
Frederiksen_Glenstrup/minsort.xml 5167046 ∞ +0 1 +0 21.41/10.47
Frederiksen_Glenstrup/thetrick.xml 5167047 timeout (wallclock)
Frederiksen_Glenstrup/badd.xml 5167048 ∞ +0 1 +0 12.70/4.64
Frederiksen_Glenstrup/evenodd.xml 5167049 n1 +1 1 +0 4.03/1.96
Frederiksen_Glenstrup/append.xml 5167050 n1 +1 1 +0 3.94/1.84
Frederiksen_Glenstrup/duplicate.xml 5167051 n1 +1 1 +0 3.52/1.69
Frederiksen_Glenstrup/add.xml 5167052 n1 +1 1 +0 4.62/2.08
Frederiksen_Glenstrup/ordered_better.xml 5167053 n1 +1 1 +0 4.91/2.08
Frederiksen_Glenstrup/turing_typed.xml 5167054 ∞ +0 1 +0 30.40/16.66
Frederiksen_Glenstrup/map0.xml 5167055 n2 +1 1 +0 4.62/2.06
Frederiksen_Glenstrup/lambdaint_typed.xml 5167056 ∞ +0 1 +0 624.03/291.62
Frederiksen_Glenstrup/intlookup.xml 5167057 ∞ +0 1 +0 5.62/2.32
Frederiksen_Glenstrup/list.xml 5167058 n1 +1 1 +0 3.89/1.84
Frederiksen_Glenstrup/vangelder_typed.xml 5167059 ∞ +0 1 +0 1145.69/293.65
Frederiksen_Glenstrup/disjconj.xml 5167060 ∞ +0 1 +0 29.39/6.47
Frederiksen_Glenstrup/mergelists.xml 5167061 n1 +1 1 +0 6.52/2.55
Frederiksen_Glenstrup/equal.xml 5167062 ∞ +0 1 +0 10.71/4.19
Frederiksen_Glenstrup/gcd2.xml 5167063 timeout (wallclock)
Frederiksen_Glenstrup/anchored.xml 5167064 n1 +1 1 +0 4.16/2.17
Frederiksen_Glenstrup/ordered.xml 5167065 n1 +1 1 +0 5.06/2.12
Frederiksen_Glenstrup/subsets.xml 5167066 ∞ +0 1 +0 7.54/2.96
Frederiksen_Glenstrup/select.xml 5167067 n3 +1 1 +0 5.35/2.20
Frederiksen_Glenstrup/game.xml 5167068 n1 +1 1 +0 4.80/2.52
Frederiksen_Glenstrup/letexp.xml 5167069 ∞ +0 1 +0 9.83/4.05
Frederiksen_Glenstrup/shuffle.xml 5167070 n3 +1 1 +0 13.13/4.72
Frederiksen_Glenstrup/parsexp.xml 5167071 timeout (wallclock)
Frederiksen_Glenstrup/gcd.xml 5167072 timeout (wallclock)
Frederiksen_Glenstrup/revapp.xml 5167073 n1 +1 1 +0 4.07/1.87
Frederiksen_Glenstrup/quicksort.xml 5167074 ∞ +0 1 +0 313.82/291.70
Frederiksen_Glenstrup/mergesort.xml 5167075 ∞ +0 1 +0 49.93/29.42
Frederiksen_Glenstrup/decrease.xml 5167076 n1 +1 1 +0 4.03/1.88
Frederiksen_Glenstrup/permute.xml 5167077 ∞ +0 1 +0 455.92/295.66
Frederiksen_Glenstrup/nestinc.xml 5167078 ∞ +0 1 +0 93.90/84.07
Frederiksen_Glenstrup/int.xml 5167079 timeout (wallclock)
Frederiksen_Glenstrup/nesteql.xml 5167080 ∞ +0 1 +0 12.46/4.55
Endrullis_06/direct.xml 5167089 n1 +1 1 +0 9.22/3.26
GTSSK07/cade01.xml 5167363 ∞ +0 1 +0 7.06/2.63
GTSSK07/cade11.xml 5167364 ∞ +0 1 +0 7.98/3.27
GTSSK07/cade14.xml 5167365 ∞ +0 1 +0 13.78/9.66
GTSSK07/cade16.xml 5167366 ∞ +0 1 +0 96.21/45.38
GTSSK07/cade12t.xml 5167367 timeout (wallclock)
GTSSK07/cade09.xml 5167368 ∞ +0 1 +0 313.00/291.75
GTSSK07/cade10.xml 5167369 ∞ +0 1 +0 69.24/60.24
GTSSK07/cade06.xml 5167370 ∞ +0 1 +0 374.30/297.06
GTSSK07/cade03.xml 5167371 ∞ +0 1 +0 8.60/3.12
GTSSK07/cade13t.xml 5167372 ∞ +0 1 +0 26.08/15.47
GTSSK07/cade05t.xml 5167373 ∞ +0 1 +0 359.75/296.09
GTSSK07/cade17.xml 5167374 timeout (wallclock)
GTSSK07/cade08.xml 5167375 ∞ +0 1 +0 445.26/296.53
GTSSK07/cade07.xml 5167376 ∞ +0 1 +0 53.23/45.68
GTSSK07/cade15.xml 5167377 ∞ +0 1 +0 387.26/292.83
Frederiksen_Others/match.xml 5166995 n2 +1 1 +0 6.55/2.50
Frederiksen_Others/gexgcd.xml 5166996 n1 +1 1 +0 154.64/40.83
Frederiksen_Others/dup1_typed.xml 5166997 n1 +1 1 +0 11.40/3.74
Frederiksen_Others/thetrickSize.xml 5166998 n2 +1 1 +0 14.26/4.57
Frederiksen_Others/power.xml 5166999 ∞ +0 1 +0 16.91/8.51
Frederiksen_Others/quicksortSize.xml 5167000 ∞ +0 1 +0 972.48/291.65
Frederiksen_Others/fghSize.xml 5167001 ∞ +0 1 +0 397.44/292.35
Frederiksen_Others/graphcolour2Size_typed.xml 5167002 ∞ +0 1 +0 1130.58/291.88
Frederiksen_Others/inssort_better.xml 5167003 n2 +1 1 +0 7.20/2.70
Frederiksen_Others/disj2_typed.xml 5167004 n1 +1 1 +0 6.39/2.48
Frederiksen_Others/inssort.xml 5167005 n2 +1 1 +0 7.11/2.69
Frederiksen_Others/graphcolour2_typed.xml 5167006 ∞ +0 1 +0 1130.56/291.85
Frederiksen_Others/add.xml 5167007 n3 +1 1 +0 5.55/2.46
Frederiksen_Others/deadcodeSize.xml 5167008 ∞ +0 1 +0 11.74/8.07
Frederiksen_Others/oddeven.xml 5167009 n1 +1 1 +0 3.79/1.91
Frederiksen_Others/reach.xml 5167010 ∞ +0 1 +0 1142.05/291.80
Frederiksen_Others/ex6.xml 5167011 n1 +1 1 +0 3.93/1.82
Frederiksen_Others/bubblesort.xml 5167012 n2 +1 1 +0 9.59/3.40
Frederiksen_Others/gexgcd2.xml 5167013 ∞ +0 1 +0 37.62/18.62
Frederiksen_Others/div2.xml 5167014 n1 +1 1 +0 4.88/2.09
Frederiksen_Others/ocall-safe.xml 5167015 n1 +1 1 +0 4.71/2.07
Frederiksen_Others/minsortSize.xml 5167016 ∞ +0 1 +0 17.39/7.77
Frederiksen_Others/assrewriteSize.xml 5167017 ∞ +0 1 +0 10.82/4.10
Frederiksen_Others/permut.xml 5167018 n1 +1 1 +0 3.53/2.31
Frederiksen_Others/graphcolour1_typed.xml 5167019 ∞ +0 1 +0 1121.28/291.91
Frederiksen_Others/ocall-unsafe.xml 5167020 n1 +1 1 +0 4.44/1.95
Frederiksen_Others/eq.xml 5167021 n1 +1 1 +0 4.00/1.86
Frederiksen_Others/quicksortPtime.xml 5167022 n2 +1 1 +0 36.66/10.50
Frederiksen_Others/graphcolour3_typed.xml 5167023 ∞ +0 1 +0 1132.4/291.88
Frederiksen_Others/strmatch.xml 5167024 n2 +1 1 +0 35.66/10.18
Frederiksen_Others/dup2_typed.xml 5167025 n1 +1 1 +0 5.58/2.35
Frederiksen_Others/fgh.xml 5167026 ∞ +0 1 +0 440.60/293.28
Frederiksen_Others/boolprog.xml 5167027 n1 +1 1 +0 9.86/3.38
Frederiksen_Others/rematch.xml 5167028 ∞ +0 1 +0 1091.13/292.10
Beerendonk_07/12.xml 5167339 ∞ +0 1 +0 29.09/21.44
Beerendonk_07/10.xml 5167340 ∞ +0 1 +0 332.76/291.58
Beerendonk_07/14.xml 5167341 ∞ +0 1 +0 10.76/3.73
Beerendonk_07/13.xml 5167342 ∞ +0 1 +0 267.72/252.02
Beerendonk_07/3.xml 5167343 ∞ +0 1 +0 12.83/6.27
Beerendonk_07/20.xml 5167344 timeout (wallclock)
Beerendonk_07/7.xml 5167345 ∞ +0 1 +0 308.34/293.25
Beerendonk_07/1.xml 5167346 ∞ +0 1 +0 9.91/5.03
Beerendonk_07/17.xml 5167347 ∞ +0 1 +0 725.61/295.66
Beerendonk_07/23.xml 5167348 ∞ +0 1 +0 37.95/28.99
Beerendonk_07/19.xml 5167349 ∞ +0 1 +0 915.08/294.83
Beerendonk_07/16.xml 5167350 ∞ +0 1 +0 676.45/294.65
Beerendonk_07/5.xml 5167351 ∞ +0 1 +0 1027.56/299.04
Beerendonk_07/11.xml 5167352 ∞ +0 1 +0 353.37/291.63
Beerendonk_07/2.xml 5167353 ∞ +0 1 +0 9.26/3.81
Beerendonk_07/8.xml 5167354 ∞ +0 1 +0 1041.67/296.72
Beerendonk_07/18.xml 5167355 ∞ +0 1 +0 1116.01/296.26
Beerendonk_07/6.xml 5167356 ∞ +0 1 +0 6.74/2.81
Beerendonk_07/21.xml 5167357 ∞ +0 1 +0 748.86/295.93
Beerendonk_07/9.xml 5167358 ∞ +0 1 +0 665.31/294.76
Beerendonk_07/4.xml 5167359 ∞ +0 1 +0 7.73/4.08
Beerendonk_07/24.xml 5167360 ∞ +0 1 +0 955.20/294.26
Beerendonk_07/15.xml 5167361 ∞ +0 1 +0 839.28/295.71
Beerendonk_07/22.xml 5167362 ∞ +0 1 +0 307.61/291.65
AProVE_09_Inductive/zerolist.xml 5167430 ∞ +0 1 +0 55.55/44.05
AProVE_09_Inductive/log.xml 5167431 ∞ +0 1 +0 352.73/292.59
AProVE_09_Inductive/maxsort.xml 5167432 ∞ +0 1 +0 448.51/295.01
AProVE_09_Inductive/qsortlast.xml 5167433 timeout (wallclock)
AProVE_09_Inductive/qsort.xml 5167434 ∞ +0 1 +0 987.27/294.43
AProVE_09_Inductive/qsortmiddle.xml 5167435 timeout (wallclock)
AProVE_09_Inductive/minsort.xml 5167436 timeout (wallclock)
AProVE_09_Inductive/gcd2.xml 5167437 ∞ +0 1 +0 520.91/292.10
AProVE_09_Inductive/maxsortcondition.xml 5167438 ∞ +0 1 +0 67.33/31.17
AProVE_09_Inductive/div.xml 5167439 ∞ +0 1 +0 418.06/291.92
AProVE_09_Inductive/mod.xml 5167440 ∞ +0 1 +0 307.29/250.20
AProVE_09_Inductive/divhard.xml 5167441 ∞ +0 1 +0 362.82/292.57
AProVE_09_Inductive/gcd.xml 5167442 ∞ +0 1 +0 381.38/291.73
AProVE_09_Inductive/gcdhard.xml 5167443 ∞ +0 1 +0 174.21/117.32
Der95/27.xml 5167090 n1 +1 1 +0 3.79/1.83
Der95/06.xml 5167091 n1 +1 1 +0 3.67/1.88
Der95/08.xml 5167092 n1 +1 1 +0 3.44/1.75
Der95/11.xml 5167093 n1 +1 1 +0 4.66/2.00
Der95/18.xml 5167094 n1 +1 1 +0 3.50/1.86
Der95/21.xml 5167095 ∞ +0 1 +0 243.80/201.46
Der95/32.xml 5167096 n2 +1 1 +0 7.82/2.83
CiME_04/filliatre2.xml 5167264 ∞ +0 1 +0 76.05/39.16
CiME_04/append-hard.xml 5167265 ∞ +0 1 +0 6.22/2.53
CiME_04/ack_prolog.xml 5167266 ∞ +0 1 +0 58.39/42.33
CiME_04/filliatre.xml 5167267 ∞ +0 1 +0 131.87/89.75
CiME_04/append.xml 5167268 n1 +1 1 +0 4.07/1.91
CiME_04/fact-hard.xml 5167269 ∞ +0 1 +0 731.78/298.77
CiME_04/filliatre3.xml 5167270 ∞ +0 1 +0 87.48/46.39
CiME_04/list-sum-prod.xml 5167271 ∞ +0 1 +0 24.22/13.06
CiME_04/append-wrong.xml 5167272 ∞ +0 1 +0 133.75/122.35
210