Sliding Window Protocol WindowSize=4

Sliding Window Protocol WindowSize=4

Full ResultsMax DepthNr StatesNr TransitionsMemoryState VectorTimeRate
Safety (default compilation):
single core default20774261187648525239211889.61768 37.5 316622
dual core default123216411876485252392111206.34468 29.6 400962
dual core tuned11011876485252392111194.33268 24.8 479858
Safety (optimized -O2):
single core default20774261187648525239211889.61768 19.7 603787
dual core default33011876485252392111013.11168 13.4 883667
dual core tuned33011876485252392111013.11168 15.1 789135
Liveness (default compilation):
single core default207742612004103428177911193.11276 74.9 277661
dual core default207742611876485506564102793.11276 58.5 405687
Liveness (optimized -O2):
single core default207742612004103428177911193.11276 39.5 526621
dual core default207742611876485506564102793.11276 36.5 651123