--- /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/8/benchmark8.json
+ [java] Benchmark Id: 8
+ [java] Method name: predict
+ [java] Packages: [org.apache.commons.math.stat]
+ [java] Libraries: [./lib/commons-math-2.2.jar]
+ [java] Source type(s): [double[][], double]
+ [java] Target type: double
+ [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: 72
+ [java] #Methods: 925
+ [java] Soot Time: 1164.453085
+ [java] PetriNet for path length: 1 [places: 112 ; transitions: 929 ; edges: 2253]
+ [java] PetriNet for path length: 2 [places: 112 ; transitions: 929 ; edges: 2253]
+ [java] PetriNet for path length: 3 [places: 112 ; transitions: 929 ; edges: 2253]
+ [java] PetriNet for path length: 4 [places: 112 ; transitions: 929 ; edges: 2253]
+ [java] PetriNet for path length: 5 [places: 112 ; transitions: 929 ; edges: 2253]
+ [java] Path Solving Time: 15.110221
+ [java] Path Solving Time: 20.554402
+ [java] PetriNet for path length: 6 [places: 112 ; transitions: 929 ; edges: 2253]
+ [java] Path Solving Time: 14.217393
+ [java] Path Solving Time: 83.83764
+ [java] Path Solving Time: 51.603035
+ [java] PetriNet for path length: 7 [places: 112 ; transitions: 929 ; edges: 2253]
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 7.934618
+ [java] Path Solving Time: 1.263398
+ [java] 1588127628826 Original Encoding Solving Time: 0.516132
+ [java] 1588127628826 Original Encoding Incremental Solving Time: 0.104819
+ [java] 1588127629273 Original Encoding Solving Time: 0.041576
+ [java] 1588127629273 Original Encoding Incremental Solving Time: 0.014598
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 5.586447
+ [java] Path Solving Time: 0.964857
+ [java] 1588127629292 Original Encoding Solving Time: 0.338902
+ [java] 1588127629292 Original Encoding Incremental Solving Time: 0.109595
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588127629531 Original Encoding Solving Time: 0.035232
+ [java] 1588127629531 Original Encoding Incremental Solving Time: 0.01411
+ [java] Path Solving Time: 13.230069
+ [java] Path Solving Time: 1.128857
+ [java] 1588127629558 Original Encoding Solving Time: 0.357693
+ [java] 1588127629558 Original Encoding Incremental Solving Time: 0.130785
+ [java] /Source.java:3: error: IntDoublePair has private access in NaturalRanking
+ [java] org.apache.commons.math.stat.correlation.Covariance sypet_var15 = new org.apache.commons.math.stat.correlation.Covariance(sypet_arg0);int sypet_var16 = sypet_var15.getN();org.apache.commons.math.stat.ranking.NaturalRanking.IntDoublePair sypet_var17 = new org.apache.commons.math.stat.ranking.NaturalRanking.IntDoublePair(sypet_arg1,sypet_var16);double sypet_var18 = sypet_var17.getValue();return sypet_var18;}
+ [java] ^
+ [java] /Source.java:3: error: IntDoublePair has private access in NaturalRanking
+ [java] org.apache.commons.math.stat.correlation.Covariance sypet_var15 = new org.apache.commons.math.stat.correlation.Covariance(sypet_arg0);int sypet_var16 = sypet_var15.getN();org.apache.commons.math.stat.ranking.NaturalRanking.IntDoublePair sypet_var17 = new org.apache.commons.math.stat.ranking.NaturalRanking.IntDoublePair(sypet_arg1,sypet_var16);double sypet_var18 = sypet_var17.getValue();return sypet_var18;}
+ [java] ^
+ [java] 2 errors
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588127629583 Original Encoding Solving Time: 0.03415
+ [java] 1588127629583 Original Encoding Incremental Solving Time: 0.025125
+ [java] Path Solving Time: 5.557971
+ [java] Path Solving Time: 0.937963
+ [java] 1588127629603 Original Encoding Solving Time: 0.410079
+ [java] 1588127629603 Original Encoding Incremental Solving Time: 0.137386
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588127629836 Original Encoding Solving Time: 0.035157
+ [java] 1588127629836 Original Encoding Incremental Solving Time: 0.015098
+ [java] Path Solving Time: 5.173868
+ [java] Path Solving Time: 0.78723
+ [java] 1588127629855 Original Encoding Solving Time: 0.395308
+ [java] 1588127629855 Original Encoding Incremental Solving Time: 0.130422
+ [java] Done with finding holes : Flag = false
+ [java] 1588127630091 Original Encoding Solving Time: 0.041862
+ [java] 1588127630091 Original Encoding Incremental Solving Time: 0.01388
+ [java] Path Solving Time: 13.377978
+ [java] Path Solving Time: 1.177606
+ [java] Path Solving Time: 0.901169
+ [java] Path Solving Time: 39.882424
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 105.496911
+ [java] 1588127630265 Original Encoding Solving Time: 0.409685
+ [java] 1588127630265 Original Encoding Incremental Solving Time: 0.096209
+ [java] Done with finding holes : Flag = false
+ [java] 1588127630288 Original Encoding Solving Time: 0.040621
+ [java] 1588127630288 Original Encoding Incremental Solving Time: 0.023716
+ [java] Path Solving Time: 33.736543
+ [java] Path Solving Time: 42.07844
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 39.111433
+ [java] 1588127630417 Original Encoding Solving Time: 0.443174
+ [java] 1588127630417 Original Encoding Incremental Solving Time: 0.154143
+ [java] 1588127630443 Original Encoding Solving Time: 0.030852
+ [java] 1588127630443 Original Encoding Incremental Solving Time: 0.012048
+ [java] Path Solving Time: 31.259731
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 29.206625
+ [java] Path Solving Time: 18.798896
+ [java] 1588127630535 Original Encoding Solving Time: 0.42432
+ [java] 1588127630535 Original Encoding Incremental Solving Time: 0.095016
+ [java] 1588127630571 Original Encoding Solving Time: 0.020884
+ [java] 1588127630571 Original Encoding Incremental Solving Time: 0.007581
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 30.612399
+ [java] Path Solving Time: 14.208446
+ [java] Path Solving Time: 2.52182
+ [java] 1588127630632 Original Encoding Solving Time: 0.679172
+ [java] 1588127630632 Original Encoding Incremental Solving Time: 0.124621
+ [java] 1588127630662 Original Encoding Solving Time: 0.032973
+ [java] 1588127630662 Original Encoding Incremental Solving Time: 0.00978
+ [java] Path Solving Time: 5.153003
+ [java] Path Solving Time: 2.451053
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588127630684 Original Encoding Solving Time: 0.623775
+ [java] 1588127630684 Original Encoding Incremental Solving Time: 0.266317
+ [java] 1588127630714 Original Encoding Solving Time: 0.022184
+ [java] 1588127630714 Original Encoding Incremental Solving Time: 0.008137
+ [java] Path Solving Time: 12.158164
+ [java] Path Solving Time: 4.642642
+ [java] Path Solving Time: 2.149076
+ [java] 1588127630747 Original Encoding Solving Time: 0.491172
+ [java] 1588127630747 Original Encoding Incremental Solving Time: 0.214681
+ [java] 1588127630776 Original Encoding Solving Time: 0.038289
+ [java] 1588127630776 Original Encoding Incremental Solving Time: 0.00825
+ [java] Path Solving Time: 4.879284
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 2.266319
+ [java] 1588127630796 Original Encoding Solving Time: 0.428583
+ [java] 1588127630796 Original Encoding Incremental Solving Time: 2.560933
+ [java] 1588127630831 Original Encoding Solving Time: 0.086999
+ [java] 1588127630831 Original Encoding Incremental Solving Time: 0.020935
+ [java] Path Solving Time: 6.250297
+ [java] Path Solving Time: 2.541221
+ [java] 1588127630854 Original Encoding Solving Time: 0.563525
+ [java] 1588127630854 Original Encoding Incremental Solving Time: 0.370583
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588127630893 Original Encoding Solving Time: 0.032412
+ [java] 1588127630893 Original Encoding Incremental Solving Time: 0.010188
+ [java] Path Solving Time: 6.384945
+ [java] Path Solving Time: 2.081294
+ [java] 1588127630915 Original Encoding Solving Time: 1.006544
+ [java] 1588127630915 Original Encoding Incremental Solving Time: 0.162742
+ [java] 1588127630948 Original Encoding Solving Time: 0.030291
+ [java] 1588127630948 Original Encoding Incremental Solving Time: 0.011628
+ [java] Path Solving Time: 5.798114
+ [java] Path Solving Time: 2.085243
+ [java] 1588127630969 Original Encoding Solving Time: 1.039179
+ [java] 1588127630969 Original Encoding Incremental Solving Time: 0.134068
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588127630994 Original Encoding Solving Time: 0.030012
+ [java] 1588127630994 Original Encoding Incremental Solving Time: 0.009633
+ [java] Path Solving Time: 3.988271
+ [java] Path Solving Time: 1.901327
+ [java] 1588127631012 Original Encoding Solving Time: 0.539975
+ [java] 1588127631012 Original Encoding Incremental Solving Time: 0.193518
+ [java] 1588127631043 Original Encoding Solving Time: 0.027507
+ [java] 1588127631043 Original Encoding Incremental Solving Time: 0.011424
+ [java] Path Solving Time: 3.862132
+ [java] Path Solving Time: 2.065464
+ [java] 1588127631061 Original Encoding Solving Time: 0.440479
+ [java] 1588127631061 Original Encoding Incremental Solving Time: 0.580551
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588127631086 Original Encoding Solving Time: 0.035756
+ [java] 1588127631086 Original Encoding Incremental Solving Time: 0.017845
+ [java] Path Solving Time: 22.582023
+ [java] Path Solving Time: 4.434778
+ [java] 1588127631126 Original Encoding Solving Time: 0.407077
+ [java] 1588127631126 Original Encoding Incremental Solving Time: 0.122234
+ [java] 1588127631151 Original Encoding Solving Time: 0.022027
+ [java] 1588127631151 Original Encoding Incremental Solving Time: 0.012584
+ [java] Path Solving Time: 5.139834
+ [java] Path Solving Time: 1.469718
+ [java] 1588127631171 Original Encoding Solving Time: 0.998381
+ [java] 1588127631171 Original Encoding Incremental Solving Time: 1.847742
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588127631199 Original Encoding Solving Time: 0.03342
+ [java] 1588127631199 Original Encoding Incremental Solving Time: 0.012287
+ [java] Path Solving Time: 4.372238
+ [java] Path Solving Time: 0.710765
+ [java] 1588127631217 Original Encoding Solving Time: 1.08538
+ [java] 1588127631217 Original Encoding Incremental Solving Time: 0.220193
+ [java] 1588127631240 Original Encoding Solving Time: 0.023099
+ [java] 1588127631240 Original Encoding Incremental Solving Time: 0.007665
+ [java] Path Solving Time: 7.3376
+ [java] Path Solving Time: 0.722586
+ [java] 1588127631261 Original Encoding Solving Time: 0.422337
+ [java] 1588127631261 Original Encoding Incremental Solving Time: 0.160832
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 8
+ [java] Sketch Generation Time: 777.2751770000001
+ [java] Sketch Completion Time: 314.80161799999996
+ [java] Compilation Time: 565.662471
+ [java] Running Test cases Time: 1216.361709
+ [java] Synthesis Time: 2308.438504
+ [java] Total Time: 2874.1009750000003
+ [java] Number of components: 4
+ [java] Number of holes: 5
+ [java] Number of completed programs: 41
+ [java] Number of sketches: 21
+ [java] Solution:
+ [java] org.apache.commons.math.stat.regression.SimpleRegression sypet_var120 = new org.apache.commons.math.stat.regression.SimpleRegression();
+ [java] sypet_var120.addData(sypet_arg0);
+ [java] double sypet_var122 = sypet_var120.predict(sypet_arg1);
+ [java] return sypet_var122;
+ [java]
+ [java] ============================
+
+BUILD SUCCESSFUL
+Total time: 6 seconds
projects / Benchmarks_CSolver.git / blobdiff