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 *