Commit d9770d27 authored by Benoit Barbot's avatar Benoit Barbot
Browse files

fix tests

parent 46c1af31
Pipeline #2151 passed with stages
in 2 minutes and 19 seconds
......@@ -444,8 +444,6 @@ Test with s<>0
Weight': e^{-6s}(3s^-4+6s⁻³)+e^{-4s}(-9s^-4-12s⁻³)+e^{-2s}(9s^-4+6s⁻³)+-3s^-4
Weight2 : e^{-6s}(-s)+e^{-4s}(3s)+e^{-2s}(-3s)+s
Weight2': e^{-6s}(3+6s)+e^{-4s}(-9-12s)+e^{-2s}(9+6s)-3
Weight_taylor : 8-24s
Weight_taylor': -24+80.s-288s²
Time duration for s: 0 -> (2,8)
Time duration for s: 1 -> (1.06089,-0.827815)
Time duration for s: 2.28156 -> (0.251654,-0.448506)
......@@ -973,32 +971,32 @@ Test expected size
Computing forward reachability graph ... 3 states found.
Splitting reachability graph ... 4 states found.
Computing Distribution[floating point; Poly; no s; clocks:{y; x; }; vars:{t; z; s; }] -> 3: [|||]
Computing boltzmann parameter z for E[N]=10 |91 samples with z:1 -> 11.2637
|11 samples with z:0.5 -> 5.18182
|13 samples with z:0.75 -> 6.76923
|19 samples with z:0.925 -> 7.84211
|78 samples with z:1.0475 -> 12.0128
|100 samples with z:0.96175 -> 11.26
|19 samples with z:0.901725 -> 7.84211
|19 samples with z:0.943743 -> 7.84211
|95 samples with z:0.973155 -> 11.4421
|19 samples with z:0.952566 -> 7.84211
|98 samples with z:0.966978 -> 11.3571
|19 samples with z:0.95689 -> 7.84211
|98 samples with z:0.963952 -> 11.3571
|174 samples with z:0.959008 -> 10.5805
|19 samples with z:0.955548 -> 7.84211
|181 samples with z:0.95797 -> 10.547
|19 samples with z:0.956275 -> 7.84211
|19 samples with z:0.957462 -> 7.84211
|181 samples with z:0.958292 -> 10.547
|181 samples with z:0.957711 -> 10.547
|19 samples with z:0.957304 -> 7.84211
-> z=0.95719;E[N]=7.84211
1.467905[b] 0.387023[b] 1.859033[a] 0.144883[b] 1.574423[b] 1.540942[a] 0.115437[a] 0.294829[b] 0.632117[a] 0.955127[b] 0.193493[a] 0.701669[b] 0.328127[b] 0.242619[a] 0.331099[a] 0.087885[a] 0.455462[a] 0.652363[a] 0.116332[b] 0.346412[a] 1.336918[a] 1.028443[b] 0.491002[a] 0.440456[b] 1.000066[a] 0.611092[b] 0.764641[a] 1.167836[a] 0.516982[b] 0.245092[b] 0.368660[b] 0.647249[b] 0.917471[a] 0.775436[a] 0.118662[a] 0.886845[b] 0.142032[a] 1.651435[b] 0.007528[a] 0.965701[a] 0.247395[b] 1.190091[b] 1.042321[a] 0.486224[a] 0.757685[b] 0.332257[b] 0.799298[a] 1.571939[b] 0.959681[a] 1.249999[b]
1.237200[b] 1.278343[a] 0.098980[b] 0.058640[b] 0.254528[b] 0.415327[b] 0.225480[b] 0.847889[b] 0.312005[a] 0.803334[b] 0.447059[a] 1.783855[b] 0.189601[a] 0.736148[a] 0.943174[b] 1.856247[a] 0.276609[b] 0.020798[a] 1.978187[a]
0.251816[a] 1.733889[a] 0.865495[b] 0.631205[b] 0.101306[a] 0.807565[b] 0.694674[b] 0.531241[a] 0.914223[a] 1.137525[b] 0.592146[a] 1.566011[b] 0.803804[a] 0.343916[a] 0.353297[b]
1.516323[b] 0.498949[a] 0.538900[b] 0.520228[b] 0.807097[a] 1.148092[b] 1.092167[a] 0.792596[b] 0.142264[b]
Computing boltzmann parameter z for E[N]=10 |101->11.44 samples with z:1 s:? -> size:11.4356 duration:9.04949
|101->4.11 samples with z:0.5 s:? -> size:4.10891 duration:3.37354
|101->7.01 samples with z:0.75 s:? -> size:7.0099 duration:5.69477
|217->9.66 samples with z:0.925 s:? -> size:9.65899 duration:7.57826
|101->12.26 samples with z:1.0475 s:? -> size:12.2574 duration:9.7432
|102->11.19 samples with z:0.96175 s:? -> size:11.1863 duration:8.86401
|206->9.64 samples with z:0.901725 s:? -> size:9.63592 duration:7.59757
|345->9.84 samples with z:0.943743 s:? -> size:9.83768 duration:7.75404
|101->11.39 samples with z:0.973155 s:? -> size:11.3861 duration:9.00026
|185->10.61 samples with z:0.952566 s:? -> size:10.6108 duration:8.3074
|323->9.81 samples with z:0.938154 s:? -> size:9.81115 duration:7.73567
|452->9.90 samples with z:0.948243 s:? -> size:9.89602 duration:7.75556
|185->10.61 samples with z:0.955304 s:? -> size:10.6108 duration:8.31263
|185->10.61 samples with z:0.950361 s:? -> size:10.6108 duration:8.30764
|415->9.88 samples with z:0.946901 s:? -> size:9.88434 duration:7.7909
|186->10.55 samples with z:0.949323 s:? -> size:10.5484 duration:8.26633
|449->9.89 samples with z:0.947627 s:? -> size:9.89087 duration:7.74958
|452->9.90 samples with z:0.948814 s:? -> size:9.89602 duration:7.7555
|186->10.55 samples with z:0.949645 s:? -> size:10.5484 duration:8.26629
|186->10.55 samples with z:0.949064 s:? -> size:10.5484 duration:8.26635
|452->9.90 samples with z:0.948657 s:? -> size:9.89602 duration:7.75552
-> z=0.948543;E[N]=9.89602
1.468118[b] 0.386887[b] 1.859121[a] 0.144908[b] 1.574526[b] 1.541086[a] 0.115433[a] 0.294879[b] 0.632177[a] 0.955383[b] 0.193531[a] 0.701896[b] 0.328159[b] 0.242664[a] 0.331117[a] 0.087880[a] 0.455452[a] 0.652435[a] 0.116353[b] 0.346468[a] 1.337000[a] 1.028421[b] 0.491065[a] 0.440621[b] 1.000067[a] 0.611301[b] 0.764688[a] 1.167837[a] 0.517032[b] 0.245160[b] 0.368711[b] 0.647165[b] 0.917491[a] 0.775553[a] 0.118633[a] 0.886841[b] 0.142061[a] 1.651595[b] 0.007530[a] 0.965707[a] 0.247496[b] 1.190209[b] 1.042339[a] 0.486350[a] 0.757760[b] 0.332317[b] 0.799340[a] 1.572124[b] 0.959692[a] 1.250248[b]
1.237450[b] 1.278443[a] 0.099013[b] 0.058665[b] 0.254618[b] 0.415417[b] 0.225496[b] 0.847689[b] 0.312058[a] 0.803576[b] 0.447121[a] 1.783964[b] 0.189639[a] 0.736130[a] 0.943429[b] 1.856337[a] 0.276649[b] 0.020802[a] 1.978183[a]
0.251862[a] 1.733855[a] 0.865520[b] 0.631276[b] 0.101328[a] 0.807807[b] 0.694637[b] 0.531304[a] 0.914295[a] 1.137561[b] 0.592208[a] 1.566198[b] 0.803846[a] 0.343933[a] 0.353415[b]
1.516524[b] 0.499012[a] 0.539092[b] 0.520296[b] 0.807138[a] 1.148349[b] 1.092205[a] 0.792806[b] 0.142281[b]
$ wordgen noclock.prism --seed 42 -v 5 --output-format word --debug --boltzmann 0.48 --receding 10 | sed 's/[[][0-9]*[.][0-9]*s[]]//g'
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment