Adding sypet to repo

[Benchmarks_CSolver.git] / sypet-non-incremental / output2-server / xml / benchmark28.log

diff --git a/sypet-non-incremental/output2-server/xml/benchmark28.log b/sypet-non-incremental/output2-server/xml/benchmark28.log
new file mode 100644 (file)
index 0000000..60f82e0
--- /dev/null
+++ b/sypet-non-incremental/output2-server/xml/benchmark28.log
@@ -0,0 +1,91 @@
+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/28/benchmark28.json
+     [java] Benchmark Id: 28
+     [java] Method name: readXML
+     [java] Packages: [org.w3c.dom, javax.xml.parsers, org.xml.sax]
+     [java] Libraries: [./lib/rt7.jar]
+     [java] Source type(s): [java.io.File]
+     [java] Target type: org.w3c.dom.Document
+     [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: 3109.512531
+     [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: 11.262361
+     [java] PetriNet for path length: 6 [places: 236 ; transitions: 1917 ; edges: 4767]
+     [java] Path Solving Time: 11.008503
+     [java] Path Solving Time: 18.032065
+     [java] Path Solving Time: 7.246523
+     [java] 1588125285355 Original Encoding Solving Time: 0.494829
+     [java] Done with finding holes : Flag = true1588125285355 Original Encoding Incremental Solving Time: 0.283734
+     [java] 
+     [java] =========Statistics (time in milliseconds)=========
+     [java] Benchmark Id: 28
+     [java] Sketch Generation Time: 51.984747
+     [java] Sketch Completion Time: 27.523365
+     [java] Compilation Time: 265.571934
+     [java] Running Test cases Time: 15.443333
+     [java] Synthesis Time: 94.95144499999999
+     [java] Total Time: 360.523379
+     [java] Number of components: 3
+     [java] Number of holes: 4
+     [java] Number of completed programs: 1
+     [java] Number of sketches: 1
+     [java] Solution:
+     [java]  javax.xml.parsers.DocumentBuilderFactory sypet_var2 = javax.xml.parsers.DocumentBuilderFactory.newInstance();
+     [java]  javax.xml.parsers.DocumentBuilder sypet_var3 = sypet_var2.newDocumentBuilder();
+     [java]  org.w3c.dom.Document sypet_var4 = sypet_var3.parse(sypet_arg0);
+     [java]  return sypet_var4;
+     [java]  
+     [java] ============================
+
+BUILD SUCCESSFUL
+Total time: 7 seconds