--- /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/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: 3129.921681
+ [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.329556
+ [java] PetriNet for path length: 6 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] Path Solving Time: 6.717275
+ [java] PetriNet for path length: 7 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] Path Solving Time: 10.078106
+ [java] Path Solving Time: 36.492446
+ [java] Path Solving Time: 7.676773
+ [java] Done with finding holes : Flag = true
+ [java] 1588125270203 Original Encoding Solving Time: 0.590994
+ [java] 1588125270203 Original Encoding Incremental Solving Time: 0.106553
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 25.940998
+ [java] Path Solving Time: 7.410083
+ [java] 1588125270555 Original Encoding Solving Time: 0.445437
+ [java] 1588125270555 Original Encoding Incremental Solving Time: 0.120272
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 10.556048
+ [java] Path Solving Time: 4.047375
+ [java] 1588125270779 Original Encoding Solving Time: 0.715731
+ [java] 1588125270779 Original Encoding Incremental Solving Time: 0.173902
+ [java] Path Solving Time: 11.08366
+ [java] Path Solving Time: 2.585629
+ [java] Path Solving Time: 3.908042
+ [java] PetriNet for path length: 8 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 4.178028
+ [java] Path Solving Time: 15.669626
+ [java] Path Solving Time: 4.200288
+ [java] 1588125272265 Original Encoding Solving Time: 1.773986
+ [java] 1588125272265 Original Encoding Incremental Solving Time: 0.13789
+ [java] Path Solving Time: 10.234996
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 4.235438
+ [java] 1588125272331 Original Encoding Solving Time: 1.034172
+ [java] 1588125272331 Original Encoding Incremental Solving Time: 0.224847
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 61.275159
+ [java] Path Solving Time: 9.00794
+ [java] Path Solving Time: 13.773631
+ [java] Path Solving Time: 5.490495
+ [java] Path Solving Time: 9.750974
+ [java] 1588125272490 Original Encoding Solving Time: 0.379289
+ [java] 1588125272490 Original Encoding Incremental Solving Time: 0.64493
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 19.298662
+ [java] Path Solving Time: 5.940826
+ [java] Path Solving Time: 7.037757
+ [java] 1588125272575 Original Encoding Solving Time: 0.782986
+ [java] 1588125272575 Original Encoding Incremental Solving Time: 0.26392
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 12.278446
+ [java] Path Solving Time: 3.928898
+ [java] 1588125272640 Original Encoding Solving Time: 0.415198
+ [java] 1588125272640 Original Encoding Incremental Solving Time: 0.104376
+ [java] Path Solving Time: 25.11877
+ [java] Path Solving Time: 8.055591
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588125272715 Original Encoding Solving Time: 0.370582
+ [java] 1588125272715 Original Encoding Incremental Solving Time: 0.271291
+ [java] Path Solving Time: 12.089737
+ [java] Path Solving Time: 4.256384
+ [java] 1588125272772 Original Encoding Solving Time: 0.498287
+ [java] 1588125272772 Original Encoding Incremental Solving Time: 0.186575
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 20.39895
+ [java] Path Solving Time: 3.260081
+ [java] 1588125272842 Original Encoding Solving Time: 0.426162
+ [java] 1588125272842 Original Encoding Incremental Solving Time: 0.148448
+ [java] Path Solving Time: 11.847563
+ [java] PetriNet for path length: 9 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] Path Solving Time: 4.202313
+ [java] Path Solving Time: 8.584506
+ [java] Path Solving Time: 3.197995
+ [java] 1588125274294 Original Encoding Solving Time: 0.443146
+ [java] 1588125274294 Original Encoding Incremental Solving Time: 0.151237
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588125274313 Original Encoding Solving Time: 0.049371
+ [java] 1588125274313 Original Encoding Incremental Solving Time: 0.040739
+ [java] Path Solving Time: 10.822024
+ [java] Path Solving Time: 3.380561
+ [java] 1588125274362 Original Encoding Solving Time: 0.429713
+ [java] 1588125274362 Original Encoding Incremental Solving Time: 0.113502
+ [java] 1588125274381 Original Encoding Solving Time: 0.026335
+ [java] 1588125274381 Original Encoding Incremental Solving Time: 0.060144
+ [java] Path Solving Time: 15.492378
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 4.516757
+ [java] 1588125274442 Original Encoding Solving Time: 0.568128
+ [java] 1588125274442 Original Encoding Incremental Solving Time: 0.20717
+ [java] 1588125274470 Original Encoding Solving Time: 0.036836
+ [java] 1588125274470 Original Encoding Incremental Solving Time: 0.064517
+ [java] Path Solving Time: 12.976522
+ [java] Path Solving Time: 5.994962
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588125274517 Original Encoding Solving Time: 0.470208
+ [java] 1588125274517 Original Encoding Incremental Solving Time: 0.863607
+ [java] 1588125274543 Original Encoding Solving Time: 0.025733
+ [java] 1588125274543 Original Encoding Incremental Solving Time: 0.082853
+ [java] Path Solving Time: 19.281375
+ [java] Path Solving Time: 3.825193
+ [java] 1588125274593 Original Encoding Solving Time: 0.407657
+ [java] 1588125274593 Original Encoding Incremental Solving Time: 0.120942
+ [java] Done with finding holes : Flag = false
+ [java] 1588125274619 Original Encoding Solving Time: 0.029841
+ [java] 1588125274619 Original Encoding Incremental Solving Time: 0.014173
+ [java] Path Solving Time: 19.582755
+ [java] Path Solving Time: 17.804051
+ [java] Path Solving Time: 36.788495
+ [java] Path Solving Time: 3.253691
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] 1588125274726 Original Encoding Solving Time: 0.405377
+ [java] 1588125274726 Original Encoding Incremental Solving Time: 0.114208
+ [java] Path Solving Time: 10.639959
+ [java] Path Solving Time: 3.500095
+ [java] 1588125274783 Original Encoding Solving Time: 0.333877
+ [java] 1588125274783 Original Encoding Incremental Solving Time: 0.167956
+ [java] 1588125274800 Original Encoding Solving Time: 0.036911
+ [java] 1588125274800 Original Encoding Incremental Solving Time: 0.020902
+ [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: 9.338969
+ [java] Path Solving Time: 3.915085
+ [java] 1588125274859 Original Encoding Solving Time: 0.926606
+ [java] 1588125274859 Original Encoding Incremental Solving Time: 0.087065
+ [java] 1588125274875 Original Encoding Solving Time: 0.022684
+ [java] 1588125274875 Original Encoding Incremental Solving Time: 0.006997
+ [java] Path Solving Time: 7.557599
+ [java] Path Solving Time: 3.156381
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588125274927 Original Encoding Solving Time: 0.374579
+ [java] 1588125274927 Original Encoding Incremental Solving Time: 0.181029
+ [java] 1588125274947 Original Encoding Solving Time: 0.022585
+ [java] 1588125274947 Original Encoding Incremental Solving Time: 0.008441
+ [java] Path Solving Time: 8.632834
+ [java] Path Solving Time: 3.406348
+ [java] 1588125274994 Original Encoding Solving Time: 0.342536
+ [java] 1588125274994 Original Encoding Incremental Solving Time: 0.102266
+ [java] 1588125275014 Original Encoding Solving Time: 0.022467
+ [java] 1588125275014 Original Encoding Incremental Solving Time: 0.012367
+ [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.829003
+ [java] Path Solving Time: 3.318968
+ [java] 1588125275065 Original Encoding Solving Time: 0.275794
+ [java] 1588125275065 Original Encoding Incremental Solving Time: 0.110679
+ [java] 1588125275080 Original Encoding Solving Time: 0.020237
+ [java] 1588125275080 Original Encoding Incremental Solving Time: 0.007201
+ [java] Path Solving Time: 8.683362
+ [java] Path Solving Time: 3.470243
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588125275136 Original Encoding Solving Time: 0.243589
+ [java] 1588125275136 Original Encoding Incremental Solving Time: 0.101849
+ [java] 1588125275150 Original Encoding Solving Time: 0.056169
+ [java] 1588125275150 Original Encoding Incremental Solving Time: 0.00866
+ [java] Path Solving Time: 9.150789
+ [java] Path Solving Time: 3.293531
+ [java] 1588125275206 Original Encoding Solving Time: 0.231917
+ [java] 1588125275206 Original Encoding Incremental Solving Time: 0.109949
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588125275219 Original Encoding Solving Time: 0.06415
+ [java] 1588125275219 Original Encoding Incremental Solving Time: 0.010694
+ [java] Path Solving Time: 7.00668
+ [java] Path Solving Time: 2.74559
+ [java] 1588125275271 Original Encoding Solving Time: 0.374513
+ [java] 1588125275271 Original Encoding Incremental Solving Time: 0.333195
+ [java] 1588125275288 Original Encoding Solving Time: 0.020839
+ [java] 1588125275288 Original Encoding Incremental Solving Time: 0.011919
+ [java] Path Solving Time: 8.14667
+ [java] Path Solving Time: 3.607806
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588125275343 Original Encoding Solving Time: 0.258953
+ [java] 1588125275343 Original Encoding Incremental Solving Time: 0.146537
+ [java] 1588125275357 Original Encoding Solving Time: 0.020471
+ [java] 1588125275357 Original Encoding Incremental Solving Time: 0.007027
+ [java] Path Solving Time: 16.967953
+ [java] Path Solving Time: 3.199046
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588125275420 Original Encoding Solving Time: 0.38823
+ [java] 1588125275420 Original Encoding Incremental Solving Time: 0.114114
+ [java] 1588125275434 Original Encoding Solving Time: 0.019384
+ [java] 1588125275434 Original Encoding Incremental Solving Time: 0.00726
+ [java] Path Solving Time: 42.393734
+ [java] Path Solving Time: 3.144529
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588125275523 Original Encoding Solving Time: 0.310246
+ [java] 1588125275523 Original Encoding Incremental Solving Time: 0.218064
+ [java] 1588125275540 Original Encoding Solving Time: 0.019746
+ [java] 1588125275540 Original Encoding Incremental Solving Time: 0.017673
+ [java] Path Solving Time: 55.699705
+ [java] Path Solving Time: 21.758506
+ [java] Path Solving Time: 2.931886
+ [java] Path Solving Time: 62.851798
+ [java] Done with finding holes : Flag = true
+ [java] 1588125275724 Original Encoding Solving Time: 0.256564
+ [java] 1588125275724 Original Encoding Incremental Solving Time: 0.101682
+ [java] Path Solving Time: 58.621096
+ [java] Path Solving Time: 21.945554
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 21.753483
+ [java] 1588125275866 Original Encoding Solving Time: 0.265337
+ [java] 1588125275866 Original Encoding Incremental Solving Time: 0.082545
+ [java] Path Solving Time: 16.068069
+ [java] Path Solving Time: 13.810777
+ [java] Done with finding holes : Flag = true
+ [java] 1588125275937 Original Encoding Solving Time: 0.351282
+ [java] 1588125275937 Original Encoding Incremental Solving Time: 0.13513
+ [java] Path Solving Time: 41.952099
+ [java] Path Solving Time: 11.818305
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 15.790515
+ [java] 1588125276050 Original Encoding Solving Time: 0.322217
+ [java] 1588125276050 Original Encoding Incremental Solving Time: 0.120216
+ [java] Path Solving Time: 19.913084
+ [java] Path Solving Time: 27.181523
+ [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: 12.797923
+ [java] 1588125276151 Original Encoding Solving Time: 0.24049
+ [java] 1588125276151 Original Encoding Incremental Solving Time: 0.100031
+ [java] Path Solving Time: 21.523589
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 40.065361
+ [java] Path Solving Time: 12.524749
+ [java] 1588125276269 Original Encoding Solving Time: 0.218416
+ [java] 1588125276269 Original Encoding Incremental Solving Time: 0.077983
+ [java] Path Solving Time: 26.952833
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 28.786045
+ [java] Path Solving Time: 8.809736
+ [java] 1588125276375 Original Encoding Solving Time: 0.770045
+ [java] 1588125276375 Original Encoding Incremental Solving Time: 0.075137
+ [java] Path Solving Time: 20.649364
+ [java] Path Solving Time: 4.798218
+ [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] 1588125276440 Original Encoding Solving Time: 0.291985
+ [java] 1588125276440 Original Encoding Incremental Solving Time: 0.082318
+ [java] Path Solving Time: 27.469116
+ [java] Path Solving Time: 24.459829
+ [java] Path Solving Time: 5.918037
+ [java] Done with finding holes : Flag = true
+ [java] 1588125276541 Original Encoding Solving Time: 0.510685
+ [java] 1588125276541 Original Encoding Incremental Solving Time: 0.143843
+ [java] Path Solving Time: 54.352491
+ [java] Path Solving Time: 7.859221
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 5.001493
+ [java] 1588125276652 Original Encoding Solving Time: 0.346648
+ [java] 1588125276652 Original Encoding Incremental Solving Time: 0.103261
+ [java] Path Solving Time: 21.894711
+ [java] Path Solving Time: 4.686768
+ [java] 1588125276720 Original Encoding Solving Time: 0.235277
+ [java] 1588125276720 Original Encoding Incremental Solving Time: 0.146442
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 31.485094
+ [java] Path Solving Time: 5.320764
+ [java] 1588125276799 Original Encoding Solving Time: 0.458508
+ [java] 1588125276799 Original Encoding Incremental Solving Time: 0.0884
+ [java] Path Solving Time: 29.108067
+ [java] Path Solving Time: 63.179784
+ [java] Path Solving Time: 5.08173
+ [java] Done with finding holes : Flag = true
+ [java] 1588125276943 Original Encoding Solving Time: 0.436499
+ [java] 1588125276943 Original Encoding Incremental Solving Time: 0.135602
+ [java] Path Solving Time: 31.320871
+ [java] Path Solving Time: 5.120478
+ [java] 1588125277026 Original Encoding Solving Time: 0.227642
+ [java] 1588125277026 Original Encoding Incremental Solving Time: 0.074062
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 23.360102
+ [java] Path Solving Time: 4.848694
+ [java] 1588125277094 Original Encoding Solving Time: 0.248728
+ [java] 1588125277094 Original Encoding Incremental Solving Time: 0.082378
+ [java] Path Solving Time: 11.37591
+ [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: 5.410299
+ [java] 1588125277154 Original Encoding Solving Time: 0.22015
+ [java] 1588125277154 Original Encoding Incremental Solving Time: 0.080677
+ [java] Path Solving Time: 17.161418
+ [java] Path Solving Time: 5.256283
+ [java] 1588125277218 Original Encoding Solving Time: 0.419089
+ [java] 1588125277218 Original Encoding Incremental Solving Time: 0.142599
+ [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: 13.986343
+ [java] Path Solving Time: 5.419597
+ [java] 1588125277280 Original Encoding Solving Time: 0.283023
+ [java] 1588125277280 Original Encoding Incremental Solving Time: 0.063914
+ [java] Path Solving Time: 14.405741
+ [java] Path Solving Time: 5.655399
+ [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] 1588125277342 Original Encoding Solving Time: 0.256672
+ [java] 1588125277342 Original Encoding Incremental Solving Time: 0.073061
+ [java] Path Solving Time: 13.463441
+ [java] Path Solving Time: 5.423658
+ [java] 1588125277399 Original Encoding Solving Time: 0.209725
+ [java] 1588125277399 Original Encoding Incremental Solving Time: 0.075065
+ [java] Path Solving Time: 13.731196
+ [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: 5.313647
+ [java] 1588125277459 Original Encoding Solving Time: 0.225639
+ [java] 1588125277459 Original Encoding Incremental Solving Time: 0.085094
+ [java] Path Solving Time: 15.292986
+ [java] Path Solving Time: 5.462097
+ [java] 1588125277518 Original Encoding Solving Time: 0.33554
+ [java] 1588125277518 Original Encoding Incremental Solving Time: 0.079102
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 13.50718
+ [java] Path Solving Time: 5.409942
+ [java] 1588125277577 Original Encoding Solving Time: 0.264164
+ [java] 1588125277577 Original Encoding Incremental Solving Time: 0.091471
+ [java] Path Solving Time: 13.954507
+ [java] Path Solving Time: 16.626914
+ [java] Path Solving Time: 3.823579
+ [java] Done with finding holes : Flag = true
+ [java] 1588125277651 Original Encoding Solving Time: 0.284848
+ [java] 1588125277651 Original Encoding Incremental Solving Time: 0.090867
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 27
+ [java] Sketch Generation Time: 1921.05181
+ [java] Sketch Completion Time: 1594.9882540000006
+ [java] Compilation Time: 1227.3380980000002
+ [java] Running Test cases Time: 77.27738000000004
+ [java] Synthesis Time: 3593.3174440000007
+ [java] Total Time: 4820.655542
+ [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] ============================
+
+BUILD SUCCESSFUL
+Total time: 16 seconds
projects / Benchmarks_CSolver.git / blobdiff