--- /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/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: 3368.558889
+ [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.234565
+ [java] PetriNet for path length: 6 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] Path Solving Time: 17.403527
+ [java] PetriNet for path length: 7 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] Path Solving Time: 9.111282
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 47.106862
+ [java] Path Solving Time: 7.438449
+ [java] 1588114743823 Original Encoding Solving Time: 0.415674
+ [java] 1588114743823 Original Encoding Incremental Solving Time: 0.09538
+ [java] Let's read clauses ...
+ [java] Path Solving Time: 55.516997
+ [java] Path Solving Time: 4.533936
+ [java] Path Solving Time: 16.155344
+ [java] PetriNet for path length: 8 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] Path Solving Time: 5.572607
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 24.607555
+ [java] Path Solving Time: 3.856488
+ [java] 1588114746118 Original Encoding Solving Time: 0.737151
+ [java] 1588114746118 Original Encoding Incremental Solving Time: 0.244339
+ [java] Let's read clauses ...
+ [java] Path Solving Time: 60.882334
+ [java] Path Solving Time: 3.396283
+ [java] Path Solving Time: 42.41084
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 16.858366
+ [java] 1588114746308 Original Encoding Solving Time: 0.41082
+ [java] 1588114746308 Original Encoding Incremental Solving Time: 0.1273
+ [java] Path Solving Time: 14.313462
+ [java] PetriNet for path length: 9 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] Let's read clauses ...
+ [java] Path Solving Time: 4.932831
+ [java] Path Solving Time: 37.978704
+ [java] Path Solving Time: 3.902252
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588114747983 Original Encoding Solving Time: 0.643786
+ [java] 1588114747983 Original Encoding Incremental Solving Time: 0.143724
+ [java] 1588114748017 Original Encoding Solving Time: 0.076011
+ [java] 1588114748017 Original Encoding Incremental Solving Time: 0.071162
+ [java] Path Solving Time: 28.490107
+ [java] Path Solving Time: 40.381853
+ [java] Path Solving Time: 42.444936
+ [java] Path Solving Time: 6.042205
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] 1588114748186 Original Encoding Solving Time: 0.716996
+ [java] 1588114748186 Original Encoding Incremental Solving Time: 0.304807
+ [java] Path Solving Time: 14.184089
+ [java] Path Solving Time: 40.571993
+ [java] Path Solving Time: 56.16583
+ [java] Path Solving Time: 3.722625
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588114748376 Original Encoding Solving Time: 0.420028
+ [java] 1588114748376 Original Encoding Incremental Solving Time: 1.086037
+ [java] 1588114748402 Original Encoding Solving Time: 0.054685
+ [java] 1588114748402 Original Encoding Incremental Solving Time: 0.059246
+ [java] Path Solving Time: 27.473859
+ [java] Path Solving Time: 10.576843
+ [java] Path Solving Time: 3.316909
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588114748501 Original Encoding Solving Time: 0.412324
+ [java] 1588114748501 Original Encoding Incremental Solving Time: 0.162314
+ [java] 1588114748529 Original Encoding Solving Time: 0.045204
+ [java] 1588114748529 Original Encoding Incremental Solving Time: 0.055286
+ [java] Path Solving Time: 24.587999
+ [java] Path Solving Time: 47.813284
+ [java] Path Solving Time: 3.284182
+ [java] 1588114748666 Original Encoding Solving Time: 0.364366
+ [java] 1588114748666 Original Encoding Incremental Solving Time: 0.129291
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588114748688 Original Encoding Solving Time: 0.025051
+ [java] 1588114748688 Original Encoding Incremental Solving Time: 0.060567
+ [java] Path Solving Time: 10.801688
+ [java] Path Solving Time: 27.525765
+ [java] Path Solving Time: 3.929002
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588114748801 Original Encoding Solving Time: 1.156432
+ [java] 1588114748801 Original Encoding Incremental Solving Time: 0.779498
+ [java] 1588114748830 Original Encoding Solving Time: 0.045256
+ [java] 1588114748830 Original Encoding Incremental Solving Time: 0.026784
+ [java] Path Solving Time: 19.452233
+ [java] Path Solving Time: 86.970254
+ [java] Path Solving Time: 3.540457
+ [java] Path Solving Time: 93.618845
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] 1588114749086 Original Encoding Solving Time: 0.558633
+ [java] 1588114749086 Original Encoding Incremental Solving Time: 0.173092
+ [java] Path Solving Time: 20.946126
+ [java] Path Solving Time: 109.147545
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] 1588114749287 Original Encoding Solving Time: 0.502058
+ [java] 1588114749287 Original Encoding Incremental Solving Time: 0.267302
+ [java] Path Solving Time: 47.695741
+ [java] Path Solving Time: 22.147222
+ [java] Path Solving Time: 66.058683
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] 1588114749487 Original Encoding Solving Time: 0.354338
+ [java] 1588114749487 Original Encoding Incremental Solving Time: 0.107858
+ [java] Path Solving Time: 34.909898
+ [java] Path Solving Time: 62.839375
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 64.765009
+ [java] 1588114749716 Original Encoding Solving Time: 0.463266
+ [java] 1588114749716 Original Encoding Incremental Solving Time: 0.089844
+ [java] Let's read clauses ...
+ [java] Path Solving Time: 45.220785
+ [java] Path Solving Time: 47.465032
+ [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: 53.615815
+ [java] 1588114749930 Original Encoding Solving Time: 0.283966
+ [java] 1588114749930 Original Encoding Incremental Solving Time: 0.075144
+ [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: 17.637436
+ [java] Path Solving Time: 19.177698
+ [java] 1588114750032 Original Encoding Solving Time: 0.281672
+ [java] 1588114750032 Original Encoding Incremental Solving Time: 0.082996
+ [java] Let's read clauses ...
+ [java] Path Solving Time: 47.714866
+ [java] Path Solving Time: 37.06146
+ [java] Path Solving Time: 6.018995
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] 1588114750176 Original Encoding Solving Time: 0.33695
+ [java] 1588114750176 Original Encoding Incremental Solving Time: 0.145658
+ [java] Path Solving Time: 51.355215
+ [java] Path Solving Time: 12.166183
+ [java] Path Solving Time: 6.229827
+ [java] Done with finding holes : Flag = true
+ [java] 1588114750318 Original Encoding Solving Time: 0.305864
+ [java] 1588114750318 Original Encoding Incremental Solving Time: 0.147738
+ [java] Path Solving Time: 36.003276
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 37.570439
+ [java] Path Solving Time: 5.709646
+ [java] 1588114750451 Original Encoding Solving Time: 0.300991
+ [java] 1588114750451 Original Encoding Incremental Solving Time: 0.126305
+ [java] Let's read clauses ...
+ [java] Path Solving Time: 43.458328
+ [java] Path Solving Time: 21.127775
+ [java] Path Solving Time: 5.541255
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] 1588114750585 Original Encoding Solving Time: 0.744407
+ [java] 1588114750585 Original Encoding Incremental Solving Time: 0.077782
+ [java] Path Solving Time: 11.863731
+ [java] Path Solving Time: 6.490853
+ [java] 1588114750660 Original Encoding Solving Time: 0.303013
+ [java] 1588114750660 Original Encoding Incremental Solving Time: 0.078922
+ [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] Path Solving Time: 13.933996
+ [java] Path Solving Time: 6.218669
+ [java] 1588114750735 Original Encoding Solving Time: 0.27714
+ [java] 1588114750735 Original Encoding Incremental Solving Time: 0.086653
+ [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: 21.515004
+ [java] Path Solving Time: 7.185141
+ [java] 1588114750822 Original Encoding Solving Time: 0.251829
+ [java] 1588114750822 Original Encoding Incremental Solving Time: 0.070492
+ [java] Path Solving Time: 19.353182
+ [java] Path Solving Time: 6.22392
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] 1588114750905 Original Encoding Solving Time: 0.379674
+ [java] 1588114750905 Original Encoding Incremental Solving Time: 0.073213
+ [java] Path Solving Time: 13.82167
+ [java] Path Solving Time: 6.467265
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] 1588114750978 Original Encoding Solving Time: 0.281326
+ [java] 1588114750978 Original Encoding Incremental Solving Time: 0.2713
+ [java] Path Solving Time: 14.936543
+ [java] Path Solving Time: 6.860082
+ [java] 1588114751054 Original Encoding Solving Time: 0.382713
+ [java] 1588114751054 Original Encoding Incremental Solving Time: 0.08608
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 22.433259
+ [java] Path Solving Time: 6.309686
+ [java] 1588114751140 Original Encoding Solving Time: 0.229183
+ [java] 1588114751140 Original Encoding Incremental Solving Time: 0.112787
+ [java] Path Solving Time: 21.63258
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 6.553559
+ [java] 1588114751222 Original Encoding Solving Time: 0.387684
+ [java] 1588114751222 Original Encoding Incremental Solving Time: 0.133403
+ [java] Path Solving Time: 31.360758
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Path Solving Time: 5.931434
+ [java] 1588114751315 Original Encoding Solving Time: 0.230449
+ [java] 1588114751315 Original Encoding Incremental Solving Time: 0.080886
+ [java] Path Solving Time: 20.099535
+ [java] Path Solving Time: 6.226442
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] 1588114751396 Original Encoding Solving Time: 0.236635
+ [java] 1588114751396 Original Encoding Incremental Solving Time: 0.07287
+ [java] Path Solving Time: 13.49087
+ [java] Path Solving Time: 6.353938
+ [java] 1588114751471 Original Encoding Solving Time: 0.211122
+ [java] 1588114751471 Original Encoding Incremental Solving Time: 0.06713
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 19.177358
+ [java] Path Solving Time: 8.294802
+ [java] 1588114751560 Original Encoding Solving Time: 0.333968
+ [java] 1588114751560 Original Encoding Incremental Solving Time: 0.460429
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 26.159598
+ [java] Path Solving Time: 5.878481
+ [java] 1588114751655 Original Encoding Solving Time: 0.225062
+ [java] 1588114751655 Original Encoding Incremental Solving Time: 0.071942
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 12.115444
+ [java] Path Solving Time: 6.421135
+ [java] 1588114751728 Original Encoding Solving Time: 0.227793
+ [java] 1588114751728 Original Encoding Incremental Solving Time: 0.068773
+ [java] Path Solving Time: 24.982513
+ [java] Path Solving Time: 6.126873
+ [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] 1588114751815 Original Encoding Solving Time: 0.800207
+ [java] 1588114751815 Original Encoding Incremental Solving Time: 0.065169
+ [java] Path Solving Time: 18.891039
+ [java] Path Solving Time: 6.479051
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] 1588114751892 Original Encoding Solving Time: 0.298311
+ [java] 1588114751892 Original Encoding Incremental Solving Time: 0.085395
+ [java] Path Solving Time: 12.448725
+ [java] Path Solving Time: 6.374933
+ [java] 1588114751962 Original Encoding Solving Time: 0.254206
+ [java] 1588114751962 Original Encoding Incremental Solving Time: 0.074847
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 12.533746
+ [java] Path Solving Time: 6.42112
+ [java] 1588114752035 Original Encoding Solving Time: 0.260842
+ [java] 1588114752035 Original Encoding Incremental Solving Time: 0.073063
+ [java] Path Solving Time: 30.335823
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 6.280966
+ [java] 1588114752123 Original Encoding Solving Time: 0.220836
+ [java] 1588114752123 Original Encoding Incremental Solving Time: 0.081802
+ [java] Path Solving Time: 23.149823
+ [java] Path Solving Time: 6.777208
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] 1588114752210 Original Encoding Solving Time: 0.290832
+ [java] 1588114752210 Original Encoding Incremental Solving Time: 0.092886
+ [java] Path Solving Time: 16.21448
+ [java] Path Solving Time: 6.996977
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] 1588114752289 Original Encoding Solving Time: 0.342564
+ [java] 1588114752289 Original Encoding Incremental Solving Time: 0.106734
+ [java] Path Solving Time: 20.510723
+ [java] Path Solving Time: 6.34964
+ [java] 1588114752378 Original Encoding Solving Time: 0.318579
+ [java] 1588114752378 Original Encoding Incremental Solving Time: 0.167692
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Path Solving Time: 35.519353
+ [java] Path Solving Time: 5.968188
+ [java] 1588114752474 Original Encoding Solving Time: 0.362534
+ [java] 1588114752474 Original Encoding Incremental Solving Time: 0.143485
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 15.416387
+ [java] Path Solving Time: 6.218462
+ [java] 1588114752558 Original Encoding Solving Time: 0.277112
+ [java] 1588114752558 Original Encoding Incremental Solving Time: 0.123771
+ [java] Let's read clauses ...
+ [java] Path Solving Time: 13.460478
+ [java] Path Solving Time: 49.668251
+ [java] Path Solving Time: 15.028409
+ [java] Path Solving Time: 3.645369
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588114752697 Original Encoding Solving Time: 0.223572
+ [java] 1588114752697 Original Encoding Incremental Solving Time: 0.086408
+ [java] 1588114752712 Original Encoding Solving Time: 0.081811
+ [java] 1588114752712 Original Encoding Incremental Solving Time: 0.029988
+ [java] Path Solving Time: 21.398785
+ [java] Path Solving Time: 202.872429
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 35.700014
+ [java] Path Solving Time: 3.677713
+ [java] 1588114753049 Original Encoding Solving Time: 0.288657
+ [java] 1588114753049 Original Encoding Incremental Solving Time: 0.078379
+ [java] 1588114753063 Original Encoding Solving Time: 0.04032
+ [java] 1588114753063 Original Encoding Incremental Solving Time: 0.015528
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 126.381652
+ [java] Path Solving Time: 32.315602
+ [java] Path Solving Time: 105.837871
+ [java] Path Solving Time: 3.715519
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588114753397 Original Encoding Solving Time: 0.239822
+ [java] 1588114753397 Original Encoding Incremental Solving Time: 0.082375
+ [java] 1588114753414 Original Encoding Solving Time: 0.02555
+ [java] 1588114753414 Original Encoding Incremental Solving Time: 0.010267
+ [java] Path Solving Time: 23.108663
+ [java] Path Solving Time: 13.291495
+ [java] Path Solving Time: 3.741305
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588114753517 Original Encoding Solving Time: 0.25799
+ [java] 1588114753517 Original Encoding Incremental Solving Time: 0.072714
+ [java] 1588114753530 Original Encoding Solving Time: 0.024011
+ [java] 1588114753530 Original Encoding Incremental Solving Time: 0.008152
+ [java] Path Solving Time: 22.147342
+ [java] Path Solving Time: 74.192302
+ [java] Path Solving Time: 3.722987
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] 1588114753700 Original Encoding Solving Time: 0.257047
+ [java] 1588114753700 Original Encoding Incremental Solving Time: 0.074587
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 26
+ [java] Sketch Generation Time: 3352.4990219999986
+ [java] Sketch Completion Time: 2085.099115
+ [java] Compilation Time: 1090.6762450000006
+ [java] Running Test cases Time: 84.764067
+ [java] Synthesis Time: 5522.362203999998
+ [java] Total Time: 6613.038448999999
+ [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: 19 seconds