jlouis

library(ggplot2)

x <- read.csv("results/all", header=TRUE)
y <- subset(x, team == "EG" | team == "EHOME" | team == "Secret" | team == 'Alliance' | team == 'OG' | team == 'VP' | team == 'VG')

p <- ggplot(y, aes(x = week, color=factor(team)))

png("out.png", x = 1920, y = 1080)
p + geom_ribbon(aes(ymin = r-2*rd, ymax=r+2*rd), fill="grey70") + geom_line(aes(y = r)) + facet_grid(team ~ .)
dev.off()

jlouis

24> fuse_eqc:r(seq, {5, min}).
....................................................................................................(x10)....................................................................................................(x100)...........................................................(x10)...Failed! After 7031 tests.
[{set,{var,1},{call,fuse_eqc,elapse_time,[1667182]}},
 {set,{var,2},{call,fuse_eqc,elapse_time,[1452942]}},
 {set,{var,3},{call,fuse_eqc,elapse_time,[3558496]}},
 {set,{var,4},{call,fuse_eqc,elapse_time,[1631202]}},
 {set,{var,5},{call,fuse_eqc,remove,[isabella]}},
 {set,{var,6},{call,fuse_eqc,elapse_time,[3017300]}},
 {set,{var,7},{call,fuse_eqc,elapse_time,[3136209]}},
 {set,{var,8},{call,fuse_eqc,elapse_time,[3336357]}},

jlouis

6> eqc:module(sv_codel_eqc).      
prop_codel: ...Failed! After 4 tests.
[{set,{var,1},{call,sv_codel_eqc,new,",º"}},
 {set,{var,2},{call,sv_codel_eqc,advance_time,[896]}},
 {set,{var,3},{call,sv_codel_eqc,delete,[]}},
 {set,{var,4},{call,sv_codel_eqc,new,[29,149]}},
 {set,{var,5},{call,sv_codel_eqc,advance_time,[587]}},
 {set,{var,6},{call,sv_codel_eqc,advance_time,[643]}},
 {set,{var,7},{call,sv_codel_eqc,len,[]}},
 {set,{var,8},{call,sv_codel_eqc,advance_time,[0]}},

jlouis

-module(sv_codel_eqc).

-compile([export_all]).

-include_lib("eqc/include/eqc.hrl").
-include_lib("eqc/include/eqc_statem.hrl").

-record(model, {
	time,
	queue,

jlouis

library(ggplot2)

x <- read.csv("results/all", header=TRUE)
y <- subset(x, team == "EG" | team == "EHOME" | team == "Secret" | team == 'Alliance' | team == 'OG' | team == 'VP' | team == 'VG')

p <- ggplot(y, aes(x = week, color=factor(team)))

png("out.png", x = 1920, y = 1080)
p + geom_ribbon(aes(ymin = r-2*rd, ymax=r+2*rd), fill="grey70") + geom_line(aes(y = r)) + facet_grid(team ~ .)
dev.off()

jlouis

55> eministat:x(95.0, Rev1, Rev2).
x lists:reverse/1
+ tail_reverse/1
+--------------------------------------------------------------------------+
|x              xx xxxxx                    x      ++  +++  ++  +        ++|
|                  x                                +  +++                 |
|                                                   +                      |
|         |________MA__________|                                           |
|                                                  |____M_A______|         |
+--------------------------------------------------------------------------+

jlouis

98> eministat:x(95.0, L1, L2).
x lists:reverse/1
+ tail_reverse/1
+--------------------------------------------------------------------------+
|  xxxx  x            x                            ++++ +    ++           +|
|   x x                                            + ++ +     +            |
|   x                                                   +                  |
|   x                                                   +                  |
||__M__A____|                                                              |
|                                                  |____MA_____|           |

jlouis

115> L1 = eministat:lists_reverse_1().
#dataset{name = "lists:reverse/1",
         points = [149,222,227,252,261,273,287,290,291,298,302,306,
                   307,313,314,320,328,337,361,382,403,416,488,491,497,499|...],
         sy = 36024.0,syy = 42306386.0,n = 50}
116> L2 = eministat:lists_reverse_2().
#dataset{name = "tail_reverse",
         points = [347,424,426,493,524,567,579,657,661,664,679,690,
                   700,707,725,729,762,768,768,769,777,782,798,798,801,821|...],
         sy = 56599.0,syy = 88363771.0,n = 50}

jlouis

102> eministat:x(95.0, I, C).
x iguana
+ chameleon
+--------------------------------------------------------------------------+
|x       *   x                *       +                  + x              +|
| |__________M________A__________________|                                 |
|                |____________________M___A_______________________|        |
+--------------------------------------------------------------------------+
Dataset: x N=7 CI=95.0000
Statistic     Value     [     Bias] (SE)

jlouis

8> eqc:module(z).
prop_find: Failed! After 1 tests.
{#Fun<eqc_fun.44.48683925>,0}
F = #Fun<eqc_fun.44.48683925>
Shrinking ...(3 times)
{#Fun<eqc_fun.44.48683925>,0}
F = fun(_) -> 0 end
[prop_find]