--- /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: 1231.583557
+ [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: 17.982229
+ [java] Path Solving Time: 23.37321
+ [java] PetriNet for path length: 6 [places: 112 ; transitions: 929 ; edges: 2253]
+ [java] Path Solving Time: 12.575984
+ [java] Path Solving Time: 96.849901
+ [java] Path Solving Time: 54.360775
+ [java] PetriNet for path length: 7 [places: 112 ; transitions: 929 ; edges: 2253]
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 7.89974
+ [java] Path Solving Time: 1.355933
+ [java] 1588138382157 Original Encoding Solving Time: 0.59239
+ [java] 1588138382157 Original Encoding Incremental Solving Time: 0.136328
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588138382611 Original Encoding Solving Time: 0.054688
+ [java] 1588138382611 Original Encoding Incremental Solving Time: 0.02031
+ [java] Path Solving Time: 6.128657
+ [java] Path Solving Time: 1.639914
+ [java] 1588138382632 Original Encoding Solving Time: 0.375076
+ [java] 1588138382632 Original Encoding Incremental Solving Time: 0.13589
+ [java] 1588138382872 Original Encoding Solving Time: 0.036297
+ [java] 1588138382872 Original Encoding Incremental Solving Time: 0.016604
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [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] Path Solving Time: 11.088991
+ [java] Path Solving Time: 1.289872
+ [java] 1588138382898 Original Encoding Solving Time: 0.381697
+ [java] 1588138382898 Original Encoding Incremental Solving Time: 0.188809
+ [java] 1588138382927 Original Encoding Solving Time: 0.035317
+ [java] 1588138382927 Original Encoding Incremental Solving Time: 0.015153
+ [java] Path Solving Time: 6.608631
+ [java] Path Solving Time: 1.098911
+ [java] 1588138382949 Original Encoding Solving Time: 0.35727
+ [java] 1588138382949 Original Encoding Incremental Solving Time: 1.157324
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588138383189 Original Encoding Solving Time: 0.034944
+ [java] 1588138383189 Original Encoding Incremental Solving Time: 0.022091
+ [java] Path Solving Time: 5.358936
+ [java] Path Solving Time: 1.049442
+ [java] 1588138383209 Original Encoding Solving Time: 0.281328
+ [java] 1588138383209 Original Encoding Incremental Solving Time: 0.146977
+ [java] Done with finding holes : Flag = false
+ [java] 1588138383450 Original Encoding Solving Time: 0.038807
+ [java] 1588138383450 Original Encoding Incremental Solving Time: 0.015765
+ [java] Path Solving Time: 14.066843
+ [java] Path Solving Time: 1.365659
+ [java] Path Solving Time: 1.271365
+ [java] Path Solving Time: 40.749649
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 106.109766
+ [java] 1588138383628 Original Encoding Solving Time: 0.532885
+ [java] 1588138383628 Original Encoding Incremental Solving Time: 0.156626
+ [java] 1588138383651 Original Encoding Solving Time: 0.042987
+ [java] 1588138383651 Original Encoding Incremental Solving Time: 0.025737
+ [java] Path Solving Time: 35.331445
+ [java] Path Solving Time: 41.507657
+ [java] Path Solving Time: 39.156636
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588138383783 Original Encoding Solving Time: 1.426481
+ [java] 1588138383783 Original Encoding Incremental Solving Time: 0.202629
+ [java] 1588138383816 Original Encoding Solving Time: 0.030502
+ [java] 1588138383816 Original Encoding Incremental Solving Time: 0.014068
+ [java] Path Solving Time: 20.302639
+ [java] Path Solving Time: 24.500983
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 19.34586
+ [java] 1588138383893 Original Encoding Solving Time: 0.429913
+ [java] 1588138383893 Original Encoding Incremental Solving Time: 0.0924
+ [java] 1588138383925 Original Encoding Solving Time: 0.021166
+ [java] 1588138383925 Original Encoding Incremental Solving Time: 0.008557
+ [java] Path Solving Time: 30.401122
+ [java] Path Solving Time: 14.245092
+ [java] Path Solving Time: 2.770056
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588138383987 Original Encoding Solving Time: 0.45549
+ [java] 1588138383987 Original Encoding Incremental Solving Time: 3.858964
+ [java] 1588138384021 Original Encoding Solving Time: 0.034929
+ [java] 1588138384021 Original Encoding Incremental Solving Time: 0.017327
+ [java] Path Solving Time: 6.143542
+ [java] Path Solving Time: 2.671101
+ [java] 1588138384044 Original Encoding Solving Time: 0.639076
+ [java] 1588138384044 Original Encoding Incremental Solving Time: 0.217056
+ [java] 1588138384079 Original Encoding Solving Time: 0.021859
+ [java] 1588138384079 Original Encoding Incremental Solving Time: 0.012911
+ [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: 13.671282
+ [java] Path Solving Time: 4.893417
+ [java] Path Solving Time: 2.568471
+ [java] 1588138384114 Original Encoding Solving Time: 0.450886
+ [java] 1588138384114 Original Encoding Incremental Solving Time: 0.138833
+ [java] 1588138384148 Original Encoding Solving Time: 0.060172
+ [java] 1588138384148 Original Encoding Incremental Solving Time: 0.020466
+ [java] Path Solving Time: 5.153718
+ [java] Path Solving Time: 2.105753
+ [java] 1588138384169 Original Encoding Solving Time: 0.588877
+ [java] 1588138384169 Original Encoding Incremental Solving Time: 0.519488
+ [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] 1588138384201 Original Encoding Solving Time: 0.032455
+ [java] 1588138384201 Original Encoding Incremental Solving Time: 0.01118
+ [java] Path Solving Time: 5.292453
+ [java] Path Solving Time: 2.2345
+ [java] 1588138384222 Original Encoding Solving Time: 0.460145
+ [java] 1588138384222 Original Encoding Incremental Solving Time: 0.12292
+ [java] 1588138384257 Original Encoding Solving Time: 0.022406
+ [java] 1588138384257 Original Encoding Incremental Solving Time: 0.010079
+ [java] Path Solving Time: 5.139996
+ [java] Path Solving Time: 2.171758
+ [java] 1588138384279 Original Encoding Solving Time: 0.542847
+ [java] 1588138384279 Original Encoding Incremental Solving Time: 0.24353
+ [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] 1588138384312 Original Encoding Solving Time: 0.033902
+ [java] 1588138384312 Original Encoding Incremental Solving Time: 0.014861
+ [java] Path Solving Time: 5.843249
+ [java] Path Solving Time: 2.361702
+ [java] 1588138384334 Original Encoding Solving Time: 0.52597
+ [java] 1588138384334 Original Encoding Incremental Solving Time: 0.203527
+ [java] 1588138384361 Original Encoding Solving Time: 0.04288
+ [java] 1588138384361 Original Encoding Incremental Solving Time: 0.020675
+ [java] Path Solving Time: 4.594446
+ [java] Path Solving Time: 2.241419
+ [java] 1588138384381 Original Encoding Solving Time: 0.426386
+ [java] 1588138384381 Original Encoding Incremental Solving Time: 0.240881
+ [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] 1588138384416 Original Encoding Solving Time: 0.03938
+ [java] 1588138384416 Original Encoding Incremental Solving Time: 0.019728
+ [java] Path Solving Time: 4.044868
+ [java] Path Solving Time: 2.05891
+ [java] 1588138384437 Original Encoding Solving Time: 0.601704
+ [java] 1588138384437 Original Encoding Incremental Solving Time: 0.328164
+ [java] 1588138384460 Original Encoding Solving Time: 0.026384
+ [java] 1588138384460 Original Encoding Incremental Solving Time: 0.011232
+ [java] Path Solving Time: 22.513755
+ [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] Path Solving Time: 4.368138
+ [java] 1588138384500 Original Encoding Solving Time: 0.377416
+ [java] 1588138384500 Original Encoding Incremental Solving Time: 0.10538
+ [java] 1588138384523 Original Encoding Solving Time: 0.022355
+ [java] 1588138384523 Original Encoding Incremental Solving Time: 0.028244
+ [java] Path Solving Time: 4.721049
+ [java] Path Solving Time: 1.17908
+ [java] 1588138384543 Original Encoding Solving Time: 1.437771
+ [java] 1588138384543 Original Encoding Incremental Solving Time: 0.15334
+ [java] 1588138384568 Original Encoding Solving Time: 0.035265
+ [java] 1588138384568 Original Encoding Incremental Solving Time: 0.014704
+ [java] Path Solving Time: 5.269855
+ [java] Path Solving Time: 0.905288
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588138384588 Original Encoding Solving Time: 0.539007
+ [java] 1588138384588 Original Encoding Incremental Solving Time: 0.25977
+ [java] 1588138384617 Original Encoding Solving Time: 0.022763
+ [java] 1588138384617 Original Encoding Incremental Solving Time: 0.010295
+ [java] Path Solving Time: 9.266349
+ [java] Path Solving Time: 0.761299
+ [java] 1588138384641 Original Encoding Solving Time: 0.452097
+ [java] 1588138384641 Original Encoding Incremental Solving Time: 0.447705
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 8
+ [java] Sketch Generation Time: 791.928292
+ [java] Sketch Completion Time: 331.571748
+ [java] Compilation Time: 592.2203900000001
+ [java] Running Test cases Time: 1229.169891
+ [java] Synthesis Time: 2352.6699310000004
+ [java] Total Time: 2944.8903210000003
+ [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