Overview


Benchmark: Integer transition system benchmark from termcomp2017.

cofloco & aprove: Results from termcomp217. Times are not correct.

cage-no-chain: Version of KoAT used in CAGE. Chaining (CFG refinement) is disabled.

loopstructure: Whether the loopstructure construction was successful.

lare: Size-abstraction to LARE and growth-rate analysis of instrumented LARE program.

lare-ai: Like lare but benchmark with additional invariants is used.

pervasive-ai: Like lare-ai but mixed strategy for bound construction and with direct proofs for linear complexity.


Preliminary Evaluation:
Better: (other tools return no bounds)

Worse: (other tools return better bounds)

Comment: A overall better result is expected if a more greedy algorithm (resulting in a flat nesting hierarchy) for the loopstructure inference is implemented.


Result Summary



cofloco
aprove
cage-no-chain
loopstructure-ai
lare
lare-ai
pervasive-ai
Success "EXP"
 0 0 5 0 0 0 0
Success "Maybe"
 0 0 0 0 370 318 296
Success "NO"
 0 0 0 249 0 0 0
Success "POLY"
 0 0 0 0 115 182 129
Success "PRIMREC"
 0 0 0 0 67 58 30
Success "YES"
 0 0 0 466 0 0 0
Success "n^0"
 125 130 124 41 119 118 118
Success "n^1"
 227 210 202 0 85 80 183
Success "n^2"
 96 105 103 0 0 0 0
Success "n^3"
 6 8 9 0 0 0 0
Success "n^4"
 3 2 2 0 0 0 0
Success "n^6"
 0 2 2 0 0 0 0
Success "n^8"
 0 1 1 0 0 0 0
Maybe
 301 300 278 0 0 0 0
Apron.Manager.Error(_)
 0 0 1 0 0 0 0
Timeout
 0 0 31 2 2 2 2

Average Times


cofloco
aprove
cage-no-chain
loopstructure-ai
lare
lare-ai
pervasive-ai
Success "EXP"
 0.00 0.00 1.19 0.00 0.00 0.00 0.00
Success "Maybe"
 0.00 0.00 0.00 0.00 6.46 9.43 7.25
Success "NO"
 0.00 0.00 0.00 1.04 0.00 0.00 0.00
Success "POLY"
 0.00 0.00 0.00 0.00 1.04 1.46 3.43
Success "PRIMREC"
 0.00 0.00 0.00 0.00 3.12 6.94 25.25
Success "YES"
 0.00 0.00 0.00 0.61 0.00 0.00 0.00
Success "n^0"
 0.12 0.12 1.76 0.22 1.20 1.31 3.55
Success "n^1"
 0.13 0.13 2.88 0.00 0.38 0.43 1.66
Success "n^2"
 0.14 0.14 3.44 0.00 0.00 0.00 0.00
Success "n^3"
 0.19 0.16 7.73 0.00 0.00 0.00 0.00
Success "n^4"
 0.17 0.25 3.27 0.00 0.00 0.00 0.00
Success "n^6"
 0.00 0.19 2.84 0.00 0.00 0.00 0.00
Success "n^8"
 0.00 0.12 1.95 0.00 0.00 0.00 0.00
Maybe
 0.12 0.12 7.16 0.00 0.00 0.00 0.00
Apron.Manager.Error(_)
 0.00 0.00 7.16 0.00 0.00 0.00 0.00
Timeout
 0.00 0.00 60.01 61.01 61.00 61.00 61.00
Overall
 0.13 0.13 6.73 0.89 3.98 5.25 5.53
cofloco
aprove
cage-no-chain
loopstructure-ai
lare
lare-ai
pervasive-ai
Problem (all selected)
 * answer * answer * answer * answer * answer * answer * answer
Brockschmidt_16/FGPSF09/Beerendonk/01
 *
n^1
 		0.12 *
n^1
 		0.11 *
n^1
 		0.21 *
YES
 		0.32 *
n^1
 		0.18 *
n^1
 		0.18 *
n^1
 		0.16
Brockschmidt_16/FGPSF09/Beerendonk/02
 *
n^1
 		0.11 *
n^1
 		0.10 *
n^1
 		0.26 *
YES
 		0.13 *
n^1
 		0.18 *
n^1
 		0.59 *
n^1
 		0.16
Brockschmidt_16/FGPSF09/Beerendonk/03
 *
n^1
 		0.11 *
n^1
 		0.14 *
n^1
 		0.40 *
YES
 		0.15 *
n^1
 		0.17 *
n^1
 		0.16 *
n^1
 		0.16
Brockschmidt_16/FGPSF09/Beerendonk/04
 *
n^0
 		0.12 *
n^0
 		0.10 *
n^0
 		0.12 *
YES
 		0.13 *
n^0
 		0.13 *
n^0
 		0.14 *
n^1
 		0.16
Brockschmidt_16/FGPSF09/Beerendonk/05
 *
n^1
 		0.11 *
n^0
 		0.13 *
n^0
 		0.22 *
YES
 		0.12 *
n^1
 		0.16 *
n^1
 		0.18 *
n^1
 		0.16
Brockschmidt_16/FGPSF09/Beerendonk/06
 *
n^1
 		0.12 *
n^0
 		0.12 *
n^0
 		0.24 *
YES
 		0.14 *
n^1
 		0.18 *
n^1
 		0.18 *
n^1
 		0.14
Brockschmidt_16/FGPSF09/Beerendonk/07
 *
n^1
 		0.12 *
n^0
 		0.13 *
n^0
 		0.22 *
YES
 		0.13 *
n^1
 		0.17 *
n^1
 		0.17 *
n^1
 		0.15
Brockschmidt_16/FGPSF09/Beerendonk/08
 *
n^1
 		0.11 *
n^1
 		0.13 *
n^1
 		0.44 *
YES
 		0.13 *
n^1
 		0.17 *
n^1
 		0.39 *
n^1
 		0.14
Brockschmidt_16/FGPSF09/Beerendonk/09
 *
n^1
 		0.13 *
n^1
 		0.13 *
n^1
 		0.32 *
YES
 		0.14 *
n^1
 		0.19 *
n^1
 		0.20 *
n^1
 		0.14
Brockschmidt_16/FGPSF09/Beerendonk/10
 *
n^1
 		0.11 *
n^1
 		0.12 *
n^1
 		0.66 *
YES
 		0.19 *
Maybe
 		59.15 *
Maybe
 		59.18 *
n^1
 		0.18
Brockschmidt_16/FGPSF09/Beerendonk/11
 *
n^1
 		0.11 *
n^1
 		0.12 *
n^1
 		0.56 *
YES
 		0.39 *
n^1
 		0.21 *
n^1
 		0.44 *
n^1
 		0.20
Brockschmidt_16/FGPSF09/Beerendonk/13
 *
n^1
 		0.11 *
n^1
 		0.12 *
n^1
 		0.38 *
YES
 		0.16 *
n^1
 		0.17 *
n^1
 		0.18 *
n^1
 		0.17
Brockschmidt_16/FGPSF09/Beerendonk/15
 *
n^1
 		0.11 *
n^1
 		0.11 *
n^1
 		0.61 *
YES
 		0.16 *
n^1
 		0.20 *
n^1
 		0.20 *
n^1
 		0.16
Brockschmidt_16/FGPSF09/Beerendonk/16
 *
n^1
 		0.13 *
n^1
 		0.11 *
n^1
 		0.71 *
YES
 		0.16 *
n^1
 		0.24 *
n^1
 		0.22 *
n^1
 		0.15
Brockschmidt_16/FGPSF09/Beerendonk/17
 *
n^1
 		0.11 *
n^1
 		0.11 *
n^1
 		0.93 *
YES
 		0.17 *
POLY
 		0.27 *
POLY
 		0.69 *
n^1
 		0.19
Brockschmidt_16/FGPSF09/Beerendonk/18
 *
n^1
 		0.12 *
n^1
 		0.12 *
n^1
 		1.14 *
YES
 		0.56 *
POLY
 		0.27 *
POLY
 		0.65 *
n^1
 		0.17
Brockschmidt_16/FGPSF09/Beerendonk/19
 *
n^1
 		0.13 *
n^1
 		0.11 *
n^1
 		1.00 *
YES
 		0.16 *
POLY
 		0.26 *
POLY
 		0.26 *
n^1
 		0.20
Brockschmidt_16/FGPSF09/Beerendonk/20
 *
n^1
 		0.13 *
n^1
 		0.13 *
n^1
 		0.46 *
YES
 		0.33 *
n^1
 		0.40 *
n^1
 		0.43 *
n^1
 		0.18
Brockschmidt_16/FGPSF09/Beerendonk/21
 *
n^1
 		0.11 *
n^1
 		0.13 *
n^1
 		0.42 *
YES
 		0.35 *
n^1
 		0.20 *
n^1
 		0.21 *
n^1
 		0.16
Brockschmidt_16/FGPSF09/Beerendonk/22
 *
n^1
 		0.13 *
n^1
 		0.11 *
n^1
 		0.61 *
YES
 		0.17 *
POLY
 		0.22 *
POLY
 		0.40 *
n^1
 		0.15
Brockschmidt_16/FGPSF09/Beerendonk/23
 *
n^1
 		0.13 *
n^1
 		0.12 *
n^1
 		0.53 *
YES
 		0.16 *
PRIMREC
 		0.24 *
PRIMREC
 		0.45 *
n^1
 		0.16
Brockschmidt_16/FGPSF09/Beerendonk/24
 *
n^1
 		0.10 *
n^1
 		0.12 *
n^1
 		0.85 *
YES
 		0.36 *
POLY
 		0.24 *
POLY
 		0.45 *
n^1
 		0.20
Brockschmidt_16/FGPSF09/CAV02/practical1
 *
n^2
 		0.10 *
n^2
 		0.12 *
n^2
 		0.42 *
YES
 		0.14 *
POLY
 		0.21 *
POLY
 		0.24 *
POLY
 		0.32
Brockschmidt_16/FGPSF09/CAV02/practical2
 *
n^1
 		0.15 *
n^1
 		0.13 *
n^1
 		4.61 *
YES
 		0.19 *
Maybe
 		0.20 *
POLY
 		0.57 *
POLY
 		0.92
Brockschmidt_16/FGPSF09/CAV05/c.05
 *
n^1
 		0.12 *
n^1
 		0.12 *
n^1
 		0.72 *
YES
 		0.14 *
POLY
 		0.23 *
POLY
 		0.43 *
n^1
 		0.14
Brockschmidt_16/FGPSF09/ESOP08/abstractions
 *
MAYBE
 		0.12 *
MAYBE
 		0.11 *
MAYBE
 		0.73 *
YES
 		0.31 *
Maybe
 		0.27 *
Maybe
 		0.51 *
Maybe
 		0.35
Brockschmidt_16/FGPSF09/LICS04/c.01
 *
n^2
 		0.12 *
n^2
 		0.13 *
n^2
 		0.72 *
YES
 		0.16 *
PRIMREC
 		0.23 *
PRIMREC
 		0.23 *
POLY
 		0.36
Brockschmidt_16/FGPSF09/LICS04/choice
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
MAYBE
 		0.76 *
NO
 		0.13 *
Maybe
 		0.15 *
Maybe
 		0.39 *
Maybe
 		0.20
Brockschmidt_16/FGPSF09/PLDI06/c.03
 *
n^1
 		0.12 *
n^1
 		0.12 *
n^1
 		0.45 *
YES
 		0.16 *
POLY
 		0.23 *
POLY
 		0.23 *
n^1
 		0.16
Brockschmidt_16/FGPSF09/PLDI06/c.04
 *
n^1
 		0.11 *
n^1
 		0.11 *
n^1
 		0.87 *
YES
 		0.18 *
n^1
 		0.22 *
n^1
 		0.25 *
n^1
 		0.17
Brockschmidt_16/FGPSF09/SAS05/c.02
 *
n^2
 		0.12 *
n^2
 		0.13 *
n^2
 		0.57 *
YES
 		0.35 *
PRIMREC
 		0.49 *
PRIMREC
 		0.49 *
POLY
 		0.40
Brockschmidt_16/FGPSF09/TACAS01/terminate
 *
n^1
 		0.14 *
n^1
 		0.11 *
n^1
 		0.39 *
YES
 		0.14 *
n^1
 		0.20 *
n^1
 		0.38 *
n^1
 		0.17
Brockschmidt_16/FGPSF09/VMCAI04/complete1
 *
n^1
 		0.11 *
n^1
 		0.11 *
n^1
 		0.38 *
YES
 		0.14 *
n^1
 		0.23 *
n^1
 		0.23 *
n^1
 		0.15
Brockschmidt_16/FGPSF09/VMCAI04/complete2
 *
MAYBE
 		0.13 *
n^0
 		0.11 *
MAYBE
 		0.60 *
NO
 		0.15 *
Maybe
 		0.18 *
Maybe
 		0.14 *
Maybe
 		0.18
Brockschmidt_16/FGPSF09/VMCAI04/complete3
 *
n^2
 		0.11 *
n^2
 		0.11 *
n^2
 		0.44 *
YES
 		0.16 *
POLY
 		0.22 *
POLY
 		0.27 *
POLY
 		0.39
Brockschmidt_16/FGPSF09/VMCAI04/complete4
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		0.71 *
YES
 		0.14 *
Maybe
 		0.49 *
Maybe
 		0.29 *
Maybe
 		0.34
Brockschmidt_16/FGPSF09/VMCAI05/poly1
 *
MAYBE
 		0.10 *
MAYBE
 		0.12 *
MAYBE
 		1.02 *
NO
 		0.13 *
Maybe
 		0.16 *
Maybe
 		0.14 *
Maybe
 		0.18
Brockschmidt_16/FGPSF09/VMCAI05/poly2
 *
MAYBE
 		0.14 *
MAYBE
 		0.13 *
MAYBE
 		1.05 *
NO
 		0.14 *
Maybe
 		0.15 *
Maybe
 		0.15 *
Maybe
 		0.19
Brockschmidt_16/FGPSF09/VMCAI05/poly3
 *
MAYBE
 		0.13 *
MAYBE
 		0.12 *
MAYBE
 		0.96 *
NO
 		0.14 *
Maybe
 		0.15 *
Maybe
 		0.18 *
Maybe
 		0.23
Brockschmidt_16/FGPSF09/VMCAI05/poly4
 *
n^1
 		0.12 *
n^1
 		0.11 *
n^1
 		1.22 *
YES
 		0.19 *
POLY
 		0.44 *
POLY
 		0.41 *
n^1
 		0.20
Brockschmidt_16/FGPSF09/new/unsatCond2
 *
MAYBE
 		0.12 *
MAYBE
 		0.13 *
MAYBE
 		0.28 *
NO
 		0.13 *
Maybe
 		0.13 *
Maybe
 		0.12 *
Maybe
 		0.14
Brockschmidt_16/FGPSF09/patrs/div
 *
n^1
 		0.11 *
n^1
 		0.11 *
n^1
 		0.40 *
YES
 		0.15 *
n^1
 		0.19 *
n^1
 		0.18 *
n^1
 		0.15
Brockschmidt_16/FGPSF09/patrs/increase1
 *
n^1
 		0.12 *
n^1
 		0.13 *
n^1
 		0.22 *
YES
 		0.15 *
n^1
 		0.17 *
n^1
 		0.18 *
n^1
 		0.14
Brockschmidt_16/FGPSF09/patrs/increase2
 *
n^1
 		0.12 *
n^1
 		0.11 *
n^1
 		0.44 *
YES
 		0.30 *
POLY
 		0.23 *
POLY
 		0.45 *
n^1
 		0.16
Brockschmidt_16/FGPSF09/patrs/increase3
 *
n^1
 		0.12 *
n^1
 		0.12 *
n^1
 		0.45 *
YES
 		0.14 *
POLY
 		0.25 *
POLY
 		0.24 *
n^1
 		0.16
Brockschmidt_16/FGPSF09/patrs/increase4
 *
n^1
 		0.12 *
n^1
 		0.13 *
n^1
 		0.27 *
YES
 		0.15 *
n^1
 		0.21 *
n^1
 		0.19 *
n^1
 		0.13
Brockschmidt_16/FGPSF09/patrs/pasta/a.01
 *
n^2
 		0.12 *
n^2
 		0.12 *
n^2
 		0.67 *
YES
 		0.16 *
POLY
 		0.24 *
POLY
 		0.24 *
POLY
 		0.28
Brockschmidt_16/FGPSF09/patrs/pasta/a.02
 *
MAYBE
 		0.11 *
MAYBE
 		0.13 *
MAYBE
 		0.83 *
NO
 		0.15 *
Maybe
 		0.17 *
Maybe
 		0.17 *
Maybe
 		0.20
Brockschmidt_16/FGPSF09/patrs/pasta/a.03
 *
n^2
 		0.12 *
n^2
 		0.11 *
n^2
 		2.85 *
YES
 		0.21 *
PRIMREC
 		0.62 *
PRIMREC
 		0.63 *
PRIMREC
 		3.22
Brockschmidt_16/FGPSF09/patrs/pasta/a.04
 *
n^1
 		0.12 *
n^1
 		0.12 *
n^1
 		0.22 *
YES
 		0.35 *
n^1
 		0.16 *
n^1
 		0.17 *
n^1
 		0.34
Brockschmidt_16/FGPSF09/patrs/pasta/a.05
 *
n^1
 		0.11 *
n^1
 		0.12 *
n^1
 		0.23 *
YES
 		0.34 *
n^1
 		0.16 *
n^1
 		0.37 *
n^1
 		0.13
Brockschmidt_16/FGPSF09/patrs/pasta/a.06
 *
n^1
 		0.10 *
n^1
 		0.11 *
n^1
 		0.31 *
YES
 		0.13 *
n^1
 		0.40 *
n^1
 		0.41 *
n^1
 		0.16
Brockschmidt_16/FGPSF09/patrs/pasta/a.07
 *
n^1
 		0.11 *
n^1
 		0.15 *
n^1
 		0.31 *
YES
 		0.14 *
n^1
 		0.40 *
n^1
 		0.19 *
n^1
 		0.35
Brockschmidt_16/FGPSF09/patrs/pasta/a.08
 *
n^1
 		0.11 *
n^1
 		0.11 *
n^1
 		0.26 *
YES
 		0.13 *
n^1
 		0.19 *
n^1
 		0.19 *
n^1
 		0.34
Brockschmidt_16/FGPSF09/patrs/pasta/a.09
 *
n^1
 		0.12 *
n^1
 		0.10 *
n^1
 		0.47 *
YES
 		0.15 *
n^1
 		0.40 *
n^1
 		0.18 *
n^1
 		0.16
Brockschmidt_16/FGPSF09/patrs/pasta/a.10
 *
n^1
 		0.13 *
n^1
 		0.13 *
n^1
 		0.57 *
YES
 		0.14 *
n^1
 		0.23 *
n^1
 		0.22 *
n^1
 		0.47
Brockschmidt_16/FGPSF09/patrs/pasta/a.11
 *
n^1
 		0.11 *
n^1
 		0.12 *
n^1
 		1.22 *
YES
 		0.36 *
PRIMREC
 		0.32 *
PRIMREC
 		0.88 *
n^1
 		0.17
Brockschmidt_16/FGPSF09/patrs/sqrt
 *
n^1
 		0.12 *
n^1
 		0.14 *
n^1
 		0.67 *
YES
 		0.16 *
n^1
 		0.41 *
n^1
 		0.27 *
n^1
 		0.13
Brockschmidt_16/FGPSF09/patrs/sumto_no_if
 *
n^1
 		0.11 *
n^1
 		0.11 *
n^1
 		0.27 *
YES
 		0.15 *
n^1
 		0.18 *
n^1
 		0.17 *
n^1
 		0.15
Brockschmidt_16/KoAT-2013/sect1-lin
 *
n^1
 		0.11 *
n^1
 		0.12 *
n^1
 		0.65 *
YES
 		0.16 *
POLY
 		0.43 *
POLY
 		0.43 *
POLY
 		0.34
Brockschmidt_16/KoAT-2013/sect1-quad
 *
MAYBE
 		0.13 *
n^2
 		0.13 *
n^2
 		0.85 *
YES
 		0.38 *
POLY
 		0.43 *
POLY
 		0.47 *
POLY
 		0.25
Brockschmidt_16/KoAT-2013/sect2
 *
n^2
 		0.15 *
n^2
 		0.11 *
n^2
 		1.15 *
YES
 		0.17 *
POLY
 		0.71 *
POLY
 		0.63 *
POLY
 		0.43
Brockschmidt_16/KoAT-2013/sect5-len
 *
n^1
 		0.12 *
n^1
 		0.15 *
n^1
 		0.42 *
YES
 		0.18 *
n^1
 		0.22 *
n^1
 		0.22 *
n^1
 		0.14
Brockschmidt_16/KoAT-2013/sect5-sumSum
 *
n^2
 		0.14 *
n^2
 		0.10 *
n^2
 		1.15 *
YES
 		0.17 *
POLY
 		0.54 *
POLY
 		0.67 *
POLY
 		0.50
Brockschmidt_16/KoAT-2014/adding-exp-growth1
 *
MAYBE
 		0.13 *
MAYBE
 		0.13 *
EXP
 		0.98 *
YES
 		0.14 *
PRIMREC
 		0.24 *
PRIMREC
 		0.24 *
PRIMREC
 		0.31
Brockschmidt_16/KoAT-2014/adding-exp-growth2
 *
MAYBE
 		0.12 *
MAYBE
 		0.13 *
EXP
 		1.17 *
YES
 		0.15 *
PRIMREC
 		0.99 *
PRIMREC
 		0.27 *
PRIMREC
 		0.92
Brockschmidt_16/KoAT-2014/adding-exp-growth3
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
EXP
 		1.03 *
YES
 		0.89 *
PRIMREC
 		0.22 *
PRIMREC
 		0.98 *
PRIMREC
 		0.92
Brockschmidt_16/KoAT-2014/nesting-ex1
 *
MAYBE
 		0.12 *
MAYBE
 		0.11 *
MAYBE
 		3.09 *
YES
 		0.18 *
POLY
 		0.34 *
POLY
 		0.40 *
POLY
 		1.17
Brockschmidt_16/KoAT-2014/scaling-doubly-exp-growth
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
EXP
 		1.78 *
YES
 		0.16 *
PRIMREC
 		0.32 *
PRIMREC
 		0.33 *
PRIMREC
 		0.45
Brockschmidt_16/KoAT-2014/scaling-exp-growth
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
EXP
 		0.98 *
YES
 		0.15 *
PRIMREC
 		0.25 *
PRIMREC
 		0.24 *
PRIMREC
 		0.29
Brockschmidt_16/SAS10/aaron2
 *
n^1
 		0.12 *
n^1
 		0.12 *
n^1
 		3.76 *
YES
 		0.40 *
PRIMREC
 		2.55 *
PRIMREC
 		3.06 *
n^1
 		0.42
Brockschmidt_16/SAS10/ackermann
 *
n^1
 		0.12 *
n^1
 		0.12 *
n^1
 		1.19 *
YES
 		0.69 *
POLY
 		0.99 *
POLY
 		0.78 *
n^1
 		0.42
Brockschmidt_16/SAS10/ax
 *
n^2
 		0.12 *
n^2
 		0.11 *
n^2
 		1.45 *
YES
 		0.37 *
POLY
 		1.36 *
POLY
 		1.35 *
POLY
 		0.75
Brockschmidt_16/SAS10/complex
 *
n^2
 		0.11 *
n^1
 		0.13 *
TIMEOUT
 60.00 *
YES
 		1.30 *
Maybe
 		59.51 *
Maybe
 		59.18 *
n^1
 		23.36
Brockschmidt_16/SAS10/counterex1
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		8.42 *
YES
 		1.66 *
PRIMREC
 		4.83 *
PRIMREC
 		5.47 *
PRIMREC
 		48.03
Brockschmidt_16/SAS10/cousot9
 *
n^2
 		0.14 *
n^2
 		0.13 *
n^2
 		1.99 *
YES
 		0.57 *
POLY
 		0.42 *
POLY
 		4.11 *
POLY
 		6.16
Brockschmidt_16/SAS10/determinant
 *
n^3
 		0.13 *
n^3
 		0.13 *
n^3
 		2.03 *
YES
 		0.24 *
POLY
 		1.34 *
POLY
 		0.75 *
POLY
 		1.89
Brockschmidt_16/SAS10/easy1
 *
n^0
 		0.12 *
n^0
 		0.11 *
n^1
 		3.30 *
YES
 		0.19 *
n^0
 		0.96 *
n^0
 		0.39 *
n^0
 		2.61
Brockschmidt_16/SAS10/easy2
 *
n^1
 		0.12 *
n^1
 		0.12 *
n^1
 		1.49 *
YES
 		0.94 *
POLY
 		1.44 *
POLY
 		0.95 *
n^1
 		0.37
Brockschmidt_16/SAS10/exmini
 *
n^1
 		0.12 *
n^1
 		0.12 *
n^1
 		1.57 *
YES
 		0.18 *
POLY
 		0.56 *
POLY
 		1.26 *
n^1
 		1.32
Brockschmidt_16/SAS10/gcd
 *
n^1
 		0.12 *
n^1
 		0.13 *
n^1
 		2.00 *
YES
 		0.96 *
POLY
 		2.63 *
Maybe
 		59.56 *
n^1
 		0.56
Brockschmidt_16/SAS10/insertsort
 *
n^2
 		0.11 *
n^2
 		0.12 *
n^2
 		2.36 *
YES
 		0.97 *
POLY
 		1.01 *
POLY
 		1.15 *
POLY
 		4.79
Brockschmidt_16/SAS10/loops
 *
n^2
 		0.14 *
n^2
 		0.12 *
n^2
 		2.31 *
YES
 		0.31 *
POLY
 		2.01 *
POLY
 		1.47 *
POLY
 		1.02
Brockschmidt_16/SAS10/maccarthy91
 *
n^1
 		0.11 *
n^1
 		0.11 *
n^1
 		5.55 *
YES
 		0.37 *
POLY
 		1.47 *
Maybe
 		59.24 *
n^1
 		4.23
Brockschmidt_16/SAS10/nd_loop
 *
n^0
 		0.12 *
n^0
 		0.12 *
n^0
 		1.45 *
YES
 		0.18 *
n^0
 		0.30 *
n^0
 		0.52 *
n^0
 		0.25
Brockschmidt_16/SAS10/ndecr
 *
n^1
 		0.11 *
n^1
 		0.11 *
n^1
 		0.88 *
YES
 		0.18 *
n^1
 		0.31 *
n^1
 		0.52 *
n^1
 		0.20
Brockschmidt_16/SAS10/nestedLoop
 *
n^2
 		0.12 *
n^2
 		0.12 *
n^2
 		5.79 *
YES
 		1.11 *
POLY
 		1.64 *
POLY
 		2.88 *
POLY
 		5.07
Brockschmidt_16/SAS10/perfect
 *
n^2
 		0.12 *
n^2
 		0.11 *
n^3
 		3.25 *
YES
 		0.59 *
POLY
 		0.64 *
POLY
 		1.76 *
POLY
 		2.39
Brockschmidt_16/SAS10/random1d
 *
n^1
 		0.12 *
n^1
 		0.11 *
n^2
 		1.46 *
YES
 		1.08 *
POLY
 		0.92 *
POLY
 		38.55 *
POLY
 		47.53
Brockschmidt_16/SAS10/random2d
 *
n^1
 		0.11 *
n^1
 		0.12 *
n^1
 		5.79 *
YES
 		0.96 *
POLY
 		25.58 *
POLY
 		27.49 *
n^1
 		1.19
Brockschmidt_16/SAS10/realbubble
 *
MAYBE
 		0.11 *
n^2
 		0.11 *
n^2
 		4.70 *
YES
 		0.43 *
POLY
 		6.56 *
POLY
 		8.10 *
POLY
 		35.46
Brockschmidt_16/SAS10/realheapsort
 *
n^2
 		0.13 *
n^2
 		0.11 *
n^2
 		16.63 *
YES
 		2.04 *
Maybe
 		29.08 *
Maybe
 		30.80 *
Maybe
 		56.10
Brockschmidt_16/SAS10/realselect
 *
n^0
 		0.13 *
n^1
 		0.11 *
n^1
 		3.99 *
YES
 		1.42 *
POLY
 		2.09 *
n^0
 		0.89 *
n^1
 		1.02
Brockschmidt_16/SAS10/realshellsort
 *
n^3
 		0.13 *
MAYBE
 		0.14 *
n^3
 		4.60 *
YES
 		0.97 *
Maybe
 		4.34 *
Maybe
 		59.19 *
Maybe
 		58.47
Brockschmidt_16/SAS10/relation1
 *
n^0
 		0.11 *
n^0
 		0.11 *
n^0
 		0.23 *
n^0
 		0.33 *
n^0
 		0.13 *
n^0
 		0.33 *
n^0
 		0.20
Brockschmidt_16/SAS10/rsd
 *
n^2
 		0.11 *
n^2
 		0.11 *
n^2
 		5.31 *
YES
 		1.60 *
POLY
 		1.84 *
POLY
 		3.11 *
POLY
 		5.40
Brockschmidt_16/SAS10/sipmabubble
 *
n^2
 		0.12 *
n^2
 		0.13 *
n^3
 		3.29 *
YES
 		0.91 *
POLY
 		2.43 *
POLY
 		2.45 *
POLY
 		6.51
Brockschmidt_16/SAS10/speedFails4
 *
n^1
 		0.11 *
n^1
 		0.12 *
n^1
 		3.07 *
YES
 		0.35 *
n^1
 		1.12 *
n^1
 		0.57 *
n^1
 		0.34
Brockschmidt_16/SAS10/speedpldi2
 *
n^1
 		0.12 *
n^1
 		0.11 *
n^1
 		2.53 *
YES
 		0.42 *
POLY
 		0.51 *
POLY
 		1.19 *
POLY
 		2.50
Brockschmidt_16/SAS10/speedpldi3
 *
n^2
 		0.11 *
n^2
 		0.11 *
n^2
 		2.25 *
YES
 		0.19 *
POLY
 		1.01 *
POLY
 		1.95 *
POLY
 		2.19
Brockschmidt_16/SAS10/speedpldi4
 *
n^1
 		0.10 *
n^1
 		0.12 *
n^1
 		2.50 *
YES
 		0.47 *
POLY
 		0.47 *
POLY
 		0.75 *
POLY
 		1.15
Brockschmidt_16/SAS10/terminate
 *
n^1
 		0.13 *
n^1
 		0.11 *
n^1
 		1.56 *
YES
 		0.38 *
POLY
 		0.91 *
POLY
 		0.57 *
n^1
 		0.25
Brockschmidt_16/SAS10/wcet1
 *
n^1
 		0.12 *
n^1
 		0.11 *
n^1
 		4.73 *
YES
 		0.25 *
POLY
 		0.84 *
POLY
 		8.38 *
n^1
 		0.92
Brockschmidt_16/SAS10/wcet2
 *
n^1
 		0.14 *
n^1
 		0.13 *
n^1
 		2.90 *
YES
 		1.28 *
POLY
 		0.69 *
POLY
 		0.71 *
n^1
 		0.46
Brockschmidt_16/SAS10/while2
 *
n^2
 		0.11 *
n^2
 		0.11 *
n^2
 		1.87 *
YES
 		0.21 *
POLY
 		0.62 *
POLY
 		0.69 *
POLY
 		1.90
Brockschmidt_16/SAS10/wise
 *
n^1
 		0.13 *
n^1
 		0.13 *
n^1
 		1.62 *
YES
 		0.36 *
POLY
 		1.10 *
POLY
 		1.36 *
n^1
 		0.83
Brockschmidt_16/T2/1
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		3.00 *
NO
 		0.18 *
Maybe
 		0.20 *
Maybe
 		0.24 *
Maybe
 		0.29
Brockschmidt_16/T2/1394-fail
 *
MAYBE
 		0.12 *
MAYBE
 		0.09 *
MAYBE
 		14.45 *
NO
 		1.28 *
Maybe
 		0.83 *
Maybe
 		1.74 *
Maybe
 		3.15
Brockschmidt_16/T2/1394-succeed
 *
MAYBE
 		0.10 *
MAYBE
 		0.13 *
MAYBE
 		13.30 *
NO
 		1.08 *
Maybe
 		0.81 *
Maybe
 		1.57 *
Maybe
 		4.23
Brockschmidt_16/T2/1394complete-fail
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		16.00 *
NO
 		1.80 *
Maybe
 		2.04 *
Maybe
 		2.83 *
Maybe
 		8.15
Brockschmidt_16/T2/1394complete-succeed
 *
MAYBE
 		0.12 *
MAYBE
 		0.10 *
MAYBE
 		17.88 *
NO
 		1.84 *
Maybe
 		1.04 *
Maybe
 		2.77 *
Maybe
 		7.02
Brockschmidt_16/T2/2
 *
MAYBE
 		0.10 *
MAYBE
 		0.12 *
MAYBE
 		2.29 *
NO
 		0.79 *
Maybe
 		0.58 *
Maybe
 		0.22 *
Maybe
 		0.33
Brockschmidt_16/T2/232
 *
n^2
 		0.11 *
n^2
 		0.14 *
n^2
 		0.86 *
YES
 		0.14 *
POLY
 		0.23 *
POLY
 		0.24 *
POLY
 		0.48
Brockschmidt_16/T2/241
 *
n^2
 		0.10 *
n^2
 		0.10 *
n^2
 		0.70 *
YES
 		0.14 *
POLY
 		0.24 *
POLY
 		0.27 *
POLY
 		1.11
Brockschmidt_16/T2/3
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
MAYBE
 		0.35 *
NO
 		0.38 *
Maybe
 		0.13 *
Maybe
 		0.68 *
Maybe
 		0.43
Brockschmidt_16/T2/5
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		1.03 *
NO
 		0.47 *
Maybe
 		0.23 *
Maybe
 		0.49 *
Maybe
 		0.87
Brockschmidt_16/T2/6
 *
MAYBE
 		0.11 *
MAYBE
 		0.15 *
MAYBE
 		0.34 *
NO
 		0.14 *
Maybe
 		0.13 *
Maybe
 		0.17 *
Maybe
 		0.19
Brockschmidt_16/T2/7
 *
MAYBE
 		0.13 *
MAYBE
 		0.14 *
MAYBE
 		0.58 *
NO
 		0.15 *
Maybe
 		0.16 *
Maybe
 		0.14 *
Maybe
 		0.14
Brockschmidt_16/T2/Loop
 *
n^1
 		0.12 *
n^1
 		0.10 *
n^1
 		9.63 *
YES
 		0.82 *
Maybe
 		0.69 *
PRIMREC
 		14.43 *
PRIMREC
 		55.97
Brockschmidt_16/T2/a.10.c
 *
n^1
 		0.10 *
n^2
 		0.11 *
n^2
 		1.49 *
YES
 		0.17 *
POLY
 		2.30 *
POLY
 		3.05 *
POLY
 		5.25
Brockschmidt_16/T2/acqrel-fail
 *
MAYBE
 		0.12 *
MAYBE
 		0.13 *
MAYBE
 		2.62 *
NO
 		0.33 *
Maybe
 		0.15 *
Maybe
 		0.36 *
Maybe
 		0.48
Brockschmidt_16/T2/afagp-fail
 *
MAYBE
 		0.12 *
MAYBE
 		0.15 *
MAYBE
 		48.77 *
NO
 		1.97 *
Maybe
 		4.01 *
Maybe
 		3.67 *
Maybe
 		2.98
Brockschmidt_16/T2/afagx1
 *
MAYBE
 		0.11 *
MAYBE
 		0.17 *
MAYBE
 		1.41 *
NO
 		0.17 *
Maybe
 		0.20 *
Maybe
 		0.57 *
Maybe
 		0.23
Brockschmidt_16/T2/agafp
 *
MAYBE
 		0.12 *
MAYBE
 		0.13 *
MAYBE
 		43.07 *
NO
 		1.81 *
Maybe
 		2.07 *
Maybe
 		2.25 *
Maybe
 		3.17
Brockschmidt_16/T2/apchild-accepted
 *
MAYBE
 		0.12 *
MAYBE
 		0.13 *
MAYBE
 		42.33 *
NO
 		0.81 *
Maybe
 		1.57 *
Maybe
 		0.92 *
Maybe
 		2.23
Brockschmidt_16/T2/apchild-accepted-fail
 *
MAYBE
 		0.10 *
MAYBE
 		0.12 *
MAYBE
 		41.25 *
NO
 		0.77 *
Maybe
 		0.97 *
Maybe
 		1.31 *
Maybe
 		1.50
Brockschmidt_16/T2/apchild-live
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
TIMEOUT
 60.00 *
NO
 		0.98 *
Maybe
 		2.28 *
Maybe
 		1.51 *
Maybe
 		1.94
Brockschmidt_16/T2/apchildlive-succeed
 *
MAYBE
 		0.12 *
MAYBE
 		0.11 *
MAYBE
 		32.02 *
NO
 		0.73 *
Maybe
 		1.17 *
Maybe
 		1.27 *
Maybe
 		2.60
Brockschmidt_16/T2/array
 *
n^0
 		0.10 *
n^0
 		0.10 *
n^0
 		0.04 *
n^0
 		0.61 *
n^0
 		0.13 *
n^0
 		0.15 *
n^0
 		0.15
Brockschmidt_16/T2/array1
 *
n^0
 		0.12 *
n^0
 		0.13 *
n^0
 		0.04 *
n^0
 		0.21 *
n^0
 		0.25 *
n^0
 		0.12 *
n^0
 		0.27
Brockschmidt_16/T2/array2
 *
n^0
 		0.10 *
n^0
 		0.14 *
n^0
 		0.36 *
YES
 		0.15 *
n^0
 		0.44 *
n^0
 		0.37 *
n^0
 		0.16
Brockschmidt_16/T2/array3
 *
n^0
 		0.12 *
n^0
 		0.12 *
n^0
 		0.70 *
YES
 		0.17 *
n^0
 		0.27 *
n^0
 		0.25 *
n^0
 		0.17
Brockschmidt_16/T2/array_free
 *
n^0
 		0.11 *
n^0
 		0.14 *
n^0
 		0.57 *
YES
 		0.17 *
n^0
 		0.24 *
n^0
 		0.80 *
n^0
 		0.23
Brockschmidt_16/T2/array_init
 *
n^0
 		0.12 *
n^0
 		0.12 *
n^0
 		0.37 *
YES
 		0.38 *
n^0
 		0.18 *
n^0
 		0.38 *
n^0
 		0.16
Brockschmidt_16/T2/array_init_assign
 *
n^0
 		0.12 *
n^0
 		0.13 *
n^0
 		0.76 *
YES
 		0.15 *
n^0
 		0.40 *
n^0
 		0.18 *
n^0
 		0.32
Brockschmidt_16/T2/ase_example
 *
n^0
 		0.12 *
n^0
 		0.11 *
n^0
 		0.81 *
YES
 		0.19 *
n^0
 		0.42 *
n^0
 		0.44 *
n^0
 		3.83
Brockschmidt_16/T2/bf10
 *
n^0
 		0.12 *
n^0
 		0.13 *
n^0
 		2.11 *
YES
 		0.50 *
n^0
 		1.31 *
n^0
 		1.51 *
n^0
 		5.41
Brockschmidt_16/T2/bf11
 *
n^0
 		0.13 *
n^0
 		0.13 *
n^0
 		1.85 *
YES
 		0.30 *
n^0
 		1.30 *
n^0
 		1.20 *
n^0
 		2.55
Brockschmidt_16/T2/bf12
 *
n^0
 		0.11 *
n^0
 		0.11 *
n^0
 		1.91 *
YES
 		0.26 *
n^0
 		1.03 *
n^0
 		1.16 *
n^0
 		4.79
Brockschmidt_16/T2/bf13
 *
n^0
 		0.13 *
n^0
 		0.11 *
n^0
 		1.95 *
YES
 		0.28 *
n^0
 		1.04 *
n^0
 		1.69 *
n^0
 		2.21
Brockschmidt_16/T2/bf14
 *
n^0
 		0.12 *
n^0
 		0.11 *
n^0
 		2.00 *
YES
 		0.40 *
n^0
 		1.04 *
n^0
 		1.37 *
n^0
 		4.91
Brockschmidt_16/T2/bf15
 *
n^0
 		0.13 *
n^0
 		0.13 *
n^0
 		1.89 *
YES
 		0.89 *
n^0
 		1.03 *
n^0
 		1.86 *
n^0
 		2.53
Brockschmidt_16/T2/bf16
 *
n^0
 		0.12 *
n^0
 		0.11 *
n^0
 		1.88 *
YES
 		0.30 *
n^0
 		1.24 *
n^0
 		1.41 *
n^0
 		2.81
Brockschmidt_16/T2/bf17
 *
n^0
 		0.11 *
n^0
 		0.11 *
n^0
 		1.88 *
YES
 		0.28 *
n^0
 		1.04 *
n^0
 		1.23 *
n^0
 		6.12
Brockschmidt_16/T2/bf18
 *
n^0
 		0.12 *
n^0
 		0.11 *
n^0
 		1.88 *
YES
 		0.48 *
n^0
 		1.71 *
n^0
 		2.01 *
n^0
 		8.43
Brockschmidt_16/T2/bf19
 *
n^0
 		0.12 *
n^0
 		0.12 *
n^0
 		2.16 *
YES
 		1.01 *
n^0
 		1.21 *
n^0
 		2.48 *
n^0
 		2.96
Brockschmidt_16/T2/bf20
 *
n^0
 		0.11 *
n^0
 		0.11 *
n^0
 		2.00 *
YES
 		0.27 *
n^0
 		2.06 *
n^0
 		1.85 *
n^0
 		1.97
Brockschmidt_16/T2/bf5
 *
n^0
 		0.11 *
n^0
 		0.14 *
n^0
 		1.99 *
YES
 		0.61 *
n^0
 		1.03 *
n^0
 		1.64 *
n^0
 		2.59
Brockschmidt_16/T2/bf6
 *
n^0
 		0.12 *
n^0
 		0.11 *
n^0
 		1.89 *
YES
 		0.30 *
n^0
 		1.12 *
n^0
 		1.26 *
n^0
 		8.62
Brockschmidt_16/T2/bf7
 *
n^0
 		0.11 *
n^0
 		0.11 *
n^0
 		2.02 *
YES
 		0.30 *
n^0
 		1.02 *
n^0
 		1.26 *
n^0
 		4.64
Brockschmidt_16/T2/bf8
 *
n^0
 		0.11 *
n^0
 		0.11 *
n^0
 		1.93 *
YES
 		0.25 *
n^0
 		0.99 *
n^0
 		1.18 *
n^0
 		2.37
Brockschmidt_16/T2/bf9
 *
n^0
 		0.12 *
n^0
 		0.12 *
n^0
 		1.96 *
YES
 		0.45 *
n^0
 		1.01 *
n^0
 		1.20 *
n^0
 		2.08
Brockschmidt_16/T2/bio
 *
MAYBE
 		0.12 *
MAYBE
 		0.13 *
TIMEOUT
 60.00 *
NO
 		4.25 *
Maybe
 		7.33 *
Maybe
 		7.80 *
Maybe
 		10.67
Brockschmidt_16/T2/bitcount16
 *
n^0
 		0.14 *
n^0
 		0.14 *
n^0
 		0.52 *
YES
 		0.16 *
n^0
 		0.61 *
n^0
 		0.59 *
n^0
 		0.96
Brockschmidt_16/T2/bitcount32
 *
n^0
 		0.12 *
n^0
 		0.10 *
n^0
 		0.51 *
YES
 		0.53 *
n^0
 		0.65 *
n^0
 		0.92 *
n^0
 		0.50
Brockschmidt_16/T2/broydn
 *
MAYBE
 		0.10 *
MAYBE
 		0.11 *
MAYBE
 		21.83 *
YES
 		0.81 *
Maybe
 		59.45 *
Maybe
 		59.45 *
PRIMREC
 		55.99
Brockschmidt_16/T2/broydn.c.i.broydn.pl.t2.fixed
 *
MAYBE
 		0.10 *
MAYBE
 		0.10 *
MAYBE
 		24.28 *
YES
 		0.95 *
Maybe
 		59.49 *
Maybe
 		59.40 *
PRIMREC
 		54.98
Brockschmidt_16/T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed
 *
MAYBE
 		0.11 *
MAYBE
 		0.13 *
MAYBE
 		21.83 *
YES
 		0.81 *
Maybe
 		59.25 *
Maybe
 		59.20 *
PRIMREC
 		55.67
Brockschmidt_16/T2/brp
 *
MAYBE
 		0.12 *
MAYBE
 		0.16 *
TIMEOUT
 60.01 *
NO
 		2.73 *
Maybe
 		0.65 *
Maybe
 		3.47 *
Maybe
 		6.06
Brockschmidt_16/T2/brp_withassume
 *
MAYBE
 		0.12 *
MAYBE
 		0.13 *
TIMEOUT
 60.00 *
YES
 		3.32 *
Maybe
 		0.63 *
Maybe
 		59.28 *
Maybe
 		57.17
Brockschmidt_16/T2/bs
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
MAYBE
 		2.48 *
NO
 		0.39 *
Maybe
 		0.20 *
Maybe
 		0.20 *
Maybe
 		0.29
Brockschmidt_16/T2/bsort100
 *
n^0
 		0.13 *
n^0
 		0.12 *
n^0
 		1.72 *
YES
 		0.29 *
n^0
 		0.65 *
POLY
 		0.84 *
n^0
 		3.57
Brockschmidt_16/T2/bubbleSort
 *
n^2
 		0.12 *
n^2
 		0.12 *
n^2
 		1.64 *
YES
 		0.60 *
PRIMREC
 		1.18 *
POLY
 		0.93 *
POLY
 		2.17
Brockschmidt_16/T2/bubblesort_inner_loop
 *
n^0
 		0.15 *
n^0
 		0.12 *
n^0
 		1.19 *
YES
 		0.17 *
n^0
 		0.38 *
n^0
 		0.30 *
n^0
 		0.17
Brockschmidt_16/T2/buggyNonTermLoop
 *
MAYBE
 		0.11 *
MAYBE
 		0.15 *
MAYBE
 		9.48 *
NO
 		0.99 *
Maybe
 		0.85 *
Maybe
 		1.23 *
Maybe
 		3.41
Brockschmidt_16/T2/byron-1
 *
n^1
 		0.13 *
n^1
 		0.11 *
n^1
 		1.20 *
YES
 		0.13 *
Maybe
 		0.14 *
n^1
 		0.52 *
n^1
 		0.38
Brockschmidt_16/T2/byron-2
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
MAYBE
 		1.65 *
YES
 		0.59 *
Maybe
 		0.86 *
Maybe
 		0.98 *
Maybe
 		3.08
Brockschmidt_16/T2/byron-3
 *
MAYBE
 		0.13 *
MAYBE
 		0.14 *
MAYBE
 		0.81 *
NO
 		0.36 *
Maybe
 		0.17 *
Maybe
 		0.13 *
Maybe
 		0.23
Brockschmidt_16/T2/byron-4
 *
n^1
 		0.13 *
n^1
 		0.11 *
n^1
 		1.07 *
YES
 		0.35 *
POLY
 		0.58 *
POLY
 		0.36 *
n^1
 		0.16
Brockschmidt_16/T2/cfg
 *
MAYBE
 		0.14 *
MAYBE
 		0.16 *
MAYBE
 		1.32 *
NO
 		0.19 *
Maybe
 		0.14 *
Maybe
 		0.16 *
Maybe
 		0.78
Brockschmidt_16/T2/cnt
 *
n^0
 		0.12 *
n^0
 		0.12 *
n^0
 		1.64 *
YES
 		0.32 *
n^0
 		3.36 *
n^0
 		2.24 *
n^0
 		1.90
Brockschmidt_16/T2/collatz
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
MAYBE
 		6.38 *
NO
 		0.50 *
Maybe
 		0.57 *
Maybe
 		0.43 *
Maybe
 		2.05
Brockschmidt_16/T2/complex_guard
 *
n^0
 		0.11 *
n^0
 		0.10 *
n^0
 		0.55 *
YES
 		0.19 *
n^0
 		0.20 *
n^0
 		0.80 *
n^0
 		0.17
Brockschmidt_16/T2/constants
 *
n^0
 		0.11 *
n^0
 		0.12 *
n^0
 		0.56 *
YES
 		0.19 *
n^0
 		0.45 *
n^0
 		0.41 *
n^0
 		0.40
Brockschmidt_16/T2/consts1
 *
n^0
 		0.12 *
n^0
 		0.10 *
n^0
 		0.34 *
YES
 		0.21 *
n^0
 		0.18 *
n^0
 		0.16 *
n^0
 		0.29
Brockschmidt_16/T2/consts1nt
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		0.47 *
NO
 		0.15 *
Maybe
 		0.14 *
Maybe
 		0.15 *
Maybe
 		0.25
Brockschmidt_16/T2/consts2
 *
n^1
 		0.12 *
n^1
 		0.14 *
n^1
 		0.34 *
YES
 		0.15 *
n^1
 		0.54 *
n^1
 		0.19 *
n^1
 		0.34
Brockschmidt_16/T2/consts2nt
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
MAYBE
 		0.48 *
NO
 		0.13 *
Maybe
 		0.38 *
Maybe
 		0.14 *
Maybe
 		0.38
Brockschmidt_16/T2/consts3
 *
n^1
 		0.11 *
n^1
 		0.11 *
n^1
 		0.32 *
YES
 		0.15 *
n^1
 		0.16 *
n^1
 		0.16 *
n^1
 		0.21
Brockschmidt_16/T2/consts3nt
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		0.33 *
NO
 		0.13 *
Maybe
 		0.16 *
Maybe
 		0.13 *
Maybe
 		0.29
Brockschmidt_16/T2/consts4
 *
n^1
 		0.12 *
n^1
 		0.10 *
n^1
 		0.28 *
YES
 		0.13 *
n^1
 		0.22 *
n^1
 		0.16 *
n^1
 		0.52
Brockschmidt_16/T2/consts4nt
 *
MAYBE
 		0.10 *
MAYBE
 		0.10 *
MAYBE
 		0.46 *
NO
 		0.57 *
Maybe
 		0.14 *
Maybe
 		0.19 *
Maybe
 		0.36
Brockschmidt_16/T2/consts5
 *
n^0
 		0.11 *
n^0
 		0.12 *
n^0
 		0.10 *
n^0
 		0.35 *
n^0
 		0.14 *
n^0
 		0.13 *
n^0
 		0.15
Brockschmidt_16/T2/consts5nt
 *
MAYBE
 		0.13 *
MAYBE
 		0.13 *
MAYBE
 		0.73 *
NO
 		0.14 *
Maybe
 		0.16 *
Maybe
 		0.13 *
Maybe
 		0.37
Brockschmidt_16/T2/cover
 *
MAYBE
 		0.13 *
n^0
 		0.12 *
TIMEOUT
 60.00 *
YES
 		9.54 *
Maybe
 		59.53 *
Maybe
 		59.44 *
n^0
 		34.51
Brockschmidt_16/T2/crc
 *
n^0
 		0.11 *
n^0
 		0.12 *
n^0
 		8.18 *
YES
 		1.21 *
n^0
 		22.57 *
n^0
 		18.40 *
n^0
 		13.12
Brockschmidt_16/T2/create
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
MAYBE
 		1.29 *
YES
 		0.15 *
Maybe
 		2.87 *
Maybe
 		2.88 *
Maybe
 		5.70
Brockschmidt_16/T2/create_seg
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		1.37 *
YES
 		0.14 *
Maybe
 		5.18 *
Maybe
 		4.13 *
Maybe
 		1.66
Brockschmidt_16/T2/create_via_tmps
 *
n^1
 		0.12 *
n^1
 		0.13 *
n^1
 		5.49 *
YES
 		0.27 *
PRIMREC
 		10.31 *
PRIMREC
 		9.69 *
PRIMREC
 		17.91
Brockschmidt_16/T2/ctl
 *
MAYBE
 		0.11 *
MAYBE
 		0.13 *
MAYBE
 		1.17 *
NO
 		0.38 *
Maybe
 		0.14 *
Maybe
 		0.20 *
Maybe
 		0.33
Brockschmidt_16/T2/curious
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
MAYBE
 		0.30 *
NO
 		0.13 *
Maybe
 		0.13 *
Maybe
 		0.15 *
Maybe
 		0.55
Brockschmidt_16/T2/curious4
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		48.42 *
NO
 		1.22 *
Maybe
 		1.73 *
Maybe
 		1.74 *
Maybe
 		2.05
Brockschmidt_16/T2/d
 *
MAYBE
 		0.13 *
MAYBE
 		0.13 *
MAYBE
 		0.54 *
NO
 		0.19 *
Maybe
 		0.18 *
Maybe
 		0.15 *
Maybe
 		0.36
Brockschmidt_16/T2/db2
 *
MAYBE
 		0.12 *
MAYBE
 		0.11 *
TIMEOUT
 60.00 *
NO
 		7.11 *
Maybe
 		8.63 *
Maybe
 		7.89 *
Maybe
 		11.05
Brockschmidt_16/T2/db3
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
TIMEOUT
 60.04 *
NO
 		9.98 *
Maybe
 		11.57 *
Maybe
 		22.68 *
Maybe
 		14.95
Brockschmidt_16/T2/dead.neg-st88b-succeed
 *
MAYBE
 		0.12 *
MAYBE
 		0.13 *
MAYBE
 		2.08 *
NO
 		0.17 *
Maybe
 		1.58 *
Maybe
 		0.21 *
Maybe
 		0.44
Brockschmidt_16/T2/destroy
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		6.27 *
YES
 		0.32 *
Maybe
 		10.81 *
Maybe
 		10.45 *
Maybe
 		24.99
Brockschmidt_16/T2/destroy_seg
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		7.10 *
YES
 		0.32 *
Maybe
 		21.36 *
Maybe
 		15.82 *
Maybe
 		25.83
Brockschmidt_16/T2/destroy_seg_leak
 *
MAYBE
 		0.13 *
MAYBE
 		0.12 *
TIMEOUT
 60.00 *
NO
 		32.60 *
Maybe
 		41.02 *
Maybe
 		50.71 *
Maybe
 		60.50
Brockschmidt_16/T2/disj_nightmare_abi
 *
n^0
 		0.13 *
n^0
 		0.10 *
n^0
 		0.18 *
YES
 		0.13 *
n^0
 		0.15 *
n^0
 		0.34 *
n^0
 		0.40
Brockschmidt_16/T2/dropbuf
 *
MAYBE
 		0.12 *
MAYBE
 		0.13 *
MAYBE
 		6.17 *
NO
 		0.61 *
Maybe
 		0.63 *
Maybe
 		1.99 *
Maybe
 		1.64
Brockschmidt_16/T2/dropbuf-live
 *
n^0
 		0.11 *
n^0
 		0.11 *
n^0
 		0.13 *
n^0
 		0.13 *
n^0
 		0.15 *
n^0
 		0.13 *
n^0
 		0.30
Brockschmidt_16/T2/dsa_test
 *
n^0
 		0.15 *
n^0
 		0.12 *
n^0
 		0.04 *
n^0
 		0.13 *
n^0
 		0.13 *
n^0
 		0.15 *
n^0
 		0.13
Brockschmidt_16/T2/dsa_test1
 *
n^0
 		0.10 *
n^0
 		0.10 *
n^0
 		0.06 *
n^0
 		0.26 *
n^0
 		0.13 *
n^0
 		0.15 *
n^0
 		0.68
Brockschmidt_16/T2/dsa_test10
 *
n^0
 		0.13 *
n^0
 		0.11 *
n^0
 		0.84 *
YES
 		0.60 *
n^0
 		0.44 *
n^0
 		0.38 *
n^0
 		0.49
Brockschmidt_16/T2/dsa_test11
 *
n^0
 		0.12 *
n^0
 		0.12 *
n^0
 		0.06 *
n^0
 		0.13 *
n^0
 		0.13 *
n^0
 		0.15 *
n^0
 		0.14
Brockschmidt_16/T2/dsa_test12
 *
n^0
 		0.11 *
n^0
 		0.12 *
n^0
 		0.06 *
n^0
 		0.12 *
n^0
 		0.15 *
n^0
 		0.13 *
n^0
 		0.34
Brockschmidt_16/T2/dsa_test13
 *
n^0
 		0.13 *
n^0
 		0.13 *
n^0
 		0.05 *
n^0
 		0.13 *
n^0
 		0.13 *
n^0
 		0.34 *
n^0
 		0.34
Brockschmidt_16/T2/dsa_test15
 *
n^0
 		0.13 *
n^0
 		0.14 *
n^0
 		0.76 *
YES
 		0.12 *
n^0
 		0.86 *
n^0
 		0.23 *
n^0
 		0.16
Brockschmidt_16/T2/dsa_test4
 *
n^0
 		0.12 *
n^0
 		0.13 *
n^0
 		0.05 *
n^0
 		0.12 *
n^0
 		0.13 *
n^0
 		0.12 *
n^0
 		0.55
Brockschmidt_16/T2/dsa_test5
 *
n^0
 		0.12 *
n^0
 		0.11 *
n^0
 		0.08 *
n^0
 		0.13 *
n^0
 		0.14 *
n^0
 		0.12 *
n^0
 		0.70
Brockschmidt_16/T2/dsa_test6
 *
n^0
 		0.11 *
n^0
 		0.11 *
n^0
 		0.34 *
YES
 		0.15 *
n^0
 		0.45 *
n^0
 		0.31 *
n^0
 		0.15
Brockschmidt_16/T2/dsa_test8
 *
n^0
 		0.12 *
n^0
 		0.12 *
n^0
 		0.07 *
n^0
 		0.14 *
n^0
 		0.12 *
n^0
 		0.14 *
n^0
 		0.19
Brockschmidt_16/T2/dsa_test9
 *
n^0
 		0.13 *
n^0
 		0.13 *
n^0
 		0.10 *
n^0
 		0.13 *
n^0
 		0.13 *
n^0
 		0.12 *
n^0
 		0.15
Brockschmidt_16/T2/dummy
 *
MAYBE
 		0.12 *
MAYBE
 		0.13 *
MAYBE
 		0.95 *
NO
 		0.14 *
Maybe
 		0.14 *
Maybe
 		0.14 *
Maybe
 		0.16
Brockschmidt_16/T2/e-1394complete-succeed
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		16.03 *
NO
 		1.76 *
Maybe
 		0.96 *
Maybe
 		2.73 *
Maybe
 		4.35
Brockschmidt_16/T2/e-acqrel-fail
 *
MAYBE
 		0.12 *
MAYBE
 		0.11 *
MAYBE
 		2.36 *
NO
 		0.39 *
Maybe
 		0.17 *
Maybe
 		0.16 *
Maybe
 		1.24
Brockschmidt_16/T2/e-acqrel-succeed
 *
MAYBE
 		0.12 *
MAYBE
 		0.10 *
MAYBE
 		0.99 *
NO
 		0.36 *
Maybe
 		0.17 *
Maybe
 		0.19 *
Maybe
 		0.41
Brockschmidt_16/T2/e-pgarch-fail
 *
MAYBE
 		0.11 *
MAYBE
 		0.13 *
MAYBE
 		1.32 *
NO
 		0.37 *
Maybe
 		0.23 *
Maybe
 		0.18 *
Maybe
 		0.41
Brockschmidt_16/T2/e-pgarch-succeed
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		1.85 *
NO
 		0.16 *
Maybe
 		0.38 *
Maybe
 		0.22 *
Maybe
 		0.23
Brockschmidt_16/T2/e-popl07-fail
 *
MAYBE
 		0.12 *
MAYBE
 		0.10 *
MAYBE
 		3.14 *
NO
 		0.25 *
Maybe
 		0.24 *
Maybe
 		0.33 *
Maybe
 		0.48
Brockschmidt_16/T2/edn
 *
n^0
 		0.10 *
n^0
 		0.11 *
n^0
 		7.56 *
YES
 		5.77 *
Maybe
 		59.20 *
Maybe
 		59.24 *
Maybe
 		58.58
Brockschmidt_16/T2/efegp
 *
MAYBE
 		0.13 *
MAYBE
 		0.12 *
MAYBE
 		20.58 *
NO
 		0.99 *
Maybe
 		0.87 *
Maybe
 		1.25 *
Maybe
 		1.75
Brockschmidt_16/T2/elmhes
 *
MAYBE
 		0.14 *
n^2
 		0.13 *
n^2
 		5.55 *
YES
 		0.60 *
PRIMREC
 		20.37 *
PRIMREC
 		10.80 *
PRIMREC
 		55.62
Brockschmidt_16/T2/elmhes.c.i.elmhes.pl.t2.fixed
 *
MAYBE
 		0.12 *
n^2
 		0.12 *
n^2
 		5.41 *
YES
 		0.31 *
PRIMREC
 		20.94 *
PRIMREC
 		12.29 *
PRIMREC
 		55.02
Brockschmidt_16/T2/elmhes.c.i.elmhes.pl.t2.nor.t2.rlgfixed
 *
MAYBE
 		0.11 *
n^2
 		0.12 *
n^2
 		5.43 *
YES
 		0.81 *
PRIMREC
 		21.29 *
PRIMREC
 		11.61 *
PRIMREC
 		55.28
Brockschmidt_16/T2/eric
 *
n^1
 		0.13 *
n^2
 		0.10 *
MAYBE
 		1.25 *
NO
 		0.16 *
Maybe
 		0.38 *
Maybe
 		0.19 *
Maybe
 		1.20
Brockschmidt_16/T2/eric1
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		2.91 *
YES
 		0.17 *
Maybe
 		0.37 *
PRIMREC
 		0.45 *
PRIMREC
 		1.55
Brockschmidt_16/T2/eric2
 *
MAYBE
 		0.12 *
MAYBE
 		0.10 *
TIMEOUT
 60.00 *
YES
 		6.31 *
Maybe
 		0.41 *
Maybe
 		59.39 *
Maybe
 		58.24
Brockschmidt_16/T2/eric3
 *
MAYBE
 		0.15 *
MAYBE
 		0.13 *
MAYBE
 		1.81 *
NO
 		0.15 *
Maybe
 		0.17 *
Maybe
 		0.16 *
Maybe
 		0.19
Brockschmidt_16/T2/ex1
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		0.85 *
NO
 		0.13 *
Maybe
 		0.14 *
Maybe
 		0.14 *
Maybe
 		0.44
Brockschmidt_16/T2/ex10
 *
MAYBE
 		0.15 *
MAYBE
 		0.13 *
MAYBE
 		0.62 *
NO
 		0.57 *
Maybe
 		0.16 *
Maybe
 		0.18 *
Maybe
 		0.18
Brockschmidt_16/T2/ex11
 *
MAYBE
 		0.11 *
MAYBE
 		0.14 *
MAYBE
 		1.50 *
NO
 		0.16 *
Maybe
 		0.21 *
Maybe
 		0.31 *
Maybe
 		0.76
Brockschmidt_16/T2/ex12
 *
n^0
 		0.12 *
n^0
 		0.11 *
n^0
 		0.52 *
YES
 		0.14 *
n^0
 		0.21 *
n^0
 		0.19 *
n^0
 		0.18
Brockschmidt_16/T2/ex13
 *
n^0
 		0.12 *
n^0
 		0.11 *
n^0
 		0.06 *
n^0
 		0.74 *
n^0
 		0.17 *
n^0
 		0.18 *
n^0
 		0.17
Brockschmidt_16/T2/ex14
 *
n^0
 		0.11 *
n^0
 		0.12 *
n^0
 		0.50 *
YES
 		0.15 *
n^0
 		0.40 *
n^0
 		0.18 *
n^0
 		0.15
Brockschmidt_16/T2/ex15
 *
n^0
 		0.10 *
n^0
 		0.11 *
n^0
 		0.13 *
n^0
 		0.13 *
n^0
 		0.13 *
n^0
 		0.71 *
n^0
 		0.12
Brockschmidt_16/T2/ex16
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		2.36 *
NO
 		0.66 *
Maybe
 		0.23 *
Maybe
 		0.37 *
Maybe
 		0.79
Brockschmidt_16/T2/ex17
 *
n^0
 		0.11 *
n^0
 		0.11 *
n^0
 		0.85 *
YES
 		0.15 *
n^0
 		0.50 *
n^0
 		0.43 *
n^0
 		0.56
Brockschmidt_16/T2/ex18
 *
n^0
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		3.66 *
NO
 		0.19 *
Maybe
 		0.19 *
Maybe
 		0.45 *
Maybe
 		0.93
Brockschmidt_16/T2/ex19
 *
MAYBE
 		0.11 *
MAYBE
 		0.13 *
MAYBE
 		1.98 *
NO
 		0.15 *
Maybe
 		0.42 *
Maybe
 		0.18 *
Maybe
 		1.66
Brockschmidt_16/T2/ex2
 *
MAYBE
 		0.10 *
MAYBE
 		0.11 *
MAYBE
 		1.64 *
NO
 		0.14 *
Maybe
 		0.16 *
Maybe
 		0.17 *
Maybe
 		0.23
Brockschmidt_16/T2/ex20
 *
n^0
 		0.12 *
n^0
 		0.12 *
n^0
 		0.83 *
YES
 		0.15 *
n^0
 		0.44 *
n^0
 		0.35 *
n^0
 		0.56
Brockschmidt_16/T2/ex21
 *
n^0
 		0.12 *
n^0
 		0.11 *
n^0
 		0.89 *
YES
 		0.15 *
n^0
 		0.29 *
n^0
 		0.21 *
n^0
 		0.39
Brockschmidt_16/T2/ex22
 *
n^0
 		0.12 *
n^0
 		0.11 *
n^0
 		13.12 *
YES
 		2.05 *
n^0
 		5.95 *
n^0
 		9.09 *
n^0
 		19.86
Brockschmidt_16/T2/ex23
 *
n^0
 		0.14 *
n^0
 		0.11 *
n^0
 		0.50 *
YES
 		0.14 *
n^0
 		0.27 *
n^0
 		0.46 *
n^0
 		0.21
Brockschmidt_16/T2/ex26
 *
n^0
 		0.14 *
n^0
 		0.11 *
n^0
 		0.95 *
YES
 		0.16 *
n^0
 		0.29 *
n^0
 		0.24 *
n^0
 		0.21
Brockschmidt_16/T2/ex27
 *
n^0
 		0.11 *
n^0
 		0.13 *
n^0
 		23.96 *
YES
 		3.08 *
n^0
 		20.83 *
n^0
 		20.33 *
n^0
 		54.54
Brockschmidt_16/T2/ex29
 *
n^0
 		0.11 *
n^0
 		0.13 *
n^0
 		0.65 *
n^0
 		0.21 *
n^0
 		0.14 *
n^0
 		0.17 *
n^0
 		0.20
Brockschmidt_16/T2/ex3
 *
n^0
 		0.12 *
n^0
 		0.13 *
n^0
 		0.41 *
YES
 		0.15 *
n^0
 		0.19 *
n^0
 		0.21 *
n^0
 		0.76
Brockschmidt_16/T2/ex30
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		1.66 *
YES
 		0.16 *
Maybe
 		0.56 *
Maybe
 		0.50 *
Maybe
 		1.19
Brockschmidt_16/T2/ex31
 *
MAYBE
 		0.13 *
MAYBE
 		0.13 *
MAYBE
 		0.48 *
NO
 		0.14 *
Maybe
 		0.75 *
Maybe
 		0.16 *
Maybe
 		0.19
Brockschmidt_16/T2/ex32
 *
n^0
 		0.10 *
n^0
 		0.11 *
n^0
 		0.84 *
YES
 		0.20 *
n^0
 		0.21 *
n^0
 		0.22 *
n^0
 		0.82
Brockschmidt_16/T2/ex33
 *
n^0
 		0.13 *
n^0
 		0.11 *
n^0
 		0.34 *
n^0
 		0.13 *
n^0
 		0.14 *
n^0
 		0.15 *
n^0
 		0.32
Brockschmidt_16/T2/ex34
 *
n^0
 		0.11 *
n^0
 		0.11 *
n^0
 		0.02 *
n^0
 		0.13 *
n^0
 		0.14 *
n^0
 		0.13 *
n^0
 		0.78
Brockschmidt_16/T2/ex36
 *
MAYBE
 		0.12 *
MAYBE
 		0.13 *
TIMEOUT
 60.00 *
NO
 		1.40 *
Maybe
 		59.28 *
Maybe
 		59.27 *
Maybe
 		59.37
Brockschmidt_16/T2/ex37
 *
n^0
 		0.12 *
n^0
 		0.14 *
n^0
 		0.04 *
n^0
 		0.20 *
n^0
 		0.12 *
n^0
 		0.14 *
n^0
 		0.24
Brockschmidt_16/T2/ex4
 *
n^0
 		0.12 *
n^0
 		0.13 *
n^0
 		1.19 *
YES
 		0.19 *
n^0
 		0.82 *
n^0
 		0.81 *
n^0
 		0.34
Brockschmidt_16/T2/ex40
 *
MAYBE
 		0.14 *
MAYBE
 		0.11 *
MAYBE
 		1.26 *
NO
 		0.18 *
Maybe
 		0.64 *
Maybe
 		0.66 *
Maybe
 		0.46
Brockschmidt_16/T2/ex6
 *
n^0
 		0.11 *
n^0
 		0.11 *
n^0
 		0.09 *
n^0
 		0.13 *
n^0
 		0.12 *
n^0
 		0.33 *
n^0
 		0.14
Brockschmidt_16/T2/ex7
 *
n^0
 		0.13 *
n^0
 		0.11 *
n^0
 		0.42 *
YES
 		0.16 *
n^0
 		0.42 *
n^0
 		0.98 *
n^0
 		0.24
Brockschmidt_16/T2/ex8
 *
MAYBE
 		0.13 *
MAYBE
 		0.12 *
MAYBE
 		1.72 *
NO
 		0.18 *
Maybe
 		0.18 *
Maybe
 		0.59 *
Maybe
 		1.32
Brockschmidt_16/T2/ex9
 *
MAYBE
 		0.11 *
MAYBE
 		0.13 *
MAYBE
 		2.13 *
NO
 		0.22 *
Maybe
 		0.30 *
Maybe
 		0.26 *
Maybe
 		0.67
Brockschmidt_16/T2/example
 *
n^1
 		0.12 *
n^1
 		0.14 *
n^1
 		0.59 *
YES
 		0.21 *
POLY
 		0.22 *
POLY
 		0.25 *
n^1
 		0.20
Brockschmidt_16/T2/fake-succeed
 *
MAYBE
 		0.09 *
MAYBE
 		0.12 *
TIMEOUT
 60.02 *
NO
 		2.01 *
Maybe
 		13.42 *
Maybe
 		14.51 *
Maybe
 		17.95
Brockschmidt_16/T2/fast_poll
 *
MAYBE
 		0.13 *
MAYBE
 		0.12 *
MAYBE
 		17.25 *
NO
 		2.14 *
Maybe
 		0.71 *
Maybe
 		1.71 *
Maybe
 		3.34
Brockschmidt_16/T2/fdct
 *
n^0
 		0.12 *
n^0
 		0.13 *
n^0
 		0.58 *
YES
 		0.17 *
n^0
 		3.10 *
n^0
 		3.81 *
n^0
 		0.46
Brockschmidt_16/T2/fermat
 *
n^0
 		0.13 *
n^0
 		0.15 *
n^0
 		1.25 *
YES
 		0.28 *
n^0
 		1.31 *
n^0
 		1.83 *
n^0
 		1.13
Brockschmidt_16/T2/fibcall
 *
n^0
 		0.12 *
n^0
 		0.12 *
n^0
 		0.86 *
YES
 		0.15 *
n^0
 		0.23 *
n^0
 		0.35 *
n^0
 		0.80
Brockschmidt_16/T2/fir
 *
MAYBE
 		0.11 *
MAYBE
 		0.13 *
MAYBE
 		6.30 *
YES
 		0.38 *
Maybe
 		0.67 *
Maybe
 		1.91 *
Maybe
 		6.87
Brockschmidt_16/T2/firewire
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
MAYBE
 		8.77 *
NO
 		0.32 *
Maybe
 		0.35 *
Maybe
 		0.60 *
Maybe
 		1.63
Brockschmidt_16/T2/flipflop
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		0.48 *
NO
 		0.15 *
Maybe
 		0.14 *
Maybe
 		0.13 *
Maybe
 		0.89
Brockschmidt_16/T2/fourn
 *
MAYBE
 		0.10 *
MAYBE
 		0.12 *
MAYBE
 		16.53 *
NO
 		0.34 *
Maybe
 		0.47 *
Maybe
 		0.46 *
Maybe
 		1.20
Brockschmidt_16/T2/fourn.c.i.fourn.pl.t2.fixed
 *
MAYBE
 		0.12 *
n^1
 		0.12 *
n^1
 		1.02 *
YES
 		0.18 *
n^1
 		1.12 *
n^1
 		0.79 *
n^1
 		0.21
Brockschmidt_16/T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		17.24 *
NO
 		1.89 *
Maybe
 		0.97 *
Maybe
 		0.63 *
Maybe
 		0.84
Brockschmidt_16/T2/fuhs-inflasso
 *
n^2
 		0.10 *
n^2
 		0.11 *
n^2
 		0.48 *
YES
 		0.51 *
POLY
 		0.22 *
POLY
 		0.26 *
POLY
 		0.68
Brockschmidt_16/T2/fun1
 *
MAYBE
 		0.12 *
MAYBE
 		0.11 *
MAYBE
 		9.38 *
NO
 		1.09 *
Maybe
 		0.61 *
Maybe
 		2.97 *
Maybe
 		4.96
Brockschmidt_16/T2/fun10
 *
MAYBE
 		0.13 *
MAYBE
 		0.11 *
TIMEOUT
 60.01 *
NO
 		0.62 *
Maybe
 		0.83 *
Maybe
 		0.75 *
Maybe
 		1.00
Brockschmidt_16/T2/fun10b
 *
MAYBE
 		0.10 *
MAYBE
 		0.11 *
MAYBE
 		44.26 *
NO
 		0.46 *
Maybe
 		1.02 *
Maybe
 		0.70 *
Maybe
 		0.86
Brockschmidt_16/T2/fun11
 *
MAYBE
 		0.10 *
MAYBE
 		0.12 *
MAYBE
 		1.00 *
NO
 		0.17 *
Maybe
 		0.21 *
Maybe
 		0.18 *
Maybe
 		0.78
Brockschmidt_16/T2/fun1b
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		10.68 *
NO
 		0.77 *
Maybe
 		0.90 *
Maybe
 		1.34 *
Maybe
 		2.88
Brockschmidt_16/T2/fun2
 *
n^1
 		0.11 *
n^1
 		0.10 *
n^1
 		9.77 *
YES
 		1.09 *
Maybe
 		0.66 *
PRIMREC
 		14.08 *
PRIMREC
 		56.07
Brockschmidt_16/T2/fun2b
 *
MAYBE
 		0.11 *
MAYBE
 		0.14 *
MAYBE
 		9.56 *
NO
 		1.05 *
Maybe
 		0.39 *
Maybe
 		1.73 *
Maybe
 		2.79
Brockschmidt_16/T2/fun3
 *
n^1
 		0.11 *
n^1
 		0.11 *
n^1
 		9.32 *
YES
 		0.91 *
Maybe
 		0.46 *
PRIMREC
 		13.72 *
PRIMREC
 		55.34
Brockschmidt_16/T2/fun4
 *
n^1
 		0.12 *
n^0
 		0.10 *
n^0
 		1.43 *
YES
 		0.16 *
POLY
 		0.28 *
Maybe
 		59.19 *
n^1
 		57.06
Brockschmidt_16/T2/fun4-alt
 *
n^1
 		0.12 *
n^0
 		0.12 *
n^0
 		0.83 *
YES
 		0.17 *
POLY
 		0.24 *
Maybe
 		59.47 *
n^1
 		57.34
Brockschmidt_16/T2/fun5
 *
n^1
 		0.12 *
MAYBE
 		0.11 *
MAYBE
 		10.29 *
NO
 		0.98 *
Maybe
 		0.31 *
Maybe
 		0.64 *
Maybe
 		1.14
Brockschmidt_16/T2/fun6
 *
MAYBE
 		0.10 *
MAYBE
 		0.13 *
MAYBE
 		9.68 *
NO
 		0.32 *
Maybe
 		0.39 *
Maybe
 		0.52 *
Maybe
 		0.70
Brockschmidt_16/T2/fun7
 *
MAYBE
 		0.13 *
MAYBE
 		0.12 *
MAYBE
 		2.18 *
NO
 		0.20 *
Maybe
 		0.30 *
Maybe
 		0.26 *
Maybe
 		1.50
Brockschmidt_16/T2/fun8
 *
n^0
 		0.14 *
n^0
 		0.11 *
n^0
 		10.23 *
YES
 		1.07 *
n^0
 		18.13 *
n^0
 		27.74 *
n^0
 		55.61
Brockschmidt_16/T2/fun9
 *
MAYBE
 		0.12 *
MAYBE
 		0.11 *
MAYBE
 		10.30 *
NO
 		0.32 *
Maybe
 		0.39 *
Maybe
 		0.44 *
Maybe
 		1.34
Brockschmidt_16/T2/graycode
 *
n^0
 		0.10 *
n^0
 		0.10 *
n^0
 		7.08 *
YES
 		0.96 *
n^0
 		5.88 *
n^0
 		4.18 *
n^0
 		21.57
Brockschmidt_16/T2/heidy1
 *
MAYBE
 		0.14 *
MAYBE
 		0.16 *
MAYBE
 		0.68 *
NO
 		0.14 *
Maybe
 		0.16 *
Maybe
 		0.15 *
Maybe
 		0.16
Brockschmidt_16/T2/heidy10
 *
MAYBE
 		0.13 *
MAYBE
 		0.12 *
MAYBE
 		1.50 *
YES
 		0.15 *
Maybe
 		0.58 *
Maybe
 		0.58 *
Maybe
 		0.49
Brockschmidt_16/T2/heidy2
 *
MAYBE
 		0.13 *
MAYBE
 		0.13 *
MAYBE
 		0.49 *
NO
 		0.19 *
Maybe
 		0.20 *
Maybe
 		0.16 *
Maybe
 		0.21
Brockschmidt_16/T2/heidy3
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		1.28 *
NO
 		0.17 *
Maybe
 		0.15 *
Maybe
 		0.17 *
Maybe
 		0.32
Brockschmidt_16/T2/heidy5
 *
n^1
 		0.12 *
n^1
 		0.11 *
n^1
 		0.51 *
YES
 		0.22 *
n^1
 		0.17 *
n^1
 		0.29 *
n^1
 		0.51
Brockschmidt_16/T2/heidy6
 *
MAYBE
 		0.14 *
MAYBE
 		0.14 *
MAYBE
 		1.83 *
NO
 		0.14 *
Maybe
 		0.18 *
Maybe
 		0.16 *
Maybe
 		0.22
Brockschmidt_16/T2/heidy7
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
MAYBE
 		2.54 *
NO
 		0.17 *
Maybe
 		0.17 *
Maybe
 		0.37 *
Maybe
 		0.79
Brockschmidt_16/T2/heidy7-simple
 *
MAYBE
 		0.13 *
MAYBE
 		0.11 *
MAYBE
 		1.48 *
NO
 		0.89 *
Maybe
 		0.23 *
Maybe
 		1.09 *
Maybe
 		0.47
Brockschmidt_16/T2/heidy8
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		3.84 *
NO
 		0.17 *
Maybe
 		0.17 *
Maybe
 		0.21 *
Maybe
 		0.29
Brockschmidt_16/T2/heidy9
 *
n^1
 		0.11 *
n^1
 		0.12 *
n^1
 		0.39 *
YES
 		0.15 *
n^1
 		0.18 *
n^1
 		0.18 *
n^1
 		1.31
Brockschmidt_16/T2/hongyi1
 *
MAYBE
 		0.12 *
n^1
 		0.12 *
n^1
 		59.44 *
YES
 		3.34 *
Maybe
 		1.25 *
PRIMREC
 		27.31 *
n^1
 		8.73
Brockschmidt_16/T2/hqr
 *
MAYBE
 		0.13 *
MAYBE
 		0.11 *
TIMEOUT
 60.01 *
NO
 		3.72 *
Maybe
 		5.48 *
Maybe
 		4.49 *
Maybe
 		9.85
Brockschmidt_16/T2/hqr.c.i.hqr.pl.t2.fixed
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
TIMEOUT
 60.03 *
NO
 		4.15 *
Maybe
 		5.77 *
Maybe
 		4.84 *
Maybe
 		7.98
Brockschmidt_16/T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed
 *
MAYBE
 		0.12 *
MAYBE
 		0.13 *
TIMEOUT
 60.01 *
NO
 		4.66 *
Maybe
 		4.58 *
Maybe
 		4.51 *
Maybe
 		9.46
Brockschmidt_16/T2/huh
 *
MAYBE
 		0.14 *
MAYBE
 		0.14 *
MAYBE
 		4.23 *
YES
 		0.27 *
Maybe
 		2.61 *
Maybe
 		2.81 *
Maybe
 		1.34
Brockschmidt_16/T2/iecs
 *
n^1
 		0.11 *
n^1
 		0.11 *
n^1
 		0.97 *
YES
 		0.17 *
Maybe
 		0.15 *
n^1
 		0.45 *
n^1
 		0.37
Brockschmidt_16/T2/insertsort
 *
MAYBE
 		0.11 *
MAYBE
 		0.10 *
MAYBE
 		1.72 *
NO
 		0.39 *
Maybe
 		0.21 *
Maybe
 		0.38 *
Maybe
 		0.24
Brockschmidt_16/T2/intSqRoot
 *
MAYBE
 		0.13 *
MAYBE
 		0.11 *
MAYBE
 		0.62 *
NO
 		0.15 *
Maybe
 		0.29 *
Maybe
 		0.16 *
Maybe
 		0.29
Brockschmidt_16/T2/invgen
 *
n^1
 		0.11 *
n^1
 		0.12 *
n^1
 		0.37 *
YES
 		0.14 *
n^1
 		0.42 *
n^1
 		0.16 *
n^1
 		1.15
Brockschmidt_16/T2/jacobi
 *
n^1
 		0.13 *
n^1
 		0.11 *
n^1
 		13.68 *
YES
 		0.17 *
Maybe
 		59.23 *
PRIMREC
 		3.23 *
n^1
 		0.80
Brockschmidt_16/T2/jacobi.c.i.jacobi.pl.t2.fixed
 *
n^1
 		0.13 *
n^1
 		0.12 *
n^1
 		15.52 *
YES
 		0.19 *
Maybe
 		59.24 *
PRIMREC
 		3.00 *
n^1
 		0.22
Brockschmidt_16/T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed
 *
n^1
 		0.11 *
n^1
 		0.11 *
n^1
 		14.00 *
YES
 		0.22 *
Maybe
 		59.23 *
PRIMREC
 		3.08 *
n^1
 		0.30
Brockschmidt_16/T2/janne_complex
 *
MAYBE
 		0.13 *
MAYBE
 		0.11 *
MAYBE
 		2.82 *
NO
 		0.25 *
Maybe
 		0.19 *
Maybe
 		0.53 *
Maybe
 		2.31
Brockschmidt_16/T2/jfdctint
 *
n^0
 		0.11 *
n^0
 		0.12 *
n^0
 		1.02 *
YES
 		0.18 *
n^0
 		3.58 *
n^0
 		4.25 *
n^0
 		0.55
Brockschmidt_16/T2/loop3
 *
n^0
 		0.11 *
n^0
 		0.11 *
TIMEOUT
 60.00 *
YES
 		1.82 *
Maybe
 		3.31 *
Maybe
 		59.26 *
Maybe
 		58.08
Brockschmidt_16/T2/loop_on_input
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		0.59 *
YES
 		0.96 *
Maybe
 		0.24 *
Maybe
 		1.23 *
Maybe
 		2.51
Brockschmidt_16/T2/ludcmp
 *
n^1
 		0.14 *
n^1
 		0.12 *
n^1
 		10.37 *
YES
 		0.71 *
PRIMREC
 		18.42 *
PRIMREC
 		4.46 *
n^1
 		0.74
Brockschmidt_16/T2/ludcmp.c.i.ludcmp.pl.t2.fixed
 *
n^1
 		0.12 *
n^1
 		0.14 *
n^1
 		10.79 *
YES
 		0.58 *
PRIMREC
 		18.11 *
PRIMREC
 		4.42 *
n^1
 		1.84
Brockschmidt_16/T2/ludcmp.c.i.ludcmp.pl.t2.nor.t2.rlgfixed
 *
n^1
 		0.13 *
n^1
 		0.10 *
n^1
 		10.67 *
YES
 		0.32 *
PRIMREC
 		18.36 *
PRIMREC
 		4.11 *
n^1
 		0.66
Brockschmidt_16/T2/magic
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
TIMEOUT
 60.00 *
YES
 		3.19 *
Maybe
 		59.43 *
Maybe
 		59.62 *
Maybe
 		59.06
Brockschmidt_16/T2/matmul
 *
n^0
 		0.12 *
n^0
 		0.10 *
n^0
 		1.46 *
YES
 		1.00 *
n^0
 		0.43 *
n^0
 		1.26 *
n^0
 		1.70
Brockschmidt_16/T2/matmult
 *
n^0
 		0.14 *
n^0
 		0.14 *
n^0
 		3.16 *
YES
 		0.24 *
n^0
 		1.67 *
n^0
 		1.54 *
n^0
 		7.01
Brockschmidt_16/T2/matrixsqrt
 *
n^0
 		0.11 *
n^0
 		0.12 *
n^0
 		1.79 *
YES
 		0.26 *
n^0
 		0.77 *
n^0
 		0.83 *
n^0
 		3.46
Brockschmidt_16/T2/mc91
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
MAYBE
 		0.90 *
YES
 		0.34 *
Maybe
 		0.34 *
Maybe
 		0.29 *
Maybe
 		0.43
Brockschmidt_16/T2/mc91test
 *
MAYBE
 		0.13 *
MAYBE
 		0.12 *
MAYBE
 		4.14 *
YES
 		0.16 *
Maybe
 		0.60 *
Maybe
 		0.74 *
Maybe
 		4.61
Brockschmidt_16/T2/minmax
 *
n^0
 		0.13 *
n^0
 		0.12 *
n^0
 		0.32 *
n^0
 		0.16 *
n^0
 		0.13 *
n^0
 		0.15 *
n^0
 		0.15
Brockschmidt_16/T2/n-1
 *
MAYBE
 		0.11 *
MAYBE
 		0.13 *
MAYBE
 		0.55 *
NO
 		0.15 *
Maybe
 		0.16 *
Maybe
 		0.17 *
Maybe
 		0.21
Brockschmidt_16/T2/n-10
 *
MAYBE
 		0.10 *
MAYBE
 		0.10 *
MAYBE
 		0.60 *
NO
 		0.17 *
Maybe
 		0.67 *
Maybe
 		0.21 *
Maybe
 		0.31
Brockschmidt_16/T2/n-12
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		1.28 *
NO
 		0.20 *
Maybe
 		0.17 *
Maybe
 		0.21 *
Maybe
 		0.23
Brockschmidt_16/T2/n-12a
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		0.37 *
NO
 		0.13 *
Maybe
 		0.16 *
Maybe
 		0.25 *
Maybe
 		0.25
Brockschmidt_16/T2/n-13
 *
MAYBE
 		0.10 *
MAYBE
 		0.10 *
MAYBE
 		0.46 *
NO
 		0.14 *
Maybe
 		0.15 *
Maybe
 		0.15 *
Maybe
 		0.16
Brockschmidt_16/T2/n-14
 *
MAYBE
 		0.10 *
MAYBE
 		0.11 *
MAYBE
 		1.68 *
NO
 		0.19 *
Maybe
 		0.25 *
Maybe
 		0.34 *
Maybe
 		0.54
Brockschmidt_16/T2/n-15
 *
MAYBE
 		0.10 *
MAYBE
 		0.11 *
MAYBE
 		0.57 *
NO
 		0.15 *
Maybe
 		0.17 *
Maybe
 		0.34 *
Maybe
 		0.19
Brockschmidt_16/T2/n-15a
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		1.21 *
NO
 		0.27 *
Maybe
 		0.20 *
Maybe
 		0.26 *
Maybe
 		0.53
Brockschmidt_16/T2/n-16
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		0.58 *
NO
 		0.35 *
Maybe
 		0.18 *
Maybe
 		1.15 *
Maybe
 		0.16
Brockschmidt_16/T2/n-16a
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		0.96 *
NO
 		0.14 *
Maybe
 		0.17 *
Maybe
 		0.15 *
Maybe
 		1.10
Brockschmidt_16/T2/n-17
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
MAYBE
 		0.56 *
NO
 		0.15 *
Maybe
 		0.17 *
Maybe
 		0.14 *
Maybe
 		0.22
Brockschmidt_16/T2/n-18
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		0.56 *
NO
 		0.34 *
Maybe
 		0.15 *
Maybe
 		0.15 *
Maybe
 		0.28
Brockschmidt_16/T2/n-18a
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		0.93 *
NO
 		0.14 *
Maybe
 		0.38 *
Maybe
 		0.17 *
Maybe
 		0.17
Brockschmidt_16/T2/n-1c
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
MAYBE
 		0.61 *
NO
 		0.24 *
Maybe
 		0.35 *
Maybe
 		0.18 *
Maybe
 		0.52
Brockschmidt_16/T2/n-1d
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
MAYBE
 		1.16 *
NO
 		0.56 *
Maybe
 		0.21 *
Maybe
 		0.79 *
Maybe
 		0.32
Brockschmidt_16/T2/n-20
 *
MAYBE
 		0.12 *
MAYBE
 		0.15 *
MAYBE
 		0.60 *
NO
 		0.30 *
Maybe
 		0.15 *
Maybe
 		0.14 *
Maybe
 		0.38
Brockschmidt_16/T2/n-21
 *
MAYBE
 		0.13 *
MAYBE
 		0.11 *
MAYBE
 		1.10 *
NO
 		0.14 *
Maybe
 		0.16 *
Maybe
 		0.16 *
Maybe
 		0.80
Brockschmidt_16/T2/n-3
 *
MAYBE
 		0.13 *
MAYBE
 		0.12 *
MAYBE
 		0.70 *
NO
 		0.36 *
Maybe
 		0.17 *
Maybe
 		0.42 *
Maybe
 		0.21
Brockschmidt_16/T2/n-32
 *
MAYBE
 		0.13 *
MAYBE
 		0.13 *
MAYBE
 		0.65 *
NO
 		0.17 *
Maybe
 		0.17 *
Maybe
 		0.17 *
Maybe
 		0.19
Brockschmidt_16/T2/n-33
 *
MAYBE
 		0.11 *
MAYBE
 		0.09 *
MAYBE
 		1.76 *
NO
 		0.45 *
Maybe
 		0.35 *
Maybe
 		0.61 *
Maybe
 		3.34
Brockschmidt_16/T2/n-36
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		1.99 *
NO
 		0.22 *
Maybe
 		1.32 *
Maybe
 		0.29 *
Maybe
 		0.42
Brockschmidt_16/T2/n-37
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		1.39 *
NO
 		0.14 *
Maybe
 		0.16 *
Maybe
 		0.16 *
Maybe
 		0.18
Brockschmidt_16/T2/n-3a
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
MAYBE
 		1.70 *
NO
 		0.22 *
Maybe
 		0.72 *
Maybe
 		0.50 *
Maybe
 		0.69
Brockschmidt_16/T2/n-4
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
MAYBE
 		3.78 *
NO
 		0.44 *
Maybe
 		0.57 *
Maybe
 		0.50 *
Maybe
 		1.29
Brockschmidt_16/T2/n-40
 *
MAYBE
 		0.10 *
MAYBE
 		0.11 *
MAYBE
 		5.14 *
NO
 		0.31 *
Maybe
 		2.24 *
Maybe
 		0.45 *
Maybe
 		2.38
Brockschmidt_16/T2/n-46
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		1.23 *
NO
 		0.15 *
Maybe
 		0.15 *
Maybe
 		0.14 *
Maybe
 		0.29
Brockschmidt_16/T2/n-48
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		1.79 *
NO
 		0.12 *
Maybe
 		0.15 *
Maybe
 		0.15 *
Maybe
 		1.06
Brockschmidt_16/T2/n-5
 *
MAYBE
 		0.13 *
MAYBE
 		0.09 *
MAYBE
 		2.40 *
NO
 		0.20 *
Maybe
 		0.24 *
Maybe
 		0.26 *
Maybe
 		0.36
Brockschmidt_16/T2/n-6
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		1.15 *
NO
 		0.15 *
Maybe
 		0.38 *
Maybe
 		0.23 *
Maybe
 		0.52
Brockschmidt_16/T2/n-6a
 *
MAYBE
 		0.10 *
MAYBE
 		0.11 *
MAYBE
 		1.10 *
NO
 		0.20 *
Maybe
 		0.29 *
Maybe
 		0.26 *
Maybe
 		0.23
Brockschmidt_16/T2/n-7
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
MAYBE
 		1.65 *
NO
 		0.70 *
Maybe
 		0.15 *
Maybe
 		0.33 *
Maybe
 		0.17
Brockschmidt_16/T2/n-8
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		0.59 *
NO
 		0.35 *
Maybe
 		0.20 *
Maybe
 		0.22 *
Maybe
 		1.09
Brockschmidt_16/T2/n-8a
 *
MAYBE
 		0.12 *
MAYBE
 		0.13 *
MAYBE
 		0.59 *
NO
 		0.16 *
Maybe
 		0.23 *
Maybe
 		0.18 *
Maybe
 		1.30
Brockschmidt_16/T2/n-9
 *
MAYBE
 		0.11 *
MAYBE
 		0.10 *
MAYBE
 		0.65 *
NO
 		0.38 *
Maybe
 		0.56 *
Maybe
 		0.40 *
Maybe
 		1.04
Brockschmidt_16/T2/n_firewire_instrumented-PP
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
MAYBE
 		12.70 *
NO
 		0.61 *
Maybe
 		0.59 *
Maybe
 		1.03 *
Maybe
 		3.16
Brockschmidt_16/T2/nakata
 *
MAYBE
 		0.10 *
MAYBE
 		0.12 *
MAYBE
 		22.23 *
NO
 		0.97 *
Maybe
 		2.91 *
Maybe
 		1.51 *
Maybe
 		3.52
Brockschmidt_16/T2/nakata_withassume
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
MAYBE
 		23.04 *
NO
 		1.64 *
Maybe
 		3.90 *
Maybe
 		2.25 *
Maybe
 		6.28
Brockschmidt_16/T2/ndes
 *
n^0
 		0.12 *
n^0
 		0.13 *
TIMEOUT
 60.01 *
YES
 		3.85 *
Maybe
 		59.39 *
Maybe
 		59.36 *
POLY
 		55.75
Brockschmidt_16/T2/neg-1394complete-fail
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		17.30 *
NO
 		1.77 *
Maybe
 		1.50 *
Maybe
 		2.72 *
Maybe
 		6.38
Brockschmidt_16/T2/neg-1394complete-succeed
 *
MAYBE
 		0.12 *
MAYBE
 		0.13 *
MAYBE
 		15.36 *
NO
 		1.93 *
Maybe
 		1.74 *
Maybe
 		2.88 *
Maybe
 		9.78
Brockschmidt_16/T2/neg-e-1394complete-fail
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
MAYBE
 		16.77 *
NO
 		2.16 *
Maybe
 		0.70 *
Maybe
 		3.09 *
Maybe
 		4.16
Brockschmidt_16/T2/neg-e-1394complete-succeed
 *
MAYBE
 		0.12 *
MAYBE
 		0.11 *
MAYBE
 		16.97 *
NO
 		1.60 *
Maybe
 		1.38 *
Maybe
 		2.62 *
Maybe
 		6.45
Brockschmidt_16/T2/neg-e-acqrel-fail
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		0.99 *
NO
 		0.38 *
Maybe
 		0.22 *
Maybe
 		0.20 *
Maybe
 		0.22
Brockschmidt_16/T2/neg-e-acqrel-succeed
 *
MAYBE
 		0.13 *
MAYBE
 		0.11 *
MAYBE
 		1.00 *
NO
 		0.16 *
Maybe
 		0.19 *
Maybe
 		0.22 *
Maybe
 		0.18
Brockschmidt_16/T2/neg-e-pgarch-fail
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
MAYBE
 		1.25 *
NO
 		0.38 *
Maybe
 		0.34 *
Maybe
 		0.19 *
Maybe
 		0.45
Brockschmidt_16/T2/neg-e-pgarch-succeed
 *
MAYBE
 		0.12 *
MAYBE
 		0.11 *
MAYBE
 		1.22 *
NO
 		0.15 *
Maybe
 		0.16 *
Maybe
 		0.16 *
Maybe
 		0.38
Brockschmidt_16/T2/neg-e-popl07-succeed
 *
MAYBE
 		0.12 *
MAYBE
 		0.11 *
MAYBE
 		3.13 *
NO
 		0.29 *
Maybe
 		0.26 *
Maybe
 		0.42 *
Maybe
 		0.44
Brockschmidt_16/T2/neg-pgarch-succeed
 *
MAYBE
 		0.12 *
MAYBE
 		0.10 *
MAYBE
 		1.34 *
NO
 		0.18 *
Maybe
 		0.19 *
Maybe
 		0.18 *
Maybe
 		0.37
Brockschmidt_16/T2/neg-popl07-fail
 *
MAYBE
 		0.13 *
MAYBE
 		0.11 *
MAYBE
 		2.33 *
NO
 		0.22 *
Maybe
 		0.60 *
Maybe
 		0.27 *
Maybe
 		0.73
Brockschmidt_16/T2/neg-popl07-succeed
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		2.53 *
NO
 		0.23 *
Maybe
 		0.23 *
Maybe
 		0.32 *
Maybe
 		1.94
Brockschmidt_16/T2/neg-smagilla-fail
 *
MAYBE
 		0.12 *
MAYBE
 		0.11 *
MAYBE
 		3.54 *
NO
 		0.18 *
Maybe
 		0.21 *
Maybe
 		0.20 *
Maybe
 		0.28
Brockschmidt_16/T2/neg-smagilla-succeed
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
MAYBE
 		1.80 *
NO
 		0.21 *
Maybe
 		0.16 *
Maybe
 		0.36 *
Maybe
 		1.25
Brockschmidt_16/T2/nested
 *
MAYBE
 		0.12 *
MAYBE
 		0.13 *
MAYBE
 		0.83 *
YES
 		0.15 *
Maybe
 		0.86 *
Maybe
 		0.67 *
Maybe
 		0.84
Brockschmidt_16/T2/nested2
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		1.41 *
YES
 		0.15 *
Maybe
 		0.39 *
Maybe
 		0.34 *
Maybe
 		0.44
Brockschmidt_16/T2/new_ex
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
MAYBE
 		4.04 *
YES
 		0.19 *
Maybe
 		0.22 *
Maybe
 		0.98 *
Maybe
 		7.41
Brockschmidt_16/T2/non_term
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		1.04 *
NO
 		0.14 *
Maybe
 		0.34 *
Maybe
 		0.15 *
Maybe
 		0.16
Brockschmidt_16/T2/ns
 *
n^0
 		0.12 *
n^0
 		0.14 *
n^0
 		1.92 *
YES
 		0.24 *
n^0
 		0.80 *
n^0
 		0.86 *
n^0
 		3.87
Brockschmidt_16/T2/oct_vs_subpoly
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		0.74 *
NO
 		0.14 *
Maybe
 		0.14 *
Maybe
 		0.15 *
Maybe
 		0.34
Brockschmidt_16/T2/p-1
 *
MAYBE
 		0.11 *
MAYBE
 		0.10 *
MAYBE
 		0.76 *
NO
 		0.14 *
Maybe
 		0.14 *
Maybe
 		0.14 *
Maybe
 		0.25
Brockschmidt_16/T2/p-10
 *
MAYBE
 		0.13 *
MAYBE
 		0.11 *
MAYBE
 		0.39 *
NO
 		0.29 *
Maybe
 		0.14 *
Maybe
 		1.54 *
Maybe
 		0.95
Brockschmidt_16/T2/p-12
 *
n^1
 		0.12 *
n^1
 		0.12 *
n^1
 		0.36 *
YES
 		0.51 *
n^1
 		0.82 *
n^1
 		0.34 *
n^1
 		0.55
Brockschmidt_16/T2/p-13
 *
n^0
 		0.13 *
n^0
 		0.11 *
n^0
 		0.25 *
n^0
 		0.16 *
n^0
 		0.13 *
n^0
 		0.15 *
n^0
 		0.14
Brockschmidt_16/T2/p-14
 *
n^1
 		0.12 *
n^1
 		0.12 *
n^1
 		0.41 *
YES
 		1.15 *
n^1
 		0.24 *
n^1
 		1.86 *
n^1
 		0.71
Brockschmidt_16/T2/p-15
 *
n^1
 		0.12 *
n^1
 		0.13 *
n^1
 		0.46 *
YES
 		0.15 *
n^1
 		0.26 *
n^1
 		0.28 *
n^1
 		0.14
Brockschmidt_16/T2/p-16
 *
n^1
 		0.10 *
n^1
 		0.12 *
n^1
 		0.40 *
YES
 		0.17 *
n^1
 		0.46 *
n^1
 		0.25 *
n^1
 		0.35
Brockschmidt_16/T2/p-18
 *
n^1
 		0.12 *
n^1
 		0.11 *
n^1
 		0.43 *
YES
 		0.18 *
n^1
 		0.39 *
n^1
 		0.25 *
n^1
 		0.32
Brockschmidt_16/T2/p-19
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		0.70 *
NO
 		0.15 *
Maybe
 		0.20 *
Maybe
 		0.18 *
Maybe
 		0.19
Brockschmidt_16/T2/p-19a
 *
MAYBE
 		0.12 *
MAYBE
 		0.11 *
MAYBE
 		0.35 *
NO
 		0.34 *
Maybe
 		0.15 *
Maybe
 		0.35 *
Maybe
 		0.91
Brockschmidt_16/T2/p-1a
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		0.37 *
NO
 		0.14 *
Maybe
 		0.15 *
Maybe
 		0.14 *
Maybe
 		0.18
Brockschmidt_16/T2/p-1b
 *
n^1
 		0.13 *
n^1
 		0.11 *
n^1
 		0.33 *
YES
 		0.13 *
n^1
 		0.23 *
n^1
 		0.25 *
n^1
 		0.17
Brockschmidt_16/T2/p-1c
 *
MAYBE
 		0.12 *
MAYBE
 		0.14 *
MAYBE
 		0.39 *
NO
 		0.13 *
Maybe
 		0.16 *
Maybe
 		0.17 *
Maybe
 		0.23
Brockschmidt_16/T2/p-1d
 *
n^1
 		0.11 *
n^1
 		0.12 *
n^1
 		1.02 *
YES
 		0.17 *
PRIMREC
 		0.53 *
PRIMREC
 		0.57 *
n^1
 		0.19
Brockschmidt_16/T2/p-20
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
MAYBE
 		0.64 *
NO
 		0.14 *
Maybe
 		0.15 *
Maybe
 		0.14 *
Maybe
 		1.31
Brockschmidt_16/T2/p-21
 *
n^1
 		0.11 *
n^1
 		0.10 *
n^1
 		0.65 *
YES
 		0.16 *
POLY
 		0.30 *
POLY
 		0.29 *
n^1
 		0.19
Brockschmidt_16/T2/p-22
 *
n^1
 		0.11 *
n^1
 		0.12 *
n^1
 		0.56 *
YES
 		0.14 *
n^1
 		0.53 *
n^1
 		0.32 *
n^1
 		0.16
Brockschmidt_16/T2/p-3
 *
n^1
 		0.11 *
n^1
 		0.12 *
n^1
 		0.58 *
YES
 		0.35 *
n^1
 		0.35 *
n^1
 		0.29 *
n^1
 		0.16
Brockschmidt_16/T2/p-32
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		0.65 *
NO
 		0.20 *
Maybe
 		0.18 *
Maybe
 		0.17 *
Maybe
 		0.21
Brockschmidt_16/T2/p-33
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		1.13 *
NO
 		0.19 *
Maybe
 		1.55 *
Maybe
 		0.25 *
Maybe
 		0.93
Brockschmidt_16/T2/p-34
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		1.07 *
NO
 		0.35 *
Maybe
 		1.82 *
Maybe
 		0.75 *
Maybe
 		0.74
Brockschmidt_16/T2/p-36
 *
MAYBE
 		0.10 *
MAYBE
 		0.10 *
MAYBE
 		0.92 *
NO
 		0.37 *
Maybe
 		0.45 *
Maybe
 		0.57 *
Maybe
 		0.70
Brockschmidt_16/T2/p-37
 *
n^0
 		0.13 *
n^0
 		0.12 *
n^0
 		0.56 *
YES
 		0.19 *
n^0
 		0.44 *
n^0
 		0.63 *
n^0
 		0.23
Brockschmidt_16/T2/p-4
 *
n^1
 		0.13 *
n^2
 		0.12 *
n^2
 		0.47 *
YES
 		0.18 *
n^1
 		0.20 *
n^1
 		0.20 *
n^1
 		1.08
Brockschmidt_16/T2/p-40
 *
MAYBE
 		0.13 *
MAYBE
 		0.12 *
MAYBE
 		1.18 *
YES
 		0.14 *
Maybe
 		0.53 *
Maybe
 		0.85 *
Maybe
 		1.21
Brockschmidt_16/T2/p-41
 *
n^0
 		0.13 *
n^0
 		0.12 *
n^0
 		0.05 *
n^0
 		0.13 *
n^0
 		0.13 *
n^0
 		0.14 *
n^0
 		0.91
Brockschmidt_16/T2/p-42
 *
n^1
 		0.16 *
n^1
 		0.12 *
n^1
 		0.71 *
YES
 		0.14 *
n^1
 		0.32 *
n^1
 		0.42 *
n^1
 		0.20
Brockschmidt_16/T2/p-43
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		2.06 *
NO
 		0.16 *
Maybe
 		0.40 *
Maybe
 		0.21 *
Maybe
 		0.46
Brockschmidt_16/T2/p-43-terminate
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		27.49 *
NO
 		3.70 *
Maybe
 		1.10 *
Maybe
 		6.47 *
Maybe
 		4.34
Brockschmidt_16/T2/p-44
 *
n^1
 		0.12 *
n^1
 		0.12 *
n^1
 		0.72 *
YES
 		0.16 *
n^1
 		0.33 *
n^1
 		0.39 *
n^1
 		0.37
Brockschmidt_16/T2/p-45
 *
n^1
 		0.12 *
n^1
 		0.11 *
n^1
 		1.07 *
YES
 		0.15 *
n^1
 		0.40 *
n^1
 		0.41 *
n^1
 		0.14
Brockschmidt_16/T2/p-46
 *
MAYBE
 		0.12 *
MAYBE
 		0.11 *
MAYBE
 		1.61 *
NO
 		0.32 *
Maybe
 		0.19 *
Maybe
 		0.19 *
Maybe
 		0.28
Brockschmidt_16/T2/p-49
 *
n^1
 		0.11 *
n^1
 		0.12 *
n^1
 		0.38 *
YES
 		0.67 *
n^1
 		0.45 *
n^1
 		0.79 *
n^1
 		0.65
Brockschmidt_16/T2/p-5
 *
MAYBE
 		0.10 *
MAYBE
 		0.11 *
MAYBE
 		2.46 *
NO
 		0.39 *
Maybe
 		0.24 *
Maybe
 		0.28 *
Maybe
 		2.91
Brockschmidt_16/T2/p-52
 *
MAYBE
 		0.10 *
MAYBE
 		0.12 *
MAYBE
 		0.36 *
NO
 		0.16 *
Maybe
 		0.15 *
Maybe
 		0.18 *
Maybe
 		0.39
Brockschmidt_16/T2/p-53
 *
n^0
 		0.12 *
n^0
 		0.10 *
n^0
 		0.14 *
n^0
 		0.13 *
n^0
 		0.12 *
n^0
 		0.12 *
n^0
 		0.50
Brockschmidt_16/T2/p-55
 *
n^1
 		0.13 *
n^2
 		0.13 *
n^2
 		1.20 *
YES
 		0.16 *
n^1
 		0.58 *
n^1
 		0.35 *
n^1
 		2.58
Brockschmidt_16/T2/p-56
 *
n^1
 		0.12 *
n^1
 		0.11 *
n^1
 		1.06 *
YES
 		0.14 *
n^1
 		0.41 *
n^1
 		0.42 *
n^1
 		0.18
Brockschmidt_16/T2/p-58
 *
n^0
 		0.13 *
n^0
 		0.10 *
n^0
 		0.31 *
n^0
 		0.12 *
n^0
 		0.13 *
n^0
 		0.13 *
n^0
 		0.20
Brockschmidt_16/T2/p-6
 *
n^1
 		0.11 *
n^1
 		0.13 *
n^1
 		1.03 *
YES
 		0.36 *
PRIMREC
 		0.75 *
PRIMREC
 		0.48 *
n^1
 		0.19
Brockschmidt_16/T2/p-60
 *
n^0
 		0.10 *
n^1
 		0.12 *
n^1
 		0.59 *
YES
 		0.15 *
n^0
 		0.18 *
n^0
 		0.17 *
n^0
 		0.35
Brockschmidt_16/T2/p-61
 *
n^0
 		0.13 *
n^0
 		0.14 *
n^0
 		0.67 *
YES
 		0.26 *
n^0
 		0.19 *
n^0
 		0.38 *
n^0
 		0.22
Brockschmidt_16/T2/p-63
 *
n^1
 		0.12 *
n^1
 		0.12 *
n^1
 		1.67 *
YES
 		0.14 *
Maybe
 		0.15 *
n^1
 		0.38 *
n^1
 		0.37
Brockschmidt_16/T2/p-7
 *
n^1
 		0.11 *
n^1
 		0.11 *
n^1
 		0.68 *
YES
 		0.14 *
n^1
 		0.39 *
n^1
 		0.43 *
n^1
 		0.16
Brockschmidt_16/T2/p-7b
 *
n^1
 		0.11 *
n^1
 		0.16 *
n^1
 		0.66 *
YES
 		0.14 *
n^1
 		0.37 *
n^1
 		0.37 *
n^1
 		0.56
Brockschmidt_16/T2/p-8
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		0.62 *
NO
 		0.20 *
Maybe
 		0.33 *
Maybe
 		0.19 *
Maybe
 		0.24
Brockschmidt_16/T2/p-9
 *
MAYBE
 		0.13 *
MAYBE
 		0.11 *
MAYBE
 		0.61 *
NO
 		0.17 *
Maybe
 		0.14 *
Maybe
 		0.14 *
Maybe
 		0.20
Brockschmidt_16/T2/pearl-necklace
 *
n^1
 		0.10 *
n^1
 		0.12 *
n^1
 		1.52 *
YES
 		0.19 *
POLY
 		0.88 *
POLY
 		0.38 *
POLY
 		0.64
Brockschmidt_16/T2/pentagon
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		4.40 *
NO
 		0.19 *
Maybe
 		0.27 *
Maybe
 		0.23 *
Maybe
 		0.28
Brockschmidt_16/T2/pgarch
 *
MAYBE
 		0.13 *
MAYBE
 		0.15 *
TIMEOUT
 60.00 *
NO
 		10.90 *
Maybe
 		12.30 *
Maybe
 		13.92 *
Maybe
 		14.32
Brockschmidt_16/T2/pldi
 *
n^2
 		0.12 *
n^2
 		0.11 *
n^2
 		3.37 *
YES
 		0.22 *
PRIMREC
 		0.57 *
POLY
 		0.68 *
POLY
 		3.22
Brockschmidt_16/T2/polling
 *
MAYBE
 		0.13 *
MAYBE
 		0.13 *
MAYBE
 		22.36 *
NO
 		2.03 *
Maybe
 		2.95 *
Maybe
 		4.21 *
Maybe
 		11.35
Brockschmidt_16/T2/polling.bug
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		24.18 *
NO
 		1.81 *
Maybe
 		0.86 *
Maybe
 		3.04 *
Maybe
 		5.31
Brockschmidt_16/T2/polyrank1
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		0.64 *
NO
 		0.14 *
Maybe
 		0.14 *
Maybe
 		0.14 *
Maybe
 		0.15
Brockschmidt_16/T2/polyrank2
 *
MAYBE
 		0.11 *
MAYBE
 		0.10 *
MAYBE
 		0.87 *
NO
 		0.15 *
Maybe
 		0.14 *
Maybe
 		0.14 *
Maybe
 		0.18
Brockschmidt_16/T2/polyrank3
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		1.03 *
NO
 		0.14 *
Maybe
 		0.21 *
Maybe
 		0.15 *
Maybe
 		0.88
Brockschmidt_16/T2/polyrank4
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		1.62 *
NO
 		0.16 *
Maybe
 		0.15 *
Maybe
 		0.21 *
Maybe
 		0.95
Brockschmidt_16/T2/polyrank5
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		1.39 *
NO
 		0.16 *
Maybe
 		0.15 *
Maybe
 		0.16 *
Maybe
 		0.18
Brockschmidt_16/T2/polyrank6
 *
MAYBE
 		0.14 *
MAYBE
 		0.12 *
MAYBE
 		1.87 *
NO
 		0.18 *
Maybe
 		0.39 *
Maybe
 		0.17 *
Maybe
 		0.61
Brockschmidt_16/T2/polyrank7
 *
MAYBE
 		0.12 *
MAYBE
 		0.11 *
MAYBE
 		1.14 *
NO
 		0.55 *
Maybe
 		0.35 *
Maybe
 		0.32 *
Maybe
 		0.24
Brockschmidt_16/T2/popl07-fail
 *
MAYBE
 		0.12 *
MAYBE
 		0.11 *
MAYBE
 		2.33 *
NO
 		0.22 *
Maybe
 		0.21 *
Maybe
 		0.49 *
Maybe
 		0.54
Brockschmidt_16/T2/popl07-succeed
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		2.28 *
NO
 		0.21 *
Maybe
 		0.90 *
Maybe
 		0.27 *
Maybe
 		0.68
Brockschmidt_16/T2/print
 *
MAYBE
 		0.13 *
MAYBE
 		0.11 *
MAYBE
 		39.65 *
YES
 		2.30 *
Maybe
 		59.44 *
Maybe
 		59.22 *
Maybe
 		57.03
Brockschmidt_16/T2/qrdcmp
 *
n^1
 		0.13 *
n^1
 		0.12 *
n^1
 		2.60 *
YES
 		0.31 *
PRIMREC
 		5.67 *
PRIMREC
 		15.31 *
n^1
 		0.55
Brockschmidt_16/T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed
 *
n^1
 		0.14 *
n^1
 		0.12 *
n^1
 		2.93 *
YES
 		0.27 *
PRIMREC
 		7.28 *
PRIMREC
 		15.57 *
n^1
 		0.68
Brockschmidt_16/T2/qrdcmp.c.i.qrdcmp.pl.t2.nor.t2.rlgfixed
 *
n^1
 		0.14 *
n^1
 		0.11 *
n^1
 		2.89 *
YES
 		0.27 *
PRIMREC
 		5.52 *
PRIMREC
 		15.41 *
n^1
 		0.80
Brockschmidt_16/T2/queens
 *
n^0
 		0.11 *
n^0
 		0.12 *
n^0
 		4.15 *
YES
 		2.73 *
n^0
 		4.58 *
PRIMREC
 		57.76 *
Maybe
 		57.19
Brockschmidt_16/T2/queue_1
 *
n^0
 		0.12 *
n^0
 		0.13 *
n^0
 		1.20 *
YES
 		0.18 *
n^0
 		0.65 *
n^0
 		0.43 *
n^0
 		0.30
Brockschmidt_16/T2/queue_10
 *
n^0
 		0.12 *
n^0
 		0.13 *
n^0
 		1.39 *
YES
 		0.22 *
n^0
 		0.94 *
n^0
 		0.93 *
n^0
 		3.10
Brockschmidt_16/T2/queue_100
 *
n^0
 		0.12 *
n^0
 		0.11 *
n^0
 		1.34 *
YES
 		0.50 *
n^0
 		1.70 *
n^0
 		1.27 *
n^0
 		4.34
Brockschmidt_16/T2/queue_1000
 *
n^0
 		0.13 *
n^0
 		0.13 *
n^0
 		1.37 *
YES
 		0.31 *
n^0
 		0.54 *
n^0
 		0.70 *
n^0
 		3.17
Brockschmidt_16/T2/randomwalk
 *
MAYBE
 		0.14 *
MAYBE
 		0.14 *
MAYBE
 		6.12 *
NO
 		0.22 *
Maybe
 		0.21 *
Maybe
 		0.31 *
Maybe
 		0.46
Brockschmidt_16/T2/randomwalk_withassume
 *
MAYBE
 		0.12 *
MAYBE
 		0.11 *
MAYBE
 		6.22 *
NO
 		0.42 *
Maybe
 		0.20 *
Maybe
 		0.98 *
Maybe
 		0.97
Brockschmidt_16/T2/refine_disj_problem
 *
MAYBE
 		0.13 *
MAYBE
 		0.13 *
MAYBE
 		0.95 *
NO
 		0.34 *
Maybe
 		0.59 *
Maybe
 		0.36 *
Maybe
 		0.19
Brockschmidt_16/T2/rev_nt2
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		5.21 *
NO
 		0.52 *
Maybe
 		3.43 *
Maybe
 		0.79 *
Maybe
 		1.47
Brockschmidt_16/T2/rev_nt3
 *
MAYBE
 		0.12 *
MAYBE
 		0.13 *
MAYBE
 		5.88 *
NO
 		0.65 *
Maybe
 		0.26 *
Maybe
 		1.06 *
Maybe
 		1.85
Brockschmidt_16/T2/rev_nt4
 *
n^0
 		0.11 *
n^0
 		0.11 *
n^0
 		0.14 *
n^0
 		0.18 *
n^0
 		0.33 *
n^0
 		0.17 *
n^0
 		0.36
Brockschmidt_16/T2/reverse
 *
MAYBE
 		0.13 *
MAYBE
 		0.13 *
MAYBE
 		28.07 *
YES
 		3.71 *
Maybe
 		59.33 *
Maybe
 		59.50 *
Maybe
 		55.50
Brockschmidt_16/T2/reverse_div4
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
MAYBE
 		3.25 *
NO
 		0.26 *
Maybe
 		0.26 *
Maybe
 		0.51 *
Maybe
 		1.73
Brockschmidt_16/T2/reverse_seg_cyclic
 *
n^1
 		0.13 *
n^1
 		0.10 *
n^1
 		29.31 *
YES
 		0.93 *
Maybe
 		59.57 *
Maybe
 		59.24 *
POLY
 		55.40
Brockschmidt_16/T2/rewrite
 *
MAYBE
 		0.10 *
MAYBE
 		0.11 *
MAYBE
 		0.36 *
NO
 		0.34 *
Maybe
 		0.20 *
Maybe
 		0.34 *
Maybe
 		0.39
Brockschmidt_16/T2/rlft3
 *
MAYBE
 		0.12 *
n^1
 		0.12 *
n^1
 		4.39 *
YES
 		0.84 *
Maybe
 		59.15 *
PRIMREC
 		25.23 *
n^1
 		0.95
Brockschmidt_16/T2/rlft3.c.i.rlft3.pl.t2.fixed
 *
n^2
 		0.10 *
n^1
 		0.12 *
n^1
 		4.72 *
YES
 		0.46 *
Maybe
 		59.20 *
Maybe
 		59.21 *
n^1
 		0.90
Brockschmidt_16/T2/s1-saved
 *
MAYBE
 		0.14 *
MAYBE
 		0.14 *
MAYBE
 		33.34 *
YES
 		1.80 *
Maybe
 		59.23 *
Maybe
 		59.26 *
Maybe
 		55.83
Brockschmidt_16/T2/s3-work
 *
MAYBE
 		0.14 *
MAYBE
 		0.11 *
TIMEOUT
 60.03 *
YES
 		12.45 *
Maybe
 		59.74 *
Maybe
 		59.79 *
Maybe
 		59.76
Brockschmidt_16/T2/sas1
 *
n^1
 		0.12 *
n^1
 		0.10 *
n^1
 		2.97 *
YES
 		0.76 *
Maybe
 		0.21 *
POLY
 		1.36 *
n^1
 		0.64
Brockschmidt_16/T2/sas2
 *
n^1
 		0.12 *
MAYBE
 		0.11 *
MAYBE
 		12.46 *
NO
 		0.32 *
Maybe
 		0.42 *
Maybe
 		1.52 *
Maybe
 		1.52
Brockschmidt_16/T2/select
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		18.72 *
NO
 		0.84 *
Maybe
 		0.40 *
Maybe
 		1.21 *
Maybe
 		2.94
Brockschmidt_16/T2/selectSort
 *
n^2
 		0.11 *
n^2
 		0.12 *
n^2
 		1.57 *
YES
 		0.25 *
PRIMREC
 		0.85 *
POLY
 		1.23 *
POLY
 		2.85
Brockschmidt_16/T2/send-more-money
 *
MAYBE
 		0.10 *
n^0
 		0.11 *
n^0
 		43.05 *
n^0
 		0.21 *
n^0
 		0.38 *
n^0
 		0.29 *
n^0
 		0.28
Brockschmidt_16/T2/seq
 *
n^1
 		0.11 *
n^1
 		0.12 *
n^1
 		0.33 *
YES
 		0.13 *
n^1
 		0.54 *
n^1
 		0.16 *
n^1
 		0.14
Brockschmidt_16/T2/seq2
 *
n^1
 		0.11 *
n^1
 		0.12 *
n^1
 		0.29 *
YES
 		0.14 *
n^1
 		0.17 *
n^1
 		0.17 *
n^1
 		0.18
Brockschmidt_16/T2/sequential_swap
 *
n^0
 		0.11 *
n^0
 		0.11 *
n^0
 		0.19 *
n^0
 		0.18 *
n^0
 		0.13 *
n^0
 		0.12 *
n^0
 		0.35
Brockschmidt_16/T2/simple
 *
MAYBE
 		0.14 *
MAYBE
 		0.11 *
MAYBE
 		0.56 *
NO
 		0.18 *
Maybe
 		0.34 *
Maybe
 		0.36 *
Maybe
 		0.36
Brockschmidt_16/T2/simpleWhile
 *
n^1
 		0.13 *
n^1
 		0.13 *
n^1
 		0.97 *
YES
 		0.90 *
POLY
 		0.68 *
POLY
 		1.74 *
n^1
 		1.16
Brockschmidt_16/T2/simple_array_inversion
 *
n^0
 		0.12 *
n^0
 		0.11 *
n^0
 		0.38 *
YES
 		0.16 *
n^0
 		0.59 *
n^0
 		0.19 *
n^0
 		0.16
Brockschmidt_16/T2/simple_control_on_input
 *
n^0
 		0.14 *
n^0
 		0.13 *
MAYBE
 		0.77 *
YES
 		0.15 *
Maybe
 		0.73 *
Maybe
 		0.29 *
Maybe
 		1.35
Brockschmidt_16/T2/simple_double_free
 *
n^0
 		0.11 *
n^0
 		0.10 *
n^0
 		0.04 *
n^0
 		0.45 *
n^0
 		0.13 *
n^0
 		0.29 *
n^0
 		0.15
Brockschmidt_16/T2/simple_fail
 *
n^0
 		0.12 *
n^0
 		0.11 *
n^0
 		0.05 *
n^0
 		0.15 *
n^0
 		0.15 *
n^0
 		0.15 *
n^0
 		0.17
Brockschmidt_16/T2/simple_pre
 *
n^0
 		0.11 *
n^0
 		0.11 *
n^0
 		0.07 *
n^0
 		0.14 *
n^0
 		0.13 *
n^0
 		0.14 *
n^0
 		0.48
Brockschmidt_16/T2/simple_pre1
 *
n^0
 		0.13 *
n^0
 		0.11 *
n^0
 		0.10 *
n^0
 		0.93 *
n^0
 		0.14 *
n^0
 		0.15 *
n^0
 		0.15
Brockschmidt_16/T2/simple_pre2
 *
n^0
 		0.12 *
n^0
 		0.12 *
n^0
 		0.11 *
n^0
 		0.13 *
n^0
 		0.13 *
n^0
 		0.12 *
n^0
 		0.13
Brockschmidt_16/T2/simple_pre3
 *
n^0
 		0.12 *
n^0
 		0.12 *
n^0
 		0.08 *
n^0
 		0.15 *
n^0
 		0.13 *
n^0
 		0.23 *
n^0
 		0.13
Brockschmidt_16/T2/simple_swap_call
 *
n^0
 		0.12 *
n^0
 		0.11 *
n^0
 		0.15 *
n^0
 		0.13 *
n^0
 		0.13 *
n^0
 		0.41 *
n^0
 		0.16
Brockschmidt_16/T2/slayer-1-filtered
 *
MAYBE
 		0.12 *
MAYBE
 		0.13 *
MAYBE
 		5.48 *
YES
 		0.22 *
Maybe
 		23.16 *
Maybe
 		14.08 *
Maybe
 		8.33
Brockschmidt_16/T2/slayer-1-rf
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
MAYBE
 		11.38 *
YES
 		0.42 *
Maybe
 		20.89 *
Maybe
 		26.06 *
Maybe
 		17.88
Brockschmidt_16/T2/slayer-2-filtered
 *
n^0
 		0.12 *
n^0
 		0.14 *
n^0
 		0.46 *
YES
 		0.20 *
n^0
 		0.28 *
n^0
 		0.22 *
n^0
 		0.16
Brockschmidt_16/T2/slayer-3
 *
MAYBE
 		0.16 *
MAYBE
 		0.13 *
TIMEOUT
 60.00 *
TIMEOUT
 61.01 *
TIMEOUT
 61.00 *
TIMEOUT
 61.00 *
TIMEOUT
 61.00
Brockschmidt_16/T2/slayer-3-filtered
 *
MAYBE
 		0.11 *
MAYBE
 		0.10 *
MAYBE
 		48.41 *
NO
 		1.30 *
Maybe
 		1.51 *
Maybe
 		1.48 *
Maybe
 		7.04
Brockschmidt_16/T2/slayer-3-new
 *
MAYBE
 		0.12 *
MAYBE
 		0.11 *
TIMEOUT
 60.02 *
TIMEOUT
 61.00 *
TIMEOUT
 61.00 *
TIMEOUT
 61.00 *
TIMEOUT
 61.00
Brockschmidt_16/T2/slayer-4-filtered
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
TIMEOUT
 60.05 *
NO
 		21.12 *
Maybe
 		23.68 *
Maybe
 		23.90 *
Maybe
 		41.06
Brockschmidt_16/T2/slayer-n1
 *
MAYBE
 		0.11 *
MAYBE
 		0.14 *
MAYBE
 		7.12 *
NO
 		0.70 *
Maybe
 		0.75 *
Maybe
 		0.74 *
Maybe
 		2.07
Brockschmidt_16/T2/slayer-n1-filtered
 *
MAYBE
 		0.12 *
MAYBE
 		0.14 *
MAYBE
 		2.73 *
NO
 		0.36 *
Maybe
 		0.19 *
Maybe
 		0.39 *
Maybe
 		0.39
Brockschmidt_16/T2/slayer-n2
 *
MAYBE
 		0.13 *
MAYBE
 		0.13 *
MAYBE
 		0.70 *
NO
 		0.13 *
Maybe
 		0.34 *
Maybe
 		0.14 *
Maybe
 		0.16
Brockschmidt_16/T2/slayer-n2-filtered
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		0.70 *
NO
 		0.16 *
Maybe
 		0.15 *
Maybe
 		0.17 *
Maybe
 		0.16
Brockschmidt_16/T2/slayer-n3-filtered
 *
n^0
 		0.11 *
n^0
 		0.10 *
n^0
 		0.81 *
n^0
 		0.17 *
n^0
 		0.25 *
n^0
 		0.19 *
n^0
 		0.13
Brockschmidt_16/T2/slayer-n5-filtered
 *
MAYBE
 		0.11 *
MAYBE
 		0.10 *
MAYBE
 		19.65 *
NO
 		1.14 *
Maybe
 		0.88 *
Maybe
 		1.74 *
Maybe
 		4.34
Brockschmidt_16/T2/smagilla-succeed
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		3.57 *
NO
 		0.40 *
Maybe
 		0.16 *
Maybe
 		0.22 *
Maybe
 		0.66
Brockschmidt_16/T2/smagillb-succeed
 *
MAYBE
 		0.13 *
MAYBE
 		0.11 *
MAYBE
 		1.52 *
NO
 		0.16 *
Maybe
 		0.16 *
Maybe
 		0.59 *
Maybe
 		0.45
Brockschmidt_16/T2/smagillc-fail
 *
MAYBE
 		0.14 *
MAYBE
 		0.12 *
MAYBE
 		1.73 *
NO
 		0.18 *
Maybe
 		0.53 *
Maybe
 		0.20 *
Maybe
 		0.61
Brockschmidt_16/T2/smagillc-succeed
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		1.95 *
NO
 		0.19 *
Maybe
 		0.19 *
Maybe
 		0.44 *
Maybe
 		0.29
Brockschmidt_16/T2/sort
 *
n^0
 		0.11 *
n^0
 		0.13 *
n^0
 		4.44 *
YES
 		2.68 *
n^0
 		2.66 *
n^0
 		3.87 *
n^0
 		27.77
Brockschmidt_16/T2/spctrm
 *
n^1
 		0.10 *
n^1
 		0.15 *
n^1
 		11.21 *
YES
 		0.41 *
Maybe
 		59.41 *
PRIMREC
 		17.71 *
n^1
 		3.37
Brockschmidt_16/T2/spctrm.c.i.spctrm.pl.t2.fixed
 *
n^1
 		0.12 *
n^1
 		0.13 *
n^1
 		11.77 *
YES
 		0.44 *
Maybe
 		59.22 *
PRIMREC
 		18.02 *
n^1
 		1.21
Brockschmidt_16/T2/spctrm.c.i.spctrm.pl.t2.nor.t2.rlgfixed
 *
n^1
 		0.12 *
n^1
 		0.12 *
n^1
 		11.34 *
YES
 		1.96 *
Maybe
 		59.28 *
PRIMREC
 		21.03 *
n^1
 		1.26
Brockschmidt_16/T2/spiral
 *
n^1
 		0.11 *
n^2
 		0.11 *
n^2
 		6.30 *
YES
 		2.21 *
n^1
 		0.84 *
n^1
 		3.83 *
n^1
 		2.54
Brockschmidt_16/T2/st88
 *
MAYBE
 		0.12 *
MAYBE
 		0.13 *
MAYBE
 		2.64 *
NO
 		0.18 *
Maybe
 		0.25 *
Maybe
 		0.29 *
Maybe
 		0.50
Brockschmidt_16/T2/st88.bug
 *
MAYBE
 		0.12 *
MAYBE
 		0.13 *
MAYBE
 		2.22 *
NO
 		0.38 *
Maybe
 		0.20 *
Maybe
 		0.25 *
Maybe
 		0.69
Brockschmidt_16/T2/statemate
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
TIMEOUT
 60.00 *
NO
 		34.93 *
Maybe
 		59.97 *
Maybe
 		59.90 *
Maybe
 		60.60
Brockschmidt_16/T2/stored
 *
MAYBE
 		0.11 *
MAYBE
 		0.10 *
MAYBE
 		2.35 *
NO
 		0.19 *
Maybe
 		0.18 *
Maybe
 		0.39 *
Maybe
 		1.42
Brockschmidt_16/T2/streamserver-succeed
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		23.66 *
NO
 		1.40 *
Maybe
 		0.61 *
Maybe
 		2.01 *
Maybe
 		5.34
Brockschmidt_16/T2/streamserver.bug
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
MAYBE
 		37.05 *
NO
 		2.70 *
Maybe
 		1.17 *
Maybe
 		4.16 *
Maybe
 		10.73
Brockschmidt_16/T2/subpoly_crash
 *
MAYBE
 		0.13 *
MAYBE
 		0.12 *
MAYBE
 		0.84 *
NO
 		0.16 *
Maybe
 		0.13 *
Maybe
 		0.13 *
Maybe
 		0.15
Brockschmidt_16/T2/sudoku
 *
MAYBE
 		0.13 *
MAYBE
 		0.12 *
TIMEOUT
 60.05 *
YES
 		8.83 *
Maybe
 		59.25 *
Maybe
 		59.58 *
Maybe
 		58.12
Brockschmidt_16/T2/sumit
 *
n^1
 		0.13 *
MAYBE
 		0.12 *
MAYBE
 		2.05 *
NO
 		0.19 *
Maybe
 		0.18 *
Maybe
 		0.43 *
Maybe
 		0.33
Brockschmidt_16/T2/svdcmp
 *
MAYBE
 		0.14 *
MAYBE
 		0.12 *
TIMEOUT
 60.01 *
YES
 		2.39 *
Maybe
 		60.02 *
Maybe
 		59.33 *
Maybe
 		58.25
Brockschmidt_16/T2/svdcmp.c.i.svdcmp.pl.t2.fixed
 *
MAYBE
 		0.13 *
MAYBE
 		0.13 *
TIMEOUT
 60.00 *
YES
 		3.39 *
Maybe
 		60.78 *
Maybe
 		59.33 *
Maybe
 		58.12
Brockschmidt_16/T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed
 *
MAYBE
 		0.12 *
MAYBE
 		0.14 *
TIMEOUT
 60.05 *
YES
 		2.57 *
Maybe
 		59.30 *
Maybe
 		59.35 *
Maybe
 		56.52
Brockschmidt_16/T2/toeplz
 *
MAYBE
 		0.12 *
MAYBE
 		0.13 *
MAYBE
 		5.73 *
YES
 		0.39 *
Maybe
 		6.11 *
Maybe
 		59.17 *
Maybe
 		32.94
Brockschmidt_16/T2/toeplz.c.i.toeplz.pl.t2.fixed
 *
n^2
 		0.11 *
n^1
 		0.12 *
n^2
 		10.35 *
YES
 		0.42 *
Maybe
 		59.23 *
Maybe
 		59.21 *
n^0
 		57.15
Brockschmidt_16/T2/toeplz.c.i.toeplz.pl.t2.nor.t2.rlgfixed
 *
MAYBE
 		0.14 *
MAYBE
 		0.13 *
MAYBE
 		5.65 *
YES
 		0.54 *
Maybe
 		6.79 *
Maybe
 		59.20 *
Maybe
 		39.82
Brockschmidt_16/T2/tqli
 *
MAYBE
 		0.12 *
MAYBE
 		0.14 *
MAYBE
 		13.54 *
NO
 		3.15 *
Maybe
 		0.83 *
Maybe
 		2.50 *
Maybe
 		1.88
Brockschmidt_16/T2/tqli.c.i.tqli.pl.t2.fixed
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		16.75 *
NO
 		0.73 *
Maybe
 		0.88 *
Maybe
 		1.03 *
Maybe
 		3.69
Brockschmidt_16/T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed
 *
MAYBE
 		0.14 *
MAYBE
 		0.11 *
MAYBE
 		13.16 *
NO
 		0.57 *
Maybe
 		2.69 *
Maybe
 		0.75 *
Maybe
 		1.20
Brockschmidt_16/T2/traverse
 *
MAYBE
 		0.15 *
MAYBE
 		0.12 *
MAYBE
 		31.12 *
YES
 		1.50 *
Maybe
 		59.22 *
Maybe
 		59.25 *
Maybe
 		57.70
Brockschmidt_16/T2/traverse2
 *
MAYBE
 		0.14 *
MAYBE
 		0.11 *
TIMEOUT
 60.01 *
YES
 		22.81 *
Maybe
 		59.69 *
Maybe
 		59.78 *
Maybe
 		59.87
Brockschmidt_16/T2/traverse_seg
 *
MAYBE
 		0.14 *
MAYBE
 		0.14 *
MAYBE
 		38.20 *
YES
 		1.93 *
Maybe
 		59.31 *
Maybe
 		59.44 *
Maybe
 		56.81
Brockschmidt_16/T2/traverse_seg2
 *
MAYBE
 		0.14 *
MAYBE
 		0.12 *
MAYBE
 		51.95 *
YES
 		3.90 *
Maybe
 		2.83 *
Maybe
 		59.24 *
Maybe
 		57.14
Brockschmidt_16/T2/traverse_twice
 *
MAYBE
 		0.10 *
MAYBE
 		0.11 *
MAYBE
 		55.09 *
YES
 		3.04 *
Maybe
 		59.29 *
Maybe
 		59.42 *
Maybe
 		57.54
Brockschmidt_16/T2/two_arrays
 *
n^0
 		0.12 *
n^0
 		0.11 *
n^0
 		2.50 *
YES
 		0.34 *
n^0
 		0.71 *
n^0
 		0.70 *
n^0
 		1.08
Brockschmidt_16/T2/two_arrays1
 *
n^0
 		0.12 *
n^0
 		0.15 *
n^0
 		4.23 *
YES
 		0.28 *
n^0
 		1.44 *
n^0
 		1.22 *
n^0
 		4.23
Brockschmidt_16/T2/two_arrays2
 *
n^1
 		0.10 *
n^1
 		0.10 *
n^1
 		3.62 *
YES
 		0.30 *
POLY
 		2.27 *
POLY
 		2.62 *
n^1
 		1.46
Brockschmidt_16/T2/two_arrays6
 *
n^1
 		0.15 *
n^1
 		0.12 *
n^1
 		4.17 *
YES
 		0.28 *
POLY
 		1.79 *
POLY
 		3.21 *
n^1
 		0.79
Brockschmidt_16/T2/ud
 *
n^0
 		0.12 *
n^0
 		0.13 *
n^0
 		5.16 *
YES
 		1.30 *
POLY
 		13.08 *
Maybe
 		59.22 *
n^1
 		57.47
Brockschmidt_16/T2/vmcai_bytes
 *
n^0
 		0.13 *
n^0
 		0.12 *
n^0
 		0.05 *
n^0
 		0.14 *
n^0
 		0.14 *
n^0
 		0.13 *
n^0
 		0.13
Brockschmidt_16/T2/vmcai_struct
 *
n^0
 		0.11 *
n^0
 		0.10 *
n^0
 		0.04 *
n^0
 		0.13 *
n^0
 		0.17 *
n^0
 		0.15 *
n^0
 		0.15
Brockschmidt_16/T2/w1
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
MAYBE
 		0.41 *
NO
 		0.12 *
Maybe
 		0.16 *
Maybe
 		0.14 *
Maybe
 		0.18
Brockschmidt_16/T2/w2_nt
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		5.14 *
NO
 		0.60 *
Maybe
 		0.24 *
Maybe
 		0.71 *
Maybe
 		1.86
Brockschmidt_16/T2/walk
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		2.32 *
NO
 		0.31 *
Maybe
 		0.46 *
Maybe
 		0.32 *
Maybe
 		0.60
Brockschmidt_16/T2/wrong_loop
 *
MAYBE
 		0.11 *
MAYBE
 		0.13 *
MAYBE
 		1.08 *
NO
 		0.37 *
Maybe
 		0.18 *
Maybe
 		0.98 *
Maybe
 		0.83
Brockschmidt_16/T2/wtf
 *
n^1
 		0.12 *
n^1
 		0.11 *
n^1
 		9.34 *
YES
 		1.14 *
Maybe
 		0.47 *
PRIMREC
 		14.04 *
PRIMREC
 		56.44
Brockschmidt_16/T2/zeroconf
 *
MAYBE
 		0.12 *
MAYBE
 		0.12 *
MAYBE
 		35.58 *
NO
 		1.68 *
Maybe
 		0.51 *
Maybe
 		2.47 *
Maybe
 		5.61
Brockschmidt_16/T2/zeroconf_withassume
 *
MAYBE
 		0.13 *
MAYBE
 		0.12 *
MAYBE
 		35.34 *
NO
 		1.96 *
Maybe
 		0.83 *
Maybe
 		2.48 *
Maybe
 		5.58
Brockschmidt_16/c-examples/ABC/ex01
 *
n^1
 		0.16 *
n^1
 		0.18 *
n^1
 		0.38 *
YES
 		0.15 *
n^1
 		0.21 *
n^1
 		0.18 *
n^1
 		0.17
Brockschmidt_16/c-examples/ABC/ex02
 *
n^2
 		0.32 *
n^2
 		0.32 *
n^2
 		0.82 *
YES
 		0.17 *
POLY
 		0.44 *
POLY
 		0.73 *
POLY
 		0.38
Brockschmidt_16/c-examples/ABC/ex03
 *
n^4
 		0.24 *
n^6
 		0.26 *
n^6
 		1.80 *
YES
 		0.27 *
PRIMREC
 		0.77 *
PRIMREC
 		1.30 *
POLY
 		1.60
Brockschmidt_16/c-examples/ABC/ex04
 *
MAYBE
 		0.21 *
MAYBE
 		0.20 *
MAYBE
 		3.51 *
NO
 		0.42 *
Maybe
 		0.24 *
Maybe
 		0.46 *
Maybe
 		1.54
Brockschmidt_16/c-examples/ABC/ex05
 *
n^2
 		0.23 *
n^2
 		0.21 *
n^2
 		0.75 *
YES
 		0.18 *
POLY
 		0.64 *
POLY
 		0.28 *
POLY
 		0.75
Brockschmidt_16/c-examples/ABC/ex06
 *
n^2
 		0.18 *
n^2
 		0.17 *
n^2
 		0.77 *
YES
 		0.36 *
POLY
 		0.28 *
PRIMREC
 		0.71 *
POLY
 		0.50
Brockschmidt_16/c-examples/ABC/ex07
 *
n^2
 		0.15 *
n^2
 		0.14 *
n^2
 		0.90 *
YES
 		0.18 *
POLY
 		0.46 *
POLY
 		0.30 *
POLY
 		0.50
Brockschmidt_16/c-examples/ABC/ex08
 *
n^2
 		0.22 *
n^2
 		0.19 *
n^2
 		0.72 *
YES
 		0.57 *
POLY
 		0.44 *
POLY
 		0.69 *
POLY
 		1.01
Brockschmidt_16/c-examples/ABC/ex09
 *
n^2
 		0.21 *
n^2
 		0.17 *
n^2
 		0.89 *
YES
 		0.18 *
POLY
 		0.27 *
POLY
 		0.51 *
POLY
 		0.78
Brockschmidt_16/c-examples/ABC/ex10
 *
n^2
 		0.20 *
n^2
 		0.22 *
n^2
 		0.76 *
YES
 		0.21 *
POLY
 		0.24 *
POLY
 		0.55 *
POLY
 		0.43
Brockschmidt_16/c-examples/ABC/ex11
 *
n^2
 		0.22 *
n^2
 		0.20 *
n^2
 		0.76 *
YES
 		0.18 *
POLY
 		0.43 *
POLY
 		0.26 *
POLY
 		0.60
Brockschmidt_16/c-examples/ABC/ex12
 *
n^1
 		0.34 *
n^2
 		0.33 *
n^2
 		0.72 *
YES
 		0.17 *
POLY
 		0.46 *
n^1
 		0.23 *
n^1
 		0.54
Brockschmidt_16/c-examples/ABC/ex13
 *
n^3
 		0.39 *
n^4
 		0.38 *
n^4
 		1.98 *
YES
 		0.24 *
POLY
 		0.49 *
POLY
 		0.53 *
POLY
 		1.25
Brockschmidt_16/c-examples/ABC/ex14
 *
n^4
 		0.13 *
n^8
 		0.12 *
n^8
 		1.95 *
YES
 		0.28 *
POLY
 		0.94 *
PRIMREC
 		1.20 *
POLY
 		1.24
Brockschmidt_16/c-examples/ABC/ex15
 *
MAYBE
 		0.24 *
MAYBE
 		0.25 *
MAYBE
 		5.01 *
NO
 		0.45 *
Maybe
 		0.22 *
Maybe
 		0.45 *
Maybe
 		1.63
Brockschmidt_16/c-examples/Loopus/Example1
 *
n^1
 		0.18 *
n^1
 		0.13 *
n^1
 		3.41 *
YES
 		0.24 *
Maybe
 		0.22 *
POLY
 		0.62 *
n^1
 		0.55
Brockschmidt_16/c-examples/Loopus/Example2
 *
n^1
 		0.17 *
MAYBE
 		0.15 *
MAYBE
 		20.96 *
NO
 		0.64 *
Maybe
 		0.93 *
Maybe
 		0.90 *
Maybe
 		2.22
Brockschmidt_16/c-examples/Loopus/Example3
 *
n^1
 		0.18 *
n^1
 		0.20 *
MAYBE
 		2.65 *
NO
 		0.16 *
Maybe
 		0.17 *
Maybe
 		0.17 *
Maybe
 		0.50
Brockschmidt_16/c-examples/Rank/ex1
 *
n^2
 		0.12 *
n^2
 		0.11 *
MAYBE
 		4.22 *
YES
 		0.26 *
Maybe
 		1.38 *
PRIMREC
 		1.22 *
PRIMREC
 		2.76
Brockschmidt_16/c-examples/Rank/ex2
 *
n^1
 		0.11 *
n^1
 		0.11 *
n^1
 		4.00 *
YES
 		0.24 *
PRIMREC
 		0.41 *
Maybe
 		59.22 *
n^1
 		0.42
Brockschmidt_16/c-examples/Rank/ex3
 *
n^1
 		0.14 *
n^1
 		0.13 *
n^1
 		5.28 *
YES
 		0.24 *
PRIMREC
 		0.58 *
Maybe
 		59.52 *
n^1
 		1.26
Brockschmidt_16/c-examples/SPEED/CAV09/ex1
 *
n^1
 		0.12 *
n^1
 		0.11 *
n^1
 		2.25 *
YES
 		1.34 *
POLY
 		2.05 *
POLY
 		0.85 *
n^1
 		0.61
Brockschmidt_16/c-examples/SPEED/CAV09/ex2
 *
n^2
 		0.13 *
n^2
 		0.11 *
n^2
 		2.13 *
YES
 		1.75 *
Maybe
 		0.56 *
POLY
 		0.82 *
POLY
 		0.83
Brockschmidt_16/c-examples/SPEED/CAV09/ex3
 *
n^1
 		0.12 *
n^1
 		0.12 *
n^1
 		1.09 *
YES
 		1.36 *
PRIMREC
 		1.43 *
POLY
 		2.07 *
n^1
 		0.43
Brockschmidt_16/c-examples/SPEED/PLDI09/Example2
 *
n^1
 		0.11 *
n^1
 		0.11 *
n^1
 		2.04 *
YES
 		1.54 *
Maybe
 		0.18 *
POLY
 		0.89 *
n^1
 		0.55
Brockschmidt_16/c-examples/SPEED/PLDI09/Example3
 *
n^2
 		0.13 *
n^2
 		0.14 *
n^2
 		2.60 *
YES
 		0.64 *
Maybe
 		0.20 *
POLY
 		1.42 *
POLY
 		0.87
Brockschmidt_16/c-examples/SPEED/PLDI09/Example4
 *
MAYBE
 		0.12 *
MAYBE
 		0.14 *
MAYBE
 		2.27 *
NO
 		0.56 *
Maybe
 		0.30 *
Maybe
 		0.41 *
Maybe
 		0.98
Brockschmidt_16/c-examples/SPEED/PLDI09/Example5
 *
n^1
 		0.11 *
n^1
 		0.11 *
MAYBE
 		2.07 *
NO
 		0.19 *
Maybe
 		0.22 *
Maybe
 		0.42 *
Maybe
 		0.33
Brockschmidt_16/c-examples/SPEED/PLDI09/Example6
 *
n^1
 		0.12 *
n^1
 		0.11 *
n^1
 		2.13 *
YES
 		0.25 *
PRIMREC
 		4.02 *
PRIMREC
 		3.61 *
n^1
 		0.56
Brockschmidt_16/c-examples/SPEED/PLDI09/NestedLoop
 *
n^2
 		0.10 *
n^2
 		0.10 *
n^2
 		7.10 *
YES
 		0.97 *
PRIMREC
 		1.23 *
POLY
 		3.47 *
POLY
 		10.27
Brockschmidt_16/c-examples/SPEED/PLDI09/cyclic
 *
n^1
 		0.13 *
MAYBE
 		0.11 *
MAYBE
 		2.44 *
NO
 		0.36 *
Maybe
 		0.50 *
Maybe
 		1.22 *
Maybe
 		0.71
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex1
 *
n^2
 		0.11 *
n^2
 		0.12 *
n^2
 		3.91 *
YES
 		0.40 *
PRIMREC
 		1.27 *
POLY
 		1.93 *
POLY
 		1.74
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex2
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		2.72 *
NO
 		0.77 *
Maybe
 		0.96 *
Maybe
 		1.02 *
Maybe
 		1.10
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex3
 *
MAYBE
 		0.12 *
MAYBE
 		0.11 *
MAYBE
 		2.09 *
NO
 		0.75 *
Maybe
 		0.78 *
Maybe
 		0.39 *
Maybe
 		0.83
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex4
 *
n^1
 		0.13 *
n^1
 		0.12 *
n^1
 		3.40 *
YES
 		0.82 *
Maybe
 		1.37 *
POLY
 		1.21 *
POLY
 		1.75
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex5
 *
MAYBE
 		0.13 *
MAYBE
 		0.11 *
MAYBE
 		4.44 *
NO
 		0.22 *
Maybe
 		1.19 *
Maybe
 		1.05 *
Maybe
 		1.52
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex6
 *
n^1
 		0.11 *
n^1
 		0.12 *
n^1
 		1.70 *
YES
 		0.54 *
Maybe
 		0.57 *
POLY
 		1.81 *
n^1
 		0.19
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex7
 *
n^1
 		0.12 *
n^2
 		0.11 *
MAYBE
 		1.95 *
NO
 		0.53 *
Maybe
 		0.54 *
Maybe
 		0.18 *
Maybe
 		0.64
Brockschmidt_16/c-examples/SPEED/POPL09/Dis1
 *
n^1
 		0.14 *
n^1
 		0.12 *
n^1
 		1.76 *
YES
 		0.16 *
POLY
 		0.50 *
POLY
 		0.47 *
n^1
 		0.22
Brockschmidt_16/c-examples/SPEED/POPL09/Dis2
 *
n^1
 		0.10 *
n^1
 		0.10 *
n^1
 		1.58 *
YES
 		0.19 *
Maybe
 		0.19 *
POLY
 		0.28 *
n^1
 		0.39
Brockschmidt_16/c-examples/SPEED/POPL09/NestedMultiple
 *
n^1
 		0.12 *
n^1
 		0.13 *
n^1
 		2.73 *
YES
 		0.18 *
PRIMREC
 		0.51 *
PRIMREC
 		0.31 *
n^1
 		0.20
Brockschmidt_16/c-examples/SPEED/POPL09/NestedMultipleDep
 *
n^2
 		0.12 *
n^2
 		0.14 *
n^2
 		1.03 *
YES
 		0.18 *
POLY
 		0.30 *
POLY
 		0.36 *
POLY
 		0.75
Brockschmidt_16/c-examples/SPEED/POPL09/NestedSingle
 *
n^1
 		0.13 *
n^1
 		0.14 *
n^1
 		0.84 *
YES
 		0.42 *
n^1
 		0.25 *
POLY
 		0.53 *
n^1
 		0.85
Brockschmidt_16/c-examples/SPEED/POPL09/SequentialSingle
 *
n^1
 		0.12 *
n^1
 		0.13 *
n^1
 		0.78 *
YES
 		0.17 *
POLY
 		0.29 *
POLY
 		0.50 *
n^1
 		0.24
Brockschmidt_16/c-examples/SPEED/POPL09/SimpleMultiple
 *
n^1
 		0.14 *
n^1
 		0.13 *
n^1
 		2.03 *
YES
 		0.19 *
POLY
 		0.26 *
POLY
 		0.31 *
n^1
 		0.26
Brockschmidt_16/c-examples/SPEED/POPL09/SimpleMultipleDep
 *
n^2
 		0.11 *
n^2
 		0.11 *
n^2
 		2.01 *
YES
 		0.17 *
Maybe
 		0.38 *
POLY
 		0.52 *
POLY
 		1.20
Brockschmidt_16/c-examples/SPEED/POPL09/SimpleSingle
 *
n^1
 		0.13 *
n^1
 		0.12 *
n^1
 		0.35 *
YES
 		0.22 *
n^1
 		0.19 *
n^1
 		0.29 *
n^1
 		0.14
Brockschmidt_16/c-examples/SPEED/POPL09/SimpleSingle2
 *
n^1
 		0.12 *
n^1
 		0.11 *
n^1
 		1.15 *
YES
 		0.22 *
PRIMREC
 		0.34 *
POLY
 		0.64 *
n^1
 		0.32
Brockschmidt_16/c-examples/WTC/aaron2
 *
n^1
 		0.23 *
n^1
 		0.25 *
n^1
 		1.39 *
YES
 		0.19 *
n^1
 		0.46 *
POLY
 		0.29 *
POLY
 		0.50
Brockschmidt_16/c-examples/WTC/ax
 *
n^2
 		0.17 *
n^2
 		0.15 *
n^2
 		0.79 *
YES
 		0.37 *
POLY
 		0.25 *
POLY
 		0.33 *
POLY
 		0.37
Brockschmidt_16/c-examples/WTC/complex
 *
n^2
 		0.11 *
n^1
 		0.14 *
n^1
 		3.32 *
YES
 		0.18 *
PRIMREC
 		1.22 *
PRIMREC
 		0.59 *
n^1
 		0.20
Brockschmidt_16/c-examples/WTC/counterex1b
 *
MAYBE
 		0.25 *
MAYBE
 		0.25 *
MAYBE
 		4.78 *
YES
 		0.24 *
PRIMREC
 		0.55 *
PRIMREC
 		1.49 *
PRIMREC
 		2.85
Brockschmidt_16/c-examples/WTC/cousot9
 *
MAYBE
 		0.19 *
MAYBE
 		0.18 *
MAYBE
 		1.81 *
YES
 		0.19 *
Maybe
 		0.21 *
Maybe
 		0.38 *
Maybe
 		0.44
Brockschmidt_16/c-examples/WTC/easy1
 *
n^0
 		0.14 *
n^0
 		0.13 *
n^0
 		0.68 *
YES
 		0.16 *
n^0
 		0.43 *
n^0
 		0.24 *
n^1
 		0.18
Brockschmidt_16/c-examples/WTC/easy2
 *
n^1
 		0.16 *
n^1
 		0.16 *
n^1
 		0.30 *
YES
 		0.17 *
n^1
 		0.35 *
n^1
 		0.23 *
n^1
 		0.16
Brockschmidt_16/c-examples/WTC/exmini
 *
n^1
 		0.20 *
n^1
 		0.15 *
n^1
 		0.56 *
YES
 		0.15 *
n^1
 		0.23 *
n^1
 		0.22 *
n^1
 		0.21
Brockschmidt_16/c-examples/WTC/gcd
 *
n^1
 		0.12 *
MAYBE
 		0.14 *
MAYBE
 		2.53 *
NO
 		0.94 *
Maybe
 		0.19 *
Maybe
 		0.20 *
Maybe
 		0.23
Brockschmidt_16/c-examples/WTC/insertsort
 *
n^2
 		0.13 *
n^2
 		0.13 *
n^2
 		1.20 *
YES
 		0.21 *
PRIMREC
 		0.39 *
POLY
 		0.42 *
POLY
 		1.02
Brockschmidt_16/c-examples/WTC/loops
 *
n^2
 		0.12 *
n^2
 		0.14 *
n^2
 		2.40 *
YES
 		0.27 *
Maybe
 		0.22 *
POLY
 		0.61 *
POLY
 		0.77
Brockschmidt_16/c-examples/WTC/nd_loop
 *
n^0
 		0.13 *
n^0
 		0.13 *
n^0
 		0.48 *
YES
 		0.14 *
n^0
 		0.20 *
n^0
 		0.60 *
n^0
 		0.18
Brockschmidt_16/c-examples/WTC/ndecr
 *
n^1
 		0.16 *
n^1
 		0.15 *
n^1
 		0.31 *
YES
 		0.35 *
n^1
 		0.19 *
n^1
 		0.40 *
n^1
 		0.16
Brockschmidt_16/c-examples/WTC/nestedLoop
 *
n^2
 		0.33 *
n^3
 		0.23 *
n^2
 		5.35 *
YES
 		0.65 *
PRIMREC
 		0.86 *
POLY
 		1.31 *
POLY
 		2.07
Brockschmidt_16/c-examples/WTC/perfect
 *
n^2
 		0.26 *
n^2
 		0.19 *
n^2
 		5.76 *
YES
 		0.22 *
Maybe
 		0.23 *
POLY
 		0.78 *
POLY
 		0.92
Brockschmidt_16/c-examples/WTC/random1d
 *
n^1
 		0.12 *
n^1
 		0.15 *
n^1
 		0.65 *
YES
 		0.18 *
n^1
 		0.45 *
PRIMREC
 		0.34 *
PRIMREC
 		1.01
Brockschmidt_16/c-examples/WTC/random2d
 *
n^1
 		0.24 *
n^1
 		0.27 *
n^1
 		2.83 *
YES
 		0.58 *
n^1
 		0.42 *
POLY
 		2.20 *
n^1
 		0.59
Brockschmidt_16/c-examples/WTC/realbubble
 *
n^2
 		0.21 *
n^2
 		0.23 *
n^2
 		1.49 *
YES
 		0.24 *
POLY
 		0.32 *
POLY
 		0.39 *
POLY
 		0.58
Brockschmidt_16/c-examples/WTC/realheapsort
 *
n^2
 		0.19 *
n^2
 		0.24 *
n^2
 		8.40 *
YES
 		0.30 *
Maybe
 		0.61 *
POLY
 		0.73 *
POLY
 		1.55
Brockschmidt_16/c-examples/WTC/realheapsort_step1
 *
n^2
 		0.18 *
n^2
 		0.14 *
n^2
 		2.77 *
YES
 		0.18 *
PRIMREC
 		0.41 *
POLY
 		0.31 *
POLY
 		1.15
Brockschmidt_16/c-examples/WTC/realheapsort_step2
 *
n^2
 		0.13 *
n^2
 		0.12 *
n^2
 		4.80 *
YES
 		0.25 *
Maybe
 		0.23 *
POLY
 		0.46 *
POLY
 		0.76
Brockschmidt_16/c-examples/WTC/realselect
 *
n^2
 		0.13 *
n^2
 		0.13 *
n^2
 		0.97 *
YES
 		0.18 *
POLY
 		0.32 *
POLY
 		0.59 *
POLY
 		0.79
Brockschmidt_16/c-examples/WTC/realshellsort
 *
n^3
 		0.14 *
n^3
 		0.14 *
n^3
 		5.93 *
YES
 		0.27 *
Maybe
 		1.08 *
POLY
 		1.24 *
POLY
 		1.39
Brockschmidt_16/c-examples/WTC/rsd
 *
n^2
 		0.12 *
n^2
 		0.12 *
MAYBE
 		3.45 *
NO
 		0.33 *
Maybe
 		0.19 *
Maybe
 		0.40 *
Maybe
 		0.42
Brockschmidt_16/c-examples/WTC/sipma91
 *
n^1
 		0.18 *
n^2
 		0.19 *
n^2
 		5.74 *
YES
 		0.21 *
Maybe
 		0.44 *
POLY
 		0.68 *
POLY
 		1.40
Brockschmidt_16/c-examples/WTC/sipmabubble
 *
n^2
 		0.14 *
n^2
 		0.10 *
n^2
 		0.77 *
YES
 		0.37 *
POLY
 		0.27 *
POLY
 		0.51 *
POLY
 		0.36
Brockschmidt_16/c-examples/WTC/speedFails4
 *
MAYBE
 		0.27 *
MAYBE
 		0.21 *
MAYBE
 		3.57 *
NO
 		0.19 *
Maybe
 		0.34 *
Maybe
 		0.20 *
Maybe
 		0.24
Brockschmidt_16/c-examples/WTC/speedpldi2
 *
n^1
 		0.16 *
n^2
 		0.16 *
n^2
 		2.10 *
YES
 		0.18 *
Maybe
 		0.33 *
POLY
 		0.30 *
POLY
 		0.47
Brockschmidt_16/c-examples/WTC/speedpldi3
 *
n^2
 		0.15 *
n^2
 		0.11 *
n^2
 		2.52 *
YES
 		0.20 *
Maybe
 		0.31 *
POLY
 		0.39 *
POLY
 		0.88
Brockschmidt_16/c-examples/WTC/speedpldi4
 *
n^1
 		0.21 *
n^1
 		0.26 *
n^1
 		1.79 *
YES
 		0.17 *
Maybe
 		0.42 *
POLY
 		0.26 *
n^1
 		0.22
Brockschmidt_16/c-examples/WTC/terminate
 *
n^1
 		0.11 *
n^1
 		0.12 *
n^1
 		0.58 *
YES
 		0.17 *
n^1
 		0.45 *
n^1
 		0.22 *
n^1
 		0.37
Brockschmidt_16/c-examples/WTC/wcet1
 *
n^1
 		0.13 *
n^1
 		0.14 *
n^1
 		1.45 *
YES
 		0.61 *
n^1
 		0.31 *
n^1
 		5.45 *
n^1
 		5.76
Brockschmidt_16/c-examples/WTC/wcet2
 *
n^1
 		0.26 *
n^1
 		0.27 *
n^1
 		0.72 *
YES
 		0.36 *
POLY
 		0.49 *
POLY
 		0.26 *
POLY
 		0.65
Brockschmidt_16/c-examples/WTC/while2
 *
n^2
 		0.17 *
n^2
 		0.16 *
n^2
 		0.72 *
YES
 		0.17 *
POLY
 		0.27 *
POLY
 		0.28 *
POLY
 		0.36
Brockschmidt_16/c-examples/WTC/wise
 *
n^1
 		0.14 *
n^1
 		0.13 *
n^1
 		1.92 *
YES
 		0.17 *
Maybe
 		0.19 *
POLY
 		0.27 *
n^1
 		0.82
Brockschmidt_16/costa/RAML/rationalPotential
 *
n^1
 		0.13 *
n^1
 		0.11 *
n^1
 		0.63 *
YES
 		0.16 *
n^1
 		0.25 *
n^1
 		0.24 *
n^1
 		0.14
Brockschmidt_16/costa/misc/ack
 *
MAYBE
 		0.11 *
MAYBE
 		0.11 *
MAYBE
 		0.76 *
YES
 		0.16 *
Maybe
 		0.49 *
Maybe
 		0.50 *
Maybe
 		0.32
Brockschmidt_16/costa/misc/direct_n_log_n
 *
n^1
 		0.11 *
n^1
 		0.11 *
n^1
 		0.57 *
YES
 		0.15 *
Maybe
 		0.26 *
Maybe
 		0.25 *
n^1
 		0.19
Brockschmidt_16/costa/misc/linear
 *
n^1
 		0.11 *
n^1
 		0.11 *
n^1
 		0.29 *
YES
 		0.15 *
n^1
 		0.17 *
n^1
 		0.16 *
n^1
 		0.14
Brockschmidt_16/costa/misc/logarithmic
 *
n^0
 		0.12 *
n^0
 		0.12 *
n^0
 		0.14 *
n^0
 		0.13 *
n^0
 		0.31 *
n^0
 		0.14 *
n^0
 		0.14
Brockschmidt_16/costa/misc/merge
 *
n^1
 		0.11 *
n^1
 		0.15 *
n^1
 		0.56 *
YES
 		0.14 *
POLY
 		0.21 *
POLY
 		0.21 *
n^1
 		0.14
Brockschmidt_16/costa/misc/mspe
 *
n^1
 		0.14 *
n^1
 		0.11 *
n^1
 		2.51 *
YES
 		0.24 *
POLY
 		0.54 *
POLY
 		0.95 *
n^1
 		0.32
Flores-Montoya_16/Loopus2011_ex1.c
 *
n^1
 		0.14 *
n^1
 		0.15 *
n^1
 		6.11 *
YES
 		0.32 *
Maybe
 		0.23 *
POLY
 		2.29 *
n^1
 		0.50
Flores-Montoya_16/Loopus2011_ex2.c
 *
n^1
 		0.12 *
MAYBE
 		0.11 *
MAYBE
 		38.71 *
NO
 		0.70 *
Maybe
 		1.15 *
Maybe
 		0.95 *
Maybe
 		3.52
Flores-Montoya_16/Loopus2011_ex3.c
 *
n^1
 		0.18 *
n^1
 		0.14 *
MAYBE
 		3.05 *
NO
 		0.22 *
Maybe
 		0.20 *
Maybe
 		0.42 *
Maybe
 		0.59
Flores-Montoya_16/Loopus2014_ex1.c
 *
n^2
 		0.13 *
n^2
 		0.14 *
n^2
 		17.05 *
YES
 		0.87 *
Maybe
 		0.54 *
PRIMREC
 		23.37 *
PRIMREC
 		32.15
Flores-Montoya_16/Loopus2014_ex2.c
 *
n^1
 		0.15 *
n^1
 		0.16 *
n^1
 		6.66 *
YES
 		0.36 *
PRIMREC
 		0.57 *
POLY
 		2.63 *
n^1
 		2.22
Flores-Montoya_16/Loopus2015_ex1.c
 *
n^1
 		0.15 *
n^2
 		0.16 *
n^2
 		2.56 *
YES
 		0.23 *
POLY
 		0.45 *
POLY
 		1.01 *
POLY
 		4.17
Flores-Montoya_16/Loopus2015_ex2.c
 *
n^1
 		0.12 *
n^1
 		0.13 *
n^1
 		4.75 *
YES
 		0.29 *
POLY
 		0.68 *
POLY
 		0.74 *
POLY
 		2.14
Flores-Montoya_16/Loopus2015_original.c
 *
n^2
 		0.23 *
n^2
 		0.21 *
n^2
 		4.19 *
YES
 		0.68 *
PRIMREC
 		0.96 *
POLY
 		2.71 *
n^1
 		1.42
Flores-Montoya_16/aaron12.c
 *
MAYBE
 		0.11 *
MAYBE
 		0.12 *
MAYBE
 		6.21 *
NO
 		0.36 *
Maybe
 		0.23 *
Maybe
 		0.43 *
Maybe
 		0.82
Flores-Montoya_16/aaron2.c
 *
n^1
 		0.18 *
n^1
 		0.14 *
n^1
 		2.27 *
YES
 		0.18 *
n^1
 		0.39 *
Maybe
 		0.47 *
POLY
 		0.74
Flores-Montoya_16/aaron3.c
 *
MAYBE
 		0.24 *
MAYBE
 		0.24 *
MAYBE
 		7.27 *
NO
 		0.20 *
Maybe
 		0.42 *
Maybe
 		0.26 *
Maybe
 		0.59
Flores-Montoya_16/alain.c
 *
n^2
 		0.15 *
n^3
 		0.10 *
n^3
 		6.63 *
YES
 		0.64 *
POLY
 		0.94 *
POLY
 		2.09 *
POLY
 		3.50
Flores-Montoya_16/ax.c
 *
n^2
 		0.13 *
n^2
 		0.11 *
n^2
 		1.55 *
YES
 		0.21 *
POLY
 		1.11 *
POLY
 		0.37 *
POLY
 		1.05
Flores-Montoya_16/catmouse.c
 *
MAYBE
 		0.13 *
MAYBE
 		0.12 *
MAYBE
 		1.97 *
NO
 		0.20 *
Maybe
 		0.16 *
Maybe
 		0.18 *
Maybe
 		0.25
Flores-Montoya_16/complex.c
 *
n^1
 		0.11 *
n^1
 		0.14 *
n^1
 		6.71 *
YES
 		0.22 *
PRIMREC
 		0.77 *
PRIMREC
 		1.24 *
n^1
 		0.62
Flores-Montoya_16/counterex1a.c
 *
MAYBE
 		0.21 *
MAYBE
 		0.17 *
MAYBE
 		13.09 *
NO
 		0.34 *
Maybe
 		0.32 *
Maybe
 		0.45 *
Maybe
 		1.46
Flores-Montoya_16/counterex1b.c
 *
MAYBE
 		0.13 *
MAYBE
 		0.20 *
MAYBE
 		10.45 *
YES
 		0.33 *
PRIMREC
 		1.10 *
Maybe
 		2.49 *
PRIMREC
 		7.87
Flores-Montoya_16/counterex1c.c
 *
MAYBE
 		0.12 *
MAYBE
 		0.14 *
MAYBE
 		15.35 *
NO
 		0.62 *
Maybe
 		0.49 *
Maybe
 		0.63 *
Maybe
 		0.97
Flores-Montoya_16/cousot9.c
 *
n^2
 		0.16 *
n^2
 		0.15 *
n^2
 		2.91 *
YES
 		0.16 *
Maybe
 		0.17 *
POLY
 		0.31 *
POLY
 		0.36
Flores-Montoya_16/easy1.c
 *
n^0
 		0.11 *
n^0
 		0.13 *
n^0
 		0.90 *
YES
 		0.20 *
n^0
 		0.85 *
n^0
 		0.33 *
n^0
 		0.21
Flores-Montoya_16/easy2.c
 *
n^1
 		0.15 *
n^1
 		0.13 *
n^1
 		0.60 *
YES
 		1.19 *
n^1
 		0.18 *
n^1
 		0.92 *
n^1
 		0.14
Flores-Montoya_16/ex_paper1.c
 *
n^2
 		0.14 *
n^3
 		0.16 *
n^3
 		18.49 *
YES
 		0.52 *
PRIMREC
 		1.82 *
POLY
 		4.93 *
POLY
 		10.66
Flores-Montoya_16/ex_paper2.c
 *
n^2
 		0.11 *
n^2
 		0.13 *
n^2
 		1.45 *
YES
 		0.22 *
POLY
 		0.49 *
PRIMREC
 		0.39 *
POLY
 		0.54
Flores-Montoya_16/ex_paper3.c
 *
n^2
 		0.12 *
n^2
 		0.11 *
n^2
 		8.35 *
YES
 		0.69 *
PRIMREC
 		0.92 *
POLY
 		1.42 *
POLY
 		2.23
Flores-Montoya_16/exmini.c
 *
n^1
 		0.19 *
n^1
 		0.15 *
n^1
 		1.68 *
YES
 		0.18 *
n^1
 		0.24 *
n^1
 		0.28 *
n^1
 		0.58
Flores-Montoya_16/heapsort.c
 *
n^1
 		0.12 *
n^1
 		0.12 *
n^1
 		14.09 *
YES
 		0.56 *
Maybe
 		0.41 *
Maybe
 		59.15 *
n^1
 		0.86
Flores-Montoya_16/insertsort.c
 *
n^2
 		0.13 *
n^2
 		0.16 *
n^2
 		1.95 *
YES
 		0.88 *
PRIMREC
 		0.60 *
POLY
 		1.39 *
POLY
 		1.62
Flores-Montoya_16/jama_ex1.c
 *
n^2
 		0.17 *
n^2
 		0.15 *
n^2
 		1.28 *
YES
 		0.57 *
POLY
 		0.25 *
POLY
 		1.49 *
POLY
 		0.85
Flores-Montoya_16/jama_ex2.c
 *
n^2
 		0.22 *
n^2
 		0.15 *
n^2
 		1.29 *
YES
 		0.83 *
POLY
 		0.27 *
POLY
 		2.18 *
POLY
 		0.64
Flores-Montoya_16/jama_ex3.c
 *
n^2
 		0.12 *
n^2
 		0.13 *
n^2
 		1.31 *
YES
 		0.40 *
POLY
 		0.28 *
PRIMREC
 		0.32 *
POLY
 		2.04
Flores-Montoya_16/jama_ex4.c
 *
n^2
 		0.11 *
n^2
 		0.12 *
n^2
 		2.23 *
YES
 		0.78 *
POLY
 		0.50 *
POLY
 		1.34 *
POLY
 		0.73
Flores-Montoya_16/jama_ex5.c
 *
n^2
 		0.14 *
n^2
 		0.11 *
n^2
 		1.35 *
YES
 		0.60 *
POLY
 		0.84 *
POLY
 		0.49 *
POLY
 		0.82
Flores-Montoya_16/jama_ex6.c
 *
n^3
 		0.12 *
n^4
 		0.13 *
n^4
 		4.56 *
YES
 		0.44 *
PRIMREC
 		0.83 *
PRIMREC
 		1.08 *
PRIMREC
 		2.87
Flores-Montoya_16/jama_ex7.c
 *
n^2
 		0.11 *
n^2
 		0.11 *
n^2
 		1.59 *
YES
 		0.18 *
POLY
 		0.30 *
POLY
 		0.59 *
POLY
 		0.53
Flores-Montoya_16/knuth_morris_pratt.c
 *
n^1
 		0.12 *
n^2
 		0.12 *
n^2
 		14.70 *
YES
 		0.40 *
Maybe
 		1.76 *
POLY
 		3.93 *
POLY
 		10.57
Flores-Montoya_16/loops.c
 *
n^2
 		0.15 *
n^2
 		0.20 *
n^2
 		3.09 *
YES
 		0.42 *
Maybe
 		0.25 *
POLY
 		0.30 *
POLY
 		1.28
Flores-Montoya_16/nd_loop.c
 *
n^0
 		0.13 *
n^0
 		0.16 *
n^0
 		0.62 *
YES
 		0.17 *
n^0
 		0.29 *
n^0
 		0.28 *
n^0
 		0.16
Flores-Montoya_16/ndecr.c
 *
n^1
 		0.11 *
n^1
 		0.12 *
n^1
 		0.70 *
YES
 		0.15 *
n^1
 		0.46 *
n^1
 		0.25 *
n^1
 		0.17
Flores-Montoya_16/nestedLoop.c
 *
n^2
 		0.12 *
n^3
 		0.13 *
ERROR
 		7.16 *
YES
 		2.42 *
PRIMREC
 		5.22 *
POLY
 		6.18 *
POLY
 		14.69
Flores-Montoya_16/nested_loop.c
 *
n^2
 		0.12 *
n^3
 		0.12 *
n^3
 		16.94 *
YES
 		0.94 *
PRIMREC
 		3.86 *
POLY
 		10.76 *
POLY
 		19.58
Flores-Montoya_16/perfect.c
 *
n^2
 		0.12 *
n^2
 		0.14 *
n^2
 		8.20 *
YES
 		0.27 *
Maybe
 		0.61 *
POLY
 		0.64 *
POLY
 		1.91
Flores-Montoya_16/perfect1.c
 *
n^2
 		0.14 *
n^2
 		0.13 *
n^2
 		11.36 *
YES
 		0.38 *
Maybe
 		1.09 *
POLY
 		0.90 *
POLY
 		1.31
Flores-Montoya_16/perfect2.c
 *
n^2
 		0.14 *
n^2
 		0.14 *
n^2
 		9.23 *
YES
 		0.26 *
Maybe
 		0.53 *
POLY
 		0.61 *
POLY
 		0.90
Flores-Montoya_16/perfectg.c
 *
MAYBE
 		0.10 *
n^2
 		0.13 *
n^2
 		7.90 *
YES
 		0.48 *
Maybe
 		0.28 *
POLY
 		1.52 *
POLY
 		6.89
Flores-Montoya_16/random1d.c
 *
n^1
 		0.11 *
n^1
 		0.14 *
n^1
 		0.82 *
YES
 		1.16 *
n^1
 		0.46 *
POLY
 		0.90 *
POLY
 		1.31
Flores-Montoya_16/random2d.c
 *
n^1
 		0.14 *
n^1
 		0.12 *
n^1
 		3.51 *
YES
 		0.66 *
n^1
 		3.34 *
POLY
 		2.51 *
n^1
 		2.00
Flores-Montoya_16/rank1.c
 *
n^2
 		0.13 *
MAYBE
 		0.14 *
MAYBE
 		8.91 *
YES
 		0.35 *
Maybe
 		0.24 *
Maybe
 		3.49 *
PRIMREC
 		5.03
Flores-Montoya_16/rank2.c
 *
n^1
 		0.14 *
n^1
 		0.10 *
n^1
 		8.49 *
YES
 		0.33 *
PRIMREC
 		0.72 *
POLY
 		0.88 *
n^1
 		0.47
Flores-Montoya_16/rank3.c
 *
MAYBE
 		0.13 *
MAYBE
 		0.13 *
MAYBE
 		20.77 *
YES
 		0.71 *
Maybe
 		1.03 *
Maybe
 		59.20 *
Maybe
 		57.84
Flores-Montoya_16/real2.c
 *
MAYBE
 		0.15 *
MAYBE
 		0.15 *
MAYBE
 		4.50 *
NO
 		0.84 *
Maybe
 		0.22 *
Maybe
 		0.22 *
Maybe
 		0.55
Flores-Montoya_16/realbubble.c
 *
n^2
 		0.13 *
n^2
 		0.13 *
n^2
 		3.26 *
YES
 		0.33 *
POLY
 		0.51 *
POLY
 		0.78 *
POLY
 		2.76
Flores-Montoya_16/realheapsort.c
 *
n^2
 		0.19 *
n^2
 		0.19 *
n^2
 		17.93 *
YES
 		1.01 *
Maybe
 		0.63 *
POLY
 		1.45 *
POLY
 		7.50
Flores-Montoya_16/realheapsort_step1.c
 *
n^2
 		0.15 *
n^2
 		0.12 *
n^2
 		3.26 *
YES
 		0.24 *
PRIMREC
 		0.62 *
POLY
 		0.48 *
POLY
 		1.77
Flores-Montoya_16/realheapsort_step2.c
 *
n^2
 		0.18 *
n^2
 		0.16 *
n^2
 		8.06 *
YES
 		0.29 *
Maybe
 		0.27 *
POLY
 		0.77 *
POLY
 		3.70
Flores-Montoya_16/realselect.c
 *
n^2
 		0.17 *
n^2
 		0.21 *
n^2
 		2.07 *
YES
 		0.24 *
PRIMREC
 		0.63 *
POLY
 		0.69 *
POLY
 		1.58
Flores-Montoya_16/realshellsort.c
 *
n^3
 		0.22 *
n^3
 		0.24 *
n^3
 		8.47 *
YES
 		0.35 *
Maybe
 		0.93 *
Maybe
 		59.21 *
PRIMREC
 		57.16
Flores-Montoya_16/relation1.c
 *
n^0
 		0.15 *
n^0
 		0.12 *
n^0
 		0.48 *
n^0
 		0.33 *
n^0
 		0.34 *
n^0
 		0.53 *
n^0
 		0.36
Flores-Montoya_16/rsd.c
 *
n^1
 		0.14 *
n^1
 		0.13 *
n^1
 		6.78 *
YES
 		0.63 *
Maybe
 		0.21 *
POLY
 		0.82 *
POLY
 		0.94
Flores-Montoya_16/serpent.c
 *
MAYBE
 		0.23 *
MAYBE
 		0.23 *
MAYBE
 		8.43 *
YES
 		0.30 *
PRIMREC
 		0.94 *
PRIMREC
 		1.12 *
PRIMREC
 		5.66
Flores-Montoya_16/sipma91.c
 *
n^1
 		0.15 *
n^1
 		0.13 *
MAYBE
 		11.45 *
YES
 		1.12 *
Maybe
 		0.31 *
PRIMREC
 		4.94 *
PRIMREC
 		4.21
Flores-Montoya_16/sipmabubble.c
 *
n^2
 		0.16 *
n^2
 		0.15 *
n^2
 		1.64 *
YES
 		0.20 *
POLY
 		0.31 *
POLY
 		0.37 *
POLY
 		0.67
Flores-Montoya_16/sipmamergesort.c
 *
n^2
 		0.11 *
MAYBE
 		0.16 *
MAYBE
 		57.30 *
NO
 		1.33 *
Maybe
 		1.19 *
Maybe
 		2.30 *
Maybe
 		4.18
Flores-Montoya_16/sipmamergesort2.c
 *
MAYBE
 		0.13 *
MAYBE
 		0.13 *
TIMEOUT
 60.00 *
NO
 		4.15 *
Maybe
 		1.16 *
Maybe
 		6.52 *
Maybe
 		59.47
Flores-Montoya_16/speedDis1.c
 *
n^1
 		0.14 *
n^1
 		0.14 *
n^1
 		3.39 *
YES
 		0.17 *
POLY
 		0.50 *
POLY
 		0.34 *
n^1
 		0.31
Flores-Montoya_16/speedDis2.c
 *
n^1
 		0.13 *
n^1
 		0.13 *
n^1
 		2.81 *
YES
 		0.38 *
Maybe
 		0.17 *
POLY
 		0.51 *
n^1
 		0.22
Flores-Montoya_16/speedFails1.c
 *
MAYBE
 		0.15 *
MAYBE
 		0.13 *
MAYBE
 		2.39 *
NO
 		0.33 *
Maybe
 		0.16 *
Maybe
 		0.17 *
Maybe
 		0.20
Flores-Montoya_16/speedFails2.c
 *
MAYBE
 		0.14 *
MAYBE
 		0.11 *
MAYBE
 		1.84 *
NO
 		0.19 *
Maybe
 		0.46 *
Maybe
 		0.41 *
Maybe
 		0.22
Flores-Montoya_16/speedFails3.c
 *
MAYBE
 		0.13 *
MAYBE
 		0.16 *
MAYBE
 		4.06 *
NO
 		0.15 *
Maybe
 		0.19 *
Maybe
 		0.25 *
Maybe
 		0.23
Flores-Montoya_16/speedFails4.c
 *
MAYBE
 		0.13 *
MAYBE
 		0.13 *
MAYBE
 		4.84 *
NO
 		0.67 *
Maybe
 		0.21 *
Maybe
 		0.57 *
Maybe
 		0.32
Flores-Montoya_16/speedNestedMultiple.c
 *
n^1
 		0.12 *
n^1
 		0.11 *
n^1
 		6.88 *
YES
 		0.26 *
PRIMREC
 		0.59 *
PRIMREC
 		0.86 *
n^1
 		0.45
Flores-Montoya_16/speedNestedMultipleDep.c
 *
n^2
 		0.18 *
n^2
 		0.19 *
n^2
 		1.52 *
YES
 		0.20 *
POLY
 		0.71 *
POLY
 		0.46 *
POLY
 		0.94
Flores-Montoya_16/speedSimpleMultiple.c
 *
n^1
 		0.15 *
n^1
 		0.14 *
n^1
 		2.68 *
YES
 		0.36 *
POLY
 		0.28 *
POLY
 		0.33 *
n^1
 		0.18
Flores-Montoya_16/speedSimpleMultipleDep.c
 *
n^2
 		0.11 *
n^2
 		0.14 *
n^2
 		2.99 *
YES
 		0.17 *
Maybe
 		0.18 *
POLY
 		0.35 *
POLY
 		0.37
Flores-Montoya_16/speedSingleSingle.c
 *
n^1
 		0.13 *
n^1
 		0.12 *
n^1
 		0.63 *
YES
 		0.16 *
n^1
 		0.21 *
n^1
 		0.24 *
n^1
 		0.26
Flores-Montoya_16/speedSingleSingle2.c
 *
n^1
 		0.25 *
n^1
 		0.22 *
n^1
 		1.83 *
YES
 		0.79 *
PRIMREC
 		0.79 *
POLY
 		1.45 *
POLY
 		1.41
Flores-Montoya_16/speed_pldi09_fig1.c
 *
n^1
 		0.12 *
n^2
 		0.18 *
n^2
 		2.87 *
YES
 		0.29 *
PRIMREC
 		0.29 *
POLY
 		0.36 *
POLY
 		0.67
Flores-Montoya_16/speed_pldi09_fig4_2.c
 *
n^1
 		0.14 *
n^1
 		0.14 *
n^2
 		3.09 *
YES
 		0.19 *
Maybe
 		0.20 *
POLY
 		0.53 *
POLY
 		1.27
Flores-Montoya_16/speed_pldi09_fig4_4.c
 *
n^1
 		0.13 *
n^1
 		0.10 *
n^2
 		2.64 *
YES
 		0.17 *
Maybe
 		0.18 *
POLY
 		0.27 *
POLY
 		0.57
Flores-Montoya_16/speed_pldi09_fig4_5.c
 *
n^1
 		0.13 *
n^2
 		0.25 *
MAYBE
 		4.36 *
NO
 		0.20 *
Maybe
 		0.23 *
Maybe
 		0.44 *
Maybe
 		0.47
Flores-Montoya_16/speed_pldi10_ex1.c
 *
n^2
 		0.15 *
n^2
 		0.15 *
n^2
 		8.38 *
YES
 		0.56 *
PRIMREC
 		0.91 *
POLY
 		1.40 *
POLY
 		2.86
Flores-Montoya_16/speed_pldi10_ex3.c
 *
n^1
 		0.11 *
n^1
 		0.12 *
n^1
 		1.39 *
YES
 		0.61 *
POLY
 		0.62 *
POLY
 		0.95 *
n^1
 		0.30
Flores-Montoya_16/speed_pldi10_ex4.c
 *
n^1
 		0.13 *
n^1
 		0.14 *
n^1
 		1.27 *
YES
 		0.17 *
POLY
 		1.64 *
POLY
 		0.35 *
POLY
 		0.77
Flores-Montoya_16/speed_popl10_fig2_1.c
 *
n^1
 		0.11 *
n^1
 		0.12 *
n^1
 		3.27 *
YES
 		0.37 *
POLY
 		0.94 *
POLY
 		0.31 *
n^1
 		0.33
Flores-Montoya_16/speed_popl10_fig2_2.c
 *
n^1
 		0.14 *
n^1
 		0.16 *
n^1
 		2.72 *
YES
 		0.18 *
Maybe
 		0.19 *
POLY
 		0.31 *
n^1
 		0.43
Flores-Montoya_16/speed_popl10_nested_multiple.c
 *
n^1
 		0.13 *
n^1
 		0.12 *
n^1
 		6.72 *
YES
 		0.21 *
PRIMREC
 		0.73 *
PRIMREC
 		0.68 *
n^1
 		0.28
Flores-Montoya_16/speed_popl10_nested_single.c
 *
n^1
 		0.11 *
n^1
 		0.13 *
n^1
 		1.59 *
YES
 		0.23 *
PRIMREC
 		1.19 *
POLY
 		0.88 *
n^1
 		0.29
Flores-Montoya_16/speed_popl10_sequential_single.c
 *
n^1
 		0.12 *
n^1
 		0.13 *
n^1
 		1.44 *
YES
 		0.19 *
POLY
 		0.41 *
POLY
 		0.61 *
n^1
 		1.04
Flores-Montoya_16/speed_popl10_simple_multiple.c
 *
n^1
 		0.18 *
n^1
 		0.16 *
n^1
 		2.79 *
YES
 		0.21 *
POLY
 		0.48 *
POLY
 		0.88 *
n^1
 		0.19
Flores-Montoya_16/speed_popl10_simple_single.c
 *
n^1
 		0.12 *
n^1
 		0.15 *
n^1
 		0.60 *
YES
 		0.53 *
n^1
 		0.59 *
n^1
 		0.25 *
n^1
 		0.18
Flores-Montoya_16/speed_popl10_simple_single_2.c
 *
n^1
 		0.12 *
n^1
 		0.11 *
n^1
 		1.50 *
YES
 		0.18 *
PRIMREC
 		0.32 *
POLY
 		0.41 *
n^1
 		0.33
Flores-Montoya_16/speedpldi2.c
 *
n^1
 		0.13 *
n^1
 		0.13 *
n^1
 		2.78 *
YES
 		0.65 *
Maybe
 		0.57 *
POLY
 		0.62 *
POLY
 		1.03
Flores-Montoya_16/speedpldi3.c
 *
n^2
 		0.13 *
n^2
 		0.11 *
n^2
 		2.67 *
YES
 		0.24 *
Maybe
 		0.43 *
POLY
 		0.47 *
POLY
 		1.68
Flores-Montoya_16/speedpldi4.c
 *
n^1
 		0.15 *
n^1
 		0.17 *
n^1
 		2.35 *
YES
 		0.58 *
Maybe
 		0.20 *
POLY
 		0.91 *
POLY
 		1.61
Flores-Montoya_16/t07.c
 *
n^1
 		0.13 *
n^1
 		0.12 *
n^1
 		1.64 *
YES
 		0.18 *
POLY
 		0.30 *
POLY
 		0.37 *
POLY
 		0.56
Flores-Montoya_16/t08.c
 *
n^1
 		0.15 *
n^1
 		0.16 *
n^1
 		1.12 *
YES
 		0.36 *
POLY
 		0.42 *
POLY
 		0.83 *
POLY
 		0.42
Flores-Montoya_16/t10.c
 *
n^1
 		0.30 *
n^1
 		0.24 *
n^1
 		1.38 *
YES
 		0.56 *
n^1
 		0.49 *
POLY
 		0.38 *
n^1
 		0.26
Flores-Montoya_16/t11.c
 *
n^1
 		0.12 *
n^1
 		0.17 *
n^1
 		3.28 *
YES
 		0.37 *
POLY
 		0.31 *
POLY
 		0.32 *
n^1
 		0.77
Flores-Montoya_16/t13.c
 *
n^1
 		0.22 *
n^1
 		0.16 *
n^1
 		5.01 *
YES
 		0.23 *
PRIMREC
 		0.76 *
POLY
 		1.06 *
n^1
 		0.35
Flores-Montoya_16/t15.c
 *
n^1
 		0.12 *
n^1
 		0.14 *
n^1
 		3.76 *
YES
 		0.33 *
Maybe
 		0.26 *
POLY
 		1.48 *
POLY
 		0.77
Flores-Montoya_16/t16.c
 *
n^1
 		0.24 *
n^2
 		0.27 *
n^2
 		4.19 *
YES
 		0.19 *
Maybe
 		0.19 *
POLY
 		0.42 *
POLY
 		1.27
Flores-Montoya_16/t19.c
 *
n^1
 		0.17 *
n^1
 		0.23 *
n^1
 		1.83 *
YES
 		0.18 *
POLY
 		0.30 *
POLY
 		0.40 *
n^1
 		0.40
Flores-Montoya_16/t20.c
 *
n^1
 		0.13 *
n^1
 		0.12 *
n^1
 		1.08 *
YES
 		0.19 *
POLY
 		0.42 *
POLY
 		0.29 *
POLY
 		0.36
Flores-Montoya_16/t27.c
 *
n^1
 		0.15 *
n^1
 		0.13 *
n^1
 		4.05 *
YES
 		0.96 *
PRIMREC
 		0.99 *
POLY
 		0.80 *
n^1
 		0.26
Flores-Montoya_16/t28.c
 *
n^1
 		0.13 *
n^1
 		0.12 *
n^1
 		2.29 *
YES
 		0.20 *
POLY
 		0.52 *
POLY
 		0.58 *
POLY
 		0.75
Flores-Montoya_16/t30.c
 *
MAYBE
 		0.20 *
MAYBE
 		0.16 *
MAYBE
 		2.49 *
NO
 		0.19 *
Maybe
 		0.15 *
Maybe
 		0.15 *
Maybe
 		0.21
Flores-Montoya_16/t47.c
 *
n^1
 		0.15 *
n^1
 		0.15 *
n^1
 		1.06 *
YES
 		0.15 *
POLY
 		0.21 *
POLY
 		0.20 *
n^1
 		0.60
Flores-Montoya_16/t62.c
 *
n^1
 		0.12 *
n^1
 		0.11 *
n^1
 		11.66 *
YES
 		0.44 *
PRIMREC
 		3.31 *
PRIMREC
 		4.75 *
PRIMREC
 		6.09
Flores-Montoya_16/terminate.c
 *
n^1
 		0.13 *
n^1
 		0.13 *
n^1
 		1.55 *
YES
 		0.29 *
n^1
 		0.26 *
n^1
 		0.29 *
n^1
 		0.31
Flores-Montoya_16/terminatorbubble.c
 *
n^2
 		0.12 *
n^2
 		0.13 *
n^2
 		2.44 *
YES
 		0.26 *
PRIMREC
 		2.73 *
POLY
 		0.76 *
POLY
 		1.18
Flores-Montoya_16/textbook_ex1.c
 *
n^1
 		0.16 *
n^1
 		0.15 *
n^1
 		0.67 *
YES
 		0.33 *
n^1
 		0.20 *
n^1
 		0.43 *
n^1
 		0.19
Flores-Montoya_16/textbook_ex2.c
 *
n^2
 		0.12 *
n^2
 		0.12 *
n^2
 		1.33 *
YES
 		0.22 *
POLY
 		0.30 *
POLY
 		0.37 *
POLY
 		1.17
Flores-Montoya_16/textbook_ex3.c
 *
n^4
 		0.15 *
n^6
 		0.11 *
n^6
 		3.89 *
YES
 		0.36 *
PRIMREC
 		1.25 *
PRIMREC
 		2.04 *
POLY
 		4.20
Flores-Montoya_16/textbook_ex4.c
 *
n^2
 		0.15 *
n^2
 		0.23 *
n^2
 		1.66 *
YES
 		0.39 *
POLY
 		0.97 *
POLY
 		1.35 *
POLY
 		1.33
Flores-Montoya_16/unperfect.c
 *
n^2
 		0.18 *
n^2
 		0.14 *
n^2
 		8.22 *
YES
 		0.46 *
Maybe
 		0.30 *
POLY
 		1.00 *
POLY
 		1.10
Flores-Montoya_16/wcet0.c
 *
n^1
 		0.20 *
n^1
 		0.15 *
n^1
 		1.76 *
YES
 		0.60 *
n^1
 		0.78 *
n^1
 		0.45 *
n^1
 		0.81
Flores-Montoya_16/wcet1.c
 *
n^1
 		0.12 *
n^1
 		0.14 *
n^1
 		1.92 *
YES
 		0.20 *
n^1
 		1.36 *
POLY
 		0.50 *
POLY
 		3.81
Flores-Montoya_16/wcet2.c
 *
n^1
 		0.15 *
n^1
 		0.23 *
n^1
 		1.44 *
YES
 		0.24 *
POLY
 		0.53 *
POLY
 		0.45 *
POLY
 		0.55
Flores-Montoya_16/while2.c
 *
n^2
 		0.12 *
n^2
 		0.15 *
n^2
 		1.28 *
YES
 		0.20 *
POLY
 		1.42 *
POLY
 		0.38 *
POLY
 		1.09
Flores-Montoya_16/wise.c
 *
n^1
 		0.17 *
n^1
 		0.13 *
n^1
 		1.39 *
YES
 		0.22 *
POLY
 		0.47 *
POLY
 		7.11 *
n^1
 		8.74