--- /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: 2252.323352
+ [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: 94.550769
+ [java] Path Solving Time: 36.46833
+ [java] PetriNet for path length: 6 [places: 1198 ; transitions: 8340 ; edges: 20643]
+ [java] Path Solving Time: 45.190953
+ [java] Path Solving Time: 10.161252
+ [java] Done with finding holes : Flag = true
+ [java] 1588144495329 Original Encoding Solving Time: 0.752114
+ [java] 1588144495329 Original Encoding Incremental Solving Time: 0.146538
+ [java] Done with finding holes : Flag = false
+ [java] 1588144495583 Original Encoding Solving Time: 0.052915
+ [java] 1588144495583 Original Encoding Incremental Solving Time: 0.035582
+ [java] Path Solving Time: 29.104575
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 10.416718
+ [java] 1588144495666 Original Encoding Solving Time: 0.851221
+ [java] 1588144495666 Original Encoding Incremental Solving Time: 0.111332
+ [java] 1588144495697 Original Encoding Solving Time: 0.056254
+ [java] 1588144495697 Original Encoding Incremental Solving Time: 0.041984
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 28.445975
+ [java] Path Solving Time: 7.623215
+ [java] 1588144495782 Original Encoding Solving Time: 0.610084
+ [java] 1588144495782 Original Encoding Incremental Solving Time: 0.181882
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588144495830 Original Encoding Solving Time: 0.049627
+ [java] 1588144495830 Original Encoding Incremental Solving Time: 0.024053
+ [java] Path Solving Time: 19.730686
+ [java] Path Solving Time: 7.53726
+ [java] 1588144495903 Original Encoding Solving Time: 0.523332
+ [java] 1588144495903 Original Encoding Incremental Solving Time: 7.755306
+ [java] Done with finding holes : Flag = false
+ [java] 1588144495952 Original Encoding Solving Time: 0.099678
+ [java] 1588144495952 Original Encoding Incremental Solving Time: 0.020604
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 72.247181
+ [java] Path Solving Time: 6.623086
+ [java] 1588144496074 Original Encoding Solving Time: 0.54628
+ [java] 1588144496074 Original Encoding Incremental Solving Time: 0.248614
+ [java] 1588144496112 Original Encoding Solving Time: 0.028864
+ [java] 1588144496112 Original Encoding Incremental Solving Time: 0.016607
+ [java] Path Solving Time: 90.164392
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 22.17491
+ [java] 1588144496273 Original Encoding Solving Time: 0.528656
+ [java] 1588144496273 Original Encoding Incremental Solving Time: 0.114166
+ [java] Path Solving Time: 98.935238
+ [java] Path Solving Time: 7.445733
+ [java] Path Solving Time: 7.258003
+ [java] Path Solving Time: 100.186334
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 11.131321
+ [java] 1588144496571 Original Encoding Solving Time: 0.508281
+ [java] 1588144496571 Original Encoding Incremental Solving Time: 0.135792
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 3
+ [java] Sketch Generation Time: 735.599399
+ [java] Sketch Completion Time: 317.466632
+ [java] Compilation Time: 399.00785999999994
+ [java] Running Test cases Time: 68.833722
+ [java] Synthesis Time: 1121.8997530000001
+ [java] Total Time: 1520.907613
+ [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