Skip to content
Build and run long ksmt tests

Build and run long ksmt tests #9

Sign in to view logs

Build and run long ksmt tests

Build and run long ksmt tests #9

Run time

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