sypet-non-incremental/output2-server/xml/benchmark29.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/xml/29/benchmark29.json
  12      [java] Benchmark Id: 29
  13      [java] Method name: evaluateByXpath
  14      [java] Packages: [org.w3c.dom, javax.xml, org.xml.sax]
  15      [java] Libraries: [./lib/rt7.jar]
  16      [java] Source type(s): [java.io.File, java.lang.String, javax.xml.namespace.QName]
  17      [java] Target type: java.lang.Object
  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: 599
  55      [java] #Methods: 4130
  56      [java] Soot Time: 3285.761467
  57      [java] PetriNet for path length: 1 [places: 623 ; transitions: 4240 ; edges: 10563]
  58      [java] PetriNet for path length: 2 [places: 623 ; transitions: 4240 ; edges: 10563]
  59      [java] PetriNet for path length: 3 [places: 623 ; transitions: 4240 ; edges: 10563]
  60      [java] PetriNet for path length: 4 [places: 623 ; transitions: 4240 ; edges: 10563]
  61      [java] PetriNet for path length: 5 [places: 623 ; transitions: 4240 ; edges: 10563]
  62      [java] Path Solving Time: 46.252015
  63      [java] Path Solving Time: 60.763034
  64      [java] PetriNet for path length: 6 [places: 623 ; transitions: 4240 ; edges: 10563]
  65      [java] Path Solving Time: 58.49599
  66      [java] Path Solving Time: 596.646981
  67      [java] Path Solving Time: 203.674997
  68      [java] PetriNet for path length: 7 [places: 623 ; transitions: 4240 ; edges: 10563]
  69      [java] Path Solving Time: 195.35234
  70      [java] Path Solving Time: 7219.125614
  71      [java] Path Solving Time: 1351.651696
  72      [java] PetriNet for path length: 8 [places: 623 ; transitions: 4240 ; edges: 10563]
  73      [java] Path Solving Time: 94.409273
  74      [java] Path Solving Time: 189.506581
  75      [java] Path Solving Time: 526.069662
  76      [java] Path Solving Time: 4.953955
  77      [java] Done with finding holes : Flag = true
  78      [java] 1588125314649 Original Encoding Solving Time: 0.762918
  79      [java] 1588125314649 Original Encoding Incremental Solving Time: 0.121263
  80      [java] 1588125314913 Original Encoding Solving Time: 0.198699
  81      [java] 1588125314913 Original Encoding Incremental Solving Time: 0.036911
  82      [java] Done with finding holes : Flag = true
  83      [java] Done with finding holes : Flag = false
  84      [java] 1588125314938 Original Encoding Solving Time: 0.237063
  85      [java] 1588125314938 Original Encoding Incremental Solving Time: 0.036709
  86      [java] Path Solving Time: 132.823239
  87      [java] Path Solving Time: 370.438725
  88      [java] Path Solving Time: 55.950633
  89      [java] Path Solving Time: 5.637602
  90      [java] Done with finding holes : Flag = true
  91      [java] 1588125315543 Original Encoding Solving Time: 0.522724
  92      [java] 1588125315543 Original Encoding Incremental Solving Time: 0.131879
  93      [java] 1588125315573 Original Encoding Solving Time: 0.047627
  94      [java] 1588125315573 Original Encoding Incremental Solving Time: 0.077483
  95      [java] Done with finding holes : Flag = false
  96      [java] Path Solving Time: 311.185482
  97      [java] Path Solving Time: 80.283167
  98      [java] Path Solving Time: 311.041354
  99      [java] Path Solving Time: 5.578098
 100      [java] Done with finding holes : Flag = true
 101      [java] Done with finding holes : Flag = false
 102      [java] 1588125316337 Original Encoding Solving Time: 0.644138
 103      [java] 1588125316337 Original Encoding Incremental Solving Time: 0.144344
 104      [java] 1588125316367 Original Encoding Solving Time: 0.022835
 105      [java] 1588125316367 Original Encoding Incremental Solving Time: 0.056244
 106      [java] Path Solving Time: 76.001292
 107      [java] Path Solving Time: 48.489695
 108      [java] Path Solving Time: 56.729287
 109      [java] Path Solving Time: 4.933176
 110      [java] 1588125316608 Original Encoding Solving Time: 0.559418
 111      [java] 1588125316608 Original Encoding Incremental Solving Time: 0.085463
 112      [java] Done with finding holes : Flag = true
 113      [java] Done with finding holes : Flag = false
 114      [java] 1588125316632 Original Encoding Solving Time: 0.055256
 115      [java] 1588125316632 Original Encoding Incremental Solving Time: 0.018722
 116      [java] Path Solving Time: 198.613931
 117      [java] Path Solving Time: 97.859654
 118      [java] Done with finding holes : Flag = true
 119      [java] Path Solving Time: 184.061101
 120      [java] Path Solving Time: 4.890569
 121      [java] 1588125317178 Original Encoding Solving Time: 0.69737
 122      [java] 1588125317178 Original Encoding Incremental Solving Time: 0.150099
 123      [java] 1588125317202 Original Encoding Solving Time: 0.022794
 124      [java] 1588125317202 Original Encoding Incremental Solving Time: 0.010833
 125      [java] Done with finding holes : Flag = false
 126      [java] Path Solving Time: 161.591618
 127      [java] Done with finding holes : Flag = true
 128      [java] Path Solving Time: 139.243033
 129      [java] Path Solving Time: 5.554864
 130      [java] 1588125317566 Original Encoding Solving Time: 0.585959
 131      [java] 1588125317566 Original Encoding Incremental Solving Time: 0.122541
 132      [java] 1588125317599 Original Encoding Solving Time: 0.364975
 133      [java] 1588125317599 Original Encoding Incremental Solving Time: 0.050345
 134      [java] 1588125317622 Original Encoding Solving Time: 0.50862
 135      [java] 1588125317622 Original Encoding Incremental Solving Time: 0.031518
 136      [java] Done with finding holes : Flag = true
 137      [java] Done with finding holes : Flag = false
 138      [java] Path Solving Time: 172.905858
 139      [java] Path Solving Time: 59.693849
 140      [java] Done with finding holes : Flag = true
 141      [java] Path Solving Time: 394.636552
 142      [java] 1588125318284 Original Encoding Solving Time: 0.307871
 143      [java] 1588125318284 Original Encoding Incremental Solving Time: 0.116122
 144      [java] 1588125318318 Original Encoding Solving Time: 0.021415
 145      [java] 1588125318318 Original Encoding Incremental Solving Time: 0.010444
 146      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 147      [java] javax.xml.transform.stream.StreamResult sypet_var52 = new javax.xml.transform.stream.StreamResult(sypet_arg1);java.lang.String sypet_var53 = sypet_arg2.getPrefix();sypet_var52.setSystemId(sypet_arg0);javax.xml.bind.GetPropertyAction sypet_var55 = new javax.xml.bind.GetPropertyAction(sypet_var53);java.lang.Object sypet_var56 = sypet_var55.run();return sypet_var56;}
 148      [java]                                                                                                                                                                                                                       ^
 149      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 150      [java] javax.xml.transform.stream.StreamResult sypet_var52 = new javax.xml.transform.stream.StreamResult(sypet_arg1);java.lang.String sypet_var53 = sypet_arg2.getPrefix();sypet_var52.setSystemId(sypet_arg0);javax.xml.bind.GetPropertyAction sypet_var55 = new javax.xml.bind.GetPropertyAction(sypet_var53);java.lang.Object sypet_var56 = sypet_var55.run();return sypet_var56;}
 151      [java]                                                                                                                                                                                                                                                                          ^
 152      [java] 2 errors
 153      [java] Done with finding holes : Flag = false
 154      [java] Path Solving Time: 79.75509
 155      [java] Path Solving Time: 194.549702
 156      [java] Done with finding holes : Flag = true
 157      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 158      [java] javax.xml.transform.stream.StreamResult sypet_var60 = new javax.xml.transform.stream.StreamResult(sypet_arg1);java.lang.String sypet_var61 = sypet_arg2.getNamespaceURI();sypet_var60.setSystemId(sypet_arg0);javax.xml.bind.GetPropertyAction sypet_var63 = new javax.xml.bind.GetPropertyAction(sypet_var61);java.lang.Object sypet_var64 = sypet_var63.run();return sypet_var64;}
 159      [java]                                                                                                                                                                                                                             ^
 160      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 161      [java] javax.xml.transform.stream.StreamResult sypet_var60 = new javax.xml.transform.stream.StreamResult(sypet_arg1);java.lang.String sypet_var61 = sypet_arg2.getNamespaceURI();sypet_var60.setSystemId(sypet_arg0);javax.xml.bind.GetPropertyAction sypet_var63 = new javax.xml.bind.GetPropertyAction(sypet_var61);java.lang.Object sypet_var64 = sypet_var63.run();return sypet_var64;}
 162      [java]                                                                                                                                                                                                                                                                                ^
 163      [java] 2 errors
 164      [java] Path Solving Time: 31.332779
 165      [java] 1588125318663 Original Encoding Solving Time: 0.389108
 166      [java] 1588125318663 Original Encoding Incremental Solving Time: 0.135883
 167      [java] 1588125318683 Original Encoding Solving Time: 0.02154
 168      [java] 1588125318683 Original Encoding Incremental Solving Time: 0.010753
 169      [java] Done with finding holes : Flag = false
 170      [java] Path Solving Time: 45.111553
 171      [java] Path Solving Time: 58.362176
 172      [java] Path Solving Time: 13.74928
 173      [java] Done with finding holes : Flag = true
 174      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 175      [java] javax.xml.transform.stream.StreamSource sypet_var68 = new javax.xml.transform.stream.StreamSource(sypet_arg0);java.lang.String sypet_var69 = sypet_arg2.getPrefix();javax.xml.bind.GetPropertyAction sypet_var70 = new javax.xml.bind.GetPropertyAction(sypet_var69);sypet_var68.setSystemId(sypet_arg1);java.lang.Object sypet_var72 = sypet_var70.run();return sypet_var72;}
 176      [java]                                                                                                                                                                                   ^
 177      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 178      [java] javax.xml.transform.stream.StreamSource sypet_var68 = new javax.xml.transform.stream.StreamSource(sypet_arg0);java.lang.String sypet_var69 = sypet_arg2.getPrefix();javax.xml.bind.GetPropertyAction sypet_var70 = new javax.xml.bind.GetPropertyAction(sypet_var69);sypet_var68.setSystemId(sypet_arg1);java.lang.Object sypet_var72 = sypet_var70.run();return sypet_var72;}
 179      [java]                                                                                                                                                                                                                                      ^
 180      [java] 2 errors
 181      [java] Renaming procedure ...
 182      [java] Done with finding holes : Flag = true
 183      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 184      [java] javax.xml.transform.stream.StreamSource sypet_var68 = new javax.xml.transform.stream.StreamSource(sypet_arg0);java.lang.String sypet_var69 = sypet_arg2.getPrefix();javax.xml.bind.GetPropertyAction sypet_var70 = new javax.xml.bind.GetPropertyAction(sypet_arg1);sypet_var68.setSystemId(sypet_var69);java.lang.Object sypet_var72 = sypet_var70.run();return sypet_var72;}
 185      [java]                                                                                                                                                                                   ^
 186      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 187      [java] javax.xml.transform.stream.StreamSource sypet_var68 = new javax.xml.transform.stream.StreamSource(sypet_arg0);java.lang.String sypet_var69 = sypet_arg2.getPrefix();javax.xml.bind.GetPropertyAction sypet_var70 = new javax.xml.bind.GetPropertyAction(sypet_arg1);sypet_var68.setSystemId(sypet_var69);java.lang.Object sypet_var72 = sypet_var70.run();return sypet_var72;}
 188      [java]                                                                                                                                                                                                                                      ^
 189      [java] 2 errors
 190      [java] Done with finding holes : Flag = false
 191      [java] 1588125318852 Original Encoding Solving Time: 0.298126
 192      [java] 1588125318852 Original Encoding Incremental Solving Time: 0.09754
 193      [java] 1588125318875 Original Encoding Solving Time: 3.837413
 194      [java] serializing ...
 195      [java] {BooleanLogic<0x7f6a283ac1d0>: OR
 196      [java] {BooleanPredicate<0x7f6a284b1060>:
 197      [java] PredicateOperator: ==
 198      [java] elements:
 199      [java] {ElementSet<0x7f6a2884b420>:{Set(1)<0x7f6a283a8280>:Members: 65, } 0x7f6a2884b420 UNASSIGNED }{ElementConst<0x7f6a2823f4b0>: 65}
 200      [java] }
 201      [java] }
 202      [java]
 203      [java] {BooleanLogic<0x7f6a284de990>: OR
 204      [java] {BooleanPredicate<0x7f6a2849bb40>:
 205      [java] PredicateOperator: ==
 206      [java] elements:
 207      [java] {ElementSet<0x7f6a2884b320>:{Set(1)<0x7f6a2884a350>:Members: 66, 69, } 0x7f6a2884b320 UNASSIGNED }{ElementConst<0x7f6a2849c3c0>: 66}
 208      [java] }
 209      [java] {BooleanPredicate<0x7f6a2849bad0>:
 210      [java] PredicateOperator: ==
 211      [java] elements:
 212      [java] {ElementSet<0x7f6a2884ade0>:{Set(1)<0x7f6a28768d00>:Members: 66, 69, } 0x7f6a2884ade0 UNASSIGNED }{ElementConst<0x7f6a2849c3c0>: 66}
 213      [java] }
 214      [java] }
 215      [java]
 216      [java] {BooleanLogic<0x7f6a284ab8e0>: OR
 217      [java] {BooleanPredicate<0x7f6a2849b9f0>:
 218      [java] PredicateOperator: ==
 219      [java] elements:
 220      [java] {ElementSet<0x7f6a2884b3a0>:{Set(1)<0x7f6a2890c190>:Members: 67, } 0x7f6a2884b3a0 UNASSIGNED }{ElementConst<0x7f6a283ad8e0>: 67}
 221      [java] }
 222      [java] }
 223      [java]
 224      [java] {BooleanLogic<0x7f6a28906000>: OR
 225      [java] {BooleanPredicate<0x7f6a2849b280>:
 226      [java] PredicateOperator: ==
 227      [java] elements:
 228      [java] {ElementSet<0x7f6a2884b2a0>:{Set(1)<0x7f6a2884b520>:Members: 68, } 0x7f6a2884b2a0 UNASSIGNED }{ElementConst<0x7f6a284b3100>: 68}
 229      [java] }
 230      [java] }
 231      [java]
 232      [java] {BooleanLogic<0x7f6a28959260>: OR
 233      [java] {BooleanPredicate<0x7f6a2895b200>:
 234      [java] PredicateOperator: ==
 235      [java] elements:
 236      [java] {ElementSet<0x7f6a2884b320>:{Set(1)<0x7f6a2884a350>:Members: 66, 69, } 0x7f6a2884b320 UNASSIGNED }{ElementConst<0x7f6a28929460>: 69}
 237      [java] }
 238      [java] {BooleanPredicate<0x7f6a2884a420>:
 239      [java] PredicateOperator: ==
 240      [java] elements:
 241      [java] {ElementSet<0x7f6a2884ade0>:{Set(1)<0x7f6a28768d00>:Members: 66, 69, } 0x7f6a2884ade0 UNASSIGNED }{ElementConst<0x7f6a28929460>: 69}
 242      [java] }
 243      [java] }
 244      [java]
 245      [java] {BooleanLogic<0x7f6a284b2750>: OR
 246      [java] {BooleanPredicate<0x7f6a2884b4a0>:
 247      [java] PredicateOperator: ==
 248      [java] elements:
 249      [java] {ElementSet<0x7f6a2884af00>:{Set(1)<0x7f6a2849ba60>:Members: 70, } 0x7f6a2884af00 UNASSIGNED }{ElementConst<0x7f6a284ac6c0>: 70}
 250      [java] }
 251      [java] }
 252      [java]
 253      [java] {BooleanLogic<0x7f6a2884aa20>: OR
 254      [java] {BooleanPredicate<0x7f6a289696c0>:
 255      [java] PredicateOperator: ==
 256      [java] elements:
 257      [java] {ElementSet<0x7f6a2884b220>:{Set(1)<0x7f6a284b2430>:Members: 72, } 0x7f6a2884b220 UNASSIGNED }{ElementConst<0x7f6a280ca010>: 72}
 258      [java] }
 259      [java] }
 260      [java]
 261      [java] {BooleanLogic<0x7f6a2890cc00>: OR
 262      [java] {BooleanLogic<0x7f6a2884e4f0>: NOT
 263      [java] {BooleanPredicate<0x7f6a284b1060>:
 264      [java] PredicateOperator: ==
 265      [java] elements:
 266      [java] {ElementSet<0x7f6a2884b420>:{Set(1)<0x7f6a283a8280>:Members: 65, } 0x7f6a2884b420 UNASSIGNED }{ElementConst<0x7f6a2823f4b0>: 65}
 267      [java] }
 268      [java] }
 269      [java] {BooleanLogic<0x7f6a2884e750>: NOT
 270      [java] {BooleanPredicate<0x7f6a2849b9f0>:
 271      [java] PredicateOperator: ==
 272      [java] elements:
 273      [java] {ElementSet<0x7f6a2884b3a0>:{Set(1)<0x7f6a2890c190>:Members: 67, } 0x7f6a2884b3a0 UNASSIGNED }{ElementConst<0x7f6a283ad8e0>: 67}
 274      [java] }
 275      [java] }
 276      [java] {BooleanLogic<0x7f6a2884a6d0>: NOT
 277      [java] {BooleanPredicate<0x7f6a2849bb40>:
 278      [java] PredicateOperator: ==
 279      [java] elements:
 280      [java] {ElementSet<0x7f6a2884b320>:{Set(1)<0x7f6a2884a350>:Members: 66, 69, } 0x7f6a2884b320 UNASSIGNED }{ElementConst<0x7f6a2849c3c0>: 66}
 281      [java] }
 282      [java] }
 283      [java] {BooleanLogic<0x7f6a28969230>: NOT
 284      [java] {BooleanPredicate<0x7f6a2849bb40>:
 285      [java] PredicateOperator: ==
 286      [java] elements:
 287      [java] {ElementSet<0x7f6a2884b320>:{Set(1)<0x7f6a2884a350>:Members: 66, 69, } 0x7f6a2884b320 UNASSIGNED }{ElementConst<0x7f6a2849c3c0>: 66}
 288      [java] }
 289      [java] }
 290      [java] {BooleanLogic<0x7f6a289697a0>: NOT
 291      [java] {BooleanPredicate<0x7f6a2849b280>:
 292      [java] PredicateOperator: ==
 293      [java] elements:
 294      [java] {ElementSet<0x7f6a2884b2a0>:{Set(1)<0x7f6a2884b520>:Members: 68, } 0x7f6a2884b2a0 UNASSIGNED }{ElementConst<0x7f6a284b3100>: 68}
 295      [java] }
 296      [java] }
 297      [java] {BooleanLogic<0x7f6a284abef0>: NOT
 298      [java] {BooleanPredicate<0x7f6a2849bad0>:
 299      [java] PredicateOperator: ==
 300      [java] elements:
 301      [java] {ElementSet<0x7f6a2884ade0>:{Set(1)<0x7f6a28768d00>:Members: 66, 69, } 0x7f6a2884ade0 UNASSIGNED }{ElementConst<0x7f6a2849c3c0>: 66}
 302      [java] }
 303      [java] }
 304      [java] {BooleanLogic<0x7f6a2890c910>: NOT
 305      [java] {BooleanPredicate<0x7f6a2849bad0>:
 306      [java] PredicateOperator: ==
 307      [java] elements:
 308      [java] {ElementSet<0x7f6a2884ade0>:{Set(1)<0x7f6a28768d00>:Members: 66, 69, } 0x7f6a2884ade0 UNASSIGNED }{ElementConst<0x7f6a2849c3c0>: 66}
 309      [java] }
 310      [java] }
 311      [java] {BooleanLogic<0x7f6a2890c9f0>: NOT
 312      [java] {BooleanPredicate<0x7f6a2884b4a0>:
 313      [java] PredicateOperator: ==
 314      [java] elements:
 315      [java] {ElementSet<0x7f6a2884af00>:{Set(1)<0x7f6a2849ba60>:Members: 70, } 0x7f6a2884af00 UNASSIGNED }{ElementConst<0x7f6a284ac6c0>: 70}
 316      [java] }
 317      [java] }
 318      [java] {BooleanLogic<0x7f6a2890cad0>: NOT
 319      [java] {BooleanPredicate<0x7f6a289696c0>:
 320      [java] PredicateOperator: ==
 321      [java] e1588125318875 Original Encoding Incremental Solving Time: 0.053208
 322      [java] 1588125318889 Original Encoding Solving Time: 0.305945
 323      [java] 1588125318889 Original Encoding Incremental Solving Time: 0.011948
 324      [java] Path Solving Time: 97.367493
 325      [java] Path Solving Time: 172.807148
 326      [java] Path Solving Time: 11.214269
 327      [java] 1588125319209 Original Encoding Solving Time: 0.642519
 328      [java] 1588125319209 Original Encoding Incremental Solving Time: 0.08569
 329      [java] 1588125319227 Original Encoding Solving Time: 0.020929
 330      [java] 1588125319227 Original Encoding Incremental Solving Time: 0.013068
 331      [java] Done with finding holes : Flag = true
 332      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 333      [java] javax.xml.bind.GetPropertyAction sypet_var76 = new javax.xml.bind.GetPropertyAction(sypet_arg1);java.lang.String sypet_var77 = sypet_arg2.getPrefix();javax.xml.transform.stream.StreamResult sypet_var78 = new javax.xml.transform.stream.StreamResult(sypet_arg0);sypet_var78.setSystemId(sypet_var77);java.lang.Object sypet_var80 = sypet_var76.run();return sypet_var80;}
 334      [java]               ^
 335      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 336      [java] javax.xml.bind.GetPropertyAction sypet_var76 = new javax.xml.bind.GetPropertyAction(sypet_arg1);java.lang.String sypet_var77 = sypet_arg2.getPrefix();javax.xml.transform.stream.StreamResult sypet_var78 = new javax.xml.transform.stream.StreamResult(sypet_arg0);sypet_var78.setSystemId(sypet_var77);java.lang.Object sypet_var80 = sypet_var76.run();return sypet_var80;}
 337      [java]                                                                  ^
 338      [java] 2 errors
 339      [java] Done with finding holes : Flag = false
 340      [java] Path Solving Time: 194.561197
 341      [java] Path Solving Time: 257.337927
 342      [java] Path Solving Time: 11.34951
 343      [java] Done with finding holes : Flag = true
 344      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 345      [java] javax.xml.bind.GetPropertyAction sypet_var84 = new javax.xml.bind.GetPropertyAction(sypet_arg1);java.lang.String sypet_var85 = sypet_arg2.getPrefix();javax.xml.transform.stream.StreamSource sypet_var86 = new javax.xml.transform.stream.StreamSource(sypet_arg0);java.lang.Object sypet_var87 = sypet_var84.run();sypet_var86.setPublicId(sypet_var85);return sypet_var87;}
 346      [java]               ^
 347      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 348      [java] javax.xml.bind.GetPropertyAction sypet_var84 = new javax.xml.bind.GetPropertyAction(sypet_arg1);java.lang.String sypet_var85 = sypet_arg2.getPrefix();javax.xml.transform.stream.StreamSource sypet_var86 = new javax.xml.transform.stream.StreamSource(sypet_arg0);java.lang.Object sypet_var87 = sypet_var84.run();sypet_var86.setPublicId(sypet_var85);return sypet_var87;}
 349      [java]                                                                  ^
 350      [java] 2 errors
 351      [java] Done with finding holes : Flag = false
 352      [java] 1588125319745 Original Encoding Solving Time: 0.658617
 353      [java] 1588125319745 Original Encoding Incremental Solving Time: 0.163516
 354      [java] 1588125319763 Original Encoding Solving Time: 0.026672
 355      [java] 1588125319763 Original Encoding Incremental Solving Time: 0.010375
 356      [java] Path Solving Time: 83.991387
 357      [java] Path Solving Time: 126.784637
 358      [java] Path Solving Time: 11.653083
 359      [java] Done with finding holes : Flag = true
 360      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 361      [java] javax.xml.bind.GetPropertyAction sypet_var92 = new javax.xml.bind.GetPropertyAction(sypet_arg1);java.lang.String sypet_var93 = sypet_arg2.getNamespaceURI();javax.xml.transform.stream.StreamSource sypet_var94 = new javax.xml.transform.stream.StreamSource(sypet_arg0);sypet_var94.setSystemId(sypet_var93);java.lang.Object sypet_var96 = sypet_var92.run();return sypet_var96;}
 362      [java]               ^
 363      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 364      [java] javax.xml.bind.GetPropertyAction sypet_var92 = new javax.xml.bind.GetPropertyAction(sypet_arg1);java.lang.String sypet_var93 = sypet_arg2.getNamespaceURI();javax.xml.transform.stream.StreamSource sypet_var94 = new javax.xml.transform.stream.StreamSource(sypet_arg0);sypet_var94.setSystemId(sypet_var93);java.lang.Object sypet_var96 = sypet_var92.run();return sypet_var96;}
 365      [java]                                                                  ^
 366      [java] 2 errors
 367      [java] Done with finding holes : Flag = false
 368      [java] 1588125320039 Original Encoding Solving Time: 0.296925
 369      [java] 1588125320039 Original Encoding Incremental Solving Time: 0.093169
 370      [java] 1588125320058 Original Encoding Solving Time: 0.02192
 371      [java] 1588125320058 Original Encoding Incremental Solving Time: 0.017646
 372      [java] Path Solving Time: 113.923989
 373      [java] Path Solving Time: 79.254619
 374      [java] Path Solving Time: 11.408511
 375      [java] 1588125320317 Original Encoding Solving Time: 0.402831
 376      [java] 1588125320317 Original Encoding Incremental Solving Time: 0.11931
 377      [java] Done with finding holes : Flag = true
 378      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 379      [java] javax.xml.bind.GetPropertyAction sypet_var100 = new javax.xml.bind.GetPropertyAction(sypet_arg1);java.lang.String sypet_var101 = sypet_arg2.getLocalPart();javax.xml.transform.stream.StreamSource sypet_var102 = new javax.xml.transform.stream.StreamSource(sypet_arg0);sypet_var102.setSystemId(sypet_var101);java.lang.Object sypet_var104 = sypet_var100.run();return sypet_var104;}
 380      [java]               ^
 381      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 382      [java] javax.xml.bind.GetPropertyAction sypet_var100 = new javax.xml.bind.GetPropertyAction(sypet_arg1);java.lang.String sypet_var101 = sypet_arg2.getLocalPart();javax.xml.transform.stream.StreamSource sypet_var102 = new javax.xml.transform.stream.StreamSource(sypet_arg0);sypet_var102.setSystemId(sypet_var101);java.lang.Object sypet_var104 = sypet_var100.run();return sypet_var104;}
 383      [java]                                                                   ^
 384      [java] 2 errors
 385      [java] Done with finding holes : Flag = false
 386      [java] 1588125320336 Original Encoding Solving Time: 0.024057
 387      [java] 1588125320336 Original Encoding Incremental Solving Time: 0.007349
 388      [java] Path Solving Time: 141.819514
 389      [java] Path Solving Time: 105.794467
 390      [java] Path Solving Time: 11.361842
 391      [java] Done with finding holes : Flag = true
 392      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 393      [java] java.lang.String sypet_var108 = sypet_arg2.getPrefix();javax.xml.transform.stream.StreamSource sypet_var109 = new javax.xml.transform.stream.StreamSource(sypet_var108);javax.xml.bind.GetPropertyAction sypet_var110 = new javax.xml.bind.GetPropertyAction(sypet_arg1);sypet_var109.setSystemId(sypet_arg0);java.lang.Object sypet_var112 = sypet_var110.run();return sypet_var112;}
 394      [java]                                                                                                                                                                                       ^
 395      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 396      [java] java.lang.String sypet_var108 = sypet_arg2.getPrefix();javax.xml.transform.stream.StreamSource sypet_var109 = new javax.xml.transform.stream.StreamSource(sypet_var108);javax.xml.bind.GetPropertyAction sypet_var110 = new javax.xml.bind.GetPropertyAction(sypet_arg1);sypet_var109.setSystemId(sypet_arg0);java.lang.Object sypet_var112 = sypet_var110.run();return sypet_var112;}
 397      [java]                                                                                                                                                                                                                                           ^
 398      [java] 2 errors
 399      [java] Done with finding holes : Flag = true
 400      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 401      [java] java.lang.String sypet_var108 = sypet_arg2.getPrefix();javax.xml.transform.stream.StreamSource sypet_var109 = new javax.xml.transform.stream.StreamSource(sypet_arg1);javax.xml.bind.GetPropertyAction sypet_var110 = new javax.xml.bind.GetPropertyAction(sypet_var108);sypet_var109.setSystemId(sypet_arg0);java.lang.Object sypet_var112 = sypet_var110.run();return sypet_var112;}
 402      [java]                                                                                                                                                                                     ^
 403      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 404      [java] java.lang.String sypet_var108 = sypet_arg2.getPrefix();javax.xml.transform.stream.StreamSource sypet_var109 = new javax.xml.transform.stream.StreamSource(sypet_arg1);javax.xml.bind.GetPropertyAction sypet_var110 = new javax.xml.bind.GetPropertyAction(sypet_var108);sypet_var109.setSystemId(sypet_arg0);java.lang.Object sypet_var112 = sypet_var110.run();return sypet_var112;}
 405      [java]                                                                                                                                                                                                                                         ^
 406      [java] 2 errors
 407      [java] Renaming procedure ...
 408      [java] Done with finding holes : Flag = false
 409      [java] 1588125320649 Original Encoding Solving Time: 0.348128
 410      [java] 1588125320649 Original Encoding Incremental Solving Time: 0.122909
 411      [java] 1588125320663 Original Encoding Solving Time: 0.181165
 412      [java] 1588125320663 Original Encoding Incremental Solving Time: 0.03152
 413      [java] 1588125320683 Original Encoding Solving Time: 2.241428
 414      [java] lements:
 415      [java] {ElementSet<0x7f6a2884b220>:{Set(1)<0x7f6a284b2430>:Members: 72, } 0x7f6a2884b220 UNASSIGNED }{ElementConst<0x7f6a280ca010>: 72}
 416      [java] }
 417      [java] }
 418      [java] }
 419      [java]
 420      [java] serializing ...
 421      [java] {BooleanLogic<0x7f6a289691c0>: OR
 422      [java] {BooleanPredicate<0x7f6a284abf60>:
 423      [java] PredicateOperator: ==
 424      [java] elements:
 425      [java] {ElementSet<0x7f6a28812dd0>:{Set(1)<0x7f6a2849ba60>:Members: 105, } 0x7f6a28812dd0 UNASSIGNED }{ElementConst<0x7f6a2823f4b0>: 105}
 426      [java] }
 427      [java] }
 428      [java]
 429      [java] {BooleanLogic<0x7f6a2849b210>: OR
 430      [java] {BooleanPredicate<0x7f6a2884a4b0>:
 431      [java] PredicateOperator: ==
 432      [java] elements:
 433      [java] {ElementSet<0x7f6a28813290>:{Set(1)<0x7f6a28915620>:Members: 106, 108, } 0x7f6a28813290 UNASSIGNED }{ElementConst<0x7f6a288ef800>: 106}
 434      [java] }
 435      [java] {BooleanPredicate<0x7f6a289696c0>:
 436      [java] PredicateOperator: ==
 437      [java] elements:
 438      [java] {ElementSet<0x7f6a28813210>:{Set(1)<0x7f6a28915700>:Members: 106, 108, } 0x7f6a28813210 UNASSIGNED }{ElementConst<0x7f6a288ef800>: 106}
 439      [java] }
 440      [java] }
 441      [java]
 442      [java] {BooleanLogic<0x7f6a284b2350>: OR
 443      [java] {BooleanPredicate<0x7f6a2895b200>:
 444      [java] PredicateOperator: ==
 445      [java] elements:
 446      [java] {ElementSet<0x7f6a28813310>:{Set(1)<0x7f6a28915540>:Members: 107, } 0x7f6a28813310 UNASSIGNED }{ElementConst<0x7f6a284ac6c0>: 107}
 447      [java] }
 448      [java] }
 449      [java]
 450      [java] {BooleanLogic<0x7f6a2896c490>: OR
 451      [java] {BooleanPredicate<0x7f6a2849b280>:
 452      [java] PredicateOperator: ==
 453      [java] elements:
 454      [java] {ElementSet<0x7f6a28813290>:{Set(1)<0x7f6a28915620>:Members: 106, 108, } 0x7f6a28813290 UNASSIGNED }{ElementConst<0x7f6a28928850>: 108}
 455      [java] }
 456      [java] {BooleanPredicate<0x7f6a2849b9f0>:
 457      [java] PredicateOperator: ==
 458      [java] elements:
 459      [java] {ElementSet<0x7f6a28813210>:{Set(1)<0x7f6a28915700>:Members: 106, 108, } 0x7f6a28813210 UNASSIGNED }{ElementConst<0x7f6a28928850>: 108}
 460      [java] }
 461      [java] }
 462      [java]
 463      [java] {BooleanLogic<0x7f6a28925b00>: OR
 464      [java] {BooleanPredicate<0x7f6a288102c0>:
 465      [java] PredicateOperator: ==
 466      [java] elements:
 467      [java] {ElementSet<0x7f6a28813190>:{Set(1)<0x7f6a289157e0>:Members: 109, } 0x7f6a28813190 UNASSIGNED }{ElementConst<0x7f6a28905d60>: 109}
 468      [java] }
 469      [java] }
 470      [java]
 471      [java] {BooleanLogic<0x7f6a2890ff20>: OR
 472      [java] {BooleanPredicate<0x7f6a2884ae90>:
 473      [java] PredicateOperator: ==
 474      [java] elements:
 475      [java] {ElementSet<0x7f6a28812ea0>:{Set(1)<0x7f6a28768d00>:Members: 110, } 0x7f6a28812ea0 UNASSIGNED }{ElementConst<0x7f6a283ad8e0>: 110}
 476      [java] }
 477      [java] }
 478      [java]
 479      [java] {BooleanLogic<0x7f6a28810350>: OR
 480      [java] {BooleanPredicate<0x7f6a28810620>:
 481      [java] PredicateOperator: ==
 482      [java] elements:
 483      [java] {ElementSet<0x7f6a28813110>:{Set(1)<0x7f6a28915100>:Members: 112, } 0x7f6a28813110 UNASSIGNED }{ElementConst<0x7f6a28937360>: 112}
 484      [java] }
 485      [java] }
 486      [java]
 487      [java] {BooleanLogic<0x7f6a28816cd0>: OR
 488      [java] {BooleanLogic<0x7f6a28816320>: NOT
 489      [java] {BooleanPredicate<0x7f6a2895b200>:
 490      [java] PredicateOperator: ==
 491      [java] elements:
 492      [java] {ElementSet<0x7f6a28813310>:{Set(1)<0x7f6a28915540>:Members: 107, } 0x7f6a28813310 UNASSIGNED }{ElementConst<0x7f6a284ac6c0>: 107}
 493      [java] }
 494      [java] }
 495      [java] {BooleanLogic<0x7f6a28816580>: NOT
 496      [java] {BooleanPredicate<0x7f6a2884a4b0>:
 497      [java] PredicateOperator: ==
 498      [java] elements:
 499      [java] {ElementSet<0x7f6a28813290>:{Set(1)<0x7f6a28915620>:Members: 106, 108, } 0x7f6a28813290 UNASSIGNED }{ElementConst<0x7f6a288ef800>: 106}
 500      [java] }
 501      [java] }
 502      [java] {BooleanLogic<0x7f6a28816660>: NOT
 503      [java] {BooleanPredicate<0x7f6a2884a4b0>:
 504      [java] PredicateOperator: ==
 505      [java] elements:
 506      [java] {ElementSet<0x7f6a28813290>:{Set(1)<0x7f6a28915620>:Members: 106, 108, } 0x7f6a28813290 UNASSIGNED }{ElementConst<0x7f6a288ef800>: 106}
 507      [java] }
 508      [java] }
 509      [java] {BooleanLogic<0x7f6a28816740>: NOT
 510      [java] {BooleanPredicate<0x7f6a289696c0>:
 511      [java] PredicateOperator: ==
 512      [java] elements:
 513      [java] {ElementSet<0x7f6a28813210>:{Set(1)<0x7f6a28915700>:Members: 106, 108, } 0x7f6a28813210 UNASSIGNED }{ElementConst<0x7f6a288ef800>: 106}
 514      [java] }
 515      [java] }
 516      [java] {BooleanLogic<0x7f6a28816820>: NOT
 517      [java] {BooleanPredicate<0x7f6a289696c0>:
 518      [java] PredicateOperator: ==
 519      [java] elements:
 520      [java] {ElementSet<0x7f6a28813210>:{Set(1)<0x7f6a28915700>:Members: 106, 108, } 0x7f6a28813210 UNASSIGNED }{ElementConst<0x7f6a288ef800>: 106}
 521      [java] }
 522      [java] }
 523      [java] {BooleanLogic<0x7f6a28816900>: NOT
 524      [java] {BooleanPredicate<0x7f6a288102c0>:
 525      [java] PredicateOperator: ==
 526      [java] elements:
 527      [java] {ElementSet<0x7f6a28813190>:{Set(1)<0x7f6a289157e0>:Members: 109, } 0x7f6a28813190 UNASSIGNED }{ElementConst<0x7f6a28905d60>: 109}
 528      [java] }
 529      [java] }
 530      [java] {BooleanLogic<0x7f6a288169e0>: NOT
 531      [java] {BooleanPredicate<0x7f6a284abf60>:
 532      [java] PredicateOperator: ==
 533      [java] elements:
 534      [java] {ElementSet<0x7f6a28812dd0>:{Set(1)<0x7f6a2849ba60>:Members: 105, } 0x7f6a28812dd0 UNASSIGNED }{ElementConst<0x7f6a2823f4b0>: 105}
 535      [java] }
 536      [java] }
 537      [java] {BooleanLogic<0x7f6a28816ac0>: NOT
 538      [java] {BooleanPredicate<0x7f6a2884ae90>:
 539      [java] PredicateOperator: ==
 540      [java] elements:
 541      [java] {ElementSet<0x7f6a28812ea0>:{Set(1)<0x7f61588125320683 Original Encoding Incremental Solving Time: 0.022223
 542      [java] Path Solving Time: 174.334291
 543      [java] Done with finding holes : Flag = true
 544      [java] Path Solving Time: 85.72809
 545      [java] Path Solving Time: 11.198437
 546      [java] 1588125320995 Original Encoding Solving Time: 0.337492
 547      [java] 1588125320995 Original Encoding Incremental Solving Time: 0.119358
 548      [java] 1588125321017 Original Encoding Solving Time: 0.031991
 549      [java] 1588125321017 Original Encoding Incremental Solving Time: 0.046057
 550      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 551      [java] javax.xml.transform.stream.StreamResult sypet_var116 = new javax.xml.transform.stream.StreamResult(sypet_arg0);javax.xml.bind.GetPropertyAction sypet_var117 = new javax.xml.bind.GetPropertyAction(sypet_arg1);java.lang.String sypet_var118 = sypet_arg2.getLocalPart();java.lang.Object sypet_var119 = sypet_var117.run();sypet_var116.setSystemId(sypet_var118);return sypet_var119;}
 552      [java]                                                                                                                              ^
 553      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 554      [java] javax.xml.transform.stream.StreamResult sypet_var116 = new javax.xml.transform.stream.StreamResult(sypet_arg0);javax.xml.bind.GetPropertyAction sypet_var117 = new javax.xml.bind.GetPropertyAction(sypet_arg1);java.lang.String sypet_var118 = sypet_arg2.getLocalPart();java.lang.Object sypet_var119 = sypet_var117.run();sypet_var116.setSystemId(sypet_var118);return sypet_var119;}
 555      [java]                                                                                                                                                                                  ^
 556      [java] 2 errors
 557      [java] Done with finding holes : Flag = false
 558      [java] Path Solving Time: 74.613359
 559      [java] Path Solving Time: 11.126819
 560      [java] Done with finding holes : Flag = true
 561      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 562      [java] javax.xml.bind.GetPropertyAction sypet_var124 = new javax.xml.bind.GetPropertyAction(sypet_arg1);javax.xml.transform.stream.StreamSource sypet_var125 = new javax.xml.transform.stream.StreamSource(sypet_arg0);java.lang.String sypet_var126 = sypet_arg2.getNamespaceURI();java.lang.Object sypet_var127 = sypet_var124.run();sypet_var125.setPublicId(sypet_var126);return sypet_var127;}
 563      [java]               ^
 564      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 565      [java] javax.xml.bind.GetPropertyAction sypet_var124 = new javax.xml.bind.GetPropertyAction(sypet_arg1);javax.xml.transform.stream.StreamSource sypet_var125 = new javax.xml.transform.stream.StreamSource(sypet_arg0);java.lang.String sypet_var126 = sypet_arg2.getNamespaceURI();java.lang.Object sypet_var127 = sypet_var124.run();sypet_var125.setPublicId(sypet_var126);return sypet_var127;}
 566      [java]                                                                   ^
 567      [java] 2 errors
 568      [java] Done with finding holes : Flag = false
 569      [java] 1588125321154 Original Encoding Solving Time: 0.449833
 570      [java] 1588125321154 Original Encoding Incremental Solving Time: 0.095882
 571      [java] 1588125321167 Original Encoding Solving Time: 0.019261
 572      [java] 1588125321167 Original Encoding Incremental Solving Time: 0.006685
 573      [java] Path Solving Time: 136.088513
 574      [java] Path Solving Time: 11.011075
 575      [java] Done with finding holes : Flag = true
 576      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 577      [java] javax.xml.bind.GetPropertyAction sypet_var132 = new javax.xml.bind.GetPropertyAction(sypet_arg1);javax.xml.transform.stream.StreamSource sypet_var133 = new javax.xml.transform.stream.StreamSource(sypet_arg0);java.lang.Object sypet_var134 = sypet_var132.run();java.lang.String sypet_var135 = sypet_arg2.getLocalPart();sypet_var133.setPublicId(sypet_var135);return sypet_var134;}
 578      [java]               ^
 579      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 580      [java] javax.xml.bind.GetPropertyAction sypet_var132 = new javax.xml.bind.GetPropertyAction(sypet_arg1);javax.xml.transform.stream.StreamSource sypet_var133 = new javax.xml.transform.stream.StreamSource(sypet_arg0);java.lang.Object sypet_var134 = sypet_var132.run();java.lang.String sypet_var135 = sypet_arg2.getLocalPart();sypet_var133.setPublicId(sypet_var135);return sypet_var134;}
 581      [java]                                                                   ^
 582      [java] 2 errors
 583      [java] 1588125321371 Original Encoding Solving Time: 0.298251
 584      [java] 1588125321371 Original Encoding Incremental Solving Time: 0.108879
 585      [java] 1588125321388 Original Encoding Solving Time: 0.026769
 586      [java] 1588125321388 Original Encoding Incremental Solving Time: 0.009035
 587      [java] Done with finding holes : Flag = false
 588      [java] Path Solving Time: 121.470605
 589      [java] Path Solving Time: 226.429303
 590      [java] Path Solving Time: 11.022797
 591      [java] 1588125321803 Original Encoding Solving Time: 0.216617
 592      [java] 1588125321803 Original Encoding Incremental Solving Time: 0.087066
 593      [java] 1588125321817 Original Encoding Solving Time: 0.01908
 594      [java] 1588125321817 Original Encoding Incremental Solving Time: 0.00686
 595      [java] Done with finding holes : Flag = true
 596      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 597      [java] javax.xml.bind.GetPropertyAction sypet_var140 = new javax.xml.bind.GetPropertyAction(sypet_arg1);javax.xml.transform.stream.StreamResult sypet_var141 = new javax.xml.transform.stream.StreamResult(sypet_arg0);java.lang.Object sypet_var142 = sypet_var140.run();java.lang.String sypet_var143 = sypet_arg2.getNamespaceURI();sypet_var141.setSystemId(sypet_var143);return sypet_var142;}
 598      [java]               ^
 599      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 600      [java] javax.xml.bind.GetPropertyAction sypet_var140 = new javax.xml.bind.GetPropertyAction(sypet_arg1);javax.xml.transform.stream.StreamResult sypet_var141 = new javax.xml.transform.stream.StreamResult(sypet_arg0);java.lang.Object sypet_var142 = sypet_var140.run();java.lang.String sypet_var143 = sypet_arg2.getNamespaceURI();sypet_var141.setSystemId(sypet_var143);return sypet_var142;}
 601      [java]                                                                   ^
 602      [java] 2 errors
 603      [java] Done with finding holes : Flag = false
 604      [java] Path Solving Time: 231.511518
 605      [java] Path Solving Time: 227.022767
 606      [java] Path Solving Time: 11.644726
 607      [java] Done with finding holes : Flag = true
 608      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 609      [java] javax.xml.bind.GetPropertyAction sypet_var148 = new javax.xml.bind.GetPropertyAction(sypet_arg1);java.lang.Object sypet_var149 = sypet_var148.run();java.lang.String sypet_var150 = sypet_arg2.getLocalPart();javax.xml.transform.stream.StreamResult sypet_var151 = new javax.xml.transform.stream.StreamResult(sypet_var150);sypet_var151.setSystemId(sypet_arg0);return sypet_var149;}
 610      [java]               ^
 611      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 612      [java] javax.xml.bind.GetPropertyAction sypet_var148 = new javax.xml.bind.GetPropertyAction(sypet_arg1);java.lang.Object sypet_var149 = sypet_var148.run();java.lang.String sypet_var150 = sypet_arg2.getLocalPart();javax.xml.transform.stream.StreamResult sypet_var151 = new javax.xml.transform.stream.StreamResult(sypet_var150);sypet_var151.setSystemId(sypet_arg0);return sypet_var149;}
 613      [java]                                                                   ^
 614      [java] 2 errors
 615      [java] Done with finding holes : Flag = false
 616      [java] 1588125322345 Original Encoding Solving Time: 0.420206
 617      [java] 1588125322345 Original Encoding Incremental Solving Time: 0.110294
 618      [java] 1588125322358 Original Encoding Solving Time: 0.020679
 619      [java] 1588125322358 Original Encoding Incremental Solving Time: 0.021554
 620      [java] Path Solving Time: 189.616569
 621      [java] Done with finding holes : Flag = true
 622      [java] Path Solving Time: 173.737767
 623      [java] Path Solving Time: 11.503841
 624      [java] 1588125322795 Original Encoding Solving Time: 0.251131
 625      [java] 1588125322795 Original Encoding Incremental Solving Time: 0.162932
 626      [java] 1588125322815 Original Encoding Solving Time: 0.03523
 627      [java] 1588125322815 Original Encoding Incremental Solving Time: 0.008475
 628      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 629      [java] javax.xml.transform.stream.StreamSource sypet_var156 = new javax.xml.transform.stream.StreamSource(sypet_arg1);sypet_var156.setSystemId(sypet_arg0);java.lang.String sypet_var158 = sypet_arg2.getLocalPart();javax.xml.bind.GetPropertyAction sypet_var159 = new javax.xml.bind.GetPropertyAction(sypet_var158);java.lang.Object sypet_var160 = sypet_var159.run();return sypet_var160;}
 630      [java]                                                                                                                                                                                                                             ^
 631      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 632      [java] javax.xml.transform.stream.StreamSource sypet_var156 = new javax.xml.transform.stream.StreamSource(sypet_arg1);sypet_var156.setSystemId(sypet_arg0);java.lang.String sypet_var158 = sypet_arg2.getLocalPart();javax.xml.bind.GetPropertyAction sypet_var159 = new javax.xml.bind.GetPropertyAction(sypet_var158);java.lang.Object sypet_var160 = sypet_var159.run();return sypet_var160;}
 633      [java]                                                                                                                                                                                                                                                                                 ^
 634      [java] 2 errors
 635      [java] Done with finding holes : Flag = false
 636      [java] Path Solving Time: 54.390656
 637      [java] Path Solving Time: 84.534972
 638      [java] Path Solving Time: 12.016898
 639      [java] 1588125323020 Original Encoding Solving Time: 0.215505
 640      [java] 1588125323020 Original Encoding Incremental Solving Time: 0.089317
 641      [java] 1588125323034 Original Encoding Solving Time: 0.016726
 642      [java] 1588125323034 Original Encoding Incremental Solving Time: 0.007295
 643      [java] Done with finding holes : Flag = true
 644      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 645      [java] javax.xml.bind.GetPropertyAction sypet_var164 = new javax.xml.bind.GetPropertyAction(sypet_arg1);java.lang.String sypet_var165 = sypet_arg2.getNamespaceURI();javax.xml.transform.stream.StreamSource sypet_var166 = new javax.xml.transform.stream.StreamSource(sypet_var165);java.lang.Object sypet_var167 = sypet_var164.run();sypet_var166.setSystemId(sypet_arg0);return sypet_var167;}
 646      [java]               ^
 647      [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
 648      [java] javax.xml.bind.GetPropertyAction sypet_var164 = new javax.xml.bind.GetPropertyAction(sypet_arg1);java.lang.String sypet_var165 = sypet_arg2.getNamespaceURI();javax.xml.transform.stream.StreamSource sypet_var166 = new javax.xml.transform.stream.StreamSource(sypet_var165);java.lang.Object sypet_var167 = sypet_var164.run();sypet_var166.setSystemId(sypet_arg0);return sypet_var167;}
 649      [java]                                                                   ^
 650      [java] 2 errors
 651      [java] Done with finding holes : Flag = false
 652      [java] Path Solving Time: 420.707963
 653      [java] Path Solving Time: 3422.831336
 654      [java] Path Solving Time: 5.069082
 655      [java] Path Solving Time: 5.157703
 656      [java] Path Solving Time: 60579.223415
 657      [java] Done with finding holes : Flag = true
 658      [java] Done with finding holes : Flag = true
 659      [java] 1588125387530 Original Encoding Solving Time: 0.40518
 660      [java] 1588125387530 Original Encoding Incremental Solving Time: 0.191467
 661      [java] 1588125387557 Original Encoding Solving Time: 0.17656
 662      [java] 1588125387557 Original Encoding Incremental Solving Time: 0.016767
 663      [java] 1588125387569 Original Encoding Solving Time: 0.271239
 664      [java] 1588125387569 Original Encoding Incremental Solving Time: 0.010451
 665      [java] Done with finding holes : Flag = false
 666      [java] Path Solving Time: 954.64831
 667      [java] Path Solving Time: 155.013451
 668      [java] Path Solving Time: 46763.026083
 669      [java] Done with finding holes : Flag = true
 670      [java] /Source.java:3: error: AbstractUnmarshallerImpl is abstract; cannot be instantiated
 671      [java] java.lang.String sypet_var179 = sypet_arg2.getLocalPart();org.xml.sax.InputSource sypet_var180 = new org.xml.sax.InputSource(sypet_var179);sypet_var180.setEncoding(sypet_arg1);javax.xml.bind.helpers.AbstractUnmarshallerImpl sypet_var182 = new javax.xml.bind.helpers.AbstractUnmarshallerImpl();java.lang.Object sypet_var183 = sypet_var182.unmarshal(sypet_arg0);return sypet_var183;}
 672      [java]                                                                                                                                                                                                                                                ^
 673      [java] 1 error
 674      [java] Done with finding holes : Flag = true
 675      [java] 1588125435478 Original Encoding Solving Time: 0.549022
 676      [java] 1588125435478 Original Encoding Incremental Solving Time: 0.148756
 677      [java] 1588125435503 Original Encoding Solving Time: 0.207801
 678      [java] 1588125435503 Original Encoding Incremental Solving Time: 0.03325
 679      [java] 1588125435519 Original Encoding Solving Time: 3.371869
 680      [java] a28768d00>:Members: 110, } 0x7f6a28812ea0 UNASSIGNED }{ElementConst<0x7f6a283ad8e0>: 110}
 681      [java] }
 682      [java] }
 683      [java] {BooleanLogic<0x7f6a28816ba0>: NOT
 684      [java] {BooleanPredicate<0x7f6a28810620>:
 685      [java] PredicateOperator: ==
 686      [java] elements:
 687      [java] {ElementSet<0x7f6a28813110>:{Set(1)<0x7f6a28915100>:Members: 112, } 0x7f6a28813110 UNASSIGNED }{ElementConst<0x7f6a28937360>: 112}
 688      [java] }
 689      [java] }
 690      [java] }
 691      [java]
 692      [java] {BooleanLogic<0x7f6a28819290>: OR
 693      [java] {BooleanLogic<0x7f6a288171a0>: NOT
 694      [java] {BooleanPredicate<0x7f6a2895b200>:
 695      [java] PredicateOperator: ==
 696      [java] elements:
 697      [java] {ElementSet<0x7f6a28813310>:{Set(1)<0x7f6a28915540>:Members: 107, } 0x7f6a28813310 UNASSIGNED }{ElementConst<0x7f6a284ac6c0>: 107}
 698      [java] }
 699      [java] }
 700      [java] {BooleanLogic<0x7f6a28816dc0>: NOT
 701      [java] {BooleanPredicate<0x7f6a2884a4b0>:
 702      [java] PredicateOperator: ==
 703      [java] elements:
 704      [java] {ElementSet<0x7f6a28813290>:{Set(1)<0x7f6a28915620>:Members: 106, 108, } 0x7f6a28813290 UNASSIGNED }{ElementConst<0x7f6a288ef800>: 106}
 705      [java] }
 706      [java] }
 707      [java] {BooleanLogic<0x7f6a28818bd0>: NOT
 708      [java] {BooleanPredicate<0x7f6a2884a4b0>:
 709      [java] PredicateOperator: ==
 710      [java] elements:
 711      [java] {ElementSet<0x7f6a28813290>:{Set(1)<0x7f6a28915620>:Members: 106, 108, } 0x7f6a28813290 UNASSIGNED }{ElementConst<0x7f6a288ef800>: 106}
 712      [java] }
 713      [java] }
 714      [java] {BooleanLogic<0x7f6a28818cb0>: NOT
 715      [java] {BooleanPredicate<0x7f6a289696c0>:
 716      [java] PredicateOperator: ==
 717      [java] elements:
 718      [java] {ElementSet<0x7f6a28813210>:{Set(1)<0x7f6a28915700>:Members: 106, 108, } 0x7f6a28813210 UNASSIGNED }{ElementConst<0x7f6a288ef800>: 106}
 719      [java] }
 720      [java] }
 721      [java] {BooleanLogic<0x7f6a28818d90>: NOT
 722      [java] {BooleanPredicate<0x7f6a289696c0>:
 723      [java] PredicateOperator: ==
 724      [java] elements:
 725      [java] {ElementSet<0x7f6a28813210>:{Set(1)<0x7f6a28915700>:Members: 106, 108, } 0x7f6a28813210 UNASSIGNED }{ElementConst<0x7f6a288ef800>: 106}
 726      [java] }
 727      [java] }
 728      [java] {BooleanLogic<0x7f6a28818e70>: NOT
 729      [java] {BooleanPredicate<0x7f6a288102c0>:
 730      [java] PredicateOperator: ==
 731      [java] elements:
 732      [java] {ElementSet<0x7f6a28813190>:{Set(1)<0x7f6a289157e0>:Members: 109, } 0x7f6a28813190 UNASSIGNED }{ElementConst<0x7f6a28905d60>: 109}
 733      [java] }
 734      [java] }
 735      [java] {BooleanLogic<0x7f6a28818f50>: NOT
 736      [java] {BooleanPredicate<0x7f6a284abf60>:
 737      [java] PredicateOperator: ==
 738      [java] elements:
 739      [java] {ElementSet<0x7f6a28812dd0>:{Set(1)<0x7f6a2849ba60>:Members: 105, } 0x7f6a28812dd0 UNASSIGNED }{ElementConst<0x7f6a2823f4b0>: 105}
 740      [java] }
 741      [java] }
 742      [java] {BooleanLogic<0x7f6a2880d230>: NOT
 743      [java] {BooleanPredicate<0x7f6a2884ae90>:
 744      [java] PredicateOperator: ==
 745      [java] elements:
 746      [java] {ElementSet<0x7f6a28812ea0>:{Set(1)<0x7f6a28768d00>:Members: 110, } 0x7f6a28812ea0 UNASSIGNED }{ElementConst<0x7f6a283ad8e0>: 110}
 747      [java] }
 748      [java] }
 749      [java] {BooleanLogic<0x7f6a28816470>: NOT
 750      [java] {BooleanPredicate<0x7f6a28810620>:
 751      [java] PredicateOperator: ==
 752      [java] elements:
 753      [java] {ElementSet<0x7f6a28813110>:{Set(1)<0x7f6a28915100>:Members: 112, } 0x7f6a28813110 UNASSIGNED }{ElementConst<0x7f6a28937360>: 112}
 754      [java] }
 755      [java] }
 756      [java] }
 757      [java]
 758      [java] serializing ...
 759      [java] {BooleanLogic<0x7f6a28928460>: OR
 760      [java] {BooleanPredicate<0x7f6a28971d00>:
 761      [java] PredicateOperator: ==
 762      [java] elements:
 763      [java] {ElementSet<0x7f6a2892f7c0>:{Set(1)<0x7f6a28964640>:Members: 176, } 0x7f6a2892f7c0 UNASSIGNED }{ElementConst<0x7f6a2890fe40>: 176}
 764      [java] }
 765      [java] }
 766      [java]
 767      [java] {BooleanLogic<0x7f6a28925b00>: OR
 768      [java] {BooleanPredicate<0x7f6a28975570>:
 769      [java] PredicateOperator: ==
 770      [java] elements:
 771      [java] {ElementSet<0x7f6a289759b0>:{Set(1)<0x7f6a288e58d0>:Members: 177, 179, } 0x7f6a289759b0 UNASSIGNED }{ElementConst<0x7f6a284ac6c0>: 177}
 772      [java] }
 773      [java] {BooleanPredicate<0x7f6a2849b9f0>:
 774      [java] PredicateOperator: ==
 775      [java] elements:
 776      [java] {ElementSet<0x7f6a28971bd0>:{Set(1)<0x7f6a28975a30>:Members: 177, 179, } 0x7f6a28971bd0 UNASSIGNED }{ElementConst<0x7f6a284ac6c0>: 177}
 777      [java] }
 778      [java] }
 779      [java]
 780      [java] {BooleanLogic<0x7f6a28923940>: OR
 781      [java] {BooleanPredicate<0x7f6a2849b280>:
 782      [java] PredicateOperator: ==
 783      [java] elements:
 784      [java] {ElementSet<0x7f6a288e5580>:{Set(1)<0x7f6a288e59b0>:Members: 178, } 0x7f6a288e5580 UNASSIGNED }{ElementConst<0x7f6a28905d60>: 178}
 785      [java] }
 786      [java] }
 787      [java]
 788      [java] {BooleanLogic<0x7f6a283ac1d0>: OR
 789      [java] {BooleanPredicate<0x7f6a2895b200>:
 790      [java] PredicateOperator: ==
 791      [java] elements:
 792      [java] {ElementSet<0x7f6a289759b0>:{Set(1)<0x7f6a288e58d0>:Members: 177, 179, } 0x7f6a289759b0 UNASSIGNED }{ElementConst<0x7f6a283ad8e0>: 179}
 793      [java] }
 794      [java] {BooleanPredicate<0x7f6a289696c0>:
 795      [java] PredicateOperator: ==
 796      [java] elements:
 797      [java] {ElementSet<0x7f6a28971bd0>:{Set(1)<0x7f6a28975a30>:Members: 177, 179, } 0x7f6a28971bd0 UNASSIGNED }{ElementConst<0x7f6a283ad8e0>: 179}
 798      [java] }
 799      [java] }
 800      [java]
 801      [java] {BooleanLogic<0x7f6a2823f2f0>: OR
 802      [java] {BooleanPredicate<0x7f6a2892e960>:
 803      [java] PredicateOperator: ==
 804      [java] elements:
 805      [java] {ElementSet<0x7f6a28971900>:{Set(1)<0x7f6a288e5600>:Members: 180, } 0x7f6a28971900 UNASSIGNED }{ElementConst<0x7f6a28928850>: 180}
 806      [java] }
 807      [java] }
 808      [java]
 809      [java] {BooleanLogic<0x7f6a28918e40>: OR
 810      [java] {BooleanPredicate<0x7f6a288e91f0>:
 811      [java] PredicateOperator: ==
 812      [java] elements:
 813      [java] {ElementSet<0x7f6a28933570>:{Set(1)<0x7f6a28778d10>:Members: 182, } 0x7f6a28933570 UNASSIGNED }{ElementConst<0x7f6a28937360>: 182}
 814      [java] }
 815      [java] }
 816      [java]
 817      [java] {BooleanLogic<0x7f6a28496dc0>: OR
 818      [java] {BooleanPredicate<0x7f6a2892e8f0>:
 819      [java] PredicateOperator: ==
 820      [java] elements:
 821      [java] {ElementSet<0x7f6a28806240>:{Set(1)<0x7f6a2893caa0>:Members: 183, } 0x7f6a28806240 UNASSIGNED }{ElementConst<0x7f6a284b3100>: 183}
 822      [java] }
 823      [java] }
 824      [java]
 825      [java] {BooleanLogic<0x7f6a28942540>: OR
 826      [java] {BooleanLogic<0x7f6a28941c00>: NOT
 827      [java] {BooleanPredicate<0x7f6a2849b280>:
 828      [java] PredicateOperator: ==
 829      [java] elements:
 830      [java] {ElementSet<0x7f6a288e5580>:{Set(1)<0x7f6a288e59b0>:Members: 178, } 0x7f6a288e5580 UNASSIGNED }{ElementConst<0x7f6a28905d60>: 178}
 831      [java] }
 832      [java] }
 833      [java] {BooleanLogic<0x7f6a28941df0>: NOT
 834      [java] {BooleanPredicate<0x7f6a28975570>:
 835      [java] PredicateOperator: ==
 836      [java] elements:
 837      [java] {ElementSet<0x7f6a289759b0>:{Set(1)<0x7f6a288e58d0>:Members: 177, 179, } 0x7f6a289759b0 UNASSIGNED }{ElementConst<0x7f6a284ac6c0>: 177}
 838      [java] }
 839      [java] }
 840      [java] {BooleanLogic<0x7f6a28941ed0>: NOT
 841      [java] {BooleanPredicate<0x7f6a28975570>:
 842      [java] PredicateOperator: ==
 843      [java] elements:
 844      [java] {ElementSet<0x7f6a289759b0>:{Set(1)<0x7f6a288e58d0>:Members: 177, 179, } 0x7f6a289759b0 UNASSIGNED }{ElementConst<0x7f6a284ac6c0>: 177}
 845      [java] }
 846      [java] }
 847      [java] {BooleanLogic<0x7f6a28941fb0>: NOT
 848      [java] {BooleanPredicate<0x7f6a2892e960>:
 849      [java] PredicateOperator: ==
 850      [java] elements:
 851      [java] {ElementSet<0x7f6a28971900>:{Set(1)<0x7f6a288e5600>:Members: 180, } 0x7f6a28971900 UNASSIGNED }{ElementConst<0x7f6a28928850>: 180}
 852      [java] }
 853      [java] }
 854      [java] {BooleanLogic<0x7f6a28942090>: NOT
 855      [java] {BooleanPredicate<0x7f6a2849b9f0>:
 856      [java] PredicateOperator: ==
 857      [java] elements:
 858      [java] {ElementSet<0x7f6a28971bd0>:{Set(1)<0x7f6a28975a30>:Members: 177, 179, } 0x7f6a28971bd0 UNASSIGNED }{ElementConst<0x7f6a284ac6c0>: 177}
 859      [java] }
 860      [java] }
 861      [java] {BooleanLogic<0x7f6a28942170>: NOT
 862      [java] {BooleanPredicate<0x7f6a2849b9f0>:
 863      [java] PredicateOperator: ==
 864      [java] elements:
 865      [java] {ElementSet<0x7f6a28971bd0>:{Set(1)<0x7f6a28975a30>:Members: 177, 179, } 0x7f6a28971bd0 UNASSIGNED }{ElementConst<0x7f6a284ac6c0>: 177}
 866      [java] }
 867      [java] }
 868      [java] {BooleanLogic<0x7f6a28942250>: NOT
 869      [java] {BooleanPredicate<0x7f6a288e91f0>:
 870      [java] PredicateOperator: ==
 871      [java] elements:
 872      [java] {ElementSet<0x7f6a28933570>:{Set(1)<0x7f6a28778d10>:Members: 182, } 0x7f6a28933570 UNASSIGNED }{ElementConst<0x7f6a28937360>: 182}
 873      [java] }
 874      [java] }
 875      [java] {BooleanLogic<0x7f6a28942330>: NOT
 876      [java] {BooleanPredicate<0x7f6a28971d00>:
 877      [java] PredicateOperator: ==
 878      [java] elements:
 879      [java] {ElementSet<0x7f6a2892f7c0>:{Set(1)<0x7f6a28964640>:Members: 176, } 0x7f6a2892f7c0 UNASSIGNED }{ElementConst<0x7f6a2890fe40>: 176}
 880      [java] }
 881      [java] }
 882      [java] {BooleanLogic<0x7f6a28942410>: NOT
 883      [java] {BooleanPredicate<0x7f6a2892e8f0>:
 884      [java] PredicateOperator: ==
 885      [java] elements:
 886      [java] {ElementSet<0x7f6a28806240>:{Set(1)<0x7f6a2893caa0>:Members: 183, } 0x7f6a28806240 UNASSIGNED }{ElementConst<0x7f6a284b3100>: 183}
 887      [java] }
 888      [java] }
 889      [java] }
 890      [java]
 891      [java] {BooleanLogic<0x7f6a288e54f0>: OR
 892      [java] {BooleanLogic<0x7f6a288ed760>: NOT
 893      [java] {BooleanPredicate<0x7f6a2849b280>:
 894      [java] PredicateOperator: ==
 895      [java] elements:
 896      [java] {ElementSet<0x7f6a288e5580>:{Set(1)<0x7f6a288e59b0>:Members: 178, } 0x7f6a288e5580 UNASSIGNED }{ElementConst<0x7f6a28905d60>: 178}
 897      [java] }
 898      [java] }
 899      [java] {BooleanLogic<0x7f6a2892ead0>: NOT
 900      [java] {BooleanPredicate<0x7f6a28975570>:
 901      [java] PredicateOperator: ==
 902      [java] elements:
 903      [java] {ElementSet<0x7f6a289759b0>:{Set(1)<0x7f6a288e58d0>:Members: 177, 179, } 0x7f6a289759b0 UNASSIGNED }{ElementConst<0x7f6a284ac6c0>: 177}
 904      [java] }
 905      [java] }
 906      [java] {BooleanLogic<0x7f6a289549f0>: NOT
 907      [java] {BooleanPredicate<0x7f6a28975570>:
 908      [java] PredicateOperator: ==
 909      [java] elements:
 910      [java] {ElementSet<0x7f6a289759b0>:{Set(1)<0x7f6a288e58d0>:Members: 177, 179, } 0x7f6a289759b0 UNASSIGNED }{ElementConst<0x7f6a284ac6c0>: 177}
 911      [java] }
 912      [java] }
 913      [java] {BooleanLogic<0x7f6a28954ad0>: NOT
 914      [java] {BooleanPredicate<0x7f6a2892e960>:
 915      [java] PredicateOperator: ==
 916      [java] elements:
 917      [java] {ElementSet<0x7f6a28971900>:{Set(1)<0x7f6a288e5600>:Members: 180, } 0x7f6a28971900 UNASSIGNED }{ElementConst<0x7f6a28928850>: 180}
 918      [java] }
 919      [java] }
 920      [java] {BooleanLogic<0x7f6a28954bb0>: NOT
 921      [java] {BooleanPredicate<0x7f6a2849b9f0>:
 922      [java] PredicateOperator: ==
 923      [java] elements:
 924      [java] {ElementSet<0x7f6a28971bd0>:{Set(1)<0x7f6a28975a30>:Members: 177, 179, } 0x7f6a28971bd0 UNASSIGNED }{ElementConst<0x7f6a284ac6c0>: 177}
 925      [java] }
 926      [java] }
 927      [java] {BooleanLogic<0x7f6a28954c90>: NOT
 928      [java] {BooleanPredicate<0x7f6a2849b9f0>:
 929      [java] PredicateOperator: ==
 930      [java] elements:
 931      [java] {ElementSet<0x7f6a28971bd0>:{Set(1)<0x7f6a289751588125435519 Original Encoding Incremental Solving Time: 0.036697
 932      [java] /Source.java:3: error: AbstractUnmarshallerImpl is abstract; cannot be instantiated
 933      [java] java.lang.String sypet_var179 = sypet_arg2.getLocalPart();org.xml.sax.InputSource sypet_var180 = new org.xml.sax.InputSource(sypet_arg1);sypet_var180.setEncoding(sypet_var179);javax.xml.bind.helpers.AbstractUnmarshallerImpl sypet_var182 = new javax.xml.bind.helpers.AbstractUnmarshallerImpl();java.lang.Object sypet_var183 = sypet_var182.unmarshal(sypet_arg0);return sypet_var183;}
 934      [java]                                                                                                                                                                                                                                                ^
 935      [java] 1 error
 936      [java] Renaming procedure ...
 937      [java] Done with finding holes : Flag = false
 938      [java] Path Solving Time: 2345.886111
 939      [java] Path Solving Time: 249.725748
 940      [java] Path Solving Time: 47523.677682
 941      [java] 1588125485678 Original Encoding Solving Time: 0.334225
 942      [java] 1588125485678 Original Encoding Incremental Solving Time: 0.166402
 943      [java] 1588125485692 Original Encoding Solving Time: 0.01851
 944      [java] 1588125485692 Original Encoding Incremental Solving Time: 0.006083
 945      [java] Done with finding holes : Flag = true
 946      [java] /Source.java:3: error: HttpExchange is abstract; cannot be instantiated
 947      [java] javax.xml.ws.spi.http.HttpExchange sypet_var187 = new javax.xml.ws.spi.http.HttpExchange();java.lang.Object sypet_var188 = sypet_var187.getAttribute(sypet_arg1);javax.xml.transform.stream.StreamSource sypet_var189 = new javax.xml.transform.stream.StreamSource(sypet_arg0);java.lang.String sypet_var190 = sypet_arg2.getPrefix();sypet_var189.setPublicId(sypet_var190);return sypet_var188;}
 948      [java]                                                   ^
 949      [java] 1 error
 950      [java] Done with finding holes : Flag = false
 951      [java] Path Solving Time: 509.026811
 952      [java] Path Solving Time: 103.807843
 953      [java] Path Solving Time: 41150.745426
 954      [java] 1588125527505 Original Encoding Solving Time: 0.305756
 955      [java] 1588125527505 Original Encoding Incremental Solving Time: 0.142762
 956      [java] 1588125527525 Original Encoding Solving Time: 0.026922
 957      [java] 1588125527525 Original Encoding Incremental Solving Time: 0.010773
 958      [java] Done with finding holes : Flag = true
 959      [java] Done with finding holes : Flag = false
 960      [java] Path Solving Time: 178.346532
 961      [java] Path Solving Time: 420.801623
 962      [java] Path Solving Time: 36903.607928
 963      [java] 1588125565071 Original Encoding Solving Time: 0.37912
 964      [java] 1588125565071 Original Encoding Incremental Solving Time: 0.138524
 965      [java] Done with finding holes : Flag = true
 966      [java] Done with finding holes : Flag = true
 967      [java] Done with finding holes : Flag = false
 968      [java] 1588125565107 Original Encoding Solving Time: 0.169959
 969      [java] 1588125565107 Original Encoding Incremental Solving Time: 0.015318
 970      [java] 1588125565118 Original Encoding Solving Time: 0.13172
 971      [java] 1588125565118 Original Encoding Incremental Solving Time: 0.007659
 972      [java] Path Solving Time: 319.300012
 973      [java] Path Solving Time: 603.318391
 974      [java] Done with finding holes : Flag = true
 975      [java] Path Solving Time: 57010.551333
 976      [java] 1588125623080 Original Encoding Solving Time: 0.346945
 977      [java] 1588125623080 Original Encoding Incremental Solving Time: 0.091011
 978      [java] 1588125623101 Original Encoding Solving Time: 0.386481
 979      [java] 1588125623101 Original Encoding Incremental Solving Time: 0.020872
 980      [java] 1588125623116 Original Encoding Solving Time: 0.189121
 981      [java] 1588125623116 Original Encoding Incremental Solving Time: 0.0137
 982      [java] Done with finding holes : Flag = true
 983      [java] Done with finding holes : Flag = false
 984      [java] Path Solving Time: 1082.142275
 985      [java] Path Solving Time: 835.820386
 986      [java] Path Solving Time: 41697.250785
 987      [java] 1588125666760 Original Encoding Solving Time: 0.289309
 988      [java] 1588125666760 Original Encoding Incremental Solving Time: 0.143613
 989      [java] Done with finding holes : Flag = true
 990      [java] Done with finding holes : Flag = false
 991      [java] 1588125666781 Original Encoding Solving Time: 0.024448
 992      [java] 1588125666781 Original Encoding Incremental Solving Time: 0.02607
 993      [java] Path Solving Time: 907.80712
 994      [java] Path Solving Time: 388.651516
 995      [java] Path Solving Time: 19792.662139
 996      [java] Done with finding holes : Flag = true
 997      [java] /Source.java:3: error: AbstractUnmarshallerImpl is abstract; cannot be instantiated
 998      [java] javax.xml.soap.SOAPFactory sypet_var227 = javax.xml.soap.SOAPFactory.newInstance(sypet_arg1);javax.xml.soap.SOAPElement sypet_var228 = sypet_var227.createElement(sypet_arg2);sypet_var228.removeContents();javax.xml.bind.helpers.AbstractUnmarshallerImpl sypet_var230 = new javax.xml.bind.helpers.AbstractUnmarshallerImpl();java.lang.Object sypet_var231 = sypet_var230.unmarshal(sypet_arg0);return sypet_var231;}
 999      [java]                                                                                                                                                                                                                                                                            ^
1000      [java] 1 error
1001      [java] 1588125687912 Original Encoding Solving Time: 0.299352
1002      [java] 1588125687912 Original Encoding Incremental Solving Time: 0.130672
1003      [java] Path Solving Time: 204.482245
1004      [java] Path Solving Time: 1286.526761
1005      [java] Path Solving Time: 38044.185612
1006      [java] 1588125727495 Original Encoding Solving Time: 0.288964
1007      [java] 1588125727495 Original Encoding Incremental Solving Time: 0.146642
1008      [java] 1588125727515 Original Encoding Solving Time: 0.253522
1009      [java] 1588125727515 Original Encoding Incremental Solving Time: 0.031286
1010      [java] Done with finding holes : Flag = true
1011      [java] Done with finding holes : Flag = true
1012      [java] Done with finding holes : Flag = false
1013      [java] 1588125727529 Original Encoding Solving Time: 1.972077
1014      [java] 1588125727529 Original Encoding Incremental Solving Time: 0.01214
1015      [java] Path Solving Time: 1200.161097
1016      [java] Path Solving Time: 2829.070113
1017      [java] Path Solving Time: 34496.125879
1018      [java] Done with finding holes : Flag = true
1019      [java] Done with finding holes : Flag = false
1020      [java] 1588125766083 Original Encoding Solving Time: 0.321316
1021      [java] 1588125766083 Original Encoding Incremental Solving Time: 0.129004
1022      [java] 1588125766101 Original Encoding Solving Time: 0.019847
1023      [java] 1588125766101 Original Encoding Incremental Solving Time: 0.005964
1024      [java] Path Solving Time: 284.015225
1025      [java] Path Solving Time: 213.423043
1026      [java] Path Solving Time: 29535.368077
1027      [java] 1588125796176 Original Encoding Solving Time: 0.23329
1028      [java] 1588125796176 Original Encoding Incremental Solving Time: 0.141172
1029      [java] Done with finding holes : Flag = true
1030      [java] /Source.java:3: error: AbstractUnmarshallerImpl is abstract; cannot be instantiated
1031      [java] org.xml.sax.Parser sypet_var251 = org.xml.sax.helpers.ParserFactory.makeParser(sypet_arg1);java.lang.String sypet_var252 = sypet_arg2.getLocalPart();javax.xml.bind.helpers.AbstractUnmarshallerImpl sypet_var253 = new javax.xml.bind.helpers.AbstractUnmarshallerImpl();java.lang.Object sypet_var254 = sypet_var253.unmarshal(sypet_arg0);sypet_var251.parse(sypet_var252);return sypet_var254;}
1032      [java]                                                                                                                                                                                                                     ^
1033      [java] Note: /Source.java uses or overrides a deprecated API.
1034      [java] Note: Recompile with -Xlint:deprecation for details.
1035      [java] 1 error
1036      [java] Done with finding holes : Flag = false
1037      [java] 1588125796192 Original Encoding Solving Time: 0.020078
1038      [java] 1588125796192 Original Encoding Incremental Solving Time: 0.006464
1039      [java] Path Solving Time: 2650.204599
1040      [java] Path Solving Time: 845.93179
1041      [java] Done with finding holes : Flag = true
1042      [java] /Source.java:3: error: AbstractUnmarshallerImpl is abstract; cannot be instantiated
1043      [java] javax.xml.bind.helpers.AbstractUnmarshallerImpl sypet_var259 = new javax.xml.bind.helpers.AbstractUnmarshallerImpl();java.lang.Object sypet_var260 = sypet_var259.unmarshal(sypet_arg0);javax.xml.soap.SOAPFactory sypet_var261 = javax.xml.soap.SOAPFactory.newInstance(sypet_arg1);javax.xml.soap.SOAPFault sypet_var262 = sypet_var261.createFault();sypet_var262.appendFaultSubcode(sypet_arg2);return sypet_var260;}
1044      [java]                                                                ^
1045      [java] 1 error
1046      [java] Path Solving Time: 38442.143136
1047      [java] 1588125838174 Original Encoding Solving Time: 0.371365
1048      [java] 1588125838174 Original Encoding Incremental Solving Time: 0.182179
1049      [java] Path Solving Time: 1104.374511
1050      [java] Path Solving Time: 1012.120438
1051      [java] Done with finding holes : Flag = true
1052      [java] Path Solving Time: 18549.103359
1053      [java] 1588125858883 Original Encoding Solving Time: 0.278952
1054      [java] 1588125858883 Original Encoding Incremental Solving Time: 0.130691
1055      [java] 1588125858901 Original Encoding Solving Time: 0.018071
1056      [java] 1588125858901 Original Encoding Incremental Solving Time: 0.006358
1057      [java] Done with finding holes : Flag = false
1058      [java] Path Solving Time: 332.670779
1059      [java] Path Solving Time: 18903.680411
1060      [java] Done with finding holes : Flag = true
1061      [java] Done with finding holes : Flag = false
1062      [java] 1588125878181 Original Encoding Solving Time: 0.387153
1063      [java] 1588125878181 Original Encoding Incremental Solving Time: 0.127009
1064      [java] 1588125878200 Original Encoding Solving Time: 0.016447
1065      [java] 1588125878200 Original Encoding Incremental Solving Time: 0.006584
1066      [java] Path Solving Time: 317.606912
1067      [java] Path Solving Time: 3005.03516
1068      [java] Done with finding holes : Flag = true
1069      [java] Path Solving Time: 26375.97141
1070      [java] 1588125907941 Original Encoding Solving Time: 0.281639
1071      [java] 1588125907941 Original Encoding Incremental Solving Time: 0.154092
1072      [java] =========Statistics=========
1073      [java] Benchmark Id: 29
1074      [java] Sketch Generation Time: 601159.761689
1075      [java] Sketch Completion Time: 1706.562848
1076      [java] Compilation Time: 1012.430801
1077      [java] Running Test cases Time: 27.911423000000003
1078      [java] Number of completed programs: 80
1079      [java] Number of sketches: 36
1080      [java] TIMEOUT after 600000 ms
1081      [java] ============================
1082      [java] a30>:Members: 177, 179, } 0x7f6a28971bd0 UNASSIGNED }{ElementConst<0x7f6a284ac6c0>: 177}
1083      [java] }
1084      [java] }
1085      [java] {BooleanLogic<0x7f6a28954d70>: NOT
1086      [java] {BooleanPredicate<0x7f6a288e91f0>:
1087      [java] PredicateOperator: ==
1088      [java] elements:
1089      [java] {ElementSet<0x7f6a28933570>:{Set(1)<0x7f6a28778d10>:Members: 182, } 0x7f6a28933570 UNASSIGNED }{ElementConst<0x7f6a28937360>: 182}
1090      [java] }
1091      [java] }
1092      [java] {BooleanLogic<0x7f6a284ae8e0>: NOT
1093      [java] {BooleanPredicate<0x7f6a28971d00>:
1094      [java] PredicateOperator: ==
1095      [java] elements:
1096      [java] {ElementSet<0x7f6a2892f7c0>:{Set(1)<0x7f6a28964640>:Members: 176, } 0x7f6a2892f7c0 UNASSIGNED }{ElementConst<0x7f6a2890fe40>: 176}
1097      [java] }
1098      [java] }
1099      [java] {BooleanLogic<0x7f6a28975ab0>: NOT
1100      [java] {BooleanPredicate<0x7f6a2892e8f0>:
1101      [java] PredicateOperator: ==
1102      [java] elements:
1103      [java] {ElementSet<0x7f6a28806240>:{Set(1)<0x7f6a2893caa0>:Members: 183, } 0x7f6a28806240 UNASSIGNED }{ElementConst<0x7f6a284b3100>: 183}
1104      [java] }
1105      [java] }
1106      [java] }
1107      [java]
1108
1109 BUILD SUCCESSFUL
1110 Total time: 10 minutes 22 seconds