Change Machdep
based on SV-COMP architecture
#11844
Job | Run time |
---|---|
0s | |
7m 27s | |
8m 23s | |
19m 50s | |
35m 40s |
Machdep
based on SV-COMP architecture
#11844
Job | Run time |
---|---|
0s | |
7m 27s | |
8m 23s | |
19m 50s | |
35m 40s |