Termination Competition 2019: Complexity: ITS33014

Job info CSV
AProVE complexity CoFloCo 2018 its
benchmark UPLOWTIME UPLOWTIME
Brockschmidt_16/FGPSF09/SAS05/c.02.koat 5151770 n2 +2 n2 +2 4.17/1.97 n2 +2 1 +0 0.19/0.27
Brockschmidt_16/FGPSF09/PLDI06/c.04.koat 5151758 n1 +2 n1 +2 5.63/3.28 n1 +2 1 +0 0.15/0.24
Brockschmidt_16/FGPSF09/PLDI06/c.03.koat 5151759 n1 +2 n1 +2 4.37/2.17 n1 +2 1 +0 0.14/0.22
Brockschmidt_16/FGPSF09/VMCAI04/complete3.koat 5151793 n2 +2 n2 +2 4.36/2.15 n2 +2 1 +0 0.21/0.29
Brockschmidt_16/FGPSF09/VMCAI04/complete2.koat 5151794 1 +2 1 +0 3.94/1.81 ∞ +0 1 +0 0.10/0.18
Brockschmidt_16/FGPSF09/VMCAI04/complete4.koat 5151795 ∞ +0 NonPoly +2 4.43/2.12 ∞ +0 1 +0 0.11/0.19
Brockschmidt_16/FGPSF09/VMCAI04/complete1.koat 5151796 n1 +2 n1 +2 3.98/1.89 n1 +2 1 +0 0.10/0.09
Brockschmidt_16/FGPSF09/TACAS01/terminate.koat 5151768 n1 +2 1 +0 3.79/1.82 n1 +2 1 +0 0.11/0.10
Brockschmidt_16/FGPSF09/new/unsatCond2.koat 5151766 ∞ +0 1 +0 3.42/1.76 ∞ +0 1 +0 0.09/0.07
Brockschmidt_16/FGPSF09/LICS04/c.01.koat 5151815 n2 +2 1 +0 8.59/6.40 n2 +2 1 +0 0.24/0.32
Brockschmidt_16/FGPSF09/LICS04/choice.koat 5151816 ∞ +0 n1 +2 5.36/3.11 ∞ +0 1 +0 0.15/0.23
Brockschmidt_16/FGPSF09/patrs/increase2.koat 5151808 n1 +2 n1 +2 4.26/2.09 n1 +2 1 +0 0.13/0.21
Brockschmidt_16/FGPSF09/patrs/div.koat 5151809 n1 +2 n1 +2 4.02/1.98 n1 +2 1 +0 0.15/0.23
Brockschmidt_16/FGPSF09/patrs/sqrt.koat 5151810 n1 +2 1 +0 4.57/2.35 n1 +2 1 +0 0.18/0.27
Brockschmidt_16/FGPSF09/patrs/sumto_no_if.koat 5151811 n1 +2 n1 +2 3.84/2.41 n1 +2 1 +0 0.13/0.21
Brockschmidt_16/FGPSF09/patrs/increase1.koat 5151812 n1 +2 n1 +2 3.70/1.79 n1 +2 1 +0 0.10/0.09
Brockschmidt_16/FGPSF09/patrs/increase3.koat 5151813 n1 +2 n1 +2 4.05/2.02 n1 +2 1 +0 0.14/0.22
Brockschmidt_16/FGPSF09/patrs/increase4.koat 5151814 n1 +2 n1 +2 3.74/1.76 n1 +2 1 +0 0.10/0.09
Brockschmidt_16/FGPSF09/patrs/pasta/a.11.koat 5151797 n1 +2 n1 +2 5.06/2.42 n1 +2 1 +0 0.20/0.28
Brockschmidt_16/FGPSF09/patrs/pasta/a.04.koat 5151798 n1 +2 n1 +2 3.81/1.80 n1 +2 1 +0 0.10/0.09
Brockschmidt_16/FGPSF09/patrs/pasta/a.07.koat 5151799 n1 +2 n1 +2 3.85/2.23 n1 +2 1 +0 0.11/0.10
Brockschmidt_16/FGPSF09/patrs/pasta/a.02.koat 5151800 ∞ +0 1 +0 22.83/8.43 ∞ +0 1 +0 0.23/0.31
Brockschmidt_16/FGPSF09/patrs/pasta/a.09.koat 5151801 n1 +2 n1 +2 3.97/1.95 n1 +2 1 +0 0.11/0.09
Brockschmidt_16/FGPSF09/patrs/pasta/a.06.koat 5151802 n1 +2 n1 +2 4.07/1.86 n1 +2 1 +0 0.11/0.09
Brockschmidt_16/FGPSF09/patrs/pasta/a.01.koat 5151803 n2 +2 n2 +2 4.15/2.07 n2 +2 1 +0 0.19/0.27
Brockschmidt_16/FGPSF09/patrs/pasta/a.05.koat 5151804 n1 +2 n1 +2 3.70/1.79 n1 +2 1 +0 0.10/0.09
Brockschmidt_16/FGPSF09/patrs/pasta/a.10.koat 5151805 n1 +2 n1 +2 4.31/2.34 n1 +2 1 +0 0.13/0.21
Brockschmidt_16/FGPSF09/patrs/pasta/a.03.koat 5151806 n2 +2 n1 +2 103.94/95.67 n2 +2 1 +0 1.93/2.01
Brockschmidt_16/FGPSF09/patrs/pasta/a.08.koat 5151807 n1 +2 n1 +2 4.11/1.90 n1 +2 1 +0 0.10/0.09
Flores-Montoya_16/catmouse.c.koat 5152390 ∞ +0 NonPoly +2 5.72/2.57 ∞ +0 1 +0 0.20/0.28
Flores-Montoya_16/speed_pldi09_fig4_2.c.koat 5152391 n1 +2 n1 +2 5.52/2.53 n1 +2 1 +0 0.29/0.38
Flores-Montoya_16/sipmamergesort.c.koat 5152392 ∞ +0 n1 +2 134.84/66.74 n2 +2 1 +0 138.65/138.71
Flores-Montoya_16/speed_pldi09_fig4_4.c.koat 5152393 n1 +2 n1 +2 9.72/2.21 n1 +2 1 +0 0.26/0.34
Flores-Montoya_16/sipma91.c.koat 5152394 n1 +2 n1 +2 18.71/4.05 n1 +2 1 +0 0.68/0.76
Flores-Montoya_16/easy1.c.koat 5152395 1 +2 1 +0 3.74/2.11 1 +2 1 +0 0.23/0.31
Flores-Montoya_16/speed_popl10_sequential_single.c.koat 5152396 n1 +2 n1 +2 5.03/2.40 n1 +2 1 +0 0.32/0.40
Flores-Montoya_16/speedDis1.c.koat 5152397 n1 +2 n1 +2 5.52/2.46 n1 +2 1 +0 0.29/0.37
Flores-Montoya_16/speedFails1.c.koat 5152398 ∞ +0 1 +0 5.96/2.94 ∞ +0 1 +0 0.18/0.26
Flores-Montoya_16/jama_ex3.c.koat 5152399 n2 +2 n2 +2 5.06/2.27 n2 +2 1 +0 0.33/0.41
Flores-Montoya_16/nestedLoop.c.koat 5152400 n3 +1 n2 +2 74.28/61.77 n2 +2 1 +0 2.36/2.44
Flores-Montoya_16/speedDis2.c.koat 5152401 n1 +2 n1 +2 5.70/2.61 n1 +2 1 +0 0.23/0.32
Flores-Montoya_16/aaron2.c.koat 5152402 n1 +2 n1 +2 15.43/9.38 n1 +2 1 +0 0.29/0.37
Flores-Montoya_16/serpent.c.koat 5152403 ∞ +0 n2 +2 35.18/24.24 ∞ +0 1 +0 11.99/12.06
Flores-Montoya_16/Loopus2014_ex2.c.koat 5152404 n1 +2 n1 +2 8.00/3.28 n1 +2 1 +0 0.72/0.80
Flores-Montoya_16/speed_pldi10_ex3.c.koat 5152405 n1 +2 n1 +2 5.56/2.66 n1 +2 1 +0 0.53/0.61
Flores-Montoya_16/counterex1c.c.koat 5152406 ∞ +0 n1 +2 88.67/27.44 ∞ +0 1 +0 1.02/1.10
Flores-Montoya_16/rsd.c.koat 5152407 n1 +2 n1 +2 6.47/2.73 n1 +2 1 +0 0.66/0.74
Flores-Montoya_16/speed_popl10_fig2_2.c.koat 5152408 n1 +2 n1 +2 5.60/2.64 n1 +2 1 +0 0.23/0.31
Flores-Montoya_16/wcet0.c.koat 5152409 n1 +2 n1 +2 8.01/3.76 n1 +2 1 +0 0.54/0.58
Flores-Montoya_16/speedSingleSingle2.c.koat 5152410 n1 +2 n1 +2 5.62/3.13 n1 +2 1 +0 0.56/0.64
Flores-Montoya_16/sipmabubble.c.koat 5152411 n2 +2 n2 +2 5.73/2.66 n2 +2 1 +0 0.35/0.43
Flores-Montoya_16/jama_ex7.c.koat 5152412 n2 +2 n2 +2 5.58/2.56 n2 +2 1 +0 0.38/0.46
Flores-Montoya_16/t16.c.koat 5152413 n2 +1 n1 +2 7.02/3.89 n1 +2 1 +0 0.36/0.44
Flores-Montoya_16/exmini.c.koat 5152414 n1 +2 1 +0 6.11/3.66 n1 +2 1 +0 0.28/0.36
Flores-Montoya_16/real2.c.koat 5152415 ∞ +0 NonPoly +2 8.41/3.26 ∞ +0 1 +0 0.53/0.61
Flores-Montoya_16/realheapsort.c.koat 5152416 n2 +2 1 +0 74.90/45.38 n2 +2 1 +0 2.80/2.87
Flores-Montoya_16/unperfect.c.koat 5152417 n2 +2 n1 +2 16.25/10.99 n2 +2 1 +0 0.80/0.88
Flores-Montoya_16/speedSingleSingle.c.koat 5152418 n1 +2 n1 +2 4.68/2.16 n1 +2 1 +0 0.16/0.24
Flores-Montoya_16/terminate.c.koat 5152419 n1 +2 1 +0 6.21/3.74 n1 +2 1 +0 0.28/0.36
Flores-Montoya_16/rank2.c.koat 5152420 n1 +2 n1 +2 8.74/6.27 n1 +2 1 +0 0.70/0.78
Flores-Montoya_16/textbook_ex4.c.koat 5152421 n2 +2 n2 +2 5.32/2.45 n2 +2 1 +0 0.44/0.52
Flores-Montoya_16/counterex1b.c.koat 5152422 n3 +2 n2 +2 46.96/34.03 ∞ +0 1 +0 44.80/44.85
Flores-Montoya_16/t19.c.koat 5152423 n1 +2 n1 +2 5.01/2.31 n1 +2 1 +0 0.29/0.37
Flores-Montoya_16/random1d.c.koat 5152424 n1 +2 n1 +2 4.57/2.19 n1 +2 1 +0 0.20/0.28
Flores-Montoya_16/terminatorbubble.c.koat 5152425 n2 +2 n2 +2 7.31/3.18 n2 +2 1 +0 0.71/0.79
Flores-Montoya_16/ax.c.koat 5152426 n2 +2 n2 +2 5.38/2.46 n2 +2 1 +0 0.37/0.45
Flores-Montoya_16/t30.c.koat 5152427 ∞ +0 1 +0 5.59/2.50 ∞ +0 1 +0 0.18/0.26
Flores-Montoya_16/t08.c.koat 5152428 n1 +2 n1 +2 4.99/2.67 n1 +2 1 +0 0.27/0.35
Flores-Montoya_16/t10.c.koat 5152429 n1 +2 n1 +2 4.81/2.31 n1 +2 1 +0 0.22/0.31
Flores-Montoya_16/insertsort.c.koat 5152430 n2 +2 n2 +2 6.91/3.28 n2 +2 1 +0 0.44/0.53
Flores-Montoya_16/speed_popl10_nested_multiple.c.koat 5152431 n1 +2 n1 +2 7.32/2.97 n1 +2 1 +0 0.94/1.02
Flores-Montoya_16/random2d.c.koat 5152432 n1 +2 n1 +2 10.73/4.77 n1 +2 1 +0 0.48/0.56
Flores-Montoya_16/rank3.c.koat 5152433 ∞ +0 n1 +2 107.80/76.06 ∞ +0 1 +0 18.91/18.98
Flores-Montoya_16/sipmamergesort2.c.koat 5152434 ∞ +0 n1 +2 669.15/291.76 timeout (wallclock)
Flores-Montoya_16/t28.c.koat 5152435 n1 +2 n1 +2 5.58/2.54 n1 +2 1 +0 0.47/0.55
Flores-Montoya_16/speedSimpleMultiple.c.koat 5152436 n1 +2 n1 +2 5.39/2.44 n1 +2 1 +0 0.29/0.37
Flores-Montoya_16/cousot9.c.koat 5152437 n2 +2 n2 +2 5.85/2.69 n2 +2 1 +0 0.25/0.33
Flores-Montoya_16/t13.c.koat 5152438 n1 +2 n1 +2 6.47/2.80 n1 +2 1 +0 0.53/0.61
Flores-Montoya_16/wise.c.koat 5152439 n1 +2 n1 +2 5.00/2.33 n1 +2 1 +0 0.27/0.35
Flores-Montoya_16/Loopus2011_ex1.c.koat 5152440 n1 +2 n1 +2 7.77/3.78 n1 +2 1 +0 0.79/0.87
Flores-Montoya_16/easy2.c.koat 5152441 n1 +2 n1 +2 4.59/2.17 n1 +2 1 +0 0.14/0.22
Flores-Montoya_16/nd_loop.c.koat 5152442 1 +2 1 +0 3.62/1.74 1 +2 1 +0 0.20/0.29
Flores-Montoya_16/perfect.c.koat 5152443 n2 +2 n1 +2 17.91/12.52 n2 +2 1 +0 0.69/0.77
Flores-Montoya_16/Loopus2015_original.c.koat 5152444 n2 +2 n1 +2 38.27/32.72 n2 +2 1 +0 1.63/1.71
Flores-Montoya_16/speedFails3.c.koat 5152445 ∞ +0 1 +0 6.90/3.47 ∞ +0 1 +0 0.34/0.42
Flores-Montoya_16/t20.c.koat 5152446 n1 +2 n1 +2 4.80/2.42 n1 +2 1 +0 0.26/0.34
Flores-Montoya_16/while2.c.koat 5152447 n2 +2 n2 +2 5.20/2.37 n2 +2 1 +0 0.30/0.38
Flores-Montoya_16/speed_popl10_simple_multiple.c.koat 5152448 n1 +2 n1 +2 5.22/2.41 n1 +2 1 +0 0.29/0.37
Flores-Montoya_16/speed_pldi09_fig4_5.c.koat 5152449 n2 +1 n1 +2 8.10/3.65 n1 +2 1 +0 0.37/0.45
Flores-Montoya_16/speed_pldi10_ex4.c.koat 5152450 n1 +2 n1 +2 5.02/2.36 n1 +2 1 +0 0.34/0.42
Flores-Montoya_16/aaron3.c.koat 5152451 ∞ +0 n1 +2 14.84/8.54 ∞ +0 1 +0 0.49/0.57
Flores-Montoya_16/alain.c.koat 5152452 n3 +1 n2 +2 35.04/28.50 n2 +2 1 +0 0.94/1.02
Flores-Montoya_16/speedNestedMultipleDep.c.koat 5152453 n2 +2 n2 +2 5.47/2.57 n2 +2 1 +0 0.45/0.53
Flores-Montoya_16/nested_loop.c.koat 5152454 n3 +1 n2 +2 96.04/81.83 n2 +2 1 +0 6.36/6.44
Flores-Montoya_16/realbubble.c.koat 5152455 n2 +2 n2 +2 7.37/3.13 n2 +2 1 +0 0.55/0.63
Flores-Montoya_16/t11.c.koat 5152456 n1 +2 n1 +2 5.44/2.48 n1 +2 1 +0 0.29/0.37
Flores-Montoya_16/speed_pldi09_fig1.c.koat 5152457 n2 +1 n1 +2 5.79/3.03 n1 +2 1 +0 0.26/0.34
Flores-Montoya_16/Loopus2015_ex1.c.koat 5152458 n2 +1 n1 +2 12.91/9.50 n1 +2 1 +0 0.60/0.68
Flores-Montoya_16/textbook_ex1.c.koat 5152459 n1 +2 n1 +2 4.67/2.21 n1 +2 1 +0 0.16/0.24
Flores-Montoya_16/wcet1.c.koat 5152460 n1 +2 n1 +2 7.72/3.72 n1 +2 1 +0 0.54/0.62
Flores-Montoya_16/t27.c.koat 5152461 n1 +2 n1 +2 6.37/2.86 n1 +2 1 +0 0.61/0.69
Flores-Montoya_16/speedFails4.c.koat 5152462 ∞ +0 1 +0 6.92/3.18 ∞ +0 1 +0 0.35/0.43
Flores-Montoya_16/speedFails2.c.koat 5152463 ∞ +0 NonPoly +2 5.06/2.26 ∞ +0 1 +0 0.19/0.29
Flores-Montoya_16/perfect2.c.koat 5152464 n2 +2 n1 +2 16.43/11.16 n2 +2 1 +0 0.80/0.88
Flores-Montoya_16/jama_ex5.c.koat 5152465 n2 +2 n1 +2 7.14/4.24 n2 +2 1 +0 0.33/0.41
Flores-Montoya_16/speedSimpleMultipleDep.c.koat 5152466 n2 +2 n2 +2 5.87/2.75 n2 +2 1 +0 0.29/0.38
Flores-Montoya_16/realshellsort.c.koat 5152467 n3 +2 1 +0 21.02/14.27 n3 +2 1 +0 1.28/1.36
Flores-Montoya_16/jama_ex6.c.koat 5152468 n4 +1 n3 +2 22.38/16.29 n3 +2 1 +0 1.91/1.99
Flores-Montoya_16/t47.c.koat 5152469 n1 +2 n1 +2 4.91/3.64 n1 +2 1 +0 0.21/0.30
Flores-Montoya_16/perfect1.c.koat 5152470 n2 +2 n1 +2 27.59/20.80 n2 +2 1 +0 0.77/0.85
Flores-Montoya_16/t15.c.koat 5152471 n1 +2 n1 +2 5.82/2.59 n1 +2 1 +0 0.44/0.52
Flores-Montoya_16/complex.c.koat 5152472 n1 +2 n1 +2 8.99/3.56 n1 +2 1 +0 6.57/6.65
Flores-Montoya_16/speed_popl10_simple_single.c.koat 5152473 n1 +2 n1 +2 4.46/2.19 n1 +2 1 +0 0.16/0.24
Flores-Montoya_16/ex_paper1.c.koat 5152474 n3 +1 n2 +2 50.94/39.20 n2 +2 1 +0 1.34/1.42
Flores-Montoya_16/jama_ex1.c.koat 5152475 n2 +2 n2 +2 5.27/2.38 n2 +2 1 +0 0.32/0.40
Flores-Montoya_16/ex_paper3.c.koat 5152476 n2 +2 n1 +2 20.56/14.43 n2 +2 1 +0 0.73/0.81
Flores-Montoya_16/speed_popl10_simple_single_2.c.koat 5152477 n1 +2 n1 +2 5.21/2.46 n1 +2 1 +0 0.35/0.43
Flores-Montoya_16/speedpldi2.c.koat 5152478 n1 +2 n1 +2 5.68/2.60 n1 +2 1 +0 0.30/0.38
Flores-Montoya_16/speed_popl10_fig2_1.c.koat 5152479 n1 +2 n1 +2 5.51/2.44 n1 +2 1 +0 0.29/0.37
Flores-Montoya_16/realheapsort_step2.c.koat 5152480 n2 +2 n1 +2 45.11/37.92 n2 +2 1 +0 2.30/2.37
Flores-Montoya_16/Loopus2014_ex1.c.koat 5152481 n2 +2 n2 +2 20.05/12.63 n2 +2 1 +0 4.51/4.59
Flores-Montoya_16/relation1.c.koat 5152482 1 +2 1 +0 3.51/1.65 1 +2 1 +0 0.09/0.07
Flores-Montoya_16/aaron12.c.koat 5152483 ∞ +0 1 +0 0.58/0.44 ∞ +0 1 +0 0.28/0.36
Flores-Montoya_16/ndecr.c.koat 5152484 n1 +2 n1 +2 4.38/2.06 n1 +2 1 +0 0.16/0.24
Flores-Montoya_16/wcet2.c.koat 5152485 n1 +2 n1 +2 5.32/3.17 n1 +2 1 +0 0.39/0.47
Flores-Montoya_16/Loopus2011_ex2.c.koat 5152486 ∞ +0 n1 +2 373.06/291.7 n1 +2 1 +0 9.27/9.34
Flores-Montoya_16/realselect.c.koat 5152487 n2 +2 n2 +2 5.45/2.54 n2 +2 1 +0 0.38/0.46
Flores-Montoya_16/counterex1a.c.koat 5152488 ∞ +0 n1 +2 33.16/19.44 ∞ +0 1 +0 1.69/1.77
Flores-Montoya_16/knuth_morris_pratt.c.koat 5152489 n1 +2 n1 +2 44.96/35.70 n1 +2 1 +0 4.79/4.86
Flores-Montoya_16/textbook_ex3.c.koat 5152490 n6 +1 n4 +2 31.19/25.21 n4 +2 1 +0 1.41/1.49
Flores-Montoya_16/jama_ex4.c.koat 5152491 n2 +2 n2 +2 6.47/2.91 n2 +2 1 +0 0.48/0.56
Flores-Montoya_16/speed_popl10_nested_single.c.koat 5152492 n1 +2 n1 +2 5.93/3.04 n1 +2 1 +0 0.62/0.70
Flores-Montoya_16/Loopus2011_ex3.c.koat 5152493 n1 +2 1 +0 7.06/3.20 n1 +2 1 +0 0.26/0.34
Flores-Montoya_16/t62.c.koat 5152494 n1 +2 n1 +2 8.29/3.35 n1 +2 1 +0 1.86/1.94
Flores-Montoya_16/speedNestedMultiple.c.koat 5152495 n1 +2 n1 +2 7.79/3.17 n1 +2 1 +0 0.94/1.02
Flores-Montoya_16/speedpldi3.c.koat 5152496 n2 +2 n2 +2 6.10/2.67 n2 +2 1 +0 0.35/0.43
Flores-Montoya_16/perfectg.c.koat 5152497 n2 +2 1 +0 13.35/8.23 n2 +2 1 +0 0.78/0.86
Flores-Montoya_16/ex_paper2.c.koat 5152498 n2 +2 n2 +2 5.64/2.45 n2 +2 1 +0 0.32/0.40
Flores-Montoya_16/t07.c.koat 5152499 n1 +2 n1 +2 5.41/2.49 n1 +2 1 +0 0.37/0.45
Flores-Montoya_16/textbook_ex2.c.koat 5152500 n2 +2 n2 +2 5.57/2.61 n2 +2 1 +0 0.31/0.39
Flores-Montoya_16/jama_ex2.c.koat 5152501 n2 +2 n2 +2 5.55/2.57 n2 +2 1 +0 0.32/0.40
Flores-Montoya_16/rank1.c.koat 5152502 ∞ +0 n1 +2 31.26/18.20 n2 +2 1 +0 1.52/1.60
Flores-Montoya_16/heapsort.c.koat 5152503 n1 +2 1 +0 40.17/21.35 n1 +2 1 +0 1.23/1.31
Flores-Montoya_16/speedpldi4.c.koat 5152504 n1 +2 1 +0 5.24/2.57 n1 +2 1 +0 0.24/0.32
Flores-Montoya_16/Loopus2015_ex2.c.koat 5152505 n1 +2 n1 +2 7.46/2.93 n1 +2 1 +0 0.67/0.75
Flores-Montoya_16/realheapsort_step1.c.koat 5152506 n2 +2 1 +0 25.02/17.65 n2 +2 1 +0 0.47/0.55
Flores-Montoya_16/loops.c.koat 5152507 n2 +2 1 +0 6.75/3.61 n2 +2 1 +0 0.33/0.41
Flores-Montoya_16/speed_pldi10_ex1.c.koat 5152508 n2 +2 n2 +2 9.20/3.73 n2 +2 1 +0 0.70/0.78
Brockschmidt_16/T2/ex20.koat 5151942 1 +2 1 +0 3.78/1.87 1 +2 1 +0 0.30/0.38
Brockschmidt_16/T2/fun3.koat 5151943 n1 +2 n1 +2 124.39/61.09 n1 +2 1 +0 86.66/86.76
Brockschmidt_16/T2/n-21.koat 5151944 ∞ +0 NonPoly +2 4.25/1.96 ∞ +0 1 +0 0.26/0.34
Brockschmidt_16/T2/polyrank5.koat 5151945 ∞ +0 n1 +2 6.65/4.11 ∞ +0 1 +0 0.23/0.31
Brockschmidt_16/T2/complex_guard.koat 5151946 1 +2 1 +0 3.58/1.70 1 +2 1 +0 0.14/0.22
Brockschmidt_16/T2/n-14.koat 5151947 ∞ +0 NonPoly +2 4.65/2.30 ∞ +0 1 +0 0.24/0.32
Brockschmidt_16/T2/neg-e-1394complete-fail.koat 5151948 ∞ +0 NonPoly +2 26.81/11.49 ∞ +0 1 +0 5.53/5.61
Brockschmidt_16/T2/afagx1.koat 5151949 ∞ +0 NonPoly +2 4.22/2.07 ∞ +0 1 +0 0.16/0.24
Brockschmidt_16/T2/queens.koat 5151950 1 +2 1 +0 6.50/2.53 timeout (wallclock)
Brockschmidt_16/T2/matmult.koat 5151951 1 +2 1 +0 5.23/2.28 1 +2 1 +0 0.85/0.93
Brockschmidt_16/T2/randomwalk.koat 5151952 ∞ +0 1 +0 14.12/5.72 ∞ +0 1 +0 0.78/0.86
Brockschmidt_16/T2/slayer-n3-filtered.koat 5151953 1 +2 1 +0 4.60/2.04 1 +2 1 +0 0.12/0.10
Brockschmidt_16/T2/rev_nt4.koat 5151954 1 +2 1 +0 3.51/1.70 1 +2 1 +0 0.08/0.06
Brockschmidt_16/T2/apchild-accepted.koat 5151955 ∞ +0 NonPoly +2 32.30/10.76 timeout (wallclock)
Brockschmidt_16/T2/heidy6.koat 5151956 ∞ +0 NonPoly +2 4.41/2.04 ∞ +0 1 +0 0.20/0.28
Brockschmidt_16/T2/hongyi1.koat 5151957 n1 +2 n1 +2 75.91/32.30 timeout (wallclock)
Brockschmidt_16/T2/neg-e-pgarch-fail.koat 5151958 ∞ +0 NonPoly +2 4.82/2.18 ∞ +0 1 +0 0.16/0.24
Brockschmidt_16/T2/jacobi.koat 5151959 n1 +2 n1 +2 162.26/148.54 timeout (wallclock)
Brockschmidt_16/T2/n-8a.koat 5151960 ∞ +0 NonPoly +2 3.95/1.93 ∞ +0 1 +0 0.15/0.23
Brockschmidt_16/T2/broydn.koat 5151961 ∞ +0 n1 +2 327.03/291.76 timeout (wallclock)
Brockschmidt_16/T2/n-3a.koat 5151962 ∞ +0 NonPoly +2 6.55/3.01 ∞ +0 1 +0 0.59/0.67
Brockschmidt_16/T2/eric3.koat 5151963 ∞ +0 NonPoly +2 4.20/1.91 ∞ +0 1 +0 0.16/0.25
Brockschmidt_16/T2/nakata_withassume.koat 5151964 ∞ +0 NonPoly +2 29.93/10.42 timeout (wallclock)
Brockschmidt_16/T2/hqr.koat 5151965 ∞ +0 n1 +2 517.75/291.83 timeout (wallclock)
Brockschmidt_16/T2/n-1c.koat 5151966 ∞ +0 NonPoly +2 4.04/1.91 ∞ +0 1 +0 0.24/0.32
Brockschmidt_16/T2/simple_pre3.koat 5151967 1 +2 1 +0 3.41/1.63 1 +2 1 +0 0.08/0.06
Brockschmidt_16/T2/p-12.koat 5151968 n1 +2 n1 +2 3.67/1.78 n1 +2 1 +0 0.13/0.21
Brockschmidt_16/T2/example.koat 5151969 n1 +2 n1 +2 4.06/2.11 n1 +2 1 +0 0.13/0.22
Brockschmidt_16/T2/n-12a.koat 5151970 ∞ +0 NonPoly +2 3.98/1.85 ∞ +0 1 +0 0.12/0.20
Brockschmidt_16/T2/tqli.c.i.tqli.pl.t2.fixed.koat 5151971 ∞ +0 n1 +2 359.35/291.60 timeout (wallclock)
Brockschmidt_16/T2/bubbleSort.koat 5151972 n2 +2 n2 +2 5.85/2.78 n2 +2 1 +0 0.56/0.64
Brockschmidt_16/T2/3.koat 5151973 ∞ +0 NonPoly +2 3.57/1.82 ∞ +0 1 +0 0.10/0.08
Brockschmidt_16/T2/ex32.koat 5151974 1 +2 1 +0 3.84/1.79 1 +2 1 +0 0.20/0.28
Brockschmidt_16/T2/heidy9.koat 5151975 n1 +2 n1 +2 3.69/1.89 n1 +2 1 +0 0.14/0.22
Brockschmidt_16/T2/polyrank4.koat 5151976 ∞ +0 1 +0 10.19/7.90 ∞ +0 1 +0 0.12/0.21
Brockschmidt_16/T2/wtf.koat 5151977 n1 +2 n1 +2 126.42/62.12 n1 +2 1 +0 86.49/86.60
Brockschmidt_16/T2/fir.koat 5151978 ∞ +0 NonPoly +2 15.37/5.55 ∞ +0 1 +0 0.76/0.84
Brockschmidt_16/T2/ex15.koat 5151979 1 +2 1 +0 3.67/1.74 1 +2 1 +0 0.08/0.06
Brockschmidt_16/T2/simple_double_free.koat 5151980 1 +2 1 +0 3.36/2.09 1 +2 1 +0 0.07/0.06
Brockschmidt_16/T2/fun10.koat 5151981 ∞ +0 NonPoly +2 8.05/3.06 ∞ +0 1 +0 13.40/13.51
Brockschmidt_16/T2/p-15.koat 5151982 n1 +2 n1 +2 3.80/1.91 n1 +2 1 +0 0.13/0.21
Brockschmidt_16/T2/queue_1.koat 5151983 1 +2 1 +0 3.96/1.91 1 +2 1 +0 0.19/0.28
Brockschmidt_16/T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.koat 5151984 n1 +2 n1 +2 17.76/8.34 n1 +2 1 +0 4.23/4.31
Brockschmidt_16/T2/n-13.koat 5151985 ∞ +0 NonPoly +2 3.92/1.82 ∞ +0 1 +0 0.13/0.21
Brockschmidt_16/T2/queue_10.koat 5151986 1 +2 1 +0 4.06/1.86 1 +2 1 +0 0.21/0.29
Brockschmidt_16/T2/simple_pre1.koat 5151987 1 +2 1 +0 3.35/1.61 1 +2 1 +0 0.08/0.06
Brockschmidt_16/T2/fun11.koat 5151988 ∞ +0 NonPoly +2 4.21/1.96 ∞ +0 1 +0 0.25/0.33
Brockschmidt_16/T2/agafp.koat 5151989 ∞ +0 NonPoly +2 20.38/6.72 ∞ +0 1 +0 37.42/37.49
Brockschmidt_16/T2/n-48.koat 5151990 ∞ +0 1 +0 5.23/2.90 ∞ +0 1 +0 0.20/0.29
Brockschmidt_16/T2/p-46.koat 5151991 ∞ +0 NonPoly +2 5.15/2.45 ∞ +0 1 +0 0.32/0.40
Brockschmidt_16/T2/fun8.koat 5151992 1 +2 1 +0 10.42/3.92 1 +2 1 +0 3.71/3.79
Brockschmidt_16/T2/huh.koat 5151993 ∞ +0 NonPoly +2 4.59/2.04 ∞ +0 1 +0 0.79/0.87
Brockschmidt_16/T2/cfg.koat 5151994 ∞ +0 NonPoly +2 3.83/1.82 ∞ +0 1 +0 0.11/0.19
Brockschmidt_16/T2/minmax.koat 5151995 1 +2 1 +0 3.56/1.82 1 +2 1 +0 0.14/0.22
Brockschmidt_16/T2/neg-e-acqrel-succeed.koat 5151996 ∞ +0 NonPoly +2 4.25/1.95 ∞ +0 1 +0 0.29/0.37
Brockschmidt_16/T2/bf10.koat 5151997 1 +2 1 +0 4.35/2.12 1 +2 1 +0 0.76/0.84
Brockschmidt_16/T2/slayer-3-new.koat 5151998 ∞ +0 NonPoly +2 890.8/295.14 timeout (wallclock)
Brockschmidt_16/T2/refine_disj_problem.koat 5151999 ∞ +0 NonPoly +2 4.06/1.91 ∞ +0 1 +0 0.13/0.21
Brockschmidt_16/T2/iecs.koat 5152000 n1 +2 1 +0 3.83/1.85 n1 +2 1 +0 0.11/0.09
Brockschmidt_16/T2/p-3.koat 5152001 n1 +2 n1 +2 4.42/2.08 n1 +2 1 +0 0.20/0.28
Brockschmidt_16/T2/spctrm.c.i.spctrm.pl.t2.fixed.koat 5152002 n1 +2 n1 +2 23.17/17.90 n1 +2 1 +0 80.58/80.64
Brockschmidt_16/T2/smagillb-succeed.koat 5152003 ∞ +0 NonPoly +2 4.93/2.33 ∞ +0 1 +0 0.28/0.36
Brockschmidt_16/T2/polyrank2.koat 5152004 ∞ +0 1 +0 7.21/5.13 ∞ +0 1 +0 0.11/0.19
Brockschmidt_16/T2/e-pgarch-succeed.koat 5152005 ∞ +0 NonPoly +2 4.89/2.25 ∞ +0 1 +0 0.21/0.29
Brockschmidt_16/T2/fun1b.koat 5152006 ∞ +0 NonPoly +2 37.20/16.32 ∞ +0 1 +0 129.88/129.97
Brockschmidt_16/T2/array1.koat 5152007 1 +2 1 +0 3.32/1.97 1 +2 1 +0 0.07/0.06
Brockschmidt_16/T2/sudoku.koat 5152008 ∞ +0 NonPoly +2 847.66/282.29 ∞ +0 1 +0 108.19/108.18
Brockschmidt_16/T2/pentagon.koat 5152009 ∞ +0 1 +0 6.12/3.12 ∞ +0 1 +0 2.31/2.39
Brockschmidt_16/T2/simple_fail.koat 5152010 1 +2 1 +0 3.52/1.64 1 +2 1 +0 0.08/0.06
Brockschmidt_16/T2/simple_pre.koat 5152011 1 +2 1 +0 3.46/1.69 1 +2 1 +0 0.08/0.06
Brockschmidt_16/T2/dsa_test8.koat 5152012 1 +2 1 +0 3.40/1.73 1 +2 1 +0 0.08/0.06
Brockschmidt_16/T2/dropbuf-live.koat 5152013 1 +2 1 +0 3.43/1.61 1 +2 1 +0 0.08/0.06
Brockschmidt_16/T2/dsa_test15.koat 5152014 1 +2 1 +0 3.87/1.79 1 +2 1 +0 0.19/0.27
Brockschmidt_16/T2/ud.koat 5152015 1 +2 1 +0 7.83/2.98 1 +2 1 +0 3.73/3.80
Brockschmidt_16/T2/neg-smagilla-succeed.koat 5152016 ∞ +0 NonPoly +2 5.01/2.33 ∞ +0 1 +0 0.30/0.39
Brockschmidt_16/T2/reverse_seg_cyclic.koat 5152017 n1 +2 n1 +2 49.90/20.76 n1 +2 1 +0 3.21/3.29
Brockschmidt_16/T2/ns.koat 5152018 1 +2 1 +0 4.37/2.02 1 +2 1 +0 1.25/1.33
Brockschmidt_16/T2/hqr.c.i.hqr.pl.t2.fixed.koat 5152019 ∞ +0 n1 +2 554.11/292.06 timeout (wallclock)
Brockschmidt_16/T2/n-46.koat 5152020 ∞ +0 NonPoly +2 3.78/1.77 ∞ +0 1 +0 0.14/0.22
Brockschmidt_16/T2/polyrank6.koat 5152021 ∞ +0 n1 +2 7.09/4.44 ∞ +0 1 +0 0.14/0.22
Brockschmidt_16/T2/consts1nt.koat 5152022 ∞ +0 NonPoly +2 3.98/1.86 ∞ +0 1 +0 0.10/0.19
Brockschmidt_16/T2/crc.koat 5152023 1 +2 1 +0 11.52/6.93 1 +2 1 +0 1.80/1.88
Brockschmidt_16/T2/p-56.koat 5152024 n1 +2 n1 +2 4.59/2.20 n1 +2 1 +0 0.23/0.32
Brockschmidt_16/T2/dsa_test5.koat 5152025 1 +2 1 +0 3.31/1.68 1 +2 1 +0 0.07/0.06
Brockschmidt_16/T2/neg-1394complete-succeed.koat 5152026 ∞ +0 NonPoly +2 27.08/11.46 ∞ +0 1 +0 5.78/5.86
Brockschmidt_16/T2/eric2.koat 5152027 ∞ +0 n1 +2 589.86/291.65 ∞ +0 1 +0 3.25/3.33
Brockschmidt_16/T2/smagilla-succeed.koat 5152028 ∞ +0 NonPoly +2 5.31/2.99 ∞ +0 1 +0 0.29/0.38
Brockschmidt_16/T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.koat 5152029 ∞ +0 NonPoly +2 54.66/18.56 ∞ +0 1 +0 39.89/39.95
Brockschmidt_16/T2/neg-popl07-fail.koat 5152030 ∞ +0 NonPoly +2 5.19/2.36 ∞ +0 1 +0 1.25/1.33
Brockschmidt_16/T2/heidy8.koat 5152031 ∞ +0 NonPoly +2 5.91/2.50 ∞ +0 1 +0 0.23/0.31
Brockschmidt_16/T2/apchildlive-succeed.koat 5152032 ∞ +0 NonPoly +2 73.30/26.48 timeout (wallclock)
Brockschmidt_16/T2/ex16.koat 5152033 ∞ +0 NonPoly +2 4.92/2.19 ∞ +0 1 +0 0.43/0.51
Brockschmidt_16/T2/subpoly_crash.koat 5152034 ∞ +0 NonPoly +2 3.99/1.86 ∞ +0 1 +0 0.15/0.23
Brockschmidt_16/T2/1394-fail.koat 5152035 ∞ +0 NonPoly +2 34.82/15.60 ∞ +0 1 +0 6.82/6.89
Brockschmidt_16/T2/241.koat 5152036 n2 +2 n2 +2 4.24/2.10 n2 +2 1 +0 0.14/0.23
Brockschmidt_16/T2/bf14.koat 5152037 1 +2 1 +0 4.33/1.97 1 +2 1 +0 0.76/0.84
Brockschmidt_16/T2/statemate.koat 5152038 ∞ +0 1 +0 881.23/293.23 timeout (wallclock)
Brockschmidt_16/T2/fibcall.koat 5152039 1 +2 1 +0 3.78/1.75 1 +2 1 +0 0.22/0.30
Brockschmidt_16/T2/n-16a.koat 5152040 ∞ +0 1 +0 5.19/3.10 ∞ +0 1 +0 0.15/0.23
Brockschmidt_16/T2/broydn.c.i.broydn.pl.t2.fixed.koat 5152041 ∞ +0 n1 +2 592.07/291.74 timeout (wallclock)
Brockschmidt_16/T2/2.koat 5152042 ∞ +0 NonPoly +2 5.28/2.44 ∞ +0 1 +0 0.72/0.80
Brockschmidt_16/T2/new_ex.koat 5152043 ∞ +0 NonPoly +2 8.75/3.83 ∞ +0 1 +0 1.16/1.24
Brockschmidt_16/T2/n-3.koat 5152044 ∞ +0 NonPoly +2 4.05/1.99 ∞ +0 1 +0 0.18/0.26
Brockschmidt_16/T2/byron-2.koat 5152045 ∞ +0 NonPoly +2 5.39/2.47 ∞ +0 1 +0 0.27/0.35
Brockschmidt_16/T2/p-63.koat 5152046 n1 +2 1 +0 4.31/2.42 n1 +2 1 +0 0.22/0.30
Brockschmidt_16/T2/ex9.koat 5152047 ∞ +0 NonPoly +2 5.31/2.30 ∞ +0 1 +0 0.33/0.42
Brockschmidt_16/T2/ex22.koat 5152048 1 +2 1 +0 15.63/6.20 1 +2 1 +0 1.87/1.95
Brockschmidt_16/T2/non_term.koat 5152049 ∞ +0 1 +0 5.00/2.82 ∞ +0 1 +0 0.13/0.21
Brockschmidt_16/T2/ex12.koat 5152050 1 +2 1 +0 3.50/1.69 1 +2 1 +0 0.14/0.22
Brockschmidt_16/T2/n-15a.koat 5152051 ∞ +0 NonPoly +2 4.99/2.52 ∞ +0 1 +0 0.23/0.31
Brockschmidt_16/T2/bf5.koat 5152052 1 +2 1 +0 4.26/1.93 1 +2 1 +0 0.77/0.85
Brockschmidt_16/T2/n-32.koat 5152053 ∞ +0 NonPoly +2 3.90/2.14 ∞ +0 1 +0 0.13/0.22
Brockschmidt_16/T2/edn.koat 5152054 1 +2 1 +0 10.26/6.21 1 +2 1 +0 2.91/2.99
Brockschmidt_16/T2/randomwalk_withassume.koat 5152055 ∞ +0 1 +0 14.35/5.58 ∞ +0 1 +0 1.20/1.29
Brockschmidt_16/T2/p-42.koat 5152056 n1 +2 n1 +2 4.47/2.11 n1 +2 1 +0 0.24/0.32
Brockschmidt_16/T2/apchild-accepted-fail.koat 5152057 ∞ +0 NonPoly +2 30.53/13.17 timeout (wallclock)
Brockschmidt_16/T2/queue_100.koat 5152058 1 +2 1 +0 4.03/1.90 1 +2 1 +0 0.21/0.29
Brockschmidt_16/T2/ex33.koat 5152059 1 +2 1 +0 3.61/1.65 1 +2 1 +0 0.08/0.06
Brockschmidt_16/T2/consts4.koat 5152060 n1 +2 n1 +2 3.71/1.80 n1 +2 1 +0 0.10/0.08
Brockschmidt_16/T2/n-37.koat 5152061 ∞ +0 NonPoly +2 3.61/1.84 ∞ +0 1 +0 0.18/0.26
Brockschmidt_16/T2/n-15.koat 5152062 ∞ +0 NonPoly +2 4.15/1.97 ∞ +0 1 +0 0.13/0.21
Brockschmidt_16/T2/print.koat 5152063 ∞ +0 NonPoly +2 60.17/22.40 ∞ +0 1 +0 6.00/6.08
Brockschmidt_16/T2/two_arrays2.koat 5152064 n1 +2 n1 +2 7.29/3.20 n1 +2 1 +0 1.15/1.23
Brockschmidt_16/T2/n-36.koat 5152065 ∞ +0 NonPoly +2 5.08/2.23 ∞ +0 1 +0 1.98/1.08
Brockschmidt_16/T2/array_free.koat 5152066 1 +2 1 +0 3.73/1.77 1 +2 1 +0 0.12/0.20
Brockschmidt_16/T2/eric1.koat 5152067 ∞ +0 n2 +2 9.98/6.37 ∞ +0 1 +0 0.26/0.34
Brockschmidt_16/T2/brp_withassume.koat 5152068 ∞ +0 NonPoly +2 43.51/14.78 timeout (wallclock)
Brockschmidt_16/T2/dsa_test9.koat 5152069 1 +2 1 +0 3.36/1.65 1 +2 1 +0 0.07/0.06
Brockschmidt_16/T2/n-7.koat 5152070 ∞ +0 NonPoly +2 4.12/1.82 ∞ +0 1 +0 0.17/0.26
Brockschmidt_16/T2/1394-succeed.koat 5152071 ∞ +0 NonPoly +2 28.06/11.62 ∞ +0 1 +0 13.25/6.71
Brockschmidt_16/T2/st88.bug.koat 5152072 ∞ +0 NonPoly +2 6.79/2.96 ∞ +0 1 +0 0.26/0.34
Brockschmidt_16/T2/d.koat 5152073 ∞ +0 NonPoly +2 3.99/1.81 ∞ +0 1 +0 0.10/0.19
Brockschmidt_16/T2/p-16.koat 5152074 n1 +2 n1 +2 3.84/1.87 n1 +2 1 +0 0.13/0.21
Brockschmidt_16/T2/p-1b.koat 5152075 n1 +2 n1 +2 3.89/1.81 n1 +2 1 +0 0.14/0.23
Brockschmidt_16/T2/stored.koat 5152076 ∞ +0 NonPoly +2 5.11/2.41 ∞ +0 1 +0 0.28/0.36
Brockschmidt_16/T2/brp.koat 5152077 ∞ +0 NonPoly +2 43.59/16.02 timeout (wallclock)
Brockschmidt_16/T2/vmcai_struct.koat 5152078 1 +2 1 +0 3.33/1.71 1 +2 1 +0 0.08/0.06
Brockschmidt_16/T2/streamserver-succeed.koat 5152079 ∞ +0 NonPoly +2 30.23/10.40 ∞ +0 1 +0 177.97/178.04
Brockschmidt_16/T2/bubblesort_inner_loop.koat 5152080 1 +2 1 +0 3.76/1.77 1 +2 1 +0 0.19/0.27
Brockschmidt_16/T2/fourn.koat 5152081 ∞ +0 NonPoly +2 54.39/21.37 ∞ +0 1 +0 39.92/39.99
Brockschmidt_16/T2/invgen.koat 5152082 n1 +2 n1 +2 4.26/2.29 n1 +2 1 +0 0.11/0.09
Brockschmidt_16/T2/rlft3.c.i.rlft3.pl.t2.fixed.koat 5152083 n1 +2 n1 +2 238.33/148.89 timeout (wallclock)
Brockschmidt_16/T2/ex17.koat 5152084 1 +2 1 +0 3.71/1.72 1 +2 1 +0 0.24/0.32
Brockschmidt_16/T2/consts5nt.koat 5152085 ∞ +0 NonPoly +2 4.02/1.86 ∞ +0 1 +0 0.11/0.19
Brockschmidt_16/T2/dsa_test10.koat 5152086 1 +2 1 +0 3.66/1.73 1 +2 1 +0 0.20/0.29
Brockschmidt_16/T2/slayer-n2.koat 5152087 ∞ +0 NonPoly +2 3.67/1.76 ∞ +0 1 +0 0.13/0.21
Brockschmidt_16/T2/ex27.koat 5152088 1 +2 1 +0 31.52/13.76 1 +2 1 +0 2.93/3.01
Brockschmidt_16/T2/6.koat 5152089 ∞ +0 NonPoly +2 3.84/1.80 ∞ +0 1 +0 0.09/0.08
Brockschmidt_16/T2/n-5.koat 5152090 ∞ +0 NonPoly +2 7.27/2.89 ∞ +0 1 +0 1.13/1.21
Brockschmidt_16/T2/consts5.koat 5152091 1 +2 1 +0 3.45/1.65 1 +2 1 +0 0.09/0.07
Brockschmidt_16/T2/p-37.koat 5152092 1 +2 1 +0 3.63/1.75 1 +2 1 +0 0.26/0.34
Brockschmidt_16/T2/a.10.c.koat 5152093 n2 +1 n1 +2 8.34/5.01 n1 +2 1 +0 1.46/1.54
Brockschmidt_16/T2/ex19.koat 5152094 ∞ +0 NonPoly +2 4.23/1.95 ∞ +0 1 +0 0.35/0.43
Brockschmidt_16/T2/neg-e-popl07-succeed.koat 5152095 ∞ +0 NonPoly +2 7.07/3.13 ∞ +0 1 +0 1.85/1.93
Brockschmidt_16/T2/ase_example.koat 5152096 1 +2 1 +0 3.68/1.73 1 +2 1 +0 0.32/0.40
Brockschmidt_16/T2/sumit.koat 5152097 ∞ +0 n1 +2 8.47/4.97 n1 +2 1 +0 0.86/0.94
Brockschmidt_16/T2/dsa_test.koat 5152098 1 +2 1 +0 3.37/1.66 1 +2 1 +0 0.07/0.06
Brockschmidt_16/T2/ex14.koat 5152099 1 +2 1 +0 3.52/1.68 1 +2 1 +0 0.13/0.22
Brockschmidt_16/T2/mc91test.koat 5152100 ∞ +0 NonPoly +2 9.42/4.02 ∞ +0 1 +0 0.37/0.45
Brockschmidt_16/T2/p-61.koat 5152101 1 +2 1 +0 3.59/1.71 1 +2 1 +0 0.19/0.27
Brockschmidt_16/T2/p-6.koat 5152102 n1 +2 n1 +2 5.18/2.43 n1 +2 1 +0 0.23/0.31
Brockschmidt_16/T2/p-41.koat 5152103 1 +2 1 +0 3.37/1.75 1 +2 1 +0 0.07/0.06
Brockschmidt_16/T2/curious.koat 5152104 ∞ +0 NonPoly +2 3.60/1.81 ∞ +0 1 +0 0.10/0.18
Brockschmidt_16/T2/p-19a.koat 5152105 ∞ +0 NonPoly +2 3.82/1.83 ∞ +0 1 +0 0.18/0.26
Brockschmidt_16/T2/p-8.koat 5152106 ∞ +0 NonPoly +2 3.95/2.57 ∞ +0 1 +0 0.15/0.23
Brockschmidt_16/T2/loop3.koat 5152107 1 +2 1 +0 55.25/19.79 1 +2 1 +0 13.96/14.02
Brockschmidt_16/T2/byron-1.koat 5152108 n1 +2 1 +0 3.88/1.88 n1 +2 1 +0 0.16/0.62
Brockschmidt_16/T2/n-33.koat 5152109 ∞ +0 NonPoly +2 5.55/2.61 ∞ +0 1 +0 0.22/0.30
Brockschmidt_16/T2/e-pgarch-fail.koat 5152110 ∞ +0 NonPoly +2 4.83/2.43 ∞ +0 1 +0 0.19/0.27
Brockschmidt_16/T2/zeroconf.koat 5152111 ∞ +0 1 +0 151.98/67.62 ∞ +0 1 +0 15.25/15.32
Brockschmidt_16/T2/create_seg.koat 5152112 ∞ +0 NonPoly +2 4.17/1.89 ∞ +0 1 +0 0.34/0.43
Brockschmidt_16/T2/qrdcmp.c.i.qrdcmp.pl.t2.nor.t2.rlgfixed.koat 5152113 n1 +2 n1 +2 16.27/8.87 n1 +2 1 +0 4.24/4.32
Brockschmidt_16/T2/matrixsqrt.koat 5152114 1 +2 1 +0 4.47/2.03 1 +2 1 +0 0.65/0.73
Brockschmidt_16/T2/toeplz.c.i.toeplz.pl.t2.fixed.koat 5152115 n1 +2 1 +0 82.23/56.62 n2 +1 1 +0 4.16/4.24
Brockschmidt_16/T2/svdcmp.koat 5152116 ∞ +0 n1 +2 659.45/291.84 timeout (wallclock)
Brockschmidt_16/T2/pldi.koat 5152117 n2 +2 n2 +2 6.82/3.07 n2 +2 1 +0 0.55/0.64
Brockschmidt_16/T2/n-10.koat 5152118 ∞ +0 NonPoly +2 4.30/1.98 ∞ +0 1 +0 0.25/0.33
Brockschmidt_16/T2/p-7.koat 5152119 n1 +2 n1 +2 4.16/1.90 n1 +2 1 +0 0.21/0.29
Brockschmidt_16/T2/bf16.koat 5152120 1 +2 1 +0 4.39/2.01 1 +2 1 +0 0.76/0.84
Brockschmidt_16/T2/smagillc-succeed.koat 5152121 ∞ +0 NonPoly +2 4.95/3.15 ∞ +0 1 +0 0.30/0.39
Brockschmidt_16/T2/elmhes.c.i.elmhes.pl.t2.nor.t2.rlgfixed.koat 5152122 n2 +2 n1 +2 51.46/42.58 ∞ +0 1 +0 3.11/3.19
Brockschmidt_16/T2/walk.koat 5152123 ∞ +0 NonPoly +2 5.26/2.33 ∞ +0 1 +0 0.50/0.58
Brockschmidt_16/T2/n-1.koat 5152124 ∞ +0 NonPoly +2 3.95/2.38 ∞ +0 1 +0 0.22/0.30
Brockschmidt_16/T2/neg-smagilla-fail.koat 5152125 ∞ +0 NonPoly +2 5.27/2.34 ∞ +0 1 +0 0.30/0.38
Brockschmidt_16/T2/fdct.koat 5152126 1 +2 1 +0 3.96/1.75 1 +2 1 +0 0.75/0.84
Brockschmidt_16/T2/fun7.koat 5152127 ∞ +0 NonPoly +2 7.21/3.09 ∞ +0 1 +0 6.85/6.93
Brockschmidt_16/T2/p-14.koat 5152128 n1 +2 n1 +2 3.82/1.81 n1 +2 1 +0 0.13/0.21
Brockschmidt_16/T2/n-12.koat 5152129 ∞ +0 NonPoly +2 4.71/2.56 ∞ +0 1 +0 0.20/0.28
Brockschmidt_16/T2/zeroconf_withassume.koat 5152130 ∞ +0 1 +0 161.56/71.74 ∞ +0 1 +0 17.45/17.52
Brockschmidt_16/T2/array_init_assign.koat 5152131 1 +2 1 +0 3.74/1.77 1 +2 1 +0 0.18/0.26
Brockschmidt_16/T2/ex31.koat 5152132 ∞ +0 NonPoly +2 4.01/2.01 ∞ +0 1 +0 0.14/0.22
Brockschmidt_16/T2/mc91.koat 5152133 ∞ +0 NonPoly +2 5.35/2.58 ∞ +0 1 +0 0.13/0.21
Brockschmidt_16/T2/magic.koat 5152134 ∞ +0 NonPoly +2 51.03/17.18 ∞ +0 1 +0 42.78/42.84
Brockschmidt_16/T2/ex11.koat 5152135 ∞ +0 NonPoly +2 6.13/3.46 ∞ +0 1 +0 0.23/0.31
Brockschmidt_16/T2/bitcount32.koat 5152136 1 +2 1 +0 3.70/1.75 1 +2 1 +0 0.34/0.43
Brockschmidt_16/T2/rev_nt2.koat 5152137 ∞ +0 NonPoly +2 6.81/2.91 ∞ +0 1 +0 1.11/1.19
Brockschmidt_16/T2/cnt.koat 5152138 1 +2 1 +0 4.19/1.90 1 +2 1 +0 0.92/1.00
Brockschmidt_16/T2/ex13.koat 5152139 1 +2 1 +0 6.50/1.70 1 +2 1 +0 0.07/0.06
Brockschmidt_16/T2/bf13.koat 5152140 1 +2 1 +0 4.46/1.96 1 +2 1 +0 0.76/0.84
Brockschmidt_16/T2/1394complete-fail.koat 5152141 ∞ +0 NonPoly +2 27.08/11.49 ∞ +0 1 +0 5.88/5.97
Brockschmidt_16/T2/n-4.koat 5152142 ∞ +0 NonPoly +2 14.22/6.04 ∞ +0 1 +0 1.88/1.96
Brockschmidt_16/T2/fun9.koat 5152143 ∞ +0 1 +0 312.19/291.59 ∞ +0 1 +0 176.05/176.22
Brockschmidt_16/T2/bf12.koat 5152144 1 +2 1 +0 4.52/1.97 1 +2 1 +0 0.76/0.84
Brockschmidt_16/T2/tqli.koat 5152145 ∞ +0 n1 +2 178.93/146.91 timeout (wallclock)
Brockschmidt_16/T2/pgarch.koat 5152146 ∞ +0 1 +0 655.38/293.97 timeout (wallclock)
Brockschmidt_16/T2/slayer-3-filtered.koat 5152147 ∞ +0 NonPoly +2 26.69/8.75 ∞ +0 1 +0 42.47/42.55
Brockschmidt_16/T2/popl07-fail.koat 5152148 ∞ +0 NonPoly +2 5.19/3.32 ∞ +0 1 +0 1.06/1.14
Brockschmidt_16/T2/fourn.c.i.fourn.pl.t2.fixed.koat 5152149 n1 +2 n1 +2 41.65/35.50 timeout (wallclock)
Brockschmidt_16/T2/w1.koat 5152150 ∞ +0 NonPoly +2 3.74/1.76 ∞ +0 1 +0 0.10/0.08
Brockschmidt_16/T2/p-20.koat 5152151 ∞ +0 NonPoly +2 3.90/1.96 ∞ +0 1 +0 0.19/0.27
Brockschmidt_16/T2/toeplz.c.i.toeplz.pl.t2.nor.t2.rlgfixed.koat 5152152 ∞ +0 NonPoly +2 14.65/5.39 ∞ +0 1 +0 6.82/6.90
Brockschmidt_16/T2/buggyNonTermLoop.koat 5152153 ∞ +0 NonPoly +2 36.82/16.28 ∞ +0 1 +0 126.50/126.61
Brockschmidt_16/T2/fun6.koat 5152154 ∞ +0 NonPoly +2 51.26/23.49 timeout (wallclock)
Brockschmidt_16/T2/n-6a.koat 5152155 ∞ +0 NonPoly +2 4.49/1.98 ∞ +0 1 +0 0.22/0.30
Brockschmidt_16/T2/simple_control_on_input.koat 5152156 1 +2 1 +0 3.65/1.76 1 +2 1 +0 0.12/0.21
Brockschmidt_16/T2/send-more-money.koat 5152157 1 +2 1 +0 56.38/27.68 timeout (wallclock)
Brockschmidt_16/T2/5.koat 5152158 ∞ +0 NonPoly +2 7.22/2.83 ∞ +0 1 +0 0.67/0.75
Brockschmidt_16/T2/array.koat 5152159 1 +2 1 +0 3.54/1.68 1 +2 1 +0 0.08/0.06
Brockschmidt_16/T2/wrong_loop.koat 5152160 ∞ +0 NonPoly +2 4.49/2.85 ∞ +0 1 +0 0.19/0.27
Brockschmidt_16/T2/fun2b.koat 5152161 ∞ +0 NonPoly +2 35.82/16.11 ∞ +0 1 +0 56.90/56.98
Brockschmidt_16/T2/slayer-2-filtered.koat 5152162 1 +2 1 +0 3.59/1.70 1 +2 1 +0 0.15/0.23
Brockschmidt_16/T2/p-19.koat 5152163 ∞ +0 NonPoly +2 3.94/1.80 ∞ +0 1 +0 0.15/0.24
Brockschmidt_16/T2/queue_1000.koat 5152164 1 +2 1 +0 4.01/1.91 1 +2 1 +0 0.21/0.29
Brockschmidt_16/T2/consts4nt.koat 5152165 ∞ +0 NonPoly +2 4.06/1.80 ∞ +0 1 +0 0.10/0.19
Brockschmidt_16/T2/nakata.koat 5152166 ∞ +0 NonPoly +2 59.32/10.44 timeout (wallclock)
Brockschmidt_16/T2/ex40.koat 5152167 ∞ +0 NonPoly +2 3.82/1.84 ∞ +0 1 +0 0.16/0.25
Brockschmidt_16/T2/dropbuf.koat 5152168 ∞ +0 NonPoly +2 13.16/5.81 ∞ +0 1 +0 2.41/2.49
Brockschmidt_16/T2/p-22.koat 5152169 n1 +2 n1 +2 3.81/1.85 n1 +2 1 +0 0.14/0.22
Brockschmidt_16/T2/bitcount16.koat 5152170 1 +2 1 +0 3.67/2.65 1 +2 1 +0 0.35/0.43
Brockschmidt_16/T2/efegp.koat 5152171 ∞ +0 NonPoly +2 16.50/6.01 ∞ +0 1 +0 26.04/26.12
Brockschmidt_16/T2/heidy7.koat 5152172 ∞ +0 NonPoly +2 5.57/6.62 ∞ +0 1 +0 0.21/0.29
Brockschmidt_16/T2/sas2.koat 5152173 ∞ +0 1 +0 66.78/38.55 n1 +2 1 +0 12.24/6.21
Brockschmidt_16/T2/ludcmp.c.i.ludcmp.pl.t2.nor.t2.rlgfixed.koat 5152174 n1 +2 n1 +2 39.36/20.32 n1 +2 1 +0 40.18/40.23
Brockschmidt_16/T2/p-43-terminate.koat 5152175 ∞ +0 n1 +2 76.85/59.93 ∞ +0 1 +0 53.91/53.97
Brockschmidt_16/T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.koat 5152176 n1 +2 n1 +2 161.88/148.47 timeout (wallclock)
Brockschmidt_16/T2/ex37.koat 5152177 1 +2 1 +0 3.41/1.71 1 +2 1 +0 0.07/0.06
Brockschmidt_16/T2/fun2.koat 5152178 n1 +2 n1 +2 124.61/61.19 n1 +2 1 +0 86.97/87.05
Brockschmidt_16/T2/disj_nightmare_abi.koat 5152179 1 +2 1 +0 3.62/1.71 1 +2 1 +0 0.11/0.19
Brockschmidt_16/T2/byron-4.koat 5152180 n1 +2 n1 +2 4.78/2.48 n1 +2 1 +0 0.20/0.28
Brockschmidt_16/T2/nested2.koat 5152181 ∞ +0 1 +0 5.54/2.98 ∞ +0 1 +0 0.15/0.23
Brockschmidt_16/T2/toeplz.koat 5152182 ∞ +0 NonPoly +2 14.67/5.25 ∞ +0 1 +0 6.81/6.89
Brockschmidt_16/T2/dsa_test4.koat 5152183 1 +2 1 +0 3.50/1.67 1 +2 1 +0 0.08/0.06
Brockschmidt_16/T2/ex23.koat 5152184 1 +2 1 +0 3.63/1.66 1 +2 1 +0 0.15/0.23
Brockschmidt_16/T2/ex18.koat 5152185 ∞ +0 1 +0 296.71/291.59 1 +2 1 +0 0.32/0.40
Brockschmidt_16/T2/spctrm.c.i.spctrm.pl.t2.nor.t2.rlgfixed.koat 5152186 n1 +2 n1 +2 33.50/15.02 n1 +2 1 +0 82.09/82.15
Brockschmidt_16/T2/e-acqrel-fail.koat 5152187 ∞ +0 NonPoly +2 4.37/2.00 ∞ +0 1 +0 0.26/0.34
Brockschmidt_16/T2/e-acqrel-succeed.koat 5152188 ∞ +0 NonPoly +2 4.44/2.12 ∞ +0 1 +0 0.32/0.40
Brockschmidt_16/T2/two_arrays6.koat 5152189 n1 +2 n1 +2 7.31/3.07 n1 +2 1 +0 1.12/1.20
Brockschmidt_16/T2/ex1.koat 5152190 ∞ +0 NonPoly +2 6.79/1.67 ∞ +0 1 +0 0.16/0.24
Brockschmidt_16/T2/traverse_twice.koat 5152191 ∞ +0 NonPoly +2 71.84/24.05 ∞ +0 1 +0 3.96/4.04
Brockschmidt_16/T2/simple_array_inversion.koat 5152192 1 +2 1 +0 3.59/1.69 1 +2 1 +0 0.12/0.20
Brockschmidt_16/T2/selectSort.koat 5152193 n2 +2 n2 +2 5.73/2.63 n2 +2 1 +0 0.71/0.79
Brockschmidt_16/T2/7.koat 5152194 ∞ +0 NonPoly +2 3.67/1.78 ∞ +0 1 +0 0.13/0.21
Brockschmidt_16/T2/bf17.koat 5152195 1 +2 1 +0 4.35/2.03 1 +2 1 +0 0.76/0.84
Brockschmidt_16/T2/array2.koat 5152196 1 +2 1 +0 3.60/1.76 1 +2 1 +0 0.12/0.20
Brockschmidt_16/T2/two_arrays.koat 5152197 1 +2 1 +0 4.58/2.01 1 +2 1 +0 0.54/0.62
Brockschmidt_16/T2/bf11.koat 5152198 1 +2 1 +0 4.35/1.96 1 +2 1 +0 0.77/0.85
Brockschmidt_16/T2/destroy_seg_leak.koat 5152199 ∞ +0 NonPoly +2 428.38/142.33 ∞ +0 1 +0 7.65/7.73
Brockschmidt_16/T2/db3.koat 5152200 ∞ +0 NonPoly +2 77.07/25.41 timeout (wallclock)
Brockschmidt_16/T2/two_arrays1.koat 5152201 1 +2 1 +0 11.48/2.46 1 +2 1 +0 0.74/0.82
Brockschmidt_16/T2/fermat.koat 5152202 1 +2 1 +0 4.06/1.81 1 +2 1 +0 0.63/0.71
Brockschmidt_16/T2/constants.koat 5152203 1 +2 1 +0 3.61/1.67 1 +2 1 +0 0.26/0.34
Brockschmidt_16/T2/fun1.koat 5152204 ∞ +0 NonPoly +2 36.65/16.14 ∞ +0 1 +0 129.46/129.57
Brockschmidt_16/T2/p-9.koat 5152205 ∞ +0 NonPoly +2 3.84/2.00 ∞ +0 1 +0 0.16/0.24
Brockschmidt_16/T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.koat 5152206 ∞ +0 n1 +2 517.64/291.87 timeout (wallclock)
Brockschmidt_16/T2/p-18.koat 5152207 n1 +2 n1 +2 3.80/1.77 n1 +2 1 +0 0.13/0.21
Brockschmidt_16/T2/rlft3.koat 5152208 n1 +2 n1 +2 29.91/14.77 timeout (wallclock)
Brockschmidt_16/T2/slayer-n2-filtered.koat 5152209 ∞ +0 NonPoly +2 4.02/1.80 ∞ +0 1 +0 0.13/0.21
Brockschmidt_16/T2/slayer-4-filtered.koat 5152210 ∞ +0 NonPoly +2 122.43/40.77 timeout (wallclock)
Brockschmidt_16/T2/rewrite.koat 5152211 ∞ +0 NonPoly +2 3.80/1.70 ∞ +0 1 +0 0.10/0.08
Brockschmidt_16/T2/heidy2.koat 5152212 ∞ +0 NonPoly +2 4.01/1.98 ∞ +0 1 +0 0.11/0.19
Brockschmidt_16/T2/p-13.koat 5152213 1 +2 1 +0 3.47/1.65 1 +2 1 +0 0.08/0.06
Brockschmidt_16/T2/e-1394complete-succeed.koat 5152214 ∞ +0 NonPoly +2 27.06/11.39 ∞ +0 1 +0 5.51/5.58
Brockschmidt_16/T2/eric.koat 5152215 n2 +1 n1 +2 5.42/2.82 n1 +2 1 +0 0.24/0.32
Brockschmidt_16/T2/dsa_test1.koat 5152216 1 +2 1 +0 3.39/1.65 1 +2 1 +0 0.07/0.06
Brockschmidt_16/T2/p-40.koat 5152217 ∞ +0 NonPoly +2 4.24/1.87 ∞ +0 1 +0 0.14/0.22
Brockschmidt_16/T2/simpleWhile.koat 5152218 n1 +2 n1 +2 4.20/1.97 n1 +2 1 +0 0.37/0.45
Brockschmidt_16/T2/consts2.koat 5152219 n1 +2 n1 +2 3.85/1.92 n1 +2 1 +0 0.10/0.08
Brockschmidt_16/T2/vmcai_bytes.koat 5152220 1 +2 1 +0 3.38/1.64 1 +2 1 +0 0.07/0.06
Brockschmidt_16/T2/p-60.koat 5152221 n1 +1 1 +0 4.02/2.07 1 +2 1 +0 0.18/0.26
Brockschmidt_16/T2/dead.neg-st88b-succeed.koat 5152222 ∞ +0 NonPoly +2 6.98/3.20 ∞ +0 1 +0 0.26/0.34
Brockschmidt_16/T2/dummy.koat 5152223 ∞ +0 NonPoly +2 3.76/1.80 ∞ +0 1 +0 0.11/0.09
Brockschmidt_16/T2/p-52.koat 5152224 ∞ +0 NonPoly +2 3.86/1.78 ∞ +0 1 +0 0.16/0.24
Brockschmidt_16/T2/p-21.koat 5152225 n1 +2 n1 +2 4.49/2.20 n1 +2 1 +0 0.30/0.38
Brockschmidt_16/T2/w2_nt.koat 5152226 ∞ +0 NonPoly +2 6.84/3.03 ∞ +0 1 +0 1.02/1.10
Brockschmidt_16/T2/neg-e-pgarch-succeed.koat 5152227 ∞ +0 NonPoly +2 4.78/2.25 ∞ +0 1 +0 0.16/0.24
Brockschmidt_16/T2/232.koat 5152228 n2 +2 n2 +2 4.10/2.02 n2 +2 1 +0 0.14/0.23
Brockschmidt_16/T2/array_init.koat 5152229 1 +2 1 +0 3.69/1.70 1 +2 1 +0 0.12/0.20
Brockschmidt_16/T2/n_firewire_instrumented-PP.koat 5152230 ∞ +0 NonPoly +2 64.93/26.65 ∞ +0 1 +0 18.35/18.43
Brockschmidt_16/T2/dsa_test11.koat 5152231 1 +2 1 +0 3.27/1.68 1 +2 1 +0 0.08/0.06
Brockschmidt_16/T2/acqrel-fail.koat 5152232 ∞ +0 NonPoly +2 5.24/2.31 ∞ +0 1 +0 0.29/0.37
Brockschmidt_16/T2/polyrank3.koat 5152233 ∞ +0 1 +0 7.05/4.76 ∞ +0 1 +0 0.12/0.21
Brockschmidt_16/T2/jacobi.c.i.jacobi.pl.t2.fixed.koat 5152234 n1 +2 n1 +2 89.50/74.82 timeout (wallclock)
Brockschmidt_16/T2/fast_poll.koat 5152235 ∞ +0 NonPoly +2 35.80/15.60 ∞ +0 1 +0 173.02/173.11
Brockschmidt_16/T2/neg-popl07-succeed.koat 5152236 ∞ +0 NonPoly +2 6.02/2.69 ∞ +0 1 +0 1.29/1.37
Brockschmidt_16/T2/ex34.koat 5152237 1 +2 1 +0 3.40/1.65 1 +2 1 +0 0.10/0.09
Brockschmidt_16/T2/p-34.koat 5152238 ∞ +0 NonPoly +2 4.29/2.01 ∞ +0 1 +0 0.75/0.83
Brockschmidt_16/T2/neg-1394complete-fail.koat 5152239 ∞ +0 NonPoly +2 26.44/10.92 ∞ +0 1 +0 5.89/5.97
Brockschmidt_16/T2/bf6.koat 5152240 1 +2 1 +0 4.40/1.94 1 +2 1 +0 0.76/0.84
Brockschmidt_16/T2/intSqRoot.koat 5152241 ∞ +0 1 +0 3.87/2.00 ∞ +0 1 +0 0.18/0.26
Brockschmidt_16/T2/bf20.koat 5152242 1 +2 1 +0 4.34/1.98 1 +2 1 +0 0.76/0.84
Brockschmidt_16/T2/consts3.koat 5152243 n1 +2 n1 +2 3.68/1.90 n1 +2 1 +0 0.10/0.08
Brockschmidt_16/T2/neg-pgarch-succeed.koat 5152244 ∞ +0 NonPoly +2 4.91/2.29 ∞ +0 1 +0 0.20/0.28
Brockschmidt_16/T2/fun4-alt.koat 5152245 1 +2 1 +0 3.57/1.68 n1 +1 1 +0 0.17/0.26
Brockschmidt_16/T2/elmhes.c.i.elmhes.pl.t2.fixed.koat 5152246 n2 +2 n1 +2 55.06/46.27 ∞ +0 1 +0 3.17/3.24
Brockschmidt_16/T2/traverse_seg2.koat 5152247 ∞ +0 NonPoly +2 52.12/17.71 ∞ +0 1 +0 3.78/3.86
Brockschmidt_16/T2/slayer-3.koat 5152248 ∞ +0 NonPoly +2 880.34/292.00 timeout (wallclock)
Brockschmidt_16/T2/nested.koat 5152249 ∞ +0 NonPoly +2 4.49/2.05 ∞ +0 1 +0 0.30/0.38
Brockschmidt_16/T2/janne_complex.koat 5152250 ∞ +0 1 +0 15.74/10.32 ∞ +0 1 +0 0.43/0.51
Brockschmidt_16/T2/n-20.koat 5152251 ∞ +0 NonPoly +2 4.01/1.80 ∞ +0 1 +0 0.13/0.21
Brockschmidt_16/T2/fun5.koat 5152252 ∞ +0 1 +0 329.94/289.68 n1 +2 1 +0 4.16/4.24
Brockschmidt_16/T2/st88.koat 5152253 ∞ +0 NonPoly +2 5.93/2.53 ∞ +0 1 +0 0.24/0.32
Brockschmidt_16/T2/ex26.koat 5152254 1 +2 1 +0 3.76/1.80 1 +2 1 +0 0.23/0.31
Brockschmidt_16/T2/bio.koat 5152255 ∞ +0 1 +0 878.37/292.58 timeout (wallclock)
Brockschmidt_16/T2/bf7.koat 5152256 1 +2 1 +0 4.55/1.99 1 +2 1 +0 0.76/0.84
Brockschmidt_16/T2/cover.koat 5152257 1 +2 1 +0 155.78/52.96 timeout (wallclock)
Brockschmidt_16/T2/polling.koat 5152258 ∞ +0 NonPoly +2 44.39/19.19 ∞ +0 1 +0 130.28/130.35
Brockschmidt_16/T2/simple_swap_call.koat 5152259 1 +2 1 +0 3.30/1.62 1 +2 1 +0 0.08/0.06
Brockschmidt_16/T2/loop_on_input.koat 5152260 ∞ +0 1 +0 4.25/2.04 1 +2 1 +0 0.14/1.03
Brockschmidt_16/T2/svdcmp.c.i.svdcmp.pl.t2.fixed.koat 5152261 ∞ +0 NonPoly +2 343.03/147.30 timeout (wallclock)
Brockschmidt_16/T2/p-7b.koat 5152262 n1 +2 n1 +2 4.22/1.92 n1 +2 1 +0 0.21/0.29
Brockschmidt_16/T2/spctrm.koat 5152263 n1 +2 n1 +2 33.84/14.89 n1 +2 1 +0 81.59/81.66
Brockschmidt_16/T2/flipflop.koat 5152264 ∞ +0 NonPoly +2 3.93/1.82 ∞ +0 1 +0 0.10/0.18
Brockschmidt_16/T2/reverse_div4.koat 5152265 ∞ +0 NonPoly +2 5.74/2.47 ∞ +0 1 +0 1.11/1.19
Brockschmidt_16/T2/byron-3.koat 5152266 ∞ +0 1 +0 6.18/3.81 ∞ +0 1 +0 0.15/0.23
Brockschmidt_16/T2/sequential_swap.koat 5152267 1 +2 1 +0 3.65/1.74 1 +2 1 +0 0.08/0.06
Brockschmidt_16/T2/bf18.koat 5152268 1 +2 1 +0 4.54/2.05 1 +2 1 +0 0.76/0.84
Brockschmidt_16/T2/n-40.koat 5152269 ∞ +0 NonPoly +2 11.23/4.91 ∞ +0 1 +0 0.87/0.95
Brockschmidt_16/T2/seq2.koat 5152270 n1 +2 n1 +2 3.64/1.79 n1 +2 1 +0 0.10/0.08
Brockschmidt_16/T2/bf15.koat 5152271 1 +2 1 +0 4.39/1.97 1 +2 1 +0 0.76/0.84
Brockschmidt_16/T2/n-1d.koat 5152272 ∞ +0 NonPoly +2 4.48/2.15 ∞ +0 1 +0 0.22/0.31
Brockschmidt_16/T2/p-32.koat 5152273 ∞ +0 NonPoly +2 3.87/2.02 ∞ +0 1 +0 0.14/0.22
Brockschmidt_16/T2/n-18a.koat 5152274 ∞ +0 1 +0 5.43/3.20 ∞ +0 1 +0 0.15/0.23
Brockschmidt_16/T2/Loop.koat 5152275 n1 +2 n1 +2 124.82/61.15 n1 +2 1 +0 86.31/86.41
Brockschmidt_16/T2/traverse.koat 5152276 ∞ +0 NonPoly +2 38.46/14.56 ∞ +0 1 +0 2.62/2.70
Brockschmidt_16/T2/n-8.koat 5152277 ∞ +0 NonPoly +2 4.26/2.05 ∞ +0 1 +0 0.22/0.30
Brockschmidt_16/T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.koat 5152278 ∞ +0 n1 +2 657.74/291.91 timeout (wallclock)
Brockschmidt_16/T2/firewire.koat 5152279 ∞ +0 NonPoly +2 73.99/46.73 ∞ +0 1 +0 7.24/7.32
Brockschmidt_16/T2/p-4.koat 5152280 n2 +1 n1 +2 4.35/2.00 n1 +2 1 +0 0.16/0.24
Brockschmidt_16/T2/fun10b.koat 5152281 ∞ +0 NonPoly +2 8.08/2.97 ∞ +0 1 +0 9.83/9.91
Brockschmidt_16/T2/matmul.koat 5152282 1 +2 1 +0 4.16/1.91 1 +2 1 +0 0.49/0.57
Brockschmidt_16/T2/afagp-fail.koat 5152283 ∞ +0 NonPoly +2 20.16/12.51 ∞ +0 1 +0 66.27/66.36
Brockschmidt_16/T2/bf19.koat 5152284 1 +2 1 +0 4.43/1.87 1 +2 1 +0 0.76/0.84
Brockschmidt_16/T2/heidy3.koat 5152285 ∞ +0 NonPoly +2 3.98/2.15 ∞ +0 1 +0 0.16/0.24
Brockschmidt_16/T2/ex36.koat 5152286 ∞ +0 NonPoly +2 223.66/74.56 ∞ +0 1 +0 94.39/94.43
Brockschmidt_16/T2/heidy10.koat 5152287 ∞ +0 NonPoly +2 4.89/2.24 ∞ +0 1 +0 0.12/0.20
Brockschmidt_16/T2/p-33.koat 5152288 ∞ +0 NonPoly +2 4.87/2.29 ∞ +0 1 +0 0.17/0.25
Brockschmidt_16/T2/polyrank7.koat 5152289 ∞ +0 NonPoly +2 3.77/1.75 ∞ +0 1 +0 0.12/0.20
Brockschmidt_16/T2/p-5.koat 5152290 ∞ +0 NonPoly +2 7.21/2.89 ∞ +0 1 +0 1.12/1.20
Brockschmidt_16/T2/p-44.koat 5152291 n1 +2 n1 +2 3.96/1.90 n1 +2 1 +0 0.16/0.25
Brockschmidt_16/T2/smagillc-fail.koat 5152292 ∞ +0 NonPoly +2 5.00/2.45 ∞ +0 1 +0 0.35/0.43
Brockschmidt_16/T2/p-49.koat 5152293 n1 +2 n1 +2 3.89/1.82 n1 +2 1 +0 0.13/0.21
Brockschmidt_16/T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.koat 5152294 ∞ +0 n1 +2 170.07/138.85 timeout (wallclock)
Brockschmidt_16/T2/p-10.koat 5152295 ∞ +0 NonPoly +2 3.70/1.76 ∞ +0 1 +0 0.17/0.25
Brockschmidt_16/T2/s3-work.koat 5152296 ∞ +0 NonPoly +2 851.69/282.98 ∞ +0 1 +0 44.08/44.15
Brockschmidt_16/T2/p-55.koat 5152297 n2 +1 n1 +2 5.10/2.49 n1 +2 1 +0 0.32/0.40
Brockschmidt_16/T2/s1-saved.koat 5152298 ∞ +0 NonPoly +2 39.92/14.68 ∞ +0 1 +0 2.54/2.62
Brockschmidt_16/T2/p-36.koat 5152299 ∞ +0 NonPoly +2 4.10/1.87 ∞ +0 1 +0 0.48/0.56
Brockschmidt_16/T2/ex10.koat 5152300 ∞ +0 NonPoly +2 4.16/1.96 ∞ +0 1 +0 0.42/0.50
Brockschmidt_16/T2/traverse2.koat 5152301 ∞ +0 NonPoly +2 440.27/162.72 ∞ +0 1 +0 7.70/7.78
Brockschmidt_16/T2/ctl.koat 5152302 ∞ +0 NonPoly +2 4.19/1.95 ∞ +0 1 +0 0.29/0.37
Brockschmidt_16/T2/dsa_test12.koat 5152303 1 +2 1 +0 3.37/1.65 1 +2 1 +0 0.08/0.06
Brockschmidt_16/T2/heidy7-simple.koat 5152304 ∞ +0 NonPoly +2 4.30/1.97 ∞ +0 1 +0 0.16/0.25
Brockschmidt_16/T2/array3.koat 5152305 1 +2 1 +0 3.79/1.74 1 +2 1 +0 0.19/0.27
Brockschmidt_16/T2/traverse_seg.koat 5152306 ∞ +0 NonPoly +2 43.54/14.76 ∞ +0 1 +0 3.20/3.28
Brockschmidt_16/T2/fun4.koat 5152307 1 +2 1 +0 3.89/1.83 n1 +1 1 +0 0.19/0.27
Brockschmidt_16/T2/heidy5.koat 5152308 n1 +2 n1 +2 4.14/1.93 n1 +2 1 +0 0.16/0.24
Brockschmidt_16/T2/ex30.koat 5152309 ∞ +0 NonPoly +2 4.64/2.17 ∞ +0 1 +0 0.26/0.35
Brockschmidt_16/T2/qrdcmp.koat 5152310 n1 +2 n1 +2 16.37/7.83 n1 +2 1 +0 4.23/4.31
Brockschmidt_16/T2/curious4.koat 5152311 ∞ +0 NonPoly +2 25.57/8.82 timeout (wallclock)
Brockschmidt_16/T2/select.koat 5152312 ∞ +0 NonPoly +2 13.21/4.88 ∞ +0 1 +0 118.53/118.53
Brockschmidt_16/T2/slayer-1-rf.koat 5152313 ∞ +0 n1 +2 277.54/249.66 ∞ +0 1 +0 1.71/1.79
Brockschmidt_16/T2/oct_vs_subpoly.koat 5152314 ∞ +0 NonPoly +2 3.72/1.82 ∞ +0 1 +0 0.13/0.21
Brockschmidt_16/T2/rev_nt3.koat 5152315 ∞ +0 NonPoly +2 7.59/3.26 ∞ +0 1 +0 1.17/1.25
Brockschmidt_16/T2/n-17.koat 5152316 ∞ +0 NonPoly +2 3.83/1.82 ∞ +0 1 +0 0.13/0.21
Brockschmidt_16/T2/sort.koat 5152317 1 +2 1 +0 6.33/2.62 1 +2 1 +0 3.34/3.41
Brockschmidt_16/T2/p-1d.koat 5152318 n1 +2 n1 +2 4.99/2.38 n1 +2 1 +0 0.23/0.31
Brockschmidt_16/T2/p-53.koat 5152319 1 +2 1 +0 3.56/1.67 1 +2 1 +0 0.08/0.06
Brockschmidt_16/T2/destroy.koat 5152320 ∞ +0 NonPoly +2 10.94/4.53 ∞ +0 1 +0 1.06/1.14
Brockschmidt_16/T2/simple.koat 5152321 ∞ +0 NonPoly +2 3.98/1.88 ∞ +0 1 +0 0.10/0.08
Brockschmidt_16/T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.koat 5152322 ∞ +0 n1 +2 327.05/291.74 timeout (wallclock)
Brockschmidt_16/T2/e-popl07-fail.koat 5152323 ∞ +0 NonPoly +2 7.13/3.16 ∞ +0 1 +0 2.09/2.17
Brockschmidt_16/T2/ex7.koat 5152324 1 +2 1 +0 3.67/1.71 1 +2 1 +0 0.15/0.23
Brockschmidt_16/T2/dsa_test6.koat 5152325 1 +2 1 +0 3.60/1.73 1 +2 1 +0 0.12/0.20
Brockschmidt_16/T2/slayer-n1.koat 5152326 ∞ +0 NonPoly +2 9.31/3.80 ∞ +0 1 +0 1.16/1.24
Brockschmidt_16/T2/n-18.koat 5152327 ∞ +0 NonPoly +2 3.87/1.82 ∞ +0 1 +0 0.13/0.21
Brockschmidt_16/T2/elmhes.koat 5152328 n2 +2 n1 +2 28.08/19.42 ∞ +0 1 +0 3.09/3.17
Brockschmidt_16/T2/n-16.koat 5152329 ∞ +0 NonPoly +2 3.96/1.96 ∞ +0 1 +0 0.13/0.21
Brockschmidt_16/T2/destroy_seg.koat 5152330 ∞ +0 NonPoly +2 11.03/4.69 ∞ +0 1 +0 1.32/1.41
Brockschmidt_16/T2/p-43.koat 5152331 ∞ +0 n1 +2 5.62/2.95 ∞ +0 1 +0 0.38/0.46
Brockschmidt_16/T2/n-9.koat 5152332 ∞ +0 NonPoly +2 4.45/2.16 ∞ +0 1 +0 0.24/0.32
Brockschmidt_16/T2/ex4.koat 5152333 1 +2 1 +0 3.90/1.89 1 +2 1 +0 0.54/0.59
Brockschmidt_16/T2/ex6.koat 5152334 1 +2 1 +0 3.34/1.85 1 +2 1 +0 0.08/0.06
Brockschmidt_16/T2/graycode.koat 5152335 1 +2 1 +0 19.76/7.82 1 +2 1 +0 6.42/6.49
Brockschmidt_16/T2/bf9.koat 5152336 1 +2 1 +0 4.30/1.99 1 +2 1 +0 0.76/0.84
Brockschmidt_16/T2/neg-e-1394complete-succeed.koat 5152337 ∞ +0 NonPoly +2 27.13/11.79 ∞ +0 1 +0 5.54/5.62
Brockschmidt_16/T2/p-1a.koat 5152338 ∞ +0 NonPoly +2 3.79/1.71 ∞ +0 1 +0 0.16/0.24
Brockschmidt_16/T2/insertsort.koat 5152339 ∞ +0 NonPoly +2 4.14/1.90 ∞ +0 1 +0 0.26/0.34
Brockschmidt_16/T2/ex21.koat 5152340 1 +2 1 +0 3.90/1.79 1 +2 1 +0 0.23/0.31
Brockschmidt_16/T2/streamserver.bug.koat 5152341 ∞ +0 NonPoly +2 33.83/12.49 ∞ +0 1 +0 117.79/117.85
Brockschmidt_16/T2/1.koat 5152342 ∞ +0 NonPoly +2 5.61/2.47 ∞ +0 1 +0 0.74/0.82
Brockschmidt_16/T2/neg-e-acqrel-fail.koat 5152343 ∞ +0 NonPoly +2 4.52/2.13 ∞ +0 1 +0 0.34/0.42
Brockschmidt_16/T2/slayer-n1-filtered.koat 5152344 ∞ +0 NonPoly +2 4.60/2.07 ∞ +0 1 +0 0.85/0.93
Brockschmidt_16/T2/spiral.koat 5152345 n2 +1 n1 +2 10.34/5.06 n1 +2 1 +0 0.40/0.48
Brockschmidt_16/T2/apchild-live.koat 5152346 ∞ +0 NonPoly +2 31.91/10.90 timeout (wallclock)
Brockschmidt_16/T2/heidy1.koat 5152347 ∞ +0 NonPoly +2 3.56/1.72 ∞ +0 1 +0 0.10/0.08
Brockschmidt_16/T2/seq.koat 5152348 n1 +2 n1 +2 4.00/1.80 n1 +2 1 +0 0.10/0.08
Brockschmidt_16/T2/ex29.koat 5152349 1 +2 1 +0 3.69/1.76 1 +2 1 +0 0.22/0.30
Brockschmidt_16/T2/polling.bug.koat 5152350 ∞ +0 NonPoly +2 45.61/19.42 ∞ +0 1 +0 152.16/152.24
Brockschmidt_16/T2/db2.koat 5152351 ∞ +0 NonPoly +2 85.17/28.08 timeout (wallclock)
Brockschmidt_16/T2/n-6.koat 5152352 ∞ +0 NonPoly +2 4.59/2.15 ∞ +0 1 +0 0.23/0.31
Brockschmidt_16/T2/collatz.koat 5152353 ∞ +0 1 +0 6.78/3.11 ∞ +0 1 +0 0.23/0.31
Brockschmidt_16/T2/create.koat 5152354 ∞ +0 NonPoly +2 4.06/1.87 ∞ +0 1 +0 0.33/0.41
Brockschmidt_16/T2/slayer-1-filtered.koat 5152355 ∞ +0 NonPoly +2 11.97/5.09 ∞ +0 1 +0 1.77/1.85
Brockschmidt_16/T2/ludcmp.koat 5152356 n1 +2 n1 +2 38.74/20.88 n1 +2 1 +0 40.05/40.10
Brockschmidt_16/T2/simple_pre2.koat 5152357 1 +2 1 +0 3.41/1.77 1 +2 1 +0 0.08/0.06
Brockschmidt_16/T2/p-1.koat 5152358 ∞ +0 NonPoly +2 4.12/1.81 ∞ +0 1 +0 0.16/0.24
Brockschmidt_16/T2/fake-succeed.koat 5152359 ∞ +0 NonPoly +2 44.08/14.87 ∞ +0 1 +0 177.76/177.88
Brockschmidt_16/T2/fuhs-inflasso.koat 5152360 n2 +2 n2 +2 4.40/2.18 n2 +2 1 +0 0.22/0.30
Brockschmidt_16/T2/consts3nt.koat 5152361 ∞ +0 NonPoly +2 3.71/1.81 ∞ +0 1 +0 0.10/0.18
Brockschmidt_16/T2/popl07-succeed.koat 5152362 ∞ +0 NonPoly +2 5.37/2.43 ∞ +0 1 +0 1.12/1.20
Brockschmidt_16/T2/ex8.koat 5152363 ∞ +0 NonPoly +2 4.95/2.12 ∞ +0 1 +0 0.26/0.34
Brockschmidt_16/T2/bsort100.koat 5152364 1 +2 1 +0 4.26/2.01 1 +2 1 +0 1.07/1.15
Brockschmidt_16/T2/consts2nt.koat 5152365 ∞ +0 NonPoly +2 3.70/1.82 ∞ +0 1 +0 0.10/0.18
Brockschmidt_16/T2/bs.koat 5152366 ∞ +0 NonPoly +2 6.55/2.88 ∞ +0 1 +0 0.38/0.47
Brockschmidt_16/T2/bf8.koat 5152367 1 +2 1 +0 4.27/1.93 1 +2 1 +0 0.76/0.84
Brockschmidt_16/T2/ndes.koat 5152368 1 +2 1 +0 46.75/15.70 1 +2 1 +0 78.45/78.52
Brockschmidt_16/T2/reverse.koat 5152369 ∞ +0 NonPoly +2 49.81/21.49 ∞ +0 1 +0 4.50/4.58
Brockschmidt_16/T2/pearl-necklace.koat 5152370 n1 +2 n1 +2 5.29/2.51 n1 +2 1 +0 0.42/0.50
Brockschmidt_16/T2/slayer-n5-filtered.koat 5152371 ∞ +0 NonPoly +2 9.18/3.31 ∞ +0 1 +0 7.83/7.92
Brockschmidt_16/T2/dsa_test13.koat 5152372 1 +2 1 +0 3.30/1.71 1 +2 1 +0 0.08/0.06
Brockschmidt_16/T2/p-45.koat 5152373 n1 +2 n1 +2 4.08/1.96 n1 +2 1 +0 0.26/0.34
Brockschmidt_16/T2/1394complete-succeed.koat 5152374 ∞ +0 NonPoly +2 26.43/10.94 ∞ +0 1 +0 5.98/6.06
Brockschmidt_16/T2/polyrank1.koat 5152375 ∞ +0 1 +0 5.24/3.15 ∞ +0 1 +0 0.10/0.19
Brockschmidt_16/T2/p-58.koat 5152376 1 +2 1 +0 3.58/2.07 1 +2 1 +0 0.09/0.07
Brockschmidt_16/T2/jfdctint.koat 5152377 1 +2 1 +0 3.89/1.80 1 +2 1 +0 0.87/0.95
Brockschmidt_16/T2/sas1.koat 5152378 n1 +2 n1 +2 7.46/3.43 n1 +2 1 +0 0.64/0.72
Brockschmidt_16/T2/consts1.koat 5152379 1 +2 1 +0 3.43/1.71 1 +2 1 +0 0.11/0.19
Brockschmidt_16/T2/ex3.koat 5152380 1 +2 1 +0 3.60/1.70 1 +2 1 +0 0.17/0.25
Brockschmidt_16/T2/create_via_tmps.koat 5152381 n1 +2 n1 +2 10.89/4.54 n1 +2 1 +0 1.06/1.14
Brockschmidt_16/T2/ludcmp.c.i.ludcmp.pl.t2.fixed.koat 5152382 n1 +2 n1 +2 30.44/14.08 n1 +2 1 +0 39.02/39.09
Brockschmidt_16/T2/p-1c.koat 5152383 ∞ +0 NonPoly +2 3.83/2.51 ∞ +0 1 +0 0.16/0.24
Brockschmidt_16/T2/ex2.koat 5152384 ∞ +0 NonPoly +2 4.24/1.90 ∞ +0 1 +0 0.17/0.25
Brockschmidt_16/KoAT-2013/sect1-quad.koat 5152385 n2 +2 n2 +2 4.20/2.04 ∞ +0 1 +0 0.16/0.25
Brockschmidt_16/KoAT-2013/sect5-sumSum.koat 5152386 n2 +2 n2 +2 4.15/1.91 n2 +2 1 +0 0.23/0.31
Brockschmidt_16/KoAT-2013/sect2.koat 5152387 n2 +2 n2 +2 4.66/2.50 n2 +2 1 +0 0.28/0.36
Brockschmidt_16/KoAT-2013/sect5-len.koat 5152388 n1 +2 n1 +2 3.91/1.83 n1 +2 1 +0 0.14/0.22
Brockschmidt_16/KoAT-2013/sect1-lin.koat 5152389 n1 +2 n1 +2 4.04/1.94 n1 +2 1 +0 0.17/0.25
Brockschmidt_16/FGPSF09/VMCAI05/poly4.koat 5151760 n1 +2 n1 +2 5.43/2.55 n1 +2 1 +0 0.30/0.38
Brockschmidt_16/FGPSF09/VMCAI05/poly2.koat 5151761 ∞ +0 1 +0 6.90/4.61 ∞ +0 1 +0 0.13/0.21
Brockschmidt_16/FGPSF09/VMCAI05/poly3.koat 5151762 ∞ +0 n1 +2 6.37/4.00 ∞ +0 1 +0 0.13/0.21
Brockschmidt_16/FGPSF09/VMCAI05/poly1.koat 5151763 ∞ +0 1 +0 20.85/16.69 ∞ +0 1 +0 0.12/0.21
Brockschmidt_16/SAS10/perfect.koat 5151900 n2 +2 1 +0 10.71/9.40 n2 +2 1 +0 2.00/2.08
Brockschmidt_16/SAS10/realshellsort.koat 5151901 n3 +2 1 +0 22.53/16.22 n3 +2 1 +0 8.22/8.29
Brockschmidt_16/SAS10/speedpldi3.koat 5151902 n2 +2 n2 +2 5.90/2.68 n2 +2 1 +0 1.13/1.21
Brockschmidt_16/SAS10/ackermann.koat 5151903 n1 +2 n1 +2 4.69/2.15 n1 +2 1 +0 0.30/0.38
Brockschmidt_16/SAS10/ax.koat 5151904 n2 +2 n2 +2 5.24/2.90 n2 +2 1 +0 0.73/0.81
Brockschmidt_16/SAS10/maccarthy91.koat 5151905 n1 +2 n1 +2 8.64/3.77 n1 +2 1 +0 1.06/1.14
Brockschmidt_16/SAS10/relation1.koat 5151906 1 +2 1 +0 3.47/1.62 1 +2 1 +0 0.08/0.06
Brockschmidt_16/SAS10/nestedLoop.koat 5151907 n2 +2 n2 +2 20.92/4.10 n2 +2 1 +0 6.15/6.23
Brockschmidt_16/SAS10/easy1.koat 5151908 1 +2 1 +0 4.77/2.04 1 +2 1 +0 0.62/0.70
Brockschmidt_16/SAS10/exmini.koat 5151909 n1 +2 1 +0 6.55/4.03 n1 +2 1 +0 1.32/1.40
Brockschmidt_16/SAS10/gcd.koat 5151910 n1 +2 n1 +2 296.24/290.20 n2 +1 1 +0 2.82/2.90
Brockschmidt_16/SAS10/aaron2.koat 5151911 n1 +2 n1 +2 298.3/289.82 n1 +2 1 +0 3.18/3.26
Brockschmidt_16/SAS10/wcet1.koat 5151912 n1 +2 n1 +2 6.93/2.92 n1 +2 1 +0 0.67/0.75
Brockschmidt_16/SAS10/wcet2.koat 5151913 n1 +2 n1 +2 6.09/2.74 n1 +2 1 +0 0.88/0.96
Brockschmidt_16/SAS10/ndecr.koat 5151914 n1 +2 n1 +2 4.00/2.22 n1 +2 1 +0 0.20/0.29
Brockschmidt_16/SAS10/realselect.koat 5151915 n1 +1 1 +0 19.55/13.81 1 +2 1 +0 0.51/0.59
Brockschmidt_16/SAS10/speedpldi4.koat 5151916 n1 +2 n1 +2 9.94/2.20 n1 +2 1 +0 0.74/0.83
Brockschmidt_16/SAS10/terminate.koat 5151917 n1 +2 1 +0 6.76/4.41 n1 +2 1 +0 1.30/1.38
Brockschmidt_16/SAS10/determinant.koat 5151918 n3 +2 n3 +2 5.50/2.44 n3 +2 1 +0 0.72/0.80
Brockschmidt_16/SAS10/speedFails4.koat 5151919 n1 +2 n1 +2 5.38/2.29 n1 +2 1 +0 0.77/0.85
Brockschmidt_16/SAS10/realheapsort.koat 5151920 n2 +2 1 +0 310.95/291.74 timeout (wallclock)
Brockschmidt_16/SAS10/random1d.koat 5151921 n1 +2 n1 +2 4.70/2.22 n1 +2 1 +0 0.36/0.44
Brockschmidt_16/SAS10/easy2.koat 5151922 n1 +2 n1 +2 4.23/1.92 n1 +2 1 +0 0.31/0.39
Brockschmidt_16/SAS10/speedpldi2.koat 5151923 n1 +2 n1 +2 6.71/3.04 n1 +2 1 +0 0.94/1.02
Brockschmidt_16/SAS10/while2.koat 5151924 n2 +2 n2 +2 5.45/2.45 n2 +2 1 +0 0.48/0.56
Brockschmidt_16/SAS10/realbubble.koat 5151925 n2 +2 n2 +2 9.92/4.29 ∞ +0 1 +0 7.36/7.43
Brockschmidt_16/SAS10/rsd.koat 5151926 n2 +2 n1 +2 11.73/7.73 n2 +2 1 +0 2.57/2.65
Brockschmidt_16/SAS10/random2d.koat 5151927 n1 +2 n1 +2 18.79/9.46 n1 +2 1 +0 3.38/1.78
Brockschmidt_16/SAS10/nd_loop.koat 5151928 1 +2 1 +0 4.01/1.84 1 +2 1 +0 0.23/0.31
Brockschmidt_16/SAS10/sipmabubble.koat 5151929 n2 +2 n2 +2 21.19/10.32 n2 +2 1 +0 11.27/11.34
Brockschmidt_16/SAS10/cousot9.koat 5151930 n2 +2 n2 +2 5.20/2.27 n2 +2 1 +0 0.70/0.78
Brockschmidt_16/SAS10/insertsort.koat 5151931 n2 +2 n1 +2 11.50/9.47 n2 +2 1 +0 0.71/0.79
Brockschmidt_16/SAS10/counterex1.koat 5151932 ∞ +0 n1 +2 33.09/16.67 ∞ +0 1 +0 36.92/36.97
Brockschmidt_16/SAS10/complex.koat 5151933 n1 +2 1 +0 72.92/291.56 n1 +2 1 +0 37.05/37.10
Brockschmidt_16/SAS10/loops.koat 5151934 n2 +2 1 +0 14.81/8.74 n2 +2 1 +0 0.94/1.02
Brockschmidt_16/SAS10/wise.koat 5151935 n1 +2 n1 +2 4.78/2.17 n1 +2 1 +0 0.44/0.52
Brockschmidt_16/KoAT-2014/adding-exp-growth1.koat 5151936 ∞ +0 NonPoly +2 4.04/1.94 ∞ +0 1 +0 0.17/0.25
Brockschmidt_16/KoAT-2014/nesting-ex1.koat 5151937 n5 +2 n3 +2 6.94/3.51 ∞ +0 1 +0 0.32/0.40
Brockschmidt_16/KoAT-2014/adding-exp-growth3.koat 5151938 ∞ +0 NonPoly +2 4.30/2.15 ∞ +0 1 +0 0.19/0.27
Brockschmidt_16/KoAT-2014/adding-exp-growth2.koat 5151939 ∞ +0 NonPoly +2 4.46/2.45 ∞ +0 1 +0 0.20/0.28
Brockschmidt_16/KoAT-2014/scaling-exp-growth.koat 5151940 ∞ +0 NonPoly +2 4.89/2.83 ∞ +0 1 +0 0.16/0.24
Brockschmidt_16/KoAT-2014/scaling-doubly-exp-growth.koat 5151941 ∞ +0 NonPoly +2 5.07/2.37 ∞ +0 1 +0 0.25/0.34
Brockschmidt_16/c-examples/ABC/ex15.koat 5151858 ∞ +0 NonPoly +2 11.55/4.31 ∞ +0 1 +0 5.06/5.13
Brockschmidt_16/c-examples/ABC/ex12.koat 5151859 n2 +1 n1 +2 4.84/2.53 n1 +2 1 +0 0.22/0.30
Brockschmidt_16/c-examples/ABC/ex05.koat 5151860 n2 +2 n2 +2 4.86/2.59 n2 +2 1 +0 0.27/0.35
Brockschmidt_16/c-examples/ABC/ex07.koat 5151861 n2 +2 n2 +2 4.91/2.23 n2 +2 1 +0 0.38/0.46
Brockschmidt_16/c-examples/ABC/ex14.koat 5151862 n7 +1 n4 +2 15.93/11.19 n4 +2 1 +0 0.89/0.97
Brockschmidt_16/c-examples/ABC/ex02.koat 5151863 n2 +2 n2 +2 4.71/2.29 n2 +2 1 +0 0.27/0.35
Brockschmidt_16/c-examples/ABC/ex11.koat 5151864 n2 +2 n2 +2 4.78/2.25 n2 +2 1 +0 0.31/0.39
Brockschmidt_16/c-examples/ABC/ex13.koat 5151865 n3 +2 n3 +2 32.30/23.04 n3 +2 1 +0 1.56/1.65
Brockschmidt_16/c-examples/ABC/ex06.koat 5151866 n2 +2 n2 +2 4.35/2.44 n2 +2 1 +0 0.28/0.36
Brockschmidt_16/c-examples/ABC/ex03.koat 5151867 n5 +1 n4 +2 17.00/12.39 n4 +2 1 +0 1.24/1.31
Brockschmidt_16/c-examples/ABC/ex09.koat 5151868 n2 +2 n2 +2 4.83/2.29 n2 +2 1 +0 0.38/0.46
Brockschmidt_16/c-examples/ABC/ex10.koat 5151869 n2 +2 n2 +2 4.81/2.17 n2 +2 1 +0 0.33/0.41
Brockschmidt_16/c-examples/ABC/ex04.koat 5151870 ∞ +0 1 +0 7.72/4.02 ∞ +0 1 +0 0.68/0.76
Brockschmidt_16/c-examples/ABC/ex08.koat 5151871 n2 +2 n2 +2 4.91/3.43 n2 +2 1 +0 0.31/0.39
Brockschmidt_16/c-examples/ABC/ex01.koat 5151872 n1 +2 n1 +2 4.06/1.88 n1 +2 1 +0 0.14/0.22
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex1.koat 5151893 n2 +2 n2 +2 6.35/2.73 n2 +2 1 +0 0.49/0.57
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex3.koat 5151894 ∞ +0 NonPoly +2 5.30/2.22 ∞ +0 1 +0 0.34/0.42
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex4.koat 5151895 n1 +2 n1 +2 5.67/2.57 n1 +2 1 +0 0.55/0.63
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex6.koat 5151896 n1 +2 n1 +2 5.14/2.41 n1 +2 1 +0 0.21/0.29
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex7.koat 5151897 n2 +1 n1 +2 5.70/3.28 n1 +2 1 +0 0.29/0.37
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex2.koat 5151898 ∞ +0 NonPoly +2 5.17/2.16 ∞ +0 1 +0 0.42/0.50
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex5.koat 5151899 ∞ +0 NonPoly +2 5.89/2.39 ∞ +0 1 +0 0.80/0.88
Brockschmidt_16/c-examples/SPEED/PLDI09/Example6.koat 5151886 n1 +2 n1 +2 6.03/2.79 n1 +2 1 +0 1.26/1.34
Brockschmidt_16/c-examples/SPEED/PLDI09/NestedLoop.koat 5151887 n2 +2 n2 +2 12.28/8.62 n2 +2 1 +0 4.75/4.83
Brockschmidt_16/c-examples/SPEED/PLDI09/Example2.koat 5151888 n1 +2 n1 +2 5.43/2.48 n1 +2 1 +0 0.32/0.40
Brockschmidt_16/c-examples/SPEED/PLDI09/Example5.koat 5151889 n1 +2 n1 +2 5.51/2.40 n1 +2 1 +0 0.24/0.32
Brockschmidt_16/c-examples/SPEED/PLDI09/cyclic.koat 5151890 ∞ +0 n1 +2 6.59/3.08 n1 +2 1 +0 0.43/0.51
Brockschmidt_16/c-examples/SPEED/PLDI09/Example4.koat 5151891 ∞ +0 1 +0 5.60/2.43 ∞ +0 1 +0 0.24/0.32
Brockschmidt_16/c-examples/SPEED/PLDI09/Example3.koat 5151892 n2 +2 n2 +2 5.71/2.55 n2 +2 1 +0 0.40/0.48
Brockschmidt_16/c-examples/WTC/perfect.koat 5151820 n2 +2 n1 +2 9.17/4.86 n2 +2 1 +0 0.49/0.57
Brockschmidt_16/c-examples/WTC/realshellsort.koat 5151821 n3 +2 n1 +2 12.55/6.53 n3 +2 1 +0 1.16/1.24
Brockschmidt_16/c-examples/WTC/speedpldi3.koat 5151822 n2 +2 n2 +2 5.74/2.57 n2 +2 1 +0 0.35/0.43
Brockschmidt_16/c-examples/WTC/realheapsort_step1.koat 5151823 n2 +2 1 +0 23.04/16.83 n2 +2 1 +0 0.39/0.47
Brockschmidt_16/c-examples/WTC/sipma91.koat 5151824 n2 +1 n1 +2 8.57/4.88 n1 +2 1 +0 0.45/0.53
Brockschmidt_16/c-examples/WTC/realheapsort_step2.koat 5151825 n2 +2 n1 +2 36.48/30.80 n2 +2 1 +0 2.13/2.21
Brockschmidt_16/c-examples/WTC/ax.koat 5151826 n2 +2 n2 +2 4.82/2.23 n2 +2 1 +0 0.29/0.37
Brockschmidt_16/c-examples/WTC/nestedLoop.koat 5151827 n2 +2 n2 +2 15.16/11.94 n2 +2 1 +0 1.60/1.68
Brockschmidt_16/c-examples/WTC/easy1.koat 5151828 1 +2 1 +0 3.71/1.73 1 +2 1 +0 0.23/0.31
Brockschmidt_16/c-examples/WTC/exmini.koat 5151829 n1 +2 1 +0 4.14/2.16 n1 +2 1 +0 0.23/0.31
Brockschmidt_16/c-examples/WTC/gcd.koat 5151830 ∞ +0 1 +0 5.08/2.28 n1 +2 1 +0 0.35/0.43
Brockschmidt_16/c-examples/WTC/aaron2.koat 5151831 n1 +2 n1 +2 8.19/5.61 n1 +2 1 +0 0.23/0.31
Brockschmidt_16/c-examples/WTC/wcet1.koat 5151832 n1 +2 n1 +2 7.76/3.72 n1 +2 1 +0 0.47/0.55
Brockschmidt_16/c-examples/WTC/wcet2.koat 5151833 n1 +2 n1 +2 4.71/2.24 n1 +2 1 +0 0.33/0.41
Brockschmidt_16/c-examples/WTC/ndecr.koat 5151834 n1 +2 n1 +2 3.82/1.89 n1 +2 1 +0 0.13/0.21
Brockschmidt_16/c-examples/WTC/realselect.koat 5151835 n2 +2 n2 +2 4.60/2.11 n2 +2 1 +0 0.28/0.36
Brockschmidt_16/c-examples/WTC/counterex1b.koat 5151836 ∞ +0 n2 +2 16.76/7.84 ∞ +0 1 +0 38.70/38.74
Brockschmidt_16/c-examples/WTC/speedpldi4.koat 5151837 n1 +2 1 +0 4.98/2.32 n1 +2 1 +0 0.23/0.32
Brockschmidt_16/c-examples/WTC/terminate.koat 5151838 n1 +2 1 +0 4.26/2.20 n1 +2 1 +0 0.23/0.31
Brockschmidt_16/c-examples/WTC/speedFails4.koat 5151839 ∞ +0 1 +0 6.64/3.39 ∞ +0 1 +0 0.29/0.38
Brockschmidt_16/c-examples/WTC/realheapsort.koat 5151840 n2 +2 1 +0 57.24/42.13 n2 +2 1 +0 2.47/2.55
Brockschmidt_16/c-examples/WTC/random1d.koat 5151841 n1 +2 n1 +2 4.34/2.02 n1 +2 1 +0 0.15/0.24
Brockschmidt_16/c-examples/WTC/easy2.koat 5151842 n1 +2 n1 +2 3.77/1.86 n1 +2 1 +0 0.13/0.21
Brockschmidt_16/c-examples/WTC/speedpldi2.koat 5151843 n1 +2 n1 +2 5.34/2.49 n1 +2 1 +0 0.28/0.36
Brockschmidt_16/c-examples/WTC/while2.koat 5151844 n2 +2 n2 +2 4.48/2.12 n2 +2 1 +0 0.25/0.33
Brockschmidt_16/c-examples/WTC/realbubble.koat 5151845 n2 +2 n2 +2 5.74/2.84 n2 +2 1 +0 0.48/0.52
Brockschmidt_16/c-examples/WTC/rsd.koat 5151846 n2 +2 n1 +2 5.81/2.60 n2 +2 1 +0 0.49/0.57
Brockschmidt_16/c-examples/WTC/random2d.koat 5151847 n1 +2 n1 +2 8.33/6.07 n1 +2 1 +0 0.41/0.50
Brockschmidt_16/c-examples/WTC/nd_loop.koat 5151848 1 +2 1 +0 3.54/1.66 1 +2 1 +0 0.14/0.22
Brockschmidt_16/c-examples/WTC/sipmabubble.koat 5151849 n2 +2 n2 +2 4.93/2.39 n2 +2 1 +0 0.28/0.37
Brockschmidt_16/c-examples/WTC/cousot9.koat 5151850 ∞ +0 NonPoly +2 5.51/2.31 ∞ +0 1 +0 0.23/0.31
Brockschmidt_16/c-examples/WTC/insertsort.koat 5151851 n2 +2 n2 +2 5.99/2.77 n2 +2 1 +0 0.37/0.45
Brockschmidt_16/c-examples/WTC/complex.koat 5151852 n1 +2 n1 +2 7.17/3.22 n1 +2 1 +0 5.14/5.22
Brockschmidt_16/c-examples/WTC/loops.koat 5151853 n2 +2 1 +0 5.78/2.71 n2 +2 1 +0 0.31/0.39
Brockschmidt_16/c-examples/WTC/wise.koat 5151854 n1 +2 n1 +2 4.93/2.36 n1 +2 1 +0 0.24/0.32
Brockschmidt_16/c-examples/SPEED/POPL09/SimpleSingle2.koat 5151876 n1 +2 n1 +2 4.89/2.26 n1 +2 1 +0 0.33/0.41
Brockschmidt_16/c-examples/SPEED/POPL09/SimpleMultiple.koat 5151877 n1 +2 n1 +2 4.67/2.28 n1 +2 1 +0 0.28/0.37
Brockschmidt_16/c-examples/SPEED/POPL09/NestedMultiple.koat 5151878 n1 +2 n1 +2 5.80/2.61 n1 +2 1 +0 0.69/0.77
Brockschmidt_16/c-examples/SPEED/POPL09/SimpleSingle.koat 5151879 n1 +2 n1 +2 4.02/1.91 n1 +2 1 +0 0.15/0.23
Brockschmidt_16/c-examples/SPEED/POPL09/NestedSingle.koat 5151880 n1 +2 n1 +2 5.01/2.42 n1 +2 1 +0 0.37/0.45
Brockschmidt_16/c-examples/SPEED/POPL09/SimpleMultipleDep.koat 5151881 n2 +2 n2 +2 5.29/2.44 n2 +2 1 +0 0.28/0.36
Brockschmidt_16/c-examples/SPEED/POPL09/Dis1.koat 5151882 n1 +2 n1 +2 4.88/2.25 n1 +2 1 +0 0.26/0.35
Brockschmidt_16/c-examples/SPEED/POPL09/SequentialSingle.koat 5151883 n1 +2 n1 +2 4.55/2.12 n1 +2 1 +0 0.25/0.33
Brockschmidt_16/c-examples/SPEED/POPL09/NestedMultipleDep.koat 5151884 n2 +2 n2 +2 5.00/2.44 n2 +2 1 +0 0.43/0.51
Brockschmidt_16/c-examples/SPEED/POPL09/Dis2.koat 5151885 n1 +2 n1 +2 5.18/2.46 n1 +2 1 +0 0.21/0.29
Brockschmidt_16/c-examples/Rank/ex1.koat 5151855 n2 +2 n1 +2 15.35/7.30 n2 +2 1 +0 0.99/1.07
Brockschmidt_16/c-examples/Rank/ex3.koat 5151856 n1 +2 n1 +2 7.27/3.21 n1 +2 1 +0 0.81/0.89
Brockschmidt_16/c-examples/Rank/ex2.koat 5151857 n1 +2 n1 +2 6.75/3.05 n1 +2 1 +0 0.47/0.55
Brockschmidt_16/c-examples/Loopus/Example2.koat 5151817 ∞ +0 n1 +2 83.38/36.15 n1 +2 1 +0 6.61/6.68
Brockschmidt_16/c-examples/Loopus/Example3.koat 5151818 n1 +2 1 +0 6.95/3.02 n1 +2 1 +0 0.25/0.33
Brockschmidt_16/c-examples/Loopus/Example1.koat 5151819 n1 +2 n1 +2 6.36/2.75 n1 +2 1 +0 0.58/0.66
Brockschmidt_16/c-examples/SPEED/CAV09/ex1.koat 5151873 n1 +2 n1 +2 4.87/2.18 n1 +2 1 +0 0.24/0.32
Brockschmidt_16/c-examples/SPEED/CAV09/ex3.koat 5151874 n1 +2 n1 +2 5.12/2.47 n1 +2 1 +0 0.40/0.49
Brockschmidt_16/c-examples/SPEED/CAV09/ex2.koat 5151875 n2 +2 n2 +2 5.38/2.38 n2 +2 1 +0 0.28/0.36
Brockschmidt_16/FGPSF09/CAV02/practical2.koat 5151764 n1 +2 n1 +2 6.13/2.70 n1 +2 1 +0 0.31/0.39
Brockschmidt_16/FGPSF09/CAV02/practical1.koat 5151765 n2 +2 n2 +2 4.18/2.11 n2 +2 1 +0 0.21/0.30
Brockschmidt_16/FGPSF09/Beerendonk/22.koat 5151771 n1 +2 n1 +2 4.16/2.07 n1 +2 1 +0 0.21/0.29
Brockschmidt_16/FGPSF09/Beerendonk/05.koat 5151772 1 +2 1 +0 3.50/1.63 n1 +1 1 +0 0.10/0.08
Brockschmidt_16/FGPSF09/Beerendonk/21.koat 5151773 n1 +2 n1 +2 4.12/2.34 n1 +2 1 +0 0.19/0.27
Brockschmidt_16/FGPSF09/Beerendonk/04.koat 5151774 1 +2 1 +0 3.66/1.68 1 +2 1 +0 0.09/0.08
Brockschmidt_16/FGPSF09/Beerendonk/17.koat 5151775 n1 +2 n1 +2 4.84/2.69 n1 +2 1 +0 0.19/0.27
Brockschmidt_16/FGPSF09/Beerendonk/24.koat 5151776 n1 +2 n1 +2 4.85/2.94 n1 +2 1 +0 0.21/0.29
Brockschmidt_16/FGPSF09/Beerendonk/07.koat 5151777 1 +2 1 +0 3.61/1.71 n1 +1 1 +0 0.10/0.10
Brockschmidt_16/FGPSF09/Beerendonk/13.koat 5151778 n1 +2 n1 +2 4.13/2.23 n1 +2 1 +0 0.13/0.21
Brockschmidt_16/FGPSF09/Beerendonk/10.koat 5151779 n1 +2 1 +0 5.49/2.76 n1 +2 1 +0 0.12/0.20
Brockschmidt_16/FGPSF09/Beerendonk/09.koat 5151780 n1 +2 n1 +2 3.96/2.47 n1 +2 1 +0 0.11/0.10
Brockschmidt_16/FGPSF09/Beerendonk/02.koat 5151781 n1 +2 n1 +2 3.87/2.75 n1 +2 1 +0 0.10/0.09
Brockschmidt_16/FGPSF09/Beerendonk/08.koat 5151782 n1 +2 n1 +2 3.95/2.02 n1 +2 1 +0 0.11/0.09
Brockschmidt_16/FGPSF09/Beerendonk/06.koat 5151783 1 +2 1 +0 3.55/1.70 n1 +1 1 +0 0.10/0.08
Brockschmidt_16/FGPSF09/Beerendonk/11.koat 5151784 n1 +2 n1 +2 4.71/2.39 n1 +2 1 +0 0.14/0.22
Brockschmidt_16/FGPSF09/Beerendonk/20.koat 5151785 n1 +2 n1 +2 4.16/1.99 n1 +2 1 +0 0.17/0.25
Brockschmidt_16/FGPSF09/Beerendonk/19.koat 5151786 n1 +2 n1 +2 4.84/3.29 n1 +2 1 +0 0.16/0.24
Brockschmidt_16/FGPSF09/Beerendonk/15.koat 5151787 n1 +2 n1 +2 4.44/2.28 n1 +2 1 +0 0.15/0.23
Brockschmidt_16/FGPSF09/Beerendonk/23.koat 5151788 n1 +2 n1 +2 4.20/2.34 n1 +2 1 +0 0.25/0.34
Brockschmidt_16/FGPSF09/Beerendonk/16.koat 5151789 n1 +2 n1 +2 4.44/2.32 n1 +2 1 +0 0.17/0.25
Brockschmidt_16/FGPSF09/Beerendonk/01.koat 5151790 n1 +2 n1 +2 3.89/1.81 n1 +2 1 +0 0.10/0.09
Brockschmidt_16/FGPSF09/Beerendonk/03.koat 5151791 n1 +2 n1 +2 4.25/2.66 n1 +2 1 +0 0.11/0.09
Brockschmidt_16/FGPSF09/Beerendonk/18.koat 5151792 n1 +2 n1 +2 4.57/2.34 n1 +2 1 +0 0.14/0.22
Brockschmidt_16/FGPSF09/ESOP08/abstractions.koat 5151767 ∞ +0 n1 +2 5.27/2.63 ∞ +0 1 +0 0.12/0.20
Brockschmidt_16/FGPSF09/CAV05/c.05.koat 5151769 n1 +2 n1 +2 4.48/2.37 n1 +2 1 +0 0.21/0.29
Brockschmidt_16/costa/misc/mspe.koat 5151752 n1 +2 n1 +2 8.04/3.72 n1 +2 1 +0 1.10/1.18
Brockschmidt_16/costa/misc/logarithmic.koat 5151753 1 +2 1 +0 3.37/1.64 1 +2 1 +0 0.09/0.07
Brockschmidt_16/costa/misc/ack.koat 5151754 ∞ +0 n1 +2 5.28/2.66 ∞ +0 1 +0 0.12/0.20
Brockschmidt_16/costa/misc/merge.koat 5151755 n1 +2 n1 +2 4.00/2.02 n1 +2 1 +0 0.13/0.21
Brockschmidt_16/costa/misc/linear.koat 5151756 n1 +2 n1 +2 3.90/2.15 n1 +2 1 +0 0.10/0.08
Brockschmidt_16/costa/misc/direct_n_log_n.koat 5151757 n1 +2 1 +0 4.29/2.2 n1 +2 1 +0 0.12/0.20
Brockschmidt_16/costa/RAML/rationalPotential.koat 5151751 n1 +2 n1 +2 4.08/1.92 n1 +2 1 +0 0.12/0.10
2008 899