StartRemoving events after the last observables5518
EndRemoving events after the last observables551854810.000219
StartSplitting initial states5481
EndSplitting initial states548154810.000396
StartRenaming agents to avoid conflicts5481
EndRenaming agents to avoid conflicts548154810.023092
StartDetection of siphons5481
EndDetection of siphons548159180.00547
StartRenaming agents to avoid conflicts5918
EndRenaming agents to avoid conflicts591859180.02866
StartPartial order reduction5918
EndPartial order reduction59188910.013877
StartDeletion of pseudo inverse events891
EndDeletion of pseudo inverse events8917430.03748
StartRenaming agents to avoid conflicts743
EndRenaming agents to avoid conflicts7437430.005123
StartDetection of siphons743
EndDetection of siphons7437840.000952
StartRenaming agents to avoid conflicts784
EndRenaming agents to avoid conflicts7847840.002685
StartPartial order reduction784
EndPartial order reduction7846950.004118
StartDeletion of pseudo inverse events695
EndDeletion of pseudo inverse events6956950.033214
StartRenaming agents to avoid conflicts695
EndRenaming agents to avoid conflicts6956950.002666
StartDetection of siphons695
EndDetection of siphons6957360.000952
StartRenaming agents to avoid conflicts736
EndRenaming agents to avoid conflicts7367360.002459
StartPartial order reduction736
EndPartial order reduction7366950.00405
StartDeletion of pseudo inverse events695
EndDeletion of pseudo inverse events6956950.03598
StartBuild configuration
StartBuild configurationBuild configuration
EndBuild configurationBuild configuration0.015135
EndBuild configuration0.015206
StartCollect traces
StartStory 1Collect traces
StartDeletion of pseudo inverse eventsStory 1Collect traces8
EndDeletion of pseudo inverse eventsStory 1Collect traces880.000688
StartRenaming agents to avoid conflictsStory 1Collect traces8
EndRenaming agents to avoid conflictsStory 1Collect traces883.9e-05
StartPartial order reductionStory 1Collect traces8
EndPartial order reductionStory 1Collect traces884.79999999999e-05
StartStore traceStory 1Collect traces
StartGrid computationStore traceStory 1Collect traces
EndGrid computationStore traceStory 1Collect traces0.000415
StartGraph conversionStore traceStory 1Collect traces
StartBuild configurationGraph conversionStore traceStory 1Collect traces
EndBuild configurationGraph conversionStore traceStory 1Collect traces7e-05
StartTransitive reductionGraph conversionStore traceStory 1Collect traces
EndTransitive reductionGraph conversionStore traceStory 1Collect traces1.60000000001e-05
EndGraph conversionStore traceStory 1Collect traces0.000128
EndStore traceStory 1Collect traces0.000591
EndStory 1Collect traces0.001444
StartStory 2Collect traces
StartDeletion of pseudo inverse eventsStory 2Collect traces8
EndDeletion of pseudo inverse eventsStory 2Collect traces880.001078
StartRenaming agents to avoid conflictsStory 2Collect traces8
EndRenaming agents to avoid conflictsStory 2Collect traces884.3e-05
StartPartial order reductionStory 2Collect traces8
EndPartial order reductionStory 2Collect traces885.4e-05
StartStore traceStory 2Collect traces
StartGrid computationStore traceStory 2Collect traces
EndGrid computationStore traceStory 2Collect traces0.000452
StartGraph conversionStore traceStory 2Collect traces
StartBuild configurationGraph conversionStore traceStory 2Collect traces
EndBuild configurationGraph conversionStore traceStory 2Collect traces0.000127
StartTransitive reductionGraph conversionStore traceStory 2Collect traces
EndTransitive reductionGraph conversionStore traceStory 2Collect traces2.2e-05
EndGraph conversionStore traceStory 2Collect traces0.000243
StartComputing the cannonic formStore traceStory 2Collect traces
EndComputing the cannonic formStore traceStory 2Collect traces1.80000000001e-05
StartComputing the cannonic formStore traceStory 2Collect traces
EndComputing the cannonic formStore traceStory 2Collect traces1.5e-05
EndStore traceStory 2Collect traces0.000817
EndStory 2Collect traces0.002108
StartStory 3Collect traces
StartDeletion of pseudo inverse eventsStory 3Collect traces10
EndDeletion of pseudo inverse eventsStory 3Collect traces10100.001032
StartRenaming agents to avoid conflictsStory 3Collect traces10
EndRenaming agents to avoid conflictsStory 3Collect traces10104.30000000001e-05
StartPartial order reductionStory 3Collect traces10
EndPartial order reductionStory 3Collect traces10105.60000000001e-05
StartStore traceStory 3Collect traces
StartGrid computationStore traceStory 3Collect traces
EndGrid computationStore traceStory 3Collect traces0.00047
StartGraph conversionStore traceStory 3Collect traces
StartBuild configurationGraph conversionStore traceStory 3Collect traces
EndBuild configurationGraph conversionStore traceStory 3Collect traces0.000208
StartTransitive reductionGraph conversionStore traceStory 3Collect traces
EndTransitive reductionGraph conversionStore traceStory 3Collect traces1.1e-05
EndGraph conversionStore traceStory 3Collect traces0.000248
EndStore traceStory 3Collect traces0.000749
EndStory 3Collect traces0.001945
StartStory 4Collect traces
StartDeletion of pseudo inverse eventsStory 4Collect traces10
EndDeletion of pseudo inverse eventsStory 4Collect traces10100.000935
StartRenaming agents to avoid conflictsStory 4Collect traces10
EndRenaming agents to avoid conflictsStory 4Collect traces10103.8e-05
StartPartial order reductionStory 4Collect traces10
EndPartial order reductionStory 4Collect traces10105.4e-05
StartStore traceStory 4Collect traces
StartGrid computationStore traceStory 4Collect traces
EndGrid computationStore traceStory 4Collect traces0.000526
StartGraph conversionStore traceStory 4Collect traces
StartBuild configurationGraph conversionStore traceStory 4Collect traces
EndBuild configurationGraph conversionStore traceStory 4Collect traces9.29999999999e-05
StartTransitive reductionGraph conversionStore traceStory 4Collect traces
EndTransitive reductionGraph conversionStore traceStory 4Collect traces1.09999999999e-05
EndGraph conversionStore traceStory 4Collect traces0.000133
StartComputing the cannonic formStore traceStory 4Collect traces
EndComputing the cannonic formStore traceStory 4Collect traces1.2e-05
StartComputing the cannonic formStore traceStory 4Collect traces
EndComputing the cannonic formStore traceStory 4Collect traces1.19999999999e-05
EndStore traceStory 4Collect traces0.000742
EndStory 4Collect traces0.001816
StartStory 5Collect traces
StartDeletion of pseudo inverse eventsStory 5Collect traces8
EndDeletion of pseudo inverse eventsStory 5Collect traces880.00125
StartRenaming agents to avoid conflictsStory 5Collect traces8
EndRenaming agents to avoid conflictsStory 5Collect traces884.5e-05
StartPartial order reductionStory 5Collect traces8
EndPartial order reductionStory 5Collect traces885.1e-05
StartStore traceStory 5Collect traces
StartGrid computationStore traceStory 5Collect traces
EndGrid computationStore traceStory 5Collect traces0.000505
StartGraph conversionStore traceStory 5Collect traces
StartBuild configurationGraph conversionStore traceStory 5Collect traces
EndBuild configurationGraph conversionStore traceStory 5Collect traces8.4e-05
StartTransitive reductionGraph conversionStore traceStory 5Collect traces
EndTransitive reductionGraph conversionStore traceStory 5Collect traces9.99999999995e-06
EndGraph conversionStore traceStory 5Collect traces0.000125
EndStore traceStory 5Collect traces0.000658
EndStory 5Collect traces0.002064
StartStory 6Collect traces
StartDeletion of pseudo inverse eventsStory 6Collect traces8
EndDeletion of pseudo inverse eventsStory 6Collect traces880.001019
StartRenaming agents to avoid conflictsStory 6Collect traces8
EndRenaming agents to avoid conflictsStory 6Collect traces883.79999999999e-05
StartPartial order reductionStory 6Collect traces8
EndPartial order reductionStory 6Collect traces886.8e-05
StartStore traceStory 6Collect traces
StartGrid computationStore traceStory 6Collect traces
EndGrid computationStore traceStory 6Collect traces0.000425
StartGraph conversionStore traceStory 6Collect traces
StartBuild configurationGraph conversionStore traceStory 6Collect traces
EndBuild configurationGraph conversionStore traceStory 6Collect traces8.19999999999e-05
StartTransitive reductionGraph conversionStore traceStory 6Collect traces
EndTransitive reductionGraph conversionStore traceStory 6Collect traces7.9999999999e-06
EndGraph conversionStore traceStory 6Collect traces0.000119
StartComputing the cannonic formStore traceStory 6Collect traces
EndComputing the cannonic formStore traceStory 6Collect traces1.00000000001e-05
StartComputing the cannonic formStore traceStory 6Collect traces
EndComputing the cannonic formStore traceStory 6Collect traces9.00000000004e-06
EndStore traceStory 6Collect traces0.00074
EndStory 6Collect traces0.001911
StartStory 7Collect traces
StartDeletion of pseudo inverse eventsStory 7Collect traces9
EndDeletion of pseudo inverse eventsStory 7Collect traces990.001274
StartRenaming agents to avoid conflictsStory 7Collect traces9
EndRenaming agents to avoid conflictsStory 7Collect traces993.2e-05
StartPartial order reductionStory 7Collect traces9
EndPartial order reductionStory 7Collect traces994.6e-05
StartStore traceStory 7Collect traces
StartGrid computationStore traceStory 7Collect traces
EndGrid computationStore traceStory 7Collect traces0.000255
StartGraph conversionStore traceStory 7Collect traces
StartBuild configurationGraph conversionStore traceStory 7Collect traces
EndBuild configurationGraph conversionStore traceStory 7Collect traces5.20000000001e-05
StartTransitive reductionGraph conversionStore traceStory 7Collect traces
EndTransitive reductionGraph conversionStore traceStory 7Collect traces1.09999999999e-05
EndGraph conversionStore traceStory 7Collect traces0.000174
EndStore traceStory 7Collect traces0.00046
EndStory 7Collect traces0.001884
StartStory 8Collect traces
StartDeletion of pseudo inverse eventsStory 8Collect traces9
EndDeletion of pseudo inverse eventsStory 8Collect traces990.000356
StartRenaming agents to avoid conflictsStory 8Collect traces9
EndRenaming agents to avoid conflictsStory 8Collect traces992.4e-05
StartPartial order reductionStory 8Collect traces9
EndPartial order reductionStory 8Collect traces994.4e-05
StartStore traceStory 8Collect traces
StartGrid computationStore traceStory 8Collect traces
EndGrid computationStore traceStory 8Collect traces0.000677
StartGraph conversionStore traceStory 8Collect traces
StartBuild configurationGraph conversionStore traceStory 8Collect traces
EndBuild configurationGraph conversionStore traceStory 8Collect traces4.79999999999e-05
StartTransitive reductionGraph conversionStore traceStory 8Collect traces
EndTransitive reductionGraph conversionStore traceStory 8Collect traces9.00000000004e-06
EndGraph conversionStore traceStory 8Collect traces8.2e-05
StartComputing the cannonic formStore traceStory 8Collect traces
EndComputing the cannonic formStore traceStory 8Collect traces1.2e-05
StartComputing the cannonic formStore traceStory 8Collect traces
EndComputing the cannonic formStore traceStory 8Collect traces1.00000000001e-05
EndStore traceStory 8Collect traces0.000839
EndStory 8Collect traces0.001305
StartStory 9Collect traces
StartDeletion of pseudo inverse eventsStory 9Collect traces8
EndDeletion of pseudo inverse eventsStory 9Collect traces880.00076
StartRenaming agents to avoid conflictsStory 9Collect traces8
EndRenaming agents to avoid conflictsStory 9Collect traces884.10000000001e-05
StartPartial order reductionStory 9Collect traces8
EndPartial order reductionStory 9Collect traces886.2e-05
StartStore traceStory 9Collect traces
StartGrid computationStore traceStory 9Collect traces
EndGrid computationStore traceStory 9Collect traces0.000889
StartGraph conversionStore traceStory 9Collect traces
StartBuild configurationGraph conversionStore traceStory 9Collect traces
EndBuild configurationGraph conversionStore traceStory 9Collect traces8.10000000001e-05
StartTransitive reductionGraph conversionStore traceStory 9Collect traces
EndTransitive reductionGraph conversionStore traceStory 9Collect traces9.00000000004e-06
EndGraph conversionStore traceStory 9Collect traces0.000119
EndStore traceStory 9Collect traces0.001038
EndStory 9Collect traces0.001948
StartStory 10Collect traces
StartDeletion of pseudo inverse eventsStory 10Collect traces8
EndDeletion of pseudo inverse eventsStory 10Collect traces880.0008
StartRenaming agents to avoid conflictsStory 10Collect traces8
EndRenaming agents to avoid conflictsStory 10Collect traces883.9e-05
StartPartial order reductionStory 10Collect traces8
EndPartial order reductionStory 10Collect traces886.1e-05
StartStore traceStory 10Collect traces
StartGrid computationStore traceStory 10Collect traces
EndGrid computationStore traceStory 10Collect traces0.000621
StartGraph conversionStore traceStory 10Collect traces
StartBuild configurationGraph conversionStore traceStory 10Collect traces
EndBuild configurationGraph conversionStore traceStory 10Collect traces8e-05
StartTransitive reductionGraph conversionStore traceStory 10Collect traces
EndTransitive reductionGraph conversionStore traceStory 10Collect traces8.00000000012e-06
EndGraph conversionStore traceStory 10Collect traces0.000118
StartComputing the cannonic formStore traceStory 10Collect traces
EndComputing the cannonic formStore traceStory 10Collect traces1.1e-05
StartComputing the cannonic formStore traceStory 10Collect traces
EndComputing the cannonic formStore traceStory 10Collect traces9.00000000004e-06
EndStore traceStory 10Collect traces0.000817
EndStory 10Collect traces0.001766
StartStory 11Collect traces
StartDeletion of pseudo inverse eventsStory 11Collect traces9
EndDeletion of pseudo inverse eventsStory 11Collect traces990.000872
StartRenaming agents to avoid conflictsStory 11Collect traces9
EndRenaming agents to avoid conflictsStory 11Collect traces994.2e-05
StartPartial order reductionStory 11Collect traces9
EndPartial order reductionStory 11Collect traces995e-05
StartStore traceStory 11Collect traces
StartGrid computationStore traceStory 11Collect traces
EndGrid computationStore traceStory 11Collect traces0.000457
StartGraph conversionStore traceStory 11Collect traces
StartBuild configurationGraph conversionStore traceStory 11Collect traces
EndBuild configurationGraph conversionStore traceStory 11Collect traces8.4e-05
StartTransitive reductionGraph conversionStore traceStory 11Collect traces
EndTransitive reductionGraph conversionStore traceStory 11Collect traces1.1e-05
EndGraph conversionStore traceStory 11Collect traces0.00014
EndStore traceStory 11Collect traces0.000629
EndStory 11Collect traces0.00165
StartStory 12Collect traces
StartDeletion of pseudo inverse eventsStory 12Collect traces9
EndDeletion of pseudo inverse eventsStory 12Collect traces990.001726
StartRenaming agents to avoid conflictsStory 12Collect traces9
EndRenaming agents to avoid conflictsStory 12Collect traces990.000106
StartPartial order reductionStory 12Collect traces9
EndPartial order reductionStory 12Collect traces990.000105
StartStore traceStory 12Collect traces
StartGrid computationStore traceStory 12Collect traces
EndGrid computationStore traceStory 12Collect traces0.001019
StartGraph conversionStore traceStory 12Collect traces
StartBuild configurationGraph conversionStore traceStory 12Collect traces
EndBuild configurationGraph conversionStore traceStory 12Collect traces0.000271
StartTransitive reductionGraph conversionStore traceStory 12Collect traces
EndTransitive reductionGraph conversionStore traceStory 12Collect traces3.19999999999e-05
EndGraph conversionStore traceStory 12Collect traces0.000416
StartComputing the cannonic formStore traceStory 12Collect traces
EndComputing the cannonic formStore traceStory 12Collect traces0.000525
StartComputing the cannonic formStore traceStory 12Collect traces
EndComputing the cannonic formStore traceStory 12Collect traces3.70000000002e-05
EndStore traceStory 12Collect traces0.002254
EndStory 12Collect traces0.004366
StartStory 13Collect traces
StartDeletion of pseudo inverse eventsStory 13Collect traces10
EndDeletion of pseudo inverse eventsStory 13Collect traces10100.003671
StartRenaming agents to avoid conflictsStory 13Collect traces10
EndRenaming agents to avoid conflictsStory 13Collect traces10106.69999999999e-05
StartPartial order reductionStory 13Collect traces10
EndPartial order reductionStory 13Collect traces10107.7e-05
StartStore traceStory 13Collect traces
StartGrid computationStore traceStory 13Collect traces
EndGrid computationStore traceStory 13Collect traces0.000706
StartGraph conversionStore traceStory 13Collect traces
StartBuild configurationGraph conversionStore traceStory 13Collect traces
EndBuild configurationGraph conversionStore traceStory 13Collect traces0.00028
StartTransitive reductionGraph conversionStore traceStory 13Collect traces
EndTransitive reductionGraph conversionStore traceStory 13Collect traces1.4e-05
EndGraph conversionStore traceStory 13Collect traces0.000333
EndStore traceStory 13Collect traces0.001071
EndStory 13Collect traces0.005074
StartStory 14Collect traces
StartDeletion of pseudo inverse eventsStory 14Collect traces10
EndDeletion of pseudo inverse eventsStory 14Collect traces10100.001358
StartRenaming agents to avoid conflictsStory 14Collect traces10
EndRenaming agents to avoid conflictsStory 14Collect traces10105.99999999999e-05
StartPartial order reductionStory 14Collect traces10
EndPartial order reductionStory 14Collect traces10107.4e-05
StartStore traceStory 14Collect traces
StartGrid computationStore traceStory 14Collect traces
EndGrid computationStore traceStory 14Collect traces0.000809
StartGraph conversionStore traceStory 14Collect traces
StartBuild configurationGraph conversionStore traceStory 14Collect traces
EndBuild configurationGraph conversionStore traceStory 14Collect traces0.000115
StartTransitive reductionGraph conversionStore traceStory 14Collect traces
EndTransitive reductionGraph conversionStore traceStory 14Collect traces1.00000000001e-05
EndGraph conversionStore traceStory 14Collect traces0.000161
StartComputing the cannonic formStore traceStory 14Collect traces
EndComputing the cannonic formStore traceStory 14Collect traces8.99999999993e-06
StartComputing the cannonic formStore traceStory 14Collect traces
EndComputing the cannonic formStore traceStory 14Collect traces6.99999999998e-06
EndStore traceStory 14Collect traces0.001053
EndStory 14Collect traces0.002607
StartStory 15Collect traces
StartDeletion of pseudo inverse eventsStory 15Collect traces11
EndDeletion of pseudo inverse eventsStory 15Collect traces11110.001309
StartRenaming agents to avoid conflictsStory 15Collect traces11
EndRenaming agents to avoid conflictsStory 15Collect traces11116.2e-05
StartPartial order reductionStory 15Collect traces11
EndPartial order reductionStory 15Collect traces11118.2e-05
StartStore traceStory 15Collect traces
StartGrid computationStore traceStory 15Collect traces
EndGrid computationStore traceStory 15Collect traces0.000824
StartGraph conversionStore traceStory 15Collect traces
StartBuild configurationGraph conversionStore traceStory 15Collect traces
EndBuild configurationGraph conversionStore traceStory 15Collect traces0.000128
StartTransitive reductionGraph conversionStore traceStory 15Collect traces
EndTransitive reductionGraph conversionStore traceStory 15Collect traces1.1e-05
EndGraph conversionStore traceStory 15Collect traces0.000191
EndStore traceStory 15Collect traces0.001048
EndStory 15Collect traces0.002572
StartStory 16Collect traces
StartDeletion of pseudo inverse eventsStory 16Collect traces11
EndDeletion of pseudo inverse eventsStory 16Collect traces11110.002082
StartRenaming agents to avoid conflictsStory 16Collect traces11
EndRenaming agents to avoid conflictsStory 16Collect traces11110.000103
StartPartial order reductionStory 16Collect traces11
EndPartial order reductionStory 16Collect traces11110.000154
StartStore traceStory 16Collect traces
StartGrid computationStore traceStory 16Collect traces
EndGrid computationStore traceStory 16Collect traces0.001258
StartGraph conversionStore traceStory 16Collect traces
StartBuild configurationGraph conversionStore traceStory 16Collect traces
EndBuild configurationGraph conversionStore traceStory 16Collect traces0.000167
StartTransitive reductionGraph conversionStore traceStory 16Collect traces
EndTransitive reductionGraph conversionStore traceStory 16Collect traces1.4e-05
EndGraph conversionStore traceStory 16Collect traces0.000232
StartComputing the cannonic formStore traceStory 16Collect traces
EndComputing the cannonic formStore traceStory 16Collect traces1.7e-05
StartComputing the cannonic formStore traceStory 16Collect traces
EndComputing the cannonic formStore traceStory 16Collect traces1.49999999999e-05
EndStore traceStory 16Collect traces0.001627
EndStory 16Collect traces0.004114
StartStory 17Collect traces
StartDeletion of pseudo inverse eventsStory 17Collect traces10
EndDeletion of pseudo inverse eventsStory 17Collect traces10100.001909
StartRenaming agents to avoid conflictsStory 17Collect traces10
EndRenaming agents to avoid conflictsStory 17Collect traces10107.7e-05
StartPartial order reductionStory 17Collect traces10
EndPartial order reductionStory 17Collect traces10108.6e-05
StartStore traceStory 17Collect traces
StartGrid computationStore traceStory 17Collect traces
EndGrid computationStore traceStory 17Collect traces0.000962
StartGraph conversionStore traceStory 17Collect traces
StartBuild configurationGraph conversionStore traceStory 17Collect traces
EndBuild configurationGraph conversionStore traceStory 17Collect traces0.000139
StartTransitive reductionGraph conversionStore traceStory 17Collect traces
EndTransitive reductionGraph conversionStore traceStory 17Collect traces1.19999999999e-05
EndGraph conversionStore traceStory 17Collect traces0.000191
EndStore traceStory 17Collect traces0.00135
EndStory 17Collect traces0.003564
StartStory 18Collect traces
StartDeletion of pseudo inverse eventsStory 18Collect traces10
EndDeletion of pseudo inverse eventsStory 18Collect traces10100.001215
StartRenaming agents to avoid conflictsStory 18Collect traces10
EndRenaming agents to avoid conflictsStory 18Collect traces10108.9e-05
StartPartial order reductionStory 18Collect traces10
EndPartial order reductionStory 18Collect traces10108.2e-05
StartStore traceStory 18Collect traces
StartGrid computationStore traceStory 18Collect traces
EndGrid computationStore traceStory 18Collect traces0.000672
StartGraph conversionStore traceStory 18Collect traces
StartBuild configurationGraph conversionStore traceStory 18Collect traces
EndBuild configurationGraph conversionStore traceStory 18Collect traces0.000166
StartTransitive reductionGraph conversionStore traceStory 18Collect traces
EndTransitive reductionGraph conversionStore traceStory 18Collect traces1.20000000001e-05
EndGraph conversionStore traceStory 18Collect traces0.000214
StartComputing the cannonic formStore traceStory 18Collect traces
EndComputing the cannonic formStore traceStory 18Collect traces1.4e-05
StartComputing the cannonic formStore traceStory 18Collect traces
EndComputing the cannonic formStore traceStory 18Collect traces1.20000000001e-05
EndStore traceStory 18Collect traces0.000961
EndStory 18Collect traces0.002438
StartStory 19Collect traces
StartDeletion of pseudo inverse eventsStory 19Collect traces10
EndDeletion of pseudo inverse eventsStory 19Collect traces10100.001402
StartRenaming agents to avoid conflictsStory 19Collect traces10
EndRenaming agents to avoid conflictsStory 19Collect traces10106.19999999999e-05
StartPartial order reductionStory 19Collect traces10
EndPartial order reductionStory 19Collect traces10100.000115
StartStore traceStory 19Collect traces
StartGrid computationStore traceStory 19Collect traces
EndGrid computationStore traceStory 19Collect traces0.000866
StartGraph conversionStore traceStory 19Collect traces
StartBuild configurationGraph conversionStore traceStory 19Collect traces
EndBuild configurationGraph conversionStore traceStory 19Collect traces0.00017
StartTransitive reductionGraph conversionStore traceStory 19Collect traces
EndTransitive reductionGraph conversionStore traceStory 19Collect traces1.69999999999e-05
EndGraph conversionStore traceStory 19Collect traces0.000235
EndStore traceStory 19Collect traces0.00115
EndStory 19Collect traces0.002851
StartStory 20Collect traces
StartDeletion of pseudo inverse eventsStory 20Collect traces10
EndDeletion of pseudo inverse eventsStory 20Collect traces10100.001298
StartRenaming agents to avoid conflictsStory 20Collect traces10
EndRenaming agents to avoid conflictsStory 20Collect traces10104.4e-05
StartPartial order reductionStory 20Collect traces10
EndPartial order reductionStory 20Collect traces10106.60000000001e-05
StartStore traceStory 20Collect traces
StartGrid computationStore traceStory 20Collect traces
EndGrid computationStore traceStory 20Collect traces0.000582
StartGraph conversionStore traceStory 20Collect traces
StartBuild configurationGraph conversionStore traceStory 20Collect traces
EndBuild configurationGraph conversionStore traceStory 20Collect traces9.29999999999e-05
StartTransitive reductionGraph conversionStore traceStory 20Collect traces
EndTransitive reductionGraph conversionStore traceStory 20Collect traces1.00000000001e-05
EndGraph conversionStore traceStory 20Collect traces0.000131
StartComputing the cannonic formStore traceStory 20Collect traces
EndComputing the cannonic formStore traceStory 20Collect traces1.3e-05
StartComputing the cannonic formStore traceStory 20Collect traces
EndComputing the cannonic formStore traceStory 20Collect traces1.20000000001e-05
EndStore traceStory 20Collect traces0.000783
EndStory 20Collect traces0.002269
StartStory 21Collect traces
StartDeletion of pseudo inverse eventsStory 21Collect traces9
EndDeletion of pseudo inverse eventsStory 21Collect traces990.000806
StartRenaming agents to avoid conflictsStory 21Collect traces9
EndRenaming agents to avoid conflictsStory 21Collect traces995.99999999999e-05
StartPartial order reductionStory 21Collect traces9
EndPartial order reductionStory 21Collect traces995.8e-05
StartStore traceStory 21Collect traces
StartGrid computationStore traceStory 21Collect traces
EndGrid computationStore traceStory 21Collect traces0.000426
StartGraph conversionStore traceStory 21Collect traces
StartBuild configurationGraph conversionStore traceStory 21Collect traces
EndBuild configurationGraph conversionStore traceStory 21Collect traces8.59999999999e-05
StartTransitive reductionGraph conversionStore traceStory 21Collect traces
EndTransitive reductionGraph conversionStore traceStory 21Collect traces9.99999999995e-06
EndGraph conversionStore traceStory 21Collect traces0.000125
EndStore traceStory 21Collect traces0.000579
EndStory 21Collect traces0.00156
StartStory 22Collect traces
StartDeletion of pseudo inverse eventsStory 22Collect traces9
EndDeletion of pseudo inverse eventsStory 22Collect traces990.000859
StartRenaming agents to avoid conflictsStory 22Collect traces9
EndRenaming agents to avoid conflictsStory 22Collect traces993.9e-05
StartPartial order reductionStory 22Collect traces9
EndPartial order reductionStory 22Collect traces995.5e-05
StartStore traceStory 22Collect traces
StartGrid computationStore traceStory 22Collect traces
EndGrid computationStore traceStory 22Collect traces0.000495
StartGraph conversionStore traceStory 22Collect traces
StartBuild configurationGraph conversionStore traceStory 22Collect traces
EndBuild configurationGraph conversionStore traceStory 22Collect traces0.000228
StartTransitive reductionGraph conversionStore traceStory 22Collect traces
EndTransitive reductionGraph conversionStore traceStory 22Collect traces2.8e-05
EndGraph conversionStore traceStory 22Collect traces0.000289
StartComputing the cannonic formStore traceStory 22Collect traces
EndComputing the cannonic formStore traceStory 22Collect traces1.29999999999e-05
StartComputing the cannonic formStore traceStory 22Collect traces
EndComputing the cannonic formStore traceStory 22Collect traces1.09999999999e-05
EndStore traceStory 22Collect traces0.00086
EndStory 22Collect traces0.001864
StartStory 23Collect traces
StartDeletion of pseudo inverse eventsStory 23Collect traces18
EndDeletion of pseudo inverse eventsStory 23Collect traces18180.002496
StartRenaming agents to avoid conflictsStory 23Collect traces18
EndRenaming agents to avoid conflictsStory 23Collect traces18180.000109
StartPartial order reductionStory 23Collect traces18
EndPartial order reductionStory 23Collect traces18180.000154
StartStore traceStory 23Collect traces
StartGrid computationStore traceStory 23Collect traces
EndGrid computationStore traceStory 23Collect traces0.001502
StartGraph conversionStore traceStory 23Collect traces
StartBuild configurationGraph conversionStore traceStory 23Collect traces
EndBuild configurationGraph conversionStore traceStory 23Collect traces0.000636
StartTransitive reductionGraph conversionStore traceStory 23Collect traces
EndTransitive reductionGraph conversionStore traceStory 23Collect traces1.59999999999e-05
EndGraph conversionStore traceStory 23Collect traces0.000702
EndStore traceStory 23Collect traces0.002242
EndStory 23Collect traces0.005084
StartStory 24Collect traces
StartDeletion of pseudo inverse eventsStory 24Collect traces18
EndDeletion of pseudo inverse eventsStory 24Collect traces18180.0025
StartRenaming agents to avoid conflictsStory 24Collect traces18
EndRenaming agents to avoid conflictsStory 24Collect traces18180.000102
StartPartial order reductionStory 24Collect traces18
EndPartial order reductionStory 24Collect traces18180.000155
StartStore traceStory 24Collect traces
StartGrid computationStore traceStory 24Collect traces
EndGrid computationStore traceStory 24Collect traces0.001761
StartGraph conversionStore traceStory 24Collect traces
StartBuild configurationGraph conversionStore traceStory 24Collect traces
EndBuild configurationGraph conversionStore traceStory 24Collect traces0.000301
StartTransitive reductionGraph conversionStore traceStory 24Collect traces
EndTransitive reductionGraph conversionStore traceStory 24Collect traces1.5e-05
EndGraph conversionStore traceStory 24Collect traces0.000368
StartComputing the cannonic formStore traceStory 24Collect traces
EndComputing the cannonic formStore traceStory 24Collect traces1.90000000001e-05
StartComputing the cannonic formStore traceStory 24Collect traces
EndComputing the cannonic formStore traceStory 24Collect traces1.7e-05
EndStore traceStory 24Collect traces0.002224
EndStory 24Collect traces0.00506
StartStory 25Collect traces
StartDeletion of pseudo inverse eventsStory 25Collect traces9
EndDeletion of pseudo inverse eventsStory 25Collect traces990.001144
StartRenaming agents to avoid conflictsStory 25Collect traces9
EndRenaming agents to avoid conflictsStory 25Collect traces994.6e-05
StartPartial order reductionStory 25Collect traces9
EndPartial order reductionStory 25Collect traces997.89999999999e-05
StartStore traceStory 25Collect traces
StartGrid computationStore traceStory 25Collect traces
EndGrid computationStore traceStory 25Collect traces0.000465
StartGraph conversionStore traceStory 25Collect traces
StartBuild configurationGraph conversionStore traceStory 25Collect traces
EndBuild configurationGraph conversionStore traceStory 25Collect traces0.000232
StartTransitive reductionGraph conversionStore traceStory 25Collect traces
EndTransitive reductionGraph conversionStore traceStory 25Collect traces1.69999999999e-05
EndGraph conversionStore traceStory 25Collect traces0.000306
EndStore traceStory 25Collect traces0.00081
EndStory 25Collect traces0.00215
StartStory 26Collect traces
StartDeletion of pseudo inverse eventsStory 26Collect traces9
EndDeletion of pseudo inverse eventsStory 26Collect traces990.002134
StartRenaming agents to avoid conflictsStory 26Collect traces9
EndRenaming agents to avoid conflictsStory 26Collect traces990.000145
StartPartial order reductionStory 26Collect traces9
EndPartial order reductionStory 26Collect traces990.00012
StartStore traceStory 26Collect traces
StartGrid computationStore traceStory 26Collect traces
EndGrid computationStore traceStory 26Collect traces0.001186
StartGraph conversionStore traceStory 26Collect traces
StartBuild configurationGraph conversionStore traceStory 26Collect traces
EndBuild configurationGraph conversionStore traceStory 26Collect traces0.000223
StartTransitive reductionGraph conversionStore traceStory 26Collect traces
EndTransitive reductionGraph conversionStore traceStory 26Collect traces4.3e-05
EndGraph conversionStore traceStory 26Collect traces0.000442
EndStore traceStory 26Collect traces0.001916
EndStory 26Collect traces0.004522
StartStory 27Collect traces
StartDeletion of pseudo inverse eventsStory 27Collect traces10
EndDeletion of pseudo inverse eventsStory 27Collect traces10100.002374
StartRenaming agents to avoid conflictsStory 27Collect traces10
EndRenaming agents to avoid conflictsStory 27Collect traces10100.000143
StartPartial order reductionStory 27Collect traces10
EndPartial order reductionStory 27Collect traces10100.000154
StartStore traceStory 27Collect traces
StartGrid computationStore traceStory 27Collect traces
EndGrid computationStore traceStory 27Collect traces0.000796
StartGraph conversionStore traceStory 27Collect traces
StartBuild configurationGraph conversionStore traceStory 27Collect traces
EndBuild configurationGraph conversionStore traceStory 27Collect traces0.00011
StartTransitive reductionGraph conversionStore traceStory 27Collect traces
EndTransitive reductionGraph conversionStore traceStory 27Collect traces1.09999999999e-05
EndGraph conversionStore traceStory 27Collect traces0.000159
EndStore traceStory 27Collect traces0.00102
EndStory 27Collect traces0.003997
StartStory 28Collect traces
StartDeletion of pseudo inverse eventsStory 28Collect traces10
EndDeletion of pseudo inverse eventsStory 28Collect traces10100.000902
StartRenaming agents to avoid conflictsStory 28Collect traces10
EndRenaming agents to avoid conflictsStory 28Collect traces10104.50000000001e-05
StartPartial order reductionStory 28Collect traces10
EndPartial order reductionStory 28Collect traces10105.69999999999e-05
StartStore traceStory 28Collect traces
StartGrid computationStore traceStory 28Collect traces
EndGrid computationStore traceStory 28Collect traces0.000439
StartGraph conversionStore traceStory 28Collect traces
StartBuild configurationGraph conversionStore traceStory 28Collect traces
EndBuild configurationGraph conversionStore traceStory 28Collect traces9.4e-05
StartTransitive reductionGraph conversionStore traceStory 28Collect traces
EndTransitive reductionGraph conversionStore traceStory 28Collect traces1.10000000001e-05
EndGraph conversionStore traceStory 28Collect traces0.000134
StartComputing the cannonic formStore traceStory 28Collect traces
EndComputing the cannonic formStore traceStory 28Collect traces1.3e-05
StartComputing the cannonic formStore traceStory 28Collect traces
EndComputing the cannonic formStore traceStory 28Collect traces1.00000000001e-05
EndStore traceStory 28Collect traces0.000779
EndStory 28Collect traces0.00186
StartStory 29Collect traces
StartDeletion of pseudo inverse eventsStory 29Collect traces12
EndDeletion of pseudo inverse eventsStory 29Collect traces12120.001802
StartRenaming agents to avoid conflictsStory 29Collect traces12
EndRenaming agents to avoid conflictsStory 29Collect traces12127.79999999999e-05
StartPartial order reductionStory 29Collect traces12
EndPartial order reductionStory 29Collect traces12129.90000000001e-05
StartStore traceStory 29Collect traces
StartGrid computationStore traceStory 29Collect traces
EndGrid computationStore traceStory 29Collect traces0.000999
StartGraph conversionStore traceStory 29Collect traces
StartBuild configurationGraph conversionStore traceStory 29Collect traces
EndBuild configurationGraph conversionStore traceStory 29Collect traces0.000181
StartTransitive reductionGraph conversionStore traceStory 29Collect traces
EndTransitive reductionGraph conversionStore traceStory 29Collect traces1.29999999999e-05
EndGraph conversionStore traceStory 29Collect traces0.000278
EndStore traceStory 29Collect traces0.001317
EndStory 29Collect traces0.003368
StartStory 30Collect traces
StartDeletion of pseudo inverse eventsStory 30Collect traces12
EndDeletion of pseudo inverse eventsStory 30Collect traces12120.002569
StartRenaming agents to avoid conflictsStory 30Collect traces12
EndRenaming agents to avoid conflictsStory 30Collect traces12120.000107
StartPartial order reductionStory 30Collect traces12
EndPartial order reductionStory 30Collect traces12120.000156
StartStore traceStory 30Collect traces
StartGrid computationStore traceStory 30Collect traces
EndGrid computationStore traceStory 30Collect traces0.001211
StartGraph conversionStore traceStory 30Collect traces
StartBuild configurationGraph conversionStore traceStory 30Collect traces
EndBuild configurationGraph conversionStore traceStory 30Collect traces0.000185
StartTransitive reductionGraph conversionStore traceStory 30Collect traces
EndTransitive reductionGraph conversionStore traceStory 30Collect traces0.00028
EndGraph conversionStore traceStory 30Collect traces0.000517
StartComputing the cannonic formStore traceStory 30Collect traces
EndComputing the cannonic formStore traceStory 30Collect traces1.40000000001e-05
StartComputing the cannonic formStore traceStory 30Collect traces
EndComputing the cannonic formStore traceStory 30Collect traces1.20000000001e-05
EndStore traceStory 30Collect traces0.001835
EndStory 30Collect traces0.004792
StartStory 31Collect traces
StartDeletion of pseudo inverse eventsStory 31Collect traces12
EndDeletion of pseudo inverse eventsStory 31Collect traces12120.00229
StartRenaming agents to avoid conflictsStory 31Collect traces12
EndRenaming agents to avoid conflictsStory 31Collect traces12128.2e-05
StartPartial order reductionStory 31Collect traces12
EndPartial order reductionStory 31Collect traces12128.90000000001e-05
StartStore traceStory 31Collect traces
StartGrid computationStore traceStory 31Collect traces
EndGrid computationStore traceStory 31Collect traces0.000866
StartGraph conversionStore traceStory 31Collect traces
StartBuild configurationGraph conversionStore traceStory 31Collect traces
EndBuild configurationGraph conversionStore traceStory 31Collect traces0.000209
StartTransitive reductionGraph conversionStore traceStory 31Collect traces
EndTransitive reductionGraph conversionStore traceStory 31Collect traces1.09999999999e-05
EndGraph conversionStore traceStory 31Collect traces0.000256
EndStore traceStory 31Collect traces0.001153
EndStory 31Collect traces0.003709
StartStory 32Collect traces
StartDeletion of pseudo inverse eventsStory 32Collect traces12
EndDeletion of pseudo inverse eventsStory 32Collect traces12120.001847
StartRenaming agents to avoid conflictsStory 32Collect traces12
EndRenaming agents to avoid conflictsStory 32Collect traces12127.3e-05
StartPartial order reductionStory 32Collect traces12
EndPartial order reductionStory 32Collect traces12120.000125
StartStore traceStory 32Collect traces
StartGrid computationStore traceStory 32Collect traces
EndGrid computationStore traceStory 32Collect traces0.000819
StartGraph conversionStore traceStory 32Collect traces
StartBuild configurationGraph conversionStore traceStory 32Collect traces
EndBuild configurationGraph conversionStore traceStory 32Collect traces0.000171
StartTransitive reductionGraph conversionStore traceStory 32Collect traces
EndTransitive reductionGraph conversionStore traceStory 32Collect traces1.1e-05
EndGraph conversionStore traceStory 32Collect traces0.000298
StartComputing the cannonic formStore traceStory 32Collect traces
EndComputing the cannonic formStore traceStory 32Collect traces1.29999999999e-05
StartComputing the cannonic formStore traceStory 32Collect traces
EndComputing the cannonic formStore traceStory 32Collect traces8.99999999993e-06
EndStore traceStory 32Collect traces0.001185
EndStory 32Collect traces0.003296
StartStory 33Collect traces
StartDeletion of pseudo inverse eventsStory 33Collect traces22
EndDeletion of pseudo inverse eventsStory 33Collect traces22220.002282
StartRenaming agents to avoid conflictsStory 33Collect traces22
EndRenaming agents to avoid conflictsStory 33Collect traces22229.59999999999e-05
StartPartial order reductionStory 33Collect traces22
EndPartial order reductionStory 33Collect traces22220.000429
StartStore traceStory 33Collect traces
StartGrid computationStore traceStory 33Collect traces
EndGrid computationStore traceStory 33Collect traces0.001348
StartGraph conversionStore traceStory 33Collect traces
StartBuild configurationGraph conversionStore traceStory 33Collect traces
EndBuild configurationGraph conversionStore traceStory 33Collect traces0.000244
StartTransitive reductionGraph conversionStore traceStory 33Collect traces
EndTransitive reductionGraph conversionStore traceStory 33Collect traces3.6e-05
EndGraph conversionStore traceStory 33Collect traces0.000323
EndStore traceStory 33Collect traces0.001716
EndStory 33Collect traces0.004599
StartStory 34Collect traces
StartDeletion of pseudo inverse eventsStory 34Collect traces22
EndDeletion of pseudo inverse eventsStory 34Collect traces22220.004898
StartRenaming agents to avoid conflictsStory 34Collect traces22
EndRenaming agents to avoid conflictsStory 34Collect traces22220.000103
StartPartial order reductionStory 34Collect traces22
EndPartial order reductionStory 34Collect traces22220.000121
StartStore traceStory 34Collect traces
StartGrid computationStore traceStory 34Collect traces
EndGrid computationStore traceStory 34Collect traces0.001647
StartGraph conversionStore traceStory 34Collect traces
StartBuild configurationGraph conversionStore traceStory 34Collect traces
EndBuild configurationGraph conversionStore traceStory 34Collect traces0.000626
StartTransitive reductionGraph conversionStore traceStory 34Collect traces
EndTransitive reductionGraph conversionStore traceStory 34Collect traces1.9e-05
EndGraph conversionStore traceStory 34Collect traces0.000705
StartComputing the cannonic formStore traceStory 34Collect traces
EndComputing the cannonic formStore traceStory 34Collect traces3.1e-05
StartComputing the cannonic formStore traceStory 34Collect traces
EndComputing the cannonic formStore traceStory 34Collect traces2.6e-05
EndStore traceStory 34Collect traces0.00247
EndStory 34Collect traces0.007682
StartStory 35Collect traces
StartDeletion of pseudo inverse eventsStory 35Collect traces10
EndDeletion of pseudo inverse eventsStory 35Collect traces10100.001336
StartRenaming agents to avoid conflictsStory 35Collect traces10
EndRenaming agents to avoid conflictsStory 35Collect traces10104.20000000001e-05
StartPartial order reductionStory 35Collect traces10
EndPartial order reductionStory 35Collect traces10105.1e-05
StartStore traceStory 35Collect traces
StartGrid computationStore traceStory 35Collect traces
EndGrid computationStore traceStory 35Collect traces0.000534
StartGraph conversionStore traceStory 35Collect traces
StartBuild configurationGraph conversionStore traceStory 35Collect traces
EndBuild configurationGraph conversionStore traceStory 35Collect traces7.90000000001e-05
StartTransitive reductionGraph conversionStore traceStory 35Collect traces
EndTransitive reductionGraph conversionStore traceStory 35Collect traces1.10000000001e-05
EndGraph conversionStore traceStory 35Collect traces0.000118
EndStore traceStory 35Collect traces0.00068
EndStory 35Collect traces0.002169
StartStory 36Collect traces
StartDeletion of pseudo inverse eventsStory 36Collect traces10
EndDeletion of pseudo inverse eventsStory 36Collect traces10100.000623
StartRenaming agents to avoid conflictsStory 36Collect traces10
EndRenaming agents to avoid conflictsStory 36Collect traces10104.5e-05
StartPartial order reductionStory 36Collect traces10
EndPartial order reductionStory 36Collect traces10105e-05
StartStore traceStory 36Collect traces
StartGrid computationStore traceStory 36Collect traces
EndGrid computationStore traceStory 36Collect traces0.000427
StartGraph conversionStore traceStory 36Collect traces
StartBuild configurationGraph conversionStore traceStory 36Collect traces
EndBuild configurationGraph conversionStore traceStory 36Collect traces8.1e-05
StartTransitive reductionGraph conversionStore traceStory 36Collect traces
EndTransitive reductionGraph conversionStore traceStory 36Collect traces1.1e-05
EndGraph conversionStore traceStory 36Collect traces0.000134
StartComputing the cannonic formStore traceStory 36Collect traces
EndComputing the cannonic formStore traceStory 36Collect traces1.6e-05
StartComputing the cannonic formStore traceStory 36Collect traces
EndComputing the cannonic formStore traceStory 36Collect traces1.40000000001e-05
EndStore traceStory 36Collect traces0.000631
EndStory 36Collect traces0.001733
StartStory 37Collect traces
StartDeletion of pseudo inverse eventsStory 37Collect traces16
EndDeletion of pseudo inverse eventsStory 37Collect traces16160.001482
StartRenaming agents to avoid conflictsStory 37Collect traces16
EndRenaming agents to avoid conflictsStory 37Collect traces16167.60000000001e-05
StartPartial order reductionStory 37Collect traces16
EndPartial order reductionStory 37Collect traces16160.0001
StartStore traceStory 37Collect traces
StartGrid computationStore traceStory 37Collect traces
EndGrid computationStore traceStory 37Collect traces0.000897
StartGraph conversionStore traceStory 37Collect traces
StartBuild configurationGraph conversionStore traceStory 37Collect traces
EndBuild configurationGraph conversionStore traceStory 37Collect traces0.000291
StartTransitive reductionGraph conversionStore traceStory 37Collect traces
EndTransitive reductionGraph conversionStore traceStory 37Collect traces1.4e-05
EndGraph conversionStore traceStory 37Collect traces0.000342
EndStore traceStory 37Collect traces0.001288
EndStory 37Collect traces0.003006
StartStory 38Collect traces
StartDeletion of pseudo inverse eventsStory 38Collect traces16
EndDeletion of pseudo inverse eventsStory 38Collect traces16160.001663
StartRenaming agents to avoid conflictsStory 38Collect traces16
EndRenaming agents to avoid conflictsStory 38Collect traces16167.90000000001e-05
StartPartial order reductionStory 38Collect traces16
EndPartial order reductionStory 38Collect traces16160.0001
StartStore traceStory 38Collect traces
StartGrid computationStore traceStory 38Collect traces
EndGrid computationStore traceStory 38Collect traces0.000909
StartGraph conversionStore traceStory 38Collect traces
StartBuild configurationGraph conversionStore traceStory 38Collect traces
EndBuild configurationGraph conversionStore traceStory 38Collect traces0.000214
StartTransitive reductionGraph conversionStore traceStory 38Collect traces
EndTransitive reductionGraph conversionStore traceStory 38Collect traces1.40000000001e-05
EndGraph conversionStore traceStory 38Collect traces0.000264
StartComputing the cannonic formStore traceStory 38Collect traces
EndComputing the cannonic formStore traceStory 38Collect traces1.50000000001e-05
StartComputing the cannonic formStore traceStory 38Collect traces
EndComputing the cannonic formStore traceStory 38Collect traces1.2e-05
EndStore traceStory 38Collect traces0.00125
EndStory 38Collect traces0.003156
StartStory 39Collect traces
StartDeletion of pseudo inverse eventsStory 39Collect traces12
EndDeletion of pseudo inverse eventsStory 39Collect traces12120.001868
StartRenaming agents to avoid conflictsStory 39Collect traces12
EndRenaming agents to avoid conflictsStory 39Collect traces12127.09999999999e-05
StartPartial order reductionStory 39Collect traces12
EndPartial order reductionStory 39Collect traces12120.000114
StartStore traceStory 39Collect traces
StartGrid computationStore traceStory 39Collect traces
EndGrid computationStore traceStory 39Collect traces0.001115
StartGraph conversionStore traceStory 39Collect traces
StartBuild configurationGraph conversionStore traceStory 39Collect traces
EndBuild configurationGraph conversionStore traceStory 39Collect traces0.000201
StartTransitive reductionGraph conversionStore traceStory 39Collect traces
EndTransitive reductionGraph conversionStore traceStory 39Collect traces1.4e-05
EndGraph conversionStore traceStory 39Collect traces0.000256
StartComputing the cannonic formStore traceStory 39Collect traces
EndComputing the cannonic formStore traceStory 39Collect traces1.5e-05
EndStore traceStory 39Collect traces0.001448
EndStory 39Collect traces0.003597
StartStory 40Collect traces
StartDeletion of pseudo inverse eventsStory 40Collect traces12
EndDeletion of pseudo inverse eventsStory 40Collect traces12120.002577
StartRenaming agents to avoid conflictsStory 40Collect traces12
EndRenaming agents to avoid conflictsStory 40Collect traces12128.50000000001e-05
StartPartial order reductionStory 40Collect traces12
EndPartial order reductionStory 40Collect traces12120.00011
StartStore traceStory 40Collect traces
StartGrid computationStore traceStory 40Collect traces
EndGrid computationStore traceStory 40Collect traces0.001096
StartGraph conversionStore traceStory 40Collect traces
StartBuild configurationGraph conversionStore traceStory 40Collect traces
EndBuild configurationGraph conversionStore traceStory 40Collect traces0.000196
StartTransitive reductionGraph conversionStore traceStory 40Collect traces
EndTransitive reductionGraph conversionStore traceStory 40Collect traces1.5e-05
EndGraph conversionStore traceStory 40Collect traces0.000279
StartComputing the cannonic formStore traceStory 40Collect traces
EndComputing the cannonic formStore traceStory 40Collect traces1.60000000001e-05
EndStore traceStory 40Collect traces0.001443
EndStory 40Collect traces0.004307
StartStory 41Collect traces
StartDeletion of pseudo inverse eventsStory 41Collect traces14
EndDeletion of pseudo inverse eventsStory 41Collect traces14140.001905
StartRenaming agents to avoid conflictsStory 41Collect traces14
EndRenaming agents to avoid conflictsStory 41Collect traces14147.8e-05
StartPartial order reductionStory 41Collect traces14
EndPartial order reductionStory 41Collect traces14140.00012
StartStore traceStory 41Collect traces
StartGrid computationStore traceStory 41Collect traces
EndGrid computationStore traceStory 41Collect traces0.000954
StartGraph conversionStore traceStory 41Collect traces
StartBuild configurationGraph conversionStore traceStory 41Collect traces
EndBuild configurationGraph conversionStore traceStory 41Collect traces0.000334
StartTransitive reductionGraph conversionStore traceStory 41Collect traces
EndTransitive reductionGraph conversionStore traceStory 41Collect traces1.19999999999e-05
EndGraph conversionStore traceStory 41Collect traces0.000381
EndStore traceStory 41Collect traces0.001367
EndStory 41Collect traces0.003547
StartStory 42Collect traces
StartDeletion of pseudo inverse eventsStory 42Collect traces14
EndDeletion of pseudo inverse eventsStory 42Collect traces14140.001529
StartRenaming agents to avoid conflictsStory 42Collect traces14
EndRenaming agents to avoid conflictsStory 42Collect traces14147.20000000001e-05
StartPartial order reductionStory 42Collect traces14
EndPartial order reductionStory 42Collect traces14140.000104
StartStore traceStory 42Collect traces
StartGrid computationStore traceStory 42Collect traces
EndGrid computationStore traceStory 42Collect traces0.000967
StartGraph conversionStore traceStory 42Collect traces
StartBuild configurationGraph conversionStore traceStory 42Collect traces
EndBuild configurationGraph conversionStore traceStory 42Collect traces0.000417
StartTransitive reductionGraph conversionStore traceStory 42Collect traces
EndTransitive reductionGraph conversionStore traceStory 42Collect traces1.29999999999e-05
EndGraph conversionStore traceStory 42Collect traces0.000466
StartComputing the cannonic formStore traceStory 42Collect traces
EndComputing the cannonic formStore traceStory 42Collect traces1.59999999999e-05
StartComputing the cannonic formStore traceStory 42Collect traces
EndComputing the cannonic formStore traceStory 42Collect traces1.4e-05
EndStore traceStory 42Collect traces0.001512
EndStory 42Collect traces0.003278
StartStory 43Collect traces
StartDeletion of pseudo inverse eventsStory 43Collect traces10
EndDeletion of pseudo inverse eventsStory 43Collect traces10100.000866
StartRenaming agents to avoid conflictsStory 43Collect traces10
EndRenaming agents to avoid conflictsStory 43Collect traces10104.2e-05
StartPartial order reductionStory 43Collect traces10
EndPartial order reductionStory 43Collect traces10106.1e-05
StartStore traceStory 43Collect traces
StartGrid computationStore traceStory 43Collect traces
EndGrid computationStore traceStory 43Collect traces0.000486
StartGraph conversionStore traceStory 43Collect traces
StartBuild configurationGraph conversionStore traceStory 43Collect traces
EndBuild configurationGraph conversionStore traceStory 43Collect traces8.69999999999e-05
StartTransitive reductionGraph conversionStore traceStory 43Collect traces
EndTransitive reductionGraph conversionStore traceStory 43Collect traces1.1e-05
EndGraph conversionStore traceStory 43Collect traces0.000124
EndStore traceStory 43Collect traces0.000638
EndStory 43Collect traces0.001677
StartStory 44Collect traces
StartDeletion of pseudo inverse eventsStory 44Collect traces10
EndDeletion of pseudo inverse eventsStory 44Collect traces10100.001418
StartRenaming agents to avoid conflictsStory 44Collect traces10
EndRenaming agents to avoid conflictsStory 44Collect traces10107.60000000001e-05
StartPartial order reductionStory 44Collect traces10
EndPartial order reductionStory 44Collect traces10107.7e-05
StartStore traceStory 44Collect traces
StartGrid computationStore traceStory 44Collect traces
EndGrid computationStore traceStory 44Collect traces0.000595
StartGraph conversionStore traceStory 44Collect traces
StartBuild configurationGraph conversionStore traceStory 44Collect traces
EndBuild configurationGraph conversionStore traceStory 44Collect traces0.000171
StartTransitive reductionGraph conversionStore traceStory 44Collect traces
EndTransitive reductionGraph conversionStore traceStory 44Collect traces2.6e-05
EndGraph conversionStore traceStory 44Collect traces0.000306
StartComputing the cannonic formStore traceStory 44Collect traces
EndComputing the cannonic formStore traceStory 44Collect traces3.8e-05
StartComputing the cannonic formStore traceStory 44Collect traces
EndComputing the cannonic formStore traceStory 44Collect traces3.29999999999e-05
EndStore traceStory 44Collect traces0.001071
EndStory 44Collect traces0.003085
StartStory 45Collect traces
StartDeletion of pseudo inverse eventsStory 45Collect traces22
EndDeletion of pseudo inverse eventsStory 45Collect traces22220.002345
StartRenaming agents to avoid conflictsStory 45Collect traces22
EndRenaming agents to avoid conflictsStory 45Collect traces22220.000107
StartPartial order reductionStory 45Collect traces22
EndPartial order reductionStory 45Collect traces22220.000176
StartStore traceStory 45Collect traces
StartGrid computationStore traceStory 45Collect traces
EndGrid computationStore traceStory 45Collect traces0.001845
StartGraph conversionStore traceStory 45Collect traces
StartBuild configurationGraph conversionStore traceStory 45Collect traces
EndBuild configurationGraph conversionStore traceStory 45Collect traces0.000523
StartTransitive reductionGraph conversionStore traceStory 45Collect traces
EndTransitive reductionGraph conversionStore traceStory 45Collect traces2e-05
EndGraph conversionStore traceStory 45Collect traces0.000587
EndStore traceStory 45Collect traces0.002486
EndStory 45Collect traces0.0052
StartStory 46Collect traces
StartDeletion of pseudo inverse eventsStory 46Collect traces22
EndDeletion of pseudo inverse eventsStory 46Collect traces22220.002238
StartRenaming agents to avoid conflictsStory 46Collect traces22
EndRenaming agents to avoid conflictsStory 46Collect traces22220.000108
StartPartial order reductionStory 46Collect traces22
EndPartial order reductionStory 46Collect traces22220.000158
StartStore traceStory 46Collect traces
StartGrid computationStore traceStory 46Collect traces
EndGrid computationStore traceStory 46Collect traces0.001365
StartGraph conversionStore traceStory 46Collect traces
StartBuild configurationGraph conversionStore traceStory 46Collect traces
EndBuild configurationGraph conversionStore traceStory 46Collect traces0.000268
StartTransitive reductionGraph conversionStore traceStory 46Collect traces
EndTransitive reductionGraph conversionStore traceStory 46Collect traces2.1e-05
EndGraph conversionStore traceStory 46Collect traces0.000337
StartComputing the cannonic formStore traceStory 46Collect traces
EndComputing the cannonic formStore traceStory 46Collect traces2.60000000001e-05
StartComputing the cannonic formStore traceStory 46Collect traces
EndComputing the cannonic formStore traceStory 46Collect traces2.2e-05
EndStore traceStory 46Collect traces0.002156
EndStory 46Collect traces0.004743
StartStory 47Collect traces
StartDeletion of pseudo inverse eventsStory 47Collect traces18
EndDeletion of pseudo inverse eventsStory 47Collect traces18180.001702
StartRenaming agents to avoid conflictsStory 47Collect traces18
EndRenaming agents to avoid conflictsStory 47Collect traces18187.3e-05
StartPartial order reductionStory 47Collect traces18
EndPartial order reductionStory 47Collect traces18180.000118
StartStore traceStory 47Collect traces
StartGrid computationStore traceStory 47Collect traces
EndGrid computationStore traceStory 47Collect traces0.001002
StartGraph conversionStore traceStory 47Collect traces
StartBuild configurationGraph conversionStore traceStory 47Collect traces
EndBuild configurationGraph conversionStore traceStory 47Collect traces0.000379
StartTransitive reductionGraph conversionStore traceStory 47Collect traces
EndTransitive reductionGraph conversionStore traceStory 47Collect traces1.40000000001e-05
EndGraph conversionStore traceStory 47Collect traces0.00043
EndStore traceStory 47Collect traces0.001467
EndStory 47Collect traces0.003456
StartStory 48Collect traces
StartDeletion of pseudo inverse eventsStory 48Collect traces18
EndDeletion of pseudo inverse eventsStory 48Collect traces18180.001521
StartRenaming agents to avoid conflictsStory 48Collect traces18
EndRenaming agents to avoid conflictsStory 48Collect traces18180.000132
StartPartial order reductionStory 48Collect traces18
EndPartial order reductionStory 48Collect traces18180.000113
StartStore traceStory 48Collect traces
StartGrid computationStore traceStory 48Collect traces
EndGrid computationStore traceStory 48Collect traces0.001096
StartGraph conversionStore traceStory 48Collect traces
StartBuild configurationGraph conversionStore traceStory 48Collect traces
EndBuild configurationGraph conversionStore traceStory 48Collect traces0.000213
StartTransitive reductionGraph conversionStore traceStory 48Collect traces
EndTransitive reductionGraph conversionStore traceStory 48Collect traces1.7e-05
EndGraph conversionStore traceStory 48Collect traces0.00027
StartComputing the cannonic formStore traceStory 48Collect traces
EndComputing the cannonic formStore traceStory 48Collect traces4.99999999999e-05
StartComputing the cannonic formStore traceStory 48Collect traces
EndComputing the cannonic formStore traceStory 48Collect traces2.70000000001e-05
EndStore traceStory 48Collect traces0.001497
EndStory 48Collect traces0.00334
StartStory 49Collect traces
StartDeletion of pseudo inverse eventsStory 49Collect traces28
EndDeletion of pseudo inverse eventsStory 49Collect traces28280.004088
StartRenaming agents to avoid conflictsStory 49Collect traces28
EndRenaming agents to avoid conflictsStory 49Collect traces28280.000159
StartPartial order reductionStory 49Collect traces28
EndPartial order reductionStory 49Collect traces28280.000204
StartStore traceStory 49Collect traces
StartGrid computationStore traceStory 49Collect traces
EndGrid computationStore traceStory 49Collect traces0.002524
StartGraph conversionStore traceStory 49Collect traces
StartBuild configurationGraph conversionStore traceStory 49Collect traces
EndBuild configurationGraph conversionStore traceStory 49Collect traces0.000934
StartTransitive reductionGraph conversionStore traceStory 49Collect traces
EndTransitive reductionGraph conversionStore traceStory 49Collect traces2.4e-05
EndGraph conversionStore traceStory 49Collect traces0.001029
EndStore traceStory 49Collect traces0.003615
EndStory 49Collect traces0.00815
StartStory 50Collect traces
StartDeletion of pseudo inverse eventsStory 50Collect traces28
EndDeletion of pseudo inverse eventsStory 50Collect traces28280.004387
StartRenaming agents to avoid conflictsStory 50Collect traces28
EndRenaming agents to avoid conflictsStory 50Collect traces28280.000316
StartPartial order reductionStory 50Collect traces28
EndPartial order reductionStory 50Collect traces28280.000404
StartStore traceStory 50Collect traces
StartGrid computationStore traceStory 50Collect traces
EndGrid computationStore traceStory 50Collect traces0.001824
StartGraph conversionStore traceStory 50Collect traces
StartBuild configurationGraph conversionStore traceStory 50Collect traces
EndBuild configurationGraph conversionStore traceStory 50Collect traces0.001084
StartTransitive reductionGraph conversionStore traceStory 50Collect traces
EndTransitive reductionGraph conversionStore traceStory 50Collect traces2.8e-05
EndGraph conversionStore traceStory 50Collect traces0.001189
StartComputing the cannonic formStore traceStory 50Collect traces
EndComputing the cannonic formStore traceStory 50Collect traces0.000993
StartComputing the cannonic formStore traceStory 50Collect traces
EndComputing the cannonic formStore traceStory 50Collect traces3.9e-05
EndStore traceStory 50Collect traces0.004164
EndStory 50Collect traces0.009416
StartStory 51Collect traces
StartDeletion of pseudo inverse eventsStory 51Collect traces11
EndDeletion of pseudo inverse eventsStory 51Collect traces11110.001272
StartRenaming agents to avoid conflictsStory 51Collect traces11
EndRenaming agents to avoid conflictsStory 51Collect traces11116.5e-05
StartPartial order reductionStory 51Collect traces11
EndPartial order reductionStory 51Collect traces11110.000118
StartStore traceStory 51Collect traces
StartGrid computationStore traceStory 51Collect traces
EndGrid computationStore traceStory 51Collect traces0.000827
StartGraph conversionStore traceStory 51Collect traces
StartBuild configurationGraph conversionStore traceStory 51Collect traces
EndBuild configurationGraph conversionStore traceStory 51Collect traces0.000123
StartTransitive reductionGraph conversionStore traceStory 51Collect traces
EndTransitive reductionGraph conversionStore traceStory 51Collect traces1.19999999999e-05
EndGraph conversionStore traceStory 51Collect traces0.000174
EndStore traceStory 51Collect traces0.00106
EndStory 51Collect traces0.002579
StartStory 52Collect traces
StartDeletion of pseudo inverse eventsStory 52Collect traces11
EndDeletion of pseudo inverse eventsStory 52Collect traces11110.00145
StartRenaming agents to avoid conflictsStory 52Collect traces11
EndRenaming agents to avoid conflictsStory 52Collect traces11116.10000000001e-05
StartPartial order reductionStory 52Collect traces11
EndPartial order reductionStory 52Collect traces11118.29999999999e-05
StartStore traceStory 52Collect traces
StartGrid computationStore traceStory 52Collect traces
EndGrid computationStore traceStory 52Collect traces0.000994
StartGraph conversionStore traceStory 52Collect traces
StartBuild configurationGraph conversionStore traceStory 52Collect traces
EndBuild configurationGraph conversionStore traceStory 52Collect traces0.000121
StartTransitive reductionGraph conversionStore traceStory 52Collect traces
EndTransitive reductionGraph conversionStore traceStory 52Collect traces1.00000000001e-05
EndGraph conversionStore traceStory 52Collect traces0.000166
StartComputing the cannonic formStore traceStory 52Collect traces
EndComputing the cannonic formStore traceStory 52Collect traces1.2e-05
StartComputing the cannonic formStore traceStory 52Collect traces
EndComputing the cannonic formStore traceStory 52Collect traces1.2e-05
EndStore traceStory 52Collect traces0.001253
EndStory 52Collect traces0.00291
StartStory 53Collect traces
StartDeletion of pseudo inverse eventsStory 53Collect traces12
EndDeletion of pseudo inverse eventsStory 53Collect traces12120.001962
StartRenaming agents to avoid conflictsStory 53Collect traces12
EndRenaming agents to avoid conflictsStory 53Collect traces12127.69999999999e-05
StartPartial order reductionStory 53Collect traces12
EndPartial order reductionStory 53Collect traces12129.79999999999e-05
StartStore traceStory 53Collect traces
StartGrid computationStore traceStory 53Collect traces
EndGrid computationStore traceStory 53Collect traces0.001245
StartGraph conversionStore traceStory 53Collect traces
StartBuild configurationGraph conversionStore traceStory 53Collect traces
EndBuild configurationGraph conversionStore traceStory 53Collect traces0.000164
StartTransitive reductionGraph conversionStore traceStory 53Collect traces
EndTransitive reductionGraph conversionStore traceStory 53Collect traces1.10000000001e-05
EndGraph conversionStore traceStory 53Collect traces0.00021
EndStore traceStory 53Collect traces0.001497
EndStory 53Collect traces0.003713
StartStory 54Collect traces
StartDeletion of pseudo inverse eventsStory 54Collect traces12
EndDeletion of pseudo inverse eventsStory 54Collect traces12120.002179
StartRenaming agents to avoid conflictsStory 54Collect traces12
EndRenaming agents to avoid conflictsStory 54Collect traces12127.5e-05
StartPartial order reductionStory 54Collect traces12
EndPartial order reductionStory 54Collect traces12120.000115
StartStore traceStory 54Collect traces
StartGrid computationStore traceStory 54Collect traces
EndGrid computationStore traceStory 54Collect traces0.001198
StartGraph conversionStore traceStory 54Collect traces
StartBuild configurationGraph conversionStore traceStory 54Collect traces
EndBuild configurationGraph conversionStore traceStory 54Collect traces0.00016
StartTransitive reductionGraph conversionStore traceStory 54Collect traces
EndTransitive reductionGraph conversionStore traceStory 54Collect traces1.1e-05
EndGraph conversionStore traceStory 54Collect traces0.000204
StartComputing the cannonic formStore traceStory 54Collect traces
EndComputing the cannonic formStore traceStory 54Collect traces1.50000000001e-05
StartComputing the cannonic formStore traceStory 54Collect traces
EndComputing the cannonic formStore traceStory 54Collect traces1.20000000001e-05
EndStore traceStory 54Collect traces0.001637
EndStory 54Collect traces0.004073
StartStory 55Collect traces
StartDeletion of pseudo inverse eventsStory 55Collect traces17
EndDeletion of pseudo inverse eventsStory 55Collect traces17170.001905
StartRenaming agents to avoid conflictsStory 55Collect traces17
EndRenaming agents to avoid conflictsStory 55Collect traces17177.8e-05
StartPartial order reductionStory 55Collect traces17
EndPartial order reductionStory 55Collect traces17170.000108
StartStore traceStory 55Collect traces
StartGrid computationStore traceStory 55Collect traces
EndGrid computationStore traceStory 55Collect traces0.001169
StartGraph conversionStore traceStory 55Collect traces
StartBuild configurationGraph conversionStore traceStory 55Collect traces
EndBuild configurationGraph conversionStore traceStory 55Collect traces0.000458
StartTransitive reductionGraph conversionStore traceStory 55Collect traces
EndTransitive reductionGraph conversionStore traceStory 55Collect traces1.89999999999e-05
EndGraph conversionStore traceStory 55Collect traces0.000548
EndStore traceStory 55Collect traces0.001772
EndStory 55Collect traces0.003937
StartStory 56Collect traces
StartDeletion of pseudo inverse eventsStory 56Collect traces17
EndDeletion of pseudo inverse eventsStory 56Collect traces17170.001711
StartRenaming agents to avoid conflictsStory 56Collect traces17
EndRenaming agents to avoid conflictsStory 56Collect traces17170.000235
StartPartial order reductionStory 56Collect traces17
EndPartial order reductionStory 56Collect traces17170.000118
StartStore traceStory 56Collect traces
StartGrid computationStore traceStory 56Collect traces
EndGrid computationStore traceStory 56Collect traces0.001065
StartGraph conversionStore traceStory 56Collect traces
StartBuild configurationGraph conversionStore traceStory 56Collect traces
EndBuild configurationGraph conversionStore traceStory 56Collect traces0.00018
StartTransitive reductionGraph conversionStore traceStory 56Collect traces
EndTransitive reductionGraph conversionStore traceStory 56Collect traces1.5e-05
EndGraph conversionStore traceStory 56Collect traces0.000236
StartComputing the cannonic formStore traceStory 56Collect traces
EndComputing the cannonic formStore traceStory 56Collect traces1.90000000001e-05
StartComputing the cannonic formStore traceStory 56Collect traces
EndComputing the cannonic formStore traceStory 56Collect traces1.7e-05
EndStore traceStory 56Collect traces0.001413
EndStory 56Collect traces0.003552
StartStory 57Collect traces
StartDeletion of pseudo inverse eventsStory 57Collect traces31
EndDeletion of pseudo inverse eventsStory 57Collect traces31310.004058
StartRenaming agents to avoid conflictsStory 57Collect traces31
EndRenaming agents to avoid conflictsStory 57Collect traces31310.00018
StartPartial order reductionStory 57Collect traces31
EndPartial order reductionStory 57Collect traces31310.000278
StartStore traceStory 57Collect traces
StartGrid computationStore traceStory 57Collect traces
EndGrid computationStore traceStory 57Collect traces0.003295
StartGraph conversionStore traceStory 57Collect traces
StartBuild configurationGraph conversionStore traceStory 57Collect traces
EndBuild configurationGraph conversionStore traceStory 57Collect traces0.001253
StartTransitive reductionGraph conversionStore traceStory 57Collect traces
EndTransitive reductionGraph conversionStore traceStory 57Collect traces4.20000000001e-05
EndGraph conversionStore traceStory 57Collect traces0.00139
EndStore traceStory 57Collect traces0.004746
EndStory 57Collect traces0.00935
StartStory 58Collect traces
StartDeletion of pseudo inverse eventsStory 58Collect traces31
EndDeletion of pseudo inverse eventsStory 58Collect traces31310.003646
StartRenaming agents to avoid conflictsStory 58Collect traces31
EndRenaming agents to avoid conflictsStory 58Collect traces31310.00024
StartPartial order reductionStory 58Collect traces31
EndPartial order reductionStory 58Collect traces31310.000281
StartStore traceStory 58Collect traces
StartGrid computationStore traceStory 58Collect traces
EndGrid computationStore traceStory 58Collect traces0.002805
StartGraph conversionStore traceStory 58Collect traces
StartBuild configurationGraph conversionStore traceStory 58Collect traces
EndBuild configurationGraph conversionStore traceStory 58Collect traces0.001072
StartTransitive reductionGraph conversionStore traceStory 58Collect traces
EndTransitive reductionGraph conversionStore traceStory 58Collect traces3e-05
EndGraph conversionStore traceStory 58Collect traces0.001182
StartComputing the cannonic formStore traceStory 58Collect traces
EndComputing the cannonic formStore traceStory 58Collect traces0.00034
StartComputing the cannonic formStore traceStory 58Collect traces
EndComputing the cannonic formStore traceStory 58Collect traces2.89999999999e-05
EndStore traceStory 58Collect traces0.004462
EndStory 58Collect traces0.008705
StartStory 59Collect traces
StartDeletion of pseudo inverse eventsStory 59Collect traces47
EndDeletion of pseudo inverse eventsStory 59Collect traces47470.006048
StartRenaming agents to avoid conflictsStory 59Collect traces47
EndRenaming agents to avoid conflictsStory 59Collect traces47470.000222
StartPartial order reductionStory 59Collect traces47
EndPartial order reductionStory 59Collect traces47470.000399
StartStore traceStory 59Collect traces
StartGrid computationStore traceStory 59Collect traces
EndGrid computationStore traceStory 59Collect traces0.003806
StartGraph conversionStore traceStory 59Collect traces
StartBuild configurationGraph conversionStore traceStory 59Collect traces
EndBuild configurationGraph conversionStore traceStory 59Collect traces0.001762
StartTransitive reductionGraph conversionStore traceStory 59Collect traces
EndTransitive reductionGraph conversionStore traceStory 59Collect traces4e-05
EndGraph conversionStore traceStory 59Collect traces0.001922
EndStore traceStory 59Collect traces0.005796
EndStory 59Collect traces0.012545
StartStory 60Collect traces
StartDeletion of pseudo inverse eventsStory 60Collect traces47
EndDeletion of pseudo inverse eventsStory 60Collect traces47470.005034
StartRenaming agents to avoid conflictsStory 60Collect traces47
EndRenaming agents to avoid conflictsStory 60Collect traces47470.000222
StartPartial order reductionStory 60Collect traces47
EndPartial order reductionStory 60Collect traces47470.000382
StartStore traceStory 60Collect traces
StartGrid computationStore traceStory 60Collect traces
EndGrid computationStore traceStory 60Collect traces0.004465
StartGraph conversionStore traceStory 60Collect traces
StartBuild configurationGraph conversionStore traceStory 60Collect traces
EndBuild configurationGraph conversionStore traceStory 60Collect traces0.002406
StartTransitive reductionGraph conversionStore traceStory 60Collect traces
EndTransitive reductionGraph conversionStore traceStory 60Collect traces4.5e-05
EndGraph conversionStore traceStory 60Collect traces0.002556
StartComputing the cannonic formStore traceStory 60Collect traces
EndComputing the cannonic formStore traceStory 60Collect traces8.30000000001e-05
StartComputing the cannonic formStore traceStory 60Collect traces
EndComputing the cannonic formStore traceStory 60Collect traces8.30000000001e-05
EndStore traceStory 60Collect traces0.007301
EndStory 60Collect traces0.013042
StartStory 61Collect traces
StartDeletion of pseudo inverse eventsStory 61Collect traces11
EndDeletion of pseudo inverse eventsStory 61Collect traces11110.001123
StartRenaming agents to avoid conflictsStory 61Collect traces11
EndRenaming agents to avoid conflictsStory 61Collect traces11117.59999999999e-05
StartPartial order reductionStory 61Collect traces11
EndPartial order reductionStory 61Collect traces11118.00000000001e-05
StartStore traceStory 61Collect traces
StartGrid computationStore traceStory 61Collect traces
EndGrid computationStore traceStory 61Collect traces0.000635
StartGraph conversionStore traceStory 61Collect traces
StartBuild configurationGraph conversionStore traceStory 61Collect traces
EndBuild configurationGraph conversionStore traceStory 61Collect traces0.000154
StartTransitive reductionGraph conversionStore traceStory 61Collect traces
EndTransitive reductionGraph conversionStore traceStory 61Collect traces1.2e-05
EndGraph conversionStore traceStory 61Collect traces0.000196
EndStore traceStory 61Collect traces0.00086
EndStory 61Collect traces0.002213
StartStory 62Collect traces
StartDeletion of pseudo inverse eventsStory 62Collect traces11
EndDeletion of pseudo inverse eventsStory 62Collect traces11110.001478
StartRenaming agents to avoid conflictsStory 62Collect traces11
EndRenaming agents to avoid conflictsStory 62Collect traces11115.8e-05
StartPartial order reductionStory 62Collect traces11
EndPartial order reductionStory 62Collect traces11118e-05
StartStore traceStory 62Collect traces
StartGrid computationStore traceStory 62Collect traces
EndGrid computationStore traceStory 62Collect traces0.000631
StartGraph conversionStore traceStory 62Collect traces
StartBuild configurationGraph conversionStore traceStory 62Collect traces
EndBuild configurationGraph conversionStore traceStory 62Collect traces0.000119
StartTransitive reductionGraph conversionStore traceStory 62Collect traces
EndTransitive reductionGraph conversionStore traceStory 62Collect traces9.99999999995e-06
EndGraph conversionStore traceStory 62Collect traces0.000304
StartComputing the cannonic formStore traceStory 62Collect traces
EndComputing the cannonic formStore traceStory 62Collect traces1.5e-05
StartComputing the cannonic formStore traceStory 62Collect traces
EndComputing the cannonic formStore traceStory 62Collect traces1.30000000002e-05
EndStore traceStory 62Collect traces0.001021
EndStory 62Collect traces0.002694
StartStory 63Collect traces
StartDeletion of pseudo inverse eventsStory 63Collect traces15
EndDeletion of pseudo inverse eventsStory 63Collect traces15150.002003
StartRenaming agents to avoid conflictsStory 63Collect traces15
EndRenaming agents to avoid conflictsStory 63Collect traces15158.30000000001e-05
StartPartial order reductionStory 63Collect traces15
EndPartial order reductionStory 63Collect traces15150.000114
StartStore traceStory 63Collect traces
StartGrid computationStore traceStory 63Collect traces
EndGrid computationStore traceStory 63Collect traces0.001038
StartGraph conversionStore traceStory 63Collect traces
StartBuild configurationGraph conversionStore traceStory 63Collect traces
EndBuild configurationGraph conversionStore traceStory 63Collect traces0.000202
StartTransitive reductionGraph conversionStore traceStory 63Collect traces
EndTransitive reductionGraph conversionStore traceStory 63Collect traces1.49999999999e-05
EndGraph conversionStore traceStory 63Collect traces0.000278
EndStore traceStory 63Collect traces0.001355
EndStory 63Collect traces0.003634
StartStory 64Collect traces
StartDeletion of pseudo inverse eventsStory 64Collect traces15
EndDeletion of pseudo inverse eventsStory 64Collect traces15150.002338
StartRenaming agents to avoid conflictsStory 64Collect traces15
EndRenaming agents to avoid conflictsStory 64Collect traces15158.1e-05
StartPartial order reductionStory 64Collect traces15
EndPartial order reductionStory 64Collect traces15150.000114
StartStore traceStory 64Collect traces
StartGrid computationStore traceStory 64Collect traces
EndGrid computationStore traceStory 64Collect traces0.000994
StartGraph conversionStore traceStory 64Collect traces
StartBuild configurationGraph conversionStore traceStory 64Collect traces
EndBuild configurationGraph conversionStore traceStory 64Collect traces0.000198
StartTransitive reductionGraph conversionStore traceStory 64Collect traces
EndTransitive reductionGraph conversionStore traceStory 64Collect traces1.4e-05
EndGraph conversionStore traceStory 64Collect traces0.000252
StartComputing the cannonic formStore traceStory 64Collect traces
EndComputing the cannonic formStore traceStory 64Collect traces1.7e-05
StartComputing the cannonic formStore traceStory 64Collect traces
EndComputing the cannonic formStore traceStory 64Collect traces0.000465
EndStore traceStory 64Collect traces0.001792
EndStory 64Collect traces0.004398
StartStory 65Collect traces
StartDeletion of pseudo inverse eventsStory 65Collect traces26
EndDeletion of pseudo inverse eventsStory 65Collect traces26260.0045
StartRenaming agents to avoid conflictsStory 65Collect traces26
EndRenaming agents to avoid conflictsStory 65Collect traces26260.000655
StartPartial order reductionStory 65Collect traces26
EndPartial order reductionStory 65Collect traces26260.00027
StartStore traceStory 65Collect traces
StartGrid computationStore traceStory 65Collect traces
EndGrid computationStore traceStory 65Collect traces0.002508
StartGraph conversionStore traceStory 65Collect traces
StartBuild configurationGraph conversionStore traceStory 65Collect traces
EndBuild configurationGraph conversionStore traceStory 65Collect traces0.001062
StartTransitive reductionGraph conversionStore traceStory 65Collect traces
EndTransitive reductionGraph conversionStore traceStory 65Collect traces2.1e-05
EndGraph conversionStore traceStory 65Collect traces0.001168
EndStore traceStory 65Collect traces0.003732
EndStory 65Collect traces0.009249
StartStory 66Collect traces
StartDeletion of pseudo inverse eventsStory 66Collect traces26
EndDeletion of pseudo inverse eventsStory 66Collect traces26260.004108
StartRenaming agents to avoid conflictsStory 66Collect traces26
EndRenaming agents to avoid conflictsStory 66Collect traces26260.000161
StartPartial order reductionStory 66Collect traces26
EndPartial order reductionStory 66Collect traces26260.000239
StartStore traceStory 66Collect traces
StartGrid computationStore traceStory 66Collect traces
EndGrid computationStore traceStory 66Collect traces0.002867
StartGraph conversionStore traceStory 66Collect traces
StartBuild configurationGraph conversionStore traceStory 66Collect traces
EndBuild configurationGraph conversionStore traceStory 66Collect traces0.00094
StartTransitive reductionGraph conversionStore traceStory 66Collect traces
EndTransitive reductionGraph conversionStore traceStory 66Collect traces2.2e-05
EndGraph conversionStore traceStory 66Collect traces0.001042
StartComputing the cannonic formStore traceStory 66Collect traces
EndComputing the cannonic formStore traceStory 66Collect traces4.29999999999e-05
StartComputing the cannonic formStore traceStory 66Collect traces
EndComputing the cannonic formStore traceStory 66Collect traces0.000289
EndStore traceStory 66Collect traces0.004317
EndStory 66Collect traces0.00889
StartStory 67Collect traces
StartDeletion of pseudo inverse eventsStory 67Collect traces31
EndDeletion of pseudo inverse eventsStory 67Collect traces31310.002953
StartRenaming agents to avoid conflictsStory 67Collect traces31
EndRenaming agents to avoid conflictsStory 67Collect traces31310.000142
StartPartial order reductionStory 67Collect traces31
EndPartial order reductionStory 67Collect traces31310.000523
StartStore traceStory 67Collect traces
StartGrid computationStore traceStory 67Collect traces
EndGrid computationStore traceStory 67Collect traces0.001702
StartGraph conversionStore traceStory 67Collect traces
StartBuild configurationGraph conversionStore traceStory 67Collect traces
EndBuild configurationGraph conversionStore traceStory 67Collect traces0.0007
StartTransitive reductionGraph conversionStore traceStory 67Collect traces
EndTransitive reductionGraph conversionStore traceStory 67Collect traces2.90000000001e-05
EndGraph conversionStore traceStory 67Collect traces0.000786
EndStore traceStory 67Collect traces0.00254
EndStory 67Collect traces0.006297
StartStory 68Collect traces
StartDeletion of pseudo inverse eventsStory 68Collect traces31
EndDeletion of pseudo inverse eventsStory 68Collect traces31310.002857
StartRenaming agents to avoid conflictsStory 68Collect traces31
EndRenaming agents to avoid conflictsStory 68Collect traces31310.000133
StartPartial order reductionStory 68Collect traces31
EndPartial order reductionStory 68Collect traces31310.000207
StartStore traceStory 68Collect traces
StartGrid computationStore traceStory 68Collect traces
EndGrid computationStore traceStory 68Collect traces0.001967
StartGraph conversionStore traceStory 68Collect traces
StartBuild configurationGraph conversionStore traceStory 68Collect traces
EndBuild configurationGraph conversionStore traceStory 68Collect traces0.000916
StartTransitive reductionGraph conversionStore traceStory 68Collect traces
EndTransitive reductionGraph conversionStore traceStory 68Collect traces5.3e-05
EndGraph conversionStore traceStory 68Collect traces0.001107
StartComputing the cannonic formStore traceStory 68Collect traces
EndComputing the cannonic formStore traceStory 68Collect traces0.000182
StartComputing the cannonic formStore traceStory 68Collect traces
EndComputing the cannonic formStore traceStory 68Collect traces0.000447
EndStore traceStory 68Collect traces0.003853
EndStory 68Collect traces0.007131
StartStory 69Collect traces
StartDeletion of pseudo inverse eventsStory 69Collect traces10
EndDeletion of pseudo inverse eventsStory 69Collect traces10100.001965
StartRenaming agents to avoid conflictsStory 69Collect traces10
EndRenaming agents to avoid conflictsStory 69Collect traces10100.000101
StartPartial order reductionStory 69Collect traces10
EndPartial order reductionStory 69Collect traces10100.000133
StartStore traceStory 69Collect traces
StartGrid computationStore traceStory 69Collect traces
EndGrid computationStore traceStory 69Collect traces0.001225
StartGraph conversionStore traceStory 69Collect traces
StartBuild configurationGraph conversionStore traceStory 69Collect traces
EndBuild configurationGraph conversionStore traceStory 69Collect traces0.000221
StartTransitive reductionGraph conversionStore traceStory 69Collect traces
EndTransitive reductionGraph conversionStore traceStory 69Collect traces1.8e-05
EndGraph conversionStore traceStory 69Collect traces0.000291
EndStore traceStory 69Collect traces0.001727
EndStory 69Collect traces0.004017
StartStory 70Collect traces
StartDeletion of pseudo inverse eventsStory 70Collect traces10
EndDeletion of pseudo inverse eventsStory 70Collect traces10100.002102
StartRenaming agents to avoid conflictsStory 70Collect traces10
EndRenaming agents to avoid conflictsStory 70Collect traces10109.3e-05
StartPartial order reductionStory 70Collect traces10
EndPartial order reductionStory 70Collect traces10100.000139
StartStore traceStory 70Collect traces
StartGrid computationStore traceStory 70Collect traces
EndGrid computationStore traceStory 70Collect traces0.001412
StartGraph conversionStore traceStory 70Collect traces
StartBuild configurationGraph conversionStore traceStory 70Collect traces
EndBuild configurationGraph conversionStore traceStory 70Collect traces0.00022
StartTransitive reductionGraph conversionStore traceStory 70Collect traces
EndTransitive reductionGraph conversionStore traceStory 70Collect traces3.7e-05
EndGraph conversionStore traceStory 70Collect traces0.000307
EndStore traceStory 70Collect traces0.001773
EndStory 70Collect traces0.004201
StartStory 71Collect traces
StartDeletion of pseudo inverse eventsStory 71Collect traces24
EndDeletion of pseudo inverse eventsStory 71Collect traces24240.004501
StartRenaming agents to avoid conflictsStory 71Collect traces24
EndRenaming agents to avoid conflictsStory 71Collect traces24240.000198
StartPartial order reductionStory 71Collect traces24
EndPartial order reductionStory 71Collect traces24240.000321
StartStore traceStory 71Collect traces
StartGrid computationStore traceStory 71Collect traces
EndGrid computationStore traceStory 71Collect traces0.003068
StartGraph conversionStore traceStory 71Collect traces
StartBuild configurationGraph conversionStore traceStory 71Collect traces
EndBuild configurationGraph conversionStore traceStory 71Collect traces0.000787
StartTransitive reductionGraph conversionStore traceStory 71Collect traces
EndTransitive reductionGraph conversionStore traceStory 71Collect traces3.80000000001e-05
EndGraph conversionStore traceStory 71Collect traces0.001143
EndStore traceStory 71Collect traces0.004297
EndStory 71Collect traces0.009446
StartStory 72Collect traces
StartDeletion of pseudo inverse eventsStory 72Collect traces24
EndDeletion of pseudo inverse eventsStory 72Collect traces24240.004194
StartRenaming agents to avoid conflictsStory 72Collect traces24
EndRenaming agents to avoid conflictsStory 72Collect traces24240.000164
StartPartial order reductionStory 72Collect traces24
EndPartial order reductionStory 72Collect traces24240.000243
StartStore traceStory 72Collect traces
StartGrid computationStore traceStory 72Collect traces
EndGrid computationStore traceStory 72Collect traces0.00222
StartGraph conversionStore traceStory 72Collect traces
StartBuild configurationGraph conversionStore traceStory 72Collect traces
EndBuild configurationGraph conversionStore traceStory 72Collect traces0.000828
StartTransitive reductionGraph conversionStore traceStory 72Collect traces
EndTransitive reductionGraph conversionStore traceStory 72Collect traces2.4e-05
EndGraph conversionStore traceStory 72Collect traces0.000927
StartComputing the cannonic formStore traceStory 72Collect traces
EndComputing the cannonic formStore traceStory 72Collect traces2.39999999999e-05
StartComputing the cannonic formStore traceStory 72Collect traces
EndComputing the cannonic formStore traceStory 72Collect traces2.20000000001e-05
EndStore traceStory 72Collect traces0.003263
EndStory 72Collect traces0.007995
StartStory 73Collect traces
StartDeletion of pseudo inverse eventsStory 73Collect traces11
EndDeletion of pseudo inverse eventsStory 73Collect traces11110.002188
StartRenaming agents to avoid conflictsStory 73Collect traces11
EndRenaming agents to avoid conflictsStory 73Collect traces11119.20000000001e-05
StartPartial order reductionStory 73Collect traces11
EndPartial order reductionStory 73Collect traces11110.000133
StartStore traceStory 73Collect traces
StartGrid computationStore traceStory 73Collect traces
EndGrid computationStore traceStory 73Collect traces0.001546
StartGraph conversionStore traceStory 73Collect traces
StartBuild configurationGraph conversionStore traceStory 73Collect traces
EndBuild configurationGraph conversionStore traceStory 73Collect traces0.00024
StartTransitive reductionGraph conversionStore traceStory 73Collect traces
EndTransitive reductionGraph conversionStore traceStory 73Collect traces1.9e-05
EndGraph conversionStore traceStory 73Collect traces0.000334
EndStore traceStory 73Collect traces0.001937
EndStory 73Collect traces0.00445
StartStory 74Collect traces
StartDeletion of pseudo inverse eventsStory 74Collect traces11
EndDeletion of pseudo inverse eventsStory 74Collect traces11110.00218
StartRenaming agents to avoid conflictsStory 74Collect traces11
EndRenaming agents to avoid conflictsStory 74Collect traces11116.69999999999e-05
StartPartial order reductionStory 74Collect traces11
EndPartial order reductionStory 74Collect traces11117.70000000001e-05
StartStore traceStory 74Collect traces
StartGrid computationStore traceStory 74Collect traces
EndGrid computationStore traceStory 74Collect traces0.0009
StartGraph conversionStore traceStory 74Collect traces
StartBuild configurationGraph conversionStore traceStory 74Collect traces
EndBuild configurationGraph conversionStore traceStory 74Collect traces0.000134
StartTransitive reductionGraph conversionStore traceStory 74Collect traces
EndTransitive reductionGraph conversionStore traceStory 74Collect traces1.3e-05
EndGraph conversionStore traceStory 74Collect traces0.000183
EndStore traceStory 74Collect traces0.001119
EndStory 74Collect traces0.003526
StartStory 75Collect traces
StartDeletion of pseudo inverse eventsStory 75Collect traces9
EndDeletion of pseudo inverse eventsStory 75Collect traces990.001602
StartRenaming agents to avoid conflictsStory 75Collect traces9
EndRenaming agents to avoid conflictsStory 75Collect traces997.29999999999e-05
StartPartial order reductionStory 75Collect traces9
EndPartial order reductionStory 75Collect traces990.000108
StartStore traceStory 75Collect traces
StartGrid computationStore traceStory 75Collect traces
EndGrid computationStore traceStory 75Collect traces0.000848
StartGraph conversionStore traceStory 75Collect traces
StartBuild configurationGraph conversionStore traceStory 75Collect traces
EndBuild configurationGraph conversionStore traceStory 75Collect traces0.000379
StartTransitive reductionGraph conversionStore traceStory 75Collect traces
EndTransitive reductionGraph conversionStore traceStory 75Collect traces1.99999999999e-05
EndGraph conversionStore traceStory 75Collect traces0.000464
EndStore traceStory 75Collect traces0.001369
EndStory 75Collect traces0.003264
StartStory 76Collect traces
StartDeletion of pseudo inverse eventsStory 76Collect traces9
EndDeletion of pseudo inverse eventsStory 76Collect traces990.001356
StartRenaming agents to avoid conflictsStory 76Collect traces9
EndRenaming agents to avoid conflictsStory 76Collect traces997.7e-05
StartPartial order reductionStory 76Collect traces9
EndPartial order reductionStory 76Collect traces990.000104
StartStore traceStory 76Collect traces
StartGrid computationStore traceStory 76Collect traces
EndGrid computationStore traceStory 76Collect traces0.001055
StartGraph conversionStore traceStory 76Collect traces
StartBuild configurationGraph conversionStore traceStory 76Collect traces
EndBuild configurationGraph conversionStore traceStory 76Collect traces0.000156
StartTransitive reductionGraph conversionStore traceStory 76Collect traces
EndTransitive reductionGraph conversionStore traceStory 76Collect traces1.89999999999e-05
EndGraph conversionStore traceStory 76Collect traces0.000224
StartComputing the cannonic formStore traceStory 76Collect traces
EndComputing the cannonic formStore traceStory 76Collect traces2.3e-05
StartComputing the cannonic formStore traceStory 76Collect traces
EndComputing the cannonic formStore traceStory 76Collect traces1.8e-05
EndStore traceStory 76Collect traces0.001404
EndStory 76Collect traces0.003051
StartStory 77Collect traces
StartDeletion of pseudo inverse eventsStory 77Collect traces17
EndDeletion of pseudo inverse eventsStory 77Collect traces17170.003379
StartRenaming agents to avoid conflictsStory 77Collect traces17
EndRenaming agents to avoid conflictsStory 77Collect traces17170.000161
StartPartial order reductionStory 77Collect traces17
EndPartial order reductionStory 77Collect traces17170.000299
StartStore traceStory 77Collect traces
StartGrid computationStore traceStory 77Collect traces
EndGrid computationStore traceStory 77Collect traces0.002769
StartGraph conversionStore traceStory 77Collect traces
StartBuild configurationGraph conversionStore traceStory 77Collect traces
EndBuild configurationGraph conversionStore traceStory 77Collect traces0.001079
StartTransitive reductionGraph conversionStore traceStory 77Collect traces
EndTransitive reductionGraph conversionStore traceStory 77Collect traces2.7e-05
EndGraph conversionStore traceStory 77Collect traces0.001213
EndStore traceStory 77Collect traces0.004068
EndStory 77Collect traces0.008045
StartStory 78Collect traces
StartDeletion of pseudo inverse eventsStory 78Collect traces17
EndDeletion of pseudo inverse eventsStory 78Collect traces17170.005954
StartRenaming agents to avoid conflictsStory 78Collect traces17
EndRenaming agents to avoid conflictsStory 78Collect traces17170.000118
StartPartial order reductionStory 78Collect traces17
EndPartial order reductionStory 78Collect traces17170.000158
StartStore traceStory 78Collect traces
StartGrid computationStore traceStory 78Collect traces
EndGrid computationStore traceStory 78Collect traces0.001824
StartGraph conversionStore traceStory 78Collect traces
StartBuild configurationGraph conversionStore traceStory 78Collect traces
EndBuild configurationGraph conversionStore traceStory 78Collect traces0.000304
StartTransitive reductionGraph conversionStore traceStory 78Collect traces
EndTransitive reductionGraph conversionStore traceStory 78Collect traces1.7e-05
EndGraph conversionStore traceStory 78Collect traces0.000379
StartComputing the cannonic formStore traceStory 78Collect traces
EndComputing the cannonic formStore traceStory 78Collect traces1.00000000001e-05
StartComputing the cannonic formStore traceStory 78Collect traces
EndComputing the cannonic formStore traceStory 78Collect traces7.9999999999e-06
EndStore traceStory 78Collect traces0.002286
EndStory 78Collect traces0.008606
StartStory 79Collect traces
StartDeletion of pseudo inverse eventsStory 79Collect traces26
EndDeletion of pseudo inverse eventsStory 79Collect traces26260.005882
StartRenaming agents to avoid conflictsStory 79Collect traces26
EndRenaming agents to avoid conflictsStory 79Collect traces26260.000201
StartPartial order reductionStory 79Collect traces26
EndPartial order reductionStory 79Collect traces26260.000287
StartStore traceStory 79Collect traces
StartGrid computationStore traceStory 79Collect traces
EndGrid computationStore traceStory 79Collect traces0.003345
StartGraph conversionStore traceStory 79Collect traces
StartBuild configurationGraph conversionStore traceStory 79Collect traces
EndBuild configurationGraph conversionStore traceStory 79Collect traces0.002644
StartTransitive reductionGraph conversionStore traceStory 79Collect traces
EndTransitive reductionGraph conversionStore traceStory 79Collect traces5.00000000001e-05
EndGraph conversionStore traceStory 79Collect traces0.002932
EndStore traceStory 79Collect traces0.006382
EndStory 79Collect traces0.012849
StartStory 80Collect traces
StartDeletion of pseudo inverse eventsStory 80Collect traces26
EndDeletion of pseudo inverse eventsStory 80Collect traces26260.004433
StartRenaming agents to avoid conflictsStory 80Collect traces26
EndRenaming agents to avoid conflictsStory 80Collect traces26260.000693
StartPartial order reductionStory 80Collect traces26
EndPartial order reductionStory 80Collect traces26260.000272
StartStore traceStory 80Collect traces
StartGrid computationStore traceStory 80Collect traces
EndGrid computationStore traceStory 80Collect traces0.003147
StartGraph conversionStore traceStory 80Collect traces
StartBuild configurationGraph conversionStore traceStory 80Collect traces
EndBuild configurationGraph conversionStore traceStory 80Collect traces0.001644
StartTransitive reductionGraph conversionStore traceStory 80Collect traces
EndTransitive reductionGraph conversionStore traceStory 80Collect traces5.5e-05
EndGraph conversionStore traceStory 80Collect traces0.001832
StartComputing the cannonic formStore traceStory 80Collect traces
EndComputing the cannonic formStore traceStory 80Collect traces4.29999999999e-05
StartComputing the cannonic formStore traceStory 80Collect traces
EndComputing the cannonic formStore traceStory 80Collect traces4e-05
EndStore traceStory 80Collect traces0.005164
EndStory 80Collect traces0.010673
StartStory 81Collect traces
StartDeletion of pseudo inverse eventsStory 81Collect traces11
EndDeletion of pseudo inverse eventsStory 81Collect traces11110.004838
StartRenaming agents to avoid conflictsStory 81Collect traces11
EndRenaming agents to avoid conflictsStory 81Collect traces11110.000119
StartPartial order reductionStory 81Collect traces11
EndPartial order reductionStory 81Collect traces11110.000178
StartStore traceStory 81Collect traces
StartGrid computationStore traceStory 81Collect traces
EndGrid computationStore traceStory 81Collect traces0.001521
StartGraph conversionStore traceStory 81Collect traces
StartBuild configurationGraph conversionStore traceStory 81Collect traces
EndBuild configurationGraph conversionStore traceStory 81Collect traces0.000185
StartTransitive reductionGraph conversionStore traceStory 81Collect traces
EndTransitive reductionGraph conversionStore traceStory 81Collect traces1.3e-05
EndGraph conversionStore traceStory 81Collect traces0.000244
EndStore traceStory 81Collect traces0.001816
EndStory 81Collect traces0.007059
StartStory 82Collect traces
StartDeletion of pseudo inverse eventsStory 82Collect traces11
EndDeletion of pseudo inverse eventsStory 82Collect traces11110.002889
StartRenaming agents to avoid conflictsStory 82Collect traces11
EndRenaming agents to avoid conflictsStory 82Collect traces11110.000103
StartPartial order reductionStory 82Collect traces11
EndPartial order reductionStory 82Collect traces11110.000192
StartStore traceStory 82Collect traces
StartGrid computationStore traceStory 82Collect traces
EndGrid computationStore traceStory 82Collect traces0.00177
StartGraph conversionStore traceStory 82Collect traces
StartBuild configurationGraph conversionStore traceStory 82Collect traces
EndBuild configurationGraph conversionStore traceStory 82Collect traces0.000315
StartTransitive reductionGraph conversionStore traceStory 82Collect traces
EndTransitive reductionGraph conversionStore traceStory 82Collect traces2.1e-05
EndGraph conversionStore traceStory 82Collect traces0.000418
StartComputing the cannonic formStore traceStory 82Collect traces
EndComputing the cannonic formStore traceStory 82Collect traces2.7e-05
StartComputing the cannonic formStore traceStory 82Collect traces
EndComputing the cannonic formStore traceStory 82Collect traces2.40000000001e-05
EndStore traceStory 82Collect traces0.00235
EndStory 82Collect traces0.006307
StartStory 83Collect traces
StartDeletion of pseudo inverse eventsStory 83Collect traces48
EndDeletion of pseudo inverse eventsStory 83Collect traces48480.012426
StartRenaming agents to avoid conflictsStory 83Collect traces48
EndRenaming agents to avoid conflictsStory 83Collect traces48480.000643
StartPartial order reductionStory 83Collect traces48
EndPartial order reductionStory 83Collect traces48480.000785
StartStore traceStory 83Collect traces
StartGrid computationStore traceStory 83Collect traces
EndGrid computationStore traceStory 83Collect traces0.007739
StartGraph conversionStore traceStory 83Collect traces
StartBuild configurationGraph conversionStore traceStory 83Collect traces
EndBuild configurationGraph conversionStore traceStory 83Collect traces0.003273
StartTransitive reductionGraph conversionStore traceStory 83Collect traces
EndTransitive reductionGraph conversionStore traceStory 83Collect traces7.49999999999e-05
EndGraph conversionStore traceStory 83Collect traces0.003536
EndStore traceStory 83Collect traces0.01137
EndStory 83Collect traces0.025341
StartStory 84Collect traces
StartDeletion of pseudo inverse eventsStory 84Collect traces48
EndDeletion of pseudo inverse eventsStory 84Collect traces48480.008421
StartRenaming agents to avoid conflictsStory 84Collect traces48
EndRenaming agents to avoid conflictsStory 84Collect traces48480.000635
StartPartial order reductionStory 84Collect traces48
EndPartial order reductionStory 84Collect traces48480.000867
StartStore traceStory 84Collect traces
StartGrid computationStore traceStory 84Collect traces
EndGrid computationStore traceStory 84Collect traces0.007408
StartGraph conversionStore traceStory 84Collect traces
StartBuild configurationGraph conversionStore traceStory 84Collect traces
EndBuild configurationGraph conversionStore traceStory 84Collect traces0.00211
StartTransitive reductionGraph conversionStore traceStory 84Collect traces
EndTransitive reductionGraph conversionStore traceStory 84Collect traces4.90000000001e-05
EndGraph conversionStore traceStory 84Collect traces0.002308
StartComputing the cannonic formStore traceStory 84Collect traces
EndComputing the cannonic formStore traceStory 84Collect traces0.000397
StartComputing the cannonic formStore traceStory 84Collect traces
EndComputing the cannonic formStore traceStory 84Collect traces0.000138
EndStore traceStory 84Collect traces0.010421
EndStory 84Collect traces0.020505
StartStory 85Collect traces
StartDeletion of pseudo inverse eventsStory 85Collect traces34
EndDeletion of pseudo inverse eventsStory 85Collect traces34340.005067
StartRenaming agents to avoid conflictsStory 85Collect traces34
EndRenaming agents to avoid conflictsStory 85Collect traces34340.000307
StartPartial order reductionStory 85Collect traces34
EndPartial order reductionStory 85Collect traces34340.000352
StartStore traceStory 85Collect traces
StartGrid computationStore traceStory 85Collect traces
EndGrid computationStore traceStory 85Collect traces0.003845
StartGraph conversionStore traceStory 85Collect traces
StartBuild configurationGraph conversionStore traceStory 85Collect traces
EndBuild configurationGraph conversionStore traceStory 85Collect traces0.001224
StartTransitive reductionGraph conversionStore traceStory 85Collect traces
EndTransitive reductionGraph conversionStore traceStory 85Collect traces2.4e-05
EndGraph conversionStore traceStory 85Collect traces0.001364
EndStore traceStory 85Collect traces0.005282
EndStory 85Collect traces0.011123
StartStory 86Collect traces
StartDeletion of pseudo inverse eventsStory 86Collect traces34
EndDeletion of pseudo inverse eventsStory 86Collect traces34340.004903
StartRenaming agents to avoid conflictsStory 86Collect traces34
EndRenaming agents to avoid conflictsStory 86Collect traces34340.000223
StartPartial order reductionStory 86Collect traces34
EndPartial order reductionStory 86Collect traces34340.000336
StartStore traceStory 86Collect traces
StartGrid computationStore traceStory 86Collect traces
EndGrid computationStore traceStory 86Collect traces0.003342
StartGraph conversionStore traceStory 86Collect traces
StartBuild configurationGraph conversionStore traceStory 86Collect traces
EndBuild configurationGraph conversionStore traceStory 86Collect traces0.001996
StartTransitive reductionGraph conversionStore traceStory 86Collect traces
EndTransitive reductionGraph conversionStore traceStory 86Collect traces2.59999999999e-05
EndGraph conversionStore traceStory 86Collect traces0.002128
StartComputing the cannonic formStore traceStory 86Collect traces
EndComputing the cannonic formStore traceStory 86Collect traces3.8e-05
StartComputing the cannonic formStore traceStory 86Collect traces
EndComputing the cannonic formStore traceStory 86Collect traces3.40000000001e-05
EndStore traceStory 86Collect traces0.005621
EndStory 86Collect traces0.011176
StartStory 87Collect traces
StartDeletion of pseudo inverse eventsStory 87Collect traces18
EndDeletion of pseudo inverse eventsStory 87Collect traces18180.001665
StartRenaming agents to avoid conflictsStory 87Collect traces18
EndRenaming agents to avoid conflictsStory 87Collect traces18188.49999999999e-05
StartPartial order reductionStory 87Collect traces18
EndPartial order reductionStory 87Collect traces18180.000136
StartStore traceStory 87Collect traces
StartGrid computationStore traceStory 87Collect traces
EndGrid computationStore traceStory 87Collect traces0.001007
StartGraph conversionStore traceStory 87Collect traces
StartBuild configurationGraph conversionStore traceStory 87Collect traces
EndBuild configurationGraph conversionStore traceStory 87Collect traces0.000185
StartTransitive reductionGraph conversionStore traceStory 87Collect traces
EndTransitive reductionGraph conversionStore traceStory 87Collect traces1.4e-05
EndGraph conversionStore traceStory 87Collect traces0.000236
EndStore traceStory 87Collect traces0.001307
EndStory 87Collect traces0.003282
StartStory 88Collect traces
StartDeletion of pseudo inverse eventsStory 88Collect traces18
EndDeletion of pseudo inverse eventsStory 88Collect traces18180.002069
StartRenaming agents to avoid conflictsStory 88Collect traces18
EndRenaming agents to avoid conflictsStory 88Collect traces18188.39999999998e-05
StartPartial order reductionStory 88Collect traces18
EndPartial order reductionStory 88Collect traces18180.00016
StartStore traceStory 88Collect traces
StartGrid computationStore traceStory 88Collect traces
EndGrid computationStore traceStory 88Collect traces0.00098
StartGraph conversionStore traceStory 88Collect traces
StartBuild configurationGraph conversionStore traceStory 88Collect traces
EndBuild configurationGraph conversionStore traceStory 88Collect traces0.000494
StartTransitive reductionGraph conversionStore traceStory 88Collect traces
EndTransitive reductionGraph conversionStore traceStory 88Collect traces1.4e-05
EndGraph conversionStore traceStory 88Collect traces0.000548
StartComputing the cannonic formStore traceStory 88Collect traces
EndComputing the cannonic formStore traceStory 88Collect traces4.1e-05
StartComputing the cannonic formStore traceStory 88Collect traces
EndComputing the cannonic formStore traceStory 88Collect traces2.1e-05
EndStore traceStory 88Collect traces0.001644
EndStory 88Collect traces0.00403
StartStory 89Collect traces
StartDeletion of pseudo inverse eventsStory 89Collect traces20
EndDeletion of pseudo inverse eventsStory 89Collect traces20200.003621
StartRenaming agents to avoid conflictsStory 89Collect traces20
EndRenaming agents to avoid conflictsStory 89Collect traces20200.000172
StartPartial order reductionStory 89Collect traces20
EndPartial order reductionStory 89Collect traces20200.000188
StartStore traceStory 89Collect traces
StartGrid computationStore traceStory 89Collect traces
EndGrid computationStore traceStory 89Collect traces0.001627
StartGraph conversionStore traceStory 89Collect traces
StartBuild configurationGraph conversionStore traceStory 89Collect traces
EndBuild configurationGraph conversionStore traceStory 89Collect traces0.000695
StartTransitive reductionGraph conversionStore traceStory 89Collect traces
EndTransitive reductionGraph conversionStore traceStory 89Collect traces1.69999999999e-05
EndGraph conversionStore traceStory 89Collect traces0.000761
EndStore traceStory 89Collect traces0.002436
EndStory 89Collect traces0.006493
StartStory 90Collect traces
StartDeletion of pseudo inverse eventsStory 90Collect traces20
EndDeletion of pseudo inverse eventsStory 90Collect traces20200.003572
StartRenaming agents to avoid conflictsStory 90Collect traces20
EndRenaming agents to avoid conflictsStory 90Collect traces20200.000139
StartPartial order reductionStory 90Collect traces20
EndPartial order reductionStory 90Collect traces20200.000193
StartStore traceStory 90Collect traces
StartGrid computationStore traceStory 90Collect traces
EndGrid computationStore traceStory 90Collect traces0.001609
StartGraph conversionStore traceStory 90Collect traces
StartBuild configurationGraph conversionStore traceStory 90Collect traces
EndBuild configurationGraph conversionStore traceStory 90Collect traces0.000856
StartTransitive reductionGraph conversionStore traceStory 90Collect traces
EndTransitive reductionGraph conversionStore traceStory 90Collect traces1.79999999999e-05
EndGraph conversionStore traceStory 90Collect traces0.000934
StartComputing the cannonic formStore traceStory 90Collect traces
EndComputing the cannonic formStore traceStory 90Collect traces3.89999999999e-05
StartComputing the cannonic formStore traceStory 90Collect traces
EndComputing the cannonic formStore traceStory 90Collect traces3.5e-05
EndStore traceStory 90Collect traces0.002686
EndStory 90Collect traces0.006692
StartStory 91Collect traces
StartDeletion of pseudo inverse eventsStory 91Collect traces24
EndDeletion of pseudo inverse eventsStory 91Collect traces24240.00395
StartRenaming agents to avoid conflictsStory 91Collect traces24
EndRenaming agents to avoid conflictsStory 91Collect traces24240.000143
StartPartial order reductionStory 91Collect traces24
EndPartial order reductionStory 91Collect traces24240.000202
StartStore traceStory 91Collect traces
StartGrid computationStore traceStory 91Collect traces
EndGrid computationStore traceStory 91Collect traces0.00227
StartGraph conversionStore traceStory 91Collect traces
StartBuild configurationGraph conversionStore traceStory 91Collect traces
EndBuild configurationGraph conversionStore traceStory 91Collect traces0.001016
StartTransitive reductionGraph conversionStore traceStory 91Collect traces
EndTransitive reductionGraph conversionStore traceStory 91Collect traces1.99999999999e-05
EndGraph conversionStore traceStory 91Collect traces0.00111
EndStore traceStory 91Collect traces0.003451
EndStory 91Collect traces0.008416
StartStory 92Collect traces
StartDeletion of pseudo inverse eventsStory 92Collect traces24
EndDeletion of pseudo inverse eventsStory 92Collect traces24240.004797
StartRenaming agents to avoid conflictsStory 92Collect traces24
EndRenaming agents to avoid conflictsStory 92Collect traces24240.000152
StartPartial order reductionStory 92Collect traces24
EndPartial order reductionStory 92Collect traces24240.000214
StartStore traceStory 92Collect traces
StartGrid computationStore traceStory 92Collect traces
EndGrid computationStore traceStory 92Collect traces0.00203
StartGraph conversionStore traceStory 92Collect traces
StartBuild configurationGraph conversionStore traceStory 92Collect traces
EndBuild configurationGraph conversionStore traceStory 92Collect traces0.000879
StartTransitive reductionGraph conversionStore traceStory 92Collect traces
EndTransitive reductionGraph conversionStore traceStory 92Collect traces1.99999999999e-05
EndGraph conversionStore traceStory 92Collect traces0.000958
StartComputing the cannonic formStore traceStory 92Collect traces
EndComputing the cannonic formStore traceStory 92Collect traces2.50000000002e-05
StartComputing the cannonic formStore traceStory 92Collect traces
EndComputing the cannonic formStore traceStory 92Collect traces4e-05
EndStore traceStory 92Collect traces0.003124
EndStory 92Collect traces0.008364
StartStory 93Collect traces
StartDeletion of pseudo inverse eventsStory 93Collect traces20
EndDeletion of pseudo inverse eventsStory 93Collect traces20200.00343
StartRenaming agents to avoid conflictsStory 93Collect traces20
EndRenaming agents to avoid conflictsStory 93Collect traces20209.60000000001e-05
StartPartial order reductionStory 93Collect traces20
EndPartial order reductionStory 93Collect traces20200.000131
StartStore traceStory 93Collect traces
StartGrid computationStore traceStory 93Collect traces
EndGrid computationStore traceStory 93Collect traces0.001935
StartGraph conversionStore traceStory 93Collect traces
StartBuild configurationGraph conversionStore traceStory 93Collect traces
EndBuild configurationGraph conversionStore traceStory 93Collect traces0.000554
StartTransitive reductionGraph conversionStore traceStory 93Collect traces
EndTransitive reductionGraph conversionStore traceStory 93Collect traces1.9e-05
EndGraph conversionStore traceStory 93Collect traces0.000627
EndStore traceStory 93Collect traces0.002615
EndStory 93Collect traces0.006351
StartStory 94Collect traces
StartDeletion of pseudo inverse eventsStory 94Collect traces20
EndDeletion of pseudo inverse eventsStory 94Collect traces20200.002634
StartRenaming agents to avoid conflictsStory 94Collect traces20
EndRenaming agents to avoid conflictsStory 94Collect traces20209.30000000001e-05
StartPartial order reductionStory 94Collect traces20
EndPartial order reductionStory 94Collect traces20200.000129
StartStore traceStory 94Collect traces
StartGrid computationStore traceStory 94Collect traces
EndGrid computationStore traceStory 94Collect traces0.001751
StartGraph conversionStore traceStory 94Collect traces
StartBuild configurationGraph conversionStore traceStory 94Collect traces
EndBuild configurationGraph conversionStore traceStory 94Collect traces0.000308
StartTransitive reductionGraph conversionStore traceStory 94Collect traces
EndTransitive reductionGraph conversionStore traceStory 94Collect traces1.90000000002e-05
EndGraph conversionStore traceStory 94Collect traces0.000476
StartComputing the cannonic formStore traceStory 94Collect traces
EndComputing the cannonic formStore traceStory 94Collect traces3.89999999999e-05
StartComputing the cannonic formStore traceStory 94Collect traces
EndComputing the cannonic formStore traceStory 94Collect traces2.19999999997e-05
EndStore traceStory 94Collect traces0.002369
EndStory 94Collect traces0.005313
StartStory 95Collect traces
StartDeletion of pseudo inverse eventsStory 95Collect traces42
EndDeletion of pseudo inverse eventsStory 95Collect traces42420.005192
StartRenaming agents to avoid conflictsStory 95Collect traces42
EndRenaming agents to avoid conflictsStory 95Collect traces42420.000227
StartPartial order reductionStory 95Collect traces42
EndPartial order reductionStory 95Collect traces42420.000337
StartStore traceStory 95Collect traces
StartGrid computationStore traceStory 95Collect traces
EndGrid computationStore traceStory 95Collect traces0.004926
StartGraph conversionStore traceStory 95Collect traces
StartBuild configurationGraph conversionStore traceStory 95Collect traces
EndBuild configurationGraph conversionStore traceStory 95Collect traces0.001735
StartTransitive reductionGraph conversionStore traceStory 95Collect traces
EndTransitive reductionGraph conversionStore traceStory 95Collect traces4.50000000003e-05
EndGraph conversionStore traceStory 95Collect traces0.001898
EndStore traceStory 95Collect traces0.006892
EndStory 95Collect traces0.012736
StartStory 96Collect traces
StartDeletion of pseudo inverse eventsStory 96Collect traces42
EndDeletion of pseudo inverse eventsStory 96Collect traces42420.00455
StartRenaming agents to avoid conflictsStory 96Collect traces42
EndRenaming agents to avoid conflictsStory 96Collect traces42420.000237
StartPartial order reductionStory 96Collect traces42
EndPartial order reductionStory 96Collect traces42420.000363
StartStore traceStory 96Collect traces
StartGrid computationStore traceStory 96Collect traces
EndGrid computationStore traceStory 96Collect traces0.003982
StartGraph conversionStore traceStory 96Collect traces
StartBuild configurationGraph conversionStore traceStory 96Collect traces
EndBuild configurationGraph conversionStore traceStory 96Collect traces0.001769
StartTransitive reductionGraph conversionStore traceStory 96Collect traces
EndTransitive reductionGraph conversionStore traceStory 96Collect traces4.39999999999e-05
EndGraph conversionStore traceStory 96Collect traces0.001934
StartComputing the cannonic formStore traceStory 96Collect traces
EndComputing the cannonic formStore traceStory 96Collect traces0.000191
StartComputing the cannonic formStore traceStory 96Collect traces
EndComputing the cannonic formStore traceStory 96Collect traces5.80000000001e-05
EndStore traceStory 96Collect traces0.006274
EndStory 96Collect traces0.011543
StartStory 97Collect traces
StartDeletion of pseudo inverse eventsStory 97Collect traces27
EndDeletion of pseudo inverse eventsStory 97Collect traces27270.003287
StartRenaming agents to avoid conflictsStory 97Collect traces27
EndRenaming agents to avoid conflictsStory 97Collect traces27270.000174
StartPartial order reductionStory 97Collect traces27
EndPartial order reductionStory 97Collect traces27270.000315
StartStore traceStory 97Collect traces
StartGrid computationStore traceStory 97Collect traces
EndGrid computationStore traceStory 97Collect traces0.001785
StartGraph conversionStore traceStory 97Collect traces
StartBuild configurationGraph conversionStore traceStory 97Collect traces
EndBuild configurationGraph conversionStore traceStory 97Collect traces0.001627
StartTransitive reductionGraph conversionStore traceStory 97Collect traces
EndTransitive reductionGraph conversionStore traceStory 97Collect traces2.49999999999e-05
EndGraph conversionStore traceStory 97Collect traces0.001734
EndStore traceStory 97Collect traces0.003566
EndStory 97Collect traces0.00743
StartStory 98Collect traces
StartDeletion of pseudo inverse eventsStory 98Collect traces27
EndDeletion of pseudo inverse eventsStory 98Collect traces27270.00364
StartRenaming agents to avoid conflictsStory 98Collect traces27
EndRenaming agents to avoid conflictsStory 98Collect traces27270.000151
StartPartial order reductionStory 98Collect traces27
EndPartial order reductionStory 98Collect traces27270.000264
StartStore traceStory 98Collect traces
StartGrid computationStore traceStory 98Collect traces
EndGrid computationStore traceStory 98Collect traces0.002264
StartGraph conversionStore traceStory 98Collect traces
StartBuild configurationGraph conversionStore traceStory 98Collect traces
EndBuild configurationGraph conversionStore traceStory 98Collect traces0.000929
StartTransitive reductionGraph conversionStore traceStory 98Collect traces
EndTransitive reductionGraph conversionStore traceStory 98Collect traces2.4e-05
EndGraph conversionStore traceStory 98Collect traces0.001028
StartComputing the cannonic formStore traceStory 98Collect traces
EndComputing the cannonic formStore traceStory 98Collect traces3.50000000002e-05
StartComputing the cannonic formStore traceStory 98Collect traces
EndComputing the cannonic formStore traceStory 98Collect traces3.29999999999e-05
EndStore traceStory 98Collect traces0.003435
EndStory 98Collect traces0.007563
StartStory 99Collect traces
StartDeletion of pseudo inverse eventsStory 99Collect traces78
EndDeletion of pseudo inverse eventsStory 99Collect traces78780.008521
StartRenaming agents to avoid conflictsStory 99Collect traces78
EndRenaming agents to avoid conflictsStory 99Collect traces78780.000395
StartPartial order reductionStory 99Collect traces78
EndPartial order reductionStory 99Collect traces78780.000763
StartStore traceStory 99Collect traces
StartGrid computationStore traceStory 99Collect traces
EndGrid computationStore traceStory 99Collect traces0.007055
StartGraph conversionStore traceStory 99Collect traces
StartBuild configurationGraph conversionStore traceStory 99Collect traces
EndBuild configurationGraph conversionStore traceStory 99Collect traces0.002611
StartTransitive reductionGraph conversionStore traceStory 99Collect traces
EndTransitive reductionGraph conversionStore traceStory 99Collect traces0.000187
EndGraph conversionStore traceStory 99Collect traces0.003026
EndStore traceStory 99Collect traces0.010168
EndStory 99Collect traces0.01995
StartStory 100Collect traces
StartDeletion of pseudo inverse eventsStory 100Collect traces78
EndDeletion of pseudo inverse eventsStory 100Collect traces78780.010673
StartRenaming agents to avoid conflictsStory 100Collect traces78
EndRenaming agents to avoid conflictsStory 100Collect traces78780.000507
StartPartial order reductionStory 100Collect traces78
EndPartial order reductionStory 100Collect traces78780.000694
StartStore traceStory 100Collect traces
StartGrid computationStore traceStory 100Collect traces
EndGrid computationStore traceStory 100Collect traces0.008614
StartGraph conversionStore traceStory 100Collect traces
StartBuild configurationGraph conversionStore traceStory 100Collect traces
EndBuild configurationGraph conversionStore traceStory 100Collect traces0.004412
StartTransitive reductionGraph conversionStore traceStory 100Collect traces
EndTransitive reductionGraph conversionStore traceStory 100Collect traces8.50000000001e-05
EndGraph conversionStore traceStory 100Collect traces0.00464
StartComputing the cannonic formStore traceStory 100Collect traces
EndComputing the cannonic formStore traceStory 100Collect traces0.000556
StartComputing the cannonic formStore traceStory 100Collect traces
EndComputing the cannonic formStore traceStory 100Collect traces0.000501
EndStore traceStory 100Collect traces0.014455
EndStory 100Collect traces0.026432
StartStory 101Collect traces
StartDeletion of pseudo inverse eventsStory 101Collect traces36
EndDeletion of pseudo inverse eventsStory 101Collect traces36360.005484
StartRenaming agents to avoid conflictsStory 101Collect traces36
EndRenaming agents to avoid conflictsStory 101Collect traces36360.000296
StartPartial order reductionStory 101Collect traces36
EndPartial order reductionStory 101Collect traces36360.00033
StartStore traceStory 101Collect traces
StartGrid computationStore traceStory 101Collect traces
EndGrid computationStore traceStory 101Collect traces0.004802
StartGraph conversionStore traceStory 101Collect traces
StartBuild configurationGraph conversionStore traceStory 101Collect traces
EndBuild configurationGraph conversionStore traceStory 101Collect traces0.001224
StartTransitive reductionGraph conversionStore traceStory 101Collect traces
EndTransitive reductionGraph conversionStore traceStory 101Collect traces3.00000000002e-05
EndGraph conversionStore traceStory 101Collect traces0.001374
EndStore traceStory 101Collect traces0.006245
EndStory 101Collect traces0.012503
StartStory 102Collect traces
StartDeletion of pseudo inverse eventsStory 102Collect traces36
EndDeletion of pseudo inverse eventsStory 102Collect traces36360.006553
StartRenaming agents to avoid conflictsStory 102Collect traces36
EndRenaming agents to avoid conflictsStory 102Collect traces36360.000214
StartPartial order reductionStory 102Collect traces36
EndPartial order reductionStory 102Collect traces36360.000334
StartStore traceStory 102Collect traces
StartGrid computationStore traceStory 102Collect traces
EndGrid computationStore traceStory 102Collect traces0.006649
StartGraph conversionStore traceStory 102Collect traces
StartBuild configurationGraph conversionStore traceStory 102Collect traces
EndBuild configurationGraph conversionStore traceStory 102Collect traces0.003966
StartTransitive reductionGraph conversionStore traceStory 102Collect traces
EndTransitive reductionGraph conversionStore traceStory 102Collect traces6.19999999998e-05
EndGraph conversionStore traceStory 102Collect traces0.004267
StartComputing the cannonic formStore traceStory 102Collect traces
EndComputing the cannonic formStore traceStory 102Collect traces1.80000000001e-05
StartComputing the cannonic formStore traceStory 102Collect traces
EndComputing the cannonic formStore traceStory 102Collect traces1.50000000003e-05
EndStore traceStory 102Collect traces0.011429
EndStory 102Collect traces0.018608
StartStory 103Collect traces
StartDeletion of pseudo inverse eventsStory 103Collect traces35
EndDeletion of pseudo inverse eventsStory 103Collect traces35350.006398
StartRenaming agents to avoid conflictsStory 103Collect traces35
EndRenaming agents to avoid conflictsStory 103Collect traces35350.000218
StartPartial order reductionStory 103Collect traces35
EndPartial order reductionStory 103Collect traces35350.000371
StartStore traceStory 103Collect traces
StartGrid computationStore traceStory 103Collect traces
EndGrid computationStore traceStory 103Collect traces0.003943
StartGraph conversionStore traceStory 103Collect traces
StartBuild configurationGraph conversionStore traceStory 103Collect traces
EndBuild configurationGraph conversionStore traceStory 103Collect traces0.00147
StartTransitive reductionGraph conversionStore traceStory 103Collect traces
EndTransitive reductionGraph conversionStore traceStory 103Collect traces3.59999999999e-05
EndGraph conversionStore traceStory 103Collect traces0.001652
EndStore traceStory 103Collect traces0.005658
EndStory 103Collect traces0.012746
StartStory 104Collect traces
StartDeletion of pseudo inverse eventsStory 104Collect traces35
EndDeletion of pseudo inverse eventsStory 104Collect traces35350.00658
StartRenaming agents to avoid conflictsStory 104Collect traces35
EndRenaming agents to avoid conflictsStory 104Collect traces35350.000236
StartPartial order reductionStory 104Collect traces35
EndPartial order reductionStory 104Collect traces35350.00037
StartStore traceStory 104Collect traces
StartGrid computationStore traceStory 104Collect traces
EndGrid computationStore traceStory 104Collect traces0.003324
StartGraph conversionStore traceStory 104Collect traces
StartBuild configurationGraph conversionStore traceStory 104Collect traces
EndBuild configurationGraph conversionStore traceStory 104Collect traces0.001122
StartTransitive reductionGraph conversionStore traceStory 104Collect traces
EndTransitive reductionGraph conversionStore traceStory 104Collect traces2.90000000001e-05
EndGraph conversionStore traceStory 104Collect traces0.001698
StartComputing the cannonic formStore traceStory 104Collect traces
EndComputing the cannonic formStore traceStory 104Collect traces3.10000000001e-05
StartComputing the cannonic formStore traceStory 104Collect traces
EndComputing the cannonic formStore traceStory 104Collect traces2.69999999998e-05
EndStore traceStory 104Collect traces0.00516
EndStory 104Collect traces0.012477
StartStory 105Collect traces
StartDeletion of pseudo inverse eventsStory 105Collect traces50
EndDeletion of pseudo inverse eventsStory 105Collect traces50500.005535
StartRenaming agents to avoid conflictsStory 105Collect traces50
EndRenaming agents to avoid conflictsStory 105Collect traces50500.000312
StartPartial order reductionStory 105Collect traces50
EndPartial order reductionStory 105Collect traces50500.000395
StartStore traceStory 105Collect traces
StartGrid computationStore traceStory 105Collect traces
EndGrid computationStore traceStory 105Collect traces0.003885
StartGraph conversionStore traceStory 105Collect traces
StartBuild configurationGraph conversionStore traceStory 105Collect traces
EndBuild configurationGraph conversionStore traceStory 105Collect traces0.002328
StartTransitive reductionGraph conversionStore traceStory 105Collect traces
EndTransitive reductionGraph conversionStore traceStory 105Collect traces6.7e-05
EndGraph conversionStore traceStory 105Collect traces0.002534
EndStore traceStory 105Collect traces0.006498
EndStory 105Collect traces0.012832
StartStory 106Collect traces
StartDeletion of pseudo inverse eventsStory 106Collect traces50
EndDeletion of pseudo inverse eventsStory 106Collect traces50500.008761
StartRenaming agents to avoid conflictsStory 106Collect traces50
EndRenaming agents to avoid conflictsStory 106Collect traces50500.00065
StartPartial order reductionStory 106Collect traces50
EndPartial order reductionStory 106Collect traces50500.000725
StartStore traceStory 106Collect traces
StartGrid computationStore traceStory 106Collect traces
EndGrid computationStore traceStory 106Collect traces0.005967
StartGraph conversionStore traceStory 106Collect traces
StartBuild configurationGraph conversionStore traceStory 106Collect traces
EndBuild configurationGraph conversionStore traceStory 106Collect traces0.00186
StartTransitive reductionGraph conversionStore traceStory 106Collect traces
EndTransitive reductionGraph conversionStore traceStory 106Collect traces4.3e-05
EndGraph conversionStore traceStory 106Collect traces0.002007
StartComputing the cannonic formStore traceStory 106Collect traces
EndComputing the cannonic formStore traceStory 106Collect traces0.000279
StartComputing the cannonic formStore traceStory 106Collect traces
EndComputing the cannonic formStore traceStory 106Collect traces6.39999999998e-05
EndStore traceStory 106Collect traces0.008421
EndStory 106Collect traces0.018671
StartStory 107Collect traces
StartDeletion of pseudo inverse eventsStory 107Collect traces48
EndDeletion of pseudo inverse eventsStory 107Collect traces48480.005532
StartRenaming agents to avoid conflictsStory 107Collect traces48
EndRenaming agents to avoid conflictsStory 107Collect traces48480.000313
StartPartial order reductionStory 107Collect traces48
EndPartial order reductionStory 107Collect traces48480.000483
StartStore traceStory 107Collect traces
StartGrid computationStore traceStory 107Collect traces
EndGrid computationStore traceStory 107Collect traces0.003623
StartGraph conversionStore traceStory 107Collect traces
StartBuild configurationGraph conversionStore traceStory 107Collect traces
EndBuild configurationGraph conversionStore traceStory 107Collect traces0.001573
StartTransitive reductionGraph conversionStore traceStory 107Collect traces
EndTransitive reductionGraph conversionStore traceStory 107Collect traces3.89999999999e-05
EndGraph conversionStore traceStory 107Collect traces0.001714
EndStore traceStory 107Collect traces0.005435
EndStory 107Collect traces0.011869
StartStory 108Collect traces
StartDeletion of pseudo inverse eventsStory 108Collect traces48
EndDeletion of pseudo inverse eventsStory 108Collect traces48480.005511
StartRenaming agents to avoid conflictsStory 108Collect traces48
EndRenaming agents to avoid conflictsStory 108Collect traces48480.000235
StartPartial order reductionStory 108Collect traces48
EndPartial order reductionStory 108Collect traces48480.000418
StartStore traceStory 108Collect traces
StartGrid computationStore traceStory 108Collect traces
EndGrid computationStore traceStory 108Collect traces0.004771
StartGraph conversionStore traceStory 108Collect traces
StartBuild configurationGraph conversionStore traceStory 108Collect traces
EndBuild configurationGraph conversionStore traceStory 108Collect traces0.00281
StartTransitive reductionGraph conversionStore traceStory 108Collect traces
EndTransitive reductionGraph conversionStore traceStory 108Collect traces3.80000000002e-05
EndGraph conversionStore traceStory 108Collect traces0.003
StartComputing the cannonic formStore traceStory 108Collect traces
EndComputing the cannonic formStore traceStory 108Collect traces5.9e-05
StartComputing the cannonic formStore traceStory 108Collect traces
EndComputing the cannonic formStore traceStory 108Collect traces0.000445
EndStore traceStory 108Collect traces0.008404
EndStory 108Collect traces0.014648
StartStory 109Collect traces
StartDeletion of pseudo inverse eventsStory 109Collect traces55
EndDeletion of pseudo inverse eventsStory 109Collect traces55550.008299
StartRenaming agents to avoid conflictsStory 109Collect traces55
EndRenaming agents to avoid conflictsStory 109Collect traces55550.000408
StartPartial order reductionStory 109Collect traces55
EndPartial order reductionStory 109Collect traces55550.000524
StartStore traceStory 109Collect traces
StartGrid computationStore traceStory 109Collect traces
EndGrid computationStore traceStory 109Collect traces0.008006
StartGraph conversionStore traceStory 109Collect traces
StartBuild configurationGraph conversionStore traceStory 109Collect traces
EndBuild configurationGraph conversionStore traceStory 109Collect traces0.002935
StartTransitive reductionGraph conversionStore traceStory 109Collect traces
EndTransitive reductionGraph conversionStore traceStory 109Collect traces5.20000000002e-05
EndGraph conversionStore traceStory 109Collect traces0.004255
EndStore traceStory 109Collect traces0.012346
EndStory 109Collect traces0.02167
StartStory 110Collect traces
StartDeletion of pseudo inverse eventsStory 110Collect traces55
EndDeletion of pseudo inverse eventsStory 110Collect traces55550.007787
StartRenaming agents to avoid conflictsStory 110Collect traces55
EndRenaming agents to avoid conflictsStory 110Collect traces55550.000832
StartPartial order reductionStory 110Collect traces55
EndPartial order reductionStory 110Collect traces55550.000574
StartStore traceStory 110Collect traces
StartGrid computationStore traceStory 110Collect traces
EndGrid computationStore traceStory 110Collect traces0.006779
StartGraph conversionStore traceStory 110Collect traces
StartBuild configurationGraph conversionStore traceStory 110Collect traces
EndBuild configurationGraph conversionStore traceStory 110Collect traces0.002445
StartTransitive reductionGraph conversionStore traceStory 110Collect traces
EndTransitive reductionGraph conversionStore traceStory 110Collect traces5.49999999999e-05
EndGraph conversionStore traceStory 110Collect traces0.002692
StartComputing the cannonic formStore traceStory 110Collect traces
EndComputing the cannonic formStore traceStory 110Collect traces0.000125
StartComputing the cannonic formStore traceStory 110Collect traces
EndComputing the cannonic formStore traceStory 110Collect traces7.8e-05
EndStore traceStory 110Collect traces0.009781
EndStory 110Collect traces0.019087
StartStory 111Collect traces
StartDeletion of pseudo inverse eventsStory 111Collect traces59
EndDeletion of pseudo inverse eventsStory 111Collect traces59590.007495
StartRenaming agents to avoid conflictsStory 111Collect traces59
EndRenaming agents to avoid conflictsStory 111Collect traces59590.000508
StartPartial order reductionStory 111Collect traces59
EndPartial order reductionStory 111Collect traces59590.00057
StartStore traceStory 111Collect traces
StartGrid computationStore traceStory 111Collect traces
EndGrid computationStore traceStory 111Collect traces0.007011
StartGraph conversionStore traceStory 111Collect traces
StartBuild configurationGraph conversionStore traceStory 111Collect traces
EndBuild configurationGraph conversionStore traceStory 111Collect traces0.002508
StartTransitive reductionGraph conversionStore traceStory 111Collect traces
EndTransitive reductionGraph conversionStore traceStory 111Collect traces0.000113
EndGraph conversionStore traceStory 111Collect traces0.002875
EndStore traceStory 111Collect traces0.00999
EndStory 111Collect traces0.018667
StartStory 112Collect traces
StartDeletion of pseudo inverse eventsStory 112Collect traces59
EndDeletion of pseudo inverse eventsStory 112Collect traces59590.007115
StartRenaming agents to avoid conflictsStory 112Collect traces59
EndRenaming agents to avoid conflictsStory 112Collect traces59590.000389
StartPartial order reductionStory 112Collect traces59
EndPartial order reductionStory 112Collect traces59590.000875
StartStore traceStory 112Collect traces
StartGrid computationStore traceStory 112Collect traces
EndGrid computationStore traceStory 112Collect traces0.005373
StartGraph conversionStore traceStory 112Collect traces
StartBuild configurationGraph conversionStore traceStory 112Collect traces
EndBuild configurationGraph conversionStore traceStory 112Collect traces0.002556
StartTransitive reductionGraph conversionStore traceStory 112Collect traces
EndTransitive reductionGraph conversionStore traceStory 112Collect traces5.9e-05
EndGraph conversionStore traceStory 112Collect traces0.002813
StartComputing the cannonic formStore traceStory 112Collect traces
EndComputing the cannonic formStore traceStory 112Collect traces9.4e-05
StartComputing the cannonic formStore traceStory 112Collect traces
EndComputing the cannonic formStore traceStory 112Collect traces0.000127
EndStore traceStory 112Collect traces0.008511
EndStory 112Collect traces0.016998
StartStory 113Collect traces
StartDeletion of pseudo inverse eventsStory 113Collect traces93
EndDeletion of pseudo inverse eventsStory 113Collect traces93930.009334
StartRenaming agents to avoid conflictsStory 113Collect traces93
EndRenaming agents to avoid conflictsStory 113Collect traces93930.000532
StartPartial order reductionStory 113Collect traces93
EndPartial order reductionStory 113Collect traces93930.000854
StartStore traceStory 113Collect traces
StartGrid computationStore traceStory 113Collect traces
EndGrid computationStore traceStory 113Collect traces0.008787
StartGraph conversionStore traceStory 113Collect traces
StartBuild configurationGraph conversionStore traceStory 113Collect traces
EndBuild configurationGraph conversionStore traceStory 113Collect traces0.003458
StartTransitive reductionGraph conversionStore traceStory 113Collect traces
EndTransitive reductionGraph conversionStore traceStory 113Collect traces0.000105
EndGraph conversionStore traceStory 113Collect traces0.003722
EndStore traceStory 113Collect traces0.0126
EndStory 113Collect traces0.023458
StartStory 114Collect traces
StartDeletion of pseudo inverse eventsStory 114Collect traces93
EndDeletion of pseudo inverse eventsStory 114Collect traces93930.011899
StartRenaming agents to avoid conflictsStory 114Collect traces93
EndRenaming agents to avoid conflictsStory 114Collect traces93930.00063
StartPartial order reductionStory 114Collect traces93
EndPartial order reductionStory 114Collect traces93930.001465
StartStore traceStory 114Collect traces
StartGrid computationStore traceStory 114Collect traces
EndGrid computationStore traceStory 114Collect traces0.009901
StartGraph conversionStore traceStory 114Collect traces
StartBuild configurationGraph conversionStore traceStory 114Collect traces
EndBuild configurationGraph conversionStore traceStory 114Collect traces0.0043
StartTransitive reductionGraph conversionStore traceStory 114Collect traces
EndTransitive reductionGraph conversionStore traceStory 114Collect traces0.000106
EndGraph conversionStore traceStory 114Collect traces0.004619
StartComputing the cannonic formStore traceStory 114Collect traces
EndComputing the cannonic formStore traceStory 114Collect traces0.000492
StartComputing the cannonic formStore traceStory 114Collect traces
EndComputing the cannonic formStore traceStory 114Collect traces0.000385
EndStore traceStory 114Collect traces0.015547
EndStory 114Collect traces0.029654
StartStory 115Collect traces
StartDeletion of pseudo inverse eventsStory 115Collect traces40
EndDeletion of pseudo inverse eventsStory 115Collect traces40400.004191
StartRenaming agents to avoid conflictsStory 115Collect traces40
EndRenaming agents to avoid conflictsStory 115Collect traces40400.000241
StartPartial order reductionStory 115Collect traces40
EndPartial order reductionStory 115Collect traces40400.000311
StartStore traceStory 115Collect traces
StartGrid computationStore traceStory 115Collect traces
EndGrid computationStore traceStory 115Collect traces0.002433
StartGraph conversionStore traceStory 115Collect traces
StartBuild configurationGraph conversionStore traceStory 115Collect traces
EndBuild configurationGraph conversionStore traceStory 115Collect traces0.001327
StartTransitive reductionGraph conversionStore traceStory 115Collect traces
EndTransitive reductionGraph conversionStore traceStory 115Collect traces3.99999999998e-05
EndGraph conversionStore traceStory 115Collect traces0.001448
EndStore traceStory 115Collect traces0.003939
EndStory 115Collect traces0.008761
StartStory 116Collect traces
StartDeletion of pseudo inverse eventsStory 116Collect traces40
EndDeletion of pseudo inverse eventsStory 116Collect traces40400.004023
StartRenaming agents to avoid conflictsStory 116Collect traces40
EndRenaming agents to avoid conflictsStory 116Collect traces40400.000181
StartPartial order reductionStory 116Collect traces40
EndPartial order reductionStory 116Collect traces40400.000311
StartStore traceStory 116Collect traces
StartGrid computationStore traceStory 116Collect traces
EndGrid computationStore traceStory 116Collect traces0.002573
StartGraph conversionStore traceStory 116Collect traces
StartBuild configurationGraph conversionStore traceStory 116Collect traces
EndBuild configurationGraph conversionStore traceStory 116Collect traces0.001781
StartTransitive reductionGraph conversionStore traceStory 116Collect traces
EndTransitive reductionGraph conversionStore traceStory 116Collect traces4.00000000003e-05
EndGraph conversionStore traceStory 116Collect traces0.00191
StartComputing the cannonic formStore traceStory 116Collect traces
EndComputing the cannonic formStore traceStory 116Collect traces4.9e-05
StartComputing the cannonic formStore traceStory 116Collect traces
EndComputing the cannonic formStore traceStory 116Collect traces4.70000000001e-05
EndStore traceStory 116Collect traces0.004674
EndStory 116Collect traces0.00927
StartStory 117Collect traces
StartDeletion of pseudo inverse eventsStory 117Collect traces9
EndDeletion of pseudo inverse eventsStory 117Collect traces990.000941
StartRenaming agents to avoid conflictsStory 117Collect traces9
EndRenaming agents to avoid conflictsStory 117Collect traces994.1e-05
StartPartial order reductionStory 117Collect traces9
EndPartial order reductionStory 117Collect traces995.90000000003e-05
StartStore traceStory 117Collect traces
StartGrid computationStore traceStory 117Collect traces
EndGrid computationStore traceStory 117Collect traces0.000435
StartGraph conversionStore traceStory 117Collect traces
StartBuild configurationGraph conversionStore traceStory 117Collect traces
EndBuild configurationGraph conversionStore traceStory 117Collect traces0.0002
StartTransitive reductionGraph conversionStore traceStory 117Collect traces
EndTransitive reductionGraph conversionStore traceStory 117Collect traces1.00000000001e-05
EndGraph conversionStore traceStory 117Collect traces0.000237
EndStore traceStory 117Collect traces0.00072
EndStory 117Collect traces0.001841
StartStory 118Collect traces
StartDeletion of pseudo inverse eventsStory 118Collect traces9
EndDeletion of pseudo inverse eventsStory 118Collect traces990.001291
StartRenaming agents to avoid conflictsStory 118Collect traces9
EndRenaming agents to avoid conflictsStory 118Collect traces995.99999999999e-05
StartPartial order reductionStory 118Collect traces9
EndPartial order reductionStory 118Collect traces990.000106
StartStore traceStory 118Collect traces
StartGrid computationStore traceStory 118Collect traces
EndGrid computationStore traceStory 118Collect traces0.000947
StartGraph conversionStore traceStory 118Collect traces
StartBuild configurationGraph conversionStore traceStory 118Collect traces
EndBuild configurationGraph conversionStore traceStory 118Collect traces0.000144
StartTransitive reductionGraph conversionStore traceStory 118Collect traces
EndTransitive reductionGraph conversionStore traceStory 118Collect traces1.6e-05
EndGraph conversionStore traceStory 118Collect traces0.000204
StartComputing the cannonic formStore traceStory 118Collect traces
EndComputing the cannonic formStore traceStory 118Collect traces1.90000000002e-05
StartComputing the cannonic formStore traceStory 118Collect traces
EndComputing the cannonic formStore traceStory 118Collect traces1.6e-05
EndStore traceStory 118Collect traces0.00128
EndStory 118Collect traces0.002813
StartStory 119Collect traces
StartDeletion of pseudo inverse eventsStory 119Collect traces20
EndDeletion of pseudo inverse eventsStory 119Collect traces20200.003032
StartRenaming agents to avoid conflictsStory 119Collect traces20
EndRenaming agents to avoid conflictsStory 119Collect traces20200.00014
StartPartial order reductionStory 119Collect traces20
EndPartial order reductionStory 119Collect traces20200.000229
StartStore traceStory 119Collect traces
StartGrid computationStore traceStory 119Collect traces
EndGrid computationStore traceStory 119Collect traces0.002577
StartGraph conversionStore traceStory 119Collect traces
StartBuild configurationGraph conversionStore traceStory 119Collect traces
EndBuild configurationGraph conversionStore traceStory 119Collect traces0.00043
StartTransitive reductionGraph conversionStore traceStory 119Collect traces
EndTransitive reductionGraph conversionStore traceStory 119Collect traces2.60000000001e-05
EndGraph conversionStore traceStory 119Collect traces0.000518
EndStore traceStory 119Collect traces0.00318
EndStory 119Collect traces0.006685
StartStory 120Collect traces
StartDeletion of pseudo inverse eventsStory 120Collect traces20
EndDeletion of pseudo inverse eventsStory 120Collect traces20200.005807
StartRenaming agents to avoid conflictsStory 120Collect traces20
EndRenaming agents to avoid conflictsStory 120Collect traces20200.000149
StartPartial order reductionStory 120Collect traces20
EndPartial order reductionStory 120Collect traces20200.000249
StartStore traceStory 120Collect traces
StartGrid computationStore traceStory 120Collect traces
EndGrid computationStore traceStory 120Collect traces0.001762
StartGraph conversionStore traceStory 120Collect traces
StartBuild configurationGraph conversionStore traceStory 120Collect traces
EndBuild configurationGraph conversionStore traceStory 120Collect traces0.000814
StartTransitive reductionGraph conversionStore traceStory 120Collect traces
EndTransitive reductionGraph conversionStore traceStory 120Collect traces1.80000000001e-05
EndGraph conversionStore traceStory 120Collect traces0.000892
StartComputing the cannonic formStore traceStory 120Collect traces
EndComputing the cannonic formStore traceStory 120Collect traces6.59999999999e-05
StartComputing the cannonic formStore traceStory 120Collect traces
EndComputing the cannonic formStore traceStory 120Collect traces5.29999999999e-05
EndStore traceStory 120Collect traces0.002858
EndStory 120Collect traces0.009189
StartStory 121Collect traces
StartDeletion of pseudo inverse eventsStory 121Collect traces40
EndDeletion of pseudo inverse eventsStory 121Collect traces40400.00673
StartRenaming agents to avoid conflictsStory 121Collect traces40
EndRenaming agents to avoid conflictsStory 121Collect traces40400.00022
StartPartial order reductionStory 121Collect traces40
EndPartial order reductionStory 121Collect traces40400.000385
StartStore traceStory 121Collect traces
StartGrid computationStore traceStory 121Collect traces
EndGrid computationStore traceStory 121Collect traces0.005405
StartGraph conversionStore traceStory 121Collect traces
StartBuild configurationGraph conversionStore traceStory 121Collect traces
EndBuild configurationGraph conversionStore traceStory 121Collect traces0.003095
StartTransitive reductionGraph conversionStore traceStory 121Collect traces
EndTransitive reductionGraph conversionStore traceStory 121Collect traces4.30000000002e-05
EndGraph conversionStore traceStory 121Collect traces0.003247
EndStore traceStory 121Collect traces0.008737
EndStory 121Collect traces0.016146
StartStory 122Collect traces
StartDeletion of pseudo inverse eventsStory 122Collect traces40
EndDeletion of pseudo inverse eventsStory 122Collect traces40400.006533
StartRenaming agents to avoid conflictsStory 122Collect traces40
EndRenaming agents to avoid conflictsStory 122Collect traces40400.000228
StartPartial order reductionStory 122Collect traces40
EndPartial order reductionStory 122Collect traces40400.000372
StartStore traceStory 122Collect traces
StartGrid computationStore traceStory 122Collect traces
EndGrid computationStore traceStory 122Collect traces0.003783
StartGraph conversionStore traceStory 122Collect traces
StartBuild configurationGraph conversionStore traceStory 122Collect traces
EndBuild configurationGraph conversionStore traceStory 122Collect traces0.001318
StartTransitive reductionGraph conversionStore traceStory 122Collect traces
EndTransitive reductionGraph conversionStore traceStory 122Collect traces0.000507
EndGraph conversionStore traceStory 122Collect traces0.001924
StartComputing the cannonic formStore traceStory 122Collect traces
EndComputing the cannonic formStore traceStory 122Collect traces7.19999999998e-05
StartComputing the cannonic formStore traceStory 122Collect traces
EndComputing the cannonic formStore traceStory 122Collect traces4.6e-05
EndStore traceStory 122Collect traces0.005927
EndStory 122Collect traces0.013159
StartStory 123Collect traces
StartDeletion of pseudo inverse eventsStory 123Collect traces61
EndDeletion of pseudo inverse eventsStory 123Collect traces61610.010375
StartRenaming agents to avoid conflictsStory 123Collect traces61
EndRenaming agents to avoid conflictsStory 123Collect traces61610.000415
StartPartial order reductionStory 123Collect traces61
EndPartial order reductionStory 123Collect traces61610.000662
StartStore traceStory 123Collect traces
StartGrid computationStore traceStory 123Collect traces
EndGrid computationStore traceStory 123Collect traces0.008832
StartGraph conversionStore traceStory 123Collect traces
StartBuild configurationGraph conversionStore traceStory 123Collect traces
EndBuild configurationGraph conversionStore traceStory 123Collect traces0.002633
StartTransitive reductionGraph conversionStore traceStory 123Collect traces
EndTransitive reductionGraph conversionStore traceStory 123Collect traces8.20000000001e-05
EndGraph conversionStore traceStory 123Collect traces0.002829
EndStore traceStory 123Collect traces0.011742
EndStory 123Collect traces0.0233
StartStory 124Collect traces
StartDeletion of pseudo inverse eventsStory 124Collect traces61
EndDeletion of pseudo inverse eventsStory 124Collect traces61610.007459
StartRenaming agents to avoid conflictsStory 124Collect traces61
EndRenaming agents to avoid conflictsStory 124Collect traces61610.000528
StartPartial order reductionStory 124Collect traces61
EndPartial order reductionStory 124Collect traces61610.000683
StartStore traceStory 124Collect traces
StartGrid computationStore traceStory 124Collect traces
EndGrid computationStore traceStory 124Collect traces0.007129
StartGraph conversionStore traceStory 124Collect traces
StartBuild configurationGraph conversionStore traceStory 124Collect traces
EndBuild configurationGraph conversionStore traceStory 124Collect traces0.002695
StartTransitive reductionGraph conversionStore traceStory 124Collect traces
EndTransitive reductionGraph conversionStore traceStory 124Collect traces5.70000000002e-05
EndGraph conversionStore traceStory 124Collect traces0.003922
StartComputing the cannonic formStore traceStory 124Collect traces
EndComputing the cannonic formStore traceStory 124Collect traces0.000191
StartComputing the cannonic formStore traceStory 124Collect traces
EndComputing the cannonic formStore traceStory 124Collect traces0.000209
EndStore traceStory 124Collect traces0.011564
EndStory 124Collect traces0.020348
StartStory 125Collect traces
StartDeletion of pseudo inverse eventsStory 125Collect traces44
EndDeletion of pseudo inverse eventsStory 125Collect traces44440.004631
StartRenaming agents to avoid conflictsStory 125Collect traces44
EndRenaming agents to avoid conflictsStory 125Collect traces44440.00021
StartPartial order reductionStory 125Collect traces44
EndPartial order reductionStory 125Collect traces44440.000342
StartStore traceStory 125Collect traces
StartGrid computationStore traceStory 125Collect traces
EndGrid computationStore traceStory 125Collect traces0.003155
StartGraph conversionStore traceStory 125Collect traces
StartBuild configurationGraph conversionStore traceStory 125Collect traces
EndBuild configurationGraph conversionStore traceStory 125Collect traces0.001987
StartTransitive reductionGraph conversionStore traceStory 125Collect traces
EndTransitive reductionGraph conversionStore traceStory 125Collect traces5.80000000001e-05
EndGraph conversionStore traceStory 125Collect traces0.002143
EndStore traceStory 125Collect traces0.005399
EndStory 125Collect traces0.010678
StartStory 126Collect traces
StartDeletion of pseudo inverse eventsStory 126Collect traces44
EndDeletion of pseudo inverse eventsStory 126Collect traces44440.006662
StartRenaming agents to avoid conflictsStory 126Collect traces44
EndRenaming agents to avoid conflictsStory 126Collect traces44440.000235
StartPartial order reductionStory 126Collect traces44
EndPartial order reductionStory 126Collect traces44440.000349
StartStore traceStory 126Collect traces
StartGrid computationStore traceStory 126Collect traces
EndGrid computationStore traceStory 126Collect traces0.004752
StartGraph conversionStore traceStory 126Collect traces
StartBuild configurationGraph conversionStore traceStory 126Collect traces
EndBuild configurationGraph conversionStore traceStory 126Collect traces0.001308
StartTransitive reductionGraph conversionStore traceStory 126Collect traces
EndTransitive reductionGraph conversionStore traceStory 126Collect traces0.000248
EndGraph conversionStore traceStory 126Collect traces0.001653
StartComputing the cannonic formStore traceStory 126Collect traces
EndComputing the cannonic formStore traceStory 126Collect traces0.000105
StartComputing the cannonic formStore traceStory 126Collect traces
EndComputing the cannonic formStore traceStory 126Collect traces0.000129
EndStore traceStory 126Collect traces0.00673
EndStory 126Collect traces0.014077
StartStory 127Collect traces
StartDeletion of pseudo inverse eventsStory 127Collect traces32
EndDeletion of pseudo inverse eventsStory 127Collect traces32320.003635
StartRenaming agents to avoid conflictsStory 127Collect traces32
EndRenaming agents to avoid conflictsStory 127Collect traces32320.00032
StartPartial order reductionStory 127Collect traces32
EndPartial order reductionStory 127Collect traces32320.000276
StartStore traceStory 127Collect traces
StartGrid computationStore traceStory 127Collect traces
EndGrid computationStore traceStory 127Collect traces0.002308
StartGraph conversionStore traceStory 127Collect traces
StartBuild configurationGraph conversionStore traceStory 127Collect traces
EndBuild configurationGraph conversionStore traceStory 127Collect traces0.001048
StartTransitive reductionGraph conversionStore traceStory 127Collect traces
EndTransitive reductionGraph conversionStore traceStory 127Collect traces2.7e-05
EndGraph conversionStore traceStory 127Collect traces0.001161
EndStore traceStory 127Collect traces0.003536
EndStory 127Collect traces0.007846
StartStory 128Collect traces
StartDeletion of pseudo inverse eventsStory 128Collect traces32
EndDeletion of pseudo inverse eventsStory 128Collect traces32320.004478
StartRenaming agents to avoid conflictsStory 128Collect traces32
EndRenaming agents to avoid conflictsStory 128Collect traces32320.000167
StartPartial order reductionStory 128Collect traces32
EndPartial order reductionStory 128Collect traces32320.000291
StartStore traceStory 128Collect traces
StartGrid computationStore traceStory 128Collect traces
EndGrid computationStore traceStory 128Collect traces0.002315
StartGraph conversionStore traceStory 128Collect traces
StartBuild configurationGraph conversionStore traceStory 128Collect traces
EndBuild configurationGraph conversionStore traceStory 128Collect traces0.001078
StartTransitive reductionGraph conversionStore traceStory 128Collect traces
EndTransitive reductionGraph conversionStore traceStory 128Collect traces2.69999999998e-05
EndGraph conversionStore traceStory 128Collect traces0.001176
StartComputing the cannonic formStore traceStory 128Collect traces
EndComputing the cannonic formStore traceStory 128Collect traces0.001331
StartComputing the cannonic formStore traceStory 128Collect traces
EndComputing the cannonic formStore traceStory 128Collect traces4.70000000001e-05
EndStore traceStory 128Collect traces0.004976
EndStory 128Collect traces0.009993
StartStory 129Collect traces
StartDeletion of pseudo inverse eventsStory 129Collect traces68
EndDeletion of pseudo inverse eventsStory 129Collect traces68680.008897
StartRenaming agents to avoid conflictsStory 129Collect traces68
EndRenaming agents to avoid conflictsStory 129Collect traces68680.000426
StartPartial order reductionStory 129Collect traces68
EndPartial order reductionStory 129Collect traces68680.000614
StartStore traceStory 129Collect traces
StartGrid computationStore traceStory 129Collect traces
EndGrid computationStore traceStory 129Collect traces0.01231
StartGraph conversionStore traceStory 129Collect traces
StartBuild configurationGraph conversionStore traceStory 129Collect traces
EndBuild configurationGraph conversionStore traceStory 129Collect traces0.005691
StartTransitive reductionGraph conversionStore traceStory 129Collect traces
EndTransitive reductionGraph conversionStore traceStory 129Collect traces9.89999999998e-05
EndGraph conversionStore traceStory 129Collect traces0.005975
EndStore traceStory 129Collect traces0.018387
EndStory 129Collect traces0.028418
StartStory 130Collect traces
StartDeletion of pseudo inverse eventsStory 130Collect traces68
EndDeletion of pseudo inverse eventsStory 130Collect traces68680.009113
StartRenaming agents to avoid conflictsStory 130Collect traces68
EndRenaming agents to avoid conflictsStory 130Collect traces68680.000878
StartPartial order reductionStory 130Collect traces68
EndPartial order reductionStory 130Collect traces68680.000638
StartStore traceStory 130Collect traces
StartGrid computationStore traceStory 130Collect traces
EndGrid computationStore traceStory 130Collect traces0.009001
StartGraph conversionStore traceStory 130Collect traces
StartBuild configurationGraph conversionStore traceStory 130Collect traces
EndBuild configurationGraph conversionStore traceStory 130Collect traces0.003906
StartTransitive reductionGraph conversionStore traceStory 130Collect traces
EndTransitive reductionGraph conversionStore traceStory 130Collect traces6.8e-05
EndGraph conversionStore traceStory 130Collect traces0.004095
StartComputing the cannonic formStore traceStory 130Collect traces
EndComputing the cannonic formStore traceStory 130Collect traces0.000101
StartComputing the cannonic formStore traceStory 130Collect traces
EndComputing the cannonic formStore traceStory 130Collect traces0.000124
EndStore traceStory 130Collect traces0.013474
EndStory 130Collect traces0.024208
StartStory 131Collect traces
StartDeletion of pseudo inverse eventsStory 131Collect traces33
EndDeletion of pseudo inverse eventsStory 131Collect traces33330.004546
StartRenaming agents to avoid conflictsStory 131Collect traces33
EndRenaming agents to avoid conflictsStory 131Collect traces33330.000164
StartPartial order reductionStory 131Collect traces33
EndPartial order reductionStory 131Collect traces33330.000239
StartStore traceStory 131Collect traces
StartGrid computationStore traceStory 131Collect traces
EndGrid computationStore traceStory 131Collect traces0.002167
StartGraph conversionStore traceStory 131Collect traces
StartBuild configurationGraph conversionStore traceStory 131Collect traces
EndBuild configurationGraph conversionStore traceStory 131Collect traces0.003385
StartTransitive reductionGraph conversionStore traceStory 131Collect traces
EndTransitive reductionGraph conversionStore traceStory 131Collect traces5.00000000001e-05
EndGraph conversionStore traceStory 131Collect traces0.003531
EndStore traceStory 131Collect traces0.005764
EndStory 131Collect traces0.010812
StartStory 132Collect traces
StartDeletion of pseudo inverse eventsStory 132Collect traces33
EndDeletion of pseudo inverse eventsStory 132Collect traces33330.005438
StartRenaming agents to avoid conflictsStory 132Collect traces33
EndRenaming agents to avoid conflictsStory 132Collect traces33330.000224
StartPartial order reductionStory 132Collect traces33
EndPartial order reductionStory 132Collect traces33330.000357
StartStore traceStory 132Collect traces
StartGrid computationStore traceStory 132Collect traces
EndGrid computationStore traceStory 132Collect traces0.003945
StartGraph conversionStore traceStory 132Collect traces
StartBuild configurationGraph conversionStore traceStory 132Collect traces
EndBuild configurationGraph conversionStore traceStory 132Collect traces0.001189
StartTransitive reductionGraph conversionStore traceStory 132Collect traces
EndTransitive reductionGraph conversionStore traceStory 132Collect traces4.9e-05
EndGraph conversionStore traceStory 132Collect traces0.001344
StartComputing the cannonic formStore traceStory 132Collect traces
EndComputing the cannonic formStore traceStory 132Collect traces7.3e-05
StartComputing the cannonic formStore traceStory 132Collect traces
EndComputing the cannonic formStore traceStory 132Collect traces4.99999999999e-05
EndStore traceStory 132Collect traces0.005564
EndStory 132Collect traces0.011703
StartStory 133Collect traces
StartDeletion of pseudo inverse eventsStory 133Collect traces40
EndDeletion of pseudo inverse eventsStory 133Collect traces40400.005425
StartRenaming agents to avoid conflictsStory 133Collect traces40
EndRenaming agents to avoid conflictsStory 133Collect traces40400.000238
StartPartial order reductionStory 133Collect traces40
EndPartial order reductionStory 133Collect traces40400.000385
StartStore traceStory 133Collect traces
StartGrid computationStore traceStory 133Collect traces
EndGrid computationStore traceStory 133Collect traces0.003551
StartGraph conversionStore traceStory 133Collect traces
StartBuild configurationGraph conversionStore traceStory 133Collect traces
EndBuild configurationGraph conversionStore traceStory 133Collect traces0.002305
StartTransitive reductionGraph conversionStore traceStory 133Collect traces
EndTransitive reductionGraph conversionStore traceStory 133Collect traces3.2e-05
EndGraph conversionStore traceStory 133Collect traces0.002462
EndStore traceStory 133Collect traces0.006082
EndStory 133Collect traces0.012211
StartStory 134Collect traces
StartDeletion of pseudo inverse eventsStory 134Collect traces40
EndDeletion of pseudo inverse eventsStory 134Collect traces40400.004801
StartRenaming agents to avoid conflictsStory 134Collect traces40
EndRenaming agents to avoid conflictsStory 134Collect traces40400.000284
StartPartial order reductionStory 134Collect traces40
EndPartial order reductionStory 134Collect traces40400.000385
StartStore traceStory 134Collect traces
StartGrid computationStore traceStory 134Collect traces
EndGrid computationStore traceStory 134Collect traces0.003578
StartGraph conversionStore traceStory 134Collect traces
StartBuild configurationGraph conversionStore traceStory 134Collect traces
EndBuild configurationGraph conversionStore traceStory 134Collect traces0.001981
StartTransitive reductionGraph conversionStore traceStory 134Collect traces
EndTransitive reductionGraph conversionStore traceStory 134Collect traces6.10000000001e-05
EndGraph conversionStore traceStory 134Collect traces0.002175
StartComputing the cannonic formStore traceStory 134Collect traces
EndComputing the cannonic formStore traceStory 134Collect traces8.99999999999e-05
StartComputing the cannonic formStore traceStory 134Collect traces
EndComputing the cannonic formStore traceStory 134Collect traces6.69999999998e-05
EndStore traceStory 134Collect traces0.00605
EndStory 134Collect traces0.011618
StartStory 135Collect traces
StartDeletion of pseudo inverse eventsStory 135Collect traces11
EndDeletion of pseudo inverse eventsStory 135Collect traces11110.001121
StartRenaming agents to avoid conflictsStory 135Collect traces11
EndRenaming agents to avoid conflictsStory 135Collect traces11115.99999999997e-05
StartPartial order reductionStory 135Collect traces11
EndPartial order reductionStory 135Collect traces11117.89999999999e-05
StartStore traceStory 135Collect traces
StartGrid computationStore traceStory 135Collect traces
EndGrid computationStore traceStory 135Collect traces0.000746
StartGraph conversionStore traceStory 135Collect traces
StartBuild configurationGraph conversionStore traceStory 135Collect traces
EndBuild configurationGraph conversionStore traceStory 135Collect traces0.000122
StartTransitive reductionGraph conversionStore traceStory 135Collect traces
EndTransitive reductionGraph conversionStore traceStory 135Collect traces1.10000000002e-05
EndGraph conversionStore traceStory 135Collect traces0.000167
StartComputing the cannonic formStore traceStory 135Collect traces
EndComputing the cannonic formStore traceStory 135Collect traces1.3e-05
EndStore traceStory 135Collect traces0.000972
EndStory 135Collect traces0.002298
StartStory 136Collect traces
StartDeletion of pseudo inverse eventsStory 136Collect traces11
EndDeletion of pseudo inverse eventsStory 136Collect traces11110.00123
StartRenaming agents to avoid conflictsStory 136Collect traces11
EndRenaming agents to avoid conflictsStory 136Collect traces11115.89999999998e-05
StartPartial order reductionStory 136Collect traces11
EndPartial order reductionStory 136Collect traces11117.6e-05
StartStore traceStory 136Collect traces
StartGrid computationStore traceStory 136Collect traces
EndGrid computationStore traceStory 136Collect traces0.000901
StartGraph conversionStore traceStory 136Collect traces
StartBuild configurationGraph conversionStore traceStory 136Collect traces
EndBuild configurationGraph conversionStore traceStory 136Collect traces0.000127
StartTransitive reductionGraph conversionStore traceStory 136Collect traces
EndTransitive reductionGraph conversionStore traceStory 136Collect traces1.20000000001e-05
EndGraph conversionStore traceStory 136Collect traces0.00017
StartComputing the cannonic formStore traceStory 136Collect traces
EndComputing the cannonic formStore traceStory 136Collect traces1.49999999999e-05
EndStore traceStory 136Collect traces0.001279
EndStory 136Collect traces0.002718
StartStory 137Collect traces
StartDeletion of pseudo inverse eventsStory 137Collect traces57
EndDeletion of pseudo inverse eventsStory 137Collect traces57570.006146
StartRenaming agents to avoid conflictsStory 137Collect traces57
EndRenaming agents to avoid conflictsStory 137Collect traces57570.000511
StartPartial order reductionStory 137Collect traces57
EndPartial order reductionStory 137Collect traces57570.000934
StartStore traceStory 137Collect traces
StartGrid computationStore traceStory 137Collect traces
EndGrid computationStore traceStory 137Collect traces0.007689
StartGraph conversionStore traceStory 137Collect traces
StartBuild configurationGraph conversionStore traceStory 137Collect traces
EndBuild configurationGraph conversionStore traceStory 137Collect traces0.002751
StartTransitive reductionGraph conversionStore traceStory 137Collect traces
EndTransitive reductionGraph conversionStore traceStory 137Collect traces0.000104
EndGraph conversionStore traceStory 137Collect traces0.003068
EndStore traceStory 137Collect traces0.010874
EndStory 137Collect traces0.018611
StartStory 138Collect traces
StartDeletion of pseudo inverse eventsStory 138Collect traces57
EndDeletion of pseudo inverse eventsStory 138Collect traces57570.006401
StartRenaming agents to avoid conflictsStory 138Collect traces57
EndRenaming agents to avoid conflictsStory 138Collect traces57570.000284
StartPartial order reductionStory 138Collect traces57
EndPartial order reductionStory 138Collect traces57570.000633
StartStore traceStory 138Collect traces
StartGrid computationStore traceStory 138Collect traces
EndGrid computationStore traceStory 138Collect traces0.005885
StartGraph conversionStore traceStory 138Collect traces
StartBuild configurationGraph conversionStore traceStory 138Collect traces
EndBuild configurationGraph conversionStore traceStory 138Collect traces0.002535
StartTransitive reductionGraph conversionStore traceStory 138Collect traces
EndTransitive reductionGraph conversionStore traceStory 138Collect traces9.00000000004e-05
EndGraph conversionStore traceStory 138Collect traces0.002818
StartComputing the cannonic formStore traceStory 138Collect traces
EndComputing the cannonic formStore traceStory 138Collect traces0.000382
StartComputing the cannonic formStore traceStory 138Collect traces
EndComputing the cannonic formStore traceStory 138Collect traces0.000122
EndStore traceStory 138Collect traces0.009361
EndStory 138Collect traces0.016773
StartStory 139Collect traces
StartDeletion of pseudo inverse eventsStory 139Collect traces94
EndDeletion of pseudo inverse eventsStory 139Collect traces94940.011358
StartRenaming agents to avoid conflictsStory 139Collect traces94
EndRenaming agents to avoid conflictsStory 139Collect traces94940.000564
StartPartial order reductionStory 139Collect traces94
EndPartial order reductionStory 139Collect traces94940.000938
StartStore traceStory 139Collect traces
StartGrid computationStore traceStory 139Collect traces
EndGrid computationStore traceStory 139Collect traces0.010636
StartGraph conversionStore traceStory 139Collect traces
StartBuild configurationGraph conversionStore traceStory 139Collect traces
EndBuild configurationGraph conversionStore traceStory 139Collect traces0.006134
StartTransitive reductionGraph conversionStore traceStory 139Collect traces
EndTransitive reductionGraph conversionStore traceStory 139Collect traces0.000228
EndGraph conversionStore traceStory 139Collect traces0.006632
EndStore traceStory 139Collect traces0.017395
EndStory 139Collect traces0.030389
StartStory 140Collect traces
StartDeletion of pseudo inverse eventsStory 140Collect traces94
EndDeletion of pseudo inverse eventsStory 140Collect traces94940.012972
StartRenaming agents to avoid conflictsStory 140Collect traces94
EndRenaming agents to avoid conflictsStory 140Collect traces94940.000611
StartPartial order reductionStory 140Collect traces94
EndPartial order reductionStory 140Collect traces94940.001027
StartStore traceStory 140Collect traces
StartGrid computationStore traceStory 140Collect traces
EndGrid computationStore traceStory 140Collect traces0.013222
StartGraph conversionStore traceStory 140Collect traces
StartBuild configurationGraph conversionStore traceStory 140Collect traces
EndBuild configurationGraph conversionStore traceStory 140Collect traces0.004549
StartTransitive reductionGraph conversionStore traceStory 140Collect traces
EndTransitive reductionGraph conversionStore traceStory 140Collect traces0.000106
EndGraph conversionStore traceStory 140Collect traces0.004941
StartComputing the cannonic formStore traceStory 140Collect traces
EndComputing the cannonic formStore traceStory 140Collect traces0.00024
StartComputing the cannonic formStore traceStory 140Collect traces
EndComputing the cannonic formStore traceStory 140Collect traces0.000409
EndStore traceStory 140Collect traces0.018947
EndStory 140Collect traces0.033683
StartStory 141Collect traces
StartDeletion of pseudo inverse eventsStory 141Collect traces80
EndDeletion of pseudo inverse eventsStory 141Collect traces80800.011474
StartRenaming agents to avoid conflictsStory 141Collect traces80
EndRenaming agents to avoid conflictsStory 141Collect traces80800.000881
StartPartial order reductionStory 141Collect traces80
EndPartial order reductionStory 141Collect traces80800.000809
StartStore traceStory 141Collect traces
StartGrid computationStore traceStory 141Collect traces
EndGrid computationStore traceStory 141Collect traces0.009864
StartGraph conversionStore traceStory 141Collect traces
StartBuild configurationGraph conversionStore traceStory 141Collect traces
EndBuild configurationGraph conversionStore traceStory 141Collect traces0.004613
StartTransitive reductionGraph conversionStore traceStory 141Collect traces
EndTransitive reductionGraph conversionStore traceStory 141Collect traces6.70000000003e-05
EndGraph conversionStore traceStory 141Collect traces0.004879
EndStore traceStory 141Collect traces0.014822
EndStory 141Collect traces0.028108
StartStory 142Collect traces
StartDeletion of pseudo inverse eventsStory 142Collect traces80
EndDeletion of pseudo inverse eventsStory 142Collect traces80800.011658
StartRenaming agents to avoid conflictsStory 142Collect traces80
EndRenaming agents to avoid conflictsStory 142Collect traces80800.000442
StartPartial order reductionStory 142Collect traces80
EndPartial order reductionStory 142Collect traces80800.000917
StartStore traceStory 142Collect traces
StartGrid computationStore traceStory 142Collect traces
EndGrid computationStore traceStory 142Collect traces0.009293
StartGraph conversionStore traceStory 142Collect traces
StartBuild configurationGraph conversionStore traceStory 142Collect traces
EndBuild configurationGraph conversionStore traceStory 142Collect traces0.003349
StartTransitive reductionGraph conversionStore traceStory 142Collect traces
EndTransitive reductionGraph conversionStore traceStory 142Collect traces6.39999999998e-05
EndGraph conversionStore traceStory 142Collect traces0.003561
StartComputing the cannonic formStore traceStory 142Collect traces
EndComputing the cannonic formStore traceStory 142Collect traces0.000189
StartComputing the cannonic formStore traceStory 142Collect traces
EndComputing the cannonic formStore traceStory 142Collect traces0.000148
EndStore traceStory 142Collect traces0.013299
EndStory 142Collect traces0.026408
StartStory 143Collect traces
StartDeletion of pseudo inverse eventsStory 143Collect traces71
EndDeletion of pseudo inverse eventsStory 143Collect traces71710.01041
StartRenaming agents to avoid conflictsStory 143Collect traces71
EndRenaming agents to avoid conflictsStory 143Collect traces71710.000464
StartPartial order reductionStory 143Collect traces71
EndPartial order reductionStory 143Collect traces71710.000893
StartStore traceStory 143Collect traces
StartGrid computationStore traceStory 143Collect traces
EndGrid computationStore traceStory 143Collect traces0.008083
StartGraph conversionStore traceStory 143Collect traces
StartBuild configurationGraph conversionStore traceStory 143Collect traces
EndBuild configurationGraph conversionStore traceStory 143Collect traces0.002601
StartTransitive reductionGraph conversionStore traceStory 143Collect traces
EndTransitive reductionGraph conversionStore traceStory 143Collect traces7e-05
EndGraph conversionStore traceStory 143Collect traces0.002809
EndStore traceStory 143Collect traces0.01097
EndStory 143Collect traces0.022853
StartStory 144Collect traces
StartDeletion of pseudo inverse eventsStory 144Collect traces71
EndDeletion of pseudo inverse eventsStory 144Collect traces71710.008617
StartRenaming agents to avoid conflictsStory 144Collect traces71
EndRenaming agents to avoid conflictsStory 144Collect traces71710.000415
StartPartial order reductionStory 144Collect traces71
EndPartial order reductionStory 144Collect traces71710.000831
StartStore traceStory 144Collect traces
StartGrid computationStore traceStory 144Collect traces
EndGrid computationStore traceStory 144Collect traces0.007947
StartGraph conversionStore traceStory 144Collect traces
StartBuild configurationGraph conversionStore traceStory 144Collect traces
EndBuild configurationGraph conversionStore traceStory 144Collect traces0.002702
StartTransitive reductionGraph conversionStore traceStory 144Collect traces
EndTransitive reductionGraph conversionStore traceStory 144Collect traces7.40000000001e-05
EndGraph conversionStore traceStory 144Collect traces0.002913
StartComputing the cannonic formStore traceStory 144Collect traces
EndComputing the cannonic formStore traceStory 144Collect traces0.000187
StartComputing the cannonic formStore traceStory 144Collect traces
EndComputing the cannonic formStore traceStory 144Collect traces0.000157
EndStore traceStory 144Collect traces0.011327
EndStory 144Collect traces0.021279
StartStory 145Collect traces
StartDeletion of pseudo inverse eventsStory 145Collect traces56
EndDeletion of pseudo inverse eventsStory 145Collect traces56560.00677
StartRenaming agents to avoid conflictsStory 145Collect traces56
EndRenaming agents to avoid conflictsStory 145Collect traces56560.000516
StartPartial order reductionStory 145Collect traces56
EndPartial order reductionStory 145Collect traces56560.00056
StartStore traceStory 145Collect traces
StartGrid computationStore traceStory 145Collect traces
EndGrid computationStore traceStory 145Collect traces0.005695
StartGraph conversionStore traceStory 145Collect traces
StartBuild configurationGraph conversionStore traceStory 145Collect traces
EndBuild configurationGraph conversionStore traceStory 145Collect traces0.002305
StartTransitive reductionGraph conversionStore traceStory 145Collect traces
EndTransitive reductionGraph conversionStore traceStory 145Collect traces4.3e-05
EndGraph conversionStore traceStory 145Collect traces0.002526
EndStore traceStory 145Collect traces0.008293
EndStory 145Collect traces0.016236
StartStory 146Collect traces
StartDeletion of pseudo inverse eventsStory 146Collect traces56
EndDeletion of pseudo inverse eventsStory 146Collect traces56560.006885
StartRenaming agents to avoid conflictsStory 146Collect traces56
EndRenaming agents to avoid conflictsStory 146Collect traces56560.000386
StartPartial order reductionStory 146Collect traces56
EndPartial order reductionStory 146Collect traces56560.00056
StartStore traceStory 146Collect traces
StartGrid computationStore traceStory 146Collect traces
EndGrid computationStore traceStory 146Collect traces0.005199
StartGraph conversionStore traceStory 146Collect traces
StartBuild configurationGraph conversionStore traceStory 146Collect traces
EndBuild configurationGraph conversionStore traceStory 146Collect traces0.002245
StartTransitive reductionGraph conversionStore traceStory 146Collect traces
EndTransitive reductionGraph conversionStore traceStory 146Collect traces3.79999999998e-05
EndGraph conversionStore traceStory 146Collect traces0.002394
StartComputing the cannonic formStore traceStory 146Collect traces
EndComputing the cannonic formStore traceStory 146Collect traces9.80000000002e-05
StartComputing the cannonic formStore traceStory 146Collect traces
EndComputing the cannonic formStore traceStory 146Collect traces0.000123
EndStore traceStory 146Collect traces0.007897
EndStory 146Collect traces0.015816
EndCollect traces1.307648
StartStory 1
StartWeak compressionStory 18
EndWeak compressionStory 1880.002867
StartStore traceStory 1
StartGrid computationStore traceStory 1
EndGrid computationStore traceStory 10.000239
StartGraph conversionStore traceStory 1
StartBuild configurationGraph conversionStore traceStory 1
EndBuild configurationGraph conversionStore traceStory 16.2e-05
StartTransitive reductionGraph conversionStore traceStory 1
EndTransitive reductionGraph conversionStore traceStory 19.00000000015e-06
EndGraph conversionStore traceStory 10.000851
EndStore traceStory 10.001131
EndStory 10.004048
StartStory 2
StartWeak compressionStory 210
EndWeak compressionStory 210100.006766
StartStore traceStory 2
StartGrid computationStore traceStory 2
EndGrid computationStore traceStory 20.000989
StartGraph conversionStore traceStory 2
StartBuild configurationGraph conversionStore traceStory 2
EndBuild configurationGraph conversionStore traceStory 29.7e-05
StartTransitive reductionGraph conversionStore traceStory 2
EndTransitive reductionGraph conversionStore traceStory 21.1e-05
EndGraph conversionStore traceStory 20.000138
EndStore traceStory 20.001166
EndStory 20.00799
StartStory 3
StartWeak compressionStory 38
EndWeak compressionStory 3880.007536
StartStore traceStory 3
StartGrid computationStore traceStory 3
EndGrid computationStore traceStory 30.000263
StartGraph conversionStore traceStory 3
StartBuild configurationGraph conversionStore traceStory 3
EndBuild configurationGraph conversionStore traceStory 37.3e-05
StartTransitive reductionGraph conversionStore traceStory 3
EndTransitive reductionGraph conversionStore traceStory 31.09999999998e-05
EndGraph conversionStore traceStory 30.000119
EndStore traceStory 30.000424
EndStory 30.008059
StartStory 4
StartWeak compressionStory 49
EndWeak compressionStory 4990.003733
StartStore traceStory 4
StartGrid computationStore traceStory 4
EndGrid computationStore traceStory 40.000244
StartGraph conversionStore traceStory 4
StartBuild configurationGraph conversionStore traceStory 4
EndBuild configurationGraph conversionStore traceStory 44.20000000001e-05
StartTransitive reductionGraph conversionStore traceStory 4
EndTransitive reductionGraph conversionStore traceStory 41.00000000001e-05
EndGraph conversionStore traceStory 47.89999999999e-05
EndStore traceStory 40.000351
EndStory 40.005159
StartStory 5
StartWeak compressionStory 58
EndWeak compressionStory 5880.009967
StartStore traceStory 5
StartGrid computationStore traceStory 5
EndGrid computationStore traceStory 50.000227
StartGraph conversionStore traceStory 5
StartBuild configurationGraph conversionStore traceStory 5
EndBuild configurationGraph conversionStore traceStory 53.70000000001e-05
StartTransitive reductionGraph conversionStore traceStory 5
EndTransitive reductionGraph conversionStore traceStory 52.70000000002e-05
EndGraph conversionStore traceStory 58.89999999998e-05
EndStore traceStory 50.000347
EndStory 50.010374
StartStory 6
StartWeak compressionStory 69
EndWeak compressionStory 6990.008464
StartStore traceStory 6
StartGrid computationStore traceStory 6
EndGrid computationStore traceStory 60.000604
StartGraph conversionStore traceStory 6
StartBuild configurationGraph conversionStore traceStory 6
EndBuild configurationGraph conversionStore traceStory 60.001403
StartTransitive reductionGraph conversionStore traceStory 6
EndTransitive reductionGraph conversionStore traceStory 62.4e-05
EndGraph conversionStore traceStory 60.001525
EndStore traceStory 60.002238
EndStory 60.01085
StartStory 7
StartWeak compressionStory 710
EndWeak compressionStory 710100.011931
StartStore traceStory 7
StartGrid computationStore traceStory 7
EndGrid computationStore traceStory 70.000933
StartGraph conversionStore traceStory 7
StartBuild configurationGraph conversionStore traceStory 7
EndBuild configurationGraph conversionStore traceStory 74e-05
StartTransitive reductionGraph conversionStore traceStory 7
EndTransitive reductionGraph conversionStore traceStory 78.99999999993e-06
EndGraph conversionStore traceStory 77.8e-05
EndStore traceStory 70.001061
EndStory 70.013082
StartStory 8
StartWeak compressionStory 811
EndWeak compressionStory 811110.010941
StartStore traceStory 8
StartGrid computationStore traceStory 8
EndGrid computationStore traceStory 80.000942
StartGraph conversionStore traceStory 8
StartBuild configurationGraph conversionStore traceStory 8
EndBuild configurationGraph conversionStore traceStory 88.30000000001e-05
StartTransitive reductionGraph conversionStore traceStory 8
EndTransitive reductionGraph conversionStore traceStory 81.1e-05
EndGraph conversionStore traceStory 80.000122
EndStore traceStory 80.001098
EndStory 80.012105
StartStory 9
StartWeak compressionStory 910
EndWeak compressionStory 910100.012182
StartStore traceStory 9
StartGrid computationStore traceStory 9
EndGrid computationStore traceStory 90.000771
StartGraph conversionStore traceStory 9
StartBuild configurationGraph conversionStore traceStory 9
EndBuild configurationGraph conversionStore traceStory 97.70000000001e-05
StartTransitive reductionGraph conversionStore traceStory 9
EndTransitive reductionGraph conversionStore traceStory 99.99999999984e-06
EndGraph conversionStore traceStory 90.000115
EndStore traceStory 90.000919
EndStory 90.013169
StartStory 10
StartWeak compressionStory 1010
EndWeak compressionStory 1010100.006139
StartStore traceStory 10
StartGrid computationStore traceStory 10
EndGrid computationStore traceStory 100.000425
StartGraph conversionStore traceStory 10
StartBuild configurationGraph conversionStore traceStory 10
EndBuild configurationGraph conversionStore traceStory 100.000452
StartTransitive reductionGraph conversionStore traceStory 10
EndTransitive reductionGraph conversionStore traceStory 101.00000000001e-05
EndGraph conversionStore traceStory 100.000505
EndStore traceStory 100.000976
EndStory 100.007202
StartStory 11
StartWeak compressionStory 119
EndWeak compressionStory 11990.006393
StartStore traceStory 11
StartGrid computationStore traceStory 11
EndGrid computationStore traceStory 110.000424
StartGraph conversionStore traceStory 11
StartBuild configurationGraph conversionStore traceStory 11
EndBuild configurationGraph conversionStore traceStory 110.000235
StartTransitive reductionGraph conversionStore traceStory 11
EndTransitive reductionGraph conversionStore traceStory 111.20000000001e-05
EndGraph conversionStore traceStory 110.000276
StartComputing the cannonic formStore traceStory 11
EndComputing the cannonic formStore traceStory 111.20000000001e-05
StartComputing the cannonic formStore traceStory 11
EndComputing the cannonic formStore traceStory 111.00000000001e-05
EndStore traceStory 110.000766
EndStory 110.007216
StartStory 12
StartWeak compressionStory 1218
EndWeak compressionStory 1218180.017378
StartStore traceStory 12
StartGrid computationStore traceStory 12
EndGrid computationStore traceStory 120.000942
StartGraph conversionStore traceStory 12
StartBuild configurationGraph conversionStore traceStory 12
EndBuild configurationGraph conversionStore traceStory 120.000287
StartTransitive reductionGraph conversionStore traceStory 12
EndTransitive reductionGraph conversionStore traceStory 121.40000000002e-05
EndGraph conversionStore traceStory 120.000337
EndStore traceStory 120.001315
EndStory 120.018753
StartStory 13
StartWeak compressionStory 139
EndWeak compressionStory 13990.00669
StartStore traceStory 13
StartGrid computationStore traceStory 13
EndGrid computationStore traceStory 137.40000000001e-05
StartGraph conversionStore traceStory 13
StartBuild configurationGraph conversionStore traceStory 13
EndBuild configurationGraph conversionStore traceStory 132.80000000004e-05
StartTransitive reductionGraph conversionStore traceStory 13
EndTransitive reductionGraph conversionStore traceStory 130.00076
EndGraph conversionStore traceStory 130.000842
EndStore traceStory 130.000967
EndStory 130.007796
StartStory 14
StartWeak compressionStory 149
EndWeak compressionStory 14990.006178
StartStore traceStory 14
StartGrid computationStore traceStory 14
EndGrid computationStore traceStory 146.59999999999e-05
StartGraph conversionStore traceStory 14
StartBuild configurationGraph conversionStore traceStory 14
EndBuild configurationGraph conversionStore traceStory 141.39999999997e-05
StartTransitive reductionGraph conversionStore traceStory 14
EndTransitive reductionGraph conversionStore traceStory 140.000193
EndGraph conversionStore traceStory 140.00023
StartComputing the cannonic formStore traceStory 14
EndComputing the cannonic formStore traceStory 148.00000000023e-06
StartComputing the cannonic formStore traceStory 14
EndComputing the cannonic formStore traceStory 145.99999999995e-06
EndStore traceStory 140.000354
EndStory 140.006602
StartStory 15
StartWeak compressionStory 1510
EndWeak compressionStory 1510100.007628
StartStore traceStory 15
StartGrid computationStore traceStory 15
EndGrid computationStore traceStory 150.000421
StartGraph conversionStore traceStory 15
StartBuild configurationGraph conversionStore traceStory 15
EndBuild configurationGraph conversionStore traceStory 150.000205
StartTransitive reductionGraph conversionStore traceStory 15
EndTransitive reductionGraph conversionStore traceStory 151.00000000005e-05
EndGraph conversionStore traceStory 150.000244
EndStore traceStory 150.000697
EndStory 150.008382
StartStory 16
StartWeak compressionStory 1612
EndWeak compressionStory 1612120.011392
StartStore traceStory 16
StartGrid computationStore traceStory 16
EndGrid computationStore traceStory 160.000864
StartGraph conversionStore traceStory 16
StartBuild configurationGraph conversionStore traceStory 16
EndBuild configurationGraph conversionStore traceStory 160.000177
StartTransitive reductionGraph conversionStore traceStory 16
EndTransitive reductionGraph conversionStore traceStory 163.29999999997e-05
EndGraph conversionStore traceStory 160.000269
EndStore traceStory 160.001181
EndStory 160.012678
StartStory 17
StartWeak compressionStory 1712
EndWeak compressionStory 1712120.012339
StartStore traceStory 17
StartGrid computationStore traceStory 17
EndGrid computationStore traceStory 170.000879
StartGraph conversionStore traceStory 17
StartBuild configurationGraph conversionStore traceStory 17
EndBuild configurationGraph conversionStore traceStory 170.000123
StartTransitive reductionGraph conversionStore traceStory 17
EndTransitive reductionGraph conversionStore traceStory 171.19999999999e-05
EndGraph conversionStore traceStory 170.000167
EndStore traceStory 170.001078
EndStory 170.013477
StartStory 18
StartWeak compressionStory 1822
EndWeak compressionStory 1822220.016235
StartStore traceStory 18
StartGrid computationStore traceStory 18
EndGrid computationStore traceStory 180.000769
StartGraph conversionStore traceStory 18
StartBuild configurationGraph conversionStore traceStory 18
EndBuild configurationGraph conversionStore traceStory 180.000124
StartTransitive reductionGraph conversionStore traceStory 18
EndTransitive reductionGraph conversionStore traceStory 181.09999999998e-05
EndGraph conversionStore traceStory 180.000168
StartComputing the cannonic formStore traceStory 18
EndComputing the cannonic formStore traceStory 181.19999999999e-05
StartComputing the cannonic formStore traceStory 18
EndComputing the cannonic formStore traceStory 181.00000000001e-05
EndStore traceStory 180.001027
EndStory 180.01732
StartStory 19
StartWeak compressionStory 1910
EndWeak compressionStory 1910100.005837
StartStore traceStory 19
StartGrid computationStore traceStory 19
EndGrid computationStore traceStory 190.000439000000001
StartGraph conversionStore traceStory 19
StartBuild configurationGraph conversionStore traceStory 19
EndBuild configurationGraph conversionStore traceStory 190.000259
StartTransitive reductionGraph conversionStore traceStory 19
EndTransitive reductionGraph conversionStore traceStory 191.19999999999e-05
EndGraph conversionStore traceStory 190.000307
EndStore traceStory 190.000778
EndStory 190.006671
StartStory 20
StartWeak compressionStory 2016
EndWeak compressionStory 2016160.012191
StartStore traceStory 20
StartGrid computationStore traceStory 20
EndGrid computationStore traceStory 200.00058
StartGraph conversionStore traceStory 20
StartBuild configurationGraph conversionStore traceStory 20
EndBuild configurationGraph conversionStore traceStory 207.20000000003e-05
StartTransitive reductionGraph conversionStore traceStory 20
EndTransitive reductionGraph conversionStore traceStory 201.09999999998e-05
EndGraph conversionStore traceStory 200.000111
StartComputing the cannonic formStore traceStory 20
EndComputing the cannonic formStore traceStory 208.99999999993e-06
StartComputing the cannonic formStore traceStory 20
EndComputing the cannonic formStore traceStory 207.99999999979e-06
EndStore traceStory 200.000765
EndStory 200.013018
StartStory 21
StartWeak compressionStory 2112
EndWeak compressionStory 2112120.011352
StartStore traceStory 21
StartGrid computationStore traceStory 21
EndGrid computationStore traceStory 210.000742
StartGraph conversionStore traceStory 21
StartBuild configurationGraph conversionStore traceStory 21
EndBuild configurationGraph conversionStore traceStory 210.000118
StartTransitive reductionGraph conversionStore traceStory 21
EndTransitive reductionGraph conversionStore traceStory 211.00000000001e-05
EndGraph conversionStore traceStory 210.00016
StartComputing the cannonic formStore traceStory 21
EndComputing the cannonic formStore traceStory 211.29999999996e-05
StartComputing the cannonic formStore traceStory 21
EndComputing the cannonic formStore traceStory 218.99999999993e-06
EndStore traceStory 210.000989
EndStory 210.012409
StartStory 22
StartWeak compressionStory 2214
EndWeak compressionStory 2214140.015849
StartStore traceStory 22
StartGrid computationStore traceStory 22
EndGrid computationStore traceStory 220.000413
StartGraph conversionStore traceStory 22
StartBuild configurationGraph conversionStore traceStory 22
EndBuild configurationGraph conversionStore traceStory 227.19999999998e-05
StartTransitive reductionGraph conversionStore traceStory 22
EndTransitive reductionGraph conversionStore traceStory 221.00000000001e-05
EndGraph conversionStore traceStory 220.000111
EndStore traceStory 220.000552
EndStory 220.016584
StartStory 23
StartWeak compressionStory 2310
EndWeak compressionStory 2310100.007184
StartStore traceStory 23
StartGrid computationStore traceStory 23
EndGrid computationStore traceStory 230.00025
StartGraph conversionStore traceStory 23
StartBuild configurationGraph conversionStore traceStory 23
EndBuild configurationGraph conversionStore traceStory 234.90000000002e-05
StartTransitive reductionGraph conversionStore traceStory 23
EndTransitive reductionGraph conversionStore traceStory 231.19999999999e-05
EndGraph conversionStore traceStory 230.000691
EndStore traceStory 230.000973
EndStory 230.008222
StartStory 24
StartWeak compressionStory 2422
EndWeak compressionStory 2422220.021132
StartStore traceStory 24
StartGrid computationStore traceStory 24
EndGrid computationStore traceStory 240.000672
StartGraph conversionStore traceStory 24
StartBuild configurationGraph conversionStore traceStory 24
EndBuild configurationGraph conversionStore traceStory 240.000553
StartTransitive reductionGraph conversionStore traceStory 24
EndTransitive reductionGraph conversionStore traceStory 241.49999999999e-05
EndGraph conversionStore traceStory 240.000601
EndStore traceStory 240.001306
EndStory 240.022504
StartStory 25
StartWeak compressionStory 2518
EndWeak compressionStory 2518180.015952
StartStore traceStory 25
StartGrid computationStore traceStory 25
EndGrid computationStore traceStory 250.000775
StartGraph conversionStore traceStory 25
StartBuild configurationGraph conversionStore traceStory 25
EndBuild configurationGraph conversionStore traceStory 250.000116
StartTransitive reductionGraph conversionStore traceStory 25
EndTransitive reductionGraph conversionStore traceStory 251.00000000005e-05
EndGraph conversionStore traceStory 250.000159
EndStore traceStory 250.000967
EndStory 250.016985
StartStory 26
StartWeak compressionStory 2628
EndWeak compressionStory 2628280.024612
StartStore traceStory 26
StartGrid computationStore traceStory 26
EndGrid computationStore traceStory 260.001605
StartGraph conversionStore traceStory 26
StartBuild configurationGraph conversionStore traceStory 26
EndBuild configurationGraph conversionStore traceStory 260.000624
StartTransitive reductionGraph conversionStore traceStory 26
EndTransitive reductionGraph conversionStore traceStory 261.80000000003e-05
EndGraph conversionStore traceStory 260.000691
EndStore traceStory 260.00235
EndStory 260.027037
StartStory 27
StartWeak compressionStory 2711
EndWeak compressionStory 2711110.008825
StartStore traceStory 27
StartGrid computationStore traceStory 27
EndGrid computationStore traceStory 270.000642
StartGraph conversionStore traceStory 27
StartBuild configurationGraph conversionStore traceStory 27
EndBuild configurationGraph conversionStore traceStory 278.09999999998e-05
StartTransitive reductionGraph conversionStore traceStory 27
EndTransitive reductionGraph conversionStore traceStory 271.10000000002e-05
EndGraph conversionStore traceStory 270.00012
EndStore traceStory 270.000797
EndStory 270.009678
StartStory 28
StartWeak compressionStory 2812
EndWeak compressionStory 2812120.011507
StartStore traceStory 28
StartGrid computationStore traceStory 28
EndGrid computationStore traceStory 280.000865
StartGraph conversionStore traceStory 28
StartBuild configurationGraph conversionStore traceStory 28
EndBuild configurationGraph conversionStore traceStory 280.000129
StartTransitive reductionGraph conversionStore traceStory 28
EndTransitive reductionGraph conversionStore traceStory 281.09999999998e-05
EndGraph conversionStore traceStory 280.000173
StartComputing the cannonic formStore traceStory 28
EndComputing the cannonic formStore traceStory 281.20000000003e-05
EndStore traceStory 280.001098
EndStory 280.012669
StartStory 29
StartWeak compressionStory 2917
EndWeak compressionStory 2917170.012544
StartStore traceStory 29
StartGrid computationStore traceStory 29
EndGrid computationStore traceStory 290.000525
StartGraph conversionStore traceStory 29
StartBuild configurationGraph conversionStore traceStory 29
EndBuild configurationGraph conversionStore traceStory 297.6e-05
StartTransitive reductionGraph conversionStore traceStory 29
EndTransitive reductionGraph conversionStore traceStory 291.20000000003e-05
EndGraph conversionStore traceStory 290.000134
EndStore traceStory 290.000691
EndStory 290.0133
StartStory 30
StartWeak compressionStory 3031
EndWeak compressionStory 3031310.030241
StartStore traceStory 30
StartGrid computationStore traceStory 30
EndGrid computationStore traceStory 300.002537
StartGraph conversionStore traceStory 30
StartBuild configurationGraph conversionStore traceStory 30
EndBuild configurationGraph conversionStore traceStory 300.000938
StartTransitive reductionGraph conversionStore traceStory 30
EndTransitive reductionGraph conversionStore traceStory 303.10000000003e-05
EndGraph conversionStore traceStory 300.001073
EndStore traceStory 300.003663
EndStory 300.033969
StartStory 31
StartWeak compressionStory 3147
EndWeak compressionStory 3147470.043062
StartStore traceStory 31
StartGrid computationStore traceStory 31
EndGrid computationStore traceStory 310.001072
StartGraph conversionStore traceStory 31
StartBuild configurationGraph conversionStore traceStory 31
EndBuild configurationGraph conversionStore traceStory 310.000198
StartTransitive reductionGraph conversionStore traceStory 31
EndTransitive reductionGraph conversionStore traceStory 311.79999999994e-05
EndGraph conversionStore traceStory 310.000255
EndStore traceStory 310.001371
EndStory 310.04451
StartStory 32
StartWeak compressionStory 3211
EndWeak compressionStory 3211110.010372
StartStore traceStory 32
StartGrid computationStore traceStory 32
EndGrid computationStore traceStory 320.001102
StartGraph conversionStore traceStory 32
StartBuild configurationGraph conversionStore traceStory 32
EndBuild configurationGraph conversionStore traceStory 320.00013
StartTransitive reductionGraph conversionStore traceStory 32
EndTransitive reductionGraph conversionStore traceStory 321.19999999999e-05
EndGraph conversionStore traceStory 320.000196
EndStore traceStory 320.001338
EndStory 320.011759
StartStory 33
StartWeak compressionStory 3315
EndWeak compressionStory 3315150.015386
StartStore traceStory 33
StartGrid computationStore traceStory 33
EndGrid computationStore traceStory 330.000677
StartGraph conversionStore traceStory 33
StartBuild configurationGraph conversionStore traceStory 33
EndBuild configurationGraph conversionStore traceStory 330.00028
StartTransitive reductionGraph conversionStore traceStory 33
EndTransitive reductionGraph conversionStore traceStory 331.19999999999e-05
EndGraph conversionStore traceStory 330.000326
StartComputing the cannonic formStore traceStory 33
EndComputing the cannonic formStore traceStory 331.3e-05
EndStore traceStory 330.001064
EndStory 330.016501
StartStory 34
StartWeak compressionStory 3426
EndWeak compressionStory 3426260.030944
StartStore traceStory 34
StartGrid computationStore traceStory 34
EndGrid computationStore traceStory 340.001311
StartGraph conversionStore traceStory 34
StartBuild configurationGraph conversionStore traceStory 34
EndBuild configurationGraph conversionStore traceStory 340.000506
StartTransitive reductionGraph conversionStore traceStory 34
EndTransitive reductionGraph conversionStore traceStory 341.6e-05
EndGraph conversionStore traceStory 340.000566000000001
EndStore traceStory 340.001948
EndStory 340.032963
StartStory 35
StartWeak compressionStory 3531
EndWeak compressionStory 3531310.021861
StartStore traceStory 35
StartGrid computationStore traceStory 35
EndGrid computationStore traceStory 350.001215
StartGraph conversionStore traceStory 35
StartBuild configurationGraph conversionStore traceStory 35
EndBuild configurationGraph conversionStore traceStory 350.000318
StartTransitive reductionGraph conversionStore traceStory 35
EndTransitive reductionGraph conversionStore traceStory 351.79999999999e-05
EndGraph conversionStore traceStory 350.000378
EndStore traceStory 350.001636
EndStory 350.023563
StartStory 36
StartWeak compressionStory 3610
EndWeak compressionStory 3610100.008379
StartStore traceStory 36
StartGrid computationStore traceStory 36
EndGrid computationStore traceStory 360.000637
StartGraph conversionStore traceStory 36
StartBuild configurationGraph conversionStore traceStory 36
EndBuild configurationGraph conversionStore traceStory 368.00000000001e-05
StartTransitive reductionGraph conversionStore traceStory 36
EndTransitive reductionGraph conversionStore traceStory 361.10000000002e-05
EndGraph conversionStore traceStory 360.00012
EndStore traceStory 360.000793
EndStory 360.009243
StartStory 37
StartWeak compressionStory 3724
EndWeak compressionStory 3724240.020307
StartStore traceStory 37
StartGrid computationStore traceStory 37
EndGrid computationStore traceStory 370.001628
StartGraph conversionStore traceStory 37
StartBuild configurationGraph conversionStore traceStory 37
EndBuild configurationGraph conversionStore traceStory 370.000624
StartTransitive reductionGraph conversionStore traceStory 37
EndTransitive reductionGraph conversionStore traceStory 372.00000000001e-05
EndGraph conversionStore traceStory 370.000701
EndStore traceStory 370.002388
EndStory 370.022802
StartStory 38
StartWeak compressionStory 3811
EndWeak compressionStory 3811110.008628
StartStore traceStory 38
StartGrid computationStore traceStory 38
EndGrid computationStore traceStory 380.00066
StartGraph conversionStore traceStory 38
StartBuild configurationGraph conversionStore traceStory 38
EndBuild configurationGraph conversionStore traceStory 388.19999999999e-05
StartTransitive reductionGraph conversionStore traceStory 38
EndTransitive reductionGraph conversionStore traceStory 381.19999999999e-05
EndGraph conversionStore traceStory 380.00012
EndStore traceStory 380.000825
EndStory 380.009506
StartStory 39
StartWeak compressionStory 399
EndWeak compressionStory 39990.005353
StartStore traceStory 39
StartGrid computationStore traceStory 39
EndGrid computationStore traceStory 390.000452
StartGraph conversionStore traceStory 39
StartBuild configurationGraph conversionStore traceStory 39
EndBuild configurationGraph conversionStore traceStory 390.000227
StartTransitive reductionGraph conversionStore traceStory 39
EndTransitive reductionGraph conversionStore traceStory 399.00000000037e-06
EndGraph conversionStore traceStory 390.000265
EndStore traceStory 390.000747
EndStory 390.006151
StartStory 40
StartWeak compressionStory 4017
EndWeak compressionStory 4017170.016764
StartStore traceStory 40
StartGrid computationStore traceStory 40
EndGrid computationStore traceStory 400.000749
StartGraph conversionStore traceStory 40
StartBuild configurationGraph conversionStore traceStory 40
EndBuild configurationGraph conversionStore traceStory 400.000113
StartTransitive reductionGraph conversionStore traceStory 40
EndTransitive reductionGraph conversionStore traceStory 401.10000000002e-05
EndGraph conversionStore traceStory 400.000157
EndStore traceStory 400.000937
EndStory 400.017758
StartStory 41
StartWeak compressionStory 4126
EndWeak compressionStory 4126260.029382
StartStore traceStory 41
StartGrid computationStore traceStory 41
EndGrid computationStore traceStory 410.001806
StartGraph conversionStore traceStory 41
StartBuild configurationGraph conversionStore traceStory 41
EndBuild configurationGraph conversionStore traceStory 410.000345
StartTransitive reductionGraph conversionStore traceStory 41
EndTransitive reductionGraph conversionStore traceStory 411.99999999997e-05
EndGraph conversionStore traceStory 410.000416
EndStore traceStory 410.002272
EndStory 410.031729
StartStory 42
StartWeak compressionStory 4211
EndWeak compressionStory 4211110.015272
StartStore traceStory 42
StartGrid computationStore traceStory 42
EndGrid computationStore traceStory 420.001109
StartGraph conversionStore traceStory 42
StartBuild configurationGraph conversionStore traceStory 42
EndBuild configurationGraph conversionStore traceStory 428.9e-05
StartTransitive reductionGraph conversionStore traceStory 42
EndTransitive reductionGraph conversionStore traceStory 428.99999999993e-06
EndGraph conversionStore traceStory 420.000127
StartComputing the cannonic formStore traceStory 42
EndComputing the cannonic formStore traceStory 421.00000000001e-05
StartComputing the cannonic formStore traceStory 42
EndComputing the cannonic formStore traceStory 428.99999999993e-06
EndStore traceStory 420.001307
EndStory 420.016643
StartStory 43
StartWeak compressionStory 4348