Reference Model B=8 T=13 S=200

Reference Model B=8 T=13 S=200

Full ResultsMax DepthNr StatesNr TransitionsMemoryState VectorTimeRate
Safety (default compilation):
single core default500000 500001 4000001282.937276 375 1333
dual core default20 500001 4000001273.242276 189 2647
dual core tuned20 500001 4000001273.242276 190 2626
Safety (optimized -O2):
single core default500000 500001 4000001282.937276 124 4035
dual core default476180 500001 4000001265.613276 62.8 7962
dual core tuned476180 500001 4000001265.613276 62.2 8032
Liveness (default compilation):
single core default500000 5000018500001317.733276 756 1323
dual core default500000 5000018500001445.721276 453 2209
Liveness (optimized -O2):
single core default500000 5000018500001317.733276 251 3983
dual core default500000 5000018500001445.721276 144 6937