Overview


Benchmark: Integer transition system benchmark from termcomp2017.

*-ai: Suffix -ai indicates that a variant of the benchmark with additional program invariants has been used.


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

cage-no-chain: Version of KoAT used in CAGE. CFG refinement via chaining is disabled. Supports analysis of exponential runtime.

loopstructure: Indicates whether the loopstructure (decomposition) construction has been successful.

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

strategic: Like simple. Additionally employs heuristics for CFG refinement and bound computation.

unlimited: Like strategic. But applies different strategies in parallel. Timeout is set to 120 seconds.


Result Summary



cofloco
aprove
cage-no-chain
loopstructure
loopstructure-ai
simple-ai
strategic
strategic-ai
unlimited-ai
Success "EXP"
0 0 5 0 0 0 0 0 0
Success "Maybe"
0 0 0 0 0 294 325 267 291
Success "NO"
0 0 0 311 249 0 0 0 0
Success "POLY"
0 0 0 0 0 152 105 124 124
Success "PRIMREC"
0 0 0 0 0 26 61 23 21
Success "YES"
0 0 0 413 471 0 0 0 0
Success "n^0"
125 130 124 31 36 119 95 114 123
Success "n^1"
227 210 202 0 0 140 143 191 199
Success "n^2"
96 105 103 0 0 0 0 0 0
Success "n^3"
6 8 9 0 0 0 0 0 0
Success "n^4"
3 2 2 0 0 0 0 0 0
Success "n^6"
0 2 2 0 0 0 0 0 0
Success "n^8"
0 1 1 0 0 0 0 0 0
Maybe
301 300 278 0 0 0 0 0 0
Apron.Manager.Error
0 0 1 0 0 0 0 0 0
Timeout
0 0 31 3 2 27 29 39 0

Average Times


cofloco
aprove
cage-no-chain
loopstructure
loopstructure-ai
simple-ai
strategic
strategic-ai
unlimited-ai
Success "EXP"
0.00 0.00 1.19 0.00 0.00 0.00 0.00 0.00 0.00
Success "Maybe"
0.00 0.00 0.00 0.00 0.00 2.40 2.18 2.54 19.88
Success "NO"
0.00 0.00 0.00 1.40 1.85 0.00 0.00 0.00 0.00
Success "POLY"
0.00 0.00 0.00 0.00 0.00 1.75 2.03 3.29 16.23
Success "PRIMREC"
0.00 0.00 0.00 0.00 0.00 1.46 7.02 4.08 61.20
Success "YES"
0.00 0.00 0.00 1.15 1.07 0.00 0.00 0.00 0.00
Success "n^0"
0.12 0.12 1.76 0.46 0.43 1.48 1.60 2.27 13.92
Success "n^1"
0.13 0.13 2.88 0.00 0.00 1.03 0.82 1.19 19.38
Success "n^2"
0.14 0.14 3.44 0.00 0.00 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 0.00 0.00
Success "n^4"
0.17 0.25 3.27 0.00 0.00 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 0.00 0.00
Success "n^8"
0.00 0.12 1.95 0.00 0.00 0.00 0.00 0.00 0.00
Maybe
0.12 0.12 7.16 0.00 0.00 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 0.00 0.00
Timeout
0.00 0.00 60.01 60.00 60.00 60.01 60.00 60.00 0.00
Overall
0.13 0.13 6.73 1.46 1.45 3.89 4.43 5.29 19.33
cofloco
aprove
cage-no-chain
loopstructure
loopstructure-ai
simple-ai
strategic
strategic-ai
unlimited-ai
Problem (all selected)
* answer * answer * 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.14 *
YES
0.19 *
n^1
0.21 *
n^1
0.33 *
n^1
0.14 *
n^1
0.29
Brockschmidt_16/FGPSF09/Beerendonk/02
*
n^1
0.11 *
n^1
0.10 *
n^1
0.26 *
YES
0.14 *
YES
0.15 *
n^1
0.20 *
n^1
0.14 *
n^1
0.14 *
n^1
0.30
Brockschmidt_16/FGPSF09/Beerendonk/03
*
n^1
0.11 *
n^1
0.14 *
n^1
0.40 *
YES
0.18 *
YES
0.55 *
n^1
0.57 *
n^1
0.17 *
n^1
0.38 *
n^1
0.85
Brockschmidt_16/FGPSF09/Beerendonk/04
*
n^0
0.12 *
n^0
0.10 *
n^0
0.12 *
YES
0.72 *
YES
0.17 *
n^0
0.76 *
n^0
0.71 *
n^0
0.13 *
n^0
0.18
Brockschmidt_16/FGPSF09/Beerendonk/05
*
n^1
0.11 *
n^0
0.13 *
n^0
0.22 *
YES
0.54 *
YES
0.33 *
n^1
0.57 *
n^1
0.53 *
n^1
0.15 *
n^1
0.26
Brockschmidt_16/FGPSF09/Beerendonk/06
*
n^1
0.12 *
n^0
0.12 *
n^0
0.24 *
YES
0.18 *
YES
0.53 *
n^1
0.54 *
n^1
0.15 *
n^1
0.16 *
n^1
1.86
Brockschmidt_16/FGPSF09/Beerendonk/07
*
n^1
0.12 *
n^0
0.13 *
n^0
0.22 *
YES
0.33 *
YES
0.83 *
n^1
0.16 *
n^1
0.50 *
n^1
0.15 *
n^1
0.27
Brockschmidt_16/FGPSF09/Beerendonk/08
*
n^1
0.11 *
n^1
0.13 *
n^1
0.44 *
YES
0.16 *
YES
0.15 *
n^1
0.20 *
n^1
0.34 *
n^1
0.31 *
n^1
0.77
Brockschmidt_16/FGPSF09/Beerendonk/09
*
n^1
0.13 *
n^1
0.13 *
n^1
0.32 *
YES
0.33 *
YES
0.14 *
n^1
0.26 *
n^1
0.32 *
n^1
0.13 *
n^1
0.57
Brockschmidt_16/FGPSF09/Beerendonk/10
*
n^1
0.11 *
n^1
0.12 *
n^1
0.66 *
YES
0.22 *
YES
0.78 *
TIMEOUT
60.00 *
n^1
0.16 *
n^1
0.18 *
n^1
115.15
Brockschmidt_16/FGPSF09/Beerendonk/11
*
n^1
0.11 *
n^1
0.12 *
n^1
0.56 *
YES
0.35 *
YES
0.17 *
n^1
0.18 *
n^1
0.36 *
n^1
0.17 *
n^1
0.85
Brockschmidt_16/FGPSF09/Beerendonk/13
*
n^1
0.11 *
n^1
0.12 *
n^1
0.38 *
YES
0.14 *
YES
0.34 *
n^1
0.37 *
n^1
0.13 *
n^1
0.42 *
n^1
1.13
Brockschmidt_16/FGPSF09/Beerendonk/15
*
n^1
0.11 *
n^1
0.11 *
n^1
0.61 *
YES
0.15 *
YES
0.34 *
n^1
0.42 *
n^1
0.31 *
n^1
0.19 *
n^1
1.97
Brockschmidt_16/FGPSF09/Beerendonk/16
*
n^1
0.13 *
n^1
0.11 *
n^1
0.71 *
YES
0.16 *
YES
0.17 *
n^1
0.25 *
n^1
0.14 *
n^1
0.14 *
n^1
1.12
Brockschmidt_16/FGPSF09/Beerendonk/17
*
n^1
0.11 *
n^1
0.11 *
n^1
0.93 *
YES
0.24 *
YES
0.23 *
POLY
0.27 *
n^1
0.21 *
n^1
0.35 *
n^1
1.72
Brockschmidt_16/FGPSF09/Beerendonk/18
*
n^1
0.12 *
n^1
0.12 *
n^1
1.14 *
YES
0.16 *
YES
0.24 *
n^1
0.27 *
n^1
0.22 *
n^1
0.15 *
n^1
0.75
Brockschmidt_16/FGPSF09/Beerendonk/19
*
n^1
0.13 *
n^1
0.11 *
n^1
1.00 *
YES
0.73 *
YES
0.95 *
n^1
0.87 *
n^1
0.57 *
n^1
0.45 *
n^1
3.32
Brockschmidt_16/FGPSF09/Beerendonk/20
*
n^1
0.13 *
n^1
0.13 *
n^1
0.46 *
YES
0.34 *
YES
0.16 *
n^1
0.23 *
n^1
0.36 *
n^1
0.31 *
n^1
0.60
Brockschmidt_16/FGPSF09/Beerendonk/21
*
n^1
0.11 *
n^1
0.13 *
n^1
0.42 *
YES
0.16 *
YES
0.33 *
n^1
1.02 *
n^1
0.15 *
n^1
0.15 *
n^1
2.62
Brockschmidt_16/FGPSF09/Beerendonk/22
*
n^1
0.13 *
n^1
0.11 *
n^1
0.61 *
YES
0.17 *
YES
0.34 *
POLY
0.55 *
n^1
0.17 *
n^1
0.18 *
n^1
2.68
Brockschmidt_16/FGPSF09/Beerendonk/23
*
n^1
0.13 *
n^1
0.12 *
n^1
0.53 *
YES
0.17 *
YES
0.15 *
POLY
0.20 *
n^1
0.14 *
n^1
0.15 *
n^1
0.77
Brockschmidt_16/FGPSF09/Beerendonk/24
*
n^1
0.10 *
n^1
0.12 *
n^1
0.85 *
YES
0.23 *
YES
0.22 *
POLY
0.27 *
n^1
0.18 *
n^1
0.21 *
n^1
1.15
Brockschmidt_16/FGPSF09/CAV02/practical1
*
n^2
0.10 *
n^2
0.12 *
n^2
0.42 *
YES
0.54 *
YES
0.34 *
POLY
0.25 *
POLY
0.66 *
POLY
0.45 *
POLY
3.32
Brockschmidt_16/FGPSF09/CAV02/practical2
*
n^1
0.15 *
n^1
0.13 *
n^1
4.61 *
NO
0.18 *
YES
0.82 *
POLY
0.90 *
Maybe
1.24 *
POLY
1.43 *
POLY
8.97
Brockschmidt_16/FGPSF09/CAV05/c.05
*
n^1
0.12 *
n^1
0.12 *
n^1
0.72 *
YES
0.17 *
YES
0.16 *
n^1
0.23 *
n^1
0.17 *
n^1
0.38 *
n^1
0.79
Brockschmidt_16/FGPSF09/ESOP08/abstractions
*
MAYBE
0.12 *
MAYBE
0.11 *
MAYBE
0.73 *
YES
0.19 *
YES
0.20 *
Maybe
0.30 *
Maybe
0.26 *
Maybe
0.30 *
Maybe
1.78
Brockschmidt_16/FGPSF09/LICS04/c.01
*
n^2
0.12 *
n^2
0.13 *
n^2
0.72 *
YES
0.58 *
YES
0.95 *
PRIMREC
0.82 *
PRIMREC
0.56 *
PRIMREC
0.46 *
POLY
1.52
Brockschmidt_16/FGPSF09/LICS04/choice
*
MAYBE
0.11 *
MAYBE
0.12 *
MAYBE
0.76 *
NO
0.74 *
NO
0.14 *
Maybe
0.40 *
Maybe
0.93 *
Maybe
0.40 *
Maybe
1.03
Brockschmidt_16/FGPSF09/PLDI06/c.03
*
n^1
0.12 *
n^1
0.12 *
n^1
0.45 *
YES
0.17 *
YES
0.15 *
n^1
0.23 *
n^1
0.17 *
n^1
0.33 *
n^1
1.45
Brockschmidt_16/FGPSF09/PLDI06/c.04
*
n^1
0.11 *
n^1
0.11 *
n^1
0.87 *
YES
0.16 *
YES
0.17 *
n^1
0.25 *
n^1
0.20 *
n^1
0.15 *
n^1
0.69
Brockschmidt_16/FGPSF09/SAS05/c.02
*
n^2
0.12 *
n^2
0.13 *
n^2
0.57 *
YES
0.16 *
YES
0.15 *
PRIMREC
0.30 *
PRIMREC
0.32 *
PRIMREC
0.31 *
POLY
0.69
Brockschmidt_16/FGPSF09/TACAS01/terminate
*
n^1
0.14 *
n^1
0.11 *
n^1
0.39 *
YES
0.14 *
YES
0.14 *
n^1
0.23 *
n^1
0.13 *
n^1
0.15 *
n^1
0.48
Brockschmidt_16/FGPSF09/VMCAI04/complete1
*
n^1
0.11 *
n^1
0.11 *
n^1
0.38 *
YES
0.87 *
YES
0.21 *
n^1
0.70 *
n^1
0.55 *
n^1
0.36 *
n^1
0.45
Brockschmidt_16/FGPSF09/VMCAI04/complete2
*
MAYBE
0.13 *
n^0
0.11 *
MAYBE
0.60 *
NO
0.17 *
NO
0.14 *
Maybe
0.13 *
Maybe
0.17 *
Maybe
0.35 *
Maybe
0.18
Brockschmidt_16/FGPSF09/VMCAI04/complete3
*
n^2
0.11 *
n^2
0.11 *
n^2
0.44 *
YES
0.80 *
YES
0.14 *
POLY
0.22 *
POLY
0.51 *
POLY
0.49 *
POLY
0.63
Brockschmidt_16/FGPSF09/VMCAI04/complete4
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
0.71 *
YES
0.38 *
YES
0.14 *
Maybe
0.26 *
Maybe
0.29 *
Maybe
0.46 *
Maybe
1.16
Brockschmidt_16/FGPSF09/VMCAI05/poly1
*
MAYBE
0.10 *
MAYBE
0.12 *
MAYBE
1.02 *
NO
0.14 *
NO
0.37 *
Maybe
0.35 *
Maybe
0.14 *
Maybe
0.17 *
Maybe
0.83
Brockschmidt_16/FGPSF09/VMCAI05/poly2
*
MAYBE
0.14 *
MAYBE
0.13 *
MAYBE
1.05 *
NO
0.58 *
NO
0.53 *
Maybe
0.52 *
Maybe
0.36 *
Maybe
0.17 *
Maybe
1.02
Brockschmidt_16/FGPSF09/VMCAI05/poly3
*
MAYBE
0.13 *
MAYBE
0.12 *
MAYBE
0.96 *
NO
0.35 *
NO
0.34 *
Maybe
0.34 *
Maybe
0.19 *
Maybe
0.18 *
Maybe
1.46
Brockschmidt_16/FGPSF09/VMCAI05/poly4
*
n^1
0.12 *
n^1
0.11 *
n^1
1.22 *
YES
0.56 *
YES
0.41 *
n^1
0.92 *
n^1
0.82 *
n^1
0.46 *
n^1
6.26
Brockschmidt_16/FGPSF09/new/unsatCond2
*
MAYBE
0.12 *
MAYBE
0.13 *
MAYBE
0.28 *
NO
0.16 *
NO
0.31 *
Maybe
0.33 *
Maybe
0.15 *
Maybe
0.16 *
Maybe
0.38
Brockschmidt_16/FGPSF09/patrs/div
*
n^1
0.11 *
n^1
0.11 *
n^1
0.40 *
YES
0.15 *
YES
0.15 *
n^1
0.22 *
n^1
0.15 *
n^1
0.14 *
n^1
0.41
Brockschmidt_16/FGPSF09/patrs/increase1
*
n^1
0.12 *
n^1
0.13 *
n^1
0.22 *
YES
0.13 *
YES
0.14 *
n^1
0.21 *
n^1
0.12 *
n^1
0.13 *
n^1
0.54
Brockschmidt_16/FGPSF09/patrs/increase2
*
n^1
0.12 *
n^1
0.11 *
n^1
0.44 *
YES
0.16 *
YES
0.14 *
n^1
0.24 *
n^1
0.16 *
n^1
0.15 *
n^1
1.55
Brockschmidt_16/FGPSF09/patrs/increase3
*
n^1
0.12 *
n^1
0.12 *
n^1
0.45 *
YES
0.18 *
YES
0.18 *
n^1
0.22 *
n^1
0.16 *
n^1
0.14 *
n^1
0.81
Brockschmidt_16/FGPSF09/patrs/increase4
*
n^1
0.12 *
n^1
0.13 *
n^1
0.27 *
YES
0.13 *
YES
0.14 *
n^1
0.27 *
n^1
0.13 *
n^1
0.13 *
n^1
0.36
Brockschmidt_16/FGPSF09/patrs/pasta/a.01
*
n^2
0.12 *
n^2
0.12 *
n^2
0.67 *
YES
0.13 *
YES
0.20 *
POLY
0.27 *
POLY
0.34 *
POLY
0.50 *
POLY
0.53
Brockschmidt_16/FGPSF09/patrs/pasta/a.02
*
MAYBE
0.11 *
MAYBE
0.13 *
MAYBE
0.83 *
NO
0.15 *
NO
0.19 *
Maybe
0.43 *
Maybe
0.15 *
Maybe
0.19 *
Maybe
0.81
Brockschmidt_16/FGPSF09/patrs/pasta/a.03
*
n^2
0.12 *
n^2
0.11 *
n^2
2.85 *
YES
0.23 *
YES
0.28 *
POLY
0.46 *
PRIMREC
1.41 *
PRIMREC
2.07 *
POLY
6.15
Brockschmidt_16/FGPSF09/patrs/pasta/a.04
*
n^1
0.12 *
n^1
0.12 *
n^1
0.22 *
YES
0.17 *
YES
0.39 *
n^1
0.17 *
n^1
0.14 *
n^1
0.38 *
n^1
0.52
Brockschmidt_16/FGPSF09/patrs/pasta/a.05
*
n^1
0.11 *
n^1
0.12 *
n^1
0.23 *
YES
0.14 *
YES
0.13 *
n^1
0.15 *
n^1
0.13 *
n^1
0.14 *
n^1
0.46
Brockschmidt_16/FGPSF09/patrs/pasta/a.06
*
n^1
0.10 *
n^1
0.11 *
n^1
0.31 *
YES
0.16 *
YES
0.16 *
n^1
0.46 *
n^1
0.13 *
n^1
0.38 *
n^1
0.58
Brockschmidt_16/FGPSF09/patrs/pasta/a.07
*
n^1
0.11 *
n^1
0.15 *
n^1
0.31 *
YES
0.20 *
YES
0.13 *
n^1
0.44 *
n^1
0.33 *
n^1
0.15 *
n^1
0.36
Brockschmidt_16/FGPSF09/patrs/pasta/a.08
*
n^1
0.11 *
n^1
0.11 *
n^1
0.26 *
YES
0.13 *
YES
0.14 *
n^1
0.17 *
n^1
0.12 *
n^1
0.15 *
n^1
0.75
Brockschmidt_16/FGPSF09/patrs/pasta/a.09
*
n^1
0.12 *
n^1
0.10 *
n^1
0.47 *
YES
0.41 *
YES
0.12 *
n^1
0.19 *
n^1
0.42 *
n^1
0.37 *
n^1
0.60
Brockschmidt_16/FGPSF09/patrs/pasta/a.10
*
n^1
0.13 *
n^1
0.13 *
n^1
0.57 *
YES
0.15 *
YES
0.37 *
n^1
0.42 *
n^1
0.22 *
n^1
0.45 *
n^1
2.16
Brockschmidt_16/FGPSF09/patrs/pasta/a.11
*
n^1
0.11 *
n^1
0.12 *
n^1
1.22 *
YES
0.15 *
YES
0.36 *
POLY
0.44 *
PRIMREC
0.30 *
n^1
0.16 *
n^1
1.28
Brockschmidt_16/FGPSF09/patrs/sqrt
*
n^1
0.12 *
n^1
0.14 *
n^1
0.67 *
YES
0.16 *
YES
0.15 *
n^1
0.27 *
n^1
0.18 *
n^1
0.16 *
n^1
1.16
Brockschmidt_16/FGPSF09/patrs/sumto_no_if
*
n^1
0.11 *
n^1
0.11 *
n^1
0.27 *
YES
0.12 *
YES
0.13 *
n^1
0.18 *
n^1
0.18 *
n^1
0.15 *
n^1
0.32
Brockschmidt_16/KoAT-2013/sect1-lin
*
n^1
0.11 *
n^1
0.12 *
n^1
0.65 *
YES
0.36 *
YES
0.26 *
POLY
0.24 *
POLY
0.43 *
POLY
1.21 *
POLY
4.46
Brockschmidt_16/KoAT-2013/sect1-quad
*
MAYBE
0.13 *
n^2
0.13 *
n^2
0.85 *
YES
0.18 *
YES
0.21 *
POLY
0.30 *
POLY
0.46 *
POLY
0.86 *
POLY
5.48
Brockschmidt_16/KoAT-2013/sect2
*
n^2
0.15 *
n^2
0.11 *
n^2
1.15 *
YES
0.24 *
YES
0.24 *
POLY
0.37 *
POLY
0.76 *
POLY
1.25 *
POLY
7.04
Brockschmidt_16/KoAT-2013/sect5-len
*
n^1
0.12 *
n^1
0.15 *
n^1
0.42 *
YES
0.16 *
YES
0.13 *
n^1
0.30 *
n^1
0.14 *
n^1
0.65 *
n^1
4.05
Brockschmidt_16/KoAT-2013/sect5-sumSum
*
n^2
0.14 *
n^2
0.10 *
n^2
1.15 *
YES
0.17 *
YES
0.15 *
POLY
0.52 *
POLY
0.55 *
POLY
1.44 *
POLY
6.66
Brockschmidt_16/KoAT-2014/adding-exp-growth1
*
MAYBE
0.13 *
MAYBE
0.13 *
EXP
0.98 *
YES
0.22 *
YES
0.14 *
PRIMREC
0.26 *
PRIMREC
0.28 *
PRIMREC
0.45 *
PRIMREC
0.57
Brockschmidt_16/KoAT-2014/adding-exp-growth2
*
MAYBE
0.12 *
MAYBE
0.13 *
EXP
1.17 *
YES
0.39 *
YES
0.17 *
PRIMREC
0.31 *
PRIMREC
0.53 *
PRIMREC
0.48 *
PRIMREC
0.70
Brockschmidt_16/KoAT-2014/adding-exp-growth3
*
MAYBE
0.11 *
MAYBE
0.12 *
EXP
1.03 *
YES
0.19 *
YES
0.42 *
PRIMREC
0.48 *
PRIMREC
0.28 *
PRIMREC
0.47 *
PRIMREC
0.56
Brockschmidt_16/KoAT-2014/nesting-ex1
*
MAYBE
0.12 *
MAYBE
0.11 *
MAYBE
3.09 *
YES
0.39 *
YES
0.19 *
POLY
0.48 *
PRIMREC
0.64 *
POLY
0.98 *
POLY
1.05
Brockschmidt_16/KoAT-2014/scaling-doubly-exp-growth
*
MAYBE
0.11 *
MAYBE
0.11 *
EXP
1.78 *
YES
0.19 *
YES
0.22 *
PRIMREC
0.57 *
PRIMREC
0.40 *
PRIMREC
0.72 *
PRIMREC
0.95
Brockschmidt_16/KoAT-2014/scaling-exp-growth
*
MAYBE
0.11 *
MAYBE
0.12 *
EXP
0.98 *
YES
0.18 *
YES
0.39 *
PRIMREC
0.42 *
PRIMREC
0.30 *
PRIMREC
0.44 *
PRIMREC
0.60
Brockschmidt_16/SAS10/aaron2
*
n^1
0.12 *
n^1
0.12 *
n^1
3.76 *
YES
1.21 *
YES
0.19 *
POLY
0.56 *
n^1
0.70 *
n^1
1.08 *
n^1
65.27
Brockschmidt_16/SAS10/ackermann
*
n^1
0.12 *
n^1
0.12 *
n^1
1.19 *
YES
1.14 *
YES
0.95 *
POLY
0.70 *
n^1
0.35 *
n^1
0.96 *
n^1
4.40
Brockschmidt_16/SAS10/ax
*
n^2
0.12 *
n^2
0.11 *
n^2
1.45 *
YES
0.59 *
YES
0.37 *
POLY
2.59 *
POLY
1.25 *
POLY
1.08 *
POLY
5.11
Brockschmidt_16/SAS10/complex
*
n^2
0.11 *
n^1
0.13 *
TIMEOUT
60.00 *
YES
1.47 *
YES
0.89 *
TIMEOUT
60.00 *
n^1
9.22 *
n^1
15.27 *
n^1
115.44
Brockschmidt_16/SAS10/counterex1
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
8.42 *
YES
1.39 *
YES
0.68 *
PRIMREC
2.44 *
PRIMREC
2.53 *
PRIMREC
3.23 *
PRIMREC
113.69
Brockschmidt_16/SAS10/cousot9
*
n^2
0.14 *
n^2
0.13 *
n^2
1.99 *
YES
0.56 *
YES
0.37 *
POLY
4.29 *
POLY
0.90 *
POLY
3.91 *
POLY
8.33
Brockschmidt_16/SAS10/determinant
*
n^3
0.13 *
n^3
0.13 *
n^3
2.03 *
YES
0.77 *
YES
0.58 *
POLY
1.53 *
POLY
1.60 *
POLY
1.19 *
POLY
5.82
Brockschmidt_16/SAS10/easy1
*
n^0
0.12 *
n^0
0.11 *
n^1
3.30 *
YES
0.37 *
YES
0.38 *
n^0
0.27 *
n^1
1.21 *
n^0
0.57 *
n^0
5.23
Brockschmidt_16/SAS10/easy2
*
n^1
0.12 *
n^1
0.12 *
n^1
1.49 *
YES
0.21 *
YES
1.25 *
POLY
1.37 *
n^1
0.15 *
n^1
0.55 *
n^1
3.33
Brockschmidt_16/SAS10/exmini
*
n^1
0.12 *
n^1
0.12 *
n^1
1.57 *
YES
0.87 *
YES
0.45 *
n^1
1.74 *
n^1
0.17 *
n^1
0.37 *
n^1
3.85
Brockschmidt_16/SAS10/gcd
*
n^1
0.12 *
n^1
0.13 *
n^1
2.00 *
YES
0.99 *
YES
1.03 *
TIMEOUT
60.00 *
n^1
0.62 *
n^1
0.70 *
n^1
115.81
Brockschmidt_16/SAS10/insertsort
*
n^2
0.11 *
n^2
0.12 *
n^2
2.36 *
YES
0.76 *
YES
0.60 *
POLY
1.15 *
POLY
1.42 *
POLY
1.58 *
POLY
11.02
Brockschmidt_16/SAS10/loops
*
n^2
0.14 *
n^2
0.12 *
n^2
2.31 *
YES
0.96 *
YES
0.51 *
POLY
0.70 *
POLY
2.96 *
POLY
1.07 *
POLY
6.18
Brockschmidt_16/SAS10/maccarthy91
*
n^1
0.11 *
n^1
0.11 *
n^1
5.55 *
YES
0.83 *
YES
1.03 *
TIMEOUT
60.00 *
n^1
2.01 *
n^1
3.95 *
n^1
115.83
Brockschmidt_16/SAS10/nd_loop
*
n^0
0.12 *
n^0
0.12 *
n^0
1.45 *
YES
0.33 *
YES
0.15 *
n^0
0.48 *
n^0
0.33 *
n^0
0.50 *
n^0
4.18
Brockschmidt_16/SAS10/ndecr
*
n^1
0.11 *
n^1
0.11 *
n^1
0.88 *
YES
1.34 *
YES
0.61 *
n^1
0.24 *
n^1
0.93 *
n^1
0.35 *
n^1
3.84
Brockschmidt_16/SAS10/nestedLoop
*
n^2
0.12 *
n^2
0.12 *
n^2
5.79 *
YES
1.06 *
YES
0.34 *
POLY
3.00 *
POLY
3.02 *
POLY
2.91 *
POLY
13.84
Brockschmidt_16/SAS10/perfect
*
n^2
0.12 *
n^2
0.11 *
n^3
3.25 *
YES
0.85 *
YES
1.19 *
POLY
2.17 *
POLY
1.84 *
POLY
3.46 *
POLY
12.64
Brockschmidt_16/SAS10/random1d
*
n^1
0.12 *
n^1
0.11 *
n^2
1.46 *
YES
0.57 *
YES
0.34 *
n^1
33.98 *
n^1
0.51 *
n^1
35.06 *
n^1
115.39
Brockschmidt_16/SAS10/random2d
*
n^1
0.11 *
n^1
0.12 *
n^1
5.79 *
YES
0.82 *
YES
1.13 *
POLY
9.57 *
n^1
1.67 *
n^1
1.72 *
n^1
116.10
Brockschmidt_16/SAS10/realbubble
*
MAYBE
0.11 *
n^2
0.11 *
n^2
4.70 *
YES
1.20 *
YES
0.31 *
POLY
3.15 *
POLY
5.82 *
POLY
8.07 *
POLY
76.35
Brockschmidt_16/SAS10/realheapsort
*
n^2
0.13 *
n^2
0.11 *
n^2
16.63 *
YES
3.90 *
YES
1.54 *
Maybe
9.32 *
Maybe
24.69 *
Maybe
24.49 *
Maybe
114.04
Brockschmidt_16/SAS10/realselect
*
n^0
0.13 *
n^1
0.11 *
n^1
3.99 *
YES
0.39 *
YES
0.85 *
n^0
0.83 *
n^1
1.01 *
n^0
1.61 *
n^0
8.18
Brockschmidt_16/SAS10/realshellsort
*
n^3
0.13 *
MAYBE
0.14 *
n^3
4.60 *
YES
0.81 *
YES
0.71 *
TIMEOUT
60.00 *
Maybe
5.23 *
TIMEOUT
60.00 *
Maybe
116.19
Brockschmidt_16/SAS10/relation1
*
n^0
0.11 *
n^0
0.11 *
n^0
0.23 *
YES
0.17 *
YES
0.31 *
n^0
0.37 *
n^0
0.19 *
n^0
0.17 *
n^0
2.71
Brockschmidt_16/SAS10/rsd
*
n^2
0.11 *
n^2
0.11 *
n^2
5.31 *
YES
1.96 *
YES
0.61 *
POLY
1.69 *
POLY
3.71 *
POLY
5.11 *
POLY
39.08
Brockschmidt_16/SAS10/sipmabubble
*
n^2
0.12 *
n^2
0.13 *
n^3
3.29 *
YES
1.23 *
YES
1.05 *
POLY
2.19 *
POLY
2.08 *
POLY
3.56 *
POLY
19.63
Brockschmidt_16/SAS10/speedFails4
*
n^1
0.11 *
n^1
0.12 *
n^1
3.07 *
YES
0.26 *
YES
0.75 *
n^1
1.22 *
n^1
0.59 *
n^1
1.38 *
n^1
5.95
Brockschmidt_16/SAS10/speedpldi2
*
n^1
0.12 *
n^1
0.11 *
n^1
2.53 *
YES
0.21 *
YES
1.20 *
n^1
1.09 *
POLY
1.94 *
POLY
2.77 *
n^1
11.49
Brockschmidt_16/SAS10/speedpldi3
*
n^2
0.11 *
n^2
0.11 *
n^2
2.25 *
YES
0.71 *
YES
0.60 *
POLY
0.88 *
POLY
1.00 *
POLY
0.91 *
POLY
5.67
Brockschmidt_16/SAS10/speedpldi4
*
n^1
0.10 *
n^1
0.12 *
n^1
2.50 *
YES
0.88 *
YES
0.20 *
POLY
1.47 *
POLY
1.95 *
POLY
3.50 *
POLY
5.61
Brockschmidt_16/SAS10/terminate
*
n^1
0.13 *
n^1
0.11 *
n^1
1.56 *
YES
0.55 *
YES
0.17 *
n^1
1.00 *
n^1
0.95 *
n^1
0.22 *
n^1
6.79
Brockschmidt_16/SAS10/wcet1
*
n^1
0.12 *
n^1
0.11 *
n^1
4.73 *
YES
1.28 *
YES
1.20 *
POLY
7.41 *
n^1
0.26 *
n^1
1.16 *
n^1
59.54
Brockschmidt_16/SAS10/wcet2
*
n^1
0.14 *
n^1
0.13 *
n^1
2.90 *
YES
0.92 *
YES
0.23 *
POLY
0.55 *
n^1
0.81 *
n^1
0.96 *
n^1
6.73
Brockschmidt_16/SAS10/while2
*
n^2
0.11 *
n^2
0.11 *
n^2
1.87 *
YES
0.39 *
YES
0.74 *
POLY
1.10 *
POLY
0.62 *
POLY
0.88 *
POLY
5.89
Brockschmidt_16/SAS10/wise
*
n^1
0.13 *
n^1
0.13 *
n^1
1.62 *
YES
0.63 *
YES
0.37 *
POLY
0.51 *
n^1
0.31 *
n^1
1.00 *
n^1
6.97
Brockschmidt_16/T2/1
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
3.00 *
NO
0.55 *
NO
0.27 *
Maybe
0.17 *
Maybe
0.41 *
Maybe
0.74 *
Maybe
3.66
Brockschmidt_16/T2/1394-fail
*
MAYBE
0.12 *
MAYBE
0.09 *
MAYBE
14.45 *
NO
4.97 *
NO
2.05 *
Maybe
1.76 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
Maybe
8.80
Brockschmidt_16/T2/1394-succeed
*
MAYBE
0.10 *
MAYBE
0.13 *
MAYBE
13.30 *
NO
2.08 *
NO
2.71 *
Maybe
2.64 *
Maybe
56.64 *
Maybe
2.93 *
Maybe
19.55
Brockschmidt_16/T2/1394complete-fail
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
16.00 *
NO
3.35 *
NO
2.45 *
Maybe
2.04 *
Maybe
3.01 *
Maybe
3.73 *
Maybe
28.44
Brockschmidt_16/T2/1394complete-succeed
*
MAYBE
0.12 *
MAYBE
0.10 *
MAYBE
17.88 *
NO
0.67 *
NO
2.87 *
Maybe
2.52 *
Maybe
0.85 *
Maybe
4.57 *
Maybe
30.32
Brockschmidt_16/T2/2
*
MAYBE
0.10 *
MAYBE
0.12 *
MAYBE
2.29 *
NO
1.07 *
NO
0.35 *
Maybe
0.95 *
Maybe
1.70 *
Maybe
1.26 *
Maybe
1.14
Brockschmidt_16/T2/232
*
n^2
0.11 *
n^2
0.14 *
n^2
0.86 *
YES
0.87 *
YES
0.67 *
POLY
0.99 *
POLY
1.26 *
POLY
0.39 *
POLY
0.89
Brockschmidt_16/T2/241
*
n^2
0.10 *
n^2
0.10 *
n^2
0.70 *
YES
0.14 *
YES
0.15 *
POLY
0.42 *
POLY
0.46 *
POLY
0.50 *
POLY
1.71
Brockschmidt_16/T2/3
*
MAYBE
0.11 *
MAYBE
0.12 *
MAYBE
0.35 *
NO
0.95 *
NO
0.13 *
Maybe
0.55 *
Maybe
0.13 *
Maybe
0.54 *
Maybe
0.19
Brockschmidt_16/T2/5
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
1.03 *
NO
0.75 *
NO
1.50 *
Maybe
1.76 *
Maybe
2.41 *
Maybe
0.93 *
Maybe
4.78
Brockschmidt_16/T2/6
*
MAYBE
0.11 *
MAYBE
0.15 *
MAYBE
0.34 *
NO
0.12 *
NO
0.51 *
Maybe
0.18 *
Maybe
0.72 *
Maybe
0.73 *
Maybe
0.26
Brockschmidt_16/T2/7
*
MAYBE
0.13 *
MAYBE
0.14 *
MAYBE
0.58 *
NO
0.51 *
NO
1.38 *
Maybe
0.37 *
Maybe
0.37 *
Maybe
0.13 *
Maybe
0.30
Brockschmidt_16/T2/Loop
*
n^1
0.12 *
n^1
0.10 *
n^1
9.63 *
NO
1.72 *
YES
1.06 *
POLY
7.21 *
Maybe
3.01 *
POLY
49.05 *
POLY
114.18
Brockschmidt_16/T2/a.10.c
*
n^1
0.10 *
n^2
0.11 *
n^2
1.49 *
YES
0.99 *
YES
0.58 *
Maybe
3.19 *
POLY
7.04 *
POLY
4.63 *
POLY
15.00
Brockschmidt_16/T2/acqrel-fail
*
MAYBE
0.12 *
MAYBE
0.13 *
MAYBE
2.62 *
NO
0.44 *
NO
0.52 *
Maybe
0.16 *
Maybe
0.38 *
Maybe
0.28 *
Maybe
2.09
Brockschmidt_16/T2/afagp-fail
*
MAYBE
0.12 *
MAYBE
0.15 *
MAYBE
48.77 *
NO
4.89 *
NO
4.34 *
Maybe
3.98 *
Maybe
4.15 *
Maybe
3.63 *
Maybe
38.82
Brockschmidt_16/T2/afagx1
*
MAYBE
0.11 *
MAYBE
0.17 *
MAYBE
1.41 *
NO
0.52 *
NO
0.35 *
Maybe
0.15 *
Maybe
0.17 *
Maybe
0.99 *
Maybe
0.37
Brockschmidt_16/T2/agafp
*
MAYBE
0.12 *
MAYBE
0.13 *
MAYBE
43.07 *
NO
3.31 *
NO
2.09 *
Maybe
3.23 *
Maybe
2.17 *
Maybe
2.53 *
Maybe
74.74
Brockschmidt_16/T2/apchild-accepted
*
MAYBE
0.12 *
MAYBE
0.13 *
MAYBE
42.33 *
NO
2.09 *
NO
2.99 *
Maybe
2.54 *
Maybe
2.59 *
Maybe
2.48 *
Maybe
5.77
Brockschmidt_16/T2/apchild-accepted-fail
*
MAYBE
0.10 *
MAYBE
0.12 *
MAYBE
41.25 *
NO
0.98 *
NO
2.21 *
Maybe
2.02 *
Maybe
1.81 *
Maybe
2.89 *
Maybe
7.05
Brockschmidt_16/T2/apchild-live
*
MAYBE
0.12 *
MAYBE
0.12 *
TIMEOUT
60.00 *
NO
3.59 *
NO
2.89 *
Maybe
3.19 *
Maybe
5.43 *
Maybe
4.12 *
Maybe
6.52
Brockschmidt_16/T2/apchildlive-succeed
*
MAYBE
0.12 *
MAYBE
0.11 *
MAYBE
32.02 *
NO
0.90 *
NO
2.33 *
Maybe
1.61 *
Maybe
3.90 *
Maybe
1.97 *
Maybe
12.67
Brockschmidt_16/T2/array
*
n^0
0.10 *
n^0
0.10 *
n^0
0.04 *
n^0
0.52 *
n^0
0.25 *
n^0
0.88 *
n^0
0.13 *
n^0
0.72 *
n^0
0.62
Brockschmidt_16/T2/array1
*
n^0
0.12 *
n^0
0.13 *
n^0
0.04 *
n^0
0.31 *
n^0
1.35 *
n^0
1.33 *
n^0
0.32 *
n^0
0.52 *
n^0
0.12
Brockschmidt_16/T2/array2
*
n^0
0.10 *
n^0
0.14 *
n^0
0.36 *
YES
0.30 *
YES
1.13 *
n^0
0.75 *
n^0
0.51 *
n^0
0.20 *
n^0
3.28
Brockschmidt_16/T2/array3
*
n^0
0.12 *
n^0
0.12 *
n^0
0.70 *
YES
0.39 *
YES
0.36 *
n^0
0.78 *
n^0
0.75 *
n^0
1.15 *
n^0
1.48
Brockschmidt_16/T2/array_free
*
n^0
0.11 *
n^0
0.14 *
n^0
0.57 *
YES
1.12 *
YES
0.98 *
n^0
0.72 *
n^0
0.71 *
n^0
0.61 *
n^0
0.87
Brockschmidt_16/T2/array_init
*
n^0
0.12 *
n^0
0.12 *
n^0
0.37 *
YES
0.90 *
YES
0.73 *
n^0
0.53 *
n^0
0.35 *
n^0
0.35 *
n^0
0.59
Brockschmidt_16/T2/array_init_assign
*
n^0
0.12 *
n^0
0.13 *
n^0
0.76 *
YES
0.53 *
YES
1.84 *
n^0
0.93 *
n^0
0.74 *
n^0
0.36 *
n^0
5.57
Brockschmidt_16/T2/ase_example
*
n^0
0.12 *
n^0
0.11 *
n^0
0.81 *
YES
0.72 *
YES
0.20 *
n^0
0.27 *
n^0
1.06 *
n^0
0.71 *
n^0
5.13
Brockschmidt_16/T2/bf10
*
n^0
0.12 *
n^0
0.13 *
n^0
2.11 *
YES
0.41 *
YES
1.84 *
n^0
1.38 *
POLY
4.85 *
n^0
6.90 *
n^0
10.44
Brockschmidt_16/T2/bf11
*
n^0
0.13 *
n^0
0.13 *
n^0
1.85 *
YES
1.00 *
YES
1.28 *
n^0
0.76 *
POLY
3.04 *
n^0
6.22 *
n^0
15.78
Brockschmidt_16/T2/bf12
*
n^0
0.11 *
n^0
0.11 *
n^0
1.91 *
YES
0.41 *
YES
2.24 *
n^0
1.75 *
POLY
5.49 *
n^0
4.17 *
n^0
9.86
Brockschmidt_16/T2/bf13
*
n^0
0.13 *
n^0
0.11 *
n^0
1.95 *
YES
1.17 *
YES
0.75 *
n^0
0.98 *
POLY
5.54 *
n^0
3.55 *
n^0
27.31
Brockschmidt_16/T2/bf14
*
n^0
0.12 *
n^0
0.11 *
n^0
2.00 *
YES
0.68 *
YES
0.77 *
n^0
1.28 *
POLY
2.89 *
n^0
4.09 *
n^0
13.47
Brockschmidt_16/T2/bf15
*
n^0
0.13 *
n^0
0.13 *
n^0
1.89 *
YES
1.21 *
YES
0.68 *
n^0
1.52 *
POLY
8.36 *
n^0
4.78 *
n^0
32.15
Brockschmidt_16/T2/bf16
*
n^0
0.12 *
n^0
0.11 *
n^0
1.88 *
YES
1.27 *
YES
1.27 *
n^0
1.38 *
POLY
6.24 *
n^0
3.92 *
n^0
7.22
Brockschmidt_16/T2/bf17
*
n^0
0.11 *
n^0
0.11 *
n^0
1.88 *
YES
0.22 *
YES
1.79 *
n^0
1.93 *
POLY
3.83 *
n^0
3.43 *
n^0
3.96
Brockschmidt_16/T2/bf18
*
n^0
0.12 *
n^0
0.11 *
n^0
1.88 *
YES
1.79 *
YES
0.86 *
n^0
0.99 *
POLY
8.00 *
n^0
2.42 *
n^0
11.13
Brockschmidt_16/T2/bf19
*
n^0
0.12 *
n^0
0.12 *
n^0
2.16 *
YES
0.29 *
YES
0.86 *
n^0
0.58 *
POLY
3.37 *
n^0
4.21 *
n^0
3.43
Brockschmidt_16/T2/bf20
*
n^0
0.11 *
n^0
0.11 *
n^0
2.00 *
YES
0.63 *
YES
1.01 *
n^0
1.39 *
POLY
5.75 *
n^0
3.41 *
n^0
10.20
Brockschmidt_16/T2/bf5
*
n^0
0.11 *
n^0
0.14 *
n^0
1.99 *
YES
1.87 *
YES
0.89 *
n^0
0.96 *
POLY
6.10 *
n^0
2.87 *
n^0
12.63
Brockschmidt_16/T2/bf6
*
n^0
0.12 *
n^0
0.11 *
n^0
1.89 *
YES
0.59 *
YES
0.44 *
n^0
0.78 *
POLY
3.81 *
n^0
2.99 *
n^0
10.52
Brockschmidt_16/T2/bf7
*
n^0
0.11 *
n^0
0.11 *
n^0
2.02 *
YES
0.44 *
YES
0.46 *
n^0
1.36 *
POLY
2.81 *
n^0
4.57 *
n^0
11.32
Brockschmidt_16/T2/bf8
*
n^0
0.11 *
n^0
0.11 *
n^0
1.93 *
YES
0.79 *
YES
0.67 *
n^0
1.20 *
POLY
5.77 *
n^0
2.75 *
n^0
3.71
Brockschmidt_16/T2/bf9
*
n^0
0.12 *
n^0
0.12 *
n^0
1.96 *
YES
0.61 *
YES
0.52 *
n^0
0.97 *
POLY
3.64 *
n^0
3.19 *
n^0
23.88
Brockschmidt_16/T2/bio
*
MAYBE
0.12 *
MAYBE
0.13 *
TIMEOUT
60.00 *
NO
6.18 *
NO
13.48 *
Maybe
13.41 *
Maybe
15.35 *
Maybe
10.65 *
Maybe
49.68
Brockschmidt_16/T2/bitcount16
*
n^0
0.14 *
n^0
0.14 *
n^0
0.52 *
YES
0.60 *
YES
0.73 *
n^0
1.76 *
n^0
0.94 *
n^0
0.37 *
n^0
2.84
Brockschmidt_16/T2/bitcount32
*
n^0
0.12 *
n^0
0.10 *
n^0
0.51 *
YES
0.56 *
YES
2.07 *
n^0
0.38 *
n^0
0.91 *
n^0
0.15 *
n^0
7.69
Brockschmidt_16/T2/broydn
*
MAYBE
0.10 *
MAYBE
0.11 *
MAYBE
21.83 *
YES
5.39 *
YES
0.98 *
PRIMREC
4.77 *
TIMEOUT
60.01 *
PRIMREC
15.44 *
PRIMREC
113.39
Brockschmidt_16/T2/broydn.c.i.broydn.pl.t2.fixed
*
MAYBE
0.10 *
MAYBE
0.10 *
MAYBE
24.28 *
YES
3.44 *
YES
0.89 *
PRIMREC
2.51 *
TIMEOUT
60.00 *
PRIMREC
16.23 *
PRIMREC
113.53
Brockschmidt_16/T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed
*
MAYBE
0.11 *
MAYBE
0.13 *
MAYBE
21.83 *
YES
2.00 *
YES
4.02 *
PRIMREC
6.87 *
TIMEOUT
60.00 *
PRIMREC
9.49 *
PRIMREC
113.46
Brockschmidt_16/T2/brp
*
MAYBE
0.12 *
MAYBE
0.16 *
TIMEOUT
60.01 *
NO
1.20 *
NO
4.09 *
Maybe
4.58 *
Maybe
5.39 *
Maybe
12.31 *
Maybe
44.03
Brockschmidt_16/T2/brp_withassume
*
MAYBE
0.12 *
MAYBE
0.13 *
TIMEOUT
60.00 *
NO
0.73 *
YES
4.52 *
Maybe
14.40 *
Maybe
1.97 *
TIMEOUT
60.00 *
Maybe
116.47
Brockschmidt_16/T2/bs
*
MAYBE
0.11 *
MAYBE
0.12 *
MAYBE
2.48 *
NO
0.40 *
NO
1.52 *
Maybe
1.55 *
Maybe
0.29 *
Maybe
0.46 *
Maybe
0.51
Brockschmidt_16/T2/bsort100
*
n^0
0.13 *
n^0
0.12 *
n^0
1.72 *
YES
0.39 *
YES
0.93 *
POLY
1.29 *
POLY
5.38 *
n^0
27.44 *
n^0
30.05
Brockschmidt_16/T2/bubbleSort
*
n^2
0.12 *
n^2
0.12 *
n^2
1.64 *
YES
0.58 *
YES
0.62 *
POLY
1.66 *
PRIMREC
3.40 *
POLY
3.13 *
POLY
5.68
Brockschmidt_16/T2/bubblesort_inner_loop
*
n^0
0.15 *
n^0
0.12 *
n^0
1.19 *
YES
0.15 *
YES
0.86 *
n^0
0.37 *
n^0
0.55 *
n^0
1.14 *
n^0
1.55
Brockschmidt_16/T2/buggyNonTermLoop
*
MAYBE
0.11 *
MAYBE
0.15 *
MAYBE
9.48 *
NO
2.91 *
NO
1.11 *
Maybe
1.22 *
Maybe
3.93 *
Maybe
4.31 *
Maybe
6.67
Brockschmidt_16/T2/byron-1
*
n^1
0.13 *
n^1
0.11 *
n^1
1.20 *
NO
0.19 *
YES
1.33 *
n^1
0.98 *
Maybe
0.40 *
n^1
1.12 *
n^1
0.54
Brockschmidt_16/T2/byron-2
*
MAYBE
0.11 *
MAYBE
0.12 *
MAYBE
1.65 *
YES
0.92 *
YES
0.91 *
Maybe
1.19 *
Maybe
4.19 *
Maybe
5.43 *
Maybe
15.01
Brockschmidt_16/T2/byron-3
*
MAYBE
0.13 *
MAYBE
0.14 *
MAYBE
0.81 *
NO
0.64 *
NO
0.33 *
Maybe
0.53 *
Maybe
0.35 *
Maybe
0.14 *
Maybe
0.44
Brockschmidt_16/T2/byron-4
*
n^1
0.13 *
n^1
0.11 *
n^1
1.07 *
YES
1.82 *
YES
0.14 *
POLY
0.22 *
n^1
0.97 *
n^1
0.92 *
n^1
0.82
Brockschmidt_16/T2/cfg
*
MAYBE
0.14 *
MAYBE
0.16 *
MAYBE
1.32 *
NO
0.13 *
NO
0.48 *
Maybe
0.26 *
Maybe
0.15 *
Maybe
0.53 *
Maybe
0.66
Brockschmidt_16/T2/cnt
*
n^0
0.12 *
n^0
0.12 *
n^0
1.64 *
YES
0.26 *
YES
0.68 *
n^0
1.53 *
POLY
1.00 *
POLY
1.62 *
n^0
25.53
Brockschmidt_16/T2/collatz
*
MAYBE
0.11 *
MAYBE
0.12 *
MAYBE
6.38 *
NO
1.75 *
NO
0.16 *
Maybe
0.80 *
Maybe
4.14 *
Maybe
0.56 *
Maybe
1.70
Brockschmidt_16/T2/complex_guard
*
n^0
0.11 *
n^0
0.10 *
n^0
0.55 *
YES
0.57 *
YES
0.25 *
n^0
0.22 *
n^0
0.18 *
n^0
0.55 *
n^0
4.53
Brockschmidt_16/T2/constants
*
n^0
0.11 *
n^0
0.12 *
n^0
0.56 *
YES
0.66 *
YES
0.19 *
n^0
0.41 *
n^0
0.14 *
n^0
0.37 *
n^0
12.52
Brockschmidt_16/T2/consts1
*
n^0
0.12 *
n^0
0.10 *
n^0
0.34 *
YES
0.32 *
YES
0.14 *
n^0
0.14 *
n^0
0.15 *
n^0
0.21 *
n^0
0.60
Brockschmidt_16/T2/consts1nt
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
0.47 *
NO
1.04 *
NO
0.34 *
Maybe
0.14 *
Maybe
0.69 *
Maybe
0.33 *
Maybe
0.16
Brockschmidt_16/T2/consts2
*
n^1
0.12 *
n^1
0.14 *
n^1
0.34 *
YES
1.82 *
YES
0.71 *
n^1
0.73 *
n^1
0.30 *
n^1
0.34 *
n^1
2.18
Brockschmidt_16/T2/consts2nt
*
MAYBE
0.11 *
MAYBE
0.12 *
MAYBE
0.48 *
NO
0.36 *
NO
0.72 *
Maybe
0.32 *
Maybe
0.16 *
Maybe
0.73 *
Maybe
0.20
Brockschmidt_16/T2/consts3
*
n^1
0.11 *
n^1
0.11 *
n^1
0.32 *
YES
0.51 *
YES
0.13 *
n^1
0.17 *
n^1
0.68 *
n^1
0.69 *
n^1
0.48
Brockschmidt_16/T2/consts3nt
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
0.33 *
NO
0.31 *
NO
0.68 *
Maybe
0.52 *
Maybe
0.33 *
Maybe
0.34 *
Maybe
1.79
Brockschmidt_16/T2/consts4
*
n^1
0.12 *
n^1
0.10 *
n^1
0.28 *
YES
0.51 *
YES
0.50 *
n^1
0.73 *
n^1
0.70 *
n^1
0.94 *
n^1
1.13
Brockschmidt_16/T2/consts4nt
*
MAYBE
0.10 *
MAYBE
0.10 *
MAYBE
0.46 *
NO
0.13 *
NO
0.35 *
Maybe
0.33 *
Maybe
0.13 *
Maybe
0.33 *
Maybe
0.21
Brockschmidt_16/T2/consts5
*
n^0
0.11 *
n^0
0.12 *
n^0
0.10 *
YES
0.13 *
n^0
0.90 *
n^0
0.88 *
n^0
0.37 *
n^0
0.12 *
n^0
0.14
Brockschmidt_16/T2/consts5nt
*
MAYBE
0.13 *
MAYBE
0.13 *
MAYBE
0.73 *
NO
0.43 *
NO
0.52 *
Maybe
0.29 *
Maybe
0.94 *
Maybe
0.33 *
Maybe
0.21
Brockschmidt_16/T2/cover
*
MAYBE
0.13 *
n^0
0.12 *
TIMEOUT
60.00 *
YES
35.26 *
YES
32.39 *
TIMEOUT
60.00 *
n^0
44.70 *
n^0
37.77 *
n^0
122.44
Brockschmidt_16/T2/crc
*
n^0
0.11 *
n^0
0.12 *
n^0
8.18 *
YES
3.34 *
YES
3.22 *
n^0
9.22 *
Maybe
11.62 *
n^0
12.77 *
n^0
53.77
Brockschmidt_16/T2/create
*
MAYBE
0.11 *
MAYBE
0.12 *
MAYBE
1.29 *
YES
0.21 *
YES
0.34 *
Maybe
1.74 *
Maybe
1.09 *
Maybe
1.15 *
Maybe
5.19
Brockschmidt_16/T2/create_seg
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
1.37 *
YES
0.54 *
YES
0.29 *
Maybe
0.96 *
Maybe
0.99 *
Maybe
2.13 *
Maybe
7.89
Brockschmidt_16/T2/create_via_tmps
*
n^1
0.12 *
n^1
0.13 *
n^1
5.49 *
YES
1.26 *
YES
1.05 *
n^1
5.73 *
POLY
25.25 *
POLY
17.52 *
n^1
113.66
Brockschmidt_16/T2/ctl
*
MAYBE
0.11 *
MAYBE
0.13 *
MAYBE
1.17 *
NO
0.38 *
NO
1.28 *
Maybe
1.58 *
Maybe
0.50 *
Maybe
0.84 *
Maybe
0.69
Brockschmidt_16/T2/curious
*
MAYBE
0.11 *
MAYBE
0.12 *
MAYBE
0.30 *
NO
0.22 *
NO
0.64 *
Maybe
0.53 *
Maybe
0.14 *
Maybe
0.52 *
Maybe
0.37
Brockschmidt_16/T2/curious4
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
48.42 *
NO
3.01 *
NO
4.19 *
Maybe
3.84 *
Maybe
5.59 *
Maybe
6.09 *
Maybe
29.08
Brockschmidt_16/T2/d
*
MAYBE
0.13 *
MAYBE
0.13 *
MAYBE
0.54 *
NO
0.66 *
NO
0.12 *
Maybe
0.32 *
Maybe
0.32 *
Maybe
0.66 *
Maybe
0.16
Brockschmidt_16/T2/db2
*
MAYBE
0.12 *
MAYBE
0.11 *
TIMEOUT
60.00 *
NO
14.19 *
NO
14.61 *
Maybe
11.25 *
Maybe
16.03 *
Maybe
13.73 *
Maybe
46.12
Brockschmidt_16/T2/db3
*
MAYBE
0.11 *
MAYBE
0.11 *
TIMEOUT
60.04 *
NO
10.39 *
NO
19.29 *
Maybe
11.58 *
Maybe
16.24 *
Maybe
9.20 *
Maybe
66.50
Brockschmidt_16/T2/dead.neg-st88b-succeed
*
MAYBE
0.12 *
MAYBE
0.13 *
MAYBE
2.08 *
NO
0.57 *
NO
0.77 *
Maybe
0.35 *
Maybe
0.79 *
Maybe
0.41 *
Maybe
2.03
Brockschmidt_16/T2/destroy
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
6.27 *
YES
0.76 *
YES
1.37 *
Maybe
8.44 *
Maybe
6.97 *
Maybe
23.62 *
Maybe
113.46
Brockschmidt_16/T2/destroy_seg
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
7.10 *
YES
0.69 *
YES
1.25 *
Maybe
4.96 *
Maybe
19.53 *
Maybe
17.22 *
Maybe
113.48
Brockschmidt_16/T2/destroy_seg_leak
*
MAYBE
0.13 *
MAYBE
0.12 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
NO
52.91 *
Maybe
48.79 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
Maybe
119.71
Brockschmidt_16/T2/disj_nightmare_abi
*
n^0
0.13 *
n^0
0.10 *
n^0
0.18 *
YES
0.37 *
YES
1.04 *
n^0
0.39 *
n^0
0.38 *
n^0
0.33 *
n^0
2.43
Brockschmidt_16/T2/dropbuf
*
MAYBE
0.12 *
MAYBE
0.13 *
MAYBE
6.17 *
NO
1.46 *
NO
2.15 *
Maybe
3.88 *
Maybe
2.14 *
Maybe
0.89 *
Maybe
4.42
Brockschmidt_16/T2/dropbuf-live
*
n^0
0.11 *
n^0
0.11 *
n^0
0.13 *
n^0
0.68 *
n^0
0.30 *
n^0
0.86 *
n^0
0.12 *
n^0
0.33 *
n^0
0.14
Brockschmidt_16/T2/dsa_test
*
n^0
0.15 *
n^0
0.12 *
n^0
0.04 *
n^0
0.15 *
n^0
0.12 *
n^0
0.73 *
n^0
0.12 *
n^0
0.31 *
n^0
0.15
Brockschmidt_16/T2/dsa_test1
*
n^0
0.10 *
n^0
0.10 *
n^0
0.06 *
n^0
1.30 *
n^0
0.52 *
n^0
0.16 *
n^0
0.93 *
n^0
0.50 *
n^0
0.14
Brockschmidt_16/T2/dsa_test10
*
n^0
0.13 *
n^0
0.11 *
n^0
0.84 *
YES
0.53 *
YES
0.34 *
n^0
0.57 *
n^0
0.73 *
n^0
0.73 *
n^0
2.93
Brockschmidt_16/T2/dsa_test11
*
n^0
0.12 *
n^0
0.12 *
n^0
0.06 *
n^0
1.77 *
n^0
0.35 *
n^0
0.37 *
n^0
0.54 *
n^0
0.31 *
n^0
0.14
Brockschmidt_16/T2/dsa_test12
*
n^0
0.11 *
n^0
0.12 *
n^0
0.06 *
n^0
0.15 *
n^0
0.33 *
n^0
0.13 *
n^0
0.17 *
n^0
0.89 *
n^0
0.52
Brockschmidt_16/T2/dsa_test13
*
n^0
0.13 *
n^0
0.13 *
n^0
0.05 *
n^0
0.14 *
n^0
0.54 *
n^0
0.35 *
n^0
0.15 *
n^0
0.12 *
n^0
0.14
Brockschmidt_16/T2/dsa_test15
*
n^0
0.13 *
n^0
0.14 *
n^0
0.76 *
YES
0.92 *
YES
0.25 *
n^0
0.22 *
n^0
0.55 *
n^0
0.71 *
n^0
6.78
Brockschmidt_16/T2/dsa_test4
*
n^0
0.12 *
n^0
0.13 *
n^0
0.05 *
n^0
0.12 *
n^0
0.39 *
n^0
0.12 *
n^0
0.52 *
n^0
0.15 *
n^0
0.13
Brockschmidt_16/T2/dsa_test5
*
n^0
0.12 *
n^0
0.11 *
n^0
0.08 *
n^0
1.72 *
n^0
0.34 *
n^0
0.12 *
n^0
0.10 *
n^0
0.32 *
n^0
0.36
Brockschmidt_16/T2/dsa_test6
*
n^0
0.11 *
n^0
0.11 *
n^0
0.34 *
YES
0.74 *
YES
0.56 *
n^0
0.58 *
n^0
0.53 *
n^0
0.14 *
n^0
0.64
Brockschmidt_16/T2/dsa_test8
*
n^0
0.12 *
n^0
0.12 *
n^0
0.07 *
n^0
0.13 *
n^0
0.14 *
n^0
0.15 *
n^0
0.12 *
n^0
0.47 *
n^0
0.54
Brockschmidt_16/T2/dsa_test9
*
n^0
0.13 *
n^0
0.13 *
n^0
0.10 *
n^0
0.32 *
n^0
0.13 *
n^0
0.12 *
n^0
0.14 *
n^0
1.33 *
n^0
0.14
Brockschmidt_16/T2/dummy
*
MAYBE
0.12 *
MAYBE
0.13 *
MAYBE
0.95 *
NO
0.34 *
NO
0.51 *
Maybe
0.35 *
Maybe
0.20 *
Maybe
0.53 *
Maybe
0.24
Brockschmidt_16/T2/e-1394complete-succeed
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
16.03 *
NO
1.86 *
NO
2.11 *
Maybe
2.28 *
Maybe
1.86 *
Maybe
3.49 *
Maybe
11.44
Brockschmidt_16/T2/e-acqrel-fail
*
MAYBE
0.12 *
MAYBE
0.11 *
MAYBE
2.36 *
NO
0.16 *
NO
0.14 *
Maybe
0.14 *
Maybe
0.37 *
Maybe
0.49 *
Maybe
0.30
Brockschmidt_16/T2/e-acqrel-succeed
*
MAYBE
0.12 *
MAYBE
0.10 *
MAYBE
0.99 *
NO
0.14 *
NO
0.84 *
Maybe
0.67 *
Maybe
0.39 *
Maybe
0.56 *
Maybe
6.60
Brockschmidt_16/T2/e-pgarch-fail
*
MAYBE
0.11 *
MAYBE
0.13 *
MAYBE
1.32 *
NO
0.14 *
NO
0.24 *
Maybe
0.26 *
Maybe
0.38 *
Maybe
0.74 *
Maybe
4.85
Brockschmidt_16/T2/e-pgarch-succeed
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
1.85 *
NO
1.48 *
NO
0.36 *
Maybe
0.37 *
Maybe
0.63 *
Maybe
0.50 *
Maybe
2.38
Brockschmidt_16/T2/e-popl07-fail
*
MAYBE
0.12 *
MAYBE
0.10 *
MAYBE
3.14 *
NO
0.95 *
NO
0.45 *
Maybe
0.68 *
Maybe
1.27 *
Maybe
1.89 *
Maybe
1.22
Brockschmidt_16/T2/edn
*
n^0
0.10 *
n^0
0.11 *
n^0
7.56 *
YES
0.91 *
YES
1.21 *
n^0
31.09 *
n^0
7.56 *
TIMEOUT
60.00 *
n^0
116.75
Brockschmidt_16/T2/efegp
*
MAYBE
0.13 *
MAYBE
0.12 *
MAYBE
20.58 *
NO
1.51 *
NO
1.89 *
Maybe
1.80 *
Maybe
1.51 *
Maybe
4.39 *
Maybe
41.19
Brockschmidt_16/T2/elmhes
*
MAYBE
0.14 *
n^2
0.13 *
n^2
5.55 *
YES
1.69 *
YES
2.10 *
PRIMREC
1.46 *
PRIMREC
22.69 *
PRIMREC
6.77 *
PRIMREC
113.50
Brockschmidt_16/T2/elmhes.c.i.elmhes.pl.t2.fixed
*
MAYBE
0.12 *
n^2
0.12 *
n^2
5.41 *
YES
1.97 *
YES
0.68 *
PRIMREC
2.67 *
PRIMREC
19.23 *
PRIMREC
6.99 *
PRIMREC
113.31
Brockschmidt_16/T2/elmhes.c.i.elmhes.pl.t2.nor.t2.rlgfixed
*
MAYBE
0.11 *
n^2
0.12 *
n^2
5.43 *
YES
1.89 *
YES
0.69 *
PRIMREC
1.65 *
PRIMREC
19.64 *
PRIMREC
8.74 *
PRIMREC
113.30
Brockschmidt_16/T2/eric
*
n^1
0.13 *
n^2
0.10 *
MAYBE
1.25 *
NO
0.36 *
NO
0.17 *
Maybe
0.57 *
Maybe
0.97 *
Maybe
0.60 *
Maybe
1.69
Brockschmidt_16/T2/eric1
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
2.91 *
NO
0.74 *
YES
0.95 *
PRIMREC
1.17 *
Maybe
0.15 *
PRIMREC
1.00 *
PRIMREC
2.45
Brockschmidt_16/T2/eric2
*
MAYBE
0.12 *
MAYBE
0.10 *
TIMEOUT
60.00 *
NO
2.01 *
YES
7.29 *
TIMEOUT
60.00 *
Maybe
0.28 *
TIMEOUT
60.00 *
Maybe
119.12
Brockschmidt_16/T2/eric3
*
MAYBE
0.15 *
MAYBE
0.13 *
MAYBE
1.81 *
NO
0.55 *
NO
0.17 *
Maybe
0.15 *
Maybe
0.17 *
Maybe
0.14 *
Maybe
2.52
Brockschmidt_16/T2/ex1
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
0.85 *
NO
0.15 *
NO
0.52 *
Maybe
0.13 *
Maybe
0.25 *
Maybe
0.14 *
Maybe
1.57
Brockschmidt_16/T2/ex10
*
MAYBE
0.15 *
MAYBE
0.13 *
MAYBE
0.62 *
NO
0.58 *
NO
0.46 *
Maybe
0.36 *
Maybe
0.22 *
Maybe
0.38 *
Maybe
3.27
Brockschmidt_16/T2/ex11
*
MAYBE
0.11 *
MAYBE
0.14 *
MAYBE
1.50 *
NO
0.81 *
NO
0.38 *
Maybe
0.57 *
Maybe
0.99 *
Maybe
1.17 *
Maybe
0.43
Brockschmidt_16/T2/ex12
*
n^0
0.12 *
n^0
0.11 *
n^0
0.52 *
YES
0.14 *
YES
0.74 *
n^0
0.75 *
n^0
0.19 *
n^0
0.38 *
n^0
0.34
Brockschmidt_16/T2/ex13
*
n^0
0.12 *
n^0
0.11 *
n^0
0.06 *
n^0
0.12 *
n^0
0.16 *
n^0
0.15 *
n^0
0.30 *
n^0
0.45 *
n^0
0.13
Brockschmidt_16/T2/ex14
*
n^0
0.11 *
n^0
0.12 *
n^0
0.50 *
YES
0.15 *
YES
0.37 *
n^0
0.51 *
n^0
0.14 *
n^0
0.13 *
n^0
0.36
Brockschmidt_16/T2/ex15
*
n^0
0.10 *
n^0
0.11 *
n^0
0.13 *
n^0
0.63 *
n^0
0.32 *
n^0
0.73 *
n^0
0.18 *
n^0
0.32 *
n^0
0.13
Brockschmidt_16/T2/ex16
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
2.36 *
NO
0.43 *
NO
0.34 *
Maybe
0.76 *
Maybe
0.36 *
Maybe
1.65 *
Maybe
3.09
Brockschmidt_16/T2/ex17
*
n^0
0.11 *
n^0
0.11 *
n^0
0.85 *
YES
0.38 *
YES
0.13 *
n^0
0.14 *
n^0
0.16 *
n^0
0.36 *
n^0
0.29
Brockschmidt_16/T2/ex18
*
n^0
0.11 *
MAYBE
0.11 *
MAYBE
3.66 *
NO
0.54 *
NO
0.95 *
Maybe
2.12 *
Maybe
0.81 *
Maybe
0.36 *
Maybe
5.91
Brockschmidt_16/T2/ex19
*
MAYBE
0.11 *
MAYBE
0.13 *
MAYBE
1.98 *
NO
0.15 *
NO
0.36 *
Maybe
0.38 *
Maybe
0.78 *
Maybe
0.78 *
Maybe
1.93
Brockschmidt_16/T2/ex2
*
MAYBE
0.10 *
MAYBE
0.11 *
MAYBE
1.64 *
NO
0.92 *
NO
0.35 *
Maybe
0.15 *
Maybe
0.55 *
Maybe
0.92 *
Maybe
0.55
Brockschmidt_16/T2/ex20
*
n^0
0.12 *
n^0
0.12 *
n^0
0.83 *
YES
1.41 *
YES
0.16 *
n^0
0.17 *
n^0
0.58 *
n^0
0.93 *
n^0
0.76
Brockschmidt_16/T2/ex21
*
n^0
0.12 *
n^0
0.11 *
n^0
0.89 *
YES
0.67 *
YES
0.15 *
n^0
0.78 *
n^0
0.36 *
n^0
0.90 *
n^0
0.68
Brockschmidt_16/T2/ex22
*
n^0
0.12 *
n^0
0.11 *
n^0
13.12 *
YES
1.52 *
YES
2.09 *
n^0
6.23 *
n^1
6.18 *
n^0
10.58 *
n^0
34.71
Brockschmidt_16/T2/ex23
*
n^0
0.14 *
n^0
0.11 *
n^0
0.50 *
YES
0.35 *
YES
0.36 *
n^0
0.18 *
n^0
0.33 *
n^0
0.13 *
n^0
0.66
Brockschmidt_16/T2/ex26
*
n^0
0.14 *
n^0
0.11 *
n^0
0.95 *
YES
0.57 *
YES
0.52 *
n^0
0.59 *
n^0
0.34 *
n^0
0.55 *
n^0
1.76
Brockschmidt_16/T2/ex27
*
n^0
0.11 *
n^0
0.13 *
n^0
23.96 *
YES
2.83 *
YES
4.58 *
n^0
17.08 *
n^1
27.43 *
n^0
33.03 *
n^0
88.88
Brockschmidt_16/T2/ex29
*
n^0
0.11 *
n^0
0.13 *
n^0
0.65 *
YES
0.98 *
YES
0.80 *
n^0
0.67 *
n^0
0.16 *
n^0
1.36 *
n^0
3.48
Brockschmidt_16/T2/ex3
*
n^0
0.12 *
n^0
0.13 *
n^0
0.41 *
YES
0.55 *
YES
0.52 *
n^0
1.20 *
n^0
1.37 *
n^0
0.42 *
n^0
5.76
Brockschmidt_16/T2/ex30
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
1.66 *
YES
0.19 *
YES
0.19 *
Maybe
0.38 *
Maybe
1.03 *
Maybe
1.25 *
Maybe
2.21
Brockschmidt_16/T2/ex31
*
MAYBE
0.13 *
MAYBE
0.13 *
MAYBE
0.48 *
NO
0.74 *
NO
0.24 *
Maybe
1.32 *
Maybe
0.35 *
Maybe
0.21 *
Maybe
1.60
Brockschmidt_16/T2/ex32
*
n^0
0.10 *
n^0
0.11 *
n^0
0.84 *
YES
0.38 *
YES
0.16 *
n^0
0.60 *
n^0
0.75 *
n^0
0.15 *
n^0
0.67
Brockschmidt_16/T2/ex33
*
n^0
0.13 *
n^0
0.11 *
n^0
0.34 *
n^0
0.72 *
n^0
0.41 *
n^0
0.37 *
n^0
0.49 *
n^0
1.15 *
n^0
0.14
Brockschmidt_16/T2/ex34
*
n^0
0.11 *
n^0
0.11 *
n^0
0.02 *
n^0
0.32 *
n^0
0.50 *
n^0
0.12 *
n^0
0.33 *
n^0
0.12 *
n^0
0.34
Brockschmidt_16/T2/ex36
*
MAYBE
0.12 *
MAYBE
0.13 *
TIMEOUT
60.00 *
NO
5.91 *
NO
2.56 *
TIMEOUT
60.00 *
TIMEOUT
60.01 *
TIMEOUT
60.00 *
Maybe
115.89
Brockschmidt_16/T2/ex37
*
n^0
0.12 *
n^0
0.14 *
n^0
0.04 *
n^0
0.36 *
n^0
0.12 *
n^0
0.32 *
n^0
0.72 *
n^0
0.50 *
n^0
0.15
Brockschmidt_16/T2/ex4
*
n^0
0.12 *
n^0
0.13 *
n^0
1.19 *
YES
0.37 *
YES
0.41 *
n^0
0.61 *
n^0
3.54 *
n^0
1.39 *
n^0
5.61
Brockschmidt_16/T2/ex40
*
MAYBE
0.14 *
MAYBE
0.11 *
MAYBE
1.26 *
NO
0.17 *
NO
0.17 *
Maybe
0.19 *
Maybe
1.19 *
Maybe
1.18 *
Maybe
2.93
Brockschmidt_16/T2/ex6
*
n^0
0.11 *
n^0
0.11 *
n^0
0.09 *
n^0
0.32 *
n^0
0.13 *
n^0
0.13 *
n^0
0.17 *
n^0
0.55 *
n^0
0.34
Brockschmidt_16/T2/ex7
*
n^0
0.13 *
n^0
0.11 *
n^0
0.42 *
YES
0.52 *
YES
0.24 *
n^0
0.15 *
n^0
0.76 *
n^0
0.34 *
n^0
3.94
Brockschmidt_16/T2/ex8
*
MAYBE
0.13 *
MAYBE
0.12 *
MAYBE
1.72 *
NO
0.21 *
NO
0.37 *
Maybe
0.97 *
Maybe
0.28 *
Maybe
1.77 *
Maybe
4.29
Brockschmidt_16/T2/ex9
*
MAYBE
0.11 *
MAYBE
0.13 *
MAYBE
2.13 *
NO
0.36 *
NO
0.77 *
Maybe
1.15 *
Maybe
0.81 *
Maybe
0.86 *
Maybe
0.74
Brockschmidt_16/T2/example
*
n^1
0.12 *
n^1
0.14 *
n^1
0.59 *
YES
0.49 *
YES
0.43 *
n^1
1.15 *
n^1
0.75 *
n^1
0.28 *
n^1
0.69
Brockschmidt_16/T2/fake-succeed
*
MAYBE
0.09 *
MAYBE
0.12 *
TIMEOUT
60.02 *
NO
6.02 *
NO
5.37 *
Maybe
44.89 *
Maybe
51.10 *
Maybe
44.27 *
Maybe
116.37
Brockschmidt_16/T2/fast_poll
*
MAYBE
0.13 *
MAYBE
0.12 *
MAYBE
17.25 *
NO
1.82 *
NO
2.19 *
Maybe
1.74 *
Maybe
3.42 *
Maybe
4.81 *
Maybe
22.37
Brockschmidt_16/T2/fdct
*
n^0
0.12 *
n^0
0.13 *
n^0
0.58 *
YES
0.37 *
YES
0.35 *
n^0
0.64 *
n^0
0.47 *
n^0
0.28 *
n^0
42.29
Brockschmidt_16/T2/fermat
*
n^0
0.13 *
n^0
0.15 *
n^0
1.25 *
YES
0.35 *
YES
0.22 *
n^0
0.84 *
Maybe
1.26 *
n^0
0.95 *
n^0
3.39
Brockschmidt_16/T2/fibcall
*
n^0
0.12 *
n^0
0.12 *
n^0
0.86 *
YES
0.15 *
YES
0.74 *
n^0
2.05 *
n^0
0.14 *
n^0
0.63 *
n^0
1.62
Brockschmidt_16/T2/fir
*
MAYBE
0.11 *
MAYBE
0.13 *
MAYBE
6.30 *
YES
0.17 *
YES
1.25 *
Maybe
1.64 *
Maybe
3.52 *
Maybe
6.80 *
Maybe
21.41
Brockschmidt_16/T2/firewire
*
MAYBE
0.11 *
MAYBE
0.12 *
MAYBE
8.77 *
NO
0.84 *
NO
0.89 *
Maybe
0.50 *
Maybe
2.74 *
Maybe
2.67 *
Maybe
7.84
Brockschmidt_16/T2/flipflop
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
0.48 *
NO
1.27 *
NO
0.52 *
Maybe
0.33 *
Maybe
0.52 *
Maybe
0.29 *
Maybe
0.57
Brockschmidt_16/T2/fourn
*
MAYBE
0.10 *
MAYBE
0.12 *
MAYBE
16.53 *
NO
0.66 *
NO
1.30 *
Maybe
1.28 *
Maybe
0.50 *
Maybe
1.59 *
Maybe
6.79
Brockschmidt_16/T2/fourn.c.i.fourn.pl.t2.fixed
*
MAYBE
0.12 *
n^1
0.12 *
n^1
1.02 *
YES
1.66 *
YES
0.14 *
n^1
0.17 *
n^1
1.61 *
n^1
0.18 *
n^1
2.97
Brockschmidt_16/T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
17.24 *
NO
2.27 *
NO
0.67 *
Maybe
0.69 *
Maybe
1.05 *
Maybe
1.63 *
Maybe
2.15
Brockschmidt_16/T2/fuhs-inflasso
*
n^2
0.10 *
n^2
0.11 *
n^2
0.48 *
YES
0.93 *
YES
0.74 *
POLY
1.42 *
PRIMREC
0.28 *
POLY
0.90 *
POLY
1.08
Brockschmidt_16/T2/fun1
*
MAYBE
0.12 *
MAYBE
0.11 *
MAYBE
9.38 *
NO
0.32 *
NO
2.58 *
Maybe
1.61 *
Maybe
1.15 *
Maybe
3.26 *
Maybe
8.51
Brockschmidt_16/T2/fun10
*
MAYBE
0.13 *
MAYBE
0.11 *
TIMEOUT
60.01 *
NO
0.63 *
NO
1.25 *
Maybe
1.88 *
Maybe
0.76 *
Maybe
1.39 *
Maybe
2.34
Brockschmidt_16/T2/fun10b
*
MAYBE
0.10 *
MAYBE
0.11 *
MAYBE
44.26 *
NO
0.51 *
NO
0.81 *
Maybe
1.99 *
Maybe
0.75 *
Maybe
2.04 *
Maybe
8.01
Brockschmidt_16/T2/fun11
*
MAYBE
0.10 *
MAYBE
0.12 *
MAYBE
1.00 *
NO
0.98 *
NO
1.31 *
Maybe
1.13 *
Maybe
0.97 *
Maybe
0.76 *
Maybe
1.65
Brockschmidt_16/T2/fun1b
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
10.68 *
NO
2.49 *
NO
3.90 *
Maybe
2.85 *
Maybe
3.63 *
Maybe
6.60 *
Maybe
15.39
Brockschmidt_16/T2/fun2
*
n^1
0.11 *
n^1
0.10 *
n^1
9.77 *
NO
0.53 *
YES
1.75 *
POLY
7.83 *
Maybe
1.21 *
POLY
32.74 *
POLY
113.96
Brockschmidt_16/T2/fun2b
*
MAYBE
0.11 *
MAYBE
0.14 *
MAYBE
9.56 *
NO
2.10 *
NO
1.43 *
Maybe
1.54 *
Maybe
2.62 *
Maybe
4.34 *
Maybe
8.09
Brockschmidt_16/T2/fun3
*
n^1
0.11 *
n^1
0.11 *
n^1
9.32 *
NO
1.94 *
YES
2.37 *
POLY
12.41 *
Maybe
5.19 *
POLY
30.43 *
POLY
114.02
Brockschmidt_16/T2/fun4
*
n^1
0.12 *
n^0
0.10 *
n^0
1.43 *
YES
0.17 *
YES
0.91 *
TIMEOUT
60.01 *
POLY
0.26 *
TIMEOUT
60.00 *
n^1
115.16
Brockschmidt_16/T2/fun4-alt
*
n^1
0.12 *
n^0
0.12 *
n^0
0.83 *
YES
1.15 *
YES
0.40 *
TIMEOUT
60.00 *
POLY
0.60 *
TIMEOUT
60.00 *
n^1
115.15
Brockschmidt_16/T2/fun5
*
n^1
0.12 *
MAYBE
0.11 *
MAYBE
10.29 *
NO
0.43 *
NO
1.13 *
Maybe
2.65 *
Maybe
1.72 *
Maybe
1.21 *
Maybe
2.80
Brockschmidt_16/T2/fun6
*
MAYBE
0.10 *
MAYBE
0.13 *
MAYBE
9.68 *
NO
1.64 *
NO
0.26 *
Maybe
0.47 *
Maybe
1.89 *
Maybe
1.81 *
Maybe
2.20
Brockschmidt_16/T2/fun7
*
MAYBE
0.13 *
MAYBE
0.12 *
MAYBE
2.18 *
NO
0.91 *
NO
0.69 *
Maybe
0.28 *
Maybe
0.83 *
Maybe
0.41 *
Maybe
3.71
Brockschmidt_16/T2/fun8
*
n^0
0.14 *
n^0
0.11 *
n^0
10.23 *
YES
2.69 *
YES
3.17 *
n^0
21.44 *
n^0
21.09 *
TIMEOUT
60.00 *
n^0
116.10
Brockschmidt_16/T2/fun9
*
MAYBE
0.12 *
MAYBE
0.11 *
MAYBE
10.30 *
NO
2.40 *
NO
0.54 *
Maybe
1.01 *
Maybe
3.32 *
Maybe
1.33 *
Maybe
9.59
Brockschmidt_16/T2/graycode
*
n^0
0.10 *
n^0
0.10 *
n^0
7.08 *
YES
0.42 *
YES
2.70 *
n^0
5.92 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
n^0
115.49
Brockschmidt_16/T2/heidy1
*
MAYBE
0.14 *
MAYBE
0.16 *
MAYBE
0.68 *
NO
0.34 *
NO
1.69 *
Maybe
0.42 *
Maybe
0.53 *
Maybe
0.54 *
Maybe
0.19
Brockschmidt_16/T2/heidy10
*
MAYBE
0.13 *
MAYBE
0.12 *
MAYBE
1.50 *
YES
0.21 *
YES
0.34 *
Maybe
0.67 *
Maybe
0.36 *
Maybe
1.00 *
Maybe
7.53
Brockschmidt_16/T2/heidy2
*
MAYBE
0.13 *
MAYBE
0.13 *
MAYBE
0.49 *
NO
0.68 *
NO
0.15 *
Maybe
0.13 *
Maybe
1.55 *
Maybe
0.82 *
Maybe
2.98
Brockschmidt_16/T2/heidy3
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
1.28 *
NO
0.15 *
NO
0.13 *
Maybe
0.12 *
Maybe
0.14 *
Maybe
0.36 *
Maybe
2.62
Brockschmidt_16/T2/heidy5
*
n^1
0.12 *
n^1
0.11 *
n^1
0.51 *
YES
0.15 *
YES
0.73 *
n^1
0.97 *
n^1
0.13 *
n^1
0.12 *
n^1
0.36
Brockschmidt_16/T2/heidy6
*
MAYBE
0.14 *
MAYBE
0.14 *
MAYBE
1.83 *
NO
0.14 *
NO
0.75 *
Maybe
0.55 *
Maybe
0.55 *
Maybe
0.98 *
Maybe
0.62
Brockschmidt_16/T2/heidy7
*
MAYBE
0.11 *
MAYBE
0.12 *
MAYBE
2.54 *
NO
0.19 *
NO
0.57 *
Maybe
0.16 *
Maybe
0.42 *
Maybe
0.38 *
Maybe
2.75
Brockschmidt_16/T2/heidy7-simple
*
MAYBE
0.13 *
MAYBE
0.11 *
MAYBE
1.48 *
NO
0.56 *
NO
0.35 *
Maybe
0.35 *
Maybe
0.34 *
Maybe
0.94 *
Maybe
1.02
Brockschmidt_16/T2/heidy8
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
3.84 *
NO
0.35 *
NO
0.36 *
Maybe
0.37 *
Maybe
0.97 *
Maybe
1.01 *
Maybe
1.57
Brockschmidt_16/T2/heidy9
*
n^1
0.11 *
n^1
0.12 *
n^1
0.39 *
YES
0.35 *
YES
0.55 *
n^1
0.76 *
n^1
0.53 *
n^1
0.31 *
n^1
1.05
Brockschmidt_16/T2/hongyi1
*
MAYBE
0.12 *
n^1
0.12 *
n^1
59.44 *
NO
1.96 *
YES
4.22 *
POLY
10.01 *
PRIMREC
47.43 *
n^1
7.75 *
n^1
115.93
Brockschmidt_16/T2/hqr
*
MAYBE
0.13 *
MAYBE
0.11 *
TIMEOUT
60.01 *
NO
6.82 *
NO
8.51 *
Maybe
4.95 *
Maybe
15.37 *
Maybe
12.86 *
Maybe
63.14
Brockschmidt_16/T2/hqr.c.i.hqr.pl.t2.fixed
*
MAYBE
0.11 *
MAYBE
0.11 *
TIMEOUT
60.03 *
NO
4.81 *
NO
5.85 *
Maybe
8.20 *
Maybe
15.28 *
Maybe
15.04 *
Maybe
47.77
Brockschmidt_16/T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed
*
MAYBE
0.12 *
MAYBE
0.13 *
TIMEOUT
60.01 *
NO
8.28 *
NO
6.43 *
Maybe
5.68 *
Maybe
18.70 *
Maybe
12.81 *
Maybe
115.74
Brockschmidt_16/T2/huh
*
MAYBE
0.14 *
MAYBE
0.14 *
MAYBE
4.23 *
YES
0.78 *
YES
0.52 *
Maybe
1.26 *
Maybe
2.80 *
Maybe
3.05 *
Maybe
9.41
Brockschmidt_16/T2/iecs
*
n^1
0.11 *
n^1
0.11 *
n^1
0.97 *
NO
0.13 *
YES
0.53 *
n^1
0.51 *
Maybe
0.53 *
n^1
0.36 *
n^1
3.05
Brockschmidt_16/T2/insertsort
*
MAYBE
0.11 *
MAYBE
0.10 *
MAYBE
1.72 *
NO
0.96 *
NO
0.94 *
Maybe
0.82 *
Maybe
0.97 *
Maybe
0.70 *
Maybe
4.08
Brockschmidt_16/T2/intSqRoot
*
MAYBE
0.13 *
MAYBE
0.11 *
MAYBE
0.62 *
NO
1.20 *
NO
0.22 *
Maybe
0.25 *
Maybe
0.76 *
Maybe
1.44 *
Maybe
1.86
Brockschmidt_16/T2/invgen
*
n^1
0.11 *
n^1
0.12 *
n^1
0.37 *
YES
0.32 *
YES
0.67 *
n^1
0.41 *
n^1
0.32 *
n^1
0.23 *
n^1
3.53
Brockschmidt_16/T2/jacobi
*
n^1
0.13 *
n^1
0.11 *
n^1
13.68 *
YES
1.25 *
YES
0.56 *
n^1
0.44 *
PRIMREC
34.26 *
n^1
0.59 *
n^1
14.97
Brockschmidt_16/T2/jacobi.c.i.jacobi.pl.t2.fixed
*
n^1
0.13 *
n^1
0.12 *
n^1
15.52 *
YES
1.04 *
YES
0.60 *
n^1
0.63 *
PRIMREC
44.02 *
n^1
1.06 *
n^1
8.35
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
3.14 *
YES
0.56 *
n^1
0.65 *
PRIMREC
43.86 *
n^1
1.19 *
n^1
9.50
Brockschmidt_16/T2/janne_complex
*
MAYBE
0.13 *
MAYBE
0.11 *
MAYBE
2.82 *
NO
1.54 *
NO
0.49 *
Maybe
0.82 *
Maybe
1.80 *
Maybe
1.80 *
Maybe
1.48
Brockschmidt_16/T2/jfdctint
*
n^0
0.11 *
n^0
0.12 *
n^0
1.02 *
YES
1.06 *
YES
0.57 *
n^0
0.21 *
n^0
1.71 *
n^0
0.62 *
n^0
30.84
Brockschmidt_16/T2/loop3
*
n^0
0.11 *
n^0
0.11 *
TIMEOUT
60.00 *
NO
10.15 *
YES
10.04 *
TIMEOUT
60.02 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
Maybe
116.79
Brockschmidt_16/T2/loop_on_input
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
0.59 *
YES
0.18 *
YES
1.08 *
Maybe
1.35 *
Maybe
1.10 *
Maybe
0.70 *
Maybe
2.92
Brockschmidt_16/T2/ludcmp
*
n^1
0.14 *
n^1
0.12 *
n^1
10.37 *
YES
0.40 *
YES
0.67 *
POLY
3.04 *
PRIMREC
23.76 *
n^1
0.97 *
n^1
72.65
Brockschmidt_16/T2/ludcmp.c.i.ludcmp.pl.t2.fixed
*
n^1
0.12 *
n^1
0.14 *
n^1
10.79 *
YES
2.30 *
YES
1.31 *
POLY
1.64 *
PRIMREC
26.98 *
n^1
1.10 *
n^1
87.08
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
1.71 *
YES
1.67 *
POLY
2.04 *
PRIMREC
28.94 *
n^1
1.21 *
n^1
85.73
Brockschmidt_16/T2/magic
*
MAYBE
0.11 *
MAYBE
0.11 *
TIMEOUT
60.00 *
YES
3.64 *
YES
7.72 *
TIMEOUT
60.08 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
Maybe
118.72
Brockschmidt_16/T2/matmul
*
n^0
0.12 *
n^0
0.10 *
n^0
1.46 *
YES
1.19 *
YES
2.14 *
n^0
2.14 *
n^0
1.32 *
n^0
1.98 *
n^0
1.10
Brockschmidt_16/T2/matmult
*
n^0
0.14 *
n^0
0.14 *
n^0
3.16 *
YES
0.61 *
YES
0.66 *
n^0
2.57 *
n^0
3.20 *
n^0
4.53 *
n^0
4.84
Brockschmidt_16/T2/matrixsqrt
*
n^0
0.11 *
n^0
0.12 *
n^0
1.79 *
YES
0.60 *
YES
0.83 *
n^0
1.12 *
n^0
2.39 *
n^0
4.31 *
n^0
2.95
Brockschmidt_16/T2/mc91
*
MAYBE
0.11 *
MAYBE
0.12 *
MAYBE
0.90 *
YES
0.28 *
YES
1.68 *
Maybe
1.68 *
Maybe
0.55 *
Maybe
2.32 *
Maybe
5.52
Brockschmidt_16/T2/mc91test
*
MAYBE
0.13 *
MAYBE
0.12 *
MAYBE
4.14 *
YES
0.22 *
YES
0.79 *
Maybe
1.77 *
Maybe
2.24 *
Maybe
3.60 *
Maybe
12.66
Brockschmidt_16/T2/minmax
*
n^0
0.13 *
n^0
0.12 *
n^0
0.32 *
YES
0.61 *
YES
0.18 *
n^0
0.71 *
n^0
0.59 *
n^0
0.17 *
n^0
2.88
Brockschmidt_16/T2/n-1
*
MAYBE
0.11 *
MAYBE
0.13 *
MAYBE
0.55 *
NO
0.80 *
NO
1.08 *
Maybe
0.81 *
Maybe
1.16 *
Maybe
0.99 *
Maybe
0.39
Brockschmidt_16/T2/n-10
*
MAYBE
0.10 *
MAYBE
0.10 *
MAYBE
0.60 *
NO
0.21 *
NO
0.92 *
Maybe
0.83 *
Maybe
0.99 *
Maybe
1.39 *
Maybe
3.80
Brockschmidt_16/T2/n-12
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
1.28 *
NO
0.16 *
NO
0.53 *
Maybe
0.37 *
Maybe
1.59 *
Maybe
0.83 *
Maybe
4.62
Brockschmidt_16/T2/n-12a
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
0.37 *
NO
1.13 *
NO
0.33 *
Maybe
0.53 *
Maybe
0.74 *
Maybe
0.95 *
Maybe
0.24
Brockschmidt_16/T2/n-13
*
MAYBE
0.10 *
MAYBE
0.10 *
MAYBE
0.46 *
NO
0.15 *
NO
0.34 *
Maybe
0.73 *
Maybe
0.15 *
Maybe
0.75 *
Maybe
0.30
Brockschmidt_16/T2/n-14
*
MAYBE
0.10 *
MAYBE
0.11 *
MAYBE
1.68 *
NO
0.80 *
NO
0.82 *
Maybe
1.14 *
Maybe
0.64 *
Maybe
1.47 *
Maybe
7.54
Brockschmidt_16/T2/n-15
*
MAYBE
0.10 *
MAYBE
0.11 *
MAYBE
0.57 *
NO
0.18 *
NO
0.59 *
Maybe
0.72 *
Maybe
0.78 *
Maybe
0.16 *
Maybe
2.03
Brockschmidt_16/T2/n-15a
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
1.21 *
NO
0.15 *
NO
0.35 *
Maybe
0.17 *
Maybe
0.82 *
Maybe
0.19 *
Maybe
2.38
Brockschmidt_16/T2/n-16
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
0.58 *
NO
0.19 *
NO
1.15 *
Maybe
0.33 *
Maybe
0.44 *
Maybe
0.75 *
Maybe
1.49
Brockschmidt_16/T2/n-16a
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
0.96 *
NO
0.15 *
NO
0.53 *
Maybe
0.54 *
Maybe
0.14 *
Maybe
1.13 *
Maybe
0.59
Brockschmidt_16/T2/n-17
*
MAYBE
0.11 *
MAYBE
0.12 *
MAYBE
0.56 *
NO
0.70 *
NO
0.34 *
Maybe
0.34 *
Maybe
0.97 *
Maybe
0.52 *
Maybe
2.22
Brockschmidt_16/T2/n-18
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
0.56 *
NO
0.13 *
NO
0.52 *
Maybe
0.34 *
Maybe
0.38 *
Maybe
0.33 *
Maybe
2.96
Brockschmidt_16/T2/n-18a
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
0.93 *
NO
0.15 *
NO
0.86 *
Maybe
0.39 *
Maybe
0.16 *
Maybe
0.92 *
Maybe
0.60
Brockschmidt_16/T2/n-1c
*
MAYBE
0.11 *
MAYBE
0.12 *
MAYBE
0.61 *
NO
0.35 *
NO
0.92 *
Maybe
1.05 *
Maybe
0.19 *
Maybe
1.56 *
Maybe
0.47
Brockschmidt_16/T2/n-1d
*
MAYBE
0.11 *
MAYBE
0.12 *
MAYBE
1.16 *
NO
1.54 *
NO
0.16 *
Maybe
0.76 *
Maybe
1.42 *
Maybe
0.65 *
Maybe
3.18
Brockschmidt_16/T2/n-20
*
MAYBE
0.12 *
MAYBE
0.15 *
MAYBE
0.60 *
NO
0.53 *
NO
1.73 *
Maybe
0.74 *
Maybe
0.74 *
Maybe
0.34 *
Maybe
0.17
Brockschmidt_16/T2/n-21
*
MAYBE
0.13 *
MAYBE
0.11 *
MAYBE
1.10 *
NO
0.96 *
NO
0.18 *
Maybe
0.16 *
Maybe
1.17 *
Maybe
0.54 *
Maybe
2.91
Brockschmidt_16/T2/n-3
*
MAYBE
0.13 *
MAYBE
0.12 *
MAYBE
0.70 *
NO
0.94 *
NO
0.35 *
Maybe
0.35 *
Maybe
0.36 *
Maybe
0.58 *
Maybe
0.40
Brockschmidt_16/T2/n-32
*
MAYBE
0.13 *
MAYBE
0.13 *
MAYBE
0.65 *
NO
0.35 *
NO
0.52 *
Maybe
0.16 *
Maybe
0.16 *
Maybe
0.29 *
Maybe
5.83
Brockschmidt_16/T2/n-33
*
MAYBE
0.11 *
MAYBE
0.09 *
MAYBE
1.76 *
NO
1.00 *
NO
0.63 *
Maybe
1.60 *
Maybe
0.92 *
Maybe
0.95 *
Maybe
6.22
Brockschmidt_16/T2/n-36
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
1.99 *
NO
1.36 *
NO
2.36 *
Maybe
1.95 *
Maybe
1.70 *
Maybe
1.40 *
Maybe
1.49
Brockschmidt_16/T2/n-37
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
1.39 *
NO
0.12 *
NO
0.13 *
Maybe
0.14 *
Maybe
0.13 *
Maybe
0.17 *
Maybe
2.68
Brockschmidt_16/T2/n-3a
*
MAYBE
0.11 *
MAYBE
0.12 *
MAYBE
1.70 *
NO
0.46 *
NO
0.61 *
Maybe
1.75 *
Maybe
0.83 *
Maybe
2.12 *
Maybe
11.66
Brockschmidt_16/T2/n-4
*
MAYBE
0.11 *
MAYBE
0.12 *
MAYBE
3.78 *
NO
0.73 *
NO
1.92 *
Maybe
1.21 *
Maybe
2.57 *
Maybe
2.11 *
Maybe
2.33
Brockschmidt_16/T2/n-40
*
MAYBE
0.10 *
MAYBE
0.11 *
MAYBE
5.14 *
NO
0.33 *
NO
0.77 *
Maybe
0.33 *
Maybe
1.00 *
Maybe
4.78 *
Maybe
12.98
Brockschmidt_16/T2/n-46
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
1.23 *
NO
0.35 *
NO
0.23 *
Maybe
0.21 *
Maybe
0.38 *
Maybe
0.27 *
Maybe
0.69
Brockschmidt_16/T2/n-48
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
1.79 *
NO
0.64 *
NO
0.31 *
Maybe
0.35 *
Maybe
0.14 *
Maybe
0.33 *
Maybe
0.98
Brockschmidt_16/T2/n-5
*
MAYBE
0.13 *
MAYBE
0.09 *
MAYBE
2.40 *
NO
0.78 *
NO
1.22 *
Maybe
1.19 *
Maybe
0.41 *
Maybe
1.26 *
Maybe
1.09
Brockschmidt_16/T2/n-6
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
1.15 *
NO
0.15 *
NO
0.37 *
Maybe
0.18 *
Maybe
0.19 *
Maybe
1.08 *
Maybe
0.51
Brockschmidt_16/T2/n-6a
*
MAYBE
0.10 *
MAYBE
0.11 *
MAYBE
1.10 *
NO
0.57 *
NO
0.73 *
Maybe
0.39 *
Maybe
0.41 *
Maybe
0.46 *
Maybe
5.69
Brockschmidt_16/T2/n-7
*
MAYBE
0.11 *
MAYBE
0.12 *
MAYBE
1.65 *
NO
0.69 *
NO
0.93 *
Maybe
1.13 *
Maybe
0.67 *
Maybe
0.30 *
Maybe
1.65
Brockschmidt_16/T2/n-8
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
0.59 *
NO
0.94 *
NO
0.89 *
Maybe
0.35 *
Maybe
0.35 *
Maybe
1.97 *
Maybe
2.94
Brockschmidt_16/T2/n-8a
*
MAYBE
0.12 *
MAYBE
0.13 *
MAYBE
0.59 *
NO
0.14 *
NO
0.33 *
Maybe
0.54 *
Maybe
0.21 *
Maybe
0.34 *
Maybe
0.40
Brockschmidt_16/T2/n-9
*
MAYBE
0.11 *
MAYBE
0.10 *
MAYBE
0.65 *
NO
0.35 *
NO
1.36 *
Maybe
0.35 *
Maybe
0.56 *
Maybe
1.59 *
Maybe
3.90
Brockschmidt_16/T2/n_firewire_instrumented-PP
*
MAYBE
0.11 *
MAYBE
0.12 *
MAYBE
12.70 *
NO
0.54 *
NO
2.02 *
Maybe
2.78 *
Maybe
0.67 *
Maybe
1.78 *
Maybe
5.52
Brockschmidt_16/T2/nakata
*
MAYBE
0.10 *
MAYBE
0.12 *
MAYBE
22.23 *
NO
2.94 *
NO
2.34 *
Maybe
2.21 *
Maybe
3.94 *
Maybe
4.14 *
Maybe
24.65
Brockschmidt_16/T2/nakata_withassume
*
MAYBE
0.11 *
MAYBE
0.12 *
MAYBE
23.04 *
NO
2.32 *
NO
2.40 *
Maybe
2.44 *
Maybe
3.13 *
Maybe
35.91 *
Maybe
45.09
Brockschmidt_16/T2/ndes
*
n^0
0.12 *
n^0
0.13 *
TIMEOUT
60.01 *
YES
7.58 *
YES
8.10 *
POLY
12.58 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
POLY
116.45
Brockschmidt_16/T2/neg-1394complete-fail
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
17.30 *
NO
1.49 *
NO
3.13 *
Maybe
2.98 *
Maybe
1.92 *
Maybe
5.68 *
Maybe
23.08
Brockschmidt_16/T2/neg-1394complete-succeed
*
MAYBE
0.12 *
MAYBE
0.13 *
MAYBE
15.36 *
NO
1.64 *
NO
2.97 *
Maybe
2.64 *
Maybe
2.73 *
Maybe
4.46 *
Maybe
20.85
Brockschmidt_16/T2/neg-e-1394complete-fail
*
MAYBE
0.11 *
MAYBE
0.12 *
MAYBE
16.77 *
NO
1.85 *
NO
3.49 *
Maybe
3.14 *
Maybe
2.18 *
Maybe
4.61 *
Maybe
10.65
Brockschmidt_16/T2/neg-e-1394complete-succeed
*
MAYBE
0.12 *
MAYBE
0.11 *
MAYBE
16.97 *
NO
1.71 *
NO
2.74 *
Maybe
2.89 *
Maybe
1.87 *
Maybe
4.00 *
Maybe
10.36
Brockschmidt_16/T2/neg-e-acqrel-fail
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
0.99 *
NO
0.18 *
NO
0.70 *
Maybe
0.94 *
Maybe
0.52 *
Maybe
0.59 *
Maybe
3.12
Brockschmidt_16/T2/neg-e-acqrel-succeed
*
MAYBE
0.13 *
MAYBE
0.11 *
MAYBE
1.00 *
NO
0.26 *
NO
0.93 *
Maybe
1.28 *
Maybe
0.28 *
Maybe
0.36 *
Maybe
0.32
Brockschmidt_16/T2/neg-e-pgarch-fail
*
MAYBE
0.11 *
MAYBE
0.12 *
MAYBE
1.25 *
NO
0.56 *
NO
0.40 *
Maybe
0.36 *
Maybe
1.58 *
Maybe
0.40 *
Maybe
1.14
Brockschmidt_16/T2/neg-e-pgarch-succeed
*
MAYBE
0.12 *
MAYBE
0.11 *
MAYBE
1.22 *
NO
0.15 *
NO
0.24 *
Maybe
0.43 *
Maybe
0.99 *
Maybe
0.54 *
Maybe
1.83
Brockschmidt_16/T2/neg-e-popl07-succeed
*
MAYBE
0.12 *
MAYBE
0.11 *
MAYBE
3.13 *
NO
0.62 *
NO
2.22 *
Maybe
1.00 *
Maybe
1.11 *
Maybe
1.73 *
Maybe
1.25
Brockschmidt_16/T2/neg-pgarch-succeed
*
MAYBE
0.12 *
MAYBE
0.10 *
MAYBE
1.34 *
NO
1.13 *
NO
0.32 *
Maybe
0.55 *
Maybe
0.39 *
Maybe
0.53 *
Maybe
1.36
Brockschmidt_16/T2/neg-popl07-fail
*
MAYBE
0.13 *
MAYBE
0.11 *
MAYBE
2.33 *
NO
1.11 *
NO
1.01 *
Maybe
0.82 *
Maybe
0.27 *
Maybe
0.61 *
Maybe
1.12
Brockschmidt_16/T2/neg-popl07-succeed
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
2.53 *
NO
0.29 *
NO
0.99 *
Maybe
0.42 *
Maybe
0.29 *
Maybe
0.60 *
Maybe
1.94
Brockschmidt_16/T2/neg-smagilla-fail
*
MAYBE
0.12 *
MAYBE
0.11 *
MAYBE
3.54 *
NO
0.35 *
NO
0.20 *
Maybe
0.56 *
Maybe
0.57 *
Maybe
0.41 *
Maybe
0.55
Brockschmidt_16/T2/neg-smagilla-succeed
*
MAYBE
0.11 *
MAYBE
0.12 *
MAYBE
1.80 *
NO
0.55 *
NO
0.39 *
Maybe
0.18 *
Maybe
0.55 *
Maybe
0.44 *
Maybe
3.85
Brockschmidt_16/T2/nested
*
MAYBE
0.12 *
MAYBE
0.13 *
MAYBE
0.83 *
YES
0.75 *
YES
0.15 *
Maybe
0.77 *
Maybe
1.08 *
Maybe
0.89 *
Maybe
1.40
Brockschmidt_16/T2/nested2
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
1.41 *
YES
0.74 *
YES
0.16 *
Maybe
0.27 *
Maybe
1.35 *
Maybe
1.69 *
Maybe
0.89
Brockschmidt_16/T2/new_ex
*
MAYBE
0.11 *
MAYBE
0.12 *
MAYBE
4.04 *
NO
0.54 *
YES
0.19 *
Maybe
1.88 *
Maybe
0.78 *
Maybe
3.15 *
Maybe
18.95
Brockschmidt_16/T2/non_term
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
1.04 *
NO
0.29 *
NO
0.13 *
Maybe
0.29 *
Maybe
0.33 *
Maybe
0.73 *
Maybe
0.18
Brockschmidt_16/T2/ns
*
n^0
0.12 *
n^0
0.14 *
n^0
1.92 *
YES
0.70 *
YES
0.43 *
n^0
1.03 *
POLY
5.21 *
POLY
2.44 *
n^0
6.79
Brockschmidt_16/T2/oct_vs_subpoly
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
0.74 *
NO
0.32 *
NO
0.87 *
Maybe
0.49 *
Maybe
0.14 *
Maybe
0.44 *
Maybe
1.47
Brockschmidt_16/T2/p-1
*
MAYBE
0.11 *
MAYBE
0.10 *
MAYBE
0.76 *
NO
0.68 *
NO
0.52 *
Maybe
0.34 *
Maybe
0.92 *
Maybe
0.54 *
Maybe
0.43
Brockschmidt_16/T2/p-10
*
MAYBE
0.13 *
MAYBE
0.11 *
MAYBE
0.39 *
NO
0.69 *
NO
0.53 *
Maybe
0.73 *
Maybe
1.37 *
Maybe
0.13 *
Maybe
1.00
Brockschmidt_16/T2/p-12
*
n^1
0.12 *
n^1
0.12 *
n^1
0.36 *
YES
0.58 *
YES
0.95 *
n^1
0.36 *
n^1
0.52 *
n^1
0.17 *
n^1
0.40
Brockschmidt_16/T2/p-13
*
n^0
0.13 *
n^0
0.11 *
n^0
0.25 *
n^0
0.13 *
n^0
0.14 *
n^0
0.17 *
n^0
0.33 *
n^0
0.73 *
n^0
2.49
Brockschmidt_16/T2/p-14
*
n^1
0.12 *
n^1
0.12 *
n^1
0.41 *
YES
0.16 *
YES
0.72 *
n^1
1.36 *
n^1
0.15 *
n^1
0.13 *
n^1
2.82
Brockschmidt_16/T2/p-15
*
n^1
0.12 *
n^1
0.13 *
n^1
0.46 *
YES
0.43 *
YES
0.18 *
n^1
0.19 *
n^1
0.14 *
n^1
0.27 *
n^1
0.42
Brockschmidt_16/T2/p-16
*
n^1
0.10 *
n^1
0.12 *
n^1
0.40 *
YES
0.70 *
YES
0.49 *
n^1
0.45 *
n^1
1.30 *
n^1
0.56 *
n^1
0.66
Brockschmidt_16/T2/p-18
*
n^1
0.12 *
n^1
0.11 *
n^1
0.43 *
YES
0.85 *
YES
0.26 *
n^1
0.18 *
n^1
0.14 *
n^1
0.30 *
n^1
0.78
Brockschmidt_16/T2/p-19
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
0.70 *
NO
0.79 *
NO
0.51 *
Maybe
0.55 *
Maybe
0.70 *
Maybe
0.50 *
Maybe
0.28
Brockschmidt_16/T2/p-19a
*
MAYBE
0.12 *
MAYBE
0.11 *
MAYBE
0.35 *
NO
0.87 *
NO
0.13 *
Maybe
0.17 *
Maybe
0.55 *
Maybe
0.57 *
Maybe
0.80
Brockschmidt_16/T2/p-1a
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
0.37 *
NO
0.34 *
NO
0.98 *
Maybe
0.90 *
Maybe
0.92 *
Maybe
0.33 *
Maybe
0.28
Brockschmidt_16/T2/p-1b
*
n^1
0.13 *
n^1
0.11 *
n^1
0.33 *
YES
0.34 *
YES
0.76 *
n^1
0.79 *
n^1
0.14 *
n^1
1.11 *
n^1
0.44
Brockschmidt_16/T2/p-1c
*
MAYBE
0.12 *
MAYBE
0.14 *
MAYBE
0.39 *
NO
0.14 *
NO
0.15 *
Maybe
0.15 *
Maybe
0.32 *
Maybe
0.40 *
Maybe
0.22
Brockschmidt_16/T2/p-1d
*
n^1
0.11 *
n^1
0.12 *
n^1
1.02 *
YES
0.58 *
YES
0.24 *
n^1
0.30 *
n^1
0.99 *
n^1
0.62 *
n^1
13.06
Brockschmidt_16/T2/p-20
*
MAYBE
0.11 *
MAYBE
0.12 *
MAYBE
0.64 *
NO
0.17 *
NO
0.34 *
Maybe
0.13 *
Maybe
0.15 *
Maybe
0.31 *
Maybe
0.43
Brockschmidt_16/T2/p-21
*
n^1
0.11 *
n^1
0.10 *
n^1
0.65 *
YES
1.13 *
YES
0.94 *
n^1
1.15 *
n^1
0.98 *
n^1
0.75 *
n^1
4.08
Brockschmidt_16/T2/p-22
*
n^1
0.11 *
n^1
0.12 *
n^1
0.56 *
YES
0.15 *
YES
0.59 *
n^1
0.59 *
n^1
0.14 *
n^1
0.74 *
n^1
4.08
Brockschmidt_16/T2/p-3
*
n^1
0.11 *
n^1
0.12 *
n^1
0.58 *
YES
1.07 *
YES
0.14 *
n^1
0.71 *
n^1
0.68 *
n^1
0.35 *
n^1
2.87
Brockschmidt_16/T2/p-32
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
0.65 *
NO
0.25 *
NO
0.20 *
Maybe
0.17 *
Maybe
0.45 *
Maybe
2.16 *
Maybe
2.82
Brockschmidt_16/T2/p-33
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
1.13 *
NO
0.98 *
NO
0.24 *
Maybe
0.63 *
Maybe
0.82 *
Maybe
0.82 *
Maybe
0.94
Brockschmidt_16/T2/p-34
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
1.07 *
NO
0.51 *
NO
0.83 *
Maybe
0.99 *
Maybe
1.00 *
Maybe
0.63 *
Maybe
7.88
Brockschmidt_16/T2/p-36
*
MAYBE
0.10 *
MAYBE
0.10 *
MAYBE
0.92 *
NO
0.56 *
NO
0.98 *
Maybe
0.95 *
Maybe
2.19 *
Maybe
0.76 *
Maybe
2.54
Brockschmidt_16/T2/p-37
*
n^0
0.13 *
n^0
0.12 *
n^0
0.56 *
YES
0.17 *
YES
0.14 *
n^0
0.41 *
n^0
0.15 *
n^0
0.35 *
n^0
2.13
Brockschmidt_16/T2/p-4
*
n^1
0.13 *
n^2
0.12 *
n^2
0.47 *
YES
0.35 *
YES
0.53 *
n^1
1.99 *
POLY
0.44 *
POLY
0.63 *
n^1
1.59
Brockschmidt_16/T2/p-40
*
MAYBE
0.13 *
MAYBE
0.12 *
MAYBE
1.18 *
YES
0.72 *
YES
0.55 *
Maybe
1.42 *
Maybe
1.52 *
Maybe
0.51 *
Maybe
11.25
Brockschmidt_16/T2/p-41
*
n^0
0.13 *
n^0
0.12 *
n^0
0.05 *
n^0
0.32 *
n^0
0.12 *
n^0
0.32 *
n^0
1.31 *
n^0
1.12 *
n^0
0.14
Brockschmidt_16/T2/p-42
*
n^1
0.16 *
n^1
0.12 *
n^1
0.71 *
YES
0.55 *
YES
1.74 *
n^1
1.08 *
n^1
0.18 *
n^1
0.91 *
n^1
2.28
Brockschmidt_16/T2/p-43
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
2.06 *
NO
0.58 *
NO
0.89 *
Maybe
2.14 *
POLY
2.41 *
POLY
3.40 *
POLY
16.43
Brockschmidt_16/T2/p-43-terminate
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
27.49 *
NO
3.13 *
NO
3.64 *
Maybe
3.72 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
POLY
115.95
Brockschmidt_16/T2/p-44
*
n^1
0.12 *
n^1
0.12 *
n^1
0.72 *
YES
0.59 *
YES
0.59 *
n^1
0.42 *
n^1
0.34 *
n^1
0.55 *
n^1
5.10
Brockschmidt_16/T2/p-45
*
n^1
0.12 *
n^1
0.11 *
n^1
1.07 *
YES
0.36 *
YES
0.39 *
n^1
0.48 *
n^1
0.15 *
n^1
0.29 *
n^1
1.34
Brockschmidt_16/T2/p-46
*
MAYBE
0.12 *
MAYBE
0.11 *
MAYBE
1.61 *
NO
0.16 *
NO
0.15 *
Maybe
0.15 *
Maybe
0.42 *
Maybe
0.23 *
Maybe
5.99
Brockschmidt_16/T2/p-49
*
n^1
0.11 *
n^1
0.12 *
n^1
0.38 *
YES
0.49 *
YES
1.74 *
n^1
0.75 *
n^1
0.44 *
n^1
1.35 *
n^1
2.54
Brockschmidt_16/T2/p-5
*
MAYBE
0.10 *
MAYBE
0.11 *
MAYBE
2.46 *
NO
0.77 *
NO
0.23 *
Maybe
0.41 *
Maybe
0.21 *
Maybe
1.43 *
Maybe
2.81
Brockschmidt_16/T2/p-52
*
MAYBE
0.10 *
MAYBE
0.12 *
MAYBE
0.36 *
NO
0.35 *
NO
0.16 *
Maybe
0.13 *
Maybe
0.15 *
Maybe
0.28 *
Maybe
0.22
Brockschmidt_16/T2/p-53
*
n^0
0.12 *
n^0
0.10 *
n^0
0.14 *
n^0
0.12 *
n^0
0.32 *
n^0
0.51 *
n^0
0.35 *
n^0
0.71 *
n^0
0.14
Brockschmidt_16/T2/p-55
*
n^1
0.13 *
n^2
0.13 *
n^2
1.20 *
YES
0.16 *
YES
0.17 *
n^1
0.45 *
n^1
2.68 *
n^1
1.01 *
n^1
6.57
Brockschmidt_16/T2/p-56
*
n^1
0.12 *
n^1
0.11 *
n^1
1.06 *
YES
0.16 *
YES
0.55 *
n^1
1.20 *
n^1
0.15 *
n^1
0.76 *
n^1
1.22
Brockschmidt_16/T2/p-58
*
n^0
0.13 *
n^0
0.10 *
n^0
0.31 *
YES
0.87 *
n^0
0.73 *
n^0
0.17 *
n^0
0.13 *
n^0
0.41 *
n^0
0.17
Brockschmidt_16/T2/p-6
*
n^1
0.11 *
n^1
0.13 *
n^1
1.03 *
YES
0.35 *
YES
1.16 *
n^1
1.02 *
n^1
0.37 *
n^1
0.76 *
n^1
17.03
Brockschmidt_16/T2/p-60
*
n^0
0.10 *
n^1
0.12 *
n^1
0.59 *
YES
0.75 *
YES
0.36 *
n^0
0.34 *
n^0
0.71 *
n^0
0.32 *
n^0
1.66
Brockschmidt_16/T2/p-61
*
n^0
0.13 *
n^0
0.14 *
n^0
0.67 *
YES
0.51 *
YES
0.36 *
n^0
0.18 *
n^0
0.72 *
n^0
0.34 *
n^0
2.58
Brockschmidt_16/T2/p-63
*
n^1
0.12 *
n^1
0.12 *
n^1
1.67 *
NO
0.92 *
YES
0.50 *
n^1
0.56 *
Maybe
0.14 *
n^1
0.19 *
n^1
0.60
Brockschmidt_16/T2/p-7
*
n^1
0.11 *
n^1
0.11 *
n^1
0.68 *
YES
0.14 *
YES
0.70 *
n^1
0.31 *
n^1
0.16 *
n^1
0.61 *
n^1
3.09
Brockschmidt_16/T2/p-7b
*
n^1
0.11 *
n^1
0.16 *
n^1
0.66 *
YES
0.15 *
YES
0.15 *
n^1
0.21 *
n^1
0.14 *
n^1
1.18 *
n^1
4.24
Brockschmidt_16/T2/p-8
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
0.62 *
NO
0.13 *
NO
0.29 *
Maybe
0.34 *
Maybe
0.14 *
Maybe
1.97 *
Maybe
0.30
Brockschmidt_16/T2/p-9
*
MAYBE
0.13 *
MAYBE
0.11 *
MAYBE
0.61 *
NO
0.15 *
NO
0.19 *
Maybe
0.33 *
Maybe
0.41 *
Maybe
0.16 *
Maybe
0.25
Brockschmidt_16/T2/pearl-necklace
*
n^1
0.10 *
n^1
0.12 *
n^1
1.52 *
YES
0.18 *
YES
1.01 *
POLY
2.15 *
POLY
0.96 *
POLY
1.20 *
POLY
4.25
Brockschmidt_16/T2/pentagon
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
4.40 *
NO
0.58 *
NO
0.73 *
Maybe
1.36 *
Maybe
1.03 *
Maybe
0.23 *
Maybe
1.54
Brockschmidt_16/T2/pgarch
*
MAYBE
0.13 *
MAYBE
0.15 *
TIMEOUT
60.00 *
NO
26.87 *
NO
22.27 *
Maybe
14.37 *
Maybe
16.64 *
Maybe
9.45 *
Maybe
120.96
Brockschmidt_16/T2/pldi
*
n^2
0.12 *
n^2
0.11 *
n^2
3.37 *
YES
0.19 *
YES
1.40 *
POLY
1.35 *
PRIMREC
1.45 *
POLY
1.73 *
POLY
15.69
Brockschmidt_16/T2/polling
*
MAYBE
0.13 *
MAYBE
0.13 *
MAYBE
22.36 *
NO
2.62 *
NO
1.60 *
Maybe
2.56 *
Maybe
2.46 *
Maybe
7.91 *
Maybe
15.59
Brockschmidt_16/T2/polling.bug
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
24.18 *
NO
2.92 *
NO
5.16 *
Maybe
5.20 *
Maybe
13.00 *
Maybe
10.33 *
Maybe
29.92
Brockschmidt_16/T2/polyrank1
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
0.64 *
NO
0.12 *
NO
0.34 *
Maybe
0.70 *
Maybe
0.12 *
Maybe
0.25 *
Maybe
0.39
Brockschmidt_16/T2/polyrank2
*
MAYBE
0.11 *
MAYBE
0.10 *
MAYBE
0.87 *
NO
0.54 *
NO
0.12 *
Maybe
0.56 *
Maybe
1.76 *
Maybe
0.92 *
Maybe
1.53
Brockschmidt_16/T2/polyrank3
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
1.03 *
NO
0.18 *
NO
0.33 *
Maybe
0.15 *
Maybe
0.21 *
Maybe
0.14 *
Maybe
0.31
Brockschmidt_16/T2/polyrank4
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
1.62 *
NO
0.67 *
NO
0.33 *
Maybe
1.34 *
Maybe
0.32 *
Maybe
1.95 *
Maybe
2.28
Brockschmidt_16/T2/polyrank5
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
1.39 *
NO
0.34 *
NO
0.32 *
Maybe
1.15 *
Maybe
0.35 *
Maybe
0.15 *
Maybe
0.90
Brockschmidt_16/T2/polyrank6
*
MAYBE
0.14 *
MAYBE
0.12 *
MAYBE
1.87 *
NO
0.34 *
NO
0.39 *
Maybe
0.34 *
Maybe
0.53 *
Maybe
0.90 *
Maybe
2.84
Brockschmidt_16/T2/polyrank7
*
MAYBE
0.12 *
MAYBE
0.11 *
MAYBE
1.14 *
NO
0.52 *
NO
0.94 *
Maybe
0.30 *
Maybe
0.14 *
Maybe
0.69 *
Maybe
0.18
Brockschmidt_16/T2/popl07-fail
*
MAYBE
0.12 *
MAYBE
0.11 *
MAYBE
2.33 *
NO
1.10 *
NO
0.21 *
Maybe
1.84 *
Maybe
0.99 *
Maybe
1.27 *
Maybe
4.36
Brockschmidt_16/T2/popl07-succeed
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
2.28 *
NO
0.32 *
NO
0.80 *
Maybe
1.14 *
Maybe
0.47 *
Maybe
1.06 *
Maybe
0.70
Brockschmidt_16/T2/print
*
MAYBE
0.13 *
MAYBE
0.11 *
MAYBE
39.65 *
YES
5.15 *
YES
5.37 *
Maybe
24.88 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
Maybe
117.54
Brockschmidt_16/T2/qrdcmp
*
n^1
0.13 *
n^1
0.12 *
n^1
2.60 *
YES
0.51 *
YES
0.35 *
n^1
0.67 *
n^1
1.84 *
n^1
1.96 *
n^1
106.38
Brockschmidt_16/T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed
*
n^1
0.14 *
n^1
0.12 *
n^1
2.93 *
YES
0.51 *
YES
0.60 *
n^1
0.82 *
n^1
1.76 *
n^1
0.78 *
n^1
105.75
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.55 *
YES
0.44 *
n^1
1.25 *
n^1
0.55 *
n^1
0.86 *
n^1
105.36
Brockschmidt_16/T2/queens
*
n^0
0.11 *
n^0
0.12 *
n^0
4.15 *
YES
2.59 *
YES
4.73 *
n^0
5.80 *
PRIMREC
13.67 *
TIMEOUT
60.00 *
n^0
115.48
Brockschmidt_16/T2/queue_1
*
n^0
0.12 *
n^0
0.13 *
n^0
1.20 *
YES
1.72 *
YES
0.41 *
n^0
0.47 *
n^0
2.74 *
n^0
0.21 *
n^0
16.24
Brockschmidt_16/T2/queue_10
*
n^0
0.12 *
n^0
0.13 *
n^0
1.39 *
YES
0.61 *
YES
0.82 *
n^0
0.99 *
n^0
4.56 *
n^0
2.96 *
n^0
45.74
Brockschmidt_16/T2/queue_100
*
n^0
0.12 *
n^0
0.11 *
n^0
1.34 *
YES
0.51 *
YES
0.27 *
n^0
0.34 *
n^0
5.06 *
n^0
4.23 *
n^0
40.28
Brockschmidt_16/T2/queue_1000
*
n^0
0.13 *
n^0
0.13 *
n^0
1.37 *
YES
0.57 *
YES
0.81 *
n^0
0.67 *
n^0
2.53 *
n^0
5.20 *
n^0
43.57
Brockschmidt_16/T2/randomwalk
*
MAYBE
0.14 *
MAYBE
0.14 *
MAYBE
6.12 *
NO
0.55 *
NO
0.30 *
Maybe
0.47 *
Maybe
0.60 *
Maybe
0.59 *
Maybe
1.03
Brockschmidt_16/T2/randomwalk_withassume
*
MAYBE
0.12 *
MAYBE
0.11 *
MAYBE
6.22 *
NO
0.25 *
NO
0.32 *
Maybe
0.22 *
Maybe
2.27 *
Maybe
3.93 *
Maybe
28.46
Brockschmidt_16/T2/refine_disj_problem
*
MAYBE
0.13 *
MAYBE
0.13 *
MAYBE
0.95 *
NO
0.71 *
NO
0.35 *
Maybe
0.95 *
Maybe
0.95 *
Maybe
0.16 *
Maybe
0.28
Brockschmidt_16/T2/rev_nt2
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
5.21 *
NO
0.99 *
NO
0.58 *
Maybe
0.60 *
Maybe
0.46 *
Maybe
2.99 *
Maybe
2.49
Brockschmidt_16/T2/rev_nt3
*
MAYBE
0.12 *
MAYBE
0.13 *
MAYBE
5.88 *
NO
0.44 *
NO
0.78 *
Maybe
0.63 *
Maybe
0.71 *
Maybe
2.60 *
Maybe
3.16
Brockschmidt_16/T2/rev_nt4
*
n^0
0.11 *
n^0
0.11 *
n^0
0.14 *
YES
0.13 *
n^0
0.53 *
n^0
0.12 *
n^0
0.36 *
n^0
0.73 *
n^0
1.13
Brockschmidt_16/T2/reverse
*
MAYBE
0.13 *
MAYBE
0.13 *
MAYBE
28.07 *
YES
13.81 *
YES
15.20 *
Maybe
19.40 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
Maybe
118.06
Brockschmidt_16/T2/reverse_div4
*
MAYBE
0.11 *
MAYBE
0.12 *
MAYBE
3.25 *
NO
0.61 *
NO
1.20 *
Maybe
1.43 *
Maybe
1.06 *
Maybe
0.88 *
Maybe
1.00
Brockschmidt_16/T2/reverse_seg_cyclic
*
n^1
0.13 *
n^1
0.10 *
n^1
29.31 *
YES
14.82 *
YES
1.38 *
n^1
10.96 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
n^1
117.06
Brockschmidt_16/T2/rewrite
*
MAYBE
0.10 *
MAYBE
0.11 *
MAYBE
0.36 *
NO
0.64 *
NO
0.32 *
Maybe
0.39 *
Maybe
0.43 *
Maybe
0.16 *
Maybe
0.15
Brockschmidt_16/T2/rlft3
*
MAYBE
0.12 *
n^1
0.12 *
n^1
4.39 *
YES
1.79 *
YES
1.82 *
POLY
1.65 *
n^1
1.94 *
n^1
1.99 *
n^1
113.70
Brockschmidt_16/T2/rlft3.c.i.rlft3.pl.t2.fixed
*
n^2
0.10 *
n^1
0.12 *
n^1
4.72 *
YES
1.04 *
YES
2.14 *
POLY
2.94 *
n^1
0.96 *
n^1
2.04 *
n^1
113.86
Brockschmidt_16/T2/s1-saved
*
MAYBE
0.14 *
MAYBE
0.14 *
MAYBE
33.34 *
YES
5.64 *
YES
2.20 *
Maybe
11.66 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
Maybe
117.54
Brockschmidt_16/T2/s3-work
*
MAYBE
0.14 *
MAYBE
0.11 *
TIMEOUT
60.03 *
YES
40.10 *
YES
22.37 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
Maybe
118.68
Brockschmidt_16/T2/sas1
*
n^1
0.12 *
n^1
0.10 *
n^1
2.97 *
NO
1.34 *
YES
1.42 *
n^1
1.95 *
Maybe
1.96 *
n^1
0.55 *
n^1
4.58
Brockschmidt_16/T2/sas2
*
n^1
0.12 *
MAYBE
0.11 *
MAYBE
12.46 *
NO
0.29 *
NO
1.46 *
Maybe
0.67 *
Maybe
0.73 *
Maybe
2.33 *
Maybe
8.65
Brockschmidt_16/T2/select
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
18.72 *
NO
0.91 *
NO
2.07 *
Maybe
2.06 *
Maybe
1.83 *
Maybe
3.62 *
Maybe
8.24
Brockschmidt_16/T2/selectSort
*
n^2
0.11 *
n^2
0.12 *
n^2
1.57 *
YES
1.39 *
YES
0.46 *
POLY
0.89 *
PRIMREC
6.22 *
POLY
5.16 *
POLY
7.12
Brockschmidt_16/T2/send-more-money
*
MAYBE
0.10 *
n^0
0.11 *
n^0
43.05 *
YES
1.70 *
YES
7.42 *
TIMEOUT
60.00 *
n^0
4.15 *
n^0
3.88 *
n^0
116.09
Brockschmidt_16/T2/seq
*
n^1
0.11 *
n^1
0.12 *
n^1
0.33 *
YES
0.64 *
YES
0.13 *
n^1
0.59 *
n^1
0.54 *
n^1
0.93 *
n^1
1.83
Brockschmidt_16/T2/seq2
*
n^1
0.11 *
n^1
0.12 *
n^1
0.29 *
YES
0.67 *
YES
0.37 *
n^1
0.38 *
n^1
0.52 *
n^1
0.13 *
n^1
0.31
Brockschmidt_16/T2/sequential_swap
*
n^0
0.11 *
n^0
0.11 *
n^0
0.19 *
n^0
0.43 *
n^0
0.75 *
n^0
0.62 *
n^0
0.34 *
n^0
0.14 *
n^0
0.71
Brockschmidt_16/T2/simple
*
MAYBE
0.14 *
MAYBE
0.11 *
MAYBE
0.56 *
NO
0.15 *
NO
0.12 *
Maybe
0.32 *
Maybe
0.15 *
Maybe
0.75 *
Maybe
1.61
Brockschmidt_16/T2/simpleWhile
*
n^1
0.13 *
n^1
0.13 *
n^1
0.97 *
YES
0.59 *
YES
0.96 *
n^1
0.26 *
n^1
0.59 *
n^1
0.58 *
n^1
8.26
Brockschmidt_16/T2/simple_array_inversion
*
n^0
0.12 *
n^0
0.11 *
n^0
0.38 *
YES
0.92 *
YES
0.56 *
n^0
0.17 *
n^0
1.10 *
n^0
0.37 *
n^0
2.66
Brockschmidt_16/T2/simple_control_on_input
*
n^0
0.14 *
n^0
0.13 *
MAYBE
0.77 *
YES
1.13 *
YES
0.15 *
Maybe
0.26 *
Maybe
1.46 *
Maybe
0.86 *
Maybe
2.14
Brockschmidt_16/T2/simple_double_free
*
n^0
0.11 *
n^0
0.10 *
n^0
0.04 *
n^0
0.28 *
n^0
0.91 *
n^0
0.51 *
n^0
0.34 *
n^0
0.13 *
n^0
2.70
Brockschmidt_16/T2/simple_fail
*
n^0
0.12 *
n^0
0.11 *
n^0
0.05 *
n^0
0.12 *
n^0
0.93 *
n^0
0.12 *
n^0
0.13 *
n^0
1.33 *
n^0
0.14
Brockschmidt_16/T2/simple_pre
*
n^0
0.11 *
n^0
0.11 *
n^0
0.07 *
n^0
1.11 *
n^0
0.41 *
n^0
0.36 *
n^0
1.10 *
n^0
0.52 *
n^0
0.52
Brockschmidt_16/T2/simple_pre1
*
n^0
0.13 *
n^0
0.11 *
n^0
0.10 *
n^0
0.60 *
n^0
0.52 *
n^0
0.73 *
n^0
0.50 *
n^0
0.12 *
n^0
0.14
Brockschmidt_16/T2/simple_pre2
*
n^0
0.12 *
n^0
0.12 *
n^0
0.11 *
n^0
0.30 *
n^0
0.72 *
n^0
0.72 *
n^0
0.28 *
n^0
0.19 *
n^0
1.34
Brockschmidt_16/T2/simple_pre3
*
n^0
0.12 *
n^0
0.12 *
n^0
0.08 *
YES
0.34 *
n^0
0.50 *
n^0
0.52 *
n^0
0.34 *
n^0
0.42 *
n^0
0.33
Brockschmidt_16/T2/simple_swap_call
*
n^0
0.12 *
n^0
0.11 *
n^0
0.15 *
n^0
0.32 *
n^0
0.53 *
n^0
0.13 *
n^0
0.27 *
n^0
0.32 *
n^0
0.34
Brockschmidt_16/T2/slayer-1-filtered
*
MAYBE
0.12 *
MAYBE
0.13 *
MAYBE
5.48 *
YES
0.28 *
YES
0.46 *
Maybe
5.26 *
Maybe
3.13 *
Maybe
14.00 *
Maybe
45.09
Brockschmidt_16/T2/slayer-1-rf
*
MAYBE
0.11 *
MAYBE
0.12 *
MAYBE
11.38 *
YES
0.55 *
YES
0.58 *
Maybe
15.42 *
Maybe
24.52 *
Maybe
17.31 *
Maybe
75.04
Brockschmidt_16/T2/slayer-2-filtered
*
n^0
0.12 *
n^0
0.14 *
n^0
0.46 *
YES
0.92 *
YES
0.46 *
n^0
1.13 *
n^0
0.25 *
n^0
0.19 *
n^0
0.43
Brockschmidt_16/T2/slayer-3
*
MAYBE
0.16 *
MAYBE
0.13 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
TIMEOUT
60.01 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
Maybe
122.00
Brockschmidt_16/T2/slayer-3-filtered
*
MAYBE
0.11 *
MAYBE
0.10 *
MAYBE
48.41 *
NO
3.30 *
NO
5.24 *
Maybe
4.79 *
Maybe
4.05 *
Maybe
3.96 *
Maybe
10.13
Brockschmidt_16/T2/slayer-3-new
*
MAYBE
0.12 *
MAYBE
0.11 *
TIMEOUT
60.02 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
Maybe
122.74
Brockschmidt_16/T2/slayer-4-filtered
*
MAYBE
0.11 *
MAYBE
0.11 *
TIMEOUT
60.05 *
NO
36.40 *
NO
28.98 *
Maybe
15.86 *
Maybe
26.89 *
Maybe
23.14 *
Maybe
121.34
Brockschmidt_16/T2/slayer-n1
*
MAYBE
0.11 *
MAYBE
0.14 *
MAYBE
7.12 *
NO
1.90 *
NO
1.64 *
Maybe
1.44 *
Maybe
1.68 *
Maybe
2.11 *
Maybe
3.40
Brockschmidt_16/T2/slayer-n1-filtered
*
MAYBE
0.12 *
MAYBE
0.14 *
MAYBE
2.73 *
NO
0.18 *
NO
0.78 *
Maybe
0.17 *
Maybe
0.20 *
Maybe
0.60 *
Maybe
5.09
Brockschmidt_16/T2/slayer-n2
*
MAYBE
0.13 *
MAYBE
0.13 *
MAYBE
0.70 *
NO
0.55 *
NO
0.56 *
Maybe
0.35 *
Maybe
0.16 *
Maybe
0.71 *
Maybe
0.21
Brockschmidt_16/T2/slayer-n2-filtered
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
0.70 *
NO
0.14 *
NO
0.55 *
Maybe
0.35 *
Maybe
0.16 *
Maybe
0.33 *
Maybe
2.28
Brockschmidt_16/T2/slayer-n3-filtered
*
n^0
0.11 *
n^0
0.10 *
n^0
0.81 *
YES
0.73 *
n^0
0.29 *
n^0
0.12 *
n^0
0.55 *
n^0
0.50 *
n^0
0.16
Brockschmidt_16/T2/slayer-n5-filtered
*
MAYBE
0.11 *
MAYBE
0.10 *
MAYBE
19.65 *
NO
0.96 *
NO
0.83 *
Maybe
1.09 *
Maybe
1.17 *
Maybe
2.58 *
Maybe
4.41
Brockschmidt_16/T2/smagilla-succeed
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
3.57 *
NO
0.76 *
NO
0.56 *
Maybe
0.52 *
Maybe
0.76 *
Maybe
1.41 *
Maybe
2.08
Brockschmidt_16/T2/smagillb-succeed
*
MAYBE
0.13 *
MAYBE
0.11 *
MAYBE
1.52 *
NO
1.11 *
NO
0.89 *
Maybe
0.94 *
Maybe
0.55 *
Maybe
0.99 *
Maybe
4.88
Brockschmidt_16/T2/smagillc-fail
*
MAYBE
0.14 *
MAYBE
0.12 *
MAYBE
1.73 *
NO
0.15 *
NO
0.75 *
Maybe
0.99 *
Maybe
1.58 *
Maybe
0.86 *
Maybe
1.47
Brockschmidt_16/T2/smagillc-succeed
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
1.95 *
NO
0.55 *
NO
0.19 *
Maybe
0.20 *
Maybe
1.43 *
Maybe
0.71 *
Maybe
0.58
Brockschmidt_16/T2/sort
*
n^0
0.11 *
n^0
0.13 *
n^0
4.44 *
YES
2.35 *
YES
1.24 *
n^0
4.24 *
PRIMREC
35.93 *
POLY
11.16 *
n^0
54.47
Brockschmidt_16/T2/spctrm
*
n^1
0.10 *
n^1
0.15 *
n^1
11.21 *
YES
3.02 *
YES
1.00 *
POLY
3.12 *
n^1
1.70 *
n^1
3.17 *
n^1
105.67
Brockschmidt_16/T2/spctrm.c.i.spctrm.pl.t2.fixed
*
n^1
0.12 *
n^1
0.13 *
n^1
11.77 *
YES
1.07 *
YES
0.81 *
POLY
4.37 *
n^1
1.26 *
n^1
1.80 *
n^1
105.70
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
3.78 *
YES
0.41 *
POLY
2.64 *
n^1
3.14 *
n^1
1.77 *
n^1
105.99
Brockschmidt_16/T2/spiral
*
n^1
0.11 *
n^2
0.11 *
n^2
6.30 *
YES
1.13 *
YES
2.27 *
n^1
2.59 *
POLY
2.10 *
POLY
3.68 *
n^1
6.47
Brockschmidt_16/T2/st88
*
MAYBE
0.12 *
MAYBE
0.13 *
MAYBE
2.64 *
NO
0.78 *
NO
0.18 *
Maybe
0.17 *
Maybe
2.05 *
Maybe
1.06 *
Maybe
0.76
Brockschmidt_16/T2/st88.bug
*
MAYBE
0.12 *
MAYBE
0.13 *
MAYBE
2.22 *
NO
0.18 *
NO
0.41 *
Maybe
0.20 *
Maybe
0.28 *
Maybe
0.97 *
Maybe
5.51
Brockschmidt_16/T2/statemate
*
MAYBE
0.11 *
MAYBE
0.11 *
TIMEOUT
60.00 *
NO
45.97 *
NO
41.32 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
Maybe
119.99
Brockschmidt_16/T2/stored
*
MAYBE
0.11 *
MAYBE
0.10 *
MAYBE
2.35 *
NO
0.17 *
NO
2.13 *
Maybe
1.13 *
Maybe
1.22 *
Maybe
0.97 *
Maybe
2.40
Brockschmidt_16/T2/streamserver-succeed
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
23.66 *
NO
1.56 *
NO
1.58 *
Maybe
2.13 *
Maybe
2.56 *
Maybe
9.35 *
Maybe
34.60
Brockschmidt_16/T2/streamserver.bug
*
MAYBE
0.11 *
MAYBE
0.12 *
MAYBE
37.05 *
NO
0.97 *
NO
6.53 *
Maybe
7.80 *
Maybe
8.42 *
TIMEOUT
60.00 *
Maybe
108.24
Brockschmidt_16/T2/subpoly_crash
*
MAYBE
0.13 *
MAYBE
0.12 *
MAYBE
0.84 *
NO
0.46 *
NO
1.03 *
Maybe
0.94 *
Maybe
0.57 *
Maybe
0.44 *
Maybe
1.68
Brockschmidt_16/T2/sudoku
*
MAYBE
0.13 *
MAYBE
0.12 *
TIMEOUT
60.05 *
YES
5.67 *
YES
4.70 *
TIMEOUT
60.00 *
TIMEOUT
60.01 *
TIMEOUT
60.00 *
Maybe
116.53
Brockschmidt_16/T2/sumit
*
n^1
0.13 *
MAYBE
0.12 *
MAYBE
2.05 *
NO
0.35 *
NO
1.01 *
Maybe
0.17 *
Maybe
0.50 *
Maybe
0.63 *
Maybe
0.67
Brockschmidt_16/T2/svdcmp
*
MAYBE
0.14 *
MAYBE
0.12 *
TIMEOUT
60.01 *
YES
8.26 *
YES
7.79 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
Maybe
116.80
Brockschmidt_16/T2/svdcmp.c.i.svdcmp.pl.t2.fixed
*
MAYBE
0.13 *
MAYBE
0.13 *
TIMEOUT
60.00 *
YES
3.60 *
YES
4.68 *
TIMEOUT
60.00 *
TIMEOUT
60.03 *
TIMEOUT
60.00 *
Maybe
118.40
Brockschmidt_16/T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed
*
MAYBE
0.12 *
MAYBE
0.14 *
TIMEOUT
60.05 *
YES
5.00 *
YES
5.91 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
Maybe
116.84
Brockschmidt_16/T2/toeplz
*
MAYBE
0.12 *
MAYBE
0.13 *
MAYBE
5.73 *
YES
0.28 *
YES
2.14 *
Maybe
6.27 *
Maybe
4.24 *
Maybe
4.59 *
Maybe
105.47
Brockschmidt_16/T2/toeplz.c.i.toeplz.pl.t2.fixed
*
n^2
0.11 *
n^1
0.12 *
n^2
10.35 *
YES
0.54 *
YES
1.11 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
n^1
115.32
Brockschmidt_16/T2/toeplz.c.i.toeplz.pl.t2.nor.t2.rlgfixed
*
MAYBE
0.14 *
MAYBE
0.13 *
MAYBE
5.65 *
YES
0.64 *
YES
0.94 *
Maybe
2.17 *
Maybe
5.51 *
Maybe
4.30 *
Maybe
105.27
Brockschmidt_16/T2/tqli
*
MAYBE
0.12 *
MAYBE
0.14 *
MAYBE
13.54 *
NO
2.23 *
NO
0.93 *
Maybe
0.57 *
Maybe
3.07 *
Maybe
3.15 *
Maybe
16.54
Brockschmidt_16/T2/tqli.c.i.tqli.pl.t2.fixed
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
16.75 *
NO
3.90 *
NO
2.62 *
Maybe
2.56 *
Maybe
6.19 *
Maybe
4.04 *
Maybe
5.70
Brockschmidt_16/T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed
*
MAYBE
0.14 *
MAYBE
0.11 *
MAYBE
13.16 *
NO
1.80 *
NO
0.79 *
Maybe
0.77 *
Maybe
1.56 *
Maybe
6.43 *
Maybe
5.32
Brockschmidt_16/T2/traverse
*
MAYBE
0.15 *
MAYBE
0.12 *
MAYBE
31.12 *
YES
4.73 *
YES
4.77 *
Maybe
22.33 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
Maybe
117.57
Brockschmidt_16/T2/traverse2
*
MAYBE
0.14 *
MAYBE
0.11 *
TIMEOUT
60.01 *
YES
56.82 *
YES
20.59 *
Maybe
29.97 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
Maybe
122.60
Brockschmidt_16/T2/traverse_seg
*
MAYBE
0.14 *
MAYBE
0.14 *
MAYBE
38.20 *
YES
6.37 *
YES
3.19 *
Maybe
20.75 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
Maybe
116.77
Brockschmidt_16/T2/traverse_seg2
*
MAYBE
0.14 *
MAYBE
0.12 *
MAYBE
51.95 *
NO
3.92 *
YES
5.47 *
Maybe
35.67 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
Maybe
117.51
Brockschmidt_16/T2/traverse_twice
*
MAYBE
0.10 *
MAYBE
0.11 *
MAYBE
55.09 *
YES
4.36 *
YES
5.92 *
Maybe
16.24 *
TIMEOUT
60.00 *
TIMEOUT
60.00 *
Maybe
116.93
Brockschmidt_16/T2/two_arrays
*
n^0
0.12 *
n^0
0.11 *
n^0
2.50 *
YES
1.03 *
YES
0.57 *
n^0
0.82 *
n^0
1.47 *
n^0
1.12 *
n^0
2.42
Brockschmidt_16/T2/two_arrays1
*
n^0
0.12 *
n^0
0.15 *
n^0
4.23 *
YES
1.01 *
YES
1.70 *
n^0
2.78 *
n^0
2.38 *
n^0
3.48 *
n^0
4.11
Brockschmidt_16/T2/two_arrays2
*
n^1
0.10 *
n^1
0.10 *
n^1
3.62 *
YES
1.01 *
YES
1.25 *
POLY
3.00 *
POLY
3.35 *
n^1
3.00 *
n^1
10.10
Brockschmidt_16/T2/two_arrays6
*
n^1
0.15 *
n^1
0.12 *
n^1
4.17 *
YES
0.80 *
YES
0.87 *
POLY
3.47 *
POLY
3.34 *
n^1
0.73 *
n^1
24.58
Brockschmidt_16/T2/ud
*
n^0
0.12 *
n^0
0.13 *
n^0
5.16 *
YES
0.55 *
YES
1.82 *
TIMEOUT
60.00 *
n^0
9.01 *
TIMEOUT
60.00 *
n^0
115.48
Brockschmidt_16/T2/vmcai_bytes
*
n^0
0.13 *
n^0
0.12 *
n^0
0.05 *
n^0
0.16 *
n^0
0.48 *
n^0
0.14 *
n^0
0.50 *
n^0
0.34 *
n^0
1.33
Brockschmidt_16/T2/vmcai_struct
*
n^0
0.11 *
n^0
0.10 *
n^0
0.04 *
n^0
0.33 *
n^0
0.32 *
n^0
0.47 *
n^0
0.13 *
n^0
0.88 *
n^0
0.36
Brockschmidt_16/T2/w1
*
MAYBE
0.11 *
MAYBE
0.12 *
MAYBE
0.41 *
NO
0.67 *
NO
1.47 *
Maybe
0.59 *
Maybe
0.33 *
Maybe
1.50 *
Maybe
0.25
Brockschmidt_16/T2/w2_nt
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
5.14 *
NO
0.76 *
NO
0.58 *
Maybe
0.58 *
Maybe
1.47 *
Maybe
1.70 *
Maybe
12.35
Brockschmidt_16/T2/walk
*
MAYBE
0.11 *
MAYBE
0.11 *
MAYBE
2.32 *
NO
0.36 *
NO
0.78 *
Maybe
1.24 *
Maybe
0.59 *
Maybe
1.24 *
Maybe
3.36
Brockschmidt_16/T2/wrong_loop
*
MAYBE
0.11 *
MAYBE
0.13 *
MAYBE
1.08 *
NO
0.77 *
NO
0.55 *
Maybe
0.74 *
Maybe
1.53 *
Maybe
0.17 *
Maybe
0.41
Brockschmidt_16/T2/wtf
*
n^1
0.12 *
n^1
0.11 *
n^1
9.34 *
NO
0.82 *
YES
3.74 *
POLY
19.21 *
Maybe
1.38 *
POLY
31.54 *
POLY
113.86
Brockschmidt_16/T2/zeroconf
*
MAYBE
0.12 *
MAYBE
0.12 *
MAYBE
35.58 *
NO
3.11 *
NO
5.22 *
Maybe
5.27 *
Maybe
4.96 *
Maybe
8.82 *
Maybe
22.51
Brockschmidt_16/T2/zeroconf_withassume
*
MAYBE
0.13 *
MAYBE
0.12 *
MAYBE
35.34 *
NO
0.53 *
NO
2.81 *
Maybe
2.40 *
Maybe
3.70 *
TIMEOUT
60.00 *
Maybe
114.90
Brockschmidt_16/c-examples/ABC/ex01
*
n^1
0.16 *
n^1
0.18 *
n^1
0.38 *
YES
0.15 *
YES
0.53 *
n^1
0.41 *
n^1
0.17 *
n^1
0.33 *
n^1
3.30
Brockschmidt_16/c-examples/ABC/ex02
*
n^2
0.32 *
n^2
0.32 *
n^2
0.82 *
YES
0.22 *
YES
0.16 *
POLY
0.28 *
POLY
0.29 *
POLY
0.54 *
POLY
5.59
Brockschmidt_16/c-examples/ABC/ex03
*
n^4
0.24 *
n^6
0.26 *
n^6
1.80 *
YES
0.22 *
YES
0.34 *
PRIMREC
0.95 *
PRIMREC
0.88 *
PRIMREC
2.17 *
POLY
13.11
Brockschmidt_16/c-examples/ABC/ex04
*
MAYBE
0.21 *
MAYBE
0.20 *
MAYBE
3.51 *
NO
0.25 *
NO
0.30 *
Maybe
0.27 *
Maybe
0.64 *
Maybe
1.79 *
Maybe
6.23
Brockschmidt_16/c-examples/ABC/ex05
*
n^2
0.23 *
n^2
0.21 *
n^2
0.75 *
YES
0.15 *
YES
0.42 *
PRIMREC
0.50 *
POLY
0.65 *
POLY
0.84 *
POLY
5.57
Brockschmidt_16/c-examples/ABC/ex06
*
n^2
0.18 *
n^2
0.17 *
n^2
0.77 *
YES
0.17 *
YES
0.20 *
PRIMREC
0.28 *
POLY
0.61 *
POLY
0.71 *
POLY
4.96
Brockschmidt_16/c-examples/ABC/ex07
*
n^2
0.15 *
n^2
0.14 *
n^2
0.90 *
YES
0.16 *
YES
0.23 *
POLY
0.28 *
POLY
0.51 *
POLY
0.79 *
POLY
6.08
Brockschmidt_16/c-examples/ABC/ex08
*
n^2
0.22 *
n^2
0.19 *
n^2
0.72 *
YES
0.16 *
YES
0.61 *
POLY
0.69 *
POLY
0.53 *
POLY
0.88 *
POLY
6.26
Brockschmidt_16/c-examples/ABC/ex09
*
n^2
0.21 *
n^2
0.17 *
n^2
0.89 *
YES
0.26 *
YES
0.26 *
POLY
0.30 *
POLY
0.38 *
POLY
1.54 *
POLY
7.13
Brockschmidt_16/c-examples/ABC/ex10
*
n^2
0.20 *
n^2
0.22 *
n^2
0.76 *
YES
0.15 *
YES
0.55 *
POLY
0.53 *
POLY
0.39 *
POLY
0.66 *
POLY
5.50
Brockschmidt_16/c-examples/ABC/ex11
*
n^2
0.22 *
n^2
0.20 *
n^2
0.76 *
YES
0.18 *
YES
0.36 *
POLY
0.42 *
POLY
0.23 *
POLY
0.87 *
POLY
6.74
Brockschmidt_16/c-examples/ABC/ex12
*
n^1
0.34 *
n^2
0.33 *
n^2
0.72 *
YES
0.40 *
YES
0.38 *
n^1
0.26 *
POLY
0.35 *
n^1
0.60 *
n^1
2.71
Brockschmidt_16/c-examples/ABC/ex13
*
n^3
0.39 *
n^4
0.38 *
n^4
1.98 *
YES
0.22 *
YES
0.45 *
POLY
0.89 *
POLY
0.48 *
POLY
1.68 *
POLY
9.65
Brockschmidt_16/c-examples/ABC/ex14
*
n^4
0.13 *
n^8
0.12 *
n^8
1.95 *
YES
0.30 *
YES
0.72 *
PRIMREC
0.72 *
POLY
0.56 *
PRIMREC
1.88 *
POLY
12.98
Brockschmidt_16/c-examples/ABC/ex15
*
MAYBE
0.24 *
MAYBE
0.25 *
MAYBE
5.01 *
NO
0.38 *
NO
0.34 *
Maybe
0.31 *
Maybe
0.72 *
Maybe
1.44 *
Maybe
10.49
Brockschmidt_16/c-examples/Loopus/Example1
*
n^1
0.18 *
n^1
0.13 *
n^1
3.41 *
NO
0.25 *
YES
0.74 *
POLY
0.66 *
Maybe
0.25 *
n^1
2.64 *
n^1
9.80
Brockschmidt_16/c-examples/Loopus/Example2
*
n^1
0.17 *
MAYBE
0.15 *
MAYBE
20.96 *
NO
0.77 *
NO
1.37 *
Maybe
1.44 *
Maybe
1.21 *
Maybe
6.31 *
Maybe
25.22
Brockschmidt_16/c-examples/Loopus/Example3
*
n^1
0.18 *
n^1
0.20 *
MAYBE
2.65 *
NO
0.40 *
NO
0.39 *
Maybe
0.38 *
Maybe
0.42 *
Maybe
2.25 *
Maybe
5.51
Brockschmidt_16/c-examples/Rank/ex1
*
n^2
0.12 *
n^2
0.11 *
MAYBE
4.22 *
NO
1.16 *
YES
0.81 *
PRIMREC
1.15