Skip to content
Build and run long ksmt tests

Build and run long ksmt tests #114

Sign in to view logs

Build and run long ksmt tests

Build and run long ksmt tests #114

Manually triggered April 12, 2024 23:54
@SaloedSaloed
⁠ 70c16bb
cvc-upgrade
Status Success
Total duration 2h 16m 16s
Artifacts 127

run-long-tests.yml

on: workflow_dispatch
Matrix: prepare_test_data
setup
0s
setup
Matrix: run_tests
Merge chunked test reports into a single one
2m 37s
Merge chunked test reports into a single one
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
ksmt-test-report Expired
18.3 MB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testConverter-0 Expired
152 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testConverter-1 Expired
95.8 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testConverter-10 Expired
98.9 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testConverter-11 Expired
111 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testConverter-12 Expired
98.4 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testConverter-13 Expired
96.1 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testConverter-14 Expired
142 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testConverter-15 Expired
106 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testConverter-16 Expired
163 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testConverter-17 Expired
163 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testConverter-18 Expired
108 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testConverter-19 Expired
132 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testConverter-2 Expired
117 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testConverter-20 Expired
120 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testConverter-3 Expired
112 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testConverter-4 Expired
90.5 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testConverter-5 Expired
98.2 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testConverter-6 Expired
99 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testConverter-7 Expired
115 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testConverter-8 Expired
89 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testConverter-9 Expired
95.5 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-0 Expired
204 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-1 Expired
149 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-10 Expired
155 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-11 Expired
126 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-12 Expired
128 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-13 Expired
129 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-14 Expired
130 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-15 Expired
126 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-16 Expired
178 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-17 Expired
202 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-18 Expired
155 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-19 Expired
178 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-2 Expired
173 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-20 Expired
120 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-3 Expired
169 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-4 Expired
121 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-5 Expired
134 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-6 Expired
154 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-7 Expired
179 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-8 Expired
122 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-9 Expired
142 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-0 Expired
157 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-1 Expired
99.5 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-10 Expired
130 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-11 Expired
100 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-12 Expired
101 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-13 Expired
99.6 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-14 Expired
101 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-15 Expired
104 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-16 Expired
193 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-17 Expired
207 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-18 Expired
141 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-19 Expired
175 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-2 Expired
129 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-20 Expired
128 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-3 Expired
141 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-4 Expired
121 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-5 Expired
129 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-6 Expired
141 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-7 Expired
172 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-8 Expired
121 KB
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-9 Expired
134 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testConverter-0 Expired
152 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testConverter-1 Expired
95.6 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testConverter-10 Expired
98.7 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testConverter-11 Expired
112 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testConverter-12 Expired
98.6 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testConverter-13 Expired
97.4 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testConverter-14 Expired
143 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testConverter-15 Expired
106 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testConverter-16 Expired
163 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testConverter-17 Expired
164 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testConverter-18 Expired
109 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testConverter-19 Expired
134 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testConverter-2 Expired
117 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testConverter-20 Expired
120 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testConverter-3 Expired
112 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testConverter-4 Expired
91.1 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testConverter-5 Expired
98.8 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testConverter-6 Expired
99.2 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testConverter-7 Expired
116 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testConverter-8 Expired
89.5 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testConverter-9 Expired
95.4 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-0 Expired
205 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-1 Expired
149 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-10 Expired
157 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-11 Expired
127 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-12 Expired
129 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-13 Expired
130 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-14 Expired
132 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-15 Expired
127 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-16 Expired
205 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-17 Expired
175 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-18 Expired
153 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-19 Expired
181 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-2 Expired
174 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-20 Expired
120 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-3 Expired
172 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-4 Expired
121 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-5 Expired
134 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-6 Expired
154 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-7 Expired
179 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-8 Expired
121 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-9 Expired
144 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-0 Expired
156 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-1 Expired
99.4 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-10 Expired
131 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-11 Expired
102 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-12 Expired
101 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-13 Expired
100 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-14 Expired
102 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-15 Expired
105 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-16 Expired
216 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-17 Expired
184 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-18 Expired
143 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-19 Expired
175 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-2 Expired
130 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-20 Expired
128 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-3 Expired
141 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-4 Expired
121 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-5 Expired
129 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-6 Expired
141 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-7 Expired
173 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-8 Expired
121 KB
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-9 Expired
136 KB