global tracing (Pal)
global tracing (CATS)
hierarchical tracing (Pal)
constrained expression 5102050100philosophers 3
10
30
100
300
1000
3000
10000seconds
hierarchical tracing (Pal)
global tracing (Pal)global tracing (CATS)
10
30
100
300
1000
3000
10000
30000states
5102050100philosophers