Skip to content
Build and run long ksmt tests

Build and run long ksmt tests #115

Sign in to view logs

Build and run long ksmt tests

Build and run long ksmt tests #115

Run time

Learn about OS pricing on GitHub Actions
Job Run time
setup
1s
setup
1s
prepare_test_data (ubuntu-latest)
2m 58s
prepare_test_data (ubuntu-latest)
2m 58s
prepare_test_data (windows-latest)
3m 57s
prepare_test_data (windows-latest)
3m 57s
Run Z3BenchmarksBasedTest.testConverter[0] on ubuntu-latest
32m 29s
Run Z3BenchmarksBasedTest.testConverter[0] on ubuntu-latest
32m 29s
Run Z3BenchmarksBasedTest.testConverter[1] on ubuntu-latest
16m 53s
Run Z3BenchmarksBasedTest.testConverter[1] on ubuntu-latest
16m 53s
Run Z3BenchmarksBasedTest.testConverter[2] on ubuntu-latest
20m 54s
Run Z3BenchmarksBasedTest.testConverter[2] on ubuntu-latest
20m 54s
Run Z3BenchmarksBasedTest.testConverter[3] on ubuntu-latest
6m 2s
Run Z3BenchmarksBasedTest.testConverter[3] on ubuntu-latest
6m 2s
Run Z3BenchmarksBasedTest.testConverter[4] on ubuntu-latest
13m 51s
Run Z3BenchmarksBasedTest.testConverter[4] on ubuntu-latest
13m 51s
Run Z3BenchmarksBasedTest.testConverter[5] on ubuntu-latest
13m 26s
Run Z3BenchmarksBasedTest.testConverter[5] on ubuntu-latest
13m 26s
Run Z3BenchmarksBasedTest.testConverter[6] on ubuntu-latest
5m 20s
Run Z3BenchmarksBasedTest.testConverter[6] on ubuntu-latest
5m 20s
Run Z3BenchmarksBasedTest.testConverter[7] on ubuntu-latest
10m 3s
Run Z3BenchmarksBasedTest.testConverter[7] on ubuntu-latest
10m 3s
Run Z3BenchmarksBasedTest.testConverter[8] on ubuntu-latest
8m 49s
Run Z3BenchmarksBasedTest.testConverter[8] on ubuntu-latest
8m 49s
Run Z3BenchmarksBasedTest.testConverter[9] on ubuntu-latest
28m 20s
Run Z3BenchmarksBasedTest.testConverter[9] on ubuntu-latest
28m 20s
Run Z3BenchmarksBasedTest.testConverter[10] on ubuntu-latest
6m 46s
Run Z3BenchmarksBasedTest.testConverter[10] on ubuntu-latest
6m 46s
Run Z3BenchmarksBasedTest.testConverter[11] on ubuntu-latest
1h 8m 15s
Run Z3BenchmarksBasedTest.testConverter[11] on ubuntu-latest
1h 8m 15s
Run Z3BenchmarksBasedTest.testConverter[12] on ubuntu-latest
19m 48s
Run Z3BenchmarksBasedTest.testConverter[12] on ubuntu-latest
19m 48s
Run Z3BenchmarksBasedTest.testConverter[13] on ubuntu-latest
1h 32m 47s
Run Z3BenchmarksBasedTest.testConverter[13] on ubuntu-latest
1h 32m 47s
Run Z3BenchmarksBasedTest.testConverter[14] on ubuntu-latest
15m 39s
Run Z3BenchmarksBasedTest.testConverter[14] on ubuntu-latest
15m 39s
Run Z3BenchmarksBasedTest.testConverter[15] on ubuntu-latest
38m 43s
Run Z3BenchmarksBasedTest.testConverter[15] on ubuntu-latest
38m 43s
Run Z3BenchmarksBasedTest.testConverter[16] on ubuntu-latest
56m 34s
Run Z3BenchmarksBasedTest.testConverter[16] on ubuntu-latest
56m 34s
Run Z3BenchmarksBasedTest.testModelConversion[0] on ubuntu-latest
18m 27s
Run Z3BenchmarksBasedTest.testModelConversion[0] on ubuntu-latest
18m 27s
Run Z3BenchmarksBasedTest.testModelConversion[1] on ubuntu-latest
13m 36s
Run Z3BenchmarksBasedTest.testModelConversion[1] on ubuntu-latest
13m 36s
Run Z3BenchmarksBasedTest.testModelConversion[2] on ubuntu-latest
10m 32s
Run Z3BenchmarksBasedTest.testModelConversion[2] on ubuntu-latest
9m 46s
Run Z3BenchmarksBasedTest.testModelConversion[3] on ubuntu-latest
6m 57s
Run Z3BenchmarksBasedTest.testModelConversion[3] on ubuntu-latest
6m 57s
Run Z3BenchmarksBasedTest.testModelConversion[4] on ubuntu-latest
13m 22s
Run Z3BenchmarksBasedTest.testModelConversion[4] on ubuntu-latest
13m 22s
Run Z3BenchmarksBasedTest.testModelConversion[5] on ubuntu-latest
10m 47s
Run Z3BenchmarksBasedTest.testModelConversion[5] on ubuntu-latest
10m 47s
Run Z3BenchmarksBasedTest.testModelConversion[6] on ubuntu-latest
6m 54s
Run Z3BenchmarksBasedTest.testModelConversion[6] on ubuntu-latest
6m 54s
Run Z3BenchmarksBasedTest.testModelConversion[7] on ubuntu-latest
11m 43s
Run Z3BenchmarksBasedTest.testModelConversion[7] on ubuntu-latest
11m 43s
Run Z3BenchmarksBasedTest.testModelConversion[8] on ubuntu-latest
16m 6s
Run Z3BenchmarksBasedTest.testModelConversion[8] on ubuntu-latest
16m 6s
Run Z3BenchmarksBasedTest.testModelConversion[9] on ubuntu-latest
6m 0s
Run Z3BenchmarksBasedTest.testModelConversion[9] on ubuntu-latest
6m 0s
Run Z3BenchmarksBasedTest.testModelConversion[10] on ubuntu-latest
6m 14s
Run Z3BenchmarksBasedTest.testModelConversion[10] on ubuntu-latest
6m 14s
Run Z3BenchmarksBasedTest.testModelConversion[11] on ubuntu-latest
6m 53s
Run Z3BenchmarksBasedTest.testModelConversion[11] on ubuntu-latest
6m 53s
Run Z3BenchmarksBasedTest.testModelConversion[12] on ubuntu-latest
15m 7s
Run Z3BenchmarksBasedTest.testModelConversion[12] on ubuntu-latest
15m 7s
Run Z3BenchmarksBasedTest.testModelConversion[13] on ubuntu-latest
1h 37m 49s
Run Z3BenchmarksBasedTest.testModelConversion[13] on ubuntu-latest
1h 37m 49s
Run Z3BenchmarksBasedTest.testModelConversion[14] on ubuntu-latest
16m 6s
Run Z3BenchmarksBasedTest.testModelConversion[14] on ubuntu-latest
16m 6s
Run Z3BenchmarksBasedTest.testModelConversion[15] on ubuntu-latest
33m 4s
Run Z3BenchmarksBasedTest.testModelConversion[15] on ubuntu-latest
33m 4s
Run Z3BenchmarksBasedTest.testModelConversion[16] on ubuntu-latest
1h 2m 35s
Run Z3BenchmarksBasedTest.testModelConversion[16] on ubuntu-latest
1h 2m 35s
Run Z3BenchmarksBasedTest.testSolver[0] on ubuntu-latest
14m 23s
Run Z3BenchmarksBasedTest.testSolver[0] on ubuntu-latest
14m 23s
Run Z3BenchmarksBasedTest.testSolver[1] on ubuntu-latest
10m 42s
Run Z3BenchmarksBasedTest.testSolver[1] on ubuntu-latest
10m 42s
Run Z3BenchmarksBasedTest.testSolver[2] on ubuntu-latest
17m 43s
Run Z3BenchmarksBasedTest.testSolver[2] on ubuntu-latest
17m 43s
Run Z3BenchmarksBasedTest.testSolver[3] on ubuntu-latest
7m 3s
Run Z3BenchmarksBasedTest.testSolver[3] on ubuntu-latest
7m 3s
Run Z3BenchmarksBasedTest.testSolver[4] on ubuntu-latest
10m 13s
Run Z3BenchmarksBasedTest.testSolver[4] on ubuntu-latest
10m 13s
Run Z3BenchmarksBasedTest.testSolver[5] on ubuntu-latest
9m 59s
Run Z3BenchmarksBasedTest.testSolver[5] on ubuntu-latest
9m 59s
Run Z3BenchmarksBasedTest.testSolver[6] on ubuntu-latest
6m 51s
Run Z3BenchmarksBasedTest.testSolver[6] on ubuntu-latest
6m 51s
Run Z3BenchmarksBasedTest.testSolver[7] on ubuntu-latest
12m 23s
Run Z3BenchmarksBasedTest.testSolver[7] on ubuntu-latest
12m 23s
Run Z3BenchmarksBasedTest.testSolver[8] on ubuntu-latest
12m 1s
Run Z3BenchmarksBasedTest.testSolver[8] on ubuntu-latest
12m 1s
Run Z3BenchmarksBasedTest.testSolver[9] on ubuntu-latest
6m 33s
Run Z3BenchmarksBasedTest.testSolver[9] on ubuntu-latest
6m 33s
Run Z3BenchmarksBasedTest.testSolver[10] on ubuntu-latest
6m 1s
Run Z3BenchmarksBasedTest.testSolver[10] on ubuntu-latest
6m 1s
Run Z3BenchmarksBasedTest.testSolver[11] on ubuntu-latest
7m 13s
Run Z3BenchmarksBasedTest.testSolver[11] on ubuntu-latest
7m 13s
Run Z3BenchmarksBasedTest.testSolver[12] on ubuntu-latest
10m 53s
Run Z3BenchmarksBasedTest.testSolver[12] on ubuntu-latest
10m 53s
Run Z3BenchmarksBasedTest.testSolver[13] on ubuntu-latest
49m 48s
Run Z3BenchmarksBasedTest.testSolver[13] on ubuntu-latest
49m 48s
Run Z3BenchmarksBasedTest.testSolver[14] on ubuntu-latest
11m 17s
Run Z3BenchmarksBasedTest.testSolver[14] on ubuntu-latest
11m 17s
Run Z3BenchmarksBasedTest.testSolver[15] on ubuntu-latest
15m 49s
Run Z3BenchmarksBasedTest.testSolver[15] on ubuntu-latest
15m 49s
Run Z3BenchmarksBasedTest.testSolver[16] on ubuntu-latest
27m 33s
Run Z3BenchmarksBasedTest.testSolver[16] on ubuntu-latest
27m 33s
Run Z3BenchmarksBasedTest.testConverter[0] on windows-latest
39m 25s
Run Z3BenchmarksBasedTest.testConverter[0] on windows-latest
39m 25s
Run Z3BenchmarksBasedTest.testConverter[1] on windows-latest
16m 32s
Run Z3BenchmarksBasedTest.testConverter[1] on windows-latest
16m 32s
Run Z3BenchmarksBasedTest.testConverter[2] on windows-latest
27m 1s
Run Z3BenchmarksBasedTest.testConverter[2] on windows-latest
27m 1s
Run Z3BenchmarksBasedTest.testConverter[3] on windows-latest
8m 32s
Run Z3BenchmarksBasedTest.testConverter[3] on windows-latest
8m 32s
Run Z3BenchmarksBasedTest.testConverter[4] on windows-latest
16m 58s
Run Z3BenchmarksBasedTest.testConverter[4] on windows-latest
16m 58s
Run Z3BenchmarksBasedTest.testConverter[5] on windows-latest
16m 26s
Run Z3BenchmarksBasedTest.testConverter[5] on windows-latest
16m 26s
Run Z3BenchmarksBasedTest.testConverter[6] on windows-latest
8m 19s
Run Z3BenchmarksBasedTest.testConverter[6] on windows-latest
8m 19s
Run Z3BenchmarksBasedTest.testConverter[7] on windows-latest
12m 51s
Run Z3BenchmarksBasedTest.testConverter[7] on windows-latest
12m 51s
Run Z3BenchmarksBasedTest.testConverter[8] on windows-latest
11m 4s
Run Z3BenchmarksBasedTest.testConverter[8] on windows-latest
11m 4s
Run Z3BenchmarksBasedTest.testConverter[9] on windows-latest
36m 1s
Run Z3BenchmarksBasedTest.testConverter[9] on windows-latest
36m 1s
Run Z3BenchmarksBasedTest.testConverter[10] on windows-latest
9m 20s
Run Z3BenchmarksBasedTest.testConverter[10] on windows-latest
9m 20s
Run Z3BenchmarksBasedTest.testConverter[11] on windows-latest
1h 15m 26s
Run Z3BenchmarksBasedTest.testConverter[11] on windows-latest
1h 15m 26s
Run Z3BenchmarksBasedTest.testConverter[12] on windows-latest
23m 19s
Run Z3BenchmarksBasedTest.testConverter[12] on windows-latest
23m 19s
Run Z3BenchmarksBasedTest.testConverter[13] on windows-latest
1h 25m 21s
Run Z3BenchmarksBasedTest.testConverter[13] on windows-latest
1h 25m 21s
Run Z3BenchmarksBasedTest.testConverter[14] on windows-latest
30m 59s
Run Z3BenchmarksBasedTest.testConverter[14] on windows-latest
30m 59s
Run Z3BenchmarksBasedTest.testConverter[15] on windows-latest
42m 37s
Run Z3BenchmarksBasedTest.testConverter[15] on windows-latest
42m 37s
Run Z3BenchmarksBasedTest.testConverter[16] on windows-latest
1h 0m 3s
Run Z3BenchmarksBasedTest.testConverter[16] on windows-latest
1h 0m 3s
Run Z3BenchmarksBasedTest.testModelConversion[0] on windows-latest
21m 56s
Run Z3BenchmarksBasedTest.testModelConversion[0] on windows-latest
21m 56s
Run Z3BenchmarksBasedTest.testModelConversion[1] on windows-latest
13m 49s
Run Z3BenchmarksBasedTest.testModelConversion[1] on windows-latest
13m 49s
Run Z3BenchmarksBasedTest.testModelConversion[2] on windows-latest
48m 45s
Run Z3BenchmarksBasedTest.testModelConversion[2] on windows-latest
48m 45s
Run Z3BenchmarksBasedTest.testModelConversion[3] on windows-latest
9m 23s
Run Z3BenchmarksBasedTest.testModelConversion[3] on windows-latest
9m 23s
Run Z3BenchmarksBasedTest.testModelConversion[4] on windows-latest
16m 10s
Run Z3BenchmarksBasedTest.testModelConversion[4] on windows-latest
16m 10s
Run Z3BenchmarksBasedTest.testModelConversion[5] on windows-latest
13m 40s
Run Z3BenchmarksBasedTest.testModelConversion[5] on windows-latest
13m 40s
Run Z3BenchmarksBasedTest.testModelConversion[6] on windows-latest
9m 32s
Run Z3BenchmarksBasedTest.testModelConversion[6] on windows-latest
9m 32s
Run Z3BenchmarksBasedTest.testModelConversion[7] on windows-latest
15m 10s
Run Z3BenchmarksBasedTest.testModelConversion[7] on windows-latest
15m 10s
Run Z3BenchmarksBasedTest.testModelConversion[8] on windows-latest
19m 12s
Run Z3BenchmarksBasedTest.testModelConversion[8] on windows-latest
19m 12s
Run Z3BenchmarksBasedTest.testModelConversion[9] on windows-latest
8m 55s
Run Z3BenchmarksBasedTest.testModelConversion[9] on windows-latest
8m 55s
Run Z3BenchmarksBasedTest.testModelConversion[10] on windows-latest
8m 23s
Run Z3BenchmarksBasedTest.testModelConversion[10] on windows-latest
8m 23s
Run Z3BenchmarksBasedTest.testModelConversion[11] on windows-latest
9m 33s
Run Z3BenchmarksBasedTest.testModelConversion[11] on windows-latest
9m 33s
Run Z3BenchmarksBasedTest.testModelConversion[12] on windows-latest
17m 42s
Run Z3BenchmarksBasedTest.testModelConversion[12] on windows-latest
17m 42s
Run Z3BenchmarksBasedTest.testModelConversion[13] on windows-latest
1h 35m 23s
Run Z3BenchmarksBasedTest.testModelConversion[13] on windows-latest
1h 35m 23s
Run Z3BenchmarksBasedTest.testModelConversion[14] on windows-latest
27m 5s
Run Z3BenchmarksBasedTest.testModelConversion[14] on windows-latest
27m 5s
Run Z3BenchmarksBasedTest.testModelConversion[15] on windows-latest
36m 37s
Run Z3BenchmarksBasedTest.testModelConversion[15] on windows-latest
36m 37s
Run Z3BenchmarksBasedTest.testModelConversion[16] on windows-latest
1h 5m 5s
Run Z3BenchmarksBasedTest.testModelConversion[16] on windows-latest
1h 5m 5s
Run Z3BenchmarksBasedTest.testSolver[0] on windows-latest
18m 39s
Run Z3BenchmarksBasedTest.testSolver[0] on windows-latest
18m 39s
Run Z3BenchmarksBasedTest.testSolver[1] on windows-latest
12m 28s
Run Z3BenchmarksBasedTest.testSolver[1] on windows-latest
12m 28s
Run Z3BenchmarksBasedTest.testSolver[2] on windows-latest
12m 29s
Run Z3BenchmarksBasedTest.testSolver[2] on windows-latest
12m 29s
Run Z3BenchmarksBasedTest.testSolver[3] on windows-latest
9m 38s
Run Z3BenchmarksBasedTest.testSolver[3] on windows-latest
9m 38s
Run Z3BenchmarksBasedTest.testSolver[4] on windows-latest
13m 13s
Run Z3BenchmarksBasedTest.testSolver[4] on windows-latest
13m 13s
Run Z3BenchmarksBasedTest.testSolver[5] on windows-latest
13m 25s
Run Z3BenchmarksBasedTest.testSolver[5] on windows-latest
13m 25s
Run Z3BenchmarksBasedTest.testSolver[6] on windows-latest
9m 52s
Run Z3BenchmarksBasedTest.testSolver[6] on windows-latest
9m 52s
Run Z3BenchmarksBasedTest.testSolver[7] on windows-latest
15m 22s
Run Z3BenchmarksBasedTest.testSolver[7] on windows-latest
15m 22s
Run Z3BenchmarksBasedTest.testSolver[8] on windows-latest
15m 0s
Run Z3BenchmarksBasedTest.testSolver[8] on windows-latest
15m 0s
Run Z3BenchmarksBasedTest.testSolver[9] on windows-latest
8m 51s
Run Z3BenchmarksBasedTest.testSolver[9] on windows-latest
8m 51s
Run Z3BenchmarksBasedTest.testSolver[10] on windows-latest
8m 49s
Run Z3BenchmarksBasedTest.testSolver[10] on windows-latest
8m 49s
Run Z3BenchmarksBasedTest.testSolver[11] on windows-latest
9m 12s
Run Z3BenchmarksBasedTest.testSolver[11] on windows-latest
9m 12s
Run Z3BenchmarksBasedTest.testSolver[12] on windows-latest
14m 18s
Run Z3BenchmarksBasedTest.testSolver[12] on windows-latest
14m 18s
Run Z3BenchmarksBasedTest.testSolver[13] on windows-latest
52m 47s
Run Z3BenchmarksBasedTest.testSolver[13] on windows-latest
52m 47s
Run Z3BenchmarksBasedTest.testSolver[14] on windows-latest
17m 47s
Run Z3BenchmarksBasedTest.testSolver[14] on windows-latest
17m 47s
Run Z3BenchmarksBasedTest.testSolver[15] on windows-latest
19m 39s
Run Z3BenchmarksBasedTest.testSolver[15] on windows-latest
19m 39s
Run Z3BenchmarksBasedTest.testSolver[16] on windows-latest
30m 8s
Run Z3BenchmarksBasedTest.testSolver[16] on windows-latest
21m 28s
Merge chunked test reports into a single one
2m 34s
Merge chunked test reports into a single one
2m 33s
3d 4h 12m 27s