--- /dev/null
+Buildfile: /scratch/hamed/constraint_compiler/src/Benchmarks/sypet-non-incremental/build.xml
+
+sypet:
+ [java] ----------Options
+ [java] Verbose: false
+ [java] Timeout: 600000
+ [java] Round Robin: true
+ [java] Round Robin Iterations: 100
+ [java] Round Robin Range: 2
+ [java] Solver limit: 5
+ [java] ----------benchmarks/xml/29/benchmark29.json
+ [java] Benchmark Id: 29
+ [java] Method name: evaluateByXpath
+ [java] Packages: [org.w3c.dom, javax.xml, org.xml.sax]
+ [java] Libraries: [./lib/rt7.jar]
+ [java] Source type(s): [java.io.File, java.lang.String, javax.xml.namespace.QName]
+ [java] Target type: java.lang.Object
+ [java] --------------------------------------------------------
+ [java] Warning: javax.crypto.spec.DESKeySpec is a phantom class!
+ [java] Warning: javax.crypto.spec.DESedeKeySpec is a phantom class!
+ [java] Warning: javax.crypto.Cipher is a phantom class!
+ [java] Warning: javax.crypto.spec.SecretKeySpec is a phantom class!
+ [java] Warning: javax.crypto.SecretKeyFactory is a phantom class!
+ [java] Warning: javax.crypto.spec.IvParameterSpec is a phantom class!
+ [java] Warning: javax.crypto.SecretKey is a phantom class!
+ [java] Warning: javax.crypto.spec.PBEKeySpec is a phantom class!
+ [java] Warning: javax.crypto.Mac is a phantom class!
+ [java] Warning: javax.crypto.IllegalBlockSizeException is a phantom class!
+ [java] Warning: javax.crypto.BadPaddingException is a phantom class!
+ [java] Warning: javax.crypto.NoSuchPaddingException is a phantom class!
+ [java] Warning: sun.security.ssl.Krb5Helper is a phantom class!
+ [java] Warning: com.oracle.jrockit.jfr.FlightRecorder is a phantom class!
+ [java] Warning: sun.security.ssl.SSLSocketImpl is a phantom class!
+ [java] Warning: javax.crypto.CipherInputStream is a phantom class!
+ [java] Warning: javax.crypto.CipherOutputStream is a phantom class!
+ [java] Warning: sun.nio.cs.ext.EUC_TW$Decoder is a phantom class!
+ [java] Warning: sun.nio.cs.ext.EUC_TW$Encoder is a phantom class!
+ [java] Warning: sun.nio.cs.ext.DoubleByteEncoder is a phantom class!
+ [java] Warning: sun.nio.cs.ext.JIS_X_0201$Encoder is a phantom class!
+ [java] Warning: sun.nio.cs.ext.JIS_X_0201$Decoder is a phantom class!
+ [java] Warning: sun.nio.cs.ext.JIS_X_0208_Encoder is a phantom class!
+ [java] Warning: sun.nio.cs.ext.JIS_X_0208_Decoder is a phantom class!
+ [java] Warning: sun.nio.cs.ext.JIS_X_0212_Encoder is a phantom class!
+ [java] Warning: sun.nio.cs.ext.JIS_X_0212_Decoder is a phantom class!
+ [java] Warning: javax.crypto.spec.PBEParameterSpec is a phantom class!
+ [java] Warning: javax.crypto.spec.DHParameterSpec is a phantom class!
+ [java] Warning: javax.crypto.spec.DHPublicKeySpec is a phantom class!
+ [java] Warning: javax.crypto.interfaces.DHKey is a phantom class!
+ [java] Warning: javax.crypto.interfaces.DHPublicKey is a phantom class!
+ [java] Warning: javax.crypto.spec.OAEPParameterSpec is a phantom class!
+ [java] Warning: javax.crypto.spec.PSource is a phantom class!
+ [java] Warning: javax.crypto.spec.PSource$PSpecified is a phantom class!
+ [java] Warning: javax.crypto.KeyGenerator is a phantom class!
+ [java] #Classes: 599
+ [java] #Methods: 4130
+ [java] Soot Time: 3248.263247
+ [java] PetriNet for path length: 1 [places: 623 ; transitions: 4240 ; edges: 10563]
+ [java] PetriNet for path length: 2 [places: 623 ; transitions: 4240 ; edges: 10563]
+ [java] PetriNet for path length: 3 [places: 623 ; transitions: 4240 ; edges: 10563]
+ [java] PetriNet for path length: 4 [places: 623 ; transitions: 4240 ; edges: 10563]
+ [java] PetriNet for path length: 5 [places: 623 ; transitions: 4240 ; edges: 10563]
+ [java] Path Solving Time: 46.348172
+ [java] Path Solving Time: 59.85909
+ [java] PetriNet for path length: 6 [places: 623 ; transitions: 4240 ; edges: 10563]
+ [java] Path Solving Time: 55.938035
+ [java] Path Solving Time: 602.023536
+ [java] Path Solving Time: 208.621152
+ [java] PetriNet for path length: 7 [places: 623 ; transitions: 4240 ; edges: 10563]
+ [java] Path Solving Time: 197.991839
+ [java] Path Solving Time: 7110.828731
+ [java] Path Solving Time: 1350.428286
+ [java] PetriNet for path length: 8 [places: 623 ; transitions: 4240 ; edges: 10563]
+ [java] Path Solving Time: 97.798909
+ [java] Path Solving Time: 188.044239
+ [java] Path Solving Time: 526.385029
+ [java] Path Solving Time: 5.31032
+ [java] 1588140700023 Original Encoding Solving Time: 0.703899
+ [java] 1588140700023 Original Encoding Incremental Solving Time: 0.120819
+ [java] Done with finding holes : Flag = true
+ [java] 1588140700308 Original Encoding Solving Time: 0.183958
+ [java] 1588140700308 Original Encoding Incremental Solving Time: 0.034388
+ [java] 1588140700333 Original Encoding Solving Time: 0.191069
+ [java] 1588140700333 Original Encoding Incremental Solving Time: 0.025879
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 103.320238
+ [java] Path Solving Time: 359.232867
+ [java] Path Solving Time: 60.021515
+ [java] Path Solving Time: 4.964686
+ [java] 1588140700903 Original Encoding Solving Time: 0.45699
+ [java] 1588140700903 Original Encoding Incremental Solving Time: 0.099219
+ [java] 1588140700932 Original Encoding Solving Time: 0.045002
+ [java] 1588140700932 Original Encoding Incremental Solving Time: 0.07186
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 303.25211
+ [java] Path Solving Time: 76.417308
+ [java] Path Solving Time: 307.305828
+ [java] Path Solving Time: 4.890898
+ [java] Done with finding holes : Flag = true
+ [java] 1588140701676 Original Encoding Solving Time: 0.64248
+ [java] 1588140701676 Original Encoding Incremental Solving Time: 0.15821
+ [java] 1588140701703 Original Encoding Solving Time: 0.025142
+ [java] 1588140701703 Original Encoding Incremental Solving Time: 0.052442
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 62.728206
+ [java] Path Solving Time: 44.494324
+ [java] Path Solving Time: 56.398382
+ [java] Path Solving Time: 4.993128
+ [java] 1588140701937 Original Encoding Solving Time: 0.514233
+ [java] 1588140701937 Original Encoding Incremental Solving Time: 0.10789
+ [java] 1588140701969 Original Encoding Solving Time: 0.045854
+ [java] 1588140701969 Original Encoding Incremental Solving Time: 0.022845
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 198.785036
+ [java] Path Solving Time: 96.847137
+ [java] Path Solving Time: 184.143916
+ [java] Path Solving Time: 4.867407
+ [java] 1588140702503 Original Encoding Solving Time: 0.498962
+ [java] 1588140702503 Original Encoding Incremental Solving Time: 0.099431
+ [java] 1588140702537 Original Encoding Solving Time: 0.036699
+ [java] 1588140702537 Original Encoding Incremental Solving Time: 0.01092
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 155.673075
+ [java] Path Solving Time: 132.58379
+ [java] Path Solving Time: 5.020828
+ [java] Done with finding holes : Flag = true
+ [java] 1588140702876 Original Encoding Solving Time: 0.527543
+ [java] 1588140702876 Original Encoding Incremental Solving Time: 0.14692
+ [java] 1588140702907 Original Encoding Solving Time: 0.216606
+ [java] 1588140702907 Original Encoding Incremental Solving Time: 0.045636
+ [java] 1588140702930 Original Encoding Solving Time: 0.455689
+ [java] 1588140702930 Original Encoding Incremental Solving Time: 0.013382
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 165.624818
+ [java] Path Solving Time: 54.943189
+ [java] Path Solving Time: 390.443976
+ [java] Done with finding holes : Flag = true
+ [java] 1588140703577 Original Encoding Solving Time: 0.294801
+ [java] 1588140703577 Original Encoding Incremental Solving Time: 0.104076
+ [java] 1588140703603 Original Encoding Solving Time: 0.028249
+ [java] 1588140703603 Original Encoding Incremental Solving Time: 0.013951
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] 2 errors
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 81.668174
+ [java] Path Solving Time: 194.533007
+ [java] Path Solving Time: 28.057344
+ [java] 1588140703957 Original Encoding Solving Time: 0.383664
+ [java] 1588140703957 Original Encoding Incremental Solving Time: 0.105783
+ [java] Done with finding holes : Flag = true
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] 2 errors
+ [java] 1588140703978 Original Encoding Solving Time: 0.030971
+ [java] 1588140703978 Original Encoding Incremental Solving Time: 0.010824
+ [java] Path Solving Time: 34.882575
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 50.769906
+ [java] Path Solving Time: 10.992992
+ [java] 1588140704130 Original Encoding Solving Time: 0.388085
+ [java] 1588140704130 Original Encoding Incremental Solving Time: 0.115714
+ [java] 1588140704153 Original Encoding Solving Time: 0.28113
+ [java] 1588140704153 Original Encoding Incremental Solving Time: 0.049271
+ [java] 1588140704169 Original Encoding Solving Time: 0.464151
+ [java] 1588140704169 Original Encoding Incremental Solving Time: 0.012411
+ [java] Done with finding holes : Flag = true
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] 2 errors
+ [java] Done with finding holes : Flag = true
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] 2 errors
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 89.751644
+ [java] Path Solving Time: 174.545293
+ [java] Path Solving Time: 11.801934
+ [java] Done with finding holes : Flag = true
+ [java] 1588140704484 Original Encoding Solving Time: 0.494355
+ [java] 1588140704484 Original Encoding Incremental Solving Time: 0.161828
+ [java] 1588140704504 Original Encoding Solving Time: 0.028401
+ [java] 1588140704504 Original Encoding Incremental Solving Time: 0.010935
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] 2 errors
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 194.330042
+ [java] Path Solving Time: 259.318232
+ [java] Path Solving Time: 12.358159
+ [java] 1588140705028 Original Encoding Solving Time: 0.43671
+ [java] 1588140705028 Original Encoding Incremental Solving Time: 0.217306
+ [java] 1588140705050 Original Encoding Solving Time: 0.032179
+ [java] 1588140705050 Original Encoding Incremental Solving Time: 0.01027
+ [java] Done with finding holes : Flag = true
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] 2 errors
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 83.547135
+ [java] Path Solving Time: 127.092252
+ [java] Path Solving Time: 11.694636
+ [java] 1588140705325 Original Encoding Solving Time: 0.352763
+ [java] 1588140705325 Original Encoding Incremental Solving Time: 0.107513
+ [java] 1588140705346 Original Encoding Solving Time: 0.028029
+ [java] 1588140705346 Original Encoding Incremental Solving Time: 0.009999
+ [java] Done with finding holes : Flag = true
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] 2 errors
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 113.706209
+ [java] Path Solving Time: 79.534797
+ [java] Path Solving Time: 11.724012
+ [java] 1588140705616 Original Encoding Solving Time: 0.372098
+ [java] 1588140705616 Original Encoding Incremental Solving Time: 0.092241
+ [java] 1588140705641 Original Encoding Solving Time: 0.025344
+ [java] 1588140705641 Original Encoding Incremental Solving Time: 0.015875
+ [java] Done with finding holes : Flag = true
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] 2 errors
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 139.982716
+ [java] Path Solving Time: 106.183781
+ [java] Path Solving Time: 11.417325
+ [java] 1588140705949 Original Encoding Solving Time: 0.499353
+ [java] 1588140705949 Original Encoding Incremental Solving Time: 0.121922
+ [java] 1588140705967 Original Encoding Solving Time: 0.251939
+ [java] 1588140705967 Original Encoding Incremental Solving Time: 0.043184
+ [java] Done with finding holes : Flag = true
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] 2 errors
+ [java] Done with finding holes : Flag = true
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] 2 errors
+ [java] Done with finding holes : Flag = false
+ [java] 1588140705986 Original Encoding Solving Time: 0.839278
+ [java] 1588140705986 Original Encoding Incremental Solving Time: 0.015921
+ [java] Path Solving Time: 188.734037
+ [java] Path Solving Time: 97.96018
+ [java] Path Solving Time: 13.736767
+ [java] 1588140706328 Original Encoding Solving Time: 0.496535
+ [java] 1588140706328 Original Encoding Incremental Solving Time: 0.092197
+ [java] 1588140706348 Original Encoding Solving Time: 0.028192
+ [java] 1588140706348 Original Encoding Incremental Solving Time: 0.031484
+ [java] Done with finding holes : Flag = true
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] 2 errors
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 76.051086
+ [java] Path Solving Time: 11.369965
+ [java] 1588140706493 Original Encoding Solving Time: 0.322527
+ [java] 1588140706493 Original Encoding Incremental Solving Time: 0.146664
+ [java] 1588140706509 Original Encoding Solving Time: 0.02768
+ [java] 1588140706509 Original Encoding Incremental Solving Time: 0.013381
+ [java] Done with finding holes : Flag = true
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] 2 errors
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 139.293306
+ [java] Path Solving Time: 13.630497
+ [java] 1588140706725 Original Encoding Solving Time: 0.245693
+ [java] 1588140706725 Original Encoding Incremental Solving Time: 0.102364
+ [java] 1588140706743 Original Encoding Solving Time: 0.033497
+ [java] 1588140706743 Original Encoding Incremental Solving Time: 0.010588
+ [java] Done with finding holes : Flag = true
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] 2 errors
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 129.772137
+ [java] Path Solving Time: 239.046114
+ [java] Path Solving Time: 13.739375
+ [java] 1588140707184 Original Encoding Solving Time: 0.232769
+ [java] 1588140707184 Original Encoding Incremental Solving Time: 0.105216
+ [java] Done with finding holes : Flag = true
+ [java] 1588140707201 Original Encoding Solving Time: 0.024703
+ [java] 1588140707201 Original Encoding Incremental Solving Time: 0.009061
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] 2 errors
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 255.98925
+ [java] Path Solving Time: 231.662974
+ [java] Path Solving Time: 12.490387
+ [java] 1588140707759 Original Encoding Solving Time: 0.455049
+ [java] 1588140707759 Original Encoding Incremental Solving Time: 0.091453
+ [java] 1588140707775 Original Encoding Solving Time: 0.025171
+ [java] 1588140707775 Original Encoding Incremental Solving Time: 0.025641
+ [java] Done with finding holes : Flag = true
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] 2 errors
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 192.74438
+ [java] Path Solving Time: 168.348435
+ [java] Path Solving Time: 11.683282
+ [java] 1588140708207 Original Encoding Solving Time: 0.254632
+ [java] 1588140708207 Original Encoding Incremental Solving Time: 0.174554
+ [java] 1588140708223 Original Encoding Solving Time: 0.017744
+ [java] 1588140708223 Original Encoding Incremental Solving Time: 0.007397
+ [java] Done with finding holes : Flag = true
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] 2 errors
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 48.815704
+ [java] Path Solving Time: 86.31808
+ [java] Path Solving Time: 12.283116
+ [java] 1588140708431 Original Encoding Solving Time: 0.275732
+ [java] 1588140708431 Original Encoding Incremental Solving Time: 0.078385
+ [java] 1588140708447 Original Encoding Solving Time: 0.02397
+ [java] 1588140708447 Original Encoding Incremental Solving Time: 0.006277
+ [java] Done with finding holes : Flag = true
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] /Source.java:3: error: GetPropertyAction is not public in javax.xml.bind; cannot be accessed from outside package
+ [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;}
+ [java] ^
+ [java] 2 errors
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 418.61106
+ [java] Path Solving Time: 2924.614363
+ [java] Path Solving Time: 5.136484
+ [java] Path Solving Time: 5.183167
+ [java] Path Solving Time: 64137.351025
+ [java] 1588140776010 Original Encoding Solving Time: 0.365917
+ [java] 1588140776010 Original Encoding Incremental Solving Time: 0.192291
+ [java] 1588140776035 Original Encoding Solving Time: 0.231632
+ [java] 1588140776035 Original Encoding Incremental Solving Time: 0.022104
+ [java] 1588140776048 Original Encoding Solving Time: 0.182694
+ [java] 1588140776048 Original Encoding Incremental Solving Time: 0.00837
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 930.64642
+ [java] Path Solving Time: 159.724458
+ [java] Path Solving Time: 48677.464087
+ [java] 1588140825860 Original Encoding Solving Time: 0.358321
+ [java] 1588140825860 Original Encoding Incremental Solving Time: 0.093906
+ [java] 1588140825887 Original Encoding Solving Time: 0.191785
+ [java] 1588140825887 Original Encoding Incremental Solving Time: 0.025318
+ [java] Done with finding holes : Flag = true
+ [java] /Source.java:3: error: AbstractUnmarshallerImpl is abstract; cannot be instantiated
+ [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;}
+ [java] ^
+ [java] 1 error
+ [java] Done with finding holes : Flag = true
+ [java] 1588140825900 Original Encoding Solving Time: 0.199655
+ [java] 1588140825900 Original Encoding Incremental Solving Time: 0.010966
+ [java] /Source.java:3: error: AbstractUnmarshallerImpl is abstract; cannot be instantiated
+ [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;}
+ [java] ^
+ [java] 1 error
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 2506.003245
+ [java] Path Solving Time: 246.553389
+ [java] Path Solving Time: 49968.951222
+ [java] Done with finding holes : Flag = true
+ [java] /Source.java:3: error: HttpExchange is abstract; cannot be instantiated
+ [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;}
+ [java] ^
+ [java] 1 error
+ [java] Done with finding holes : Flag = false
+ [java] 1588140878674 Original Encoding Solving Time: 0.352077
+ [java] 1588140878674 Original Encoding Incremental Solving Time: 0.120683
+ [java] 1588140878688 Original Encoding Solving Time: 0.037367
+ [java] 1588140878688 Original Encoding Incremental Solving Time: 0.00604
+ [java] Path Solving Time: 512.865327
+ [java] Path Solving Time: 109.861931
+ [java] Path Solving Time: 41921.666517
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588140921289 Original Encoding Solving Time: 0.337755
+ [java] 1588140921289 Original Encoding Incremental Solving Time: 0.146621
+ [java] 1588140921307 Original Encoding Solving Time: 0.020453
+ [java] 1588140921307 Original Encoding Incremental Solving Time: 0.006665
+ [java] Path Solving Time: 176.087087
+ [java] Path Solving Time: 428.140187
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 37612.758601
+ [java] 1588140959575 Original Encoding Solving Time: 0.386059
+ [java] 1588140959575 Original Encoding Incremental Solving Time: 0.150648
+ [java] 1588140959612 Original Encoding Solving Time: 0.17626
+ [java] 1588140959612 Original Encoding Incremental Solving Time: 0.013641
+ [java] Done with finding holes : Flag = false
+ [java] 1588140959627 Original Encoding Solving Time: 0.245231
+ [java] 1588140959627 Original Encoding Incremental Solving Time: 0.009561
+ [java] Path Solving Time: 311.095546
+ [java] Path Solving Time: 580.849959
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 60775.792667
+ [java] 1588141021327 Original Encoding Solving Time: 0.30255
+ [java] 1588141021327 Original Encoding Incremental Solving Time: 0.128921
+ [java] 1588141021355 Original Encoding Solving Time: 0.18775
+ [java] 1588141021355 Original Encoding Incremental Solving Time: 0.024721
+ [java] 1588141021370 Original Encoding Solving Time: 0.196295
+ [java] 1588141021370 Original Encoding Incremental Solving Time: 0.020391
+ [java] Path Solving Time: 1091.641499
+ [java] Path Solving Time: 830.295287
+ [java] Path Solving Time: 43187.68211
+ [java] Done with finding holes : Flag = true1588141066512 Original Encoding Solving Time: 0.257013
+ [java]
+ [java] 1588141066512 Original Encoding Incremental Solving Time: 0.109892
+ [java] Done with finding holes : Flag = false
+ [java] 1588141066532 Original Encoding Solving Time: 0.020563
+ [java] 1588141066532 Original Encoding Incremental Solving Time: 0.019512
+ [java] Path Solving Time: 902.827008
+ [java] Path Solving Time: 375.435479
+ [java] Done with finding holes : Flag = truePath Solving Time: 20448.290123
+ [java] /Source.java:3: error: AbstractUnmarshallerImpl is abstract; cannot be instantiated
+ [java]
+ [java] 1588141088312 Original Encoding Solving Time: 0.341477
+ [java] 1588141088312 Original Encoding Incremental Solving Time: 0.12001
+ [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;}
+ [java] ^
+ [java] 1 error
+ [java] Path Solving Time: 204.49507
+ [java] Path Solving Time: 1348.719418
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 39454.085299
+ [java] 1588141129368 Original Encoding Solving Time: 0.319969
+ [java] 1588141129368 Original Encoding Incremental Solving Time: 0.088516
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588141129386 Original Encoding Solving Time: 0.185337
+ [java] 1588141129386 Original Encoding Incremental Solving Time: 0.013982
+ [java] 1588141129398 Original Encoding Solving Time: 0.789026
+ [java] 1588141129398 Original Encoding Incremental Solving Time: 0.011268
+ [java] Path Solving Time: 1208.215331
+ [java] Path Solving Time: 2951.184135
+ [java] Path Solving Time: 35402.213942
+ [java] 1588141169003 Original Encoding Solving Time: 0.318265
+ [java] 1588141169003 Original Encoding Incremental Solving Time: 0.167102
+ [java] Done with finding holes : Flag = true
+ [java] 1588141169022 Original Encoding Solving Time: 0.019003
+ [java] 1588141169022 Original Encoding Incremental Solving Time: 0.006018
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 284.766253
+ [java] Path Solving Time: 212.463504
+ [java] Done with finding holes : Flag = true
+ [java] /Source.java:3: error: AbstractUnmarshallerImpl is abstract; cannot be instantiated
+ [java] Path Solving Time: 29842.296994
+ [java] 1588141199414 Original Encoding Solving Time: 0.292531
+ [java] 1588141199414 Original Encoding Incremental Solving Time: 0.143395
+ [java] 1588141199434 Original Encoding Solving Time: 0.040439
+ [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;}
+ [java] 1588141199434 Original Encoding Incremental Solving Time: 0.012024
+ [java] ^
+ [java] Note: /Source.java uses or overrides a deprecated API.
+ [java] Note: Recompile with -Xlint:deprecation for details.
+ [java] 1 error
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 2979.490112
+ [java] Path Solving Time: 840.672321
+ [java] Path Solving Time: 38843.783393
+ [java] 1588141242152 Original Encoding Solving Time: 0.354882
+ [java] Done with finding holes : Flag = true1588141242152 Original Encoding Incremental Solving Time: 0.128293
+ [java] /Source.java:3: error: AbstractUnmarshallerImpl is abstract; cannot be instantiated
+ [java]
+ [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;}
+ [java] ^
+ [java] 1 error
+ [java] Path Solving Time: 1085.507101
+ [java] Path Solving Time: 983.535702
+ [java] Path Solving Time: 18937.710904
+ [java] 1588141263206 Original Encoding Solving Time: 0.290528
+ [java] 1588141263206 Original Encoding Incremental Solving Time: 0.145364
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588141263227 Original Encoding Solving Time: 0.017714
+ [java] 1588141263227 Original Encoding Incremental Solving Time: 0.005034
+ [java] Path Solving Time: 320.449096
+ [java] Path Solving Time: 19437.506073
+ [java] Done with finding holes : Flag = true
+ [java] 1588141283039 Original Encoding Solving Time: 0.358561
+ [java] 1588141283039 Original Encoding Incremental Solving Time: 0.178248
+ [java] =========Statistics=========
+ [java] Benchmark Id: 29
+ [java] Sketch Generation Time: 590642.940347
+ [java] Sketch Completion Time: 1796.5869480000001
+ [java] Compilation Time: 1069.994286
+ [java] Running Test cases Time: 27.287792000000003
+ [java] Number of completed programs: 78
+ [java] Number of sketches: 35
+ [java] TIMEOUT after 600000 ms
+ [java] ============================
+
+BUILD SUCCESSFUL
+Total time: 10 minutes 11 seconds
projects / Benchmarks_CSolver.git / blobdiff