1
Transitions to be replaced: t14; ts26; gt08; F; 
Number of nodes in unfitting fragment: 47
Measuring decomposed conformance
Decomposed conformance measured
number of bad fragments: 1
size of wrapper: 47
total number of fragments: 2
Total time: 242862
Size of final model: 142
Iterations: 1
Number of bad fragments: 1
Before conformance checking of the initial model (Arya)
End plug-in Iskra, took 255707 milliseconds

2
Transitions to be replaced: gt02; gt01; ts39; tr1; 
Number of nodes in unfitting fragment: 55
Measuring decomposed conformance
Decomposed conformance measured
number of bad fragments: 1
size of wrapper: 55
total number of fragments: 2
Total time: 225070
Size of final model: 152
Iterations: 1
Number of bad fragments: 1
Before conformance checking of the initial model (Arya)
End plug-in Iskra, took 234476 milliseconds

3
Transitions to be replaced: gt06; ts16; pt06; gt03; 
Number of nodes in unfitting fragment: 50
Measuring decomposed conformance
Decomposed conformance measured
number of bad fragments: 2
size of wrapper: 50
total number of fragments: 2
Total time: 6262
Size of final model: 135
Iterations: 1
Number of bad fragments: 1
Before conformance checking of the initial model (Arya)
End plug-in Iskra, took 16888 milliseconds

4
Transitions to be replaced: t5; pt03; t16; t10; 
Number of nodes in unfitting fragment: 80
Measuring decomposed conformance
Decomposed conformance measured
number of bad fragments: 1
size of wrapper: 80
total number of fragments: 2
Total time: 135474
Size of final model: 174
Iterations: 1
Number of bad fragments: 1
Before conformance checking of the initial model (Arya)
End plug-in Iskra, took 146506 milliseconds

5
Transitions to be replaced: ts32; gt03; t8; t18; 
Number of nodes in unfitting fragment: 60
Measuring decomposed conformance
Decomposed conformance measured
number of bad fragments: 1
size of wrapper: 60
total number of fragments: 2
Total time: 162256
Size of final model: 175
Iterations: 1
Number of bad fragments: 1
Before conformance checking of the initial model (Arya)
End plug-in Iskra, took 172943 milliseconds

6
Transitions to be replaced: ts14; gt09; ts21; ts11; 
Number of nodes in unfitting fragment: 48
Measuring decomposed conformance
Decomposed conformance measured
number of bad fragments: 1
size of wrapper: 48
total number of fragments: 2
Total time: 4892
Size of final model: 135
Iterations: 1
Number of bad fragments: 1
Before conformance checking of the initial model (Arya)
End plug-in Iskra, took 13556 milliseconds

7
Transitions to be replaced: t11; t21; B; ts32; 
Number of nodes in unfitting fragment: 31
Measuring decomposed conformance
Decomposed conformance measured
number of bad fragments: 1
size of wrapper: 31
total number of fragments: 2
Total time: 16264
Size of final model: 142
Iterations: 1
Number of bad fragments: 1
Before conformance checking of the initial model (Arya)
End plug-in Iskra, took 26533 milliseconds

8
Transitions to be replaced: t18; ts15; gt06; t4; 
Number of nodes in unfitting fragment: 53
Measuring decomposed conformance
Decomposed conformance measured
number of bad fragments: 1
size of wrapper: 53
total number of fragments: 2
Total time: 13368
Size of final model: 144
Iterations: 1
Number of bad fragments: 1
Before conformance checking of the initial model (Arya)
End plug-in Iskra, took 22352 milliseconds

9
Transitions to be replaced: gt09; t21; ts39; ts35; 
Number of nodes in unfitting fragment: 38
Measuring decomposed conformance
Decomposed conformance measured
number of bad fragments: 1
size of wrapper: 38
total number of fragments: 2
Total time: 69310
Size of final model: 143
Iterations: 1
Number of bad fragments: 1
Before conformance checking of the initial model (Arya)
End plug-in Iskra, took 77719 milliseconds

10
Transitions to be replaced: gt01; t21; t1; ts21; 
Number of nodes in unfitting fragment: 62
Measuring decomposed conformance
Decomposed conformance measured
number of bad fragments: 1
size of wrapper: 62
total number of fragments: 2
Total time: 578948
Size of final model: 170
Iterations: 1
Number of bad fragments: 1
Before conformance checking of the initial model (Arya)
End plug-in Iskra, took 587968 milliseconds