--- /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: 3170.655237
+ [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: 44.364587
+ [java] Path Solving Time: 53.2923
+ [java] PetriNet for path length: 6 [places: 623 ; transitions: 4240 ; edges: 10563]
+ [java] Path Solving Time: 54.246925
+ [java] Path Solving Time: 596.1448
+ [java] Path Solving Time: 210.180983
+ [java] PetriNet for path length: 7 [places: 623 ; transitions: 4240 ; edges: 10563]
+ [java] Path Solving Time: 203.011487
+ [java] Path Solving Time: 7196.171483
+ [java] Path Solving Time: 1316.333623
+ [java] PetriNet for path length: 8 [places: 623 ; transitions: 4240 ; edges: 10563]
+ [java] Path Solving Time: 97.947868
+ [java] Path Solving Time: 190.080515
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 523.133257
+ [java] Path Solving Time: 5.04204
+ [java] 1588135882564 Original Encoding Solving Time: 0.791498
+ [java] 1588135882564 Original Encoding Incremental Solving Time: 0.116398
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588135882842 Original Encoding Solving Time: 0.193796
+ [java] 1588135882842 Original Encoding Incremental Solving Time: 0.042622
+ [java] 1588135882865 Original Encoding Solving Time: 0.196434
+ [java] 1588135882865 Original Encoding Incremental Solving Time: 0.06283
+ [java] Path Solving Time: 108.272119
+ [java] Path Solving Time: 360.013182
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 52.946365
+ [java] Path Solving Time: 4.938433
+ [java] 1588135883432 Original Encoding Solving Time: 0.393071
+ [java] 1588135883432 Original Encoding Incremental Solving Time: 0.103802
+ [java] 1588135883461 Original Encoding Solving Time: 0.048842
+ [java] 1588135883461 Original Encoding Incremental Solving Time: 0.083955
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 313.63284
+ [java] Path Solving Time: 79.237418
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 311.978534
+ [java] Path Solving Time: 4.89685
+ [java] 1588135884230 Original Encoding Solving Time: 0.518791
+ [java] 1588135884230 Original Encoding Incremental Solving Time: 0.106491
+ [java] 1588135884257 Original Encoding Solving Time: 0.025102
+ [java] 1588135884257 Original Encoding Incremental Solving Time: 0.0551
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 53.354087
+ [java] Path Solving Time: 44.010302
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 55.269063
+ [java] Path Solving Time: 5.010946
+ [java] 1588135884472 Original Encoding Solving Time: 0.415685
+ [java] 1588135884472 Original Encoding Incremental Solving Time: 0.093981
+ [java] Done with finding holes : Flag = false
+ [java] 1588135884500 Original Encoding Solving Time: 0.054143
+ [java] 1588135884500 Original Encoding Incremental Solving Time: 0.034132
+ [java] Path Solving Time: 196.053221
+ [java] Path Solving Time: 97.456375
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 185.102384
+ [java] Path Solving Time: 4.85228
+ [java] 1588135885035 Original Encoding Solving Time: 0.421221
+ [java] 1588135885035 Original Encoding Incremental Solving Time: 0.591882
+ [java] 1588135885067 Original Encoding Solving Time: 0.031559
+ [java] 1588135885067 Original Encoding Incremental Solving Time: 0.010927
+ [java] Path Solving Time: 160.47308
+ [java] Path Solving Time: 133.505299
+ [java] Path Solving Time: 4.971653
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588135885410 Original Encoding Solving Time: 0.433388
+ [java] 1588135885410 Original Encoding Incremental Solving Time: 0.259535
+ [java] 1588135885440 Original Encoding Solving Time: 0.223065
+ [java] 1588135885440 Original Encoding Incremental Solving Time: 0.025375
+ [java] 1588135885460 Original Encoding Solving Time: 0.501126
+ [java] 1588135885460 Original Encoding Incremental Solving Time: 0.013449
+ [java] Path Solving Time: 169.365511
+ [java] Path Solving Time: 55.525581
+ [java] Path Solving Time: 391.65711
+ [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_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] 1588135886112 Original Encoding Solving Time: 0.268237
+ [java] 1588135886112 Original Encoding Incremental Solving Time: 0.089057
+ [java] 1588135886136 Original Encoding Solving Time: 0.030101
+ [java] 1588135886136 Original Encoding Incremental Solving Time: 0.009981
+ [java] Path Solving Time: 81.717192
+ [java] Path Solving Time: 196.093484
+ [java] Path Solving Time: 28.578202
+ [java] 1588135886494 Original Encoding Solving Time: 0.38945
+ [java] 1588135886494 Original Encoding Incremental Solving Time: 0.093702
+ [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] Done with finding holes : Flag = false
+ [java] 1588135886512 Original Encoding Solving Time: 0.021256
+ [java] 1588135886512 Original Encoding Incremental Solving Time: 0.006981
+ [java] Path Solving Time: 34.591838
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 51.283842
+ [java] Path Solving Time: 11.092456
+ [java] 1588135886665 Original Encoding Solving Time: 0.328095
+ [java] 1588135886665 Original Encoding Incremental Solving Time: 0.0978
+ [java] 1588135886689 Original Encoding Solving Time: 0.177116
+ [java] 1588135886689 Original Encoding Incremental Solving Time: 0.157036
+ [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] 1588135886704 Original Encoding Solving Time: 0.390509
+ [java] 1588135886704 Original Encoding Incremental Solving Time: 0.012831
+ [java] Path Solving Time: 91.752586
+ [java] Path Solving Time: 174.523069
+ [java] Path Solving Time: 11.516969
+ [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_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] 1588135887021 Original Encoding Solving Time: 0.64008
+ [java] 1588135887021 Original Encoding Incremental Solving Time: 0.157313
+ [java] 1588135887042 Original Encoding Solving Time: 0.021384
+ [java] 1588135887042 Original Encoding Incremental Solving Time: 0.007164
+ [java] Path Solving Time: 193.549162
+ [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] Path Solving Time: 261.944791
+ [java] Path Solving Time: 11.963779
+ [java] 1588135887564 Original Encoding Solving Time: 0.548203
+ [java] 1588135887564 Original Encoding Incremental Solving Time: 0.14565
+ [java] 1588135887581 Original Encoding Solving Time: 0.020389
+ [java] 1588135887581 Original Encoding Incremental Solving Time: 0.007118
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 86.179314
+ [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] Path Solving Time: 129.762042
+ [java] Path Solving Time: 12.092129
+ [java] 1588135887870 Original Encoding Solving Time: 0.322474
+ [java] 1588135887870 Original Encoding Incremental Solving Time: 0.085884
+ [java] 1588135887887 Original Encoding Solving Time: 0.022683
+ [java] 1588135887887 Original Encoding Incremental Solving Time: 0.00847
+ [java] 2 errors
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 121.33049
+ [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] Path Solving Time: 81.408718
+ [java] Path Solving Time: 11.959626
+ [java] 1588135888160 Original Encoding Solving Time: 0.380924
+ [java] 1588135888160 Original Encoding Incremental Solving Time: 0.150385
+ [java] 1588135888179 Original Encoding Solving Time: 0.02379
+ [java] 1588135888179 Original Encoding Incremental Solving Time: 0.007159
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 137.900245
+ [java] Path Solving Time: 107.6369
+ [java] Path Solving Time: 11.82541
+ [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] 1588135888505 Original Encoding Solving Time: 0.468584
+ [java] 1588135888505 Original Encoding Incremental Solving Time: 0.098944
+ [java] 1588135888520 Original Encoding Solving Time: 0.910975
+ [java] 1588135888520 Original Encoding Incremental Solving Time: 0.033077
+ [java] 1588135888539 Original Encoding Solving Time: 1.269451
+ [java] 1588135888539 Original Encoding Incremental Solving Time: 0.024564
+ [java] Path Solving Time: 182.848965
+ [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] Path Solving Time: 91.841954
+ [java] Path Solving Time: 11.689919
+ [java] 1588135888873 Original Encoding Solving Time: 0.348415
+ [java] 1588135888873 Original Encoding Incremental Solving Time: 0.078059
+ [java] 1588135888889 Original Encoding Solving Time: 0.029039
+ [java] 1588135888889 Original Encoding Incremental Solving Time: 0.019311
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 76.720236
+ [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: 11.666889
+ [java] 1588135889040 Original Encoding Solving Time: 0.233809
+ [java] 1588135889040 Original Encoding Incremental Solving Time: 0.080366
+ [java] 1588135889053 Original Encoding Solving Time: 0.020239
+ [java] 1588135889053 Original Encoding Incremental Solving Time: 0.008631
+ [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] Path Solving Time: 128.567651
+ [java] Path Solving Time: 11.546969
+ [java] 1588135889259 Original Encoding Solving Time: 0.236305
+ [java] 1588135889259 Original Encoding Incremental Solving Time: 0.103903
+ [java] 1588135889276 Original Encoding Solving Time: 0.038028
+ [java] 1588135889276 Original Encoding Incremental Solving Time: 0.012718
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 131.688744
+ [java] Path Solving Time: 235.080112
+ [java] Path Solving Time: 11.542059
+ [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_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] 1588135889714 Original Encoding Solving Time: 0.217834
+ [java] 1588135889714 Original Encoding Incremental Solving Time: 0.124988
+ [java] 1588135889728 Original Encoding Solving Time: 0.018735
+ [java] 1588135889728 Original Encoding Incremental Solving Time: 0.009406
+ [java] Path Solving Time: 240.486425
+ [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] Path Solving Time: 232.207545
+ [java] Path Solving Time: 12.09613
+ [java] 1588135890276 Original Encoding Solving Time: 0.38425
+ [java] 1588135890276 Original Encoding Incremental Solving Time: 0.111124
+ [java] 1588135890291 Original Encoding Solving Time: 0.022316
+ [java] 1588135890291 Original Encoding Incremental Solving Time: 0.018388
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 192.854188
+ [java] Path Solving Time: 173.668847
+ [java] Path Solving Time: 11.899845
+ [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] 1588135890730 Original Encoding Solving Time: 0.231197
+ [java] 1588135890730 Original Encoding Incremental Solving Time: 0.195519
+ [java] 1588135890749 Original Encoding Solving Time: 0.025458
+ [java] 1588135890749 Original Encoding Incremental Solving Time: 0.008406
+ [java] Path Solving Time: 52.750039
+ [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] Path Solving Time: 85.172917
+ [java] Path Solving Time: 12.36094
+ [java] 1588135890955 Original Encoding Solving Time: 0.258804
+ [java] 1588135890955 Original Encoding Incremental Solving Time: 0.104311
+ [java] 1588135890969 Original Encoding Solving Time: 0.020529
+ [java] 1588135890969 Original Encoding Incremental Solving Time: 0.0105
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 427.417545
+ [java] Path Solving Time: 3320.807454
+ [java] Path Solving Time: 5.227628
+ [java] Path Solving Time: 5.277631
+ [java] Path Solving Time: 63605.926022
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588135958398 Original Encoding Solving Time: 0.35988
+ [java] 1588135958398 Original Encoding Incremental Solving Time: 0.182811
+ [java] 1588135958421 Original Encoding Solving Time: 0.190872
+ [java] 1588135958421 Original Encoding Incremental Solving Time: 0.021802
+ [java] 1588135958437 Original Encoding Solving Time: 0.21803
+ [java] 1588135958437 Original Encoding Incremental Solving Time: 0.011665
+ [java] Path Solving Time: 939.724529
+ [java] Path Solving Time: 153.491918
+ [java] Path Solving Time: 48171.604219
+ [java] 1588136007746 Original Encoding Solving Time: 0.567811
+ [java] 1588136007746 Original Encoding Incremental Solving Time: 0.141909
+ [java] 1588136007770 Original Encoding Solving Time: 0.233455
+ [java] 1588136007770 Original Encoding Incremental Solving Time: 0.025881
+ [java] 1588136007782 Original Encoding Solving Time: 0.164212
+ [java] 1588136007782 Original Encoding Incremental Solving Time: 0.009199
+ [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] /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: 2417.181769
+ [java] Path Solving Time: 252.207499
+ [java] Done with finding holes : Flag = true
+ [java] /Source.java:3: error: HttpExchange is abstract; cannot be instantiated
+ [java] Path Solving Time: 48313.834533
+ [java] 1588136058801 Original Encoding Solving Time: 0.299256
+ [java] 1588136058801 Original Encoding Incremental Solving Time: 0.160311
+ [java] 1588136058815 Original Encoding Solving Time: 0.018721
+ [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] 1588136058815 Original Encoding Incremental Solving Time: 0.008081
+ [java] ^
+ [java] 1 error
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 506.543745
+ [java] Path Solving Time: 110.223175
+ [java] Path Solving Time: 41718.458035
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588136101205 Original Encoding Solving Time: 0.289016
+ [java] 1588136101205 Original Encoding Incremental Solving Time: 0.106021
+ [java] 1588136101225 Original Encoding Solving Time: 0.028477
+ [java] 1588136101225 Original Encoding Incremental Solving Time: 0.011918
+ [java] Path Solving Time: 180.021377
+ [java] Path Solving Time: 441.398972
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 37587.020587
+ [java] 1588136139481 Original Encoding Solving Time: 0.351008
+ [java] 1588136139481 Original Encoding Incremental Solving Time: 0.125581
+ [java] 1588136139515 Original Encoding Solving Time: 0.199244
+ [java] 1588136139515 Original Encoding Incremental Solving Time: 0.023377
+ [java] Done with finding holes : Flag = false
+ [java] 1588136139528 Original Encoding Solving Time: 0.123301
+ [java] 1588136139528 Original Encoding Incremental Solving Time: 0.007244
+ [java] Path Solving Time: 315.407626
+ [java] Path Solving Time: 592.672832
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 59709.963839
+ [java] 1588136200178 Original Encoding Solving Time: 0.332494
+ [java] 1588136200178 Original Encoding Incremental Solving Time: 0.123222
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588136200204 Original Encoding Solving Time: 0.207857
+ [java] 1588136200204 Original Encoding Incremental Solving Time: 0.031953
+ [java] 1588136200222 Original Encoding Solving Time: 0.227803
+ [java] 1588136200222 Original Encoding Incremental Solving Time: 0.01528
+ [java] Path Solving Time: 1080.881131
+ [java] Path Solving Time: 834.824598
+ [java] Path Solving Time: 42679.591891
+ [java] Done with finding holes : Flag = true
+ [java] 1588136244848 Original Encoding Solving Time: 0.248598Done with finding holes : Flag = false
+ [java]
+ [java] 1588136244848 Original Encoding Incremental Solving Time: 0.107989
+ [java] 1588136244869 Original Encoding Solving Time: 0.020322
+ [java] 1588136244869 Original Encoding Incremental Solving Time: 0.022432
+ [java] Path Solving Time: 921.666779
+ [java] Path Solving Time: 377.021638
+ [java] Path Solving Time: 20464.731845
+ [java] Done with finding holes : Flag = true
+ [java] 1588136266679 Original Encoding Solving Time: 0.395693/Source.java:3: error: AbstractUnmarshallerImpl is abstract; cannot be instantiated
+ [java]
+ [java] 1588136266679 Original Encoding Incremental Solving Time: 0.146174
+ [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: 203.964602
+ [java] Path Solving Time: 1320.430464
+ [java] Done with finding holes : Flag = truePath Solving Time: 38880.827866
+ [java]
+ [java] 1588136307133 Original Encoding Solving Time: 0.239883
+ [java] Done with finding holes : Flag = true1588136307133 Original Encoding Incremental Solving Time: 0.104626
+ [java] Done with finding holes : Flag = false
+ [java]
+ [java] 1588136307149 Original Encoding Solving Time: 0.207218
+ [java] 1588136307149 Original Encoding Incremental Solving Time: 0.015842
+ [java] 1588136307161 Original Encoding Solving Time: 0.171249
+ [java] 1588136307161 Original Encoding Incremental Solving Time: 0.013187
+ [java] Path Solving Time: 1238.593902
+ [java] Path Solving Time: 3099.283918
+ [java] Path Solving Time: 35095.821034
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588136346637 Original Encoding Solving Time: 0.286357
+ [java] 1588136346637 Original Encoding Incremental Solving Time: 0.163037
+ [java] 1588136346655 Original Encoding Solving Time: 0.021435
+ [java] 1588136346655 Original Encoding Incremental Solving Time: 0.007383
+ [java] Path Solving Time: 289.220974
+ [java] Path Solving Time: 213.775732
+ [java] Path Solving Time: 30157.007594
+ [java] Done with finding holes : Flag = true1588136377361 Original Encoding Solving Time: 0.273586
+ [java] 1588136377361 Original Encoding Incremental Solving Time: 0.145624
+ [java]
+ [java] /Source.java:3: error: AbstractUnmarshallerImpl is abstract; cannot be instantiated
+ [java] 1588136377380 Original Encoding Solving Time: 0.015756org.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] 1588136377380 Original Encoding Incremental Solving Time: 0.00696
+ [java]
+ [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: 2905.640827
+ [java] Path Solving Time: 869.148678
+ [java] Path Solving Time: 39113.067717
+ [java] Done with finding holes : Flag = true
+ [java] /Source.java:3: error: AbstractUnmarshallerImpl is abstract; cannot be instantiated
+ [java] 1588136420324 Original Encoding Solving Time: 0.40839
+ [java] 1588136420324 Original Encoding Incremental Solving Time: 0.127314
+ [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: 1103.59104
+ [java] Path Solving Time: 1001.925253
+ [java] Done with finding holes : Flag = truePath Solving Time: 18782.010748
+ [java] 1588136441257 Original Encoding Solving Time: 0.288477
+ [java] 1588136441257 Original Encoding Incremental Solving Time: 0.117295
+ [java] 1588136441275 Original Encoding Solving Time: 0.015462
+ [java] 1588136441275 Original Encoding Incremental Solving Time: 0.005145
+ [java]
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 329.19544
+ [java] Path Solving Time: 19054.127954Done with finding holes : Flag = true
+ [java] 1588136460708 Original Encoding Solving Time: 0.252781
+ [java] 1588136460708 Original Encoding Incremental Solving Time: 0.10062
+ [java] =========Statistics=========
+ [java] Benchmark Id: 29
+ [java] Sketch Generation Time: 585887.6615270001
+ [java] Sketch Completion Time: 1776.6702019999998
+ [java] Compilation Time: 1012.3868999999999
+ [java] Running Test cases Time: 25.866262
+ [java]
+ [java] Number of completed programs: 78
+ [java] Number of sketches: 35
+ [java] TIMEOUT after 600000 ms
+ [java] ============================
+
+BUILD SUCCESSFUL
+Total time: 10 minutes 6 seconds
projects / Benchmarks_CSolver.git / blobdiff