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
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137

{
  "schema_version": "1.0",
  "metadata": {
    "benchmark_suite": "certeza-test-suite",
    "timestamp": "2025-11-18T11:07:45.378Z",
    "git_commit": "abc123def",
    "git_branch": "main",
    "operator": "test-runner",
    "hardware": {
      "cpu": {
        "model": "Intel Core i7-9750H",
        "cores_physical": 6,
        "cores_logical": 12,
        "base_frequency_mhz": 2600
      },
      "memory": {
        "total_mb": 16384,
        "available_mb": 8192
      }
    },
    "software": {
      "os_name": "Linux",
      "os_version": "5.15.0",
      "kernel_version": "5.15.0-91-generic",
      "rustc_version": "rustc 1.82.0",
      "cargo_version": "cargo 1.82.0",
      "llvm_version": "19.1.3"
    },
    "environment": {
      "cpu_governor": "performance",
      "swap_enabled": false
    }
  },
  "benchmarks": [
    {
      "benchmark_name": "trueno_vec_push",
      "benchmark_type": "microbenchmark",
      "optimization_level": "release",
      "warmup_iterations": 3,
      "measured_iterations": 10,
      "raw_timings_ms": [
        21.42,
        21.31,
        20.15,
        21.89,
        21.45,
        21.67,
        21.23,
        21.56,
        21.78,
        23.67
      ],
      "statistics": {
        "mean_ms": 21.613,
        "median_ms": 21.555,
        "std_dev_ms": 0.891,
        "min_ms": 20.15,
        "max_ms": 23.67,
        "coefficient_of_variation": 0.0412,
        "confidence_interval_95": [
          21.1,
          22.1
        ]
      }
    },
    {
      "benchmark_name": "trueno_vec_pop",
      "benchmark_type": "microbenchmark",
      "optimization_level": "release",
      "warmup_iterations": 3,
      "measured_iterations": 10,
      "raw_timings_ms": [
        18.23,
        18.45,
        18.12,
        18.67,
        18.34,
        18.56,
        18.21,
        18.43,
        18.52,
        18.39
      ],
      "statistics": {
        "mean_ms": 18.392,
        "median_ms": 18.41,
        "std_dev_ms": 0.185,
        "min_ms": 18.12,
        "max_ms": 18.67,
        "coefficient_of_variation": 0.0101,
        "confidence_interval_95": [
          18.25,
          18.54
        ]
      }
    },
    {
      "benchmark_name": "trueno_vec_get",
      "benchmark_type": "microbenchmark",
      "optimization_level": "release",
      "warmup_iterations": 3,
      "measured_iterations": 10,
      "raw_timings_ms": [
        12.34,
        12.45,
        12.23,
        12.56,
        12.41,
        12.38,
        12.44,
        12.31,
        12.49,
        12.37
      ],
      "statistics": {
        "mean_ms": 12.398,
        "median_ms": 12.395,
        "std_dev_ms": 0.095,
        "min_ms": 12.23,
        "max_ms": 12.56,
        "coefficient_of_variation": 0.0077,
        "confidence_interval_95": [
          12.32,
          12.48
        ]
      }
    }
  ],
  "summary": {
    "total_benchmarks": 3,
    "successful": 3,
    "failed": 0,
    "total_runtime_seconds": 45.2,
    "significant_improvements": 0,
    "significant_regressions": 0
  }
}