Adding sypet to repo

[Benchmarks_CSolver.git] / sypet / output / joda / benchmark19.log

diff --git a/sypet/output/joda/benchmark19.log b/sypet/output/joda/benchmark19.log
new file mode 100644 (file)
index 0000000..530b974
--- /dev/null
+++ b/sypet/output/joda/benchmark19.log
@@ -0,0 +1,91 @@
+Buildfile: /scratch/satcheck/satproject/constraint_compiler/src/Benchmarks/sypet/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/joda/19/benchmark19.json
+     [java] Benchmark Id: 19
+     [java] Method name: getDayFromString
+     [java] Packages: [org.joda.time]
+     [java] Libraries: [./lib/joda-time-2.8.2.jar]
+     [java] Source type(s): [java.lang.String, java.lang.String]
+     [java] Target type: int
+     [java] --------------------------------------------------------
+     [java] Warning: javax.crypto.BadPaddingException is a phantom class!
+     [java] Warning: javax.crypto.IllegalBlockSizeException is a phantom class!
+     [java] Warning: javax.crypto.Cipher is a phantom class!
+     [java] Warning: javax.crypto.SealedObject is a phantom class!
+     [java] Warning: javax.crypto.NoSuchPaddingException is a phantom class!
+     [java] Warning: javax.crypto.spec.DHPublicKeySpec is a phantom class!
+     [java] Warning: javax.crypto.spec.DHParameterSpec 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.SecretKey is a phantom class!
+     [java] Warning: org.joda.convert.ToString is a phantom class!
+     [java] Warning: org.joda.convert.FromString is a phantom class!
+     [java] #Classes: 246
+     [java] #Methods: 4425
+     [java] Soot Time: 1306.21766
+     [java] PetriNet for path length: 1 [places: 266 ; transitions: 3468 ; edges: 9275]
+     [java] PetriNet for path length: 2 [places: 266 ; transitions: 3468 ; edges: 9275]
+     [java] PetriNet for path length: 3 [places: 266 ; transitions: 3468 ; edges: 9275]
+     [java] PetriNet for path length: 4 [places: 266 ; transitions: 3468 ; edges: 9275]
+     [java] PetriNet for path length: 5 [places: 266 ; transitions: 3468 ; edges: 9275]
+     [java] Path Solving Time: 71.92695
+     [java] Path Solving Time: 77.106636
+     [java] PetriNet for path length: 6 [places: 266 ; transitions: 3468 ; edges: 9275]
+     [java] Path Solving Time: 337.802026
+     [java] Path Solving Time: 345.212898
+     [java] Path Solving Time: 5.580028
+     [java] Path Solving Time: 4.210273
+     [java] Path Solving Time: 34.061823
+     [java] Let's read clauses ...
+     [java] Let's read clauses ...
+     [java] Done with finding holes : Flag = true
+     [java] 1594754843120 Original Encoding Solving Time: 0.810155
+     [java] isSat= true ,SatuneSat= true
+     [java] 1594754843120Satune Solving Time: 50.313269
+     [java] =========Statistics (time in milliseconds)=========
+     [java] Benchmark Id: 19
+     [java] Sketch Generation Time: 884.9103809999999
+     [java] Sketch Completion Time: 96.16064399999999
+     [java] Compilation Time: 259.713764
+     [java] Running Test cases Time: 38.92378
+     [java] Synthesis Time: 1019.9948049999999
+     [java] Total Time: 1279.708569
+     [java] Number of components: 3
+     [java] Number of holes: 5
+     [java] Number of completed programs: 1
+     [java] Number of sketches: 1
+     [java] Solution:
+     [java]  org.joda.time.format.DateTimeFormatter sypet_var3 = org.joda.time.format.DateTimeFormat.forPattern(sypet_arg1);
+     [java]  org.joda.time.MonthDay sypet_var4 = org.joda.time.MonthDay.parse(sypet_arg0,sypet_var3);
+     [java]  int sypet_var5 = sypet_var4.getDayOfMonth();
+     [java]  return sypet_var5;
+     [java]  
+     [java] ============================
+     [java] Polarity time: 0.000018
+     [java] Preprocess time: 0.000015
+     [java] Decompose Order: 0.000008
+     [java] INFO: naive encoder is making the decision about element 0x7f5ffc24ffc0....
+     [java] INFO: naive encoder is making the decision about element 0x7f5ffc2500e0....
+     [java] INFO: naive encoder is making the decision about element 0x7f5ffc250250....
+     [java] INFO: naive encoder is making the decision about element 0x7f5ffc2503c0....
+     [java] INFO: naive encoder is making the decision about element 0x7f5ffc250620....
+     [java] Encoding Graph Time: 0.000106
+     [java] Elapse Encode time: 0.000167
+     [java] Is problem UNSAT after encoding: 0
+     [java] #Clauses = 12      #Vars = 8
+     [java] Data is available now.
+     [java] CNF Encode time: 0.000001
+     [java] SAT Solving time: 0.050108
+     [java] Result Computed in SAT solver:     SAT
+     [java] CSOLVER solve time: 0.050286
+
+BUILD SUCCESSFUL
+Total time: 11 seconds