1 Buildfile: /scratch/hamed/constraint_compiler/src/Benchmarks/sypet-non-incremental/build.xml
4 [java] ----------Options
7 [java] Round Robin: true
8 [java] Round Robin Iterations: 100
9 [java] Round Robin Range: 2
10 [java] Solver limit: 5
11 [java] ----------benchmarks/geometry/12/benchmark12.json
12 [java] Benchmark Id: 12
13 [java] Method name: rotateQuadrant
14 [java] Packages: [java.awt.geom]
15 [java] Libraries: [./lib/rt7.jar]
16 [java] Source type(s): [java.awt.geom.Rectangle2D, int]
17 [java] Target type: java.awt.geom.Rectangle2D
18 [java] --------------------------------------------------------
19 [java] Warning: javax.crypto.spec.DESKeySpec is a phantom class!
20 [java] Warning: javax.crypto.spec.DESedeKeySpec is a phantom class!
21 [java] Warning: javax.crypto.Cipher is a phantom class!
22 [java] Warning: javax.crypto.spec.SecretKeySpec is a phantom class!
23 [java] Warning: javax.crypto.SecretKeyFactory is a phantom class!
24 [java] Warning: javax.crypto.spec.IvParameterSpec is a phantom class!
25 [java] Warning: javax.crypto.SecretKey is a phantom class!
26 [java] Warning: javax.crypto.spec.PBEKeySpec is a phantom class!
27 [java] Warning: javax.crypto.Mac is a phantom class!
28 [java] Warning: javax.crypto.IllegalBlockSizeException is a phantom class!
29 [java] Warning: javax.crypto.BadPaddingException is a phantom class!
30 [java] Warning: javax.crypto.NoSuchPaddingException is a phantom class!
31 [java] Warning: sun.security.ssl.Krb5Helper is a phantom class!
32 [java] Warning: com.oracle.jrockit.jfr.FlightRecorder is a phantom class!
33 [java] Warning: sun.security.ssl.SSLSocketImpl is a phantom class!
34 [java] Warning: javax.crypto.CipherInputStream is a phantom class!
35 [java] Warning: javax.crypto.CipherOutputStream is a phantom class!
36 [java] Warning: sun.nio.cs.ext.EUC_TW$Decoder is a phantom class!
37 [java] Warning: sun.nio.cs.ext.EUC_TW$Encoder is a phantom class!
38 [java] Warning: sun.nio.cs.ext.DoubleByteEncoder is a phantom class!
39 [java] Warning: sun.nio.cs.ext.JIS_X_0201$Encoder is a phantom class!
40 [java] Warning: sun.nio.cs.ext.JIS_X_0201$Decoder is a phantom class!
41 [java] Warning: sun.nio.cs.ext.JIS_X_0208_Encoder is a phantom class!
42 [java] Warning: sun.nio.cs.ext.JIS_X_0208_Decoder is a phantom class!
43 [java] Warning: sun.nio.cs.ext.JIS_X_0212_Encoder is a phantom class!
44 [java] Warning: sun.nio.cs.ext.JIS_X_0212_Decoder is a phantom class!
45 [java] Warning: javax.crypto.spec.PBEParameterSpec is a phantom class!
46 [java] Warning: javax.crypto.spec.DHParameterSpec is a phantom class!
47 [java] Warning: javax.crypto.spec.DHPublicKeySpec is a phantom class!
48 [java] Warning: javax.crypto.interfaces.DHKey is a phantom class!
49 [java] Warning: javax.crypto.interfaces.DHPublicKey is a phantom class!
50 [java] Warning: javax.crypto.spec.OAEPParameterSpec is a phantom class!
51 [java] Warning: javax.crypto.spec.PSource is a phantom class!
52 [java] Warning: javax.crypto.spec.PSource$PSpecified is a phantom class!
53 [java] Warning: javax.crypto.KeyGenerator is a phantom class!
56 [java] Soot Time: 3302.672317
57 [java] PetriNet for path length: 1 [places: 64 ; transitions: 537 ; edges: 1238]
58 [java] PetriNet for path length: 2 [places: 64 ; transitions: 537 ; edges: 1238]
59 [java] PetriNet for path length: 3 [places: 64 ; transitions: 537 ; edges: 1238]
60 [java] PetriNet for path length: 4 [places: 64 ; transitions: 537 ; edges: 1238]
61 [java] PetriNet for path length: 5 [places: 64 ; transitions: 537 ; edges: 1238]
62 [java] Path Solving Time: 15.494013
63 [java] Path Solving Time: 10.15667
64 [java] Path Solving Time: 5.795223
65 [java] PetriNet for path length: 6 [places: 64 ; transitions: 537 ; edges: 1238]
66 [java] Done with finding holes : Flag = true
67 [java] Path Solving Time: 11.226274
68 [java] Path Solving Time: 1.328307
69 [java] 1588127931523 Original Encoding Solving Time: 1.099005
70 [java] 1588127931523 Original Encoding Incremental Solving Time: 0.283284
71 [java] Done with finding holes : Flag = true
72 [java] Done with finding holes : Flag = false
73 [java] Done with finding holes : Flag = true
74 [java] 1588127931796 Original Encoding Solving Time: 0.342289
75 [java] 1588127931796 Original Encoding Incremental Solving Time: 0.046398
76 [java] 1588127931814 Original Encoding Solving Time: 0.208563
77 [java] 1588127931814 Original Encoding Incremental Solving Time: 0.039293
78 [java] Path Solving Time: 5.375891
79 [java] Path Solving Time: 1.571645
80 [java] 1588127931837 Original Encoding Solving Time: 0.562476
81 [java] 1588127931837 Original Encoding Incremental Solving Time: 0.215023
82 [java] 1588127931863 Original Encoding Solving Time: 0.218389
83 [java] 1588127931863 Original Encoding Incremental Solving Time: 0.071631
84 [java] Done with finding holes : Flag = true
85 [java] Done with finding holes : Flag = false
86 [java] Done with finding holes : Flag = true
87 [java] Done with finding holes : Flag = true
88 [java] Done with finding holes : Flag = false
89 [java] 1588127931880 Original Encoding Solving Time: 0.24469
90 [java] 1588127931880 Original Encoding Incremental Solving Time: 0.03499
91 [java] Path Solving Time: 4.909433
92 [java] Path Solving Time: 1.393705
93 [java] 1588127931903 Original Encoding Solving Time: 0.472825
94 [java] 1588127931903 Original Encoding Incremental Solving Time: 0.200117
95 [java] 1588127931927 Original Encoding Solving Time: 0.374875
96 [java] 1588127931927 Original Encoding Incremental Solving Time: 0.070231
97 [java] 1588127931942 Original Encoding Solving Time: 0.212879
98 [java] 1588127931942 Original Encoding Incremental Solving Time: 0.027051
99 [java] Path Solving Time: 4.755101
100 [java] Path Solving Time: 1.428656
101 [java] 1588127931965 Original Encoding Solving Time: 1.063081
102 [java] 1588127931965 Original Encoding Incremental Solving Time: 0.396985
103 [java] Done with finding holes : Flag = true
104 [java] Done with finding holes : Flag = true
105 [java] Done with finding holes : Flag = false
106 [java] Done with finding holes : Flag = true
107 [java] 1588127931994 Original Encoding Solving Time: 0.408511
108 [java] 1588127931994 Original Encoding Incremental Solving Time: 0.092225
109 [java] 1588127932015 Original Encoding Solving Time: 0.30485
110 [java] 1588127932015 Original Encoding Incremental Solving Time: 0.034359
111 [java] Path Solving Time: 12.776939
112 [java] Path Solving Time: 3.689565
113 [java] 1588127932048 Original Encoding Solving Time: 0.609853
114 [java] 1588127932048 Original Encoding Incremental Solving Time: 0.263436
115 [java] Done with finding holes : Flag = false
116 [java] Done with finding holes : Flag = true
117 [java] Done with finding holes : Flag = false
118 [java] 1588127932078 Original Encoding Solving Time: 0.037348
119 [java] 1588127932078 Original Encoding Incremental Solving Time: 0.02177
120 [java] Path Solving Time: 10.626707
121 [java] Path Solving Time: 1.858047
122 [java] 1588127932107 Original Encoding Solving Time: 0.892823
123 [java] 1588127932107 Original Encoding Incremental Solving Time: 0.110941
124 [java] 1588127932127 Original Encoding Solving Time: 0.031723
125 [java] 1588127932127 Original Encoding Incremental Solving Time: 0.017101
126 [java] Path Solving Time: 12.021392
127 [java] Path Solving Time: 0.94396
128 [java] Path Solving Time: 0.620185
129 [java] Path Solving Time: 9.217915
130 [java] Done with finding holes : Flag = true
131 [java] Done with finding holes : Flag = false
132 [java] Path Solving Time: 36.465838
133 [java] 1588127932205 Original Encoding Solving Time: 0.536652
134 [java] 1588127932205 Original Encoding Incremental Solving Time: 0.659529
135 [java] 1588127932225 Original Encoding Solving Time: 0.0298
136 [java] 1588127932225 Original Encoding Incremental Solving Time: 0.0181
137 [java] Path Solving Time: 15.779181
138 [java] Path Solving Time: 7.194315
139 [java] 1588127932267 Original Encoding Solving Time: 0.348458
140 [java] 1588127932267 Original Encoding Incremental Solving Time: 0.163229
141 [java] Done with finding holes : Flag = true
142 [java] Done with finding holes : Flag = false
143 [java] 1588127932286 Original Encoding Solving Time: 0.02978
144 [java] 1588127932286 Original Encoding Incremental Solving Time: 0.016961
145 [java] Path Solving Time: 24.325923
146 [java] PetriNet for path length: 7 [places: 64 ; transitions: 537 ; edges: 1238]
147 [java] Path Solving Time: 4.131484
148 [java] Path Solving Time: 0.690348
149 [java] 1588127933677 Original Encoding Solving Time: 0.385182
150 [java] 1588127933677 Original Encoding Incremental Solving Time: 0.118204
151 [java] Done with finding holes : Flag = true
152 [java] =========Statistics (time in milliseconds)=========
153 [java] Benchmark Id: 12
154 [java] Sketch Generation Time: 214.748627
155 [java] Sketch Completion Time: 188.91116699999998
156 [java] Compilation Time: 501.831301
157 [java] Running Test cases Time: 3.926987
158 [java] Synthesis Time: 407.586781
159 [java] Total Time: 909.4180819999999
160 [java] Number of components: 4
161 [java] Number of holes: 6
162 [java] Number of completed programs: 21
163 [java] Number of sketches: 9
165 [java] java.awt.Shape sypet_var43 = sypet_arg0;
166 [java] java.awt.geom.AffineTransform sypet_var44 = java.awt.geom.AffineTransform.getQuadrantRotateInstance(sypet_arg1);
167 [java] java.awt.geom.Path2D.Double sypet_var45 = new java.awt.geom.Path2D.Double(sypet_var43,sypet_var44);
168 [java] java.awt.geom.Rectangle2D sypet_var46 = sypet_var45.getBounds2D();
169 [java] return sypet_var46;
171 [java] ============================
174 Total time: 6 seconds