--- /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/26/benchmark26.json
+ [java] Benchmark Id: 26
+ [java] Method name: getDoctypeByString
+ [java] Packages: [org.w3c.dom, javax.xml.parsers, org.xml.sax]
+ [java] Libraries: [./lib/rt7.jar]
+ [java] Source type(s): [java.lang.String]
+ [java] Target type: org.w3c.dom.DocumentType
+ [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: 210
+ [java] #Methods: 1784
+ [java] Soot Time: 3149.176746
+ [java] PetriNet for path length: 1 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] PetriNet for path length: 2 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] PetriNet for path length: 3 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] PetriNet for path length: 4 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] PetriNet for path length: 5 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] Path Solving Time: 11.875429
+ [java] PetriNet for path length: 6 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] Path Solving Time: 12.899734
+ [java] PetriNet for path length: 7 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] Path Solving Time: 7.999753
+ [java] Path Solving Time: 50.377724
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 7.969528
+ [java] 1588140640255 Original Encoding Solving Time: 0.509707
+ [java] 1588140640255 Original Encoding Incremental Solving Time: 0.096438
+ [java] Path Solving Time: 52.765913
+ [java] Path Solving Time: 4.342711
+ [java] Path Solving Time: 15.461896
+ [java] PetriNet for path length: 8 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] Path Solving Time: 6.090272
+ [java] Path Solving Time: 23.708279
+ [java] Path Solving Time: 4.286796
+ [java] 1588140642217 Original Encoding Solving Time: 0.821304
+ [java] 1588140642217 Original Encoding Incremental Solving Time: 0.24943
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 58.23696
+ [java] Path Solving Time: 3.69976
+ [java] Path Solving Time: 44.408068
+ [java] Path Solving Time: 16.08741
+ [java] 1588140642404 Original Encoding Solving Time: 0.85078
+ [java] 1588140642404 Original Encoding Incremental Solving Time: 0.228707
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 13.091606
+ [java] PetriNet for path length: 9 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] Path Solving Time: 4.396283
+ [java] Path Solving Time: 30.998609
+ [java] Path Solving Time: 3.608957
+ [java] 1588140643888 Original Encoding Solving Time: 0.736081
+ [java] 1588140643888 Original Encoding Incremental Solving Time: 0.106556
+ [java] 1588140643918 Original Encoding Solving Time: 0.065036
+ [java] 1588140643918 Original Encoding Incremental Solving Time: 0.053527
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 20.6132
+ [java] Path Solving Time: 30.33081
+ [java] Path Solving Time: 34.328724
+ [java] Path Solving Time: 3.687188
+ [java] Done with finding holes : Flag = true
+ [java] 1588140644038 Original Encoding Solving Time: 0.661955
+ [java] 1588140644038 Original Encoding Incremental Solving Time: 0.551187
+ [java] Path Solving Time: 12.532391
+ [java] Path Solving Time: 36.690237
+ [java] Path Solving Time: 46.083717
+ [java] Path Solving Time: 3.223517
+ [java] 1588140644199 Original Encoding Solving Time: 0.474833
+ [java] 1588140644199 Original Encoding Incremental Solving Time: 0.231796
+ [java] 1588140644229 Original Encoding Solving Time: 0.055073
+ [java] 1588140644229 Original Encoding Incremental Solving Time: 0.067459
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 23.627984
+ [java] Path Solving Time: 9.331388
+ [java] Path Solving Time: 3.067289
+ [java] 1588140644304 Original Encoding Solving Time: 0.411674
+ [java] 1588140644304 Original Encoding Incremental Solving Time: 0.121725
+ [java] 1588140644329 Original Encoding Solving Time: 0.043589
+ [java] 1588140644329 Original Encoding Incremental Solving Time: 0.052477
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 17.305521
+ [java] Path Solving Time: 40.445597
+ [java] Path Solving Time: 3.056027
+ [java] 1588140644429 Original Encoding Solving Time: 0.429116
+ [java] 1588140644429 Original Encoding Incremental Solving Time: 0.565598
+ [java] Done with finding holes : Flag = true
+ [java] 1588140644450 Original Encoding Solving Time: 0.025762
+ [java] 1588140644450 Original Encoding Incremental Solving Time: 0.073409
+ [java] Path Solving Time: 9.779394
+ [java] Path Solving Time: 23.36218
+ [java] Path Solving Time: 3.860151
+ [java] 1588140644533 Original Encoding Solving Time: 1.30538
+ [java] 1588140644533 Original Encoding Incremental Solving Time: 0.236187
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588140644556 Original Encoding Solving Time: 0.035128
+ [java] 1588140644556 Original Encoding Incremental Solving Time: 0.024997
+ [java] Path Solving Time: 17.712361
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 73.449593
+ [java] Path Solving Time: 2.973641
+ [java] Path Solving Time: 78.285652
+ [java] 1588140644777 Original Encoding Solving Time: 0.639454
+ [java] 1588140644777 Original Encoding Incremental Solving Time: 0.149684
+ [java] Path Solving Time: 20.333555
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 82.39781
+ [java] 1588140644928 Original Encoding Solving Time: 0.370381
+ [java] 1588140644928 Original Encoding Incremental Solving Time: 2.145138
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 36.35917
+ [java] Path Solving Time: 21.019117
+ [java] Path Solving Time: 56.113697
+ [java] 1588140645089 Original Encoding Solving Time: 0.457007
+ [java] 1588140645089 Original Encoding Incremental Solving Time: 1.534684
+ [java] Path Solving Time: 29.122821
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 51.38236
+ [java] Path Solving Time: 54.631361
+ [java] 1588140645272 Original Encoding Solving Time: 0.313505
+ [java] 1588140645272 Original Encoding Incremental Solving Time: 0.104776
+ [java] Path Solving Time: 42.509427
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 40.947235
+ [java] Path Solving Time: 44.906711
+ [java] Done with finding holes : Flag = true
+ [java] 1588140645450 Original Encoding Solving Time: 0.284312
+ [java] 1588140645450 Original Encoding Incremental Solving Time: 0.090275
+ [java] Path Solving Time: 16.267448
+ [java] Path Solving Time: 16.303398
+ [java] 1588140645530 Original Encoding Solving Time: 0.272496
+ [java] 1588140645530 Original Encoding Incremental Solving Time: 0.102902
+ [java] Note: /Source.java uses or overrides a deprecated API.
+ [java] Note: Recompile with -Xlint:deprecation for details.
+ [java] Done with finding holes : Flag = true
+ [java] Note: /Source.java uses or overrides a deprecated API.
+ [java] Note: Recompile with -Xlint:deprecation for details.
+ [java] Path Solving Time: 41.789681
+ [java] Path Solving Time: 31.468375
+ [java] Path Solving Time: 5.571336
+ [java] Done with finding holes : Flag = true
+ [java] 1588140645652 Original Encoding Solving Time: 0.336795
+ [java] 1588140645652 Original Encoding Incremental Solving Time: 0.151707
+ [java] Path Solving Time: 48.205035
+ [java] Path Solving Time: 10.823903
+ [java] Path Solving Time: 5.43429
+ [java] 1588140645781 Original Encoding Solving Time: 0.319337
+ [java] 1588140645781 Original Encoding Incremental Solving Time: 0.151815
+ [java] Path Solving Time: 32.610426
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 32.938035
+ [java] Path Solving Time: 5.116709
+ [java] 1588140645894 Original Encoding Solving Time: 0.297998
+ [java] 1588140645894 Original Encoding Incremental Solving Time: 0.770766
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 40.294877
+ [java] Path Solving Time: 17.785164
+ [java] Path Solving Time: 5.05864
+ [java] 1588140646000 Original Encoding Solving Time: 0.799743
+ [java] 1588140646000 Original Encoding Incremental Solving Time: 0.085184
+ [java] Path Solving Time: 16.966234
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 8.491919
+ [java] 1588140646074 Original Encoding Solving Time: 0.346904
+ [java] 1588140646074 Original Encoding Incremental Solving Time: 0.692051
+ [java] Path Solving Time: 12.937899
+ [java] Path Solving Time: 5.685223
+ [java] 1588140646142 Original Encoding Solving Time: 0.260636
+ [java] 1588140646142 Original Encoding Incremental Solving Time: 0.102215
+ [java] Done with finding holes : Flag = true
+ [java] Note: /Source.java uses or overrides a deprecated API.
+ [java] Note: Recompile with -Xlint:deprecation for details.
+ [java] Done with finding holes : Flag = true
+ [java] Note: /Source.java uses or overrides a deprecated API.
+ [java] Note: Recompile with -Xlint:deprecation for details.
+ [java] Path Solving Time: 14.114968
+ [java] Path Solving Time: 5.798732
+ [java] 1588140646206 Original Encoding Solving Time: 0.247776
+ [java] 1588140646206 Original Encoding Incremental Solving Time: 0.072567
+ [java] Path Solving Time: 19.416522
+ [java] Done with finding holes : Flag = true
+ [java] Note: /Source.java uses or overrides a deprecated API.
+ [java] Note: Recompile with -Xlint:deprecation for details.
+ [java] Path Solving Time: 6.152342
+ [java] 1588140646276 Original Encoding Solving Time: 0.409894
+ [java] 1588140646276 Original Encoding Incremental Solving Time: 0.079662
+ [java] Path Solving Time: 17.608423
+ [java] Path Solving Time: 8.487351
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588140646348 Original Encoding Solving Time: 0.351138
+ [java] 1588140646348 Original Encoding Incremental Solving Time: 0.11601
+ [java] Path Solving Time: 17.316906
+ [java] Path Solving Time: 6.039933
+ [java] 1588140646418 Original Encoding Solving Time: 0.234778
+ [java] 1588140646418 Original Encoding Incremental Solving Time: 0.089684
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 16.912642
+ [java] Path Solving Time: 5.657184
+ [java] 1588140646481 Original Encoding Solving Time: 0.211264
+ [java] 1588140646481 Original Encoding Incremental Solving Time: 0.134526
+ [java] Path Solving Time: 18.319052
+ [java] Path Solving Time: 5.448873
+ [java] 1588140646546 Original Encoding Solving Time: 0.479619
+ [java] 1588140646546 Original Encoding Incremental Solving Time: 0.102981
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 32.575705
+ [java] Path Solving Time: 6.926029
+ [java] 1588140646633 Original Encoding Solving Time: 0.309965
+ [java] 1588140646633 Original Encoding Incremental Solving Time: 0.158789
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 16.29944
+ [java] Path Solving Time: 5.500628
+ [java] 1588140646698 Original Encoding Solving Time: 0.23325
+ [java] 1588140646698 Original Encoding Incremental Solving Time: 0.082064
+ [java] Path Solving Time: 15.734381
+ [java] Path Solving Time: 5.839065
+ [java] Done with finding holes : Flag = true
+ [java] 1588140646765 Original Encoding Solving Time: 0.272526
+ [java] 1588140646765 Original Encoding Incremental Solving Time: 0.075169
+ [java] Path Solving Time: 16.889216
+ [java] Path Solving Time: 8.229314
+ [java] 1588140646838 Original Encoding Solving Time: 0.29045
+ [java] 1588140646838 Original Encoding Incremental Solving Time: 0.093393
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 29.964371
+ [java] Path Solving Time: 5.444769
+ [java] 1588140646921 Original Encoding Solving Time: 0.33693
+ [java] 1588140646921 Original Encoding Incremental Solving Time: 0.139561
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 13.05808
+ [java] Path Solving Time: 6.214357
+ [java] 1588140646986 Original Encoding Solving Time: 0.223205
+ [java] 1588140646986 Original Encoding Incremental Solving Time: 0.079307
+ [java] Path Solving Time: 25.897991
+ [java] Path Solving Time: 5.506523
+ [java] Done with finding holes : Flag = true
+ [java] 1588140647062 Original Encoding Solving Time: 0.416184
+ [java] 1588140647062 Original Encoding Incremental Solving Time: 0.10754
+ [java] Path Solving Time: 17.367528
+ [java] Path Solving Time: 5.386447
+ [java] 1588140647130 Original Encoding Solving Time: 0.274945
+ [java] 1588140647130 Original Encoding Incremental Solving Time: 0.085958
+ [java] Done with finding holes : Flag = true
+ [java] Note: /Source.java uses or overrides a deprecated API.
+ [java] Note: Recompile with -Xlint:deprecation for details.
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 12.427688
+ [java] Path Solving Time: 5.660541
+ [java] 1588140647188 Original Encoding Solving Time: 0.400025
+ [java] 1588140647188 Original Encoding Incremental Solving Time: 1.224093
+ [java] Path Solving Time: 15.144523
+ [java] Path Solving Time: 6.035977
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588140647254 Original Encoding Solving Time: 0.347294
+ [java] 1588140647254 Original Encoding Incremental Solving Time: 0.076345
+ [java] Path Solving Time: 29.493304
+ [java] Path Solving Time: 6.981127
+ [java] 1588140647335 Original Encoding Solving Time: 0.341854
+ [java] 1588140647335 Original Encoding Incremental Solving Time: 0.132431
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 18.280872
+ [java] Path Solving Time: 5.2564
+ [java] 1588140647398 Original Encoding Solving Time: 0.250421
+ [java] 1588140647398 Original Encoding Incremental Solving Time: 0.089441
+ [java] Path Solving Time: 19.044196
+ [java] Path Solving Time: 7.976237
+ [java] Done with finding holes : Flag = true
+ [java] 1588140647469 Original Encoding Solving Time: 0.264568
+ [java] 1588140647469 Original Encoding Incremental Solving Time: 0.108394
+ [java] Path Solving Time: 14.629045
+ [java] Path Solving Time: 6.449507
+ [java] 1588140647535 Original Encoding Solving Time: 0.317979
+ [java] 1588140647535 Original Encoding Incremental Solving Time: 0.087046
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 30.465583
+ [java] Path Solving Time: 5.611819
+ [java] 1588140647613 Original Encoding Solving Time: 0.241342
+ [java] 1588140647613 Original Encoding Incremental Solving Time: 0.080753
+ [java] Path Solving Time: 15.112073
+ [java] Path Solving Time: 5.601875
+ [java] Done with finding holes : Flag = true
+ [java] 1588140647674 Original Encoding Solving Time: 0.206391
+ [java] 1588140647674 Original Encoding Incremental Solving Time: 0.079289
+ [java] Path Solving Time: 12.209544
+ [java] Path Solving Time: 41.989248
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 13.735037
+ [java] Path Solving Time: 3.506342
+ [java] 1588140647787 Original Encoding Solving Time: 0.282264
+ [java] 1588140647787 Original Encoding Incremental Solving Time: 0.08799
+ [java] 1588140647803 Original Encoding Solving Time: 0.097132
+ [java] 1588140647803 Original Encoding Incremental Solving Time: 0.020142
+ [java] Path Solving Time: 19.20949
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 176.540887
+ [java] Path Solving Time: 31.536603
+ [java] Path Solving Time: 3.611796
+ [java] 1588140648083 Original Encoding Solving Time: 0.344252
+ [java] 1588140648083 Original Encoding Incremental Solving Time: 0.088239
+ [java] 1588140648096 Original Encoding Solving Time: 0.02751
+ [java] 1588140648096 Original Encoding Incremental Solving Time: 0.008371
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 113.33952
+ [java] Path Solving Time: 28.383679
+ [java] Path Solving Time: 91.863451
+ [java] Path Solving Time: 3.524229
+ [java] 1588140648379 Original Encoding Solving Time: 0.327544
+ [java] 1588140648379 Original Encoding Incremental Solving Time: 0.093659
+ [java] 1588140648392 Original Encoding Solving Time: 0.025624
+ [java] 1588140648392 Original Encoding Incremental Solving Time: 0.007076
+ [java] Path Solving Time: 24.851515
+ [java] Path Solving Time: 13.693618
+ [java] Path Solving Time: 4.301571
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588140648480 Original Encoding Solving Time: 0.327582
+ [java] 1588140648480 Original Encoding Incremental Solving Time: 0.149513
+ [java] 1588140648493 Original Encoding Solving Time: 0.025621
+ [java] 1588140648493 Original Encoding Incremental Solving Time: 0.009357
+ [java] Path Solving Time: 23.590676
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 67.876267
+ [java] Path Solving Time: 3.613614
+ [java] 1588140648632 Original Encoding Solving Time: 0.234645
+ [java] 1588140648632 Original Encoding Incremental Solving Time: 0.100235
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 26
+ [java] Sketch Generation Time: 2994.228271000001
+ [java] Sketch Completion Time: 1505.08581
+ [java] Compilation Time: 1154.4995930000002
+ [java] Running Test cases Time: 75.25753800000003
+ [java] Synthesis Time: 4574.571619
+ [java] Total Time: 5729.071212000001
+ [java] Number of components: 7
+ [java] Number of holes: 8
+ [java] Number of completed programs: 95
+ [java] Number of sketches: 48
+ [java] Solution:
+ [java] javax.xml.parsers.DocumentBuilderFactory sypet_var322 = javax.xml.parsers.DocumentBuilderFactory.newInstance();
+ [java] javax.xml.parsers.DocumentBuilder sypet_var323 = sypet_var322.newDocumentBuilder();
+ [java] java.io.StringReader sypet_var324 = new java.io.StringReader(sypet_arg0);
+ [java] java.io.Reader sypet_var325 = sypet_var324;
+ [java] org.xml.sax.InputSource sypet_var326 = new org.xml.sax.InputSource(sypet_var325);
+ [java] org.w3c.dom.Document sypet_var327 = sypet_var323.parse(sypet_var326);
+ [java] org.w3c.dom.DocumentType sypet_var328 = sypet_var327.getDoctype();
+ [java] return sypet_var328;
+ [java]
+ [java] ============================
+ [java] Done with finding holes : Flag = true
+
+BUILD SUCCESSFUL
+Total time: 16 seconds
projects / Benchmarks_CSolver.git / blobdiff