Skip to content
Snippets Groups Projects
Commit e4e01a0c authored by Dorian Weber's avatar Dorian Weber
Browse files

Committed the benchmark results and added a README.md.

parent b984c6f8
No related merge requests found
Showing
with 2138 additions and 14 deletions
# Process-Based Simulation with Stackless Coroutines
## Overview
This repository contains the source code for the simulator core discussed in our SAM 2020 paper.
In order to run the examples, you should install the [Rust-compiler] first.
The `src/` directory contains the source code for our simulator core *simcore-rs* as well as the decompressor-tokenizer-
and the barbershop-example from the paper. The folder `benches/` contains the code used for benchmarking the barbershop-
example. In `slx/` one can find the SLX-code for the barbershop-example, including benchmarking provisions.
The `results/` directory contains our benchmarking results for the barbershop-example in Rust and SLX.
Unfortunately, we are unable to provide a link to the SLX-compiler at this time. Please contact us if you wish to
execute the barbershop-example in SLX as well.
## Executing the Sample Code
You may execute the decompressor-tokenizer example using `cargo run --bin coroutines` and the barbershop example
using `cargo run --bin barbershop`. For the benchmarks of the simulator core in case of the barbershop example you may
enter `cargo bench` into your terminal. Cargo will download and compile all the dependencies for you.
Should you wish to execute the SLX code as well, you will need to obtain a version of SLX first. The free student
version is sufficient to run the benchmarks with a sample size of 1 for a quick comparison between SLX and Rust, but in
order to get statistically relevant results, you need to own a license for the full version of SLX.
## Benchmarks
We executed the benchmarks under Windows 10 on an Intel Core i7-10750H processor with 6 cores and 32 GB DDR4 RAM.
You can find the results under `results/barbershop.lis` for SLX and `results/barbershop/report/index.html` for Rust.
In a nutshell: we see a speed difference between the SLX- and the Rust-version of the barbershop example of about 3 in
favor of SLX. We have summarized the results in the following table for your convenience:
| Model Time | SLX Mean | SLX SD | Rust Mean | Rust SD |
|:----------:|---------:|---------:|----------:|---------:|
| 100000 | 0.514 ms | 0.052 ms | 1.446 ms | 0.039 ms |
| 200000 | 1.034 ms | 0.069 ms | 2.882 ms | 0.046 ms |
| 300000 | 1.552 ms | 0.073 ms | 4.389 ms | 0.064 ms |
| 400000 | 2.069 ms | 0.089 ms | 5.754 ms | 0.051 ms |
| 500000 | 2.592 ms | 0.116 ms | 7.188 ms | 0.054 ms |
| 600000 | 3.106 ms | 0.121 ms | 8.904 ms | 0.117 ms |
| 700000 | 3.618 ms | 0.127 ms | 10.232 ms | 0.078 ms |
| 800000 | 4.136 ms | 0.150 ms | 11.587 ms | 0.230 ms |
[Rust-compiler]: https://rust.sh
......@@ -14,7 +14,7 @@ fn barbershop(c: &mut Criterion) {
let mut rng_a = SmallRng::seed_from_u64(SEED_A);
let mut rng_s = SmallRng::seed_from_u64(SEED_S);
group.measurement_time(Duration::from_secs_f64(30.0));
group.measurement_time(Duration::from_secs_f64(60.0));
group.confidence_level(0.99);
for stop_time in (1..=RANGE).map(|c| Time::from(c)*STEP) {
......
barbershop.slx: SLX-64 AN206 Lines: 7,086 Errors: 0 Warnings: 0 Lines/Second: 680,384 Peak Memory: 111 MB
Execution begins
[100000] mean 0.514 ms, stddev 0.052 ms, half-width 0.001 ms
[200000] mean 1.034 ms, stddev 0.069 ms, half-width 0.002 ms
[300000] mean 1.552 ms, stddev 0.073 ms, half-width 0.002 ms
[400000] mean 2.069 ms, stddev 0.089 ms, half-width 0.002 ms
[500000] mean 2.592 ms, stddev 0.116 ms, half-width 0.003 ms
[600000] mean 3.106 ms, stddev 0.121 ms, half-width 0.003 ms
[700000] mean 3.618 ms, stddev 0.127 ms, half-width 0.003 ms
[800000] mean 4.136 ms, stddev 0.150 ms, half-width 0.004 ms
Execution complete
Objects created: 44 passive and 1,999,959,827 active Pucks created: 2,000,039,828 Peak Memory: 111 MB Time: 3.10 Minutes
barbershop.slx: SLX-64 AN206 Lines: 7,086 Errors: 0 Warnings: 0 Lines/Second: 680,384 Peak Memory: 111 MB
Execution begins
[100000] mean 0.514 ms, stddev 0.052 ms, half-width 0.001 ms
[200000] mean 1.034 ms, stddev 0.069 ms, half-width 0.002 ms
[300000] mean 1.552 ms, stddev 0.073 ms, half-width 0.002 ms
[400000] mean 2.069 ms, stddev 0.089 ms, half-width 0.002 ms
[500000] mean 2.592 ms, stddev 0.116 ms, half-width 0.003 ms
[600000] mean 3.106 ms, stddev 0.121 ms, half-width 0.003 ms
[700000] mean 3.618 ms, stddev 0.127 ms, half-width 0.003 ms
[800000] mean 4.136 ms, stddev 0.150 ms, half-width 0.004 ms
Execution complete
Objects created: 44 passive and 1,999,959,827 active Pucks created: 2,000,039,828 Peak Memory: 111 MB Time: 3.10 Minutes
{"group_id":"Barbershop","function_id":null,"value_str":"100000","throughput":null,"full_id":"Barbershop/100000","directory_name":"barbershop/100000","title":"Barbershop/100000"}
\ No newline at end of file
{"mean":{"confidence_interval":{"confidence_level":0.99,"lower_bound":1437673.8153504157,"upper_bound":1457739.90065053},"point_estimate":1446297.0024249256,"standard_error":3937.0189967761453},"median":{"confidence_interval":{"confidence_level":0.99,"lower_bound":1434354.1666666667,"upper_bound":1440389.705882353},"point_estimate":1436577.9974123058,"standard_error":1531.9600428949157},"median_abs_dev":{"confidence_interval":{"confidence_level":0.99,"lower_bound":7185.896329241905,"upper_bound":16778.632086656973},"point_estimate":11867.187634297417,"standard_error":1942.5462696386846},"slope":{"confidence_interval":{"confidence_level":0.99,"lower_bound":1435637.0842025997,"upper_bound":1444796.192653672},"point_estimate":1439804.5507610464,"standard_error":1771.7022156902058},"std_dev":{"confidence_interval":{"confidence_level":0.99,"lower_bound":17120.720790680873,"upper_bound":59051.723972006665},"point_estimate":39619.83674728129,"standard_error":8415.04789825481}}
\ No newline at end of file
group,function,value,throughput_num,throughput_type,sample_measured_value,unit,iteration_count
Barbershop,,100000,,,11258300.0,ns,8
Barbershop,,100000,,,23151400.0,ns,16
Barbershop,,100000,,,40156200.0,ns,24
Barbershop,,100000,,,45149100.0,ns,32
Barbershop,,100000,,,60543800.0,ns,40
Barbershop,,100000,,,71699100.0,ns,48
Barbershop,,100000,,,80908600.0,ns,56
Barbershop,,100000,,,91111400.0,ns,64
Barbershop,,100000,,,101436500.0,ns,72
Barbershop,,100000,,,115971500.0,ns,80
Barbershop,,100000,,,129275200.0,ns,88
Barbershop,,100000,,,156750700.0,ns,96
Barbershop,,100000,,,152675000.0,ns,104
Barbershop,,100000,,,159118900.0,ns,112
Barbershop,,100000,,,172122500.0,ns,120
Barbershop,,100000,,,181849500.0,ns,128
Barbershop,,100000,,,194189300.0,ns,136
Barbershop,,100000,,,214791000.0,ns,144
Barbershop,,100000,,,219014100.0,ns,152
Barbershop,,100000,,,230268100.0,ns,160
Barbershop,,100000,,,236874700.0,ns,168
Barbershop,,100000,,,251145100.0,ns,176
Barbershop,,100000,,,265018500.0,ns,184
Barbershop,,100000,,,276687500.0,ns,192
Barbershop,,100000,,,283880800.0,ns,200
Barbershop,,100000,,,330524200.0,ns,208
Barbershop,,100000,,,335799500.0,ns,216
Barbershop,,100000,,,322610900.0,ns,224
Barbershop,,100000,,,334612300.0,ns,232
Barbershop,,100000,,,343695900.0,ns,240
Barbershop,,100000,,,352043900.0,ns,248
Barbershop,,100000,,,368207000.0,ns,256
Barbershop,,100000,,,378854900.0,ns,264
Barbershop,,100000,,,386805900.0,ns,272
Barbershop,,100000,,,403057700.0,ns,280
Barbershop,,100000,,,414145400.0,ns,288
Barbershop,,100000,,,425241200.0,ns,296
Barbershop,,100000,,,435164000.0,ns,304
Barbershop,,100000,,,449720100.0,ns,312
Barbershop,,100000,,,464929500.0,ns,320
Barbershop,,100000,,,467967100.0,ns,328
Barbershop,,100000,,,485652600.0,ns,336
Barbershop,,100000,,,489110800.0,ns,344
Barbershop,,100000,,,505077900.0,ns,352
Barbershop,,100000,,,521007300.0,ns,360
Barbershop,,100000,,,530084600.0,ns,368
Barbershop,,100000,,,533162100.0,ns,376
Barbershop,,100000,,,553346000.0,ns,384
Barbershop,,100000,,,568680100.0,ns,392
Barbershop,,100000,,,577911800.0,ns,400
Barbershop,,100000,,,587679000.0,ns,408
Barbershop,,100000,,,594449700.0,ns,416
Barbershop,,100000,,,604859200.0,ns,424
Barbershop,,100000,,,617146600.0,ns,432
Barbershop,,100000,,,652916800.0,ns,440
Barbershop,,100000,,,643365800.0,ns,448
Barbershop,,100000,,,649919000.0,ns,456
Barbershop,,100000,,,671399400.0,ns,464
Barbershop,,100000,,,677201500.0,ns,472
Barbershop,,100000,,,684634300.0,ns,480
Barbershop,,100000,,,697488200.0,ns,488
Barbershop,,100000,,,716516000.0,ns,496
Barbershop,,100000,,,721044200.0,ns,504
Barbershop,,100000,,,731838500.0,ns,512
Barbershop,,100000,,,740138200.0,ns,520
Barbershop,,100000,,,755934800.0,ns,528
Barbershop,,100000,,,769604300.0,ns,536
Barbershop,,100000,,,810699600.0,ns,544
Barbershop,,100000,,,821170400.0,ns,552
Barbershop,,100000,,,823984500.0,ns,560
Barbershop,,100000,,,815695000.0,ns,568
Barbershop,,100000,,,821230400.0,ns,576
Barbershop,,100000,,,837383300.0,ns,584
Barbershop,,100000,,,851223400.0,ns,592
Barbershop,,100000,,,863588200.0,ns,600
Barbershop,,100000,,,876111800.0,ns,608
Barbershop,,100000,,,884431700.0,ns,616
Barbershop,,100000,,,900753300.0,ns,624
Barbershop,,100000,,,906882700.0,ns,632
Barbershop,,100000,,,916174800.0,ns,640
Barbershop,,100000,,,928050500.0,ns,648
Barbershop,,100000,,,941027000.0,ns,656
Barbershop,,100000,,,953379100.0,ns,664
Barbershop,,100000,,,964365900.0,ns,672
Barbershop,,100000,,,978582000.0,ns,680
Barbershop,,100000,,,997588400.0,ns,688
Barbershop,,100000,,,1012511400.0,ns,696
Barbershop,,100000,,,1019418400.0,ns,704
Barbershop,,100000,,,1032338000.0,ns,712
Barbershop,,100000,,,1055256400.0,ns,720
Barbershop,,100000,,,1048397500.0,ns,728
Barbershop,,100000,,,1055206300.0,ns,736
Barbershop,,100000,,,1071154100.0,ns,744
Barbershop,,100000,,,1080270800.0,ns,752
Barbershop,,100000,,,1095260000.0,ns,760
Barbershop,,100000,,,1097986500.0,ns,768
Barbershop,,100000,,,1105461000.0,ns,776
Barbershop,,100000,,,1115698800.0,ns,784
Barbershop,,100000,,,1134741200.0,ns,792
Barbershop,,100000,,,1145929400.0,ns,800
{"sampling_mode":"Linear","iters":[8.0,16.0,24.0,32.0,40.0,48.0,56.0,64.0,72.0,80.0,88.0,96.0,104.0,112.0,120.0,128.0,136.0,144.0,152.0,160.0,168.0,176.0,184.0,192.0,200.0,208.0,216.0,224.0,232.0,240.0,248.0,256.0,264.0,272.0,280.0,288.0,296.0,304.0,312.0,320.0,328.0,336.0,344.0,352.0,360.0,368.0,376.0,384.0,392.0,400.0,408.0,416.0,424.0,432.0,440.0,448.0,456.0,464.0,472.0,480.0,488.0,496.0,504.0,512.0,520.0,528.0,536.0,544.0,552.0,560.0,568.0,576.0,584.0,592.0,600.0,608.0,616.0,624.0,632.0,640.0,648.0,656.0,664.0,672.0,680.0,688.0,696.0,704.0,712.0,720.0,728.0,736.0,744.0,752.0,760.0,768.0,776.0,784.0,792.0,800.0],"times":[11258300.0,23151400.0,40156200.0,45149100.0,60543800.0,71699100.0,80908600.0,91111400.0,101436500.0,115971500.0,129275200.0,156750700.0,152675000.0,159118900.0,172122500.0,181849500.0,194189300.0,214791000.0,219014100.0,230268100.0,236874700.0,251145100.0,265018500.0,276687500.0,283880800.0,330524200.0,335799500.0,322610900.0,334612300.0,343695900.0,352043900.0,368207000.0,378854900.0,386805900.0,403057700.0,414145400.0,425241200.0,435164000.0,449720100.0,464929500.0,467967100.0,485652600.0,489110800.0,505077900.0,521007300.0,530084600.0,533162100.0,553346000.0,568680100.0,577911800.0,587679000.0,594449700.0,604859200.0,617146600.0,652916800.0,643365800.0,649919000.0,671399400.0,677201500.0,684634300.0,697488200.0,716516000.0,721044200.0,731838500.0,740138200.0,755934800.0,769604300.0,810699600.0,821170400.0,823984500.0,815695000.0,821230400.0,837383300.0,851223400.0,863588200.0,876111800.0,884431700.0,900753300.0,906882700.0,916174800.0,928050500.0,941027000.0,953379100.0,964365900.0,978582000.0,997588400.0,1012511400.0,1019418400.0,1032338000.0,1055256400.0,1048397500.0,1055206300.0,1071154100.0,1080270800.0,1095260000.0,1097986500.0,1105461000.0,1115698800.0,1134741200.0,1145929400.0]}
\ No newline at end of file
[1382557.362869584,1405953.0950970615,1468341.7143703348,1491737.4465978122]
\ No newline at end of file
{"mean":{"confidence_interval":{"confidence_level":0.99,"lower_bound":-0.026656087951228594,"upper_bound":-0.012351824951377698},"point_estimate":-0.0196823801740047,"standard_error":0.002867583888859883},"median":{"confidence_interval":{"confidence_level":0.99,"lower_bound":-0.028796524055541284,"upper_bound":-0.019401893555118788},"point_estimate":-0.023139155847256565,"standard_error":0.0018353663800739035}}
\ No newline at end of file
{"group_id":"Barbershop","function_id":null,"value_str":"100000","throughput":null,"full_id":"Barbershop/100000","directory_name":"barbershop/100000","title":"Barbershop/100000"}
\ No newline at end of file
{"mean":{"confidence_interval":{"confidence_level":0.99,"lower_bound":1437673.8153504157,"upper_bound":1457739.90065053},"point_estimate":1446297.0024249256,"standard_error":3937.0189967761453},"median":{"confidence_interval":{"confidence_level":0.99,"lower_bound":1434354.1666666667,"upper_bound":1440389.705882353},"point_estimate":1436577.9974123058,"standard_error":1531.9600428949157},"median_abs_dev":{"confidence_interval":{"confidence_level":0.99,"lower_bound":7185.896329241905,"upper_bound":16778.632086656973},"point_estimate":11867.187634297417,"standard_error":1942.5462696386846},"slope":{"confidence_interval":{"confidence_level":0.99,"lower_bound":1435637.0842025997,"upper_bound":1444796.192653672},"point_estimate":1439804.5507610464,"standard_error":1771.7022156902058},"std_dev":{"confidence_interval":{"confidence_level":0.99,"lower_bound":17120.720790680873,"upper_bound":59051.723972006665},"point_estimate":39619.83674728129,"standard_error":8415.04789825481}}
\ No newline at end of file
group,function,value,throughput_num,throughput_type,sample_measured_value,unit,iteration_count
Barbershop,,100000,,,11258300.0,ns,8
Barbershop,,100000,,,23151400.0,ns,16
Barbershop,,100000,,,40156200.0,ns,24
Barbershop,,100000,,,45149100.0,ns,32
Barbershop,,100000,,,60543800.0,ns,40
Barbershop,,100000,,,71699100.0,ns,48
Barbershop,,100000,,,80908600.0,ns,56
Barbershop,,100000,,,91111400.0,ns,64
Barbershop,,100000,,,101436500.0,ns,72
Barbershop,,100000,,,115971500.0,ns,80
Barbershop,,100000,,,129275200.0,ns,88
Barbershop,,100000,,,156750700.0,ns,96
Barbershop,,100000,,,152675000.0,ns,104
Barbershop,,100000,,,159118900.0,ns,112
Barbershop,,100000,,,172122500.0,ns,120
Barbershop,,100000,,,181849500.0,ns,128
Barbershop,,100000,,,194189300.0,ns,136
Barbershop,,100000,,,214791000.0,ns,144
Barbershop,,100000,,,219014100.0,ns,152
Barbershop,,100000,,,230268100.0,ns,160
Barbershop,,100000,,,236874700.0,ns,168
Barbershop,,100000,,,251145100.0,ns,176
Barbershop,,100000,,,265018500.0,ns,184
Barbershop,,100000,,,276687500.0,ns,192
Barbershop,,100000,,,283880800.0,ns,200
Barbershop,,100000,,,330524200.0,ns,208
Barbershop,,100000,,,335799500.0,ns,216
Barbershop,,100000,,,322610900.0,ns,224
Barbershop,,100000,,,334612300.0,ns,232
Barbershop,,100000,,,343695900.0,ns,240
Barbershop,,100000,,,352043900.0,ns,248
Barbershop,,100000,,,368207000.0,ns,256
Barbershop,,100000,,,378854900.0,ns,264
Barbershop,,100000,,,386805900.0,ns,272
Barbershop,,100000,,,403057700.0,ns,280
Barbershop,,100000,,,414145400.0,ns,288
Barbershop,,100000,,,425241200.0,ns,296
Barbershop,,100000,,,435164000.0,ns,304
Barbershop,,100000,,,449720100.0,ns,312
Barbershop,,100000,,,464929500.0,ns,320
Barbershop,,100000,,,467967100.0,ns,328
Barbershop,,100000,,,485652600.0,ns,336
Barbershop,,100000,,,489110800.0,ns,344
Barbershop,,100000,,,505077900.0,ns,352
Barbershop,,100000,,,521007300.0,ns,360
Barbershop,,100000,,,530084600.0,ns,368
Barbershop,,100000,,,533162100.0,ns,376
Barbershop,,100000,,,553346000.0,ns,384
Barbershop,,100000,,,568680100.0,ns,392
Barbershop,,100000,,,577911800.0,ns,400
Barbershop,,100000,,,587679000.0,ns,408
Barbershop,,100000,,,594449700.0,ns,416
Barbershop,,100000,,,604859200.0,ns,424
Barbershop,,100000,,,617146600.0,ns,432
Barbershop,,100000,,,652916800.0,ns,440
Barbershop,,100000,,,643365800.0,ns,448
Barbershop,,100000,,,649919000.0,ns,456
Barbershop,,100000,,,671399400.0,ns,464
Barbershop,,100000,,,677201500.0,ns,472
Barbershop,,100000,,,684634300.0,ns,480
Barbershop,,100000,,,697488200.0,ns,488
Barbershop,,100000,,,716516000.0,ns,496
Barbershop,,100000,,,721044200.0,ns,504
Barbershop,,100000,,,731838500.0,ns,512
Barbershop,,100000,,,740138200.0,ns,520
Barbershop,,100000,,,755934800.0,ns,528
Barbershop,,100000,,,769604300.0,ns,536
Barbershop,,100000,,,810699600.0,ns,544
Barbershop,,100000,,,821170400.0,ns,552
Barbershop,,100000,,,823984500.0,ns,560
Barbershop,,100000,,,815695000.0,ns,568
Barbershop,,100000,,,821230400.0,ns,576
Barbershop,,100000,,,837383300.0,ns,584
Barbershop,,100000,,,851223400.0,ns,592
Barbershop,,100000,,,863588200.0,ns,600
Barbershop,,100000,,,876111800.0,ns,608
Barbershop,,100000,,,884431700.0,ns,616
Barbershop,,100000,,,900753300.0,ns,624
Barbershop,,100000,,,906882700.0,ns,632
Barbershop,,100000,,,916174800.0,ns,640
Barbershop,,100000,,,928050500.0,ns,648
Barbershop,,100000,,,941027000.0,ns,656
Barbershop,,100000,,,953379100.0,ns,664
Barbershop,,100000,,,964365900.0,ns,672
Barbershop,,100000,,,978582000.0,ns,680
Barbershop,,100000,,,997588400.0,ns,688
Barbershop,,100000,,,1012511400.0,ns,696
Barbershop,,100000,,,1019418400.0,ns,704
Barbershop,,100000,,,1032338000.0,ns,712
Barbershop,,100000,,,1055256400.0,ns,720
Barbershop,,100000,,,1048397500.0,ns,728
Barbershop,,100000,,,1055206300.0,ns,736
Barbershop,,100000,,,1071154100.0,ns,744
Barbershop,,100000,,,1080270800.0,ns,752
Barbershop,,100000,,,1095260000.0,ns,760
Barbershop,,100000,,,1097986500.0,ns,768
Barbershop,,100000,,,1105461000.0,ns,776
Barbershop,,100000,,,1115698800.0,ns,784
Barbershop,,100000,,,1134741200.0,ns,792
Barbershop,,100000,,,1145929400.0,ns,800
{"sampling_mode":"Linear","iters":[8.0,16.0,24.0,32.0,40.0,48.0,56.0,64.0,72.0,80.0,88.0,96.0,104.0,112.0,120.0,128.0,136.0,144.0,152.0,160.0,168.0,176.0,184.0,192.0,200.0,208.0,216.0,224.0,232.0,240.0,248.0,256.0,264.0,272.0,280.0,288.0,296.0,304.0,312.0,320.0,328.0,336.0,344.0,352.0,360.0,368.0,376.0,384.0,392.0,400.0,408.0,416.0,424.0,432.0,440.0,448.0,456.0,464.0,472.0,480.0,488.0,496.0,504.0,512.0,520.0,528.0,536.0,544.0,552.0,560.0,568.0,576.0,584.0,592.0,600.0,608.0,616.0,624.0,632.0,640.0,648.0,656.0,664.0,672.0,680.0,688.0,696.0,704.0,712.0,720.0,728.0,736.0,744.0,752.0,760.0,768.0,776.0,784.0,792.0,800.0],"times":[11258300.0,23151400.0,40156200.0,45149100.0,60543800.0,71699100.0,80908600.0,91111400.0,101436500.0,115971500.0,129275200.0,156750700.0,152675000.0,159118900.0,172122500.0,181849500.0,194189300.0,214791000.0,219014100.0,230268100.0,236874700.0,251145100.0,265018500.0,276687500.0,283880800.0,330524200.0,335799500.0,322610900.0,334612300.0,343695900.0,352043900.0,368207000.0,378854900.0,386805900.0,403057700.0,414145400.0,425241200.0,435164000.0,449720100.0,464929500.0,467967100.0,485652600.0,489110800.0,505077900.0,521007300.0,530084600.0,533162100.0,553346000.0,568680100.0,577911800.0,587679000.0,594449700.0,604859200.0,617146600.0,652916800.0,643365800.0,649919000.0,671399400.0,677201500.0,684634300.0,697488200.0,716516000.0,721044200.0,731838500.0,740138200.0,755934800.0,769604300.0,810699600.0,821170400.0,823984500.0,815695000.0,821230400.0,837383300.0,851223400.0,863588200.0,876111800.0,884431700.0,900753300.0,906882700.0,916174800.0,928050500.0,941027000.0,953379100.0,964365900.0,978582000.0,997588400.0,1012511400.0,1019418400.0,1032338000.0,1055256400.0,1048397500.0,1055206300.0,1071154100.0,1080270800.0,1095260000.0,1097986500.0,1105461000.0,1115698800.0,1134741200.0,1145929400.0]}
\ No newline at end of file
[1382557.362869584,1405953.0950970615,1468341.7143703348,1491737.4465978122]
\ No newline at end of file
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
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