--- /dev/null
+Buildfile: /scratch/satcheck/satproject/constraint_compiler_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/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: 1313.505445
+ [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: 78.383874
+ [java] Path Solving Time: 69.196133
+ [java] PetriNet for path length: 6 [places: 266 ; transitions: 3468 ; edges: 9275]
+ [java] Path Solving Time: 318.856342
+ [java] Path Solving Time: 339.803803
+ [java] Path Solving Time: 5.68465
+ [java] Path Solving Time: 4.12588
+ [java] Done with finding holes : Flag = true
+ [java] Let's read clauses ...
+ [java] Path Solving Time: 34.229896
+ [java] 1588112872678 Original Encoding Solving Time: 0.906738
+ [java] 1588112872678 Original Encoding Incremental Solving Time: 0.214891
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 19
+ [java] Sketch Generation Time: 859.0169249999999
+ [java] Sketch Completion Time: 43.380824
+ [java] Compilation Time: 277.386462
+ [java] Running Test cases Time: 40.226613
+ [java] Synthesis Time: 942.6243619999999
+ [java] Total Time: 1220.010824
+ [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] ============================
+
+BUILD SUCCESSFUL
+Total time: 11 seconds