noCycles: 3 ProofSize: 7753 max table link L = 52 max table link C = 52 no methods: 19 no labels: 77 no pass: 78 no pass/label: 1.0129870129870129 no pass diff: 109.110016 no pass diff/label: 1.4170132 pass max: 2 pass min: 1 No methods per pass (no pass: no methods): 0: 2 1: 16 2: 1 No Labels per method (no labels: no methods): 0: 2 1: 5 2: 3 3: 1 4: 4 5: 1 7: 1 12: 1 23: 1 No global signature used : 78 No exact signature used : 90 For each iteration, number of analyzed methods (methods not final): Iteration 0 = 92 methods Iteration 1 = 21 methods Iteration 2 = 19 methods For each iteration, time (miliseconds): Iteration 0 = 920 ms Iteration 1 = 363 ms Iteration 2 = 289 ms noCycles: 4 ProofSize: 2564 max table link L = 38 max table link C = 38 no methods: 92 no labels: 139 no pass: 146 no pass/label: 1.0503597122302157 no pass diff: 192.9097 no pass diff/label: 1.3878396 pass max: 3 pass min: 1 No methods per pass (no pass: no methods): 0: 45 1: 43 2: 3 3: 1 No Labels per method (no labels: no methods): 0: 45 1: 13 2: 20 3: 3 4: 5 5: 3 7: 1 12: 1 23: 1 No global signature used : 88 No exact signature used : 164 For each iteration, number of analyzed methods (methods not final): Iteration 0 = 92 methods Iteration 1 = 92 methods Iteration 2 = 92 methods Iteration 3 = 92 methods For each iteration, time (miliseconds): Iteration 0 = 875 ms Iteration 1 = 505 ms Iteration 2 = 383 ms Iteration 3 = 377 ms noCycles: 1 ProofSize: 2564 max table link L = 38 max table link C = 38 no methods: 92 no labels: 139 no pass: 146 no pass/label: 1.0503597122302157 no pass diff: 192.9097 no pass diff/label: 1.3878396 pass max: 3 pass min: 1 No methods per pass (no pass: no methods): 0: 45 1: 43 2: 3 3: 1 No Labels per method (no labels: no methods): 0: 45 1: 13 2: 20 3: 3 4: 5 5: 3 7: 1 12: 1 23: 1 No global signature used : 88 No exact signature used : 164 For each iteration, number of analyzed methods (methods not final): Iteration 0 = 92 methods For each iteration, time (miliseconds): Iteration 0 = 906 ms noCycles: 1 ProofSize: 2564 max table link L = 38 max table link C = 38 no methods: 92 no labels: 139 no pass: 146 no pass/label: 1.0503597122302157 no pass diff: 192.9097 no pass diff/label: 1.3878396 pass max: 3 pass min: 1 No methods per pass (no pass: no methods): 0: 45 1: 43 2: 3 3: 1 No Labels per method (no labels: no methods): 0: 45 1: 13 2: 20 3: 3 4: 5 5: 3 7: 1 12: 1 23: 1 No global signature used : 88 No exact signature used : 164 For each iteration, number of analyzed methods (methods not final): Iteration 0 = 92 methods For each iteration, time (miliseconds): Iteration 0 = 452 ms noCycles: 4 ProofSize: 2564 max table link L = 38 max table link C = 38 no methods: 92 no labels: 139 no pass: 146 no pass/label: 1.0503597122302157 no pass diff: 192.9097 no pass diff/label: 1.3878396 pass max: 3 pass min: 1 No methods per pass (no pass: no methods): 0: 45 1: 43 2: 3 3: 1 No Labels per method (no labels: no methods): 0: 45 1: 13 2: 20 3: 3 4: 5 5: 3 7: 1 12: 1 23: 1 No global signature used : 88 No exact signature used : 164 For each iteration, number of analyzed methods (methods not final): Iteration 0 = 92 methods Iteration 1 = 92 methods Iteration 2 = 92 methods Iteration 3 = 92 methods For each iteration, time (miliseconds): Iteration 0 = 435 ms Iteration 1 = 191 ms Iteration 2 = 160 ms Iteration 3 = 153 ms noCycles: 4 ProofSize: 2564 max table link L = 38 max table link C = 38 no methods: 92 no labels: 139 no pass: 146 no pass/label: 1.0503597122302157 no pass diff: 192.90968 no pass diff/label: 1.3878394 pass max: 3 pass min: 1 No methods per pass (no pass: no methods): 0: 45 1: 43 2: 3 3: 1 No Labels per method (no labels: no methods): 0: 45 1: 13 2: 20 3: 3 4: 5 5: 3 7: 1 12: 1 23: 1 No global signature used : 88 No exact signature used : 164 For each iteration, number of analyzed methods (methods not final): Iteration 0 = 92 methods Iteration 1 = 92 methods Iteration 2 = 92 methods Iteration 3 = 92 methods For each iteration, time (miliseconds): Iteration 0 = 1607 ms Iteration 1 = 470 ms Iteration 2 = 388 ms Iteration 3 = 342 ms noCycles: 1 ProofSize: 5128 max table link L = 38 max table link C = 38 no methods: 184 no labels: 278 no pass: 292 no pass/label: 1.0503597122302157 no pass diff: 385.8187 no pass diff/label: 1.387837 pass max: 3 pass min: 1 No methods per pass (no pass: no methods): 0: 90 1: 86 2: 6 3: 2 No Labels per method (no labels: no methods): 0: 90 1: 26 2: 40 3: 6 4: 10 5: 6 7: 2 12: 2 23: 2 No global signature used : 176 No exact signature used : 328 For each iteration, number of analyzed methods (methods not final): Iteration 0 = 184 methods For each iteration, time (miliseconds): Iteration 0 = 1812 ms noCycles: 1 ProofSize: 5128 max table link L = 38 max table link C = 38 no methods: 184 no labels: 278 no pass: 292 no pass/label: 1.0503597122302157 no pass diff: 385.8187 no pass diff/label: 1.387837 pass max: 3 pass min: 1 No methods per pass (no pass: no methods): 0: 90 1: 86 2: 6 3: 2 No Labels per method (no labels: no methods): 0: 90 1: 26 2: 40 3: 6 4: 10 5: 6 7: 2 12: 2 23: 2 No global signature used : 176 No exact signature used : 328 For each iteration, number of analyzed methods (methods not final): Iteration 0 = 184 methods For each iteration, time (miliseconds): Iteration 0 = 1873 ms noCycles: 1 ProofSize: 5128 max table link L = 38 max table link C = 38 no methods: 184 no labels: 278 no pass: 292 no pass/label: 1.0503597122302157 no pass diff: 385.8187 no pass diff/label: 1.387837 pass max: 3 pass min: 1 No methods per pass (no pass: no methods): 0: 90 1: 86 2: 6 3: 2 No Labels per method (no labels: no methods): 0: 90 1: 26 2: 40 3: 6 4: 10 5: 6 7: 2 12: 2 23: 2 No global signature used : 176 No exact signature used : 328 For each iteration, number of analyzed methods (methods not final): Iteration 0 = 184 methods For each iteration, time (miliseconds): Iteration 0 = 1979 ms noCycles: 1 ProofSize: 2564 max table link L = 38 max table link C = 38 no methods: 92 no labels: 139 no pass: 146 no pass/label: 1.0503597122302157 no pass diff: 192.90968 no pass diff/label: 1.3878394 pass max: 3 pass min: 1 No methods per pass (no pass: no methods): 0: 45 1: 43 2: 3 3: 1 No Labels per method (no labels: no methods): 0: 45 1: 13 2: 20 3: 3 4: 5 5: 3 7: 1 12: 1 23: 1 No global signature used : 88 No exact signature used : 164 For each iteration, number of analyzed methods (methods not final): Iteration 0 = 92 methods For each iteration, time (miliseconds): Iteration 0 = 1321 ms noCycles: 1 ProofSize: 2564 max table link L = 38 max table link C = 38 no methods: 92 no labels: 139 no pass: 146 no pass/label: 1.0503597122302157 no pass diff: 192.90968 no pass diff/label: 1.3878394 pass max: 3 pass min: 1 No methods per pass (no pass: no methods): 0: 45 1: 43 2: 3 3: 1 No Labels per method (no labels: no methods): 0: 45 1: 13 2: 20 3: 3 4: 5 5: 3 7: 1 12: 1 23: 1 No global signature used : 88 No exact signature used : 164 For each iteration, number of analyzed methods (methods not final): Iteration 0 = 92 methods For each iteration, time (miliseconds): Iteration 0 = 1651 ms noCycles: 1 ProofSize: 2564 max table link L = 38 max table link C = 38 no methods: 92 no labels: 139 no pass: 146 no pass/label: 1.0503597122302157 no pass diff: 192.90968 no pass diff/label: 1.3878394 pass max: 3 pass min: 1 No methods per pass (no pass: no methods): 0: 45 1: 43 2: 3 3: 1 No Labels per method (no labels: no methods): 0: 45 1: 13 2: 20 3: 3 4: 5 5: 3 7: 1 12: 1 23: 1 No global signature used : 88 No exact signature used : 164 For each iteration, number of analyzed methods (methods not final): Iteration 0 = 92 methods For each iteration, time (miliseconds): Iteration 0 = 1117 ms noCycles: 1 ProofSize: 2564 max table link L = 38 max table link C = 38 no methods: 92 no labels: 139 no pass: 146 no pass/label: 1.0503597122302157 no pass diff: 192.90968 no pass diff/label: 1.3878394 pass max: 3 pass min: 1 No methods per pass (no pass: no methods): 0: 45 1: 43 2: 3 3: 1 No Labels per method (no labels: no methods): 0: 45 1: 13 2: 20 3: 3 4: 5 5: 3 7: 1 12: 1 23: 1 No global signature used : 88 No exact signature used : 164 For each iteration, number of analyzed methods (methods not final): Iteration 0 = 92 methods For each iteration, time (miliseconds): Iteration 0 = 1519 ms noCycles: 1 ProofSize: 2564 max table link L = 38 max table link C = 38 no methods: 92 no labels: 139 no pass: 146 no pass/label: 1.0503597122302157 no pass diff: 192.90968 no pass diff/label: 1.3878394 pass max: 3 pass min: 1 No methods per pass (no pass: no methods): 0: 45 1: 43 2: 3 3: 1 No Labels per method (no labels: no methods): 0: 45 1: 13 2: 20 3: 3 4: 5 5: 3 7: 1 12: 1 23: 1 No global signature used : 88 No exact signature used : 164 For each iteration, number of analyzed methods (methods not final): Iteration 0 = 92 methods For each iteration, time (miliseconds): Iteration 0 = 1242 ms noCycles: 1 ProofSize: 2564 max table link L = 38 max table link C = 38 no methods: 92 no labels: 139 no pass: 146 no pass/label: 1.0503597122302157 no pass diff: 192.90968 no pass diff/label: 1.3878394 pass max: 3 pass min: 1 No methods per pass (no pass: no methods): 0: 45 1: 43 2: 3 3: 1 No Labels per method (no labels: no methods): 0: 45 1: 13 2: 20 3: 3 4: 5 5: 3 7: 1 12: 1 23: 1 No global signature used : 88 No exact signature used : 164 For each iteration, number of analyzed methods (methods not final): Iteration 0 = 92 methods For each iteration, time (miliseconds): Iteration 0 = 1634 ms