Runs with O2 are compiled with -O2.
The number following the "_n" indicates the number of CPU cores used.
(1 being a single-core run and 8 a run using all 8-cores on the test system).

Safety (hashcompact hc4):
ModelFull ResultsMax DepthNr StatesNr TransitionsMemoryStateVectorTimeRate
DEOShc4_O2_n1.out1791092245239032433562657.30357662.9357067
DEOShc4_O2_n2.out18922491820324929631123.96257644.4506230
DEOShc4_O2_n3.out18922492264324936531187.97957644.3508070
DEOShc4_O2_n4.out18922491549324928181251.95257639.9563133
DEOShc4_O2_n5.out18922493024324946691316.00857640.3558140
DEOShc4_O2_n6.out18922491468324924131379.94957638.6583285
DEOShc4_O2_n7.out18922491675324929551443.95657640.6553846
DEOShc4_O2_n8.out18922491880324934261507.96457636.5616892
Without -O2 optimization (hashcompact hc4):
DEOShc4_n1.out1791092245239032433562657.303576135166808
DEOShc4_n2.out18922492134324933531123.97457683.3269949
DEOShc4_n3.out18922492140324935721187.97457666.8336860
DEOShc4_n4.out18922491686324929741251.95757654.9409909
DEOShc4_n5.out18922491933324934391315.96657648.4464709
DEOShc4_n6.out18922491725324931171379.95857646.1487678
DEOShc4_n7.out18922491957324931591443.96757642.9524900
DEOShc4_n8.out18922491853324931861507.96357640.3558665
Non-Progress (hashcompact hc4):
DEOS hc4_liveness_dual 631364220946500 114614830017930.8415843.75e+0387829
DEOS hc4_liveness_single 21521567021116 1500859502708.774584361185669