--- /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: 3204.758927
+ [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: 12.607545
+ [java] PetriNet for path length: 6 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] Path Solving Time: 16.704113
+ [java] PetriNet for path length: 7 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] Path Solving Time: 8.974713
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 53.422467
+ [java] Path Solving Time: 8.465339
+ [java] 1588135821419 Original Encoding Solving Time: 0.452021
+ [java] 1588135821419 Original Encoding Incremental Solving Time: 0.128427
+ [java] Path Solving Time: 51.978164
+ [java] Path Solving Time: 5.268311
+ [java] Path Solving Time: 17.172391
+ [java] PetriNet for path length: 8 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 5.454353
+ [java] Path Solving Time: 26.483653
+ [java] Path Solving Time: 4.883502
+ [java] 1588135823446 Original Encoding Solving Time: 0.614977
+ [java] 1588135823446 Original Encoding Incremental Solving Time: 0.156246
+ [java] Path Solving Time: 53.488298
+ [java] Path Solving Time: 3.366769
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 37.800777
+ [java] Path Solving Time: 14.541792
+ [java] 1588135823624 Original Encoding Solving Time: 0.536501
+ [java] 1588135823624 Original Encoding Incremental Solving Time: 0.143326
+ [java] Path Solving Time: 9.690305
+ [java] PetriNet for path length: 9 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] Path Solving Time: 4.321653
+ [java] Path Solving Time: 33.898339
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 5.394932
+ [java] 1588135825110 Original Encoding Solving Time: 0.877287
+ [java] 1588135825110 Original Encoding Incremental Solving Time: 0.093248
+ [java] 1588135825144 Original Encoding Solving Time: 0.05974
+ [java] 1588135825144 Original Encoding Incremental Solving Time: 0.047558
+ [java] Path Solving Time: 15.5658
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 33.837947
+ [java] Path Solving Time: 23.764437
+ [java] Path Solving Time: 3.481511
+ [java] 1588135825251 Original Encoding Solving Time: 0.52915
+ [java] 1588135825251 Original Encoding Incremental Solving Time: 3.906845
+ [java] Path Solving Time: 13.278591
+ [java] Path Solving Time: 27.043127
+ [java] Path Solving Time: 48.775212
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 3.598202
+ [java] 1588135825411 Original Encoding Solving Time: 0.537767
+ [java] 1588135825411 Original Encoding Incremental Solving Time: 0.20665
+ [java] 1588135825445 Original Encoding Solving Time: 0.062299
+ [java] 1588135825445 Original Encoding Incremental Solving Time: 0.075652
+ [java] Path Solving Time: 23.750436
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 9.611705
+ [java] Path Solving Time: 3.272736
+ [java] 1588135825512 Original Encoding Solving Time: 0.652414
+ [java] 1588135825512 Original Encoding Incremental Solving Time: 0.212525
+ [java] 1588135825540 Original Encoding Solving Time: 0.053021
+ [java] 1588135825540 Original Encoding Incremental Solving Time: 0.070521
+ [java] Path Solving Time: 19.351355
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 42.261976
+ [java] Path Solving Time: 3.405395
+ [java] 1588135825634 Original Encoding Solving Time: 0.451466
+ [java] 1588135825634 Original Encoding Incremental Solving Time: 0.181561
+ [java] 1588135825661 Original Encoding Solving Time: 0.038909
+ [java] 1588135825661 Original Encoding Incremental Solving Time: 0.080003
+ [java] Path Solving Time: 11.28492
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 26.772166
+ [java] Path Solving Time: 3.852354
+ [java] 1588135825734 Original Encoding Solving Time: 1.609522
+ [java] 1588135825734 Original Encoding Incremental Solving Time: 0.167054
+ [java] 1588135825755 Original Encoding Solving Time: 0.035101
+ [java] 1588135825755 Original Encoding Incremental Solving Time: 0.024064
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 22.302968
+ [java] Path Solving Time: 80.637429
+ [java] Path Solving Time: 4.146594
+ [java] Path Solving Time: 91.226335
+ [java] Done with finding holes : Flag = true
+ [java] 1588135826003 Original Encoding Solving Time: 0.472315
+ [java] 1588135826003 Original Encoding Incremental Solving Time: 0.16508
+ [java] Path Solving Time: 20.641435
+ [java] Path Solving Time: 91.428679
+ [java] 1588135826165 Original Encoding Solving Time: 0.407206
+ [java] 1588135826165 Original Encoding Incremental Solving Time: 1.201961
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 40.95873
+ [java] Path Solving Time: 20.649739
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 58.977005
+ [java] 1588135826335 Original Encoding Solving Time: 0.382595
+ [java] 1588135826335 Original Encoding Incremental Solving Time: 0.132319
+ [java] Path Solving Time: 34.311096
+ [java] Path Solving Time: 53.047731
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 56.900218
+ [java] 1588135826526 Original Encoding Solving Time: 0.367525
+ [java] 1588135826526 Original Encoding Incremental Solving Time: 0.114828
+ [java] Path Solving Time: 41.545436
+ [java] Path Solving Time: 42.601055
+ [java] Path Solving Time: 46.785885
+ [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] 1588135826707 Original Encoding Solving Time: 0.396034
+ [java] 1588135826707 Original Encoding Incremental Solving Time: 0.163309
+ [java] Path Solving Time: 15.875313
+ [java] Path Solving Time: 17.102396
+ [java] 1588135826786 Original Encoding Solving Time: 0.299119
+ [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] 1588135826786 Original Encoding Incremental Solving Time: 0.449027
+ [java] Path Solving Time: 41.543901
+ [java] Path Solving Time: 32.936959
+ [java] Path Solving Time: 5.575675
+ [java] Done with finding holes : Flag = true
+ [java] 1588135826908 Original Encoding Solving Time: 0.324398
+ [java] 1588135826908 Original Encoding Incremental Solving Time: 0.2148
+ [java] Path Solving Time: 44.364504
+ [java] Path Solving Time: 11.146904
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 5.852835
+ [java] 1588135827032 Original Encoding Solving Time: 0.342621
+ [java] 1588135827032 Original Encoding Incremental Solving Time: 0.100856
+ [java] Path Solving Time: 33.88284
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 34.379135
+ [java] Path Solving Time: 5.212596
+ [java] 1588135827147 Original Encoding Solving Time: 0.309253
+ [java] 1588135827147 Original Encoding Incremental Solving Time: 0.982311
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 38.666176
+ [java] Path Solving Time: 18.267918
+ [java] Path Solving Time: 5.168991
+ [java] 1588135827252 Original Encoding Solving Time: 0.787705
+ [java] 1588135827252 Original Encoding Incremental Solving Time: 0.086883
+ [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.959912
+ [java] Path Solving Time: 7.117182
+ [java] 1588135827326 Original Encoding Solving Time: 0.359305
+ [java] 1588135827326 Original Encoding Incremental Solving Time: 0.099365
+ [java] Path Solving Time: 12.991361
+ [java] Path Solving Time: 6.815257
+ [java] 1588135827390 Original Encoding Solving Time: 0.304151
+ [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] 1588135827390 Original Encoding Incremental Solving Time: 0.082442
+ [java] Path Solving Time: 19.964658
+ [java] Path Solving Time: 8.099026
+ [java] 1588135827467 Original Encoding Solving Time: 0.269723
+ [java] 1588135827467 Original Encoding Incremental Solving Time: 0.081897
+ [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: 21.340153
+ [java] Path Solving Time: 5.489686
+ [java] 1588135827537 Original Encoding Solving Time: 0.355703
+ [java] 1588135827537 Original Encoding Incremental Solving Time: 0.074876
+ [java] Path Solving Time: 13.41539
+ [java] Path Solving Time: 5.894512
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588135827596 Original Encoding Solving Time: 0.277926
+ [java] 1588135827596 Original Encoding Incremental Solving Time: 0.090576
+ [java] Path Solving Time: 15.141575
+ [java] Path Solving Time: 6.145038
+ [java] 1588135827658 Original Encoding Solving Time: 0.245416
+ [java] 1588135827658 Original Encoding Incremental Solving Time: 0.0908
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 19.750863
+ [java] Path Solving Time: 5.536982
+ [java] 1588135827724 Original Encoding Solving Time: 0.240403
+ [java] 1588135827724 Original Encoding Incremental Solving Time: 0.152019
+ [java] Path Solving Time: 22.212114
+ [java] Path Solving Time: 7.105626
+ [java] Done with finding holes : Flag = true
+ [java] 1588135827801 Original Encoding Solving Time: 0.450531
+ [java] 1588135827801 Original Encoding Incremental Solving Time: 0.110959
+ [java] Path Solving Time: 24.861333
+ [java] Path Solving Time: 5.370549
+ [java] 1588135827874 Original Encoding Solving Time: 0.311751
+ [java] 1588135827874 Original Encoding Incremental Solving Time: 0.585345
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 16.314852
+ [java] Path Solving Time: 7.628664
+ [java] 1588135827944 Original Encoding Solving Time: 0.228765
+ [java] 1588135827944 Original Encoding Incremental Solving Time: 0.091418
+ [java] Path Solving Time: 14.156282
+ [java] Path Solving Time: 5.605675
+ [java] Done with finding holes : Flag = true
+ [java] 1588135828008 Original Encoding Solving Time: 0.292627
+ [java] 1588135828008 Original Encoding Incremental Solving Time: 0.119934
+ [java] Path Solving Time: 15.617715
+ [java] Path Solving Time: 6.334196
+ [java] 1588135828076 Original Encoding Solving Time: 0.353097
+ [java] 1588135828076 Original Encoding Incremental Solving Time: 0.131759
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 28.609499
+ [java] Path Solving Time: 5.489433
+ [java] 1588135828158 Original Encoding Solving Time: 0.248116
+ [java] 1588135828158 Original Encoding Incremental Solving Time: 0.095902
+ [java] Path Solving Time: 12.945298
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 5.789279
+ [java] 1588135828221 Original Encoding Solving Time: 0.236719
+ [java] 1588135828221 Original Encoding Incremental Solving Time: 0.070666
+ [java] Path Solving Time: 21.949644
+ [java] Path Solving Time: 5.322602
+ [java] 1588135828290 Original Encoding Solving Time: 0.857769
+ [java] 1588135828290 Original Encoding Incremental Solving Time: 0.080727
+ [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: 21.406203
+ [java] Path Solving Time: 5.397773
+ [java] 1588135828356 Original Encoding Solving Time: 0.314568
+ [java] 1588135828356 Original Encoding Incremental Solving Time: 0.07442
+ [java] Path Solving Time: 12.418636
+ [java] Path Solving Time: 5.658612
+ [java] Done with finding holes : Flag = true
+ [java] 1588135828415 Original Encoding Solving Time: 0.289477
+ [java] 1588135828415 Original Encoding Incremental Solving Time: 0.091158
+ [java] Path Solving Time: 15.126861
+ [java] Path Solving Time: 7.370599
+ [java] 1588135828482 Original Encoding Solving Time: 0.308615
+ [java] 1588135828482 Original Encoding Incremental Solving Time: 0.148954
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 23.00332
+ [java] Path Solving Time: 5.361634
+ [java] 1588135828549 Original Encoding Solving Time: 0.221221
+ [java] 1588135828549 Original Encoding Incremental Solving Time: 0.087704
+ [java] Path Solving Time: 18.8822
+ [java] Path Solving Time: 5.678116
+ [java] Done with finding holes : Flag = true
+ [java] 1588135828613 Original Encoding Solving Time: 0.272597
+ [java] 1588135828613 Original Encoding Incremental Solving Time: 0.131206
+ [java] Path Solving Time: 20.908449
+ [java] Path Solving Time: 7.908297
+ [java] 1588135828687 Original Encoding Solving Time: 0.348271
+ [java] 1588135828687 Original Encoding Incremental Solving Time: 0.090027
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 18.862685
+ [java] Path Solving Time: 6.161424
+ [java] 1588135828761 Original Encoding Solving Time: 0.417493
+ [java] 1588135828761 Original Encoding Incremental Solving Time: 0.132906
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 27.019943
+ [java] Path Solving Time: 5.349378
+ [java] 1588135828837 Original Encoding Solving Time: 0.306722
+ [java] 1588135828837 Original Encoding Incremental Solving Time: 0.101102
+ [java] Path Solving Time: 16.249688
+ [java] Path Solving Time: 5.313732
+ [java] Done with finding holes : Flag = true
+ [java] 1588135828904 Original Encoding Solving Time: 0.199867
+ [java] 1588135828904 Original Encoding Incremental Solving Time: 0.073475
+ [java] Path Solving Time: 15.718602
+ [java] Path Solving Time: 43.405708
+ [java] Path Solving Time: 13.753179
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 3.634849
+ [java] 1588135829026 Original Encoding Solving Time: 0.241769
+ [java] 1588135829026 Original Encoding Incremental Solving Time: 0.085277
+ [java] 1588135829042 Original Encoding Solving Time: 0.0714
+ [java] 1588135829042 Original Encoding Incremental Solving Time: 0.026395
+ [java] Path Solving Time: 22.186557
+ [java] Path Solving Time: 185.496014
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 32.634845
+ [java] Path Solving Time: 3.710726
+ [java] 1588135829331 Original Encoding Solving Time: 0.29494
+ [java] 1588135829331 Original Encoding Incremental Solving Time: 0.165653
+ [java] 1588135829346 Original Encoding Solving Time: 0.028917
+ [java] 1588135829346 Original Encoding Incremental Solving Time: 0.016544
+ [java] Path Solving Time: 117.571755
+ [java] Path Solving Time: 29.354333
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 93.51239
+ [java] Path Solving Time: 3.551315
+ [java] 1588135829633 Original Encoding Solving Time: 0.246955
+ [java] 1588135829633 Original Encoding Incremental Solving Time: 0.160836
+ [java] 1588135829647 Original Encoding Solving Time: 0.019562
+ [java] 1588135829647 Original Encoding Incremental Solving Time: 0.00706
+ [java] Path Solving Time: 24.705114
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 12.528404
+ [java] Path Solving Time: 3.639738
+ [java] 1588135829732 Original Encoding Solving Time: 0.280675
+ [java] 1588135829732 Original Encoding Incremental Solving Time: 0.100451
+ [java] 1588135829745 Original Encoding Solving Time: 0.034018
+ [java] 1588135829745 Original Encoding Incremental Solving Time: 0.011724
+ [java] Path Solving Time: 21.427253
+ [java] Path Solving Time: 70.781141
+ [java] Path Solving Time: 4.539581
+ [java] 1588135829886 Original Encoding Solving Time: 0.254418
+ [java] 1588135829886 Original Encoding Incremental Solving Time: 0.096828
+ [java] Done with finding holes : Flag = true
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 26
+ [java] Sketch Generation Time: 3058.110453
+ [java] Sketch Completion Time: 1464.3129940000003
+ [java] Compilation Time: 1043.687481
+ [java] Running Test cases Time: 77.47340799999999
+ [java] Synthesis Time: 4599.896854999999
+ [java] Total Time: 5643.584335999999
+ [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] ============================
+
+BUILD SUCCESSFUL
+Total time: 16 seconds