Skip to content

Add composition support to prove_bisim #3137

Add composition support to prove_bisim

Add composition support to prove_bisim #3137

Job Run time
5s
27m 14s
25m 55s
17m 44s
0s
56m 39s
32m 10s
26m 25s
25m 54s
13m 27s
16m 34s
18m 13s
2m 35s
12m 29s
8m 56s
28m 4s
36s
34m 6s
30s
56s
47s
18m 4s
6m 38s
1m 42s
13m 8s
3m 53s
1m 40s
6m 23s
1m 34s
8m 47s
40s
3m 36s
5m 48s
35m 4s
10m 55s
1s
7h 47m 12s