sypet-non-incremental/output4-server-copy/geometry/benchmark10.log

   1 Buildfile: /scratch/hamed/constraint_compiler/src/Benchmarks/sypet-non-incremental/build.xml
   2
   3 sypet:
   4      [java] ----------Options
   5      [java] Verbose: false
   6      [java] Timeout: 600000
   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/10/benchmark10.json
  12      [java] Benchmark Id: 10
  13      [java] Method name: scale
  14      [java] Packages: [java.awt.geom]
  15      [java] Libraries: [./lib/rt7.jar]
  16      [java] Source type(s): [java.awt.geom.Rectangle2D, double, double]
  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!
  54      [java] #Classes: 50
  55      [java] #Methods: 751
  56      [java] Soot Time: 3119.360044
  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: 19.671709
  63      [java] Path Solving Time: 6.14254
  64      [java] Path Solving Time: 18.570891
  65      [java] Path Solving Time: 1.014481
  66      [java] Done with finding holes : Flag = true
  67      [java] 1588133849101 Original Encoding Solving Time: 0.635891
  68      [java] 1588133849101 Original Encoding Incremental Solving Time: 0.139532
  69      [java] Done with finding holes : Flag = true
  70      [java] 1588133849379 Original Encoding Solving Time: 0.428354
  71      [java] 1588133849379 Original Encoding Incremental Solving Time: 0.140487
  72      [java] Done with finding holes : Flag = false
  73      [java] 1588133849400 Original Encoding Solving Time: 0.362294
  74      [java] 1588133849400 Original Encoding Incremental Solving Time: 0.028469
  75      [java] Path Solving Time: 3.425879
  76      [java] PetriNet for path length: 6 [places: 64 ; transitions: 537 ; edges: 1238]
  77      [java] Path Solving Time: 8.07398
  78      [java] Path Solving Time: 1.420007
  79      [java] Done with finding holes : Flag = true
  80      [java] Done with finding holes : Flag = true
  81      [java] Done with finding holes : Flag = false
  82      [java] 1588133849800 Original Encoding Solving Time: 0.685587
  83      [java] 1588133849800 Original Encoding Incremental Solving Time: 0.185013
  84      [java] 1588133849837 Original Encoding Solving Time: 0.235722
  85      [java] 1588133849837 Original Encoding Incremental Solving Time: 0.059657
  86      [java] 1588133849860 Original Encoding Solving Time: 0.262191
  87      [java] 1588133849860 Original Encoding Incremental Solving Time: 0.038477
  88      [java] Path Solving Time: 5.665535
  89      [java] Path Solving Time: 1.262722
  90      [java] 1588133849884 Original Encoding Solving Time: 0.553686
  91      [java] 1588133849884 Original Encoding Incremental Solving Time: 0.205904
  92      [java] Done with finding holes : Flag = true
  93      [java] Done with finding holes : Flag = true
  94      [java] Done with finding holes : Flag = false
  95      [java] Done with finding holes : Flag = true
  96      [java] 1588133849912 Original Encoding Solving Time: 0.267063
  97      [java] 1588133849912 Original Encoding Incremental Solving Time: 0.067204
  98      [java] 1588133849932 Original Encoding Solving Time: 0.22976
  99      [java] 1588133849932 Original Encoding Incremental Solving Time: 0.024359
 100      [java] Path Solving Time: 12.070903
 101      [java] Path Solving Time: 2.255566
 102      [java] 1588133849963 Original Encoding Solving Time: 0.591239
 103      [java] 1588133849963 Original Encoding Incremental Solving Time: 0.166828
 104      [java] 1588133849988 Original Encoding Solving Time: 0.210276
 105      [java] 1588133849988 Original Encoding Incremental Solving Time: 0.062165
 106      [java] Done with finding holes : Flag = true
 107      [java] Done with finding holes : Flag = false
 108      [java] Done with finding holes : Flag = true
 109      [java] Done with finding holes : Flag = true
 110      [java] Done with finding holes : Flag = false
 111      [java] 1588133850006 Original Encoding Solving Time: 0.250856
 112      [java] 1588133850006 Original Encoding Incremental Solving Time: 0.029929
 113      [java] Path Solving Time: 12.776448
 114      [java] Path Solving Time: 2.121376
 115      [java] 1588133850038 Original Encoding Solving Time: 0.546431
 116      [java] 1588133850038 Original Encoding Incremental Solving Time: 0.223323
 117      [java] 1588133850066 Original Encoding Solving Time: 0.453159
 118      [java] 1588133850066 Original Encoding Incremental Solving Time: 0.062469
 119      [java] 1588133850084 Original Encoding Solving Time: 0.248928
 120      [java] 1588133850084 Original Encoding Incremental Solving Time: 0.035476
 121      [java] Path Solving Time: 5.468147
 122      [java] Path Solving Time: 2.043368
 123      [java] Done with finding holes : Flag = true
 124      [java] Done with finding holes : Flag = true
 125      [java] Done with finding holes : Flag = false
 126      [java] Done with finding holes : Flag = true
 127      [java] Done with finding holes : Flag = true
 128      [java] 1588133850109 Original Encoding Solving Time: 1.054086
 129      [java] 1588133850109 Original Encoding Incremental Solving Time: 0.308199
 130      [java] 1588133850129 Original Encoding Solving Time: 0.225178
 131      [java] 1588133850129 Original Encoding Incremental Solving Time: 0.056271
 132      [java] 1588133850141 Original Encoding Solving Time: 0.172422
 133      [java] 1588133850141 Original Encoding Incremental Solving Time: 0.015469
 134      [java] Path Solving Time: 4.268585
 135      [java] Path Solving Time: 1.74394
 136      [java] 1588133850164 Original Encoding Solving Time: 0.536882
 137      [java] 1588133850164 Original Encoding Incremental Solving Time: 0.138171
 138      [java] 1588133850182 Original Encoding Solving Time: 0.209908
 139      [java] 1588133850182 Original Encoding Incremental Solving Time: 0.049005
 140      [java] 1588133850194 Original Encoding Solving Time: 0.21059
 141      [java] 1588133850194 Original Encoding Incremental Solving Time: 0.026576
 142      [java] Path Solving Time: 4.176376
 143      [java] Done with finding holes : Flag = false
 144      [java] Done with finding holes : Flag = true
 145      [java] Done with finding holes : Flag = true
 146      [java] Done with finding holes : Flag = false
 147      [java] Done with finding holes : Flag = true
 148      [java] Path Solving Time: 1.846813
 149      [java] 1588133850218 Original Encoding Solving Time: 0.722044
 150      [java] 1588133850218 Original Encoding Incremental Solving Time: 0.83187
 151      [java] 1588133850238 Original Encoding Solving Time: 0.237899
 152      [java] 1588133850238 Original Encoding Incremental Solving Time: 0.039981
 153      [java] 1588133850250 Original Encoding Solving Time: 0.177699
 154      [java] 1588133850250 Original Encoding Incremental Solving Time: 0.027363
 155      [java] Path Solving Time: 3.896868
 156      [java] Path Solving Time: 1.646125
 157      [java] 1588133850273 Original Encoding Solving Time: 0.532878
 158      [java] 1588133850273 Original Encoding Incremental Solving Time: 0.181496
 159      [java] 1588133850295 Original Encoding Solving Time: 0.241098
 160      [java] 1588133850295 Original Encoding Incremental Solving Time: 0.053801
 161      [java] Done with finding holes : Flag = true
 162      [java] Done with finding holes : Flag = false
 163      [java] Done with finding holes : Flag = true
 164      [java] Done with finding holes : Flag = true
 165      [java] Done with finding holes : Flag = false
 166      [java] Done with finding holes : Flag = true
 167      [java] 1588133850307 Original Encoding Solving Time: 0.180487
 168      [java] 1588133850307 Original Encoding Incremental Solving Time: 0.014627
 169      [java] Path Solving Time: 3.895807
 170      [java] Path Solving Time: 1.184585
 171      [java] 1588133850328 Original Encoding Solving Time: 0.401857
 172      [java] 1588133850328 Original Encoding Incremental Solving Time: 0.127787
 173      [java] 1588133850344 Original Encoding Solving Time: 0.251565
 174      [java] 1588133850344 Original Encoding Incremental Solving Time: 0.057531
 175      [java] 1588133850355 Original Encoding Solving Time: 0.197818
 176      [java] 1588133850355 Original Encoding Incremental Solving Time: 0.015223
 177      [java] Path Solving Time: 3.529136
 178      [java] Path Solving Time: 1.124619
 179      [java] 1588133850377 Original Encoding Solving Time: 0.979538
 180      [java] 1588133850377 Original Encoding Incremental Solving Time: 2.078012
 181      [java] 1588133850399 Original Encoding Solving Time: 3.362129
 182      [java] 1588133850399 Original Encoding Incremental Solving Time: 0.049894
 183      [java] Renaming procedure ...
 184      [java] Done with finding holes : Flag = true
 185      [java] Done with finding holes : Flag = false
 186      [java] Done with finding holes : Flag = true
 187      [java] Done with finding holes : Flag = true
 188      [java] Done with finding holes : Flag = false
 189      [java] Done with finding holes : Flag = true
 190      [java] 1588133850411 Original Encoding Solving Time: 0.172581
 191      [java] 1588133850411 Original Encoding Incremental Solving Time: 0.015381
 192      [java] Path Solving Time: 3.512759
 193      [java] Path Solving Time: 1.226836
 194      [java] 1588133850432 Original Encoding Solving Time: 0.442564
 195      [java] 1588133850432 Original Encoding Incremental Solving Time: 0.111087
 196      [java] 1588133850448 Original Encoding Solving Time: 0.204043
 197      [java] 1588133850448 Original Encoding Incremental Solving Time: 0.060934
 198      [java] 1588133850458 Original Encoding Solving Time: 0.162344
 199      [java] 1588133850458 Original Encoding Incremental Solving Time: 0.013684
 200      [java] Path Solving Time: 3.471565
 201      [java] Path Solving Time: 0.854522
 202      [java] 1588133850478 Original Encoding Solving Time: 0.360356
 203      [java] 1588133850478 Original Encoding Incremental Solving Time: 0.108082
 204      [java] 1588133850492 Original Encoding Solving Time: 0.276394
 205      [java] 1588133850492 Original Encoding Incremental Solving Time: 0.05489
 206      [java] Done with finding holes : Flag = true
 207      [java] Done with finding holes : Flag = false
 208      [java] 1588133850504 Original Encoding Solving Time: 0.244029
 209      [java] 1588133850504 Original Encoding Incremental Solving Time: 0.019695
 210      [java] Path Solving Time: 11.383252
 211      [java] Path Solving Time: 7.834806
 212      [java] Path Solving Time: 0.669853
 213      [java] Path Solving Time: 0.530966
 214      [java] Path Solving Time: 57.517969
 215      [java] 1588133850599 Original Encoding Solving Time: 0.56004
 216      [java] 1588133850599 Original Encoding Incremental Solving Time: 0.233087
 217      [java] Done with finding holes : Flag = true
 218      [java] Done with finding holes : Flag = true
 219      [java] Renaming procedure ...
 220      [java] Done with finding holes : Flag = false
 221      [java] 1588133850613 Original Encoding Solving Time: 0.22017
 222      [java] 1588133850613 Original Encoding Incremental Solving Time: 0.054417
 223      [java] 1588133850625 Original Encoding Solving Time: 2.021624
 224      [java] serializing ...
 225      [java] {BooleanLogic<0x7fa3889abc10>: OR
 226      [java] {BooleanPredicate<0x7fa3889ca110>:
 227      [java] PredicateOperator: ==
 228      [java] elements:
 229      [java] {ElementSet<0x7fa388977b60>:{Set(1)<0x7fa3887645a0>:Members: 59, } 0x7fa388977b60 UNASSIGNED }{ElementConst<0x7fa3887631a0>: 59}
 230      [java] }
 231      [java] {BooleanPredicate<0x7fa3880d8230>:
 232      [java] PredicateOperator: ==
 233      [java] elements:
 234      [java] {ElementSet<0x7fa388385380>:{Set(1)<0x7fa3880d98f0>:Members: 59, 62, } 0x7fa388385380 UNASSIGNED }{ElementConst<0x7fa3887631a0>: 59}
 235      [java] }
 236      [java] }
 237      [java]
 238      [java] {BooleanLogic<0x7fa388776890>: OR
 239      [java] {BooleanPredicate<0x7fa38877d960>:
 240      [java] PredicateOperator: ==
 241      [java] elements:
 242      [java] {ElementSet<0x7fa388977860>:{Set(1)<0x7fa388977d90>:Members: 60, 61, } 0x7fa388977860 UNASSIGNED }{ElementConst<0x7fa3889bb940>: 60}
 243      [java] }
 244      [java] {BooleanPredicate<0x7fa3889a89c0>:
 245      [java] PredicateOperator: ==
 246      [java] elements:
 247      [java] {ElementSet<0x7fa388977be0>:{Set(1)<0x7fa388999840>:Members: 60, 61, } 0x7fa388977be0 UNASSIGNED }{ElementConst<0x7fa3889bb940>: 60}
 248      [java] }
 249      [java] }
 250      [java]
 251      [java] {BooleanLogic<0x7fa3884d23f0>: OR
 252      [java] {BooleanPredicate<0x7fa388997810>:
 253      [java] PredicateOperator: ==
 254      [java] elements:
 255      [java] {ElementSet<0x7fa388977860>:{Set(1)<0x7fa388977d90>:Members: 60, 61, } 0x7fa388977860 UNASSIGNED }{ElementConst<0x7fa38877dfd0>: 61}
 256      [java] }
 257      [java] {BooleanPredicate<0x7fa3889c36a0>:
 258      [java] PredicateOperator: ==
 259      [java] elements:
 260      [java] {ElementSet<0x7fa388977be0>:{Set(1)<0x7fa388999840>:Members: 60, 61, } 0x7fa388977be0 UNASSIGNED }{ElementConst<0x7fa38877dfd0>: 61}
 261      [java] }
 262      [java] }
 263      [java]
 264      [java] {BooleanLogic<0x7fa3889b90a0>: OR
 265      [java] {BooleanPredicate<0x7fa3889bb530>:
 266      [java] PredicateOperator: ==
 267      [java] elements:
 268      [java] {ElementSet<0x7fa388385380>:{Set(1)<0x7fa3880d98f0>:Members: 59, 62, } 0x7fa388385380 UNASSIGNED }{ElementConst<0x7fa38897df00>: 62}
 269      [java] }
 270      [java] }
 271      [java]
 272      [java] {BooleanLogic<0x7fa3880d5560>: OR
 273      [java] {BooleanPredicate<0x7fa388973310>:
 274      [java] PredicateOperator: ==
 275      [java] elements:
 276      [java] {ElementSet<0x7fa3880d8840>:{Set(1)<0x7fa388769650>:Members: 63, } 0x7fa3880d8840 UNASSIGNED }{ElementConst<0x7fa388762e20>: 63}
 277      [java] }
 278      [java] }
 279      [java]
 280      [java] {BooleanLogic<0x7fa3881f6560>: OR
 281      [java] {BooleanLogic<0x7fa3889a8ee0>: NOT
 282      [java] {BooleanPredicate<0x7fa3889ca110>:
 283      [java] PredicateOperator: ==
 284      [java] elements:
 285      [java] {ElementSet<0x7fa388977b60>:{Set(1)<0x7fa3887645a0>:Members: 59, } 0x7fa388977b60 UNASSIGNED }{ElementConst<0x7fa3887631a0>: 59}
 286      [java] }
 287      [java] }
 288      [java] {BooleanLogic<0x7fa388389b90>: NOT
 289      [java] {BooleanPredicate<0x7fa38877d960>:
 290      [java] PredicateOperator: ==
 291      [java] elements:
 292      [java] {ElementSet<0x7fa388977860>:{Set(1)<0x7fa388977d90>:Members: 60, 61, } 0x7fa388977860 UNASSIGNED }{ElementConst<0x7fa3889bb940>: 60}
 293      [java] }
 294      [java] }
 295      [java] {BooleanLogic<0x7fa388389c70>: NOT
 296      [java] {BooleanPredicate<0x7fa38877d960>:
 297      [java] PredicateOperator: ==
 298      [java] elements:
 299      [java] {ElementSet<0x7fa388977860>:{Set(1)<0x7fa388977d90>:Members: 60, 61, } 0x7fa388977860 UNASSIGNED }{ElementConst<0x7fa3889bb940>: 60}
 300      [java] }
 301      [java] }
 302      [java] {BooleanLogic<0x7fa3881f5fa0>: NOT
 303      [java] {BooleanPredicate<0x7fa3889a89c0>:
 304      [java] PredicateOperator: ==
 305      [java] elements:
 306      [java] {ElementSet<0x7fa388977be0>:{Set(1)<0x7fa388999840>:Members: 60, 61, } 0x7fa388977be0 UNASSIGNED }{ElementConst<0x7fa3889bb940>: 60}
 307      [java] }
 308      [java] }
 309      [java] {BooleanLogic<0x7fa3881f6190>: NOT
 310      [java] {BooleanPredicate<0x7fa3889a89c0>:
 311      [java] PredicateOperator: ==
 312      [java] elements:
 313      [java] {ElementSet<0x7fa388977be0>:{Set(1)<0x7fa388999840>:Members: 60, 61, } 0x7fa388977be0 UNASSIGNED }{ElementConst<0x7fa3889bb940>: 60}
 314      [java] }
 315      [java] }
 316      [java] {BooleanLogic<0x7fa3881f6270>: NOT
 317      [java] {BooleanPredicate<0x7fa388973310>:
 318      [java] PredicateOperator: ==
 319      [java] elements:
 320      [java] {ElementSet<0x7fa3880d8840>:{Set(1)<0x7fa388769650>:Members: 63, } 0x7fa3880d8840 UNASSIGNED }{ElementConst<0x7fa388762e20>: 63}
 321      [java] }
 322      [java] }
 323      [java] {BooleanLogic<0x7fa3881f6350>: NOT
 324      [java] {BooleanPredicate<0x7fa3880d8230>:
 325      [java] PredicateOperator: ==
 326      [java] elements:
 327      [java] {ElementSet<0x7fa388385380>:{Set(1)<0x7fa3880d98f0>:Members: 59, 62, } 0x7fa388385380 UNASSIGNED }{ElementConst<0x7fa3887631a0>: 59}
 328      [java] }
 329      [java] }
 330      [java] {BooleanLogic<0x7fa3881f6430>: NOT
 331      [java] {BooleanPredicate<0x7fa3880d8230>:
 332      [java] PredicateOperator: ==
 333      [java] elements:
 334      [java] {ElementSet<0x7fa388385380>:{Set(1)<0x7fa3880d98f0>:Members: 59, 62, } 0x7fa388385380 UNASSIGNED }{ElementConst<0x7fa3887631a0>: 59}
 335      [java] }
 336      [java] }
 337      [java] }
 338      [java]
 339      [java] serializing ...
 340      [java] {BooleanLogic<0x7fa3880d7ad0>: OR
 341      [java] {BooleanPredicate<0x7fa3889ca1a0>:
 342      [java] PredicateOperator: ==
 343      [java] elements:
 344      [java] {ElementSet<0x7fa3880d8840>:{Set(1)<0x7fa3881f6360>:Members: 77, } 0x7fa3880d8840 UNASSIGNED }{ElementConst<0x7fa3887631a0>: 77}
 345      [java] }
 346      [java] {BooleanPredicate<0x7fa3880d7510>:
 347      [java] PredicateOperator: ==
 348      [java] elements:
 349      [java] {ElementSet<0x7fa388977b60>:{Set(1)<0x7fa388999840>:Members: 77, } 0x7fa388977b60 UNASSIGNED }{ElementConst<0x7fa3887631a0>: 77}
 350      [java] }
 351      [java] {BooleanPredicate<0x7fa388777130>:
 352      [java] PredicateOperator: ==
 353      [java] elements:
 354      [java] {ElementSet<0x7fa388245d20>:{Set(1)<0x7fa3881f91a0>:Members: 77, 81, } 0x7fa388245d20 UNASSIGNED }{ElementConst<0x7fa3887631a0>: 77}
 355      [java] }
 356      [java] }
 357      [java]
 358      [java] {BooleanLogic<0x7fa388389c00>: OR
 359      [java] {BooleanPredicate<0x7fa3889ca360>:
 360      [java] PredicateOperator: ==
 361      [java] elements:
 362      [java] {ElementSet<0x7fa388977be0>:{Set(1)<0x7fa3881f6280>:Members: 78, 79, } 0x7fa388977be0 UNASSIGNED }{ElementConst<0x7fa388769e60>: 78}
 363      [java] }
 364      [java] {BooleanPredicate<0x7fa388389ed0>:
 365      [java] PredicateOperator: ==
 366      [java] elements:
 367      [java] {ElementSet<0x7fa388977860>:{Set(1)<0x7fa388769650>:Members: 78, 79, } 0x7fa388977860 UNASSIGNED }{ElementConst<0x7fa388769e60>: 78}
 368      [java] }
 369      [java] }
 370      [java]
 371      [java] {BooleanLogic<0x7fa388385330>: OR
 372      [java] {BooleanPredicate<0x7fa388384c90>:
 373      [java] PredicateOperator: ==
 374      [java] elements:
 375      [java] {ElementSet<0x7fa388977be0>:{Set(1)<0x7fa3881f6280>:Members: 78, 79, } 0x7fa388977be0 UNASSIGNED }{ElementConst<0x7fa3887696b0>: 79}
 376      [java] }
 377      [java] {BooleanPredicate<0x7fa3881f9110>:
 378      [java] PredicateOperator: ==
 379      [java] elements:
 380      [java] {ElementSet<0x7fa388977860>:{Set(1)<0x7fa388769650>:Members: 78, 79, } 0x7fa388977860 UNASSIGNED }{ElementConst<0x7fa3887696b0>: 79}
 381      [java] }
 382      [java] }
 383      [java]
 384      [java] {BooleanLogic<0x7fa388385450>: OR
 385      [java] {BooleanPredicate<0x7fa388390fb0>:
 386      [java] PredicateOperator: ==
 387      [java] elements:
 388      [java] {ElementSet<0x7fa388245d20>:{Set(1)<0x7fa3881f91a0>:Members: 77, 81, } 0x7fa388245d20 UNASSIGNED }{ElementConst<0x7fa38877dfd0>: 81}
 389      [java] }
 390      [java] }
 391      [java]
 392      [java] {BooleanLogic<0x7fa388242eb0>: OR
 393      [java] {BooleanLogic<0x7fa3884cdce0>: NOT
 394      [java] {BooleanPredicate<0x7fa3889ca1a0>:
 395      [java] PredicateOperator: ==
 396      [java] elements:
 397      [java] {ElementSet<0x7fa3880d8840>:{Set(1)<0x7fa3881f6360>:Members: 77, } 0x7fa3880d8840 UNASSIGNED }{ElementConst<0x7fa3887631a0>: 77}
 398      [java] }
 399      [java] }
 400      [java] {BooleanLogic<0x7fa3884cde30>: NOT
 401      [java] {BooleanPredicate<0x7fa3889ca360>:
 402      [java] PredicateOperator: ==
 403      [java] elements:
 404      [java] {ElementSet<0x7fa388977be0>:{Set(1)<0x7fa3881f6280>:Members: 78, 79, } 0x7fa388977be0 UNASSIGNED }{ElementConst<0x7fa388769e60>: 78}
 405      [java] }
 406      [java] }
 407      [java] {BooleanLogic<0x7fa3884cdf10>: NOT
 408      [java] {BooleanPredicate<0x7fa3889ca360>:
 409      [java] PredicateOperator: ==
 410      [java] elements:
 411      [java] {ElementSet<0x7fa388977be0>:{Set(1)<0x7fa3881f6280>:Members: 78, 79, } 0x7fa388977be0 UNASSIGNED }{ElementConst<0x7fa388769e60>: 78}
 412      [java] }
 413      [java] }
 414      [java] {BooleanLogic<0x7fa3884cdff0>: NOT
 415      [java] {BooleanPredicate<0x7fa388389ed0>:
 416      [java] PredicateOperator: ==
 417      [java] elements:
 418      [java] {ElementSet<0x7fa388977860>:{Set(1)<0x7fa388769650>:Members: 78, 79, } 0x7fa388977860 UNASSIGNED }{ElementConst<0x7fa388769e60>: 78}
 419      [java] }
 420      [java] }
 421      [java] {BooleanLogic<0x7fa3884ce0d0>: NOT
 422      [java] {BooleanPredicate<0x7fa388389ed0>:
 423      [java] PredicateOperator: ==
 424      [java] elements:
 425      [java] {ElementSet<0x7fa388977860>:{Set(1)<0x7fa388769650>:Members: 78, 79, } 0x7fa388977860 UNASSIGNED }{ElementConst<0x7fa388769e60>: 78}
 426      [java] }
 427      [java] }
 428      [java] {BooleanLogic<0x7fa3884ce2c0>: NOT
 429      [java] {BooleanPredicate<0x7fa3880d7510>:
 430      [java] PredicateOperator: ==
 431      [java] elements:
 432      [java] {ElementSet<0x7fa388977b60>:{Set(1)<0x7fa388999840>:Members: 77, } 0x7fa388977b60 UNASSIGNED }{ElementConst<0x7fa3887631a0>: 77}
 433      [java] }
 434      [java] }
 435      [java] {BooleanLogic<0x7fa3882453e0>: NOT
 436      [java] {BooleanPredicate<0x7fa388777130>:
 437      [java] PredicateOperator: ==
 438      [java] elements:
 439      [java] {ElementSet<0x7fa388245d20>:{Set(1)<0x7fa3881f91a0>:Members: 77, 81, } 0x7fa388245d20 UNASSIGNED }{ElementConst<0x7fa3887631a0>: 77}
 440      [java] }
 441      [java] }
 442      [java] {BooleanLogic<0x7fa388245320>: NOT
 443      [java] {BooleanPredicate<0x7fa388777130>:
 444      [java] PredicateOperator: ==
 445      [java] elements:
 446      [java] {ElementSet<0x7fa388245d20>:{Set(1)<0x7fa3881f91a0>:Members: 77, 81, } 0x7fa388245d20 UNASSIGNED }{ElementConst<0x7fa3887631a0>: 77}
 447      [java] }
 448      [java] }
 449      [java] }
 450      [java]
 451      [java] {BooleanLogic<0x7fa388253280>: OR
 452      [java] {BooleanLogic<0x7fa3884d1760>: NOT
 453      [java] {BooleanPredicate<0x7fa3889ca1a0>:
 454      [java] PredicateOperator: ==
 455      [java] elements:
 456      [java] {ElementSet<0x7fa3880d8840>:{Set(1)<0x7fa3881f6360>:Members: 77, } 0x7fa3880d8840 UNASSIGNED }{ElementConst<0x7fa3887631a0>: 77}
 457      [java] }
 458      [java] }
 459      [java] {BooleanLogic<0x7fa388242e20>: NOT
 460      [java] {BooleanPredicate<0x7fa3889ca360>:
 461      [java] PredicateOperator: ==
 462      [java] elements:
 463      [java] {ElementSet<0x7fa388977be0>:{Set(1)<0x7fa3881f6280>:Members: 78, 79, } 0x7fa388977be0 UNASSIGNED }{ElementConst<0x7fa388769e60>: 78}
 464      [java] }
 465      [java] }
 466      [java] {BooleanLogic<0x7fa3880e3b30>: NOT
 467      [java] {BooleanPredicate<0x7fa3889ca360>:
 468      [java] PredicateOperator: ==
 469      [java] elements:
 470      [java] {ElementSet<0x7fa388977be0>:{Set(1)<0x7fa3881f6280>:Members: 78, 79, } 0x7fa388977be0 UNASSIGNED }{ElementConst<0x7fa381588133850625 Original Encoding Incremental Solving Time: 0.032775
 471      [java] Path Solving Time: 32.280433
 472      [java] Path Solving Time: 24.158183
 473      [java] Done with finding holes : Flag = true
 474      [java] Done with finding holes : Flag = true
 475      [java] Renaming procedure ...
 476      [java] Done with finding holes : Flag = false
 477      [java] Path Solving Time: 37.540864
 478      [java] 1588133850736 Original Encoding Solving Time: 0.283646
 479      [java] 1588133850736 Original Encoding Incremental Solving Time: 0.081307
 480      [java] 1588133850748 Original Encoding Solving Time: 0.180005
 481      [java] 1588133850748 Original Encoding Incremental Solving Time: 0.025029
 482      [java] 1588133850759 Original Encoding Solving Time: 2.245849
 483      [java] 8769e60>: 78}
 484      [java] }
 485      [java] }
 486      [java] {BooleanLogic<0x7fa388252dd0>: NOT
 487      [java] {BooleanPredicate<0x7fa388389ed0>:
 488      [java] PredicateOperator: ==
 489      [java] elements:
 490      [java] {ElementSet<0x7fa388977860>:{Set(1)<0x7fa388769650>:Members: 78, 79, } 0x7fa388977860 UNASSIGNED }{ElementConst<0x7fa388769e60>: 78}
 491      [java] }
 492      [java] }
 493      [java] {BooleanLogic<0x7fa388252eb0>: NOT
 494      [java] {BooleanPredicate<0x7fa388389ed0>:
 495      [java] PredicateOperator: ==
 496      [java] elements:
 497      [java] {ElementSet<0x7fa388977860>:{Set(1)<0x7fa388769650>:Members: 78, 79, } 0x7fa388977860 UNASSIGNED }{ElementConst<0x7fa388769e60>: 78}
 498      [java] }
 499      [java] }
 500      [java] {BooleanLogic<0x7fa388252f90>: NOT
 501      [java] {BooleanPredicate<0x7fa3880d7510>:
 502      [java] PredicateOperator: ==
 503      [java] elements:
 504      [java] {ElementSet<0x7fa388977b60>:{Set(1)<0x7fa388999840>:Members: 77, } 0x7fa388977b60 UNASSIGNED }{ElementConst<0x7fa3887631a0>: 77}
 505      [java] }
 506      [java] }
 507      [java] {BooleanLogic<0x7fa388253070>: NOT
 508      [java] {BooleanPredicate<0x7fa388777130>:
 509      [java] PredicateOperator: ==
 510      [java] elements:
 511      [java] {ElementSet<0x7fa388245d20>:{Set(1)<0x7fa3881f91a0>:Members: 77, 81, } 0x7fa388245d20 UNASSIGNED }{ElementConst<0x7fa3887631a0>: 77}
 512      [java] }
 513      [java] }
 514      [java] {BooleanLogic<0x7fa388253150>: NOT
 515      [java] {BooleanPredicate<0x7fa388777130>:
 516      [java] PredicateOperator: ==
 517      [java] elements:
 518      [java] {ElementSet<0x7fa388245d20>:{Set(1)<0x7fa3881f91a0>:Members: 77, 81, } 0x7fa388245d20 UNASSIGNED }{ElementConst<0x7fa3887631a0>: 77}
 519      [java] }
 520      [java] }
 521      [java] }
 522      [java]
 523      [java] serializing ...
 524      [java] {BooleanLogic<0x7fa3889c8560>: OR
 525      [java] {BooleanPredicate<0x7fa388384c90>:
 526      [java] PredicateOperator: ==
 527      [java] elements:
 528      [java] {ElementSet<0x7fa388977860>:{Set(1)<0x7fa388999840>:Members: 82, } 0x7fa388977860 UNASSIGNED }{ElementConst<0x7fa38897df00>: 82}
 529      [java] }
 530      [java] {BooleanPredicate<0x7fa388389ed0>:
 531      [java] PredicateOperator: ==
 532      [java] elements:
 533      [java] {ElementSet<0x7fa388253780>:{Set(1)<0x7fa3889bb530>:Members: 82, 86, } 0x7fa388253780 UNASSIGNED }{ElementConst<0x7fa38897df00>: 82}
 534      [java] }
 535      [java] }
 536      [java]
 537      [java] {BooleanLogic<0x7fa3884cf4a0>: OR
 538      [java] {BooleanPredicate<0x7fa3889ca360>:
 539      [java] PredicateOperator: ==
 540      [java] elements:
 541      [java] {ElementSet<0x7fa3880d8840>:{Set(1)<0x7fa3881f6280>:Members: 83, 84, } 0x7fa3880d8840 UNASSIGNED }{ElementConst<0x7fa388776900>: 83}
 542      [java] }
 543      [java] {BooleanPredicate<0x7fa388777130>:
 544      [java] PredicateOperator: ==
 545      [java] elements:
 546      [java] {ElementSet<0x7fa388390fb0>:{Set(1)<0x7fa3881f6360>:Members: 83, 84, } 0x7fa388390fb0 UNASSIGNED }{ElementConst<0x7fa388776900>: 83}
 547      [java] }
 548      [java] }
 549      [java]
 550      [java] {BooleanLogic<0x7fa3881f97b0>: OR
 551      [java] {BooleanPredicate<0x7fa3880d7510>:
 552      [java] PredicateOperator: ==
 553      [java] elements:
 554      [java] {ElementSet<0x7fa3880d8840>:{Set(1)<0x7fa3881f6280>:Members: 83, 84, } 0x7fa3880d8840 UNASSIGNED }{ElementConst<0x7fa3881fbf50>: 84}
 555      [java] }
 556      [java] {BooleanPredicate<0x7fa3889ca1a0>:
 557      [java] PredicateOperator: ==
 558      [java] elements:
 559      [java] {ElementSet<0x7fa388390fb0>:{Set(1)<0x7fa3881f6360>:Members: 83, 84, } 0x7fa388390fb0 UNASSIGNED }{ElementConst<0x7fa3881fbf50>: 84}
 560      [java] }
 561      [java] }
 562      [java]
 563      [java] {BooleanLogic<0x7fa388763620>: OR
 564      [java] {BooleanPredicate<0x7fa3884cdd30>:
 565      [java] PredicateOperator: ==
 566      [java] elements:
 567      [java] {ElementSet<0x7fa388977be0>:{Set(1)<0x7fa388769650>:Members: 85, } 0x7fa388977be0 UNASSIGNED }{ElementConst<0x7fa388393860>: 85}
 568      [java] }
 569      [java] }
 570      [java]
 571      [java] {BooleanLogic<0x7fa388245d40>: OR
 572      [java] {BooleanPredicate<0x7fa3881f9110>:
 573      [java] PredicateOperator: ==
 574      [java] elements:
 575      [java] {ElementSet<0x7fa388253780>:{Set(1)<0x7fa3889bb530>:Members: 82, 86, } 0x7fa388253780 UNASSIGNED }{ElementConst<0x7fa388245300>: 86}
 576      [java] }
 577      [java] }
 578      [java]
 579      [java] {BooleanLogic<0x7fa388236f40>: OR
 580      [java] {BooleanLogic<0x7fa388247da0>: NOT
 581      [java] {BooleanPredicate<0x7fa388384c90>:
 582      [java] PredicateOperator: ==
 583      [java] elements:
 584      [java] {ElementSet<0x7fa388977860>:{Set(1)<0x7fa388999840>:Members: 82, } 0x7fa388977860 UNASSIGNED }{ElementConst<0x7fa38897df00>: 82}
 585      [java] }
 586      [java] }
 587      [java] {BooleanLogic<0x7fa388247e80>: NOT
 588      [java] {BooleanPredicate<0x7fa3884cdd30>:
 589      [java] PredicateOperator: ==
 590      [java] elements:
 591      [java] {ElementSet<0x7fa388977be0>:{Set(1)<0x7fa388769650>:Members: 85, } 0x7fa388977be0 UNASSIGNED }{ElementConst<0x7fa388393860>: 85}
 592      [java] }
 593      [java] }
 594      [java] {BooleanLogic<0x7fa388247f60>: NOT
 595      [java] {BooleanPredicate<0x7fa3889ca360>:
 596      [java] PredicateOperator: ==
 597      [java] elements:
 598      [java] {ElementSet<0x7fa3880d8840>:{Set(1)<0x7fa3881f6280>:Members: 83, 84, } 0x7fa3880d8840 UNASSIGNED }{ElementConst<0x7fa388776900>: 83}
 599      [java] }
 600      [java] }
 601      [java] {BooleanLogic<0x7fa388248040>: NOT
 602      [java] {BooleanPredicate<0x7fa3889ca360>:
 603      [java] PredicateOperator: ==
 604      [java] elements:
 605      [java] {ElementSet<0x7fa3880d8840>:{Set(1)<0x7fa3881f6280>:Members: 83, 84, } 0x7fa3880d8840 UNASSIGNED }{ElementConst<0x7fa388776900>: 83}
 606      [java] }
 607      [java] }
 608      [java] {BooleanLogic<0x7fa388236b70>: NOT
 609      [java] {BooleanPredicate<0x7fa388777130>:
 610      [java] PredicateOperator: ==
 611      [java] e1588133850759 Original Encoding Incremental Solving Time: 0.012572
 612      [java] Path Solving Time: 7.482248
 613      [java] Path Solving Time: 4.482129
 614      [java] 1588133850789 Original Encoding Solving Time: 0.409866
 615      [java] 1588133850789 Original Encoding Incremental Solving Time: 2.226702
 616      [java] 1588133850808 Original Encoding Solving Time: 0.222568
 617      [java] 1588133850808 Original Encoding Incremental Solving Time: 0.034604
 618      [java] 1588133850822 Original Encoding Solving Time: 1.951495
 619      [java] 1588133850822 Original Encoding Incremental Solving Time: 0.016819
 620      [java] Done with finding holes : Flag = true
 621      [java] Done with finding holes : Flag = true
 622      [java] Done with finding holes : Flag = false
 623      [java] Done with finding holes : Flag = true
 624      [java] Done with finding holes : Flag = true
 625      [java] Done with finding holes : Flag = false
 626      [java] Path Solving Time: 9.223874
 627      [java] Path Solving Time: 4.507476
 628      [java] 1588133850853 Original Encoding Solving Time: 0.70907
 629      [java] 1588133850853 Original Encoding Incremental Solving Time: 0.155688
 630      [java] 1588133850872 Original Encoding Solving Time: 0.250292
 631      [java] 1588133850872 Original Encoding Incremental Solving Time: 0.067369
 632      [java] 1588133850885 Original Encoding Solving Time: 0.200839
 633      [java] 1588133850885 Original Encoding Incremental Solving Time: 0.0116
 634      [java] Path Solving Time: 19.165459
 635      [java] Done with finding holes : Flag = true
 636      [java] Done with finding holes : Flag = true
 637      [java] Done with finding holes : Flag = false
 638      [java] Path Solving Time: 30.36762
 639      [java] Path Solving Time: 1.775742
 640      [java] 1588133850954 Original Encoding Solving Time: 0.426969
 641      [java] 1588133850954 Original Encoding Incremental Solving Time: 0.112091
 642      [java] 1588133850969 Original Encoding Solving Time: 0.345391
 643      [java] 1588133850969 Original Encoding Incremental Solving Time: 0.032901
 644      [java] 1588133850980 Original Encoding Solving Time: 0.200781
 645      [java] 1588133850980 Original Encoding Incremental Solving Time: 0.014827
 646      [java] Path Solving Time: 12.715833
 647      [java] Path Solving Time: 1.626629
 648      [java] 1588133851011 Original Encoding Solving Time: 0.485217
 649      [java] 1588133851011 Original Encoding Incremental Solving Time: 0.086276
 650      [java] Done with finding holes : Flag = true
 651      [java] Done with finding holes : Flag = true
 652      [java] Done with finding holes : Flag = false
 653      [java] Done with finding holes : Flag = true
 654      [java] Done with finding holes : Flag = true
 655      [java] 1588133851029 Original Encoding Solving Time: 0.302422
 656      [java] 1588133851029 Original Encoding Incremental Solving Time: 0.028808
 657      [java] 1588133851040 Original Encoding Solving Time: 0.182984
 658      [java] 1588133851040 Original Encoding Incremental Solving Time: 0.017164
 659      [java] Path Solving Time: 4.412244
 660      [java] Path Solving Time: 2.054708
 661      [java] 1588133851064 Original Encoding Solving Time: 0.43822
 662      [java] 1588133851064 Original Encoding Incremental Solving Time: 0.104665
 663      [java] 1588133851084 Original Encoding Solving Time: 0.234199
 664      [java] 1588133851084 Original Encoding Incremental Solving Time: 0.030825
 665      [java] 1588133851096 Original Encoding Solving Time: 0.201228
 666      [java] 1588133851096 Original Encoding Incremental Solving Time: 0.012746
 667      [java] Path Solving Time: 4.037753
 668      [java] Path Solving Time: 1.90599
 669      [java] 1588133851120 Original Encoding Solving Time: 0.491039
 670      [java] 1588133851120 Original Encoding Incremental Solving Time: 0.135793
 671      [java] Done with finding holes : Flag = false
 672      [java] Done with finding holes : Flag = true
 673      [java] Done with finding holes : Flag = true
 674      [java] 1588133851137 Original Encoding Solving Time: 0.232549
 675      [java] 1588133851137 Original Encoding Incremental Solving Time: 0.031749
 676      [java] Renaming procedure ...
 677      [java] Done with finding holes : Flag = false
 678      [java] Done with finding holes : Flag = true
 679      [java] 1588133851263 Original Encoding Solving Time: 2.553917
 680      [java] lements:
 681      [java] {ElementSet<0x7fa388390fb0>:{Set(1)<0x7fa3881f6360>:Members: 83, 84, } 0x7fa388390fb0 UNASSIGNED }{ElementConst<0x7fa388776900>: 83}
 682      [java] }
 683      [java] }
 684      [java] {BooleanLogic<0x7fa388236c50>: NOT
 685      [java] {BooleanPredicate<0x7fa388777130>:
 686      [java] PredicateOperator: ==
 687      [java] elements:
 688      [java] {ElementSet<0x7fa388390fb0>:{Set(1)<0x7fa3881f6360>:Members: 83, 84, } 0x7fa388390fb0 UNASSIGNED }{ElementConst<0x7fa388776900>: 83}
 689      [java] }
 690      [java] }
 691      [java] {BooleanLogic<0x7fa388236d30>: NOT
 692      [java] {BooleanPredicate<0x7fa388389ed0>:
 693      [java] PredicateOperator: ==
 694      [java] elements:
 695      [java] {ElementSet<0x7fa388253780>:{Set(1)<0x7fa3889bb530>:Members: 82, 86, } 0x7fa388253780 UNASSIGNED }{ElementConst<0x7fa38897df00>: 82}
 696      [java] }
 697      [java] }
 698      [java] {BooleanLogic<0x7fa388236e10>: NOT
 699      [java] {BooleanPredicate<0x7fa388389ed0>:
 700      [java] PredicateOperator: ==
 701      [java] elements:
 702      [java] {ElementSet<0x7fa388253780>:{Set(1)<0x7fa3889bb530>:Members: 82, 86, } 0x7fa388253780 UNASSIGNED }{ElementConst<0x7fa38897df00>: 82}
 703      [java] }
 704      [java] }
 705      [java] }
 706      [java]
 707      [java] {BooleanLogic<0x7fa3880de4c0>: OR
 708      [java] {BooleanLogic<0x7fa388237340>: NOT
 709      [java] {BooleanPredicate<0x7fa388384c90>:
 710      [java] PredicateOperator: ==
 711      [java] elements:
 712      [java] {ElementSet<0x7fa388977860>:{Set(1)<0x7fa388999840>:Members: 82, } 0x7fa388977860 UNASSIGNED }{ElementConst<0x7fa38897df00>: 82}
 713      [java] }
 714      [java] }
 715      [java] {BooleanLogic<0x7fa388237030>: NOT
 716      [java] {BooleanPredicate<0x7fa3884cdd30>:
 717      [java] PredicateOperator: ==
 718      [java] elements:
 719      [java] {ElementSet<0x7fa388977be0>:{Set(1)<0x7fa388769650>:Members: 85, } 0x7fa388977be0 UNASSIGNED }{ElementConst<0x7fa388393860>: 85}
 720      [java] }
 721      [java] }
 722      [java] {BooleanLogic<0x7fa3880ddf30>: NOT
 723      [java] {BooleanPredicate<0x7fa3889ca360>:
 724      [java] PredicateOperator: ==
 725      [java] elements:
 726      [java] {ElementSet<0x7fa3880d8840>:{Set(1)<0x7fa3881f6280>:Members: 83, 84, } 0x7fa3880d8840 UNASSIGNED }{ElementConst<0x7fa388776900>: 83}
 727      [java] }
 728      [java] }
 729      [java] {BooleanLogic<0x7fa3880de010>: NOT
 730      [java] {BooleanPredicate<0x7fa3889ca360>:
 731      [java] PredicateOperator: ==
 732      [java] elements:
 733      [java] {ElementSet<0x7fa3880d8840>:{Set(1)<0x7fa3881f6280>:Members: 83, 84, } 0x7fa3880d8840 UNASSIGNED }{ElementConst<0x7fa388776900>: 83}
 734      [java] }
 735      [java] }
 736      [java] {BooleanLogic<0x7fa3880de0f0>: NOT
 737      [java] {BooleanPredicate<0x7fa388777130>:
 738      [java] PredicateOperator: ==
 739      [java] elements:
 740      [java] {ElementSet<0x7fa388390fb0>:{Set(1)<0x7fa3881f6360>:Members: 83, 84, } 0x7fa388390fb0 UNASSIGNED }{ElementConst<0x7fa388776900>: 83}
 741      [java] }
 742      [java] }
 743      [java] {BooleanLogic<0x7fa3880de1d0>: NOT
 744      [java] {BooleanPredicate<0x7fa388777130>:
 745      [java] PredicateOperator: ==
 746      [java] elements:
 747      [java] {ElementSet<0x7fa388390fb0>:{Set(1)<0x7fa3881f6360>:Members: 83, 84, } 0x7fa388390fb0 UNASSIGNED }{ElementConst<0x7fa388776900>: 83}
 748      [java] }
 749      [java] }
 750      [java] {BooleanLogic<0x7fa3880de2b0>: NOT
 751      [java] {BooleanPredicate<0x7fa388389ed0>:
 752      [java] PredicateOperator: ==
 753      [java] elements:
 754      [java] {ElementSet<0x7fa388253780>:{Set(1)<0x7fa3889bb530>:Members: 82, 86, } 0x7fa388253780 UNASSIGNED }{ElementConst<0x7fa38897df00>: 82}
 755      [java] }
 756      [java] }
 757      [java] {BooleanLogic<0x7fa3880de390>: NOT
 758      [java] {BooleanPredicate<0x7fa388389ed0>:
 759      [java] PredicateOperator: ==
 760      [java] elements:
 761      [java] {ElementSet<0x7fa388253780>:{Set(1)<0x7fa3889bb530>:Members: 82, 86, } 0x7fa388253780 UNASSIGNED }{ElementConst<0x7fa38897df00>: 82}
 762      [java] }
 763      [java] }
 764      [java] }
 765      [java]
 766      [java] serializing ...
 767      [java] {BooleanLogic<0x7fa3884a7870>: OR
 768      [java] {BooleanPredicate<0x7fa388389ed0>:
 769      [java] PredicateOperator: ==
 770      [java] elements:
 771      [java] {ElementSet<0x7fa388977be0>:{Set(1)<0x7fa388769650>:Members: 118, } 0x7fa388977be0 UNASSIGNED }{ElementConst<0x7fa3887631a0>: 118}
 772      [java] }
 773      [java] {BooleanPredicate<0x7fa3880e3b10>:
 774      [java] PredicateOperator: ==
 775      [java] elements:
 776      [java] {ElementSet<0x7fa3883b7020>:{Set(1)<0x7fa3883ac3a0>:Members: 118, 122, } 0x7fa3883b7020 UNASSIGNED }{ElementConst<0x7fa3887631a0>: 118}
 777      [java] }
 778      [java] }
 779      [java]
 780      [java] {BooleanLogic<0x7fa3880de080>: OR
 781      [java] {BooleanPredicate<0x7fa3889ca360>:
 782      [java] PredicateOperator: ==
 783      [java] elements:
 784      [java] {ElementSet<0x7fa388390fb0>:{Set(1)<0x7fa3881f6360>:Members: 119, 120, } 0x7fa388390fb0 UNASSIGNED }{ElementConst<0x7fa3881fbf50>: 119}
 785      [java] }
 786      [java] {BooleanPredicate<0x7fa388777130>:
 787      [java] PredicateOperator: ==
 788      [java] elements:
 789      [java] {ElementSet<0x7fa388253780>:{Set(1)<0x7fa3880ddf40>:Members: 119, 120, } 0x7fa388253780 UNASSIGNED }{ElementConst<0x7fa3881fbf50>: 119}
 790      [java] }
 791      [java] }
 792      [java]
 793      [java] {BooleanLogic<0x7fa3883af390>: OR
 794      [java] {BooleanPredicate<0x7fa3880d7510>:
 795      [java] PredicateOperator: ==
 796      [java] elements:
 797      [java] {ElementSet<0x7fa388390fb0>:{Set(1)<0x7fa3881f6360>:Members: 119, 120, } 0x7fa388390fb0 UNASSIGNED }{ElementConst<0x7fa388776900>: 120}
 798      [java] }
 799      [java] {BooleanPredicate<0x7fa3889ca1a0>:
 800      [java] PredicateOperator: ==
 801      [java] elements:
 802      [java] {ElementSet<0x7fa388253780>:{Set(1)<0x7fa3880ddf40>:Members: 119, 120, } 0x7fa388253780 UNASSIGNED }{ElementConst<0x7fa388776900>: 120}
 803      [java] }
 804      [java] }
 805      [java]
 806      [java] {BooleanLogic<0x7fa38849ffd0>: OR
 807      [java] {BooleanPredicate<0x7fa3884a4cb0>:
 808      [java] PredicateOperator: ==
 809      [java] elements:
 810      [java] {ElementSet<0x7fa3880d8840>:{Set(1)<0x7fa3881f6280>:Members: 121, } 0x7fa3880d8840 UNASSIGNED }{ElementConst<0x7fa38877dfd0>: 121}
 811      [java] }
 812      [java] }
 813      [java]
 814      [java] {BooleanLogic<0x7fa3884a75e0>: OR
 815      [java] {BooleanPredicate<0x7fa3884cdce0>:
 816      [java] PredicateOperator: ==
 817      [java] elements:
 818      [java] {ElementSet<0x7fa3883b7020>:{Set(1)<0x7fa3883ac3a0>:Members: 118, 122, } 0x7fa3883b7020 UNASSIGNED }{ElementConst<0x7fa388393860>: 122}
 819      [java] }
 820      [java] }
 821      [java]
 822      [java] {BooleanLogic<0x7fa3883949d0>: OR
 823      [java] {BooleanLogic<0x7fa3883b47c0>: NOT
 824      [java] {BooleanPredicate<0x7fa388389ed0>:
 825      [java] PredicateOperator: ==
 826      [java] elements:
 827      [java] {ElementSet<0x7fa388977be0>:{Set(1)<0x7fa388769650>:Members: 118, } 0x7fa388977be0 UNASSIGNED }{ElementConst<0x7fa3887631a0>: 118}
 828      [java] }
 829      [java] }
 830      [java] {BooleanLogic<0x7fa388394250>: NOT
 831      [java] {BooleanPredicate<0x7fa3884a4cb0>:
 832      [java] PredicateOperator: ==
 833      [java] elements:
 834      [java] {ElementSet<0x7fa3880d8840>:{Set(1)<0x7fa3881f6280>:Members: 121, } 0x7fa3880d8840 UNASSIGNED }{ElementConst<0x7fa38877dfd0>: 121}
 835      [java] }
 836      [java] }
 837      [java] {BooleanLogic<0x7fa388394330>: NOT
 838      [java] {BooleanPredicate<0x7fa3889ca360>:
 839      [java] PredicateOperator: ==
 840      [java] elements:
 841      [java] {ElementSet<0x7fa388390fb0>:{Set(1)<0x7fa3881f6360>:Members: 119, 120, } 0x7fa388390fb0 UNASSIGNED }{ElementConst<0x7fa3881fbf50>: 119}
 842      [java] }
 843      [java] }
 844      [java] {BooleanLogic<0x7fa388394410>: NOT
 845      [java] {BooleanPredicate<0x7fa3889ca360>:
 846      [java] PredicateOperator: ==
 847      [java] elements:
 848      [java] {ElementSet<0x7fa388390fb0>:{Set(1)<0x7fa3881f6360>:Members: 119, 120, } 0x7fa388390fb0 UNASSIGNED }{ElementConst<0x7fa3881fbf50>: 119}
 849      [java] }
 850      [java] }
 851      [java] {BooleanLogic<0x7fa388394600>: NOT
 852      [java] {BooleanPredicate<0x7fa388777130>:
 853      [java] PredicateOperator: ==
 854      [java] elements:
 855      [java] {ElementSet<0x7fa388253780>:{Set(1)<0x7fa3880ddf40>:Members: 119, 120, } 0x7fa388253780 UNASSIGNED }{ElementConst<0x7fa3881fbf50>: 119}
 856      [java] }
 857      [java] }
 858      [java] {BooleanLogic<0x7fa3883946e0>: NOT
 859      [java] {BooleanPredicate<0x7fa388777130>:
 860      [java] PredicateOperator: ==
 861      [java] elements:
 862      [java] {ElementSet<0x7fa388253780>:{Set(1)<0x7fa3880ddf40>:Members: 119, 120, } 0x7fa388253780 UNASSIGNED }{ElementConst<0x7fa3881fbf50>: 119}
 863      [java] }
 864      [java] }
 865      [java] {BooleanLogic<0x7fa3883947c0>: NOT
 866      [java] {BooleanPredicate<0x7fa3880e3b10>:
 867      [java] PredicateOperator: ==
 868      [java] elements:
 869      [java] {ElementSet<0x7fa3883b7020>:{Set(1)<0x7fa3883ac3a0>:Members: 118, 122, } 0x7fa3883b7020 UNASSIGNED }{ElementConst<0x7fa3887631a0>: 118}
 870      [java] }
 871      [java] }
 872      [java] {BooleanLogic<0x7fa3883948a0>: NOT
 873      [java] {BooleanPredicate<0x7fa3880e3b10>:
 874      [java] PredicateOperator: ==
 875      [java] elements:
 876      [java] {ElementSet<0x7fa3883b7020>:{Set(1)<0x7fa3883ac3a0>:Members: 118, 122, } 0x7fa3883b7020 UNASSIGNED }{ElementConst<0x7fa3887631a0>: 118}
 877      [java] }
 878      [java] }
 879      [java] }
 880      [java]
 881      [java] {BooleanLogic<0x7fa388396be0>: OR
 882      [java] {BooleanLogic<0x7fa388394ea0>: NOT
 883      [java] {BooleanPredicate<0x7fa388389ed0>:
 884      [java] PredicateOperator: ==
 885      [java] elements:
 886      [java] {ElementSet<0x7fa388977be0>:{Set(1)<0x7fa388769650>:Members: 118, } 0x7fa388977be0 UNASSIGNED }{ElementConst<0x7fa3887631a0>: 118}
 887      [java] }
 888      [java] }
 889      [java] {BooleanLogic<0x7fa388394ac0>: NOT
 890      [java] {BooleanPredicate<0x7fa3884a4cb0>:
 891      [java] PredicateOperator: ==
 892      [java] elements:
 893      [java] {ElementSet<0x7fa3880d8840>:{Set(1)<0x7fa3881f6280>:Members: 121, } 0x7fa3880d8840 UNASSIGNED }{ElementConst<0x7fa38877dfd0>: 121}
 894      [java] }
 895      [java] }
 896      [java] {BooleanLogic<0x7fa388396650>: NOT
 897      [java] {BooleanPredicate<0x7fa3889ca360>:
 898      [java] PredicateOperator: ==
 899      [java] elements:
 900      [java] {ElementSet<0x7fa388390fb0>:{Set(1)<0x7fa3881f6360>:Members: 119, 120, } 0x7fa388390fb0 UNASSIGNED }{ElementConst<0x7fa3881fbf50>: 119}
 901      [java] }
 902      [java] }
 903      [java] {BooleanLogic<0x7fa388396730>: NOT
 904      [java] {BooleanPredicate<0x7fa3889ca360>:
 905      [java] PredicateOperator: ==
 906      [java] elements:
 907      [java] {ElementSet<0x7fa388390fb0>:{Set(1)<0x7fa3881f6360>:Members: 119, 120, } 0x7fa388390fb0 UNASSIGNED }{ElementConst<0x7fa3881fbf50>: 119}
 908      [java] }
 909      [java] }
 910      [java] {BooleanLogic<0x7fa388396810>: NOT
 911      [java] {BooleanPredicate<0x7fa388777130>:
 912      [java] PredicateOperator: ==
 913      [java] elements:
 914      [java] {ElementSet<0x7fa388253780>:{Set(1)<0x7fa3880ddf40>:Members: 119, 120, } 0x7fa388253780 UNASSIGNED }{ElementConst<0x7fa3881fbf50>: 119}
 915      [java] }
 916      [java] }
 917      [java] {BooleanLogic<0x7fa3883968f0>: NOT
 918      [java] {BooleanPredicate<0x7fa388777130>:
 919      [java] PredicateOperator: ==
 920      [java] elements:
 921      [java] {ElementSet<0x7fa388253780>:{Set(1)<0x7fa3880ddf40>:Members: 119, 120, } 0x7fa388253780 UNASSIGNED }{ElementConst<0x7fa3881fbf50>: 119}
 922      [java] }
 923      [java] }
 924      [java] {BooleanLogic<0x7fa3883969d0>: NOT
 925      [java] {BooleanPredicate<0x7fa3880e3b10>:
 926      [java] PredicateOperator: ==
 927      [java] elements:
 928      [java] {ElementSet<01588133851263 Original Encoding Incremental Solving Time: 0.027116
 929      [java] Path Solving Time: 1.903318
 930      [java] Path Solving Time: 1.697349
 931      [java] 1588133851287 Original Encoding Solving Time: 0.66937
 932      [java] 1588133851287 Original Encoding Incremental Solving Time: 0.16224
 933      [java] 1588133851305 Original Encoding Solving Time: 0.237045
 934      [java] 1588133851305 Original Encoding Incremental Solving Time: 0.02654
 935      [java] 1588133851318 Original Encoding Solving Time: 0.180424
 936      [java] 1588133851318 Original Encoding Incremental Solving Time: 0.010148
 937      [java] Path Solving Time: 2.32436
 938      [java] Path Solving Time: 1.339734
 939      [java] Done with finding holes : Flag = true
 940      [java] Done with finding holes : Flag = false
 941      [java] Done with finding holes : Flag = true
 942      [java] Done with finding holes : Flag = true
 943      [java] Done with finding holes : Flag = false
 944      [java] 1588133851348 Original Encoding Solving Time: 0.393641
 945      [java] 1588133851348 Original Encoding Incremental Solving Time: 0.112459
 946      [java] 1588133851363 Original Encoding Solving Time: 0.975855
 947      [java] 1588133851363 Original Encoding Incremental Solving Time: 0.023932
 948      [java] 1588133851373 Original Encoding Solving Time: 0.260434
 949      [java] 1588133851373 Original Encoding Incremental Solving Time: 0.008198
 950      [java] Path Solving Time: 2.344493
 951      [java] Path Solving Time: 1.333389
 952      [java] 1588133851396 Original Encoding Solving Time: 0.431981
 953      [java] 1588133851396 Original Encoding Incremental Solving Time: 0.15985
 954      [java] 1588133851412 Original Encoding Solving Time: 0.198258
 955      [java] 1588133851412 Original Encoding Incremental Solving Time: 0.019172
 956      [java] 1588133851422 Original Encoding Solving Time: 0.18441
 957      [java] 1588133851422 Original Encoding Incremental Solving Time: 0.011144
 958      [java] Path Solving Time: 2.426622
 959      [java] Path Solving Time: 1.259007
 960      [java] Done with finding holes : Flag = true
 961      [java] Done with finding holes : Flag = true
 962      [java] Done with finding holes : Flag = false
 963      [java] Done with finding holes : Flag = true
 964      [java] Done with finding holes : Flag = true
 965      [java] Done with finding holes : Flag = false
 966      [java] 1588133851448 Original Encoding Solving Time: 0.532286
 967      [java] 1588133851448 Original Encoding Incremental Solving Time: 0.341242
 968      [java] 1588133851467 Original Encoding Solving Time: 1.118258
 969      [java] 1588133851467 Original Encoding Incremental Solving Time: 0.034316
 970      [java] 1588133851479 Original Encoding Solving Time: 0.217309
 971      [java] 1588133851479 Original Encoding Incremental Solving Time: 0.00864
 972      [java] Path Solving Time: 12.815735
 973      [java] Path Solving Time: 1.189899
 974      [java] 1588133851512 Original Encoding Solving Time: 0.40787
 975      [java] 1588133851512 Original Encoding Incremental Solving Time: 0.22601
 976      [java] 1588133851525 Original Encoding Solving Time: 0.174552
 977      [java] 1588133851525 Original Encoding Incremental Solving Time: 0.026471
 978      [java] Done with finding holes : Flag = true
 979      [java] Done with finding holes : Flag = true
 980      [java] Done with finding holes : Flag = false
 981      [java] Done with finding holes : Flag = true
 982      [java] Done with finding holes : Flag = true
 983      [java] 1588133851534 Original Encoding Solving Time: 0.146517
 984      [java] 1588133851534 Original Encoding Incremental Solving Time: 0.009463
 985      [java] Path Solving Time: 3.517649
 986      [java] Path Solving Time: 1.589507
 987      [java] 1588133851564 Original Encoding Solving Time: 0.411747
 988      [java] 1588133851564 Original Encoding Incremental Solving Time: 0.195224
 989      [java] 1588133851582 Original Encoding Solving Time: 0.244495
 990      [java] 1588133851582 Original Encoding Incremental Solving Time: 0.025361
 991      [java] 1588133851592 Original Encoding Solving Time: 0.222672
 992      [java] 1588133851592 Original Encoding Incremental Solving Time: 0.010121
 993      [java] Path Solving Time: 3.647689
 994      [java] Path Solving Time: 1.801185
 995      [java] 1588133851617 Original Encoding Solving Time: 0.368023
 996      [java] 1588133851617 Original Encoding Incremental Solving Time: 0.126088
 997      [java] 1588133851630 Original Encoding Solving Time: 0.199349
 998      [java] 1588133851630 Original Encoding Incremental Solving Time: 0.019878
 999      [java] Done with finding holes : Flag = false
1000      [java] Done with finding holes : Flag = true
1001      [java] Done with finding holes : Flag = true
1002      [java] Done with finding holes : Flag = false
1003      [java] Done with finding holes : Flag = true
1004      [java] Done with finding holes : Flag = true
1005      [java] 1588133851639 Original Encoding Solving Time: 0.160449
1006      [java] 1588133851639 Original Encoding Incremental Solving Time: 0.008073
1007      [java] Path Solving Time: 2.482626
1008      [java] Path Solving Time: 1.294696
1009      [java] 1588133851665 Original Encoding Solving Time: 0.878523
1010      [java] 1588133851665 Original Encoding Incremental Solving Time: 0.252363
1011      [java] 1588133851678 Original Encoding Solving Time: 0.215367
1012      [java] 1588133851678 Original Encoding Incremental Solving Time: 0.045042
1013      [java] 1588133851687 Original Encoding Solving Time: 0.25052
1014      [java] 1588133851687 Original Encoding Incremental Solving Time: 0.009556
1015      [java] Path Solving Time: 2.472118
1016      [java] Path Solving Time: 1.452016
1017      [java] 1588133851719 Original Encoding Solving Time: 0.435175
1018      [java] 1588133851719 Original Encoding Incremental Solving Time: 0.156033
1019      [java] Done with finding holes : Flag = false
1020      [java] Done with finding holes : Flag = true
1021      [java] Done with finding holes : Flag = true
1022      [java] Done with finding holes : Flag = false
1023      [java] Done with finding holes : Flag = true
1024      [java] 1588133851734 Original Encoding Solving Time: 0.225032
1025      [java] 1588133851734 Original Encoding Incremental Solving Time: 0.020959
1026      [java] 1588133851743 Original Encoding Solving Time: 0.199479
1027      [java] 1588133851743 Original Encoding Incremental Solving Time: 0.018803
1028      [java] Path Solving Time: 5.752382
1029      [java] Path Solving Time: 1.904699
1030      [java] 1588133851777 Original Encoding Solving Time: 0.46575
1031      [java] 1588133851777 Original Encoding Incremental Solving Time: 0.880812
1032      [java] 1588133851794 Original Encoding Solving Time: 0.232052
1033      [java] 1588133851794 Original Encoding Incremental Solving Time: 0.026948
1034      [java] 1588133851805 Original Encoding Solving Time: 0.189292
1035      [java] 1588133851805 Original Encoding Incremental Solving Time: 0.029296
1036      [java] 1588133851815 Original Encoding Solving Time: 0.187301
1037      [java] 1588133851815 Original Encoding Incremental Solving Time: 0.017504
1038      [java] 1588133851827 Original Encoding Solving Time: 1.486114
1039      [java] 1588133851827 Original Encoding Incremental Solving Time: 0.041831
1040      [java] Path Solving Time: 3.221147
1041      [java] Done with finding holes : Flag = true
1042      [java] Done with finding holes : Flag = true
1043      [java] Done with finding holes : Flag = true
1044      [java] Done with finding holes : Flag = false
1045      [java] Done with finding holes : Flag = true
1046      [java] Done with finding holes : Flag = true
1047      [java] Done with finding holes : Flag = true
1048      [java] Done with finding holes : Flag = true
1049      [java] Path Solving Time: 1.583751
1050      [java] 1588133851853 Original Encoding Solving Time: 0.533313
1051      [java] 1588133851853 Original Encoding Incremental Solving Time: 0.167566
1052      [java] 1588133851872 Original Encoding Solving Time: 0.209196
1053      [java] 1588133851872 Original Encoding Incremental Solving Time: 0.024776
1054      [java] 1588133851883 Original Encoding Solving Time: 0.210478
1055      [java] 1588133851883 Original Encoding Incremental Solving Time: 0.034425
1056      [java] 1588133851890 Original Encoding Solving Time: 0.173126
1057      [java] 1588133851890 Original Encoding Incremental Solving Time: 0.020937
1058      [java] 1588133851898 Original Encoding Solving Time: 0.141474
1059      [java] 1588133851898 Original Encoding Incremental Solving Time: 0.018881
1060      [java] Path Solving Time: 2.486705
1061      [java] Path Solving Time: 1.430818
1062      [java] 1588133851920 Original Encoding Solving Time: 0.381582
1063      [java] 1588133851920 Original Encoding Incremental Solving Time: 0.139194
1064      [java] Done with finding holes : Flag = false
1065      [java] Done with finding holes : Flag = true
1066      [java] Done with finding holes : Flag = true
1067      [java] Done with finding holes : Flag = true
1068      [java] Done with finding holes : Flag = true
1069      [java] Done with finding holes : Flag = false
1070      [java] Done with finding holes : Flag = true
1071      [java] Done with finding holes : Flag = true
1072      [java] 1588133851933 Original Encoding Solving Time: 0.149091
1073      [java] 1588133851933 Original Encoding Incremental Solving Time: 0.016992
1074      [java] 1588133851940 Original Encoding Solving Time: 0.18652
1075      [java] 1588133851940 Original Encoding Incremental Solving Time: 0.019764
1076      [java] 1588133851948 Original Encoding Solving Time: 0.159083
1077      [java] 1588133851948 Original Encoding Incremental Solving Time: 0.013314
1078      [java] 1588133851954 Original Encoding Solving Time: 0.149447
1079      [java] 1588133851954 Original Encoding Incremental Solving Time: 0.02349
1080      [java] Path Solving Time: 2.204946
1081      [java] Path Solving Time: 1.21867
1082      [java] 1588133851977 Original Encoding Solving Time: 0.415966
1083      [java] 1588133851977 Original Encoding Incremental Solving Time: 0.114219
1084      [java] 1588133851991 Original Encoding Solving Time: 0.189183
1085      [java] 1588133851991 Original Encoding Incremental Solving Time: 0.017947
1086      [java] 1588133851999 Original Encoding Solving Time: 0.199076
1087      [java] 1588133851999 Original Encoding Incremental Solving Time: 0.02316
1088      [java] 1588133852007 Original Encoding Solving Time: 0.19356
1089      [java] 1588133852007 Original Encoding Incremental Solving Time: 0.015654
1090      [java] 1588133852014 Original Encoding Solving Time: 0.166126
1091      [java] 1588133852014 Original Encoding Incremental Solving Time: 0.022062
1092      [java] Path Solving Time: 2.373989
1093      [java] Path Solving Time: 1.196201
1094      [java] Done with finding holes : Flag = true
1095      [java] Done with finding holes : Flag = true
1096      [java] Done with finding holes : Flag = false
1097      [java] Done with finding holes : Flag = true
1098      [java] Done with finding holes : Flag = true
1099      [java] Done with finding holes : Flag = true
1100      [java] Done with finding holes : Flag = true
1101      [java] Done with finding holes : Flag = false
1102      [java] 1588133852037 Original Encoding Solving Time: 0.386222
1103      [java] 1588133852037 Original Encoding Incremental Solving Time: 0.081427
1104      [java] 1588133852051 Original Encoding Solving Time: 0.363076
1105      [java] 1588133852051 Original Encoding Incremental Solving Time: 0.025242
1106      [java] 1588133852058 Original Encoding Solving Time: 0.180932
1107      [java] 1588133852058 Original Encoding Incremental Solving Time: 0.01802
1108      [java] 1588133852066 Original Encoding Solving Time: 0.172584
1109      [java] 1588133852066 Original Encoding Incremental Solving Time: 0.013096
1110      [java] 1588133852073 Original Encoding Solving Time: 0.150347
1111      [java] 1588133852073 Original Encoding Incremental Solving Time: 0.013853
1112      [java] Path Solving Time: 2.557931
1113      [java] Path Solving Time: 1.132501
1114      [java] 1588133852096 Original Encoding Solving Time: 0.329421
1115      [java] 1588133852096 Original Encoding Incremental Solving Time: 0.100412
1116      [java] 1588133852109 Original Encoding Solving Time: 0.190411
1117      [java] 1588133852109 Original Encoding Incremental Solving Time: 0.021119
1118      [java] 1588133852117 Original Encoding Solving Time: 0.236177
1119      [java] 1588133852117 Original Encoding Incremental Solving Time: 0.01766
1120      [java] 1588133852124 Original Encoding Solving Time: 0.176193
1121      [java] 1588133852124 Original Encoding Incremental Solving Time: 0.01406
1122      [java] 1588133852132 Original Encoding Solving Time: 0.168429
1123      [java] 1588133852132 Original Encoding Incremental Solving Time: 0.020517
1124      [java] Done with finding holes : Flag = true
1125      [java] Done with finding holes : Flag = true
1126      [java] Done with finding holes : Flag = true
1127      [java] Done with finding holes : Flag = true
1128      [java] Done with finding holes : Flag = false
1129      [java] Renaming procedure ...
1130      [java] Done with finding holes : Flag = true
1131      [java] Done with finding holes : Flag = true
1132      [java] Done with finding holes : Flag = true
1133      [java] Done with finding holes : Flag = true
1134      [java] Path Solving Time: 2.752809
1135      [java] Path Solving Time: 1.329883
1136      [java] 1588133852157 Original Encoding Solving Time: 2.114334
1137      [java] 1588133852157 Original Encoding Incremental Solving Time: 0.137112
1138      [java] 1588133852175 Original Encoding Solving Time: 0.203606
1139      [java] 1588133852175 Original Encoding Incremental Solving Time: 0.030878
1140      [java] 1588133852183 Original Encoding Solving Time: 0.167895
1141      [java] 1588133852183 Original Encoding Incremental Solving Time: 0.018694
1142      [java] 1588133852191 Original Encoding Solving Time: 0.187296
1143      [java] 1588133852191 Original Encoding Incremental Solving Time: 0.02206
1144      [java] 1588133852197 Original Encoding Solving Time: 0.14759
1145      [java] 1588133852197 Original Encoding Incremental Solving Time: 0.013432
1146      [java] Path Solving Time: 2.826402
1147      [java] Path Solving Time: 1.109157
1148      [java] 1588133852220 Original Encoding Solving Time: 0.394183
1149      [java] 1588133852220 Original Encoding Incremental Solving Time: 0.155941
1150      [java] Done with finding holes : Flag = false
1151      [java] Done with finding holes : Flag = true
1152      [java] Done with finding holes : Flag = true
1153      [java] Done with finding holes : Flag = true
1154      [java] Done with finding holes : Flag = true
1155      [java] Done with finding holes : Flag = false
1156      [java] Done with finding holes : Flag = true
1157      [java] 1588133852236 Original Encoding Solving Time: 0.249246
1158      [java] 1588133852236 Original Encoding Incremental Solving Time: 0.02438
1159      [java] 1588133852247 Original Encoding Solving Time: 0.204859
1160      [java] 1588133852247 Original Encoding Incremental Solving Time: 0.026458
1161      [java] 1588133852256 Original Encoding Solving Time: 0.170434
1162      [java] 1588133852256 Original Encoding Incremental Solving Time: 0.015374
1163      [java] 1588133852263 Original Encoding Solving Time: 0.14878
1164      [java] 1588133852263 Original Encoding Incremental Solving Time: 0.014215
1165      [java] Path Solving Time: 3.299688
1166      [java] Path Solving Time: 1.160732
1167      [java] 1588133852287 Original Encoding Solving Time: 0.506425
1168      [java] 1588133852287 Original Encoding Incremental Solving Time: 0.285595
1169      [java] 1588133852303 Original Encoding Solving Time: 0.189527
1170      [java] 1588133852303 Original Encoding Incremental Solving Time: 0.022604
1171      [java] 1588133852313 Original Encoding Solving Time: 0.309824
1172      [java] 1588133852313 Original Encoding Incremental Solving Time: 0.029184
1173      [java] 1588133852322 Original Encoding Solving Time: 0.158736
1174      [java] 1588133852322 Original Encoding Incremental Solving Time: 0.012704
1175      [java] 1588133852329 Original Encoding Solving Time: 0.138757
1176      [java] 1588133852329 Original Encoding Incremental Solving Time: 0.016052
1177      [java] Path Solving Time: 2.249868
1178      [java] Path Solving Time: 1.198351
1179      [java] Done with finding holes : Flag = true
1180      [java] Done with finding holes : Flag = true
1181      [java] Done with finding holes : Flag = true
1182      [java] Done with finding holes : Flag = false
1183      [java] Done with finding holes : Flag = true
1184      [java] Done with finding holes : Flag = true
1185      [java] Done with finding holes : Flag = true
1186      [java] Done with finding holes : Flag = true
1187      [java] Done with finding holes : Flag = false
1188      [java] 1588133852352 Original Encoding Solving Time: 0.433596
1189      [java] 1588133852352 Original Encoding Incremental Solving Time: 0.117509
1190      [java] 1588133852369 Original Encoding Solving Time: 0.210068
1191      [java] 1588133852369 Original Encoding Incremental Solving Time: 0.021012
1192      [java] 1588133852379 Original Encoding Solving Time: 0.196305
1193      [java] 1588133852379 Original Encoding Incremental Solving Time: 0.019333
1194      [java] 1588133852386 Original Encoding Solving Time: 0.219738
1195      [java] 1588133852386 Original Encoding Incremental Solving Time: 0.023655
1196      [java] 1588133852392 Original Encoding Solving Time: 0.17832
1197      [java] 1588133852392 Original Encoding Incremental Solving Time: 0.014677
1198      [java] Path Solving Time: 4.301258
1199      [java] Path Solving Time: 1.116554
1200      [java] 1588133852417 Original Encoding Solving Time: 0.318565
1201      [java] 1588133852417 Original Encoding Incremental Solving Time: 0.087609
1202      [java] 1588133852429 Original Encoding Solving Time: 0.167097
1203      [java] 1588133852429 Original Encoding Incremental Solving Time: 0.015569
1204      [java] Done with finding holes : Flag = true
1205      [java] Done with finding holes : Flag = true
1206      [java] Done with finding holes : Flag = true
1207      [java] Done with finding holes : Flag = true
1208      [java] Done with finding holes : Flag = false
1209      [java] Done with finding holes : Flag = true
1210      [java] Done with finding holes : Flag = true
1211      [java] 1588133852436 Original Encoding Solving Time: 0.170738
1212      [java] 1588133852436 Original Encoding Incremental Solving Time: 0.027394
1213      [java] 1588133852443 Original Encoding Solving Time: 0.185925
1214      [java] 1588133852443 Original Encoding Incremental Solving Time: 0.015955
1215      [java] 1588133852451 Original Encoding Solving Time: 1.463812
1216      [java] 1588133852451 Original Encoding Incremental Solving Time: 0.018599
1217      [java] Path Solving Time: 4.296482
1218      [java] Path Solving Time: 0.38469
1219      [java] 1588133852476 Original Encoding Solving Time: 0.453494
1220      [java] 1588133852476 Original Encoding Incremental Solving Time: 0.163064
1221      [java] 1588133852490 Original Encoding Solving Time: 0.251491
1222      [java] 1588133852490 Original Encoding Incremental Solving Time: 0.06011
1223      [java] 1588133852499 Original Encoding Solving Time: 1.097475
1224      [java] 1588133852499 Original Encoding Incremental Solving Time: 0.020282
1225      [java] Path Solving Time: 3.087218
1226      [java] Path Solving Time: 0.300991
1227      [java] 1588133852522 Original Encoding Solving Time: 0.379205
1228      [java] 1588133852522 Original Encoding Incremental Solving Time: 0.088092
1229      [java] Done with finding holes : Flag = false
1230      [java] Done with finding holes : Flag = true
1231      [java] Done with finding holes : Flag = true
1232      [java] Done with finding holes : Flag = false
1233      [java] Done with finding holes : Flag = true
1234      [java] Done with finding holes : Flag = true
1235      [java] Done with finding holes : Flag = false
1236      [java] 1588133852537 Original Encoding Solving Time: 0.165159
1237      [java] 1588133852537 Original Encoding Incremental Solving Time: 0.015188
1238      [java] 1588133852545 Original Encoding Solving Time: 0.136637
1239      [java] 1588133852545 Original Encoding Incremental Solving Time: 0.017877
1240      [java] Path Solving Time: 1.811904
1241      [java] Path Solving Time: 0.320284
1242      [java] 1588133852567 Original Encoding Solving Time: 0.450294
1243      [java] 1588133852567 Original Encoding Incremental Solving Time: 0.096398
1244      [java] 1588133852582 Original Encoding Solving Time: 0.31641
1245      [java] 1588133852582 Original Encoding Incremental Solving Time: 0.015665
1246      [java] 1588133852591 Original Encoding Solving Time: 0.171423
1247      [java] 1588133852591 Original Encoding Incremental Solving Time: 0.016303
1248      [java] Path Solving Time: 1.780204
1249      [java] Path Solving Time: 0.241712
1250      [java] 1588133852615 Original Encoding Solving Time: 0.329888
1251      [java] 1588133852615 Original Encoding Incremental Solving Time: 0.076325
1252      [java] 1588133852627 Original Encoding Solving Time: 0.17098
1253      [java] 1588133852627 Original Encoding Incremental Solving Time: 0.013758
1254      [java] 1588133852635 Original Encoding Solving Time: 0.135489
1255      [java] 1588133852635 Original Encoding Incremental Solving Time: 0.006485
1256      [java] Done with finding holes : Flag = true
1257      [java] Done with finding holes : Flag = true
1258      [java] Done with finding holes : Flag = false
1259      [java] Done with finding holes : Flag = true
1260      [java] Done with finding holes : Flag = true
1261      [java] Renaming procedure ...
1262      [java] Done with finding holes : Flag = false
1263      [java] Path Solving Time: 2.791241
1264      [java] Path Solving Time: 0.457733
1265      [java] 1588133852659 Original Encoding Solving Time: 0.446704
1266      [java] 1588133852659 Original Encoding Incremental Solving Time: 0.133605
1267      [java] 1588133852677 Original Encoding Solving Time: 0.194344
1268      [java] 1588133852677 Original Encoding Incremental Solving Time: 0.017464
1269      [java] 1588133852691 Original Encoding Solving Time: 3.757152
1270      [java] x7fa3883b7020>:{Set(1)<0x7fa3883ac3a0>:Members: 118, 122, } 0x7fa3883b7020 UNASSIGNED }{ElementConst<0x7fa3887631a0>: 118}
1271      [java] }
1272      [java] }
1273      [java] {BooleanLogic<0x7fa388396ab0>: NOT
1274      [java] {BooleanPredicate<0x7fa3880e3b10>:
1275      [java] PredicateOperator: ==
1276      [java] elements:
1277      [java] {ElementSet<0x7fa3883b7020>:{Set(1)<0x7fa3883ac3a0>:Members: 118, 122, } 0x7fa3883b7020 UNASSIGNED }{ElementConst<0x7fa3887631a0>: 118}
1278      [java] }
1279      [java] }
1280      [java] }
1281      [java]
1282      [java] serializing ...
1283      [java] {BooleanLogic<0x7fa388a1d250>: OR
1284      [java] {BooleanPredicate<0x7fa388384c90>:
1285      [java] PredicateOperator: ==
1286      [java] elements:
1287      [java] {ElementSet<0x7fa3884b81a0>:{Set(1)<0x7fa388769650>:Members: 214, 218, } 0x7fa3884b81a0 UNASSIGNED }{ElementConst<0x7fa3887631a0>: 214}
1288      [java] }
1289      [java] {BooleanPredicate<0x7fa3880e3b10>:
1290      [java] PredicateOperator: ==
1291      [java] elements:
1292      [java] {ElementSet<0x7fa388a22a80>:{Set(1)<0x7fa3883cc8f0>:Members: 214, 218, } 0x7fa388a22a80 UNASSIGNED }{ElementConst<0x7fa3887631a0>: 214}
1293      [java] }
1294      [java] }
1295      [java]
1296      [java] {BooleanLogic<0x7fa388a099a0>: OR
1297      [java] {BooleanPredicate<0x7fa3889ca360>:
1298      [java] PredicateOperator: ==
1299      [java] elements:
1300      [java] {ElementSet<0x7fa3884b2d80>:{Set(1)<0x7fa3881f6280>:Members: 215, 216, } 0x7fa3884b2d80 UNASSIGNED }{ElementConst<0x7fa388776900>: 215}
1301      [java] }
1302      [java] {BooleanPredicate<0x7fa388777130>:
1303      [java] PredicateOperator: ==
1304      [java] elements:
1305      [java] {ElementSet<0x7fa388977be0>:{Set(1)<0x7fa3883c9d20>:Members: 215, 216, } 0x7fa388977be0 UNASSIGNED }{ElementConst<0x7fa388776900>: 215}
1306      [java] }
1307      [java] }
1308      [java]
1309      [java] {BooleanLogic<0x7fa388a15640>: OR
1310      [java] {BooleanPredicate<0x7fa3889da180>:
1311      [java] PredicateOperator: ==
1312      [java] elements:
1313      [java] {ElementSet<0x7fa3884b2d80>:{Set(1)<0x7fa3881f6280>:Members: 215, 216, } 0x7fa3884b2d80 UNASSIGNED }{ElementConst<0x7fa388774c60>: 216}
1314      [java] }
1315      [java] {BooleanPredicate<0x7fa3889e2470>:
1316      [java] PredicateOperator: ==
1317      [java] elements:
1318      [java] {ElementSet<0x7fa388977be0>:{Set(1)<0x7fa3883c9d20>:Members: 215, 216, } 0x7fa388977be0 UNASSIGNED }{ElementConst<0x7fa388774c60>: 216}
1319      [java] }
1320      [java] }
1321      [java]
1322      [java] {BooleanLogic<0x7fa3889fd140>: OR
1323      [java] {BooleanPredicate<0x7fa388a09220>:
1324      [java] PredicateOperator: ==
1325      [java] elements:
1326      [java] {ElementSet<0x7fa3889d2a00>:{Set(1)<0x7fa3884c1fb0>:Members: 217, } 0x7fa3889d2a00 UNASSIGNED }{ElementConst<0x7fa388390900>: 217}
1327      [java] }
1328      [java] }
1329      [java]
1330      [java] {BooleanLogic<0x7fa3889ee440>: OR
1331      [java] {BooleanPredicate<0x7fa388389ed0>:
1332      [java] PredicateOperator: ==
1333      [java] elements:
1334      [java] {ElementSet<0x7fa3884b81a0>:{Set(1)<0x7fa388769650>:Members: 214, 218, } 0x7fa3884b81a0 UNASSIGNED }{ElementConst<0x7fa3884c21d0>: 218}
1335      [java] }
1336      [java] {BooleanPredicate<0x7fa3889e2600>:
1337      [java] PredicateOperator: ==
1338      [java] elements:
1339      [java] {ElementSet<0x7fa388a22a80>:{Set(1)<0x7fa3883cc8f0>:Members: 214, 218, } 0x7fa388a22a80 UNASSIGNED }{ElementConst<0x7fa3884c21d0>: 218}
1340      [java] }
1341      [java] }
1342      [java]
1343      [java] serializing ...
1344      [java] {BooleanLogic<0x7fa388a549b0>: OR
1345      [java] {BooleanPredicate<0x7fa388a4da30>:
1346      [java] PredicateOperator: ==
1347      [java] elements:
1348      [java] {ElementSet<0x7fa3884b81a0>:{Set(1)<0x7fa388a61130>:Members: 272, } 0x7fa3884b81a0 UNASSIGNED }{ElementConst<0x7fa3883aea90>: 272}
1349      [java] }
1350      [java] {BooleanPredicate<0x7fa388384c90>:
1351      [java] PredicateOperator: ==
1352      [java] elements:
1353      [java] {ElementSet<0x7fa388a86130>:{Set(1)<0x7fa3880dc2c0>:Members: 272, 278, } 0x7fa388a86130 UNASSIGNED }{ElementConst<0x7fa3883aea90>: 272}
1354      [java] }
1355      [java] }
1356      [java]
1357      [java] {BooleanLogic<0x7fa388a105f0>: OR
1358      [java] {BooleanPredicate<0x7fa388a55400>:
1359      [java] PredicateOperator: ==
1360      [java] elements:
1361      [java] {ElementSet<0x7fa3889d2a00>:{Set(1)<0x7fa388a61050>:Members: 273, 274, } 0x7fa3889d2a00 UNASSIGNED }{ElementConst<0x7fa3887696b0>: 273}
1362      [java] }
1363      [java] {BooleanPredicate<0x7fa388a3e610>:
1364      [java] PredicateOperator: ==
1365      [java] elements:
1366      [java] {ElementSet<0x7fa388a671f0>:{Set(1)<0x7fa388a60f70>:Members: 273, 274, } 0x7fa388a671f0 UNASSIGNED }{ElementConst<0x7fa3887696b0>: 273}
1367      [java] }
1368      [java] }
1369      [java]
1370      [java] {BooleanLogic<0x7fa388a78aa0>: OR
1371      [java] {BooleanPredicate<0x7fa388a60d80>:
1372      [java] PredicateOperator: ==
1373      [java] elements:
1374      [java] {ElementSet<0x7fa3889d2a00>:{Set(1)<0x7fa388a61050>:Members: 273, 274, } 0x7fa3889d2a00 UNASSIGNED }{ElementConst<0x7fa3884c21d0>: 274}
1375      [java] }
1376      [java] {BooleanPredicate<0x7fa388a24a80>:
1377      [java] PredicateOperator: ==
1378      [java] elements:
1379      [java] {ElementSet<0x7fa388a671f0>:{Set(1)<0x7fa388a60f70>:Members: 273, 274, } 0x7fa388a671f0 UNASSIGNED }{ElementConst<0x7fa3884c21d0>: 274}
1380      [java] }
1381      [java] }
1382      [java]
1383      [java] {BooleanLogic<0x7fa388a4e2d0>: OR
1384      [java] {BooleanPredicate<0x7fa388a802c0>:
1385      [java] PredicateOperator: ==
1386      [java] elements:
1387      [java] {ElementSet<0x7fa388a43150>:{Set(1)<0x7fa3884c1fb0>:Members: 275, } 0x7fa388a43150 UNASSIGNED }{ElementConst<0x7fa388769e60>: 275}
1388      [java] }
1389      [java] }
1390      [java]
1391      [java] {BooleanLogic<0x7fa388a803c0>: OR
1392      [java] {BooleanPredicate<0x7fa388a80a30>:
1393      [java] PredicateOperator: ==
1394      [java] elements:
1395      [java] {ElementSet<0x7fa388a89470>:{Set(1)<0x7fa3883c3b70>:Members: 276, } 0x7fa388a89470 UNASSIGNED }{ElementConst<0x7fa38897df00>: 276}
1396      [java] }
1397      [java] }
1398      [java]
1399      [java] {BooleanLogic<0x7fa388a860c0>: OR
1400      [java] {BooleanPredicate<0x7fa388a54c50>:
1401      [java] PredicateOperator: ==
1402      [java] elements:
1403      [java] {ElementSet<0x7fa388a85e50>:{Set(1)<0x7fa3884bf9a0>:Members: 277, } 0x7fa388a85e50 UNASSIGNED }{ElementConst<0x7fa388774c60>: 277}
1404      [java] }
1405      [java] }
1406      [java]
1407      [java] {BooleanLogic<0x7fa388a7dbb0>: OR
1408      [java] {BooleanPredicate<0x7fa388a54a90>:
1409      [java] PredicateOperator: ==
1410      [java] elements:
1411      [java] {ElementSet<0x7fa388a86130>:{Set(1)<0x7fa3880dc2c0>:Members: 272, 278, } 0x7fa388a86130 UNASSIGNED }{ElementConst<0x7fa388a35ba0>: 278}
1412      [java] }
1413      [java] }
1414      [java]
1415      [java] {BooleanLogic<0x7fa388a8e010>: OR
1416      [java] {BooleanLogic<0x7fa388a24930>: NOT
1417      [java] {BooleanPredicate<0x7fa388a4da30>:
1418      [java] PredicateOperator: ==
1419      [java] elements:
1420      [java] {ElementSet<0x7fa3884b81a0>:{Set(1)<0x7fa388a61130>:Members: 272, } 0x7fa3884b81a0 UNASSIGNED }{ElementConst<0x7fa3883aea90>: 272}
1421      [java] }
1422      [java] }
1423      [java] {BooleanLogic<0x7fa388a7d730>: NOT
1424      [java] {BooleanPredicate<0x7fa388a55400>:
1425      [java] PredicateOperator: ==
1426      [java] elements:
1427      [java] {ElementSet<0x7fa3889d2a00>:{Set(1)<0x7fa388a61050>:Members: 273, 274, } 0x7fa3889d2a00 UNASSIGNED }{ElementConst<0x7fa3887696b0>: 273}
1428      [java] }
1429      [java] }
1430      [java] {BooleanLogic<0x7fa388a887b0>: NOT
1431      [java] {BooleanPredicate<0x7fa388a55400>:
1432      [java] PredicateOperator: ==
1433      [java] elements:
1434      [java] {ElementSet<0x7fa3889d2a00>:{Set(1)<0x7fa388a61050>:Members: 273, 274, } 0x7fa3889d2a00 UNASSIGNED }{ElementConst<0x7fa3887696b0>: 273}
1435      [java] }
1436      [java] }
1437      [java] {BooleanLogic<0x7fa388a886b0>: NOT
1438      [java] {BooleanPredicate<0x7fa388a3e610>:
1439      [java] PredicateOperator: ==
1440      [java] elements:
1441      [java] {ElementSet<0x7fa388a671f0>:{Set(1)<0x7fa388a60f70>:Members: 273, 274, } 0x7fa388a671f0 UNASSIGNED }{ElementConst<0x7fa3887696b0>: 273}
1442      [java] }
1443      [java] }
1444      [java] {BooleanLogic<0x7fa388a85a20>: NOT
1445      [java] {BooleanPredicate<0x7fa388a3e610>:
1446      [java] PredicateOperator: ==
1447      [java] elements:
1448      [java] {ElementSet<0x7fa388a671f0>:{Set(1)<0x7fa388a60f70>:Members: 273, 274, } 0x7fa388a671f0 UNASSIGNED }{ElementConst<0x7fa3887696b0>: 273}
1449      [java] }
1450      [java] }
1451      [java] {BooleanLogic<0x7fa388a8dbb0>: NOT
1452      [java] {BooleanPredicate<0x7fa388a802c0>:
1453      [java] PredicateOperator: ==
1454      [java] elements:
1455      [java] {ElementSet<0x7fa388a43150>:{Set(1)<0x7fa3884c1fb0>:Members: 275, } 0x7fa388a43150 UNASSIGNED }{ElementConst<0x7fa388769e60>: 275}
1456      [java] }
1457      [java] }
1458      [java] {BooleanLogic<0x7fa388a8dc90>: NOT
1459      [java] {BooleanPredicate<0x7fa388a80a30>:
1460      [java] PredicateOperator: ==
1461      [java] elements:
1462      [java] {ElementSet<0x7fa388a89470>:{Set(1)<0x7fa3883c3b70>:Members: 276, } 0x7fa388a89470 UNASSIGNED }{ElementConst<0x7fa38897df00>: 276}
1463      [java] }
1464      [java] }
1465      [java] {BooleanLogic<0x7fa388a8dd70>: NOT
1466      [java] {BooleanPredicate<0x7fa388a54c50>:
1467      [java] PredicateOperator: ==
1468      [java] elements:
1469      [java] {ElementSet<0x7fa388a85e50>:{Set(1)<0x7fa3884bf9a0>:Members: 277, } 0x7fa388a85e50 UNASSIGNED }{ElementConst<0x7fa388774c60>: 277}
1470      [java] }
1471      [java] }
1472      [java] {BooleanLogic<0x7fa388a8de50>: NOT
1473      [java] {BooleanPredicate<0x7fa388384c90>:
1474      [java] PredicateOperator: ==
1475      [java] elements:
1476      [java] {ElementSet<0x7fa388a86130>:{Set(1)<0x7fa3880dc2c0>:Members: 272, 278, } 0x7fa388a86130 UNASSIGNED }{ElementConst<0x7fa3883aea90>: 272}
1477      [java] }
1478      [java] }
1479      [java] {BooleanLogic<0x7fa388a8df30>: NOT
1480      [java] {BooleanPredicate<0x7fa388384c90>:
1481      [java] PredicateOperator: ==
1482      [java] elements:
1483      [java] {ElementSet<0x7fa388a86130>:{Set(1)<0x7fa3880dc2c0>:Members: 272, 278, } 0x7fa388a86130 UNASSIGNED }{ElementConst<0x7fa3883aea90>: 272}
1484      [java] }
1485      [java] }
1486      [java] }
1487      [java]
1488      [java] {BooleanLogic<0x7fa388a911d0>: OR
1489      [java] {BooleanLogic<0x7fa388a89130>: NOT
1490      [java] {BooleanPredicate<0x7fa388a4da30>:
1491      [java] PredicateOperator: ==
1492      [java] elements:
1493      [java] {ElementSet<0x7fa3884b81a0>:{Set(1)<0x7fa388a61130>:Members: 272, } 0x7fa3884b81a0 UNASSIGNED }{ElementConst<0x7fa3883aea90>: 272}
1494      [java] }
1495      [java] }
1496      [java] {BooleanLogic<0x7fa388a8e4f0>: NOT
1497      [java] {BooleanPredicate<0x7fa388a55400>:
1498      [java] PredicateOperator: ==
1499      [java] elements:
1500      [java] {ElementSet<0x7fa3889d2a00>:{Set(1)<0x7fa388a61050>:Members: 273, 274, } 0x7fa3889d2a00 UNASSIGNED }{ElementConst<0x7fa3887696b0>: 273}
1501      [java] }
1502      [java] }
1503      [java] {BooleanLogic<0x7fa388a8e110>: NOT
1504      [java] {BooleanPredicate<0x7fa388a55400>:
1505      [java] PredicateOperator: ==
1506      [java] elements:
1507      [java] {ElementSet<0x7fa3889d2a00>:{Set(1)<0x7fa388a61050>:Members: 273, 274, } 0x7fa3889d2a00 UNASSIGNED }{ElementConst<0x7fa3887696b0>: 273}
1508      [java] }
1509      [java] }
1510      [java] {BooleanLogic<0x7fa388a90a20>: NOT
1511      [java] {BooleanPredicate<0x7fa388a3e610>:
1512      [java] PredicateOperator: ==
1513      [java] elements:
1514      [java] {ElementSet<0x7fa388a671f0>:{Set(1)<0x7fa388a60f70>:Members: 273, 274, } 0x7fa388a671f0 UNASSIGNED }{ElementConst<0x7fa3887696b0>: 273}
1515      [java] }
1516      [java] }
1517      [java] {BooleanLogic<0x7fa388a90b00>: NOT
1518      [java] {Bool1588133852691 Original Encoding Incremental Solving Time: 0.013013
1519      [java] Path Solving Time: 3.681247
1520      [java] Path Solving Time: 0.462273
1521      [java] 1588133852715 Original Encoding Solving Time: 0.452043
1522      [java] 1588133852715 Original Encoding Incremental Solving Time: 0.122118
1523      [java] 1588133852732 Original Encoding Solving Time: 0.176488
1524      [java] 1588133852732 Original Encoding Incremental Solving Time: 0.013032
1525      [java] =========Statistics (time in milliseconds)=========
1526      [java] Benchmark Id: 10
1527      [java] Sketch Generation Time: 565.6313789999999
1528      [java] Sketch Completion Time: 1096.6374190000001
1529      [java] Compilation Time: 1650.6283549999998
1530      [java] Running Test cases Time: 25.95993999999998
1531      [java] Synthesis Time: 1688.228738
1532      [java] Total Time: 3338.8570929999996
1533      [java] Number of components: 4
1534      [java] Number of holes: 7
1535      [java] Number of completed programs: 162
1536      [java] Number of sketches: 47
1537      [java] Solution:
1538      [java]  java.awt.Shape sypet_var282 = sypet_arg0;
1539      [java]  java.awt.geom.AffineTransform sypet_var283 = java.awt.geom.AffineTransform.getScaleInstance(sypet_arg1,sypet_arg2);
1540      [java]  java.awt.geom.Path2D.Double sypet_var284 = new java.awt.geom.Path2D.Double(sypet_var282,sypet_var283);
1541      [java]  java.awt.geom.Rectangle2D sypet_var285 = sypet_var284.getBounds2D();
1542      [java]  return sypet_var285;
1543      [java]
1544      [java] ============================
1545      [java] Done with finding holes : Flag = true
1546      [java] Done with finding holes : Flag = true
1547      [java] eanPredicate<0x7fa388a3e610>:
1548      [java] PredicateOperator: ==
1549      [java] elements:
1550      [java] {ElementSet<0x7fa388a671f0>:{Set(1)<0x7fa388a60f70>:Members: 273, 274, } 0x7fa388a671f0 UNASSIGNED }{ElementConst<0x7fa3887696b0>: 273}
1551      [java] }
1552      [java] }
1553      [java] {BooleanLogic<0x7fa388a88db0>: NOT
1554      [java] {BooleanPredicate<0x7fa388a802c0>:
1555      [java] PredicateOperator: ==
1556      [java] elements:
1557      [java] {ElementSet<0x7fa388a43150>:{Set(1)<0x7fa3884c1fb0>:Members: 275, } 0x7fa388a43150 UNASSIGNED }{ElementConst<0x7fa388769e60>: 275}
1558      [java] }
1559      [java] }
1560      [java] {BooleanLogic<0x7fa388a90df0>: NOT
1561      [java] {BooleanPredicate<0x7fa388a80a30>:
1562      [java] PredicateOperator: ==
1563      [java] elements:
1564      [java] {ElementSet<0x7fa388a89470>:{Set(1)<0x7fa3883c3b70>:Members: 276, } 0x7fa388a89470 UNASSIGNED }{ElementConst<0x7fa38897df00>: 276}
1565      [java] }
1566      [java] }
1567      [java] {BooleanLogic<0x7fa388a90ed0>: NOT
1568      [java] {BooleanPredicate<0x7fa388a54c50>:
1569      [java] PredicateOperator: ==
1570      [java] elements:
1571      [java] {ElementSet<0x7fa388a85e50>:{Set(1)<0x7fa3884bf9a0>:Members: 277, } 0x7fa388a85e50 UNASSIGNED }{ElementConst<0x7fa388774c60>: 277}
1572      [java] }
1573      [java] }
1574      [java] {BooleanLogic<0x7fa388a90fb0>: NOT
1575      [java] {BooleanPredicate<0x7fa388384c90>:
1576      [java] PredicateOperator: ==
1577      [java] elements:
1578      [java] {ElementSet<0x7fa388a86130>:{Set(1)<0x7fa3880dc2c0>:Members: 272, 278, } 0x7fa388a86130 UNASSIGNED }{ElementConst<0x7fa3883aea90>: 272}
1579      [java] }
1580      [java] }
1581      [java] {BooleanLogic<0x7fa388a91090>: NOT
1582      [java] {BooleanPredicate<0x7fa388384c90>:
1583      [java] PredicateOperator: ==
1584      [java] elements:
1585      [java] {ElementSet<0x7fa388a86130>:{Set(1)<0x7fa3880dc2c0>:Members: 272, 278, } 0x7fa388a86130 UNASSIGNED }{ElementConst<0x7fa3883aea90>: 272}
1586      [java] }
1587      [java] }
1588      [java] }
1589      [java]
1590
1591 BUILD SUCCESSFUL
1592 Total time: 7 seconds