Stormpy version 1.9.0 #454
Job | Run time |
---|---|
15m 25s | |
24m 58s | |
14m 32s | |
24m 17s | |
15m 14s | |
31m 47s | |
12m 51s | |
30m 41s | |
14m 50s | |
25m 54s | |
12m 34s | |
22m 41s | |
12m 51s | |
31m 52s | |
12m 51s | |
24m 42s | |
2s | |
5s | |
5h 28m 7s |
Job | Run time |
---|---|
15m 25s | |
24m 58s | |
14m 32s | |
24m 17s | |
15m 14s | |
31m 47s | |
12m 51s | |
30m 41s | |
14m 50s | |
25m 54s | |
12m 34s | |
22m 41s | |
12m 51s | |
31m 52s | |
12m 51s | |
24m 42s | |
2s | |
5s | |
5h 28m 7s |