--- /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/23/benchmark23.json
+ [java] Benchmark Id: 23
+ [java] Method name: getOffsetForLine
+ [java] Packages: [javax.swing.text]
+ [java] Libraries: [./lib/rt7.jar]
+ [java] Source type(s): [javax.swing.text.Document, int]
+ [java] Target type: int
+ [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: 441
+ [java] #Methods: 4076
+ [java] Soot Time: 3213.090883
+ [java] PetriNet for path length: 1 [places: 509 ; transitions: 2697 ; edges: 7171]
+ [java] PetriNet for path length: 2 [places: 509 ; transitions: 2697 ; edges: 7171]
+ [java] PetriNet for path length: 3 [places: 509 ; transitions: 2697 ; edges: 7171]
+ [java] PetriNet for path length: 4 [places: 509 ; transitions: 2697 ; edges: 7171]
+ [java] PetriNet for path length: 5 [places: 509 ; transitions: 2697 ; edges: 7171]
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 31.533883
+ [java] Path Solving Time: 9.094914
+ [java] 1588121138482 Original Encoding Solving Time: 0.577652
+ [java] 1588121138482 Original Encoding Incremental Solving Time: 0.914664
+ [java] Done with finding holes : Flag = false
+ [java] 1588121141210 Original Encoding Solving Time: 0.05425
+ [java] 1588121141210 Original Encoding Incremental Solving Time: 0.04012
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 35.079333
+ [java] Path Solving Time: 7.589819
+ [java] 1588121141273 Original Encoding Solving Time: 0.338209
+ [java] 1588121141273 Original Encoding Incremental Solving Time: 0.559123
+ [java] 1588121141311 Original Encoding Solving Time: 0.044019
+ [java] 1588121141311 Original Encoding Incremental Solving Time: 0.014816
+ [java] Path Solving Time: 18.229864
+ [java] Path Solving Time: 3.769157
+ [java] Path Solving Time: 3.494872
+ [java] Path Solving Time: 18.893685
+ [java] PetriNet for path length: 6 [places: 509 ; transitions: 2697 ; edges: 7171]
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 17.406788
+ [java] Path Solving Time: 3.662743
+ [java] 1588121143324 Original Encoding Solving Time: 0.850412
+ [java] 1588121143324 Original Encoding Incremental Solving Time: 0.208462
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588121143356 Original Encoding Solving Time: 0.039585
+ [java] 1588121143356 Original Encoding Incremental Solving Time: 0.018477
+ [java] Path Solving Time: 14.928067
+ [java] Path Solving Time: 3.162669
+ [java] 1588121143398 Original Encoding Solving Time: 0.949662
+ [java] 1588121143398 Original Encoding Incremental Solving Time: 0.102184
+ [java] 1588121143429 Original Encoding Solving Time: 0.024037
+ [java] 1588121143429 Original Encoding Incremental Solving Time: 0.014346
+ [java] Path Solving Time: 8.243756
+ [java] Path Solving Time: 3.539942
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588121143468 Original Encoding Solving Time: 0.588956
+ [java] 1588121143468 Original Encoding Incremental Solving Time: 0.200601
+ [java] 1588121143499 Original Encoding Solving Time: 0.034171
+ [java] 1588121143499 Original Encoding Incremental Solving Time: 0.016397
+ [java] Path Solving Time: 8.821185
+ [java] Path Solving Time: 2.873912
+ [java] 1588121143538 Original Encoding Solving Time: 0.497474
+ [java] 1588121143538 Original Encoding Incremental Solving Time: 0.57528
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588121143571 Original Encoding Solving Time: 0.029962
+ [java] 1588121143571 Original Encoding Incremental Solving Time: 0.013034
+ [java] Path Solving Time: 10.07147
+ [java] Path Solving Time: 3.845961
+ [java] 1588121143617 Original Encoding Solving Time: 0.585271
+ [java] 1588121143617 Original Encoding Incremental Solving Time: 1.199338
+ [java] 1588121143647 Original Encoding Solving Time: 0.026265
+ [java] 1588121143647 Original Encoding Incremental Solving Time: 0.008657
+ [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: 7.490678
+ [java] Path Solving Time: 2.736347
+ [java] 1588121143684 Original Encoding Solving Time: 0.529436
+ [java] 1588121143684 Original Encoding Incremental Solving Time: 0.12148
+ [java] 1588121143715 Original Encoding Solving Time: 0.034523
+ [java] 1588121143715 Original Encoding Incremental Solving Time: 0.013476
+ [java] Path Solving Time: 10.215756
+ [java] Path Solving Time: 3.132058
+ [java] Done with finding holes : Flag = true
+ [java] 1588121143754 Original Encoding Solving Time: 0.473323
+ [java] 1588121143754 Original Encoding Incremental Solving Time: 0.527191
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 23
+ [java] Sketch Generation Time: 254.26455900000002
+ [java] Sketch Completion Time: 238.17380799999998
+ [java] Compilation Time: 473.658367
+ [java] Running Test cases Time: 2479.81266
+ [java] Synthesis Time: 2972.2510270000002
+ [java] Total Time: 3445.9093940000002
+ [java] Number of components: 3
+ [java] Number of holes: 5
+ [java] Number of completed programs: 17
+ [java] Number of sketches: 9
+ [java] Solution:
+ [java] javax.swing.text.Element sypet_var41 = sypet_arg0.getDefaultRootElement();
+ [java] javax.swing.text.Element sypet_var42 = sypet_var41.getElement(sypet_arg1);
+ [java] int sypet_var43 = sypet_var42.getStartOffset();
+ [java] return sypet_var43;
+ [java]
+ [java] ============================
+
+BUILD SUCCESSFUL
+Total time: 13 seconds
projects / Benchmarks_CSolver.git / blobdiff