--- /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: 2220.667034
+ [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: 98.415454
+ [java] Path Solving Time: 36.783422
+ [java] PetriNet for path length: 6 [places: 1198 ; transitions: 8340 ; edges: 20643]
+ [java] Path Solving Time: 47.859704
+ [java] Path Solving Time: 10.996508
+ [java] Done with finding holes : Flag = true
+ [java] 1588118535107 Original Encoding Solving Time: 0.63293
+ [java] 1588118535107 Original Encoding Incremental Solving Time: 0.14089
+ [java] Done with finding holes : Flag = false
+ [java] 1588118535352 Original Encoding Solving Time: 0.048714
+ [java] 1588118535352 Original Encoding Incremental Solving Time: 0.036723
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 34.979573
+ [java] Path Solving Time: 8.677697
+ [java] 1588118535434 Original Encoding Solving Time: 0.670084
+ [java] 1588118535434 Original Encoding Incremental Solving Time: 0.12072
+ [java] 1588118535468 Original Encoding Solving Time: 0.053604
+ [java] 1588118535468 Original Encoding Incremental Solving Time: 0.027704
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 28.742794
+ [java] Path Solving Time: 8.314623
+ [java] 1588118535540 Original Encoding Solving Time: 0.464525
+ [java] 1588118535540 Original Encoding Incremental Solving Time: 0.267389
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588118535593 Original Encoding Solving Time: 0.077176
+ [java] 1588118535593 Original Encoding Incremental Solving Time: 0.028504
+ [java] Path Solving Time: 23.307121
+ [java] Path Solving Time: 7.860158
+ [java] 1588118535657 Original Encoding Solving Time: 0.491104
+ [java] 1588118535657 Original Encoding Incremental Solving Time: 0.09469
+ [java] Done with finding holes : Flag = false
+ [java] 1588118535688 Original Encoding Solving Time: 0.033296
+ [java] 1588118535688 Original Encoding Incremental Solving Time: 0.00754
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 98.738192
+ [java] Path Solving Time: 7.395878
+ [java] 1588118535837 Original Encoding Solving Time: 0.621403
+ [java] 1588118535837 Original Encoding Incremental Solving Time: 0.172425
+ [java] 1588118535876 Original Encoding Solving Time: 0.042521
+ [java] 1588118535876 Original Encoding Incremental Solving Time: 0.023803
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 100.522916
+ [java] Path Solving Time: 21.362939
+ [java] 1588118536036 Original Encoding Solving Time: 0.648538
+ [java] 1588118536036 Original Encoding Incremental Solving Time: 0.195361
+ [java] Path Solving Time: 110.262696
+ [java] Path Solving Time: 8.010976
+ [java] Path Solving Time: 8.178246
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 108.834145
+ [java] Path Solving Time: 12.8676
+ [java] 1588118536355 Original Encoding Solving Time: 0.417795
+ [java] 1588118536355 Original Encoding Incremental Solving Time: 0.179328
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 3
+ [java] Sketch Generation Time: 812.786037
+ [java] Sketch Completion Time: 257.54197600000003
+ [java] Compilation Time: 394.056178
+ [java] Running Test cases Time: 67.89119199999999
+ [java] Synthesis Time: 1138.219205
+ [java] Total Time: 1532.2753830000001
+ [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
projects / Benchmarks_CSolver.git / blobdiff