Skip to content
Build and run long ksmt tests

Build and run long ksmt tests #131

Sign in to view logs

Build and run long ksmt tests

Build and run long ksmt tests #131

Run time

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