--- /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: 3206.696616
+ [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: 10.83517
+ [java] PetriNet for path length: 6 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] Path Solving Time: 12.043392
+ [java] PetriNet for path length: 7 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] Path Solving Time: 7.821734
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 1431.921739
+ [java] Path Solving Time: 7.047449
+ [java] 1588121186698 Original Encoding Solving Time: 0.452991
+ [java] 1588121186698 Original Encoding Incremental Solving Time: 0.086054
+ [java] Path Solving Time: 50.398757
+ [java] Path Solving Time: 4.219153
+ [java] Path Solving Time: 14.510771
+ [java] PetriNet for path length: 8 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] Path Solving Time: 6.216435
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 25.821691
+ [java] Path Solving Time: 4.062569
+ [java] 1588121188488 Original Encoding Solving Time: 0.412214
+ [java] 1588121188488 Original Encoding Incremental Solving Time: 0.109583
+ [java] Path Solving Time: 61.285372
+ [java] Path Solving Time: 3.64937
+ [java] Path Solving Time: 40.804639
+ [java] Path Solving Time: 15.591789
+ [java] Done with finding holes : Flag = true
+ [java] 1588121188660 Original Encoding Solving Time: 0.65247
+ [java] 1588121188660 Original Encoding Incremental Solving Time: 0.151194
+ [java] Path Solving Time: 11.261467
+ [java] PetriNet for path length: 9 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] Path Solving Time: 5.056498
+ [java] Path Solving Time: 36.00787
+ [java] Path Solving Time: 4.050715
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588121190160 Original Encoding Solving Time: 0.662085
+ [java] 1588121190160 Original Encoding Incremental Solving Time: 0.094749
+ [java] 1588121190191 Original Encoding Solving Time: 0.067842
+ [java] 1588121190191 Original Encoding Incremental Solving Time: 0.067392
+ [java] Path Solving Time: 27.182418
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 34.060072
+ [java] Path Solving Time: 24.991977
+ [java] Path Solving Time: 4.021282
+ [java] 1588121190312 Original Encoding Solving Time: 1.004332
+ [java] 1588121190312 Original Encoding Incremental Solving Time: 2.961607
+ [java] Path Solving Time: 12.828202
+ [java] Path Solving Time: 26.837156
+ [java] Path Solving Time: 50.785386
+ [java] Path Solving Time: 3.761128
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588121190467 Original Encoding Solving Time: 0.527275
+ [java] 1588121190467 Original Encoding Incremental Solving Time: 0.142276
+ [java] 1588121190498 Original Encoding Solving Time: 0.036281
+ [java] 1588121190498 Original Encoding Incremental Solving Time: 0.037652
+ [java] Path Solving Time: 26.282164
+ [java] Path Solving Time: 9.98833
+ [java] Path Solving Time: 3.088626
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588121190563 Original Encoding Solving Time: 0.46822
+ [java] 1588121190563 Original Encoding Incremental Solving Time: 0.25894
+ [java] 1588121190587 Original Encoding Solving Time: 0.03469
+ [java] 1588121190587 Original Encoding Incremental Solving Time: 0.057582
+ [java] Path Solving Time: 19.376394
+ [java] Path Solving Time: 43.293249
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 3.684075
+ [java] 1588121190682 Original Encoding Solving Time: 0.404263
+ [java] 1588121190682 Original Encoding Incremental Solving Time: 0.167485
+ [java] 1588121190707 Original Encoding Solving Time: 0.023897
+ [java] 1588121190707 Original Encoding Incremental Solving Time: 0.078105
+ [java] Path Solving Time: 10.194051
+ [java] Path Solving Time: 25.691545
+ [java] Path Solving Time: 4.319099
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588121190774 Original Encoding Solving Time: 0.907077
+ [java] 1588121190774 Original Encoding Incremental Solving Time: 0.485168
+ [java] 1588121190802 Original Encoding Solving Time: 0.033782
+ [java] 1588121190802 Original Encoding Incremental Solving Time: 0.014932
+ [java] Path Solving Time: 19.305546
+ [java] Path Solving Time: 81.835317
+ [java] Path Solving Time: 3.315319
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 85.116639
+ [java] 1588121191025 Original Encoding Solving Time: 1.071756
+ [java] 1588121191025 Original Encoding Incremental Solving Time: 5.492355
+ [java] Path Solving Time: 18.530379
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 87.241612
+ [java] 1588121191186 Original Encoding Solving Time: 0.399674
+ [java] 1588121191186 Original Encoding Incremental Solving Time: 0.443019
+ [java] Path Solving Time: 38.034981
+ [java] Path Solving Time: 20.423766
+ [java] Path Solving Time: 59.522403
+ [java] 1588121191353 Original Encoding Solving Time: 0.465245
+ [java] 1588121191353 Original Encoding Incremental Solving Time: 1.818929
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 27.32279
+ [java] Path Solving Time: 54.424312
+ [java] Path Solving Time: 58.421239
+ [java] 1588121191541 Original Encoding Solving Time: 0.414767
+ [java] 1588121191541 Original Encoding Incremental Solving Time: 0.14086
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 38.099922
+ [java] Path Solving Time: 43.204576
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 48.698546
+ [java] 1588121191723 Original Encoding Solving Time: 0.281966
+ [java] 1588121191723 Original Encoding Incremental Solving Time: 0.09798
+ [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.543288
+ [java] Path Solving Time: 17.734621
+ [java] 1588121191805 Original Encoding Solving Time: 0.27076
+ [java] 1588121191805 Original Encoding Incremental Solving Time: 0.087057
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 40.394821
+ [java] Path Solving Time: 33.867839
+ [java] Path Solving Time: 5.883994
+ [java] 1588121191928 Original Encoding Solving Time: 0.278981
+ [java] 1588121191928 Original Encoding Incremental Solving Time: 0.098609
+ [java] Path Solving Time: 44.414242
+ [java] Path Solving Time: 11.34673
+ [java] Path Solving Time: 5.908346
+ [java] 1588121192054 Original Encoding Solving Time: 0.402507
+ [java] 1588121192054 Original Encoding Incremental Solving Time: 0.148268
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 32.336296
+ [java] Path Solving Time: 34.651549
+ [java] Path Solving Time: 5.48869
+ [java] Done with finding holes : Flag = true
+ [java] 1588121192170 Original Encoding Solving Time: 0.418668
+ [java] 1588121192170 Original Encoding Incremental Solving Time: 0.346694
+ [java] Path Solving Time: 37.936469
+ [java] Path Solving Time: 19.485535
+ [java] Path Solving Time: 5.441833
+ [java] Done with finding holes : Flag = true
+ [java] 1588121192279 Original Encoding Solving Time: 0.249402
+ [java] 1588121192279 Original Encoding Incremental Solving Time: 0.087522
+ [java] Path Solving Time: 14.844102
+ [java] Path Solving Time: 7.256119
+ [java] 1588121192348 Original Encoding Solving Time: 0.368194
+ [java] 1588121192348 Original Encoding Incremental Solving Time: 0.074493
+ [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: 11.507165
+ [java] Path Solving Time: 5.693529
+ [java] 1588121192407 Original Encoding Solving Time: 0.323473
+ [java] 1588121192407 Original Encoding Incremental Solving Time: 0.145337
+ [java] Path Solving Time: 15.388186
+ [java] Path Solving Time: 6.073327
+ [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] 1588121192474 Original Encoding Solving Time: 0.464831
+ [java] 1588121192474 Original Encoding Incremental Solving Time: 0.075628
+ [java] Path Solving Time: 15.473296
+ [java] Path Solving Time: 5.697904
+ [java] 1588121192534 Original Encoding Solving Time: 0.42774
+ [java] 1588121192534 Original Encoding Incremental Solving Time: 0.087492
+ [java] Path Solving Time: 14.672235
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 6.950333
+ [java] 1588121192597 Original Encoding Solving Time: 0.319817
+ [java] 1588121192597 Original Encoding Incremental Solving Time: 0.132694
+ [java] Path Solving Time: 15.595526
+ [java] Path Solving Time: 7.369281
+ [java] 1588121192662 Original Encoding Solving Time: 0.296289
+ [java] 1588121192662 Original Encoding Incremental Solving Time: 0.11331
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 22.469471
+ [java] Path Solving Time: 6.973717
+ [java] 1588121192737 Original Encoding Solving Time: 0.265366
+ [java] 1588121192737 Original Encoding Incremental Solving Time: 0.149739
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 19.656672
+ [java] Path Solving Time: 6.495129
+ [java] 1588121192802 Original Encoding Solving Time: 0.336353
+ [java] 1588121192802 Original Encoding Incremental Solving Time: 0.183613
+ [java] Path Solving Time: 28.505762
+ [java] Path Solving Time: 5.701766
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588121192878 Original Encoding Solving Time: 0.277406
+ [java] 1588121192878 Original Encoding Incremental Solving Time: 0.146297
+ [java] Path Solving Time: 14.114165
+ [java] Path Solving Time: 5.735463
+ [java] 1588121192936 Original Encoding Solving Time: 0.206722
+ [java] 1588121192936 Original Encoding Incremental Solving Time: 0.075491
+ [java] Path Solving Time: 13.988923
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 5.997545
+ [java] 1588121192997 Original Encoding Solving Time: 0.257073
+ [java] 1588121192997 Original Encoding Incremental Solving Time: 0.083349
+ [java] Path Solving Time: 11.943788
+ [java] Path Solving Time: 6.075668
+ [java] 1588121193053 Original Encoding Solving Time: 0.256434
+ [java] 1588121193053 Original Encoding Incremental Solving Time: 0.095416
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 20.407251
+ [java] Path Solving Time: 6.00685
+ [java] 1588121193123 Original Encoding Solving Time: 0.23855
+ [java] 1588121193123 Original Encoding Incremental Solving Time: 0.086558
+ [java] Path Solving Time: 16.432882
+ [java] Path Solving Time: 6.386882
+ [java] Done with finding holes : Flag = true
+ [java] 1588121193187 Original Encoding Solving Time: 0.460292
+ [java] 1588121193187 Original Encoding Incremental Solving Time: 0.156834
+ [java] Path Solving Time: 22.559494
+ [java] Path Solving Time: 5.883778
+ [java] 1588121193256 Original Encoding Solving Time: 0.299429
+ [java] 1588121193256 Original Encoding Incremental Solving Time: 0.404873
+ [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: 20.203919
+ [java] Path Solving Time: 6.347493
+ [java] 1588121193321 Original Encoding Solving Time: 0.304469
+ [java] 1588121193321 Original Encoding Incremental Solving Time: 0.104528
+ [java] Path Solving Time: 16.480718
+ [java] Path Solving Time: 6.326184
+ [java] Done with finding holes : Flag = true
+ [java] 1588121193386 Original Encoding Solving Time: 0.31534
+ [java] 1588121193386 Original Encoding Incremental Solving Time: 0.113575
+ [java] Path Solving Time: 15.123251
+ [java] Path Solving Time: 6.797673
+ [java] 1588121193449 Original Encoding Solving Time: 0.33234
+ [java] 1588121193449 Original Encoding Incremental Solving Time: 0.088453
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 28.467735
+ [java] Path Solving Time: 5.774834
+ [java] 1588121193522 Original Encoding Solving Time: 0.210279
+ [java] 1588121193522 Original Encoding Incremental Solving Time: 0.09525
+ [java] Path Solving Time: 20.77994
+ [java] Path Solving Time: 5.991824
+ [java] Done with finding holes : Flag = true
+ [java] 1588121193586 Original Encoding Solving Time: 0.284576
+ [java] 1588121193586 Original Encoding Incremental Solving Time: 0.154798
+ [java] Path Solving Time: 18.195409
+ [java] Path Solving Time: 9.55669
+ [java] 1588121193658 Original Encoding Solving Time: 0.3905
+ [java] 1588121193658 Original Encoding Incremental Solving Time: 0.161853
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 13.770217
+ [java] Path Solving Time: 6.492628
+ [java] 1588121193723 Original Encoding Solving Time: 0.378628
+ [java] 1588121193723 Original Encoding Incremental Solving Time: 0.100695
+ [java] Path Solving Time: 27.17317
+ [java] Path Solving Time: 5.776808
+ [java] Done with finding holes : Flag = true
+ [java] 1588121193796 Original Encoding Solving Time: 0.285132
+ [java] 1588121193796 Original Encoding Incremental Solving Time: 0.167724
+ [java] Path Solving Time: 15.346087
+ [java] Path Solving Time: 5.826788
+ [java] 1588121193855 Original Encoding Solving Time: 0.235126
+ [java] 1588121193855 Original Encoding Incremental Solving Time: 0.082766
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 17.529187
+ [java] Path Solving Time: 46.820047
+ [java] Path Solving Time: 15.614219
+ [java] Path Solving Time: 4.435714
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588121193983 Original Encoding Solving Time: 0.278412
+ [java] 1588121193983 Original Encoding Incremental Solving Time: 0.110548
+ [java] 1588121193996 Original Encoding Solving Time: 0.040359
+ [java] 1588121193996 Original Encoding Incremental Solving Time: 0.016073
+ [java] Path Solving Time: 22.563845
+ [java] Path Solving Time: 185.045293
+ [java] Path Solving Time: 31.442197
+ [java] Path Solving Time: 3.499179
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588121194278 Original Encoding Solving Time: 0.31974
+ [java] 1588121194278 Original Encoding Incremental Solving Time: 0.142041
+ [java] 1588121194291 Original Encoding Solving Time: 0.031871
+ [java] 1588121194291 Original Encoding Incremental Solving Time: 0.010818
+ [java] Path Solving Time: 111.785077
+ [java] Path Solving Time: 28.135124
+ [java] Path Solving Time: 91.113869
+ [java] Path Solving Time: 3.524911
+ [java] 1588121194568 Original Encoding Solving Time: 0.299059
+ [java] 1588121194568 Original Encoding Incremental Solving Time: 0.150487
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588121194581 Original Encoding Solving Time: 0.026996
+ [java] 1588121194581 Original Encoding Incremental Solving Time: 0.008035
+ [java] Path Solving Time: 21.999948
+ [java] Path Solving Time: 12.045212
+ [java] Path Solving Time: 3.544792
+ [java] 1588121194662 Original Encoding Solving Time: 0.329923
+ [java] 1588121194662 Original Encoding Incremental Solving Time: 0.142408
+ [java] 1588121194674 Original Encoding Solving Time: 0.029083
+ [java] 1588121194674 Original Encoding Incremental Solving Time: 0.011939
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 21.566956
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 69.541378
+ [java] Path Solving Time: 4.582103
+ [java] 1588121194809 Original Encoding Solving Time: 0.373904
+ [java] 1588121194809 Original Encoding Incremental Solving Time: 0.096598
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 26
+ [java] Sketch Generation Time: 4408.758142
+ [java] Sketch Completion Time: 1328.9225540000002
+ [java] Compilation Time: 1021.724419
+ [java] Running Test cases Time: 76.131553
+ [java] Synthesis Time: 5813.812249
+ [java] Total Time: 6835.536668
+ [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