--- /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: 3240.343941
+ [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] Path Solving Time: 34.570643
+ [java] Path Solving Time: 8.95416
+ [java] Done with finding holes : Flag = true
+ [java] 1588125204880 Original Encoding Solving Time: 0.405842
+ [java] 1588125204880 Original Encoding Incremental Solving Time: 0.098081
+ [java] Done with finding holes : Flag = false
+ [java] 1588125207554 Original Encoding Solving Time: 0.054294
+ [java] 1588125207554 Original Encoding Incremental Solving Time: 0.034803
+ [java] Path Solving Time: 26.466639
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 7.327012
+ [java] 1588125207609 Original Encoding Solving Time: 0.393967
+ [java] 1588125207609 Original Encoding Incremental Solving Time: 0.645948
+ [java] 1588125207644 Original Encoding Solving Time: 0.041369
+ [java] 1588125207644 Original Encoding Incremental Solving Time: 0.014162
+ [java] Path Solving Time: 18.162006
+ [java] Path Solving Time: 3.564463
+ [java] Path Solving Time: 3.570857
+ [java] Path Solving Time: 18.799281
+ [java] PetriNet for path length: 6 [places: 509 ; transitions: 2697 ; edges: 7171]
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 17.787149
+ [java] Path Solving Time: 3.901011
+ [java] 1588125209565 Original Encoding Solving Time: 0.424956
+ [java] 1588125209565 Original Encoding Incremental Solving Time: 0.229371
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588125209599 Original Encoding Solving Time: 0.045066
+ [java] 1588125209599 Original Encoding Incremental Solving Time: 0.01762
+ [java] Path Solving Time: 15.236807
+ [java] Path Solving Time: 3.174549
+ [java] 1588125209643 Original Encoding Solving Time: 0.95636
+ [java] 1588125209643 Original Encoding Incremental Solving Time: 3.149225
+ [java] 1588125209684 Original Encoding Solving Time: 0.084704
+ [java] 1588125209684 Original Encoding Incremental Solving Time: 0.023755
+ [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: 12.266972
+ [java] Path Solving Time: 4.824211
+ [java] 1588125209728 Original Encoding Solving Time: 0.78535
+ [java] 1588125209728 Original Encoding Incremental Solving Time: 0.254035
+ [java] 1588125209768 Original Encoding Solving Time: 0.035282
+ [java] 1588125209768 Original Encoding Incremental Solving Time: 0.021778
+ [java] Path Solving Time: 13.895483
+ [java] Path Solving Time: 4.79318
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588125209814 Original Encoding Solving Time: 1.157413
+ [java] 1588125209814 Original Encoding Incremental Solving Time: 0.292726
+ [java] 1588125209847 Original Encoding Solving Time: 0.026291
+ [java] 1588125209847 Original Encoding Incremental Solving Time: 0.00719
+ [java] Path Solving Time: 8.778698
+ [java] Path Solving Time: 4.188226
+ [java] 1588125209885 Original Encoding Solving Time: 0.501128
+ [java] 1588125209885 Original Encoding Incremental Solving Time: 0.235016
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588125209921 Original Encoding Solving Time: 0.023506
+ [java] 1588125209921 Original Encoding Incremental Solving Time: 0.009557
+ [java] Path Solving Time: 10.839938
+ [java] Path Solving Time: 4.372559
+ [java] 1588125209960 Original Encoding Solving Time: 0.43358
+ [java] 1588125209960 Original Encoding Incremental Solving Time: 0.206043
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588125209994 Original Encoding Solving Time: 0.041263
+ [java] 1588125209994 Original Encoding Incremental Solving Time: 0.009536
+ [java] Path Solving Time: 13.886626
+ [java] Path Solving Time: 3.192786
+ [java] 1588125210034 Original Encoding Solving Time: 0.404714
+ [java] 1588125210034 Original Encoding Incremental Solving Time: 0.342195
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 23
+ [java] Sketch Generation Time: 271.555003
+ [java] Sketch Completion Time: 227.11537899999996
+ [java] Compilation Time: 507.42941599999995
+ [java] Running Test cases Time: 2416.3635530000006
+ [java] Synthesis Time: 2915.0339350000004
+ [java] Total Time: 3422.4633510000003
+ [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