Make LTL properties use Clock and Disable by default #268
Job | Run time |
---|---|
2s | |
1m 32s | |
21m 42s | |
7m 23s | |
12m 38s | |
3m 3s | |
9m 21s | |
2m 52s | |
1s | |
1s | |
0s | |
0s | |
58m 35s |
Job | Run time |
---|---|
2s | |
1m 32s | |
21m 42s | |
7m 23s | |
12m 38s | |
3m 3s | |
9m 21s | |
2m 52s | |
1s | |
1s | |
0s | |
0s | |
58m 35s |