--- /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: 2242.149367
+ [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: 112.910692
+ [java] Path Solving Time: 53.729134
+ [java] PetriNet for path length: 6 [places: 1198 ; transitions: 8340 ; edges: 20643]
+ [java] Path Solving Time: 48.008297
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 11.377116
+ [java] 1588122590761 Original Encoding Solving Time: 0.637794
+ [java] 1588122590761 Original Encoding Incremental Solving Time: 0.136272
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588122591014 Original Encoding Solving Time: 0.05008
+ [java] 1588122591014 Original Encoding Incremental Solving Time: 0.036421
+ [java] Path Solving Time: 33.602304
+ [java] Path Solving Time: 9.864574
+ [java] 1588122591101 Original Encoding Solving Time: 0.81712
+ [java] 1588122591101 Original Encoding Incremental Solving Time: 0.177058
+ [java] Done with finding holes : Flag = false
+ [java] 1588122591134 Original Encoding Solving Time: 0.059981
+ [java] 1588122591134 Original Encoding Incremental Solving Time: 0.029861
+ [java] Path Solving Time: 29.648502
+ [java] Path Solving Time: 8.370398
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588122591214 Original Encoding Solving Time: 0.526957
+ [java] 1588122591214 Original Encoding Incremental Solving Time: 0.343676
+ [java] 1588122591250 Original Encoding Solving Time: 0.047221
+ [java] 1588122591250 Original Encoding Incremental Solving Time: 0.022627
+ [java] Path Solving Time: 23.098166
+ [java] Path Solving Time: 7.921748
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588122591323 Original Encoding Solving Time: 0.476027
+ [java] 1588122591323 Original Encoding Incremental Solving Time: 0.11963
+ [java] 1588122591355 Original Encoding Solving Time: 0.038636
+ [java] 1588122591355 Original Encoding Incremental Solving Time: 0.007398
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 86.359389
+ [java] Path Solving Time: 8.139943
+ [java] 1588122591491 Original Encoding Solving Time: 0.383212
+ [java] 1588122591491 Original Encoding Incremental Solving Time: 0.131038
+ [java] Done with finding holes : Flag = false
+ [java] 1588122591519 Original Encoding Solving Time: 0.030494
+ [java] 1588122591519 Original Encoding Incremental Solving Time: 0.012199
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 106.10459
+ [java] Path Solving Time: 19.906765
+ [java] 1588122591695 Original Encoding Solving Time: 0.379986
+ [java] 1588122591695 Original Encoding Incremental Solving Time: 0.124826
+ [java] Path Solving Time: 118.095045
+ [java] Path Solving Time: 8.018265
+ [java] Path Solving Time: 7.642237
+ [java] Path Solving Time: 110.337543
+ [java] Path Solving Time: 12.993968
+ [java] Done with finding holes : Flag = true
+ [java] 1588122592016 Original Encoding Solving Time: 0.441404
+ [java] 1588122592016 Original Encoding Incremental Solving Time: 0.208451
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 3
+ [java] Sketch Generation Time: 846.7607579999999
+ [java] Sketch Completion Time: 291.79593300000005
+ [java] Compilation Time: 376.27159100000006
+ [java] Running Test cases Time: 59.227939
+ [java] Synthesis Time: 1197.78463
+ [java] Total Time: 1574.0562210000003
+ [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