--- /dev/null
+Buildfile: /scratch/satcheck/satproject/constraint_compiler_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/27/benchmark27.json
+ [java] Benchmark Id: 27
+ [java] Method name: stringToElement
+ [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.Element
+ [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: 3400.660699
+ [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.708834
+ [java] PetriNet for path length: 6 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] Path Solving Time: 7.166078
+ [java] PetriNet for path length: 7 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] Path Solving Time: 9.247274
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 47.165339
+ [java] Path Solving Time: 7.40007
+ [java] 1588114763317 Original Encoding Solving Time: 0.401919
+ [java] 1588114763317 Original Encoding Incremental Solving Time: 0.093785
+ [java] Let's read clauses ...
+ [java] Path Solving Time: 22.727307
+ [java] Path Solving Time: 5.856563
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] 1588114763659 Original Encoding Solving Time: 0.44329
+ [java] 1588114763659 Original Encoding Incremental Solving Time: 0.119429
+ [java] Path Solving Time: 14.011312
+ [java] Path Solving Time: 4.753132
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] 1588114763744 Original Encoding Solving Time: 0.449251
+ [java] 1588114763744 Original Encoding Incremental Solving Time: 0.208086
+ [java] Path Solving Time: 16.310353
+ [java] Path Solving Time: 3.108785
+ [java] Path Solving Time: 4.616162
+ [java] PetriNet for path length: 8 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 5.118746
+ [java] Path Solving Time: 16.714629
+ [java] Path Solving Time: 3.960024
+ [java] 1588114765407 Original Encoding Solving Time: 0.925645
+ [java] 1588114765407 Original Encoding Incremental Solving Time: 1.204738
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 14.785229
+ [java] Path Solving Time: 4.223062
+ [java] 1588114765488 Original Encoding Solving Time: 1.042519
+ [java] 1588114765488 Original Encoding Incremental Solving Time: 0.152857
+ [java] Let's read clauses ...
+ [java] Path Solving Time: 72.013233
+ [java] Path Solving Time: 7.17698
+ [java] Path Solving Time: 7.795923
+ [java] Path Solving Time: 2.98562
+ [java] Path Solving Time: 5.69025
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] 1588114765649 Original Encoding Solving Time: 0.516126
+ [java] 1588114765649 Original Encoding Incremental Solving Time: 0.381873
+ [java] Path Solving Time: 36.715905
+ [java] Path Solving Time: 5.958379
+ [java] Path Solving Time: 7.170337
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] 1588114765767 Original Encoding Solving Time: 1.391025
+ [java] 1588114765767 Original Encoding Incremental Solving Time: 0.204194
+ [java] Path Solving Time: 13.875445
+ [java] Path Solving Time: 4.793482
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] 1588114765842 Original Encoding Solving Time: 0.526109
+ [java] 1588114765842 Original Encoding Incremental Solving Time: 0.562763
+ [java] Path Solving Time: 33.44685
+ [java] Path Solving Time: 8.773909
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] 1588114765945 Original Encoding Solving Time: 1.086036
+ [java] 1588114765945 Original Encoding Incremental Solving Time: 0.214622
+ [java] Path Solving Time: 16.747467
+ [java] Path Solving Time: 4.926763
+ [java] 1588114766027 Original Encoding Solving Time: 0.550727
+ [java] 1588114766027 Original Encoding Incremental Solving Time: 0.251408
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 23.380306
+ [java] Path Solving Time: 5.646876
+ [java] 1588114766117 Original Encoding Solving Time: 0.480394
+ [java] 1588114766117 Original Encoding Incremental Solving Time: 0.147753
+ [java] Let's read clauses ...
+ [java] Path Solving Time: 15.356743
+ [java] PetriNet for path length: 9 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] Path Solving Time: 5.401221
+ [java] Path Solving Time: 8.941726
+ [java] Path Solving Time: 3.097354
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588114767779 Original Encoding Solving Time: 0.481783
+ [java] 1588114767779 Original Encoding Incremental Solving Time: 0.181504
+ [java] 1588114767805 Original Encoding Solving Time: 0.05794
+ [java] 1588114767805 Original Encoding Incremental Solving Time: 0.062242
+ [java] Path Solving Time: 11.120113
+ [java] Path Solving Time: 3.108118
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588114767873 Original Encoding Solving Time: 0.399625
+ [java] 1588114767873 Original Encoding Incremental Solving Time: 0.141556
+ [java] 1588114767900 Original Encoding Solving Time: 0.03103
+ [java] 1588114767900 Original Encoding Incremental Solving Time: 0.077442
+ [java] Path Solving Time: 13.983683
+ [java] Path Solving Time: 3.830342
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588114767971 Original Encoding Solving Time: 0.565047
+ [java] 1588114767971 Original Encoding Incremental Solving Time: 0.137945
+ [java] 1588114767999 Original Encoding Solving Time: 0.029059
+ [java] 1588114767999 Original Encoding Incremental Solving Time: 0.078475
+ [java] Path Solving Time: 9.119917
+ [java] Path Solving Time: 3.866081
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588114768066 Original Encoding Solving Time: 0.469792
+ [java] 1588114768066 Original Encoding Incremental Solving Time: 0.166442
+ [java] 1588114768092 Original Encoding Solving Time: 0.02479
+ [java] 1588114768092 Original Encoding Incremental Solving Time: 0.064765
+ [java] Path Solving Time: 16.648008
+ [java] Path Solving Time: 3.73775
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588114768167 Original Encoding Solving Time: 0.404483
+ [java] 1588114768167 Original Encoding Incremental Solving Time: 0.117123
+ [java] 1588114768189 Original Encoding Solving Time: 0.028689
+ [java] 1588114768189 Original Encoding Incremental Solving Time: 0.020745
+ [java] Path Solving Time: 22.633522
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 20.320387
+ [java] Path Solving Time: 41.669141
+ [java] Path Solving Time: 3.750932
+ [java] 1588114768336 Original Encoding Solving Time: 0.427007
+ [java] 1588114768336 Original Encoding Incremental Solving Time: 0.10557
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 13.322634
+ [java] Path Solving Time: 3.957133
+ [java] 1588114768409 Original Encoding Solving Time: 0.317124
+ [java] 1588114768409 Original Encoding Incremental Solving Time: 5.155039
+ [java] 1588114768432 Original Encoding Solving Time: 0.037034
+ [java] 1588114768432 Original Encoding Incremental Solving Time: 0.016693
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 7.468359
+ [java] Path Solving Time: 2.97791
+ [java] 1588114768501 Original Encoding Solving Time: 0.235262
+ [java] 1588114768501 Original Encoding Incremental Solving Time: 0.074193
+ [java] 1588114768519 Original Encoding Solving Time: 0.021185
+ [java] 1588114768519 Original Encoding Incremental Solving Time: 0.00751
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 10.248347
+ [java] Path Solving Time: 3.707833
+ [java] 1588114768599 Original Encoding Solving Time: 0.30297
+ [java] 1588114768599 Original Encoding Incremental Solving Time: 0.073331
+ [java] 1588114768623 Original Encoding Solving Time: 0.027605
+ [java] 1588114768623 Original Encoding Incremental Solving Time: 0.0113
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 8.691003
+ [java] Path Solving Time: 2.997668
+ [java] 1588114768694 Original Encoding Solving Time: 0.236429
+ [java] 1588114768694 Original Encoding Incremental Solving Time: 0.075207
+ [java] 1588114768711 Original Encoding Solving Time: 0.02551
+ [java] 1588114768711 Original Encoding Incremental Solving Time: 0.00764
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 8.190049
+ [java] Path Solving Time: 3.408028
+ [java] 1588114768790 Original Encoding Solving Time: 0.238669
+ [java] 1588114768790 Original Encoding Incremental Solving Time: 0.07239
+ [java] 1588114768806 Original Encoding Solving Time: 0.023305
+ [java] 1588114768806 Original Encoding Incremental Solving Time: 0.00777
+ [java] Path Solving Time: 7.619993
+ [java] Path Solving Time: 3.054685
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588114768883 Original Encoding Solving Time: 0.247276
+ [java] 1588114768883 Original Encoding Incremental Solving Time: 0.077118
+ [java] 1588114768899 Original Encoding Solving Time: 0.051877
+ [java] 1588114768899 Original Encoding Incremental Solving Time: 0.007496
+ [java] Path Solving Time: 7.900378
+ [java] Path Solving Time: 2.938026
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588114768977 Original Encoding Solving Time: 0.244677
+ [java] 1588114768977 Original Encoding Incremental Solving Time: 0.073079
+ [java] 1588114768991 Original Encoding Solving Time: 0.021494
+ [java] 1588114768991 Original Encoding Incremental Solving Time: 0.007324
+ [java] Path Solving Time: 7.380859
+ [java] Path Solving Time: 2.899574
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588114769070 Original Encoding Solving Time: 0.511978
+ [java] 1588114769070 Original Encoding Incremental Solving Time: 0.132052
+ [java] 1588114769089 Original Encoding Solving Time: 0.02707
+ [java] 1588114769089 Original Encoding Incremental Solving Time: 0.014282
+ [java] Path Solving Time: 7.677459
+ [java] Path Solving Time: 3.397917
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588114769169 Original Encoding Solving Time: 0.238915
+ [java] 1588114769169 Original Encoding Incremental Solving Time: 0.080197
+ [java] 1588114769184 Original Encoding Solving Time: 0.01998
+ [java] 1588114769184 Original Encoding Incremental Solving Time: 0.007555
+ [java] Path Solving Time: 17.090257
+ [java] Path Solving Time: 3.199648
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588114769270 Original Encoding Solving Time: 0.323863
+ [java] 1588114769270 Original Encoding Incremental Solving Time: 0.072251
+ [java] 1588114769288 Original Encoding Solving Time: 0.020275
+ [java] 1588114769288 Original Encoding Incremental Solving Time: 0.010141
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 44.074997
+ [java] Path Solving Time: 3.245772
+ [java] 1588114769397 Original Encoding Solving Time: 0.260069
+ [java] 1588114769397 Original Encoding Incremental Solving Time: 0.155053
+ [java] 1588114769412 Original Encoding Solving Time: 0.024284
+ [java] 1588114769412 Original Encoding Incremental Solving Time: 0.01622
+ [java] Path Solving Time: 61.010727
+ [java] Path Solving Time: 24.27774
+ [java] Path Solving Time: 3.137483
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 63.761596
+ [java] 1588114769628 Original Encoding Solving Time: 0.26804
+ [java] 1588114769628 Original Encoding Incremental Solving Time: 0.072547
+ [java] Let's read clauses ...
+ [java] Path Solving Time: 64.547
+ [java] Path Solving Time: 24.447692
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Path Solving Time: 24.441798
+ [java] 1588114769794 Original Encoding Solving Time: 0.249254
+ [java] 1588114769794 Original Encoding Incremental Solving Time: 0.072552
+ [java] Path Solving Time: 14.701489
+ [java] Path Solving Time: 15.846879
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] 1588114769876 Original Encoding Solving Time: 0.321117
+ [java] 1588114769876 Original Encoding Incremental Solving Time: 0.068943
+ [java] Path Solving Time: 54.162476
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 13.632917
+ [java] Path Solving Time: 16.041614
+ [java] 1588114770013 Original Encoding Solving Time: 0.268599
+ [java] 1588114770013 Original Encoding Incremental Solving Time: 0.107785
+ [java] Path Solving Time: 21.483998
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 32.319777
+ [java] Path Solving Time: 14.227501
+ [java] 1588114770136 Original Encoding Solving Time: 0.250746
+ [java] 1588114770136 Original Encoding Incremental Solving Time: 0.074579
+ [java] Note: /Source.java uses or overrides a deprecated API.
+ [java] Note: Recompile with -Xlint:deprecation for details.
+ [java] Let's read clauses ...
+ [java] Path Solving Time: 25.077147
+ [java] Path Solving Time: 45.44622
+ [java] Path Solving Time: 13.715194
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] 1588114770278 Original Encoding Solving Time: 0.253172
+ [java] 1588114770278 Original Encoding Incremental Solving Time: 0.065282
+ [java] Path Solving Time: 27.465636
+ [java] Path Solving Time: 30.085275
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Path Solving Time: 9.717351
+ [java] 1588114770398 Original Encoding Solving Time: 0.299622
+ [java] 1588114770398 Original Encoding Incremental Solving Time: 0.086315
+ [java] Path Solving Time: 22.041563
+ [java] Path Solving Time: 5.70499
+ [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] Let's read clauses ...
+ [java] 1588114770480 Original Encoding Solving Time: 0.262408
+ [java] 1588114770480 Original Encoding Incremental Solving Time: 0.067128
+ [java] Path Solving Time: 18.183344
+ [java] Path Solving Time: 19.45671
+ [java] Path Solving Time: 5.096911
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] 1588114770578 Original Encoding Solving Time: 0.60468
+ [java] 1588114770578 Original Encoding Incremental Solving Time: 0.082948
+ [java] Path Solving Time: 48.439385
+ [java] Path Solving Time: 6.877915
+ [java] Path Solving Time: 4.65992
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] 1588114770690 Original Encoding Solving Time: 0.738598
+ [java] 1588114770690 Original Encoding Incremental Solving Time: 0.398278
+ [java] Path Solving Time: 24.642266
+ [java] Path Solving Time: 5.248607
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] 1588114770774 Original Encoding Solving Time: 0.231879
+ [java] 1588114770774 Original Encoding Incremental Solving Time: 0.184898
+ [java] Path Solving Time: 41.352679
+ [java] Path Solving Time: 5.36745
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] 1588114770873 Original Encoding Solving Time: 0.322973
+ [java] 1588114770873 Original Encoding Incremental Solving Time: 0.114783
+ [java] Path Solving Time: 32.194895
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 63.380695
+ [java] Path Solving Time: 5.473217
+ [java] 1588114771030 Original Encoding Solving Time: 0.344788
+ [java] 1588114771030 Original Encoding Incremental Solving Time: 0.116728
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 41.634575
+ [java] Path Solving Time: 5.136964
+ [java] 1588114771131 Original Encoding Solving Time: 0.303403
+ [java] 1588114771131 Original Encoding Incremental Solving Time: 0.121999
+ [java] Let's read clauses ...
+ [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: 30.193149
+ [java] Path Solving Time: 5.682201
+ [java] 1588114771221 Original Encoding Solving Time: 0.240085
+ [java] 1588114771221 Original Encoding Incremental Solving Time: 0.076766
+ [java] Path Solving Time: 16.113005
+ [java] Let's read clauses ...
+ [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] Let's read clauses ...
+ [java] Path Solving Time: 6.648879
+ [java] 1588114771299 Original Encoding Solving Time: 0.337709
+ [java] 1588114771299 Original Encoding Incremental Solving Time: 0.081602
+ [java] Path Solving Time: 16.796002
+ [java] Path Solving Time: 6.344789
+ [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] Let's read clauses ...
+ [java] 1588114771377 Original Encoding Solving Time: 0.483639
+ [java] 1588114771377 Original Encoding Incremental Solving Time: 0.124774
+ [java] Path Solving Time: 17.711671
+ [java] Path Solving Time: 5.842534
+ [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] Let's read clauses ...
+ [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] 1588114771460 Original Encoding Solving Time: 0.230332
+ [java] 1588114771460 Original Encoding Incremental Solving Time: 0.076539
+ [java] Path Solving Time: 13.081165
+ [java] Path Solving Time: 5.762486
+ [java] 1588114771530 Original Encoding Solving Time: 0.293391
+ [java] 1588114771530 Original Encoding Incremental Solving Time: 0.076078
+ [java] Let's read clauses ...
+ [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: 18.245557
+ [java] Path Solving Time: 7.356749
+ [java] 1588114771608 Original Encoding Solving Time: 0.247294
+ [java] 1588114771608 Original Encoding Incremental Solving Time: 0.075177
+ [java] Path Solving Time: 13.062534
+ [java] Path Solving Time: 5.759993
+ [java] Let's read clauses ...
+ [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] Let's read clauses ...
+ [java] 1588114771678 Original Encoding Solving Time: 0.250441
+ [java] 1588114771678 Original Encoding Incremental Solving Time: 0.073041
+ [java] Path Solving Time: 16.340705
+ [java] Path Solving Time: 5.831838
+ [java] 1588114771750 Original Encoding Solving Time: 0.337289
+ [java] 1588114771750 Original Encoding Incremental Solving Time: 0.079961
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 13.200596
+ [java] Path Solving Time: 5.769415
+ [java] 1588114771821 Original Encoding Solving Time: 0.281412
+ [java] 1588114771821 Original Encoding Incremental Solving Time: 0.08473
+ [java] Path Solving Time: 15.345442
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 15.959673
+ [java] Path Solving Time: 4.309428
+ [java] 1588114771910 Original Encoding Solving Time: 0.356664
+ [java] 1588114771910 Original Encoding Incremental Solving Time: 0.082651
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 27
+ [java] Sketch Generation Time: 2078.0087660000004
+ [java] Sketch Completion Time: 2378.4983769999994
+ [java] Compilation Time: 1109.99557
+ [java] Running Test cases Time: 83.11561100000002
+ [java] Synthesis Time: 4539.622754
+ [java] Total Time: 5649.618324
+ [java] Number of components: 7
+ [java] Number of holes: 8
+ [java] Number of completed programs: 103
+ [java] Number of sketches: 52
+ [java] Solution:
+ [java] java.io.StringReader sypet_var334 = new java.io.StringReader(sypet_arg0);
+ [java] java.io.Reader sypet_var335 = sypet_var334;
+ [java] org.xml.sax.InputSource sypet_var336 = new org.xml.sax.InputSource(sypet_var335);
+ [java] javax.xml.parsers.DocumentBuilderFactory sypet_var337 = javax.xml.parsers.DocumentBuilderFactory.newInstance();
+ [java] javax.xml.parsers.DocumentBuilder sypet_var338 = sypet_var337.newDocumentBuilder();
+ [java] org.w3c.dom.Document sypet_var339 = sypet_var338.parse(sypet_var336);
+ [java] org.w3c.dom.Element sypet_var340 = sypet_var339.getDocumentElement();
+ [java] return sypet_var340;
+ [java]
+ [java] ============================
+ [java] Let's read clauses ...
+
+BUILD SUCCESSFUL
+Total time: 18 seconds