--- /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/math/3/benchmark3.json
+ [java] Benchmark Id: 3
+ [java] Method name: findRoots
+ [java] Packages: [org.apache.commons.math3]
+ [java] Libraries: [./lib/commons-math3-3.5.jar, ./lib/commons-lang-2.6.jar]
+ [java] Source type(s): [org.apache.commons.math3.analysis.polynomials.PolynomialFunction, double]
+ [java] Target type: org.apache.commons.math3.complex.Complex[]
+ [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] #Classes: 1215
+ [java] #Methods: 9578
+ [java] Soot Time: 2269.988194
+ [java] PetriNet for path length: 1 [places: 1198 ; transitions: 8340 ; edges: 20643]
+ [java] PetriNet for path length: 2 [places: 1198 ; transitions: 8340 ; edges: 20643]
+ [java] PetriNet for path length: 3 [places: 1198 ; transitions: 8340 ; edges: 20643]
+ [java] PetriNet for path length: 4 [places: 1198 ; transitions: 8340 ; edges: 20643]
+ [java] PetriNet for path length: 5 [places: 1198 ; transitions: 8340 ; edges: 20643]
+ [java] Path Solving Time: 108.803445
+ [java] Path Solving Time: 35.776911
+ [java] PetriNet for path length: 6 [places: 1198 ; transitions: 8340 ; edges: 20643]
+ [java] Path Solving Time: 47.480767
+ [java] Path Solving Time: 8.6238
+ [java] Done with finding holes : Flag = true
+ [java] 1588127186126 Original Encoding Solving Time: 0.837919
+ [java] 1588127186126 Original Encoding Incremental Solving Time: 0.143298
+ [java] Done with finding holes : Flag = false
+ [java] 1588127186383 Original Encoding Solving Time: 0.054535
+ [java] 1588127186383 Original Encoding Incremental Solving Time: 0.021869
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 29.843659
+ [java] Path Solving Time: 10.137379
+ [java] 1588127186465 Original Encoding Solving Time: 1.011295
+ [java] 1588127186465 Original Encoding Incremental Solving Time: 0.118994
+ [java] 1588127186498 Original Encoding Solving Time: 0.062019
+ [java] 1588127186498 Original Encoding Incremental Solving Time: 0.03865
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 28.264376
+ [java] Path Solving Time: 8.17922
+ [java] 1588127186590 Original Encoding Solving Time: 0.550822
+ [java] 1588127186590 Original Encoding Incremental Solving Time: 0.255013
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588127186634 Original Encoding Solving Time: 0.045531
+ [java] 1588127186634 Original Encoding Incremental Solving Time: 0.025526
+ [java] Path Solving Time: 21.911019
+ [java] Path Solving Time: 8.300638
+ [java] 1588127186700 Original Encoding Solving Time: 0.450102
+ [java] 1588127186700 Original Encoding Incremental Solving Time: 0.1672
+ [java] Done with finding holes : Flag = false
+ [java] 1588127186734 Original Encoding Solving Time: 0.085573
+ [java] 1588127186734 Original Encoding Incremental Solving Time: 0.024233
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 75.259213
+ [java] Path Solving Time: 6.794177
+ [java] 1588127186861 Original Encoding Solving Time: 0.595829
+ [java] 1588127186861 Original Encoding Incremental Solving Time: 0.2123
+ [java] 1588127186890 Original Encoding Solving Time: 0.031396
+ [java] 1588127186890 Original Encoding Incremental Solving Time: 0.01892
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 87.274355
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 17.029506
+ [java] 1588127187052 Original Encoding Solving Time: 0.638673
+ [java] 1588127187052 Original Encoding Incremental Solving Time: 0.139374
+ [java] Path Solving Time: 104.560197
+ [java] Path Solving Time: 6.784613
+ [java] Path Solving Time: 6.848193
+ [java] Path Solving Time: 98.109877
+ [java] Path Solving Time: 11.147434
+ [java] Done with finding holes : Flag = true
+ [java] 1588127187343 Original Encoding Solving Time: 0.330223
+ [java] 1588127187343 Original Encoding Incremental Solving Time: 0.118823
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 3
+ [java] Sketch Generation Time: 751.070601
+ [java] Sketch Completion Time: 307.45833400000004
+ [java] Compilation Time: 388.66203900000005
+ [java] Running Test cases Time: 61.035959000000005
+ [java] Synthesis Time: 1119.564894
+ [java] Total Time: 1508.2269330000001
+ [java] Number of components: 3
+ [java] Number of holes: 5
+ [java] Number of completed programs: 13
+ [java] Number of sketches: 7
+ [java] Solution:
+ [java] org.apache.commons.math3.analysis.solvers.LaguerreSolver sypet_var33 = new org.apache.commons.math3.analysis.solvers.LaguerreSolver();
+ [java] double[] sypet_var34 = sypet_arg0.getCoefficients();
+ [java] org.apache.commons.math3.complex.Complex[] sypet_var35 = sypet_var33.solveAllComplex(sypet_var34,sypet_arg1);
+ [java] return sypet_var35;
+ [java]
+ [java] ============================
+
+BUILD SUCCESSFUL
+Total time: 31 seconds