TermComp 2020: Complexity: ITS 41566 Job info CSV Showing results.

AProVE
benchmark UPLOWTIME
Brockschmidt_16/c-examples/Loopus/Example1.koat 11769263 s n1 +1 n1 +1 6.15/2.92
Brockschmidt_16/c-examples/Loopus/Example2.koat 11769262 u ∞ +0 1 +0 72.95/34.75
Brockschmidt_16/c-examples/Loopus/Example3.koat 11769261 s n1 +1 1 +0 10.91/8.60
Brockschmidt_16/c-examples/Rank/ex1.koat 11769264 s n2 +1 n1 +1 15.21/8.95
Brockschmidt_16/c-examples/Rank/ex2.koat 11769265 s n1 +1 n1 +1 6.94/3.21
Brockschmidt_16/c-examples/Rank/ex3.koat 11769266 s n1 +1 n1 +1 7.61/3.50
Flores-Montoya_16/aaron12.c.koat 11769220 u ∞ +0 1 +0 0.59/0.39
Flores-Montoya_16/aaron2.c.koat 11769178 s n1 +1 1 +0 6.94/4.17
Flores-Montoya_16/aaron3.c.koat 11769209 s ∞ +0 n1 +1 12.84/6.94
Flores-Montoya_16/alain.c.koat 11769163 s n3 +1 n2 +1 28.01/291.72
Flores-Montoya_16/ax.c.koat 11769180 s n2 +1 n2 +1 5.38/2.47
Flores-Montoya_16/catmouse.c.koat 11769160 s ∞ +0 NonPoly +1 5.44/2.49
Flores-Montoya_16/complex.c.koat 11769254 s n1 +1 1 +0 29.93/24.96
Flores-Montoya_16/counterex1a.c.koat 11769207 s ∞ +0 n1 +1 23.68/11.38
Flores-Montoya_16/counterex1b.c.koat 11769196 s ∞ +0 n2 +1 26.83/15.45
Flores-Montoya_16/counterex1c.c.koat 11769231 s ∞ +0 n1 +1 28.62/14.17
Flores-Montoya_16/cousot9.c.koat 11769260 s n2 +1 n2 +1 5.49/2.68
Flores-Montoya_16/easy1.c.koat 11769232 s 1 +1 1 +0 4.05/1.95
Flores-Montoya_16/easy2.c.koat 11769175 s n1 +1 n1 +1 4.59/2.23
Flores-Montoya_16/exmini.c.koat 11769244 s n1 +1 1 +0 5.98/3.57
Flores-Montoya_16/ex_paper1.c.koat 11769157 s n3 +1 n2 +1 28.77/18.41
Flores-Montoya_16/ex_paper2.c.koat 11769242 s n2 +1 n2 +1 5.15/2.58
Flores-Montoya_16/ex_paper3.c.koat 11769145 s n2 +1 n1 +1 16.66/10.90
Flores-Montoya_16/heapsort.c.koat 11769215 s n1 +1 1 +0 19.47/12.68
Flores-Montoya_16/insertsort.c.koat 11769192 s n2 +1 n2 +1 6.52/3.11
Flores-Montoya_16/jama_ex1.c.koat 11769168 s n2 +1 n2 +1 5.05/4.02
Flores-Montoya_16/jama_ex2.c.koat 11769236 s n2 +1 n2 +1 5.18/2.53
Flores-Montoya_16/jama_ex3.c.koat 11769151 s n2 +1 n2 +1 5.16/2.45
Flores-Montoya_16/jama_ex4.c.koat 11769229 s n2 +1 n2 +1 5.65/2.68
Flores-Montoya_16/jama_ex5.c.koat 11769193 s n2 +1 n1 +1 7.18/4.49
Flores-Montoya_16/jama_ex6.c.koat 11769210 s n4 +1 n3 +1 32.37/27.61
Flores-Montoya_16/jama_ex7.c.koat 11769181 s n2 +1 n2 +1 5.45/2.51
Flores-Montoya_16/knuth_morris_pratt.c.koat 11769245 s n2 +1 n1 +1 21.76/13.80
Flores-Montoya_16/loops.c.koat 11769198 s n2 +1 1 +0 10.87/7.77
Flores-Montoya_16/Loopus2011_ex1.c.koat 11769152 s n1 +1 n1 +1 7.67/3.42
Flores-Montoya_16/Loopus2011_ex2.c.koat 11769247 u ∞ +0 1 +0 366.50/291.68
Flores-Montoya_16/Loopus2011_ex3.c.koat 11769167 s n1 +1 1 +0 14.06/10.11
Flores-Montoya_16/Loopus2014_ex1.c.koat 11769186 s n2 +1 n2 +1 17.60/11.06
Flores-Montoya_16/Loopus2014_ex2.c.koat 11769222 s n1 +1 n1 +1 7.62/3.39
Flores-Montoya_16/Loopus2015_ex1.c.koat 11769213 s n2 +1 n1 +1 8.72/5.16
Flores-Montoya_16/Loopus2015_ex2.c.koat 11769195 s n1 +1 n1 +1 7.11/2.91
Flores-Montoya_16/Loopus2015_original.c.koat 11769179 s n2 +1 n1 +1 14.39/10.36
Flores-Montoya_16/ndecr.c.koat 11769221 s n1 +1 n1 +1 4.19/1.98
Flores-Montoya_16/nd_loop.c.koat 11769185 s 1 +1 1 +0 3.73/1.80
Flores-Montoya_16/nestedLoop.c.koat 11769258 s n3 +1 n2 +1 23.72/13.86
Flores-Montoya_16/nested_loop.c.koat 11769212 s n3 +1 n2 +1 28.50/17.97
Flores-Montoya_16/perfect.c.koat 11769148 s n2 +1 n1 +1 25.93/21.85
Flores-Montoya_16/perfect1.c.koat 11769187 s n2 +1 n1 +1 32.75/26.74
Flores-Montoya_16/perfect2.c.koat 11769218 s n2 +1 n1 +1 28.16/22.98
Flores-Montoya_16/perfectg.c.koat 11769228 s n2 +1 1 +0 11.13/7.81
Flores-Montoya_16/random1d.c.koat 11769158 s n1 +1 n1 +1 4.64/2.38
Flores-Montoya_16/random2d.c.koat 11769202 s n1 +1 n1 +1 11.07/5.86
Flores-Montoya_16/rank1.c.koat 11769177 s ∞ +0 n1 +1 21.12/9.88
Flores-Montoya_16/rank2.c.koat 11769230 s n1 +1 n1 +1 8.83/3.59
Flores-Montoya_16/rank3.c.koat 11769197 s ∞ +0 n1 +1 58.40/32.39
Flores-Montoya_16/real2.c.koat 11769155 s ∞ +0 NonPoly +1 7.90/5.43
Flores-Montoya_16/realbubble.c.koat 11769253 s n2 +1 n2 +1 7.34/3.22
Flores-Montoya_16/realheapsort.c.koat 11769249 s n2 +1 1 +0 303.29/291.86
Flores-Montoya_16/realheapsort_step1.c.koat 11769150 s n2 +1 1 +0 297.77/291.67
Flores-Montoya_16/realheapsort_step2.c.koat 11769250 s n2 +1 n1 +1 73.28/66.30
Flores-Montoya_16/realselect.c.koat 11769203 s n2 +1 n2 +1 5.67/2.61
Flores-Montoya_16/realshellsort.c.koat 11769188 s n3 +1 1 +0 19.77/14.34
Flores-Montoya_16/relation1.c.koat 11769237 s 1 +1 1 +0 3.44/1.88
Flores-Montoya_16/rsd.c.koat 11769255 s n1 +1 n1 +1 6.55/2.83
Flores-Montoya_16/serpent.c.koat 11769238 s ∞ +0 n2 +1 22.04/12.28
Flores-Montoya_16/sipma91.c.koat 11769183 s n1 +1 n1 +1 8.78/3.68
Flores-Montoya_16/sipmabubble.c.koat 11769252 s n2 +1 n2 +1 6.11/3.00
Flores-Montoya_16/sipmamergesort.c.koat 11769166 u ∞ +0 1 +0 82.46/59.07
Flores-Montoya_16/sipmamergesort2.c.koat 11769240 u ∞ +0 1 +0 598.74/292.03
Flores-Montoya_16/speedDis1.c.koat 11769204 s n1 +1 n1 +1 5.59/2.50
Flores-Montoya_16/speedDis2.c.koat 11769199 s n1 +1 n1 +1 5.45/2.56
Flores-Montoya_16/speedFails1.c.koat 11769149 u ∞ +0 1 +0 8.40/6.40
Flores-Montoya_16/speedFails2.c.koat 11769251 s ∞ +0 NonPoly +1 4.89/2.25
Flores-Montoya_16/speedFails3.c.koat 11769161 u ∞ +0 1 +0 6.87/3.58
Flores-Montoya_16/speedFails4.c.koat 11769201 u ∞ +0 1 +0 6.91/3.22
Flores-Montoya_16/speedNestedMultiple.c.koat 11769235 s n1 +1 n1 +1 7.47/3.09
Flores-Montoya_16/speedNestedMultipleDep.c.koat 11769200 s n2 +1 n2 +1 5.61/2.66
Flores-Montoya_16/speedpldi2.c.koat 11769182 s n1 +1 1 +0 9.09/9.24
Flores-Montoya_16/speedpldi3.c.koat 11769211 s n2 +1 n2 +1 5.44/2.56
Flores-Montoya_16/speedpldi4.c.koat 11769169 s n1 +1 1 +0 8.17/5.61
Flores-Montoya_16/speedSimpleMultiple.c.koat 11769248 s n1 +1 n1 +1 5.28/2.49
Flores-Montoya_16/speedSimpleMultipleDep.c.koat 11769162 s n2 +1 n2 +1 5.57/2.74
Flores-Montoya_16/speedSingleSingle.c.koat 11769156 s n1 +1 n1 +1 4.46/2.23
Flores-Montoya_16/speedSingleSingle2.c.koat 11769146 s n1 +1 n1 +1 5.51/2.55
Flores-Montoya_16/speed_pldi09_fig1.c.koat 11769223 s n2 +1 n1 +1 8.43/10.44
Flores-Montoya_16/speed_pldi09_fig4_2.c.koat 11769216 s n1 +1 1 +0 10.19/7.02
Flores-Montoya_16/speed_pldi09_fig4_4.c.koat 11769256 s n1 +1 n1 +1 4.86/2.48
Flores-Montoya_16/speed_pldi09_fig4_5.c.koat 11769154 s n1 +1 n1 +1 18.01/14.40
Flores-Montoya_16/speed_pldi10_ex1.c.koat 11769147 s n2 +1 n2 +1 8.80/4.76
Flores-Montoya_16/speed_pldi10_ex3.c.koat 11769164 s n1 +1 n1 +1 5.63/2.84
Flores-Montoya_16/speed_pldi10_ex4.c.koat 11769205 s n1 +1 n1 +1 4.85/2.35
Flores-Montoya_16/speed_popl10_fig2_1.c.koat 11769214 s n1 +1 n1 +1 5.57/2.69
Flores-Montoya_16/speed_popl10_fig2_2.c.koat 11769194 s n1 +1 n1 +1 5.06/2.42
Flores-Montoya_16/speed_popl10_nested_multiple.c.koat 11769224 s n1 +1 n1 +1 7.62/3.18
Flores-Montoya_16/speed_popl10_nested_single.c.koat 11769246 s n1 +1 n1 +1 5.82/2.83
Flores-Montoya_16/speed_popl10_sequential_single.c.koat 11769227 s n1 +1 n1 +1 5.14/2.54
Flores-Montoya_16/speed_popl10_simple_multiple.c.koat 11769206 s n1 +1 n1 +1 5.17/2.47
Flores-Montoya_16/speed_popl10_simple_single.c.koat 11769225 s n1 +1 n1 +1 4.47/2.23
Flores-Montoya_16/speed_popl10_simple_single_2.c.koat 11769174 s n1 +1 n1 +1 5.21/2.59
Flores-Montoya_16/t07.c.koat 11769172 s n1 +1 n1 +1 5.17/2.42
Flores-Montoya_16/t08.c.koat 11769191 s n1 +1 n1 +1 4.74/2.59
Flores-Montoya_16/t10.c.koat 11769217 s n1 +1 n1 +1 5.28/6.67
Flores-Montoya_16/t11.c.koat 11769176 s n1 +1 n1 +1 5.39/2.50
Flores-Montoya_16/t13.c.koat 11769190 s n1 +1 n1 +1 6.45/2.92
Flores-Montoya_16/t15.c.koat 11769142 s n1 +1 n1 +1 5.28/2.38
Flores-Montoya_16/t16.c.koat 11769257 s n2 +1 n1 +1 12.66/9.91
Flores-Montoya_16/t19.c.koat 11769241 s n1 +1 n1 +1 5.32/2.67
Flores-Montoya_16/t20.c.koat 11769165 s n1 +1 n1 +1 4.93/2.33
Flores-Montoya_16/t27.c.koat 11769208 s n1 +1 n1 +1 6.01/2.84
Flores-Montoya_16/t28.c.koat 11769226 s n1 +1 n1 +1 5.60/2.77
Flores-Montoya_16/t30.c.koat 11769184 s n1 +1 1 +0 8.20/9.04
Flores-Montoya_16/t47.c.koat 11769171 s n1 +1 n1 +1 4.90/2.36
Flores-Montoya_16/t62.c.koat 11769153 s n1 +1 n1 +1 8.36/5.64
Flores-Montoya_16/terminate.c.koat 11769170 s n1 +1 1 +0 5.82/3.39
Flores-Montoya_16/terminatorbubble.c.koat 11769234 s n2 +1 1 +0 10.06/6.18
Flores-Montoya_16/textbook_ex1.c.koat 11769259 s n1 +1 n1 +1 4.35/2.16
Flores-Montoya_16/textbook_ex2.c.koat 11769143 s n2 +1 n2 +1 5.42/2.68
Flores-Montoya_16/textbook_ex3.c.koat 11769243 s n6 +1 n4 +1 30.96/291.82
Flores-Montoya_16/textbook_ex4.c.koat 11769189 s n2 +1 n2 +1 5.40/2.64
Flores-Montoya_16/unperfect.c.koat 11769144 s n2 +1 n1 +1 27.80/23.07
Flores-Montoya_16/wcet0.c.koat 11769219 s n1 +1 1 +0 7.62/3.96
Flores-Montoya_16/wcet1.c.koat 11769173 s n1 +1 n1 +1 7.39/3.36
Flores-Montoya_16/wcet2.c.koat 11769233 s n1 +1 n1 +1 5.48/2.63
Flores-Montoya_16/while2.c.koat 11769159 s n2 +1 n2 +1 5.35/2.54
Flores-Montoya_16/wise.c.koat 11769239 s n1 +1 n1 +1 4.84/2.43
Brockschmidt_16/c-examples/ABC/ex01.koat 11769332 s n1 +1 n1 +1 4.02/1.97
Brockschmidt_16/c-examples/ABC/ex02.koat 11769338 s n2 +1 n2 +1 4.85/2.39
Brockschmidt_16/c-examples/ABC/ex03.koat 11769342 s n6 +1 n4 +1 17.99/14.25
Brockschmidt_16/c-examples/ABC/ex04.koat 11769334 u ∞ +0 1 +0 7.22/3.76
Brockschmidt_16/c-examples/ABC/ex05.koat 11769333 s n2 +1 n2 +1 4.94/2.33
Brockschmidt_16/c-examples/ABC/ex06.koat 11769339 s n2 +1 n2 +1 4.53/2.22
Brockschmidt_16/c-examples/ABC/ex07.koat 11769343 s n2 +1 n2 +1 4.76/2.45
Brockschmidt_16/c-examples/ABC/ex08.koat 11769336 s n2 +1 n2 +1 4.62/2.36
Brockschmidt_16/c-examples/ABC/ex09.koat 11769330 s n2 +1 n2 +1 4.86/2.43
Brockschmidt_16/c-examples/ABC/ex10.koat 11769335 s n2 +1 n2 +1 4.75/2.37
Brockschmidt_16/c-examples/ABC/ex11.koat 11769329 s n2 +1 n2 +1 4.53/2.27
Brockschmidt_16/c-examples/ABC/ex12.koat 11769340 s n1 +1 n1 +1 4.96/2.57
Brockschmidt_16/c-examples/ABC/ex13.koat 11769341 s n4 +1 n3 +1 12.88/291.74
Brockschmidt_16/c-examples/ABC/ex14.koat 11769337 s n8 +1 n4 +1 23.21/21.09
Brockschmidt_16/c-examples/ABC/ex15.koat 11769331 s ∞ +0 NonPoly +1 8.54/3.40
Brockschmidt_16/KoAT-2014/adding-exp-growth1.koat 11769348 s ∞ +0 NonPoly +1 4.12/2.09
Brockschmidt_16/KoAT-2014/adding-exp-growth2.koat 11769344 s ∞ +0 NonPoly +1 4.41/2.19
Brockschmidt_16/KoAT-2014/adding-exp-growth3.koat 11769347 s ∞ +0 NonPoly +1 4.47/2.18
Brockschmidt_16/KoAT-2014/nesting-ex1.koat 11769345 s ∞ +0 n3 +1 7.84/291.74
Brockschmidt_16/KoAT-2014/scaling-doubly-exp-growth.koat 11769346 s ∞ +0 NonPoly +1 5.34/2.56
Brockschmidt_16/KoAT-2014/scaling-exp-growth.koat 11769349 s ∞ +0 NonPoly +1 4.61/2.34
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex1.koat 11769293 s n2 +1 n2 +1 6.38/2.90
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex2.koat 11769290 s ∞ +0 NonPoly +1 5.35/2.45
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex3.koat 11769288 s ∞ +0 NonPoly +1 5.77/2.48
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex4.koat 11769291 s n1 +1 n1 +1 5.81/2.85
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex5.koat 11769292 s ∞ +0 NonPoly +1 5.99/2.59
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex6.koat 11769289 s n1 +1 n1 +1 4.99/2.43
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex7.koat 11769287 s n2 +1 n1 +1 9.04/6.07
Brockschmidt_16/c-examples/WTC/aaron2.koat 11769316 s n1 +1 1 +0 5.19/4.53
Brockschmidt_16/c-examples/WTC/ax.koat 11769317 s n2 +1 n2 +1 4.86/2.34
Brockschmidt_16/c-examples/WTC/complex.koat 11769321 s n1 +1 1 +0 15.18/11.50
Brockschmidt_16/c-examples/WTC/counterex1b.koat 11769295 s ∞ +0 n2 +1 32.86/25.27
Brockschmidt_16/c-examples/WTC/cousot9.koat 11769323 s ∞ +0 NonPoly +1 5.73/2.44
Brockschmidt_16/c-examples/WTC/easy1.koat 11769322 s 1 +1 1 +0 3.69/1.77
Brockschmidt_16/c-examples/WTC/easy2.koat 11769302 s n1 +1 n1 +1 4.04/2.10
Brockschmidt_16/c-examples/WTC/exmini.koat 11769306 s n1 +1 1 +0 4.51/2.38
Brockschmidt_16/c-examples/WTC/gcd.koat 11769305 u ∞ +0 1 +0 4.96/2.96
Brockschmidt_16/c-examples/WTC/insertsort.koat 11769313 s n2 +1 n2 +1 5.79/2.82
Brockschmidt_16/c-examples/WTC/loops.koat 11769311 s n2 +1 1 +0 5.46/3.94
Brockschmidt_16/c-examples/WTC/ndecr.koat 11769320 s n1 +1 n1 +1 3.79/1.98
Brockschmidt_16/c-examples/WTC/nd_loop.koat 11769297 s 1 +1 1 +0 3.62/1.82
Brockschmidt_16/c-examples/WTC/nestedLoop.koat 11769307 s n3 +1 n2 +1 14.39/291.69
Brockschmidt_16/c-examples/WTC/perfect.koat 11769328 s n2 +1 n1 +1 294.73/291.66
Brockschmidt_16/c-examples/WTC/random1d.koat 11769303 s n1 +1 n1 +1 4.42/2.17
Brockschmidt_16/c-examples/WTC/random2d.koat 11769301 s n1 +1 n1 +1 8.54/4.58
Brockschmidt_16/c-examples/WTC/realbubble.koat 11769308 s n2 +1 n2 +1 5.67/2.72
Brockschmidt_16/c-examples/WTC/realheapsort.koat 11769296 s n2 +1 1 +0 34.61/27.75
Brockschmidt_16/c-examples/WTC/realheapsort_step1.koat 11769298 s n2 +1 1 +0 20.85/16.27
Brockschmidt_16/c-examples/WTC/realheapsort_step2.koat 11769319 s n2 +1 n1 +1 65.30/59.89
Brockschmidt_16/c-examples/WTC/realselect.koat 11769310 s n2 +1 n2 +1 4.45/2.18
Brockschmidt_16/c-examples/WTC/realshellsort.koat 11769294 s n3 +1 1 +0 14.82/11.50
Brockschmidt_16/c-examples/WTC/rsd.koat 11769327 s n2 +1 n1 +1 5.79/2.73
Brockschmidt_16/c-examples/WTC/sipma91.koat 11769304 s n2 +1 n1 +1 15.99/12.48
Brockschmidt_16/c-examples/WTC/sipmabubble.koat 11769315 s n2 +1 n2 +1 5.07/2.50
Brockschmidt_16/c-examples/WTC/speedFails4.koat 11769324 u ∞ +0 1 +0 10.37/7.63
Brockschmidt_16/c-examples/WTC/speedpldi2.koat 11769325 s n2 +1 1 +0 7.99/9.89
Brockschmidt_16/c-examples/WTC/speedpldi3.koat 11769312 s n2 +1 n2 +1 5.34/2.55
Brockschmidt_16/c-examples/WTC/speedpldi4.koat 11769299 s n1 +1 1 +0 7.65/8.79
Brockschmidt_16/c-examples/WTC/terminate.koat 11769309 s n1 +1 1 +0 4.22/2.54
Brockschmidt_16/c-examples/WTC/wcet1.koat 11769300 s n1 +1 n1 +1 7.42/4.92
Brockschmidt_16/c-examples/WTC/wcet2.koat 11769314 s n1 +1 n1 +1 4.91/2.38
Brockschmidt_16/c-examples/WTC/while2.koat 11769326 s n2 +1 n2 +1 4.85/2.38
Brockschmidt_16/c-examples/WTC/wise.koat 11769318 s n1 +1 n1 +1 4.75/2.29
Brockschmidt_16/c-examples/SPEED/PLDI09/cyclic.koat 11769276 s ∞ +0 n1 +1 6.14/2.69
Brockschmidt_16/c-examples/SPEED/PLDI09/Example2.koat 11769273 s n1 +1 1 +0 5.28/2.66
Brockschmidt_16/c-examples/SPEED/PLDI09/Example3.koat 11769271 s n2 +1 n2 +1 5.43/2.55
Brockschmidt_16/c-examples/SPEED/PLDI09/Example4.koat 11769274 u ∞ +0 1 +0 5.74/2.49
Brockschmidt_16/c-examples/SPEED/PLDI09/Example5.koat 11769275 s n1 +1 n1 +1 5.05/2.68
Brockschmidt_16/c-examples/SPEED/PLDI09/Example6.koat 11769272 s n1 +1 n1 +1 6.28/2.91
Brockschmidt_16/c-examples/SPEED/PLDI09/NestedLoop.koat 11769270 s n2 +1 n2 +1 10.43/4.39
Brockschmidt_16/c-examples/SPEED/POPL09/Dis1.koat 11769280 s n1 +1 n1 +1 5.05/5.59
Brockschmidt_16/c-examples/SPEED/POPL09/Dis2.koat 11769286 s n1 +1 n1 +1 4.92/2.42
Brockschmidt_16/c-examples/SPEED/POPL09/NestedMultiple.koat 11769277 s n1 +1 n1 +1 5.73/2.56
Brockschmidt_16/c-examples/SPEED/POPL09/NestedMultipleDep.koat 11769283 s n2 +1 n2 +1 4.76/4.73
Brockschmidt_16/c-examples/SPEED/POPL09/NestedSingle.koat 11769285 s n1 +1 n1 +1 4.90/2.48
Brockschmidt_16/c-examples/SPEED/POPL09/SequentialSingle.koat 11769278 s n1 +1 n1 +1 4.64/2.34
Brockschmidt_16/c-examples/SPEED/POPL09/SimpleMultiple.koat 11769284 s n1 +1 n1 +1 4.78/2.31
Brockschmidt_16/c-examples/SPEED/POPL09/SimpleMultipleDep.koat 11769281 s n2 +1 n2 +1 5.43/2.57
Brockschmidt_16/c-examples/SPEED/POPL09/SimpleSingle.koat 11769279 s n1 +1 n1 +1 4.23/2.02
Brockschmidt_16/c-examples/SPEED/POPL09/SimpleSingle2.koat 11769282 s n1 +1 n1 +1 4.91/2.38
Brockschmidt_16/c-examples/SPEED/CAV09/ex1.koat 11769269 s n1 +1 n1 +1 4.90/2.33
Brockschmidt_16/c-examples/SPEED/CAV09/ex2.koat 11769267 s n2 +1 n2 +1 5.47/2.71
Brockschmidt_16/c-examples/SPEED/CAV09/ex3.koat 11769268 s n1 +1 n1 +1 5.18/2.69
Brockschmidt_16/FGPSF09/new/unsatCond2.koat 11769381 u ∞ +0 1 +0 3.54/1.86
Brockschmidt_16/FGPSF09/TACAS01/terminate.koat 11769382 s n1 +1 1 +0 4.04/2.03
Brockschmidt_16/FGPSF09/VMCAI04/complete1.koat 11769375 s n1 +1 n1 +1 3.87/2.01
Brockschmidt_16/FGPSF09/VMCAI04/complete2.koat 11769377 s 1 +1 1 +0 3.84/1.94
Brockschmidt_16/FGPSF09/VMCAI04/complete3.koat 11769378 s n2 +1 n2 +1 4.56/2.34
Brockschmidt_16/FGPSF09/VMCAI04/complete4.koat 11769376 s ∞ +0 NonPoly +1 4.57/2.25
Brockschmidt_16/FGPSF09/CAV02/practical1.koat 11769379 s n2 +1 n2 +1 4.35/2.26
Brockschmidt_16/FGPSF09/CAV02/practical2.koat 11769380 s n1 +1 n1 +1 6.07/2.56
Brockschmidt_16/FGPSF09/PLDI06/c.03.koat 11769373 s n1 +1 n1 +1 4.26/2.12
Brockschmidt_16/FGPSF09/PLDI06/c.04.koat 11769372 s n1 +1 1 +0 4.37/2.04
Brockschmidt_16/FGPSF09/SAS05/c.02.koat 11769374 s n2 +1 n2 +1 4.31/2.09
Brockschmidt_16/FGPSF09/Beerendonk/01.koat 11769360 s n1 +1 n1 +1 3.94/6.24
Brockschmidt_16/FGPSF09/Beerendonk/02.koat 11769352 s n1 +1 n1 +1 3.87/1.92
Brockschmidt_16/FGPSF09/Beerendonk/03.koat 11769354 s n1 +1 1 +0 3.94/1.95
Brockschmidt_16/FGPSF09/Beerendonk/04.koat 11769371 s 1 +1 1 +0 3.43/1.76
Brockschmidt_16/FGPSF09/Beerendonk/05.koat 11769361 s 1 +1 1 +0 3.63/1.86
Brockschmidt_16/FGPSF09/Beerendonk/06.koat 11769353 s 1 +1 1 +0 3.55/1.84
Brockschmidt_16/FGPSF09/Beerendonk/07.koat 11769355 s 1 +1 1 +0 3.66/1.84
Brockschmidt_16/FGPSF09/Beerendonk/08.koat 11769367 s n1 +1 n1 +1 3.98/1.95
Brockschmidt_16/FGPSF09/Beerendonk/09.koat 11769362 s n1 +1 n1 +1 3.99/2.01
Brockschmidt_16/FGPSF09/Beerendonk/10.koat 11769369 s n1 +1 1 +0 5.76/2.83
Brockschmidt_16/FGPSF09/Beerendonk/11.koat 11769364 s n1 +1 n1 +1 5.13/2.59
Brockschmidt_16/FGPSF09/Beerendonk/13.koat 11769357 s n1 +1 n1 +1 4.26/2.13
Brockschmidt_16/FGPSF09/Beerendonk/15.koat 11769365 s n1 +1 n1 +1 4.35/2.35
Brockschmidt_16/FGPSF09/Beerendonk/16.koat 11769351 s n1 +1 n1 +1 4.18/2.04
Brockschmidt_16/FGPSF09/Beerendonk/17.koat 11769358 s n1 +1 1 +0 4.71/2.30
Brockschmidt_16/FGPSF09/Beerendonk/18.koat 11769370 s n1 +1 n1 +1 4.85/2.45
Brockschmidt_16/FGPSF09/Beerendonk/19.koat 11769359 s n1 +1 n1 +1 5.07/2.45
Brockschmidt_16/FGPSF09/Beerendonk/20.koat 11769363 s n1 +1 n1 +1 4.17/2.02
Brockschmidt_16/FGPSF09/Beerendonk/21.koat 11769368 s n1 +1 n1 +1 4.06/1.99
Brockschmidt_16/FGPSF09/Beerendonk/22.koat 11769356 s n1 +1 n1 +1 4.11/2.11
Brockschmidt_16/FGPSF09/Beerendonk/23.koat 11769350 s n1 +1 n1 +1 4.33/2.15
Brockschmidt_16/FGPSF09/Beerendonk/24.koat 11769366 s n1 +1 n1 +1 4.85/2.44
Brockschmidt_16/KoAT-2013/sect1-lin.koat 11769413 s n1 +1 n1 +1 4.17/2.15
Brockschmidt_16/KoAT-2013/sect1-quad.koat 11769411 s n2 +1 n2 +1 4.45/2.14
Brockschmidt_16/KoAT-2013/sect2.koat 11769409 s n2 +1 n2 +1 4.71/2.34
Brockschmidt_16/KoAT-2013/sect5-len.koat 11769410 s n1 +1 n1 +1 4.22/1.96
Brockschmidt_16/KoAT-2013/sect5-sumSum.koat 11769412 s n2 +1 n2 +1 4.31/2.08
Brockschmidt_16/FGPSF09/patrs/div.koat 11769405 s n1 +1 1 +0 3.97/1.98
Brockschmidt_16/FGPSF09/patrs/increase1.koat 11769402 s n1 +1 n1 +1 4.01/1.88
Brockschmidt_16/FGPSF09/patrs/increase2.koat 11769406 s n1 +1 n1 +1 4.18/2.12
Brockschmidt_16/FGPSF09/patrs/increase3.koat 11769404 s n1 +1 n1 +1 4.21/2.13
Brockschmidt_16/FGPSF09/patrs/increase4.koat 11769401 s n1 +1 n1 +1 4.06/1.96
Brockschmidt_16/FGPSF09/patrs/sqrt.koat 11769403 s n1 +1 1 +0 4.14/2.09
Brockschmidt_16/FGPSF09/patrs/sumto_no_if.koat 11769407 s n1 +1 n1 +1 3.88/1.98
Brockschmidt_16/FGPSF09/patrs/pasta/a.01.koat 11769390 s n2 +1 n2 +1 4.12/2.12
Brockschmidt_16/FGPSF09/patrs/pasta/a.02.koat 11769397 u ∞ +0 1 +0 10.41/7.29
Brockschmidt_16/FGPSF09/patrs/pasta/a.03.koat 11769399 s n2 +1 n1 +1 296.51/291.63
Brockschmidt_16/FGPSF09/patrs/pasta/a.04.koat 11769396 s n1 +1 n1 +1 3.84/1.89
Brockschmidt_16/FGPSF09/patrs/pasta/a.05.koat 11769391 s n1 +1 n1 +1 3.79/1.88
Brockschmidt_16/FGPSF09/patrs/pasta/a.06.koat 11769398 s n1 +1 n1 +1 3.79/1.86
Brockschmidt_16/FGPSF09/patrs/pasta/a.07.koat 11769400 s n1 +1 n1 +1 4.19/2.07
Brockschmidt_16/FGPSF09/patrs/pasta/a.08.koat 11769395 s n1 +1 n1 +1 4.01/1.99
Brockschmidt_16/FGPSF09/patrs/pasta/a.09.koat 11769393 s n1 +1 1 +0 3.86/2.07
Brockschmidt_16/FGPSF09/patrs/pasta/a.10.koat 11769394 s n1 +1 n1 +1 4.18/2.11
Brockschmidt_16/FGPSF09/patrs/pasta/a.11.koat 11769392 s n1 +1 n1 +1 5.25/2.80
Brockschmidt_16/FGPSF09/ESOP08/abstractions.koat 11769408 s ∞ +0 n1 +1 4.95/2.47
Brockschmidt_16/FGPSF09/LICS04/c.01.koat 11769389 s n2 +1 1 +0 4.68/2.53
Brockschmidt_16/FGPSF09/LICS04/choice.koat 11769388 s ∞ +0 n1 +1 7.28/5.55
Brockschmidt_16/FGPSF09/CAV05/c.05.koat 11769383 s n1 +1 1 +0 4.45/2.34
Brockschmidt_16/FGPSF09/VMCAI05/poly1.koat 11769385 u ∞ +0 1 +0 5.66/8.47
Brockschmidt_16/FGPSF09/VMCAI05/poly2.koat 11769387 u ∞ +0 1 +0 8.43/3.97
Brockschmidt_16/FGPSF09/VMCAI05/poly3.koat 11769386 s ∞ +0 n1 +1 5.45/3.43
Brockschmidt_16/FGPSF09/VMCAI05/poly4.koat 11769384 s n1 +1 n1 +1 5.62/2.78
Hark_20/Nils_2019/ex001.koat 11769913 s n1 +1 1 +0 294.71/291.69
Hark_20/Nils_2019/ex002.koat 11769920 u ∞ +0 1 +0 295.58/291.66
Hark_20/Nils_2019/ex003.koat 11769922 s n1 +1 1 +0 4.87/2.83
Hark_20/Nils_2019/ex004.koat 11769918 s n1 +1 1 +0 6.15/3.22
Hark_20/Nils_2019/ex005.koat 11769912 s n2 +1 n1 +1 13.65/9.77
Hark_20/Nils_2019/ex006.koat 11769919 s 1 +1 1 +0 4.34/2.24
Hark_20/Nils_2019/ex007.koat 11769921 s n2 +1 1 +0 6.03/3.20
Hark_20/Nils_2019/ex008.koat 11769916 s 1 +1 1 +0 4.02/1.87
Hark_20/Nils_2019/ex009.koat 11769914 s n3 +1 n3 +1 4.49/2.11
Hark_20/Nils_2019/ex010.koat 11769917 s n1 +1 n1 +1 8.95/4.80
Hark_20/Nils_2019/ex011.koat 11769915 u ∞ +0 1 +0 0.48/0.49
Hark_20/Ben_Amram_Genaim_CAV_2017/loop16.koat 11769909 s n1 +1 1 +0 4.02/2.25
Hark_20/Ben_Amram_Genaim_CAV_2017/loop2.koat 11769904 s 1 +1 1 +0 3.45/1.79
Hark_20/Ben_Amram_Genaim_CAV_2017/loop22.koat 11769905 s n1 +1 1 +0 5.13/2.60
Hark_20/Ben_Amram_Genaim_CAV_2017/loop23.koat 11769911 s n1 +1 1 +0 4.91/5.72
Hark_20/Ben_Amram_Genaim_CAV_2017/loop25.koat 11769901 s n1 +1 1 +0 3.81/1.85
Hark_20/Ben_Amram_Genaim_CAV_2017/loop27.koat 11769908 s n1 +1 1 +0 4.55/2.40
Hark_20/Ben_Amram_Genaim_CAV_2017/loop33.koat 11769907 s n1 +1 n1 +1 4.48/2.02
Hark_20/Ben_Amram_Genaim_CAV_2017/loop35.koat 11769900 s n1 +1 1 +0 5.61/3.24
Hark_20/Ben_Amram_Genaim_CAV_2017/loop36.koat 11769906 s n1 +1 1 +0 5.77/3.39
Hark_20/Ben_Amram_Genaim_CAV_2017/loop39.koat 11769902 s n1 +1 1 +0 4.68/2.58
Hark_20/Ben_Amram_Genaim_CAV_2017/loop40.koat 11769903 s n1 +1 1 +0 3.99/2.32
Hark_20/Ben_Amram_Genaim_CAV_2017/loop41.koat 11769910 s n1 +1 1 +0 6.09/3.78
Brockschmidt_16/T2/1.koat 11769790 s ∞ +0 NonPoly +1 5.81/2.64
Brockschmidt_16/T2/1394-fail.koat 11769556 s ∞ +0 NonPoly +1 44.71/20.04
Brockschmidt_16/T2/1394-succeed.koat 11769569 s ∞ +0 NonPoly +1 32.66/14.44
Brockschmidt_16/T2/1394complete-fail.koat 11769423 s ∞ +0 NonPoly +1 27.99/12.30
Brockschmidt_16/T2/1394complete-succeed.koat 11769682 s ∞ +0 NonPoly +1 26.17/13.49
Brockschmidt_16/T2/2.koat 11769631 s ∞ +0 NonPoly +1 5.70/2.59
Brockschmidt_16/T2/232.koat 11769496 s n2 +1 n2 +1 4.61/2.41
Brockschmidt_16/T2/241.koat 11769617 s n2 +1 n2 +1 4.64/3.19
Brockschmidt_16/T2/3.koat 11769458 s ∞ +0 NonPoly +1 3.76/1.82
Brockschmidt_16/T2/5.koat 11769767 s ∞ +0 NonPoly +1 7.79/3.09
Brockschmidt_16/T2/6.koat 11769611 s ∞ +0 NonPoly +1 3.78/5.15
Brockschmidt_16/T2/7.koat 11769438 s ∞ +0 NonPoly +1 3.87/1.84
Brockschmidt_16/T2/a.10.c.koat 11769561 s n2 +1 n1 +1 9.47/7.98
Brockschmidt_16/T2/acqrel-fail.koat 11769482 s ∞ +0 NonPoly +1 5.19/2.37
Brockschmidt_16/T2/afagp-fail.koat 11769838 s ∞ +0 NonPoly +1 24.65/8.88
Brockschmidt_16/T2/afagx1.koat 11769580 s ∞ +0 NonPoly +1 4.49/2.21
Brockschmidt_16/T2/agafp.koat 11769805 s ∞ +0 NonPoly +1 19.37/9.77
Brockschmidt_16/T2/apchild-accepted-fail.koat 11769529 s ∞ +0 NonPoly +1 34.85/12.06
Brockschmidt_16/T2/apchild-accepted.koat 11769495 s ∞ +0 NonPoly +1 35.01/12.03
Brockschmidt_16/T2/apchild-live.koat 11769656 s ∞ +0 NonPoly +1 35.81/12.24
Brockschmidt_16/T2/apchildlive-succeed.koat 11769466 s ∞ +0 NonPoly +1 72.86/27.99
Brockschmidt_16/T2/array.koat 11769551 s 1 +1 1 +0 3.51/1.80
Brockschmidt_16/T2/array1.koat 11769516 s 1 +1 1 +0 3.35/1.74
Brockschmidt_16/T2/array2.koat 11769679 s 1 +1 1 +0 3.63/1.72
Brockschmidt_16/T2/array3.koat 11769845 s 1 +1 1 +0 3.79/1.76
Brockschmidt_16/T2/array_free.koat 11769491 s 1 +1 1 +0 3.79/1.89
Brockschmidt_16/T2/array_init.koat 11769776 s 1 +1 1 +0 3.63/1.85
Brockschmidt_16/T2/array_init_assign.koat 11769813 s 1 +1 1 +0 3.72/1.86
Brockschmidt_16/T2/ase_example.koat 11769820 s 1 +1 1 +0 3.73/1.82
Brockschmidt_16/T2/bf10.koat 11769463 s 1 +1 1 +0 4.34/1.98
Brockschmidt_16/T2/bf11.koat 11769638 s 1 +1 1 +0 4.36/1.99
Brockschmidt_16/T2/bf12.koat 11769801 s 1 +1 1 +0 4.35/2.00
Brockschmidt_16/T2/bf13.koat 11769745 s 1 +1 1 +0 4.25/2.09
Brockschmidt_16/T2/bf14.koat 11769426 s 1 +1 1 +0 4.38/2.03
Brockschmidt_16/T2/bf15.koat 11769600 s 1 +1 1 +0 4.29/2.02
Brockschmidt_16/T2/bf16.koat 11769763 s 1 +1 1 +0 4.24/2.06
Brockschmidt_16/T2/bf17.koat 11769712 s 1 +1 1 +0 4.31/2.01
Brockschmidt_16/T2/bf18.koat 11769542 s 1 +1 1 +0 4.10/1.97
Brockschmidt_16/T2/bf19.koat 11769598 s 1 +1 1 +0 4.33/2.00
Brockschmidt_16/T2/bf20.koat 11769630 s 1 +1 1 +0 4.17/1.97
Brockschmidt_16/T2/bf5.koat 11769802 s 1 +1 1 +0 4.17/1.96
Brockschmidt_16/T2/bf6.koat 11769637 s 1 +1 1 +0 4.35/1.83
Brockschmidt_16/T2/bf7.koat 11769467 s 1 +1 1 +0 4.22/2.07
Brockschmidt_16/T2/bf8.koat 11769670 s 1 +1 1 +0 4.13/2.01
Brockschmidt_16/T2/bf9.koat 11769841 s 1 +1 1 +0 4.12/1.89
Brockschmidt_16/T2/bio.koat 11769806 u ∞ +0 1 +0 880.88/292.44
Brockschmidt_16/T2/bitcount16.koat 11769532 s 1 +1 1 +0 3.64/1.95
Brockschmidt_16/T2/bitcount32.koat 11769610 s 1 +1 1 +0 3.83/1.96
Brockschmidt_16/T2/broydn.c.i.broydn.pl.t2.fixed.koat 11769489 s ∞ +0 n1 +1 34.10/15.74
Brockschmidt_16/T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.koat 11769780 s ∞ +0 n1 +1 319.56/291.92
Brockschmidt_16/T2/broydn.koat 11769794 s ∞ +0 n1 +1 319.97/291.76
Brockschmidt_16/T2/brp.koat 11769626 s ∞ +0 NonPoly +1 41.12/14.13
Brockschmidt_16/T2/brp_withassume.koat 11769507 s ∞ +0 NonPoly +1 42.18/14.43
Brockschmidt_16/T2/bs.koat 11769537 s ∞ +0 NonPoly +1 6.22/2.80
Brockschmidt_16/T2/bsort100.koat 11769590 s 1 +1 1 +0 4.06/1.99
Brockschmidt_16/T2/bubbleSort.koat 11769710 s n2 +1 n2 +1 5.94/2.89
Brockschmidt_16/T2/bubblesort_inner_loop.koat 11769643 s 1 +1 1 +0 3.93/8.87
Brockschmidt_16/T2/buggyNonTermLoop.koat 11769812 s ∞ +0 NonPoly +1 12.38/4.57
Brockschmidt_16/T2/byron-1.koat 11769616 s n1 +1 1 +0 3.95/2.08
Brockschmidt_16/T2/byron-2.koat 11769778 s ∞ +0 NonPoly +1 5.50/2.64
Brockschmidt_16/T2/byron-3.koat 11769724 s n1 +1 1 +0 5.75/3.37
Brockschmidt_16/T2/byron-4.koat 11769480 s n1 +1 n1 +1 4.62/2.29
Brockschmidt_16/T2/cfg.koat 11769549 s ∞ +0 NonPoly +1 4.28/1.89
Brockschmidt_16/T2/cnt.koat 11769527 s 1 +1 1 +0 4.08/1.97
Brockschmidt_16/T2/collatz.koat 11769459 u ∞ +0 1 +0 296.92/291.68
Brockschmidt_16/T2/complex_guard.koat 11769777 s 1 +1 1 +0 3.60/1.97
Brockschmidt_16/T2/constants.koat 11769538 s 1 +1 1 +0 3.94/1.88
Brockschmidt_16/T2/consts1.koat 11769685 s 1 +1 1 +0 3.61/1.75
Brockschmidt_16/T2/consts1nt.koat 11769698 s ∞ +0 NonPoly +1 4.15/1.97
Brockschmidt_16/T2/consts2.koat 11769514 s n1 +1 n1 +1 3.78/1.90
Brockschmidt_16/T2/consts2nt.koat 11769612 s ∞ +0 NonPoly +1 4.02/1.98
Brockschmidt_16/T2/consts3.koat 11769573 s n1 +1 n1 +1 3.77/1.88
Brockschmidt_16/T2/consts3nt.koat 11769753 s ∞ +0 NonPoly +1 4.03/1.92
Brockschmidt_16/T2/consts4.koat 11769827 s n1 +1 n1 +1 3.99/1.95
Brockschmidt_16/T2/consts4nt.koat 11769447 s ∞ +0 NonPoly +1 3.96/1.86
Brockschmidt_16/T2/consts5.koat 11769665 s 1 +1 1 +0 3.53/1.74
Brockschmidt_16/T2/consts5nt.koat 11769799 s ∞ +0 NonPoly +1 4.20/1.98
Brockschmidt_16/T2/cover.koat 11769760 s 1 +1 1 +0 132.20/44.39
Brockschmidt_16/T2/crc.koat 11769552 s 1 +1 1 +0 10.71/6.12
Brockschmidt_16/T2/create.koat 11769528 s ∞ +0 NonPoly +1 4.21/6.38
Brockschmidt_16/T2/create_seg.koat 11769589 s ∞ +0 NonPoly +1 4.39/1.99
Brockschmidt_16/T2/create_via_tmps.koat 11769468 s n1 +1 n1 +1 9.21/3.96
Brockschmidt_16/T2/ctl.koat 11769464 s ∞ +0 NonPoly +1 4.34/2.16
Brockschmidt_16/T2/curious.koat 11769509 s ∞ +0 NonPoly +1 3.80/1.94
Brockschmidt_16/T2/curious4.koat 11769622 s ∞ +0 NonPoly +1 26.30/9.00
Brockschmidt_16/T2/d.koat 11769499 s ∞ +0 NonPoly +1 4.17/1.98
Brockschmidt_16/T2/db2.koat 11769659 s ∞ +0 NonPoly +1 84.69/32.74
Brockschmidt_16/T2/db3.koat 11769817 s ∞ +0 NonPoly +1 80.11/26.81
Brockschmidt_16/T2/dead.neg-st88b-succeed.koat 11769809 s ∞ +0 NonPoly +1 7.09/5.25
Brockschmidt_16/T2/destroy.koat 11769729 s ∞ +0 NonPoly +1 8.89/5.88
Brockschmidt_16/T2/destroy_seg.koat 11769547 s ∞ +0 NonPoly +1 9.45/9.23
Brockschmidt_16/T2/destroy_seg_leak.koat 11769485 s ∞ +0 NonPoly +1 450.58/149.78
Brockschmidt_16/T2/disj_nightmare_abi.koat 11769703 s 1 +1 1 +0 3.70/1.88
Brockschmidt_16/T2/dropbuf-live.koat 11769738 s 1 +1 1 +0 3.48/1.71
Brockschmidt_16/T2/dropbuf.koat 11769688 s ∞ +0 NonPoly +1 13.34/5.94
Brockschmidt_16/T2/dsa_test.koat 11769774 s 1 +1 1 +0 3.34/1.76
Brockschmidt_16/T2/dsa_test1.koat 11769784 s 1 +1 1 +0 3.47/1.69
Brockschmidt_16/T2/dsa_test10.koat 11769831 s 1 +1 1 +0 3.89/6.54
Brockschmidt_16/T2/dsa_test11.koat 11769663 s 1 +1 1 +0 3.75/1.80
Brockschmidt_16/T2/dsa_test12.koat 11769494 s 1 +1 1 +0 3.35/1.76
Brockschmidt_16/T2/dsa_test13.koat 11769554 s 1 +1 1 +0 3.51/1.68
Brockschmidt_16/T2/dsa_test15.koat 11769683 s 1 +1 1 +0 3.64/1.85
Brockschmidt_16/T2/dsa_test4.koat 11769746 s 1 +1 1 +0 3.53/1.78
Brockschmidt_16/T2/dsa_test5.koat 11769808 s 1 +1 1 +0 3.53/1.86
Brockschmidt_16/T2/dsa_test6.koat 11769649 s 1 +1 1 +0 3.62/1.77
Brockschmidt_16/T2/dsa_test8.koat 11769661 s 1 +1 1 +0 3.55/1.69
Brockschmidt_16/T2/dsa_test9.koat 11769824 s 1 +1 1 +0 3.28/1.79
Brockschmidt_16/T2/dummy.koat 11769833 s ∞ +0 NonPoly +1 4.21/1.99
Brockschmidt_16/T2/e-1394complete-succeed.koat 11769476 s ∞ +0 NonPoly +1 28.03/12.44
Brockschmidt_16/T2/e-acqrel-fail.koat 11769770 s ∞ +0 NonPoly +1 4.45/2.24
Brockschmidt_16/T2/e-acqrel-succeed.koat 11769570 s ∞ +0 NonPoly +1 4.62/2.36
Brockschmidt_16/T2/e-pgarch-fail.koat 11769762 s ∞ +0 NonPoly +1 5.01/2.43
Brockschmidt_16/T2/e-pgarch-succeed.koat 11769742 s ∞ +0 NonPoly +1 4.92/2.51
Brockschmidt_16/T2/e-popl07-fail.koat 11769693 s ∞ +0 NonPoly +1 7.55/3.49
Brockschmidt_16/T2/edn.koat 11769498 s 1 +1 1 +0 9.84/4.00
Brockschmidt_16/T2/efegp.koat 11769443 s ∞ +0 NonPoly +1 16.23/10.07
Brockschmidt_16/T2/elmhes.c.i.elmhes.pl.t2.fixed.koat 11769731 s n2 +1 n1 +1 123.59/116.27
Brockschmidt_16/T2/elmhes.c.i.elmhes.pl.t2.nor.t2.rlgfixed.koat 11769585 s n2 +1 n1 +1 118.16/110.47
Brockschmidt_16/T2/elmhes.koat 11769653 s n2 +1 n1 +1 299.80/291.77
Brockschmidt_16/T2/eric.koat 11769750 s n2 +1 n1 +1 9.61/7.25
Brockschmidt_16/T2/eric1.koat 11769830 s ∞ +0 n2 +1 11.47/291.66
Brockschmidt_16/T2/eric2.koat 11769553 s ∞ +0 n1 +1 336.08/291.59
Brockschmidt_16/T2/eric3.koat 11769493 s ∞ +0 NonPoly +1 4.54/2.08
Brockschmidt_16/T2/ex1.koat 11769711 s ∞ +0 NonPoly +1 3.68/1.80
Brockschmidt_16/T2/ex10.koat 11769822 s ∞ +0 NonPoly +1 4.27/2.00
Brockschmidt_16/T2/ex11.koat 11769658 s ∞ +0 NonPoly +1 6.03/3.60
Brockschmidt_16/T2/ex12.koat 11769488 s 1 +1 1 +0 3.56/1.75
Brockschmidt_16/T2/ex13.koat 11769548 s 1 +1 1 +0 3.44/1.86
Brockschmidt_16/T2/ex14.koat 11769855 s 1 +1 1 +0 3.67/1.77
Brockschmidt_16/T2/ex15.koat 11769690 s 1 +1 1 +0 3.47/1.77
Brockschmidt_16/T2/ex16.koat 11769523 s ∞ +0 NonPoly +1 4.88/2.40
Brockschmidt_16/T2/ex17.koat 11769581 s 1 +1 1 +0 3.86/1.86
Brockschmidt_16/T2/ex18.koat 11769779 u ∞ +0 1 +0 7.83/4.03
Brockschmidt_16/T2/ex19.koat 11769725 s ∞ +0 NonPoly +1 4.21/2.09
Brockschmidt_16/T2/ex2.koat 11769422 s ∞ +0 NonPoly +1 4.44/2.10
Brockschmidt_16/T2/ex20.koat 11769660 s 1 +1 1 +0 3.67/1.86
Brockschmidt_16/T2/ex21.koat 11769826 s 1 +1 1 +0 3.82/1.94
Brockschmidt_16/T2/ex22.koat 11769558 s 1 +1 1 +0 15.05/5.83
Brockschmidt_16/T2/ex23.koat 11769497 s 1 +1 1 +0 3.74/1.81
Brockschmidt_16/T2/ex26.koat 11769577 s 1 +1 1 +0 3.80/2.00
Brockschmidt_16/T2/ex27.koat 11769515 s 1 +1 1 +0 30.70/13.29
Brockschmidt_16/T2/ex29.koat 11769781 s 1 +1 1 +0 3.71/3.05
Brockschmidt_16/T2/ex3.koat 11769601 s 1 +1 1 +0 3.73/1.98
Brockschmidt_16/T2/ex30.koat 11769718 s ∞ +0 NonPoly +1 4.75/2.09
Brockschmidt_16/T2/ex31.koat 11769772 s ∞ +0 NonPoly +1 4.33/2.20
Brockschmidt_16/T2/ex32.koat 11769607 s 1 +1 1 +0 3.79/2.17
Brockschmidt_16/T2/ex33.koat 11769430 s 1 +1 1 +0 3.68/1.96
Brockschmidt_16/T2/ex34.koat 11769737 s 1 +1 1 +0 3.59/1.77
Brockschmidt_16/T2/ex36.koat 11769628 s ∞ +0 NonPoly +1 122.66/41.83
Brockschmidt_16/T2/ex37.koat 11769452 s 1 +1 1 +0 3.35/1.71
Brockschmidt_16/T2/ex4.koat 11769804 s 1 +1 1 +0 3.93/2.05
Brockschmidt_16/T2/ex40.koat 11769560 s ∞ +0 NonPoly +1 4.07/1.81
Brockschmidt_16/T2/ex6.koat 11769461 s 1 +1 1 +0 3.43/6.39
Brockschmidt_16/T2/ex7.koat 11769640 s 1 +1 1 +0 3.50/1.81
Brockschmidt_16/T2/ex8.koat 11769836 s ∞ +0 NonPoly +1 5.07/2.28
Brockschmidt_16/T2/ex9.koat 11769674 s ∞ +0 NonPoly +1 5.63/2.40
Brockschmidt_16/T2/example.koat 11769445 s n1 +1 n1 +1 4.24/2.50
Brockschmidt_16/T2/fake-succeed.koat 11769473 s ∞ +0 NonPoly +1 45.51/15.46
Brockschmidt_16/T2/fast_poll.koat 11769811 s ∞ +0 NonPoly +1 42.24/21.01
Brockschmidt_16/T2/fdct.koat 11769852 s 1 +1 1 +0 3.73/1.83
Brockschmidt_16/T2/fermat.koat 11769453 s 1 +1 1 +0 4.05/1.89
Brockschmidt_16/T2/fibcall.koat 11769541 s 1 +1 1 +0 3.66/1.89
Brockschmidt_16/T2/fir.koat 11769696 s ∞ +0 NonPoly +1 10.20/4.03
Brockschmidt_16/T2/firewire.koat 11769603 s ∞ +0 NonPoly +1 66.06/51.17
Brockschmidt_16/T2/flipflop.koat 11769615 s ∞ +0 NonPoly +1 3.91/5.24
Brockschmidt_16/T2/fourn.c.i.fourn.pl.t2.fixed.koat 11769437 s n1 +1 n1 +1 65.27/31.96
Brockschmidt_16/T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.koat 11769743 s ∞ +0 NonPoly +1 29.47/10.28
Brockschmidt_16/T2/fourn.koat 11769720 s ∞ +0 NonPoly +1 29.74/10.41
Brockschmidt_16/T2/fuhs-inflasso.koat 11769702 s n2 +1 n2 +1 4.81/2.49
Brockschmidt_16/T2/fun1.koat 11769432 s ∞ +0 NonPoly +1 12.54/4.69
Brockschmidt_16/T2/fun10.koat 11769602 s ∞ +0 NonPoly +1 8.59/5.73
Brockschmidt_16/T2/fun10b.koat 11769793 s ∞ +0 NonPoly +1 7.98/2.90
Brockschmidt_16/T2/fun11.koat 11769428 s ∞ +0 NonPoly +1 4.31/2.18
Brockschmidt_16/T2/fun1b.koat 11769505 s ∞ +0 NonPoly +1 13.30/4.73
Brockschmidt_16/T2/fun2.koat 11769717 s n1 +1 1 +0 28.98/21.12
Brockschmidt_16/T2/fun2b.koat 11769563 s ∞ +0 NonPoly +1 14.74/5.75
Brockschmidt_16/T2/fun3.koat 11769773 s n1 +1 1 +0 28.57/20.88
Brockschmidt_16/T2/fun4-alt.koat 11769429 s 1 +1 1 +0 3.55/1.80
Brockschmidt_16/T2/fun4.koat 11769629 s 1 +1 1 +0 4.03/1.97
Brockschmidt_16/T2/fun5.koat 11769450 u ∞ +0 1 +0 352.10/291.68
Brockschmidt_16/T2/fun6.koat 11769740 s ∞ +0 NonPoly +1 45.66/21.13
Brockschmidt_16/T2/fun7.koat 11769797 s ∞ +0 NonPoly +1 7.57/3.40
Brockschmidt_16/T2/fun8.koat 11769564 s 1 +1 1 +0 10.32/3.52
Brockschmidt_16/T2/fun9.koat 11769506 u ∞ +0 1 +0 308.80/291.67
Brockschmidt_16/T2/graycode.koat 11769586 s 1 +1 1 +0 17.55/6.40
Brockschmidt_16/T2/heidy1.koat 11769543 s ∞ +0 NonPoly +1 3.88/1.78
Brockschmidt_16/T2/heidy10.koat 11769719 s ∞ +0 NonPoly +1 4.66/2.19
Brockschmidt_16/T2/heidy2.koat 11769708 s ∞ +0 NonPoly +1 4.46/2.12
Brockschmidt_16/T2/heidy3.koat 11769863 s ∞ +0 NonPoly +1 4.22/2.00
Brockschmidt_16/T2/heidy5.koat 11769502 s n1 +1 n1 +1 3.99/1.93
Brockschmidt_16/T2/heidy6.koat 11769673 s ∞ +0 NonPoly +1 4.39/2.12
Brockschmidt_16/T2/heidy7-simple.koat 11769486 s ∞ +0 NonPoly +1 4.27/2.01
Brockschmidt_16/T2/heidy7.koat 11769839 s ∞ +0 NonPoly +1 6.30/2.71
Brockschmidt_16/T2/heidy8.koat 11769639 s ∞ +0 NonPoly +1 6.55/2.83
Brockschmidt_16/T2/heidy9.koat 11769462 s n1 +1 n1 +1 3.85/1.91
Brockschmidt_16/T2/hongyi1.koat 11769792 s n1 +1 n1 +1 67.42/27.99
Brockschmidt_16/T2/hqr.c.i.hqr.pl.t2.fixed.koat 11769859 s ∞ +0 n1 +1 572.82/290.79
Brockschmidt_16/T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.koat 11769771 s ∞ +0 n1 +1 488.73/291.89
Brockschmidt_16/T2/hqr.koat 11769634 s ∞ +0 n1 +1 489.81/291.87
Brockschmidt_16/T2/huh.koat 11769546 s ∞ +0 NonPoly +1 4.67/2.18
Brockschmidt_16/T2/iecs.koat 11769521 s n1 +1 1 +0 4.10/2.06
Brockschmidt_16/T2/insertsort.koat 11769469 s ∞ +0 NonPoly +1 4.36/9.01
Brockschmidt_16/T2/intSqRoot.koat 11769435 u ∞ +0 1 +0 3.84/1.96
Brockschmidt_16/T2/invgen.koat 11769522 s n1 +1 1 +0 3.94/1.98
Brockschmidt_16/T2/jacobi.c.i.jacobi.pl.t2.fixed.koat 11769623 s n1 +1 n1 +1 124.27/102.10
Brockschmidt_16/T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.koat 11769511 s n1 +1 n1 +1 28.04/12.04
Brockschmidt_16/T2/jacobi.koat 11769657 s n1 +1 n1 +1 28.05/12.09
Brockschmidt_16/T2/janne_complex.koat 11769676 u ∞ +0 1 +0 9.00/4.14
Brockschmidt_16/T2/jfdctint.koat 11769759 s 1 +1 1 +0 3.99/2.01
Brockschmidt_16/T2/Loop.koat 11769592 s n1 +1 1 +0 28.62/24.03
Brockschmidt_16/T2/loop3.koat 11769715 s 1 +1 1 +0 46.31/16.71
Brockschmidt_16/T2/loop_on_input.koat 11769512 u ∞ +0 1 +0 4.07/2.09
Brockschmidt_16/T2/ludcmp.c.i.ludcmp.pl.t2.fixed.koat 11769705 s n1 +1 n1 +1 41.16/19.59
Brockschmidt_16/T2/ludcmp.c.i.ludcmp.pl.t2.nor.t2.rlgfixed.koat 11769605 s n1 +1 n1 +1 34.13/16.10
Brockschmidt_16/T2/ludcmp.koat 11769525 s n1 +1 n1 +1 33.87/16.11
Brockschmidt_16/T2/magic.koat 11769470 s ∞ +0 NonPoly +1 41.51/14.21
Brockschmidt_16/T2/matmul.koat 11769536 s 1 +1 1 +0 4.33/1.87
Brockschmidt_16/T2/matmult.koat 11769457 s 1 +1 1 +0 4.91/2.21
Brockschmidt_16/T2/matrixsqrt.koat 11769723 s 1 +1 1 +0 4.30/2.03
Brockschmidt_16/T2/mc91.koat 11769786 s ∞ +0 NonPoly +1 5.01/2.35
Brockschmidt_16/T2/mc91test.koat 11769646 s ∞ +0 NonPoly +1 8.11/3.37
Brockschmidt_16/T2/minmax.koat 11769664 s 1 +1 1 +0 3.44/1.71
Brockschmidt_16/T2/n-1.koat 11769487 s ∞ +0 NonPoly +1 4.15/6.80
Brockschmidt_16/T2/n-10.koat 11769650 s ∞ +0 NonPoly +1 4.38/2.08
Brockschmidt_16/T2/n-12.koat 11769749 s ∞ +0 NonPoly +1 4.59/2.23
Brockschmidt_16/T2/n-12a.koat 11769641 s ∞ +0 NonPoly +1 3.86/1.90
Brockschmidt_16/T2/n-13.koat 11769807 s ∞ +0 NonPoly +1 3.93/3.02
Brockschmidt_16/T2/n-14.koat 11769624 s ∞ +0 NonPoly +1 4.69/2.33
Brockschmidt_16/T2/n-15.koat 11769448 s ∞ +0 NonPoly +1 4.26/2.05
Brockschmidt_16/T2/n-15a.koat 11769699 s ∞ +0 NonPoly +1 5.35/2.62
Brockschmidt_16/T2/n-16.koat 11769727 s ∞ +0 NonPoly +1 4.34/2.11
Brockschmidt_16/T2/n-16a.koat 11769860 u ∞ +0 1 +0 4.99/2.75
Brockschmidt_16/T2/n-17.koat 11769785 s ∞ +0 NonPoly +1 4.20/1.97
Brockschmidt_16/T2/n-18.koat 11769576 s ∞ +0 NonPoly +1 4.10/4.59
Brockschmidt_16/T2/n-18a.koat 11769744 u ∞ +0 1 +0 4.89/2.84
Brockschmidt_16/T2/n-1c.koat 11769578 s ∞ +0 NonPoly +1 4.30/2.07
Brockschmidt_16/T2/n-1d.koat 11769815 s ∞ +0 NonPoly +1 4.53/2.31
Brockschmidt_16/T2/n-20.koat 11769479 s ∞ +0 NonPoly +1 3.94/1.97
Brockschmidt_16/T2/n-21.koat 11769654 s ∞ +0 NonPoly +1 4.34/1.98
Brockschmidt_16/T2/n-3.koat 11769821 s ∞ +0 NonPoly +1 4.20/1.92
Brockschmidt_16/T2/n-32.koat 11769862 s ∞ +0 NonPoly +1 4.42/2.17
Brockschmidt_16/T2/n-33.koat 11769701 s ∞ +0 NonPoly +1 5.39/2.62
Brockschmidt_16/T2/n-36.koat 11769834 s ∞ +0 NonPoly +1 4.98/2.23
Brockschmidt_16/T2/n-37.koat 11769667 s ∞ +0 NonPoly +1 3.70/1.78
Brockschmidt_16/T2/n-3a.koat 11769795 s ∞ +0 NonPoly +1 6.47/2.98
Brockschmidt_16/T2/n-4.koat 11769582 s ∞ +0 NonPoly +1 12.39/5.03
Brockschmidt_16/T2/n-40.koat 11769796 s ∞ +0 NonPoly +1 11.60/5.21
Brockschmidt_16/T2/n-46.koat 11769433 s ∞ +0 NonPoly +1 4.03/2.04
Brockschmidt_16/T2/n-48.koat 11769857 u ∞ +0 1 +0 5.35/2.60
Brockschmidt_16/T2/n-5.koat 11769524 s ∞ +0 NonPoly +1 7.53/3.14
Brockschmidt_16/T2/n-6.koat 11769691 s ∞ +0 NonPoly +1 4.81/2.27
Brockschmidt_16/T2/n-6a.koat 11769651 s ∞ +0 NonPoly +1 4.65/2.16
Brockschmidt_16/T2/n-7.koat 11769856 s ∞ +0 NonPoly +1 4.13/1.90
Brockschmidt_16/T2/n-8.koat 11769618 s ∞ +0 NonPoly +1 4.09/2.13
Brockschmidt_16/T2/n-8a.koat 11769510 s ∞ +0 NonPoly +1 3.89/1.95
Brockschmidt_16/T2/n-9.koat 11769441 s ∞ +0 NonPoly +1 4.60/2.28
Brockschmidt_16/T2/nakata.koat 11769500 s ∞ +0 NonPoly +1 28.85/10.16
Brockschmidt_16/T2/nakata_withassume.koat 11769591 s ∞ +0 NonPoly +1 28.87/10.12
Brockschmidt_16/T2/ndes.koat 11769669 s 1 +1 1 +0 43.82/14.75
Brockschmidt_16/T2/neg-1394complete-fail.koat 11769568 s ∞ +0 NonPoly +1 26.15/11.16
Brockschmidt_16/T2/neg-1394complete-succeed.koat 11769535 s ∞ +0 NonPoly +1 27.51/12.17
Brockschmidt_16/T2/neg-e-1394complete-fail.koat 11769533 s ∞ +0 NonPoly +1 27.70/12.22
Brockschmidt_16/T2/neg-e-1394complete-succeed.koat 11769619 s ∞ +0 NonPoly +1 28.11/12.49
Brockschmidt_16/T2/neg-e-acqrel-fail.koat 11769677 s ∞ +0 NonPoly +1 4.41/2.14
Brockschmidt_16/T2/neg-e-acqrel-succeed.koat 11769858 s ∞ +0 NonPoly +1 4.30/2.10
Brockschmidt_16/T2/neg-e-pgarch-fail.koat 11769671 s ∞ +0 NonPoly +1 4.99/2.48
Brockschmidt_16/T2/neg-e-pgarch-succeed.koat 11769424 s ∞ +0 NonPoly +1 5.01/2.39
Brockschmidt_16/T2/neg-e-popl07-succeed.koat 11769635 s ∞ +0 NonPoly +1 7.45/3.37
Brockschmidt_16/T2/neg-pgarch-succeed.koat 11769695 s ∞ +0 NonPoly +1 4.96/2.46
Brockschmidt_16/T2/neg-popl07-fail.koat 11769584 s ∞ +0 NonPoly +1 5.47/2.74
Brockschmidt_16/T2/neg-popl07-succeed.koat 11769835 s ∞ +0 NonPoly +1 6.32/3.67
Brockschmidt_16/T2/neg-smagilla-fail.koat 11769604 s ∞ +0 NonPoly +1 4.74/2.23
Brockschmidt_16/T2/neg-smagilla-succeed.koat 11769739 s ∞ +0 NonPoly +1 4.61/2.18
Brockschmidt_16/T2/nested.koat 11769442 s ∞ +0 NonPoly +1 4.45/2.13
Brockschmidt_16/T2/nested2.koat 11769854 u ∞ +0 1 +0 5.51/4.70
Brockschmidt_16/T2/new_ex.koat 11769775 s ∞ +0 NonPoly +1 8.14/3.79
Brockschmidt_16/T2/non_term.koat 11769761 u ∞ +0 1 +0 4.94/2.65
Brockschmidt_16/T2/ns.koat 11769531 s 1 +1 1 +0 4.35/5.54
Brockschmidt_16/T2/n_firewire_instrumented-PP.koat 11769722 s ∞ +0 NonPoly +1 47.54/21.19
Brockschmidt_16/T2/oct_vs_subpoly.koat 11769818 s ∞ +0 NonPoly +1 3.81/2.15
Brockschmidt_16/T2/p-1.koat 11769647 s ∞ +0 NonPoly +1 4.37/2.03
Brockschmidt_16/T2/p-10.koat 11769752 s ∞ +0 NonPoly +1 3.72/1.95
Brockschmidt_16/T2/p-12.koat 11769644 s n1 +1 n1 +1 3.89/1.96
Brockschmidt_16/T2/p-13.koat 11769475 s 1 +1 1 +0 3.55/1.76
Brockschmidt_16/T2/p-14.koat 11769730 s n1 +1 n1 +1 3.85/1.89
Brockschmidt_16/T2/p-15.koat 11769787 s n1 +1 n1 +1 3.79/1.89
Brockschmidt_16/T2/p-16.koat 11769620 s n1 +1 n1 +1 3.85/1.95
Brockschmidt_16/T2/p-18.koat 11769684 s n1 +1 n1 +1 4.00/1.94
Brockschmidt_16/T2/p-19.koat 11769847 s ∞ +0 NonPoly +1 4.07/1.89
Brockschmidt_16/T2/p-19a.koat 11769694 s ∞ +0 NonPoly +1 3.81/1.92
Brockschmidt_16/T2/p-1a.koat 11769587 s ∞ +0 NonPoly +1 3.87/1.86
Brockschmidt_16/T2/p-1b.koat 11769850 s n1 +1 n1 +1 3.95/1.87
Brockschmidt_16/T2/p-1c.koat 11769687 s ∞ +0 NonPoly +1 3.93/2.00
Brockschmidt_16/T2/p-1d.koat 11769490 s n1 +1 n1 +1 5.25/2.51
Brockschmidt_16/T2/p-20.koat 11769810 s ∞ +0 NonPoly +1 3.80/8.20
Brockschmidt_16/T2/p-21.koat 11769754 s n1 +1 n1 +1 4.56/2.70
Brockschmidt_16/T2/p-22.koat 11769483 s n1 +1 n1 +1 3.99/1.89
Brockschmidt_16/T2/p-3.koat 11769751 s n1 +1 n1 +1 4.61/2.23
Brockschmidt_16/T2/p-32.koat 11769544 s ∞ +0 NonPoly +1 4.20/2.07
Brockschmidt_16/T2/p-33.koat 11769595 s ∞ +0 NonPoly +1 4.83/2.39
Brockschmidt_16/T2/p-34.koat 11769837 s ∞ +0 NonPoly +1 4.58/2.11
Brockschmidt_16/T2/p-36.koat 11769501 s ∞ +0 NonPoly +1 4.25/2.01
Brockschmidt_16/T2/p-37.koat 11769559 s 1 +1 1 +0 3.82/2.38
Brockschmidt_16/T2/p-4.koat 11769444 s n1 +1 n1 +1 6.30/4.12
Brockschmidt_16/T2/p-40.koat 11769455 s ∞ +0 NonPoly +1 4.01/1.92
Brockschmidt_16/T2/p-41.koat 11769636 s 1 +1 1 +0 3.52/1.60
Brockschmidt_16/T2/p-42.koat 11769791 s n1 +1 n1 +1 4.30/2.04
Brockschmidt_16/T2/p-43-terminate.koat 11769803 u ∞ +0 1 +0 137.78/125.96
Brockschmidt_16/T2/p-43.koat 11769733 u ∞ +0 1 +0 5.10/2.80
Brockschmidt_16/T2/p-44.koat 11769436 s n1 +1 1 +0 4.09/2.11
Brockschmidt_16/T2/p-45.koat 11769614 s n1 +1 n1 +1 4.31/2.06
Brockschmidt_16/T2/p-46.koat 11769769 s ∞ +0 NonPoly +1 4.74/2.29
Brockschmidt_16/T2/p-49.koat 11769593 s n1 +1 n1 +1 3.99/2.80
Brockschmidt_16/T2/p-5.koat 11769621 s ∞ +0 NonPoly +1 7.32/3.16
Brockschmidt_16/T2/p-52.koat 11769849 s ∞ +0 NonPoly +1 3.99/1.88
Brockschmidt_16/T2/p-53.koat 11769681 s 1 +1 1 +0 3.46/1.60
Brockschmidt_16/T2/p-55.koat 11769555 s n2 +1 n1 +1 4.97/2.46
Brockschmidt_16/T2/p-56.koat 11769829 s n1 +1 n1 +1 4.51/5.59
Brockschmidt_16/T2/p-58.koat 11769474 s 1 +1 1 +0 3.49/1.68
Brockschmidt_16/T2/p-6.koat 11769788 s n1 +1 n1 +1 5.20/2.36
Brockschmidt_16/T2/p-60.koat 11769588 s n1 +1 1 +0 4.23/2.17
Brockschmidt_16/T2/p-61.koat 11769530 s 1 +1 1 +0 3.67/1.92
Brockschmidt_16/T2/p-63.koat 11769851 s n1 +1 1 +0 4.50/2.23
Brockschmidt_16/T2/p-7.koat 11769728 s n1 +1 n1 +1 4.01/1.93
Brockschmidt_16/T2/p-7b.koat 11769539 s n1 +1 n1 +1 4.13/1.98
Brockschmidt_16/T2/p-8.koat 11769513 s ∞ +0 NonPoly +1 4.20/1.93
Brockschmidt_16/T2/p-9.koat 11769572 s ∞ +0 NonPoly +1 4.01/2.86
Brockschmidt_16/T2/pearl-necklace.koat 11769575 s n1 +1 n1 +1 5.45/2.55
Brockschmidt_16/T2/pentagon.koat 11769472 u ∞ +0 1 +0 5.80/3.01
Brockschmidt_16/T2/pgarch.koat 11769449 u ∞ +0 1 +0 648.50/293.86
Brockschmidt_16/T2/pldi.koat 11769567 s n2 +1 n2 +1 6.31/3.14
Brockschmidt_16/T2/polling.bug.koat 11769596 s ∞ +0 NonPoly +1 53.98/24.20
Brockschmidt_16/T2/polling.koat 11769707 s ∞ +0 NonPoly +1 52.63/23.76
Brockschmidt_16/T2/polyrank1.koat 11769633 s n1 +1 1 +0 4.87/2.92
Brockschmidt_16/T2/polyrank2.koat 11769789 s n1 +1 1 +0 6.60/8.08
Brockschmidt_16/T2/polyrank3.koat 11769736 u ∞ +0 1 +0 8.24/4.01
Brockschmidt_16/T2/polyrank4.koat 11769439 u ∞ +0 1 +0 9.69/6.56
Brockschmidt_16/T2/polyrank5.koat 11769608 s ∞ +0 n1 +1 8.27/4.16
Brockschmidt_16/T2/polyrank6.koat 11769768 s ∞ +0 n1 +1 8.88/4.48
Brockschmidt_16/T2/polyrank7.koat 11769714 s ∞ +0 NonPoly +1 3.93/1.86
Brockschmidt_16/T2/popl07-fail.koat 11769565 s ∞ +0 NonPoly +1 5.53/2.71
Brockschmidt_16/T2/popl07-succeed.koat 11769434 s ∞ +0 NonPoly +1 5.65/2.81
Brockschmidt_16/T2/print.koat 11769755 s ∞ +0 NonPoly +1 46.20/18.93
Brockschmidt_16/T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.koat 11769735 s n1 +1 n1 +1 10.08/7.68
Brockschmidt_16/T2/qrdcmp.c.i.qrdcmp.pl.t2.nor.t2.rlgfixed.koat 11769562 s n1 +1 n1 +1 12.63/7.80
Brockschmidt_16/T2/qrdcmp.koat 11769825 s n1 +1 n1 +1 12.50/5.87
Brockschmidt_16/T2/queens.koat 11769431 s 1 +1 1 +0 5.97/2.48
Brockschmidt_16/T2/queue_1.koat 11769517 s 1 +1 1 +0 3.93/2.15
Brockschmidt_16/T2/queue_10.koat 11769713 s 1 +1 1 +0 4.00/1.85
Brockschmidt_16/T2/queue_100.koat 11769848 s 1 +1 1 +0 4.03/1.91
Brockschmidt_16/T2/queue_1000.koat 11769840 s 1 +1 1 +0 4.13/1.90
Brockschmidt_16/T2/randomwalk.koat 11769471 u ∞ +0 1 +0 10.50/7.70
Brockschmidt_16/T2/randomwalk_withassume.koat 11769842 u ∞ +0 1 +0 11.00/4.50
Brockschmidt_16/T2/refine_disj_problem.koat 11769545 s ∞ +0 NonPoly +1 4.48/2.05
Brockschmidt_16/T2/reverse.koat 11769675 s ∞ +0 NonPoly +1 49.10/21.52
Brockschmidt_16/T2/reverse_div4.koat 11769668 s ∞ +0 NonPoly +1 5.73/2.49
Brockschmidt_16/T2/reverse_seg_cyclic.koat 11769606 s n1 +1 n1 +1 48.79/20.91
Brockschmidt_16/T2/rev_nt2.koat 11769861 s ∞ +0 NonPoly +1 7.32/3.36
Brockschmidt_16/T2/rev_nt3.koat 11769700 s ∞ +0 NonPoly +1 7.54/5.07
Brockschmidt_16/T2/rev_nt4.koat 11769504 s 1 +1 1 +0 3.38/3.94
Brockschmidt_16/T2/rewrite.koat 11769597 s ∞ +0 NonPoly +1 3.65/1.81
Brockschmidt_16/T2/rlft3.c.i.rlft3.pl.t2.fixed.koat 11769655 s n1 +1 n1 +1 23.31/10.90
Brockschmidt_16/T2/rlft3.koat 11769766 s n1 +1 n1 +1 15.61/7.17
Brockschmidt_16/T2/s1-saved.koat 11769672 s ∞ +0 NonPoly +1 36.10/14.17
Brockschmidt_16/T2/s3-work.koat 11769846 s ∞ +0 NonPoly +1 763.22/253.42
Brockschmidt_16/T2/sas1.koat 11769540 s n1 +1 n1 +1 7.02/3.43
Brockschmidt_16/T2/sas2.koat 11769697 u ∞ +0 1 +0 139.72/111.93
Brockschmidt_16/T2/select.koat 11769757 s ∞ +0 NonPoly +1 13.67/5.12
Brockschmidt_16/T2/selectSort.koat 11769716 s n2 +1 n2 +1 5.83/4.90
Brockschmidt_16/T2/send-more-money.koat 11769798 s 1 +1 1 +0 4.99/2.24
Brockschmidt_16/T2/seq.koat 11769446 s n1 +1 n1 +1 3.70/2.01
Brockschmidt_16/T2/seq2.koat 11769686 s n1 +1 n1 +1 3.74/1.89
Brockschmidt_16/T2/sequential_swap.koat 11769566 s 1 +1 1 +0 3.51/1.80
Brockschmidt_16/T2/simple.koat 11769571 s ∞ +0 NonPoly +1 3.97/1.92
Brockschmidt_16/T2/simpleWhile.koat 11769816 s n1 +1 n1 +1 4.48/2.19
Brockschmidt_16/T2/simple_array_inversion.koat 11769594 s 1 +1 1 +0 3.85/1.97
Brockschmidt_16/T2/simple_control_on_input.koat 11769783 s 1 +1 1 +0 3.97/1.87
Brockschmidt_16/T2/simple_double_free.koat 11769704 s 1 +1 1 +0 3.35/1.67
Brockschmidt_16/T2/simple_fail.koat 11769645 s 1 +1 1 +0 3.45/1.74
Brockschmidt_16/T2/simple_pre.koat 11769652 s 1 +1 1 +0 3.51/1.84
Brockschmidt_16/T2/simple_pre1.koat 11769519 s 1 +1 1 +0 3.46/1.83
Brockschmidt_16/T2/simple_pre2.koat 11769680 s 1 +1 1 +0 3.47/7.44
Brockschmidt_16/T2/simple_pre3.koat 11769844 s 1 +1 1 +0 3.50/1.68
Brockschmidt_16/T2/simple_swap_call.koat 11769758 s 1 +1 1 +0 3.55/1.85
Brockschmidt_16/T2/slayer-1-filtered.koat 11769460 s ∞ +0 NonPoly +1 7.06/2.69
Brockschmidt_16/T2/slayer-1-rf.koat 11769828 s ∞ +0 n1 +1 177.31/153.05
Brockschmidt_16/T2/slayer-2-filtered.koat 11769689 s 1 +1 1 +0 3.57/1.68
Brockschmidt_16/T2/slayer-3-filtered.koat 11769609 s ∞ +0 NonPoly +1 23.26/9.11
Brockschmidt_16/T2/slayer-3-new.koat 11769508 u ∞ +0 1 +0 892.90/294.94
Brockschmidt_16/T2/slayer-3.koat 11769478 s ∞ +0 NonPoly +1 888.19/294.51
Brockschmidt_16/T2/slayer-4-filtered.koat 11769421 s ∞ +0 NonPoly +1 112.30/40.11
Brockschmidt_16/T2/slayer-n1-filtered.koat 11769734 s ∞ +0 NonPoly +1 4.83/2.27
Brockschmidt_16/T2/slayer-n1.koat 11769800 s ∞ +0 NonPoly +1 9.68/5.22
Brockschmidt_16/T2/slayer-n2-filtered.koat 11769518 s ∞ +0 NonPoly +1 4.18/1.99
Brockschmidt_16/T2/slayer-n2.koat 11769642 s ∞ +0 NonPoly +1 3.91/2.23
Brockschmidt_16/T2/slayer-n3-filtered.koat 11769764 s 1 +1 1 +0 5.00/2.11
Brockschmidt_16/T2/slayer-n5-filtered.koat 11769579 s ∞ +0 NonPoly +1 8.53/5.45
Brockschmidt_16/T2/smagilla-succeed.koat 11769440 s ∞ +0 NonPoly +1 4.88/2.25
Brockschmidt_16/T2/smagillb-succeed.koat 11769454 s ∞ +0 NonPoly +1 4.80/2.20
Brockschmidt_16/T2/smagillc-fail.koat 11769534 s ∞ +0 NonPoly +1 4.78/2.34
Brockschmidt_16/T2/smagillc-succeed.koat 11769477 s ∞ +0 NonPoly +1 4.63/2.22
Brockschmidt_16/T2/sort.koat 11769550 s 1 +1 1 +0 6.19/6.76
Brockschmidt_16/T2/spctrm.c.i.spctrm.pl.t2.fixed.koat 11769832 s n1 +1 n1 +1 19.00/12.76
Brockschmidt_16/T2/spctrm.c.i.spctrm.pl.t2.nor.t2.rlgfixed.koat 11769706 s n1 +1 n1 +1 29.50/13.23
Brockschmidt_16/T2/spctrm.koat 11769481 s n1 +1 n1 +1 29.59/13.23
Brockschmidt_16/T2/spiral.koat 11769492 s n2 +1 n1 +1 298.38/291.59
Brockschmidt_16/T2/st88.bug.koat 11769709 s ∞ +0 NonPoly +1 7.36/3.18
Brockschmidt_16/T2/st88.koat 11769648 s ∞ +0 NonPoly +1 5.82/2.62
Brockschmidt_16/T2/statemate.koat 11769632 u ∞ +0 1 +0 882.36/292.73
Brockschmidt_16/T2/stored.koat 11769678 s ∞ +0 NonPoly +1 5.12/2.37
Brockschmidt_16/T2/streamserver-succeed.koat 11769599 s ∞ +0 NonPoly +1 26.28/9.15
Brockschmidt_16/T2/streamserver.bug.koat 11769451 s ∞ +0 NonPoly +1 30.03/10.73
Brockschmidt_16/T2/subpoly_crash.koat 11769843 s ∞ +0 NonPoly +1 3.92/1.90
Brockschmidt_16/T2/sudoku.koat 11769741 s ∞ +0 NonPoly +1 36.79/12.75
Brockschmidt_16/T2/sumit.koat 11769557 s ∞ +0 n1 +1 6.59/3.33
Brockschmidt_16/T2/svdcmp.c.i.svdcmp.pl.t2.fixed.koat 11769520 s ∞ +0 n1 +1 631.43/292.02
Brockschmidt_16/T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.koat 11769662 s ∞ +0 n1 +1 619.96/291.92
Brockschmidt_16/T2/svdcmp.koat 11769503 s ∞ +0 n1 +1 618.83/291.89
Brockschmidt_16/T2/toeplz.c.i.toeplz.pl.t2.fixed.koat 11769819 s n1 +1 1 +0 55.16/29.22
Brockschmidt_16/T2/toeplz.c.i.toeplz.pl.t2.nor.t2.rlgfixed.koat 11769756 s ∞ +0 NonPoly +1 14.59/11.47
Brockschmidt_16/T2/toeplz.koat 11769765 s ∞ +0 NonPoly +1 14.88/5.49
Brockschmidt_16/T2/tqli.c.i.tqli.pl.t2.fixed.koat 11769747 s ∞ +0 n1 +1 421.49/291.75
Brockschmidt_16/T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.koat 11769782 s ∞ +0 n1 +1 316.42/291.74
Brockschmidt_16/T2/tqli.koat 11769625 s ∞ +0 n1 +1 316.22/291.65
Brockschmidt_16/T2/traverse.koat 11769613 s ∞ +0 NonPoly +1 34.40/13.96
Brockschmidt_16/T2/traverse2.koat 11769692 s ∞ +0 NonPoly +1 343.23/140.72
Brockschmidt_16/T2/traverse_seg.koat 11769627 s ∞ +0 NonPoly +1 37.16/13.55
Brockschmidt_16/T2/traverse_seg2.koat 11769814 s ∞ +0 NonPoly +1 31.40/10.76
Brockschmidt_16/T2/traverse_twice.koat 11769574 s ∞ +0 NonPoly +1 64.63/23.64
Brockschmidt_16/T2/two_arrays.koat 11769427 s 1 +1 1 +0 4.43/2.22
Brockschmidt_16/T2/two_arrays1.koat 11769583 s 1 +1 1 +0 5.41/7.86
Brockschmidt_16/T2/two_arrays2.koat 11769853 s n1 +1 n1 +1 7.22/3.28
Brockschmidt_16/T2/two_arrays6.koat 11769823 s n1 +1 n1 +1 7.42/3.36
Brockschmidt_16/T2/ud.koat 11769721 s 1 +1 1 +0 6.92/2.84
Brockschmidt_16/T2/vmcai_bytes.koat 11769666 s 1 +1 1 +0 3.59/1.76
Brockschmidt_16/T2/vmcai_struct.koat 11769425 s 1 +1 1 +0 3.32/1.85
Brockschmidt_16/T2/w1.koat 11769465 s ∞ +0 NonPoly +1 3.91/1.87
Brockschmidt_16/T2/w2_nt.koat 11769726 s ∞ +0 NonPoly +1 7.18/3.36
Brockschmidt_16/T2/walk.koat 11769732 s ∞ +0 NonPoly +1 5.23/2.45
Brockschmidt_16/T2/wrong_loop.koat 11769456 s ∞ +0 NonPoly +1 4.73/2.39
Brockschmidt_16/T2/wtf.koat 11769484 s n1 +1 1 +0 28.91/21.10
Brockschmidt_16/T2/zeroconf.koat 11769748 u ∞ +0 1 +0 139.64/74.15
Brockschmidt_16/T2/zeroconf_withassume.koat 11769526 u ∞ +0 1 +0 144.26/70.83
Brockschmidt_16/SAS10/aaron2.koat 11769892 s n1 +1 1 +0 8.83/4.93
Brockschmidt_16/SAS10/ackermann.koat 11769876 s n1 +1 n1 +1 4.48/2.25
Brockschmidt_16/SAS10/ax.koat 11769872 s n2 +1 n2 +1 5.41/2.50
Brockschmidt_16/SAS10/complex.koat 11769890 s n1 +1 1 +0 146.48/138.99
Brockschmidt_16/SAS10/counterex1.koat 11769889 s ∞ +0 n1 +1 24.38/13.87
Brockschmidt_16/SAS10/cousot9.koat 11769899 s n2 +1 n2 +1 5.20/2.43
Brockschmidt_16/SAS10/determinant.koat 11769866 s n3 +1 n3 +1 5.35/2.47
Brockschmidt_16/SAS10/easy1.koat 11769871 s 1 +1 1 +0 4.55/2.14
Brockschmidt_16/SAS10/easy2.koat 11769882 s n1 +1 n1 +1 4.32/2.10
Brockschmidt_16/SAS10/exmini.koat 11769870 s n1 +1 1 +0 6.15/3.82
Brockschmidt_16/SAS10/gcd.koat 11769884 s n1 +1 1 +0 7.08/3.67
Brockschmidt_16/SAS10/insertsort.koat 11769867 s n2 +1 n1 +1 8.28/4.79
Brockschmidt_16/SAS10/loops.koat 11769875 s n2 +1 1 +0 7.68/3.74
Brockschmidt_16/SAS10/maccarthy91.koat 11769893 s n1 +1 n1 +1 8.23/8.26
Brockschmidt_16/SAS10/ndecr.koat 11769880 s n1 +1 n1 +1 4.20/2.01
Brockschmidt_16/SAS10/nd_loop.koat 11769864 s 1 +1 1 +0 3.93/1.94
Brockschmidt_16/SAS10/nestedLoop.koat 11769895 s n2 +1 n2 +1 9.27/3.70
Brockschmidt_16/SAS10/perfect.koat 11769891 s n2 +1 1 +0 10.49/10.32
Brockschmidt_16/SAS10/random1d.koat 11769881 s n1 +1 n1 +1 4.81/2.40
Brockschmidt_16/SAS10/random2d.koat 11769894 s n1 +1 n1 +1 11.96/5.22
Brockschmidt_16/SAS10/realbubble.koat 11769896 s n2 +1 n2 +1 9.46/4.29
Brockschmidt_16/SAS10/realheapsort.koat 11769898 s n2 +1 1 +0 157.53/139.78
Brockschmidt_16/SAS10/realselect.koat 11769865 s n1 +1 1 +0 14.07/9.15
Brockschmidt_16/SAS10/realshellsort.koat 11769888 s n3 +1 n1 +1 21.69/12.46
Brockschmidt_16/SAS10/relation1.koat 11769877 s 1 +1 1 +0 3.53/1.80
Brockschmidt_16/SAS10/rsd.koat 11769873 s n2 +1 n1 +1 8.55/4.74
Brockschmidt_16/SAS10/sipmabubble.koat 11769868 s n2 +1 n2 +1 14.88/9.03
Brockschmidt_16/SAS10/speedFails4.koat 11769879 s n1 +1 n1 +1 5.03/2.31
Brockschmidt_16/SAS10/speedpldi2.koat 11769878 s n1 +1 n1 +1 5.66/2.64
Brockschmidt_16/SAS10/speedpldi3.koat 11769869 s n2 +1 n2 +1 5.50/2.66
Brockschmidt_16/SAS10/speedpldi4.koat 11769886 s n1 +1 n1 +1 4.96/2.23
Brockschmidt_16/SAS10/terminate.koat 11769887 s n1 +1 1 +0 6.19/3.80
Brockschmidt_16/SAS10/wcet1.koat 11769897 s n1 +1 n1 +1 6.82/3.16
Brockschmidt_16/SAS10/wcet2.koat 11769874 s n1 +1 n1 +1 5.91/2.79
Brockschmidt_16/SAS10/while2.koat 11769883 s n2 +1 n2 +1 5.21/5.33
Brockschmidt_16/SAS10/wise.koat 11769885 s n1 +1 n1 +1 4.83/2.20
Brockschmidt_16/costa/RAML/rationalPotential.koat 11769414 s n1 +1 1 +0 3.91/2.02
Brockschmidt_16/costa/misc/ack.koat 11769419 s ∞ +0 n1 +1 4.98/2.54
Brockschmidt_16/costa/misc/direct_n_log_n.koat 11769415 s n1 +1 1 +0 4.54/2.35
Brockschmidt_16/costa/misc/linear.koat 11769417 s n1 +1 n1 +1 4.40/2.23
Brockschmidt_16/costa/misc/logarithmic.koat 11769418 s 1 +1 1 +0 3.78/1.74
Brockschmidt_16/costa/misc/merge.koat 11769420 s n1 +1 n1 +1 4.14/2.19
Brockschmidt_16/costa/misc/mspe.koat 11769416 s n1 +1 1 +0 5.73/3.02
1009