aprender-verify 0.31.2

A scientific experiment into realistic provability with Rust - asymptotic test effectiveness framework
Documentation
1
2
3
4
5
6
7
8
9
10
11
Iteration,trueno_vec_push,trueno_vec_pop,trueno_vec_get
1,21.420,18.230,12.340
2,21.310,18.450,12.450
3,20.150,18.120,12.230
4,21.890,18.670,12.560
5,21.450,18.340,12.410
6,21.670,18.560,12.380
7,21.230,18.210,12.440
8,21.560,18.430,12.310
9,21.780,18.520,12.490
10,23.670,18.390,12.370