--- /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/30/benchmark30.json
+ [java] Benchmark Id: 30
+ [java] Method name: getAttributeById
+ [java] Packages: [org.w3c.dom, javax.xml.parsers, org.xml.sax]
+ [java] Libraries: [./lib/rt7.jar]
+ [java] Source type(s): [java.io.File, java.lang.String]
+ [java] Target type: java.lang.String
+ [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: 3265.676918
+ [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: 18.133549
+ [java] PetriNet for path length: 6 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] Path Solving Time: 11.017592
+ [java] Path Solving Time: 43.677892
+ [java] PetriNet for path length: 7 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] Path Solving Time: 6.385222
+ [java] Path Solving Time: 33.113503
+ [java] Path Solving Time: 10.960647
+ [java] PetriNet for path length: 8 [places: 236 ; transitions: 1917 ; edges: 4767]
+ [java] Path Solving Time: 6.364699
+ [java] Path Solving Time: 14.001476
+ [java] Path Solving Time: 5.197054
+ [java] 1588130544101 Original Encoding Solving Time: 1.055782
+ [java] 1588130544101 Original Encoding Incremental Solving Time: 0.116902
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588130544368 Original Encoding Solving Time: 0.034454
+ [java] 1588130544368 Original Encoding Incremental Solving Time: 0.021887
+ [java] Path Solving Time: 12.663151
+ [java] Path Solving Time: 3.538333
+ [java] 1588130544411 Original Encoding Solving Time: 0.672451
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588130544411 Original Encoding Incremental Solving Time: 0.571626
+ [java] 1588130544453 Original Encoding Solving Time: 0.041164
+ [java] 1588130544453 Original Encoding Incremental Solving Time: 0.0304
+ [java] Path Solving Time: 34.139729
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 28.816434
+ [java] Path Solving Time: 3.412944
+ [java] 1588130544546 Original Encoding Solving Time: 0.557172
+ [java] 1588130544546 Original Encoding Incremental Solving Time: 0.217108
+ [java] 1588130544575 Original Encoding Solving Time: 0.044647
+ [java] 1588130544575 Original Encoding Incremental Solving Time: 0.015093
+ [java] Path Solving Time: 9.699416
+ [java] Path Solving Time: 3.208352
+ [java] Done with finding holes : Flag = true
+ [java] 1588130544617 Original Encoding Solving Time: 1.023821
+ [java] 1588130544617 Original Encoding Incremental Solving Time: 0.176491
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 30
+ [java] Sketch Generation Time: 260.184156
+ [java] Sketch Completion Time: 113.83775800000001
+ [java] Compilation Time: 330.77981
+ [java] Running Test cases Time: 22.424233
+ [java] Synthesis Time: 396.446147
+ [java] Total Time: 727.225957
+ [java] Number of components: 5
+ [java] Number of holes: 7
+ [java] Number of completed programs: 7
+ [java] Number of sketches: 4
+ [java] Solution:
+ [java] javax.xml.parsers.DocumentBuilderFactory sypet_var24 = javax.xml.parsers.DocumentBuilderFactory.newInstance();
+ [java] javax.xml.parsers.DocumentBuilder sypet_var25 = sypet_var24.newDocumentBuilder();
+ [java] org.w3c.dom.Document sypet_var26 = sypet_var25.parse(sypet_arg0);
+ [java] org.w3c.dom.Element sypet_var27 = sypet_var26.getDocumentElement();
+ [java] java.lang.String sypet_var28 = sypet_var27.getAttribute(sypet_arg1);
+ [java] return sypet_var28;
+ [java]
+ [java] ============================
+
+BUILD SUCCESSFUL
+Total time: 10 seconds
projects / Benchmarks_CSolver.git / blobdiff