--- /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: 1197.448672
+ [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: 14.1472
+ [java] Path Solving Time: 19.189533
+ [java] PetriNet for path length: 6 [places: 112 ; transitions: 929 ; edges: 2253]
+ [java] Path Solving Time: 12.388043
+ [java] Path Solving Time: 85.917273
+ [java] Path Solving Time: 52.035448
+ [java] PetriNet for path length: 7 [places: 112 ; transitions: 929 ; edges: 2253]
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 8.475255
+ [java] Path Solving Time: 1.248314
+ [java] 1588133569058 Original Encoding Solving Time: 0.971604
+ [java] 1588133569058 Original Encoding Incremental Solving Time: 0.125145
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588133569523 Original Encoding Solving Time: 0.04341
+ [java] 1588133569523 Original Encoding Incremental Solving Time: 0.014898
+ [java] Path Solving Time: 5.340024
+ [java] Path Solving Time: 0.885961
+ [java] 1588133569542 Original Encoding Solving Time: 0.459587
+ [java] 1588133569542 Original Encoding Incremental Solving Time: 0.092857
+ [java] Done with finding holes : Flag = false
+ [java] 1588133569780 Original Encoding Solving Time: 0.038937
+ [java] 1588133569780 Original Encoding Incremental Solving Time: 0.01371
+ [java] Path Solving Time: 10.000335
+ [java] Path Solving Time: 1.95131
+ [java] 1588133569805 Original Encoding Solving Time: 0.422767
+ [java] 1588133569805 Original Encoding Incremental Solving Time: 0.109795
+ [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] 1588133569828 Original Encoding Solving Time: 0.053846
+ [java] 1588133569828 Original Encoding Incremental Solving Time: 0.012831
+ [java] Path Solving Time: 5.660321
+ [java] Path Solving Time: 0.861265
+ [java] 1588133569848 Original Encoding Solving Time: 0.466383
+ [java] 1588133569848 Original Encoding Incremental Solving Time: 0.167296
+ [java] Done with finding holes : Flag = false
+ [java] 1588133570082 Original Encoding Solving Time: 0.037251
+ [java] 1588133570082 Original Encoding Incremental Solving Time: 0.020262
+ [java] Path Solving Time: 5.472922
+ [java] Path Solving Time: 0.939072
+ [java] 1588133570102 Original Encoding Solving Time: 0.598658
+ [java] 1588133570102 Original Encoding Incremental Solving Time: 0.169682
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] 1588133570343 Original Encoding Solving Time: 0.051175
+ [java] 1588133570343 Original Encoding Incremental Solving Time: 0.016638
+ [java] Path Solving Time: 14.513873
+ [java] Path Solving Time: 1.371626
+ [java] Path Solving Time: 1.286151
+ [java] Path Solving Time: 42.735693
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Path Solving Time: 109.401318
+ [java] 1588133570527 Original Encoding Solving Time: 0.532275
+ [java] 1588133570527 Original Encoding Incremental Solving Time: 0.131647
+ [java] 1588133570557 Original Encoding Solving Time: 0.042685
+ [java] 1588133570557 Original Encoding Incremental Solving Time: 0.02008
+ [java] Path Solving Time: 35.843577
+ [java] Done with finding holes : Flag = true
+ [java] Path Solving Time: 42.970738
+ [java] Path Solving Time: 45.214762
+ [java] 1588133570695 Original Encoding Solving Time: 1.237533
+ [java] 1588133570695 Original Encoding Incremental Solving Time: 0.134637
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588133570719 Original Encoding Solving Time: 0.026197
+ [java] 1588133570719 Original Encoding Incremental Solving Time: 0.012955
+ [java] Path Solving Time: 20.241908
+ [java] Path Solving Time: 25.308932
+ [java] Path Solving Time: 20.679078
+ [java] 1588133570800 Original Encoding Solving Time: 0.523232
+ [java] 1588133570800 Original Encoding Incremental Solving Time: 0.13699
+ [java] Done with finding holes : Flag = false
+ [java] 1588133570835 Original Encoding Solving Time: 0.023104
+ [java] 1588133570835 Original Encoding Incremental Solving Time: 0.010218
+ [java] Path Solving Time: 33.041698
+ [java] Path Solving Time: 15.324258
+ [java] Path Solving Time: 2.568911
+ [java] 1588133570901 Original Encoding Solving Time: 0.767423
+ [java] 1588133570901 Original Encoding Incremental Solving Time: 0.814236
+ [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] 1588133570937 Original Encoding Solving Time: 0.046345
+ [java] 1588133570937 Original Encoding Incremental Solving Time: 0.016275
+ [java] Path Solving Time: 6.530552
+ [java] Path Solving Time: 2.994192
+ [java] 1588133570961 Original Encoding Solving Time: 1.427788
+ [java] 1588133570961 Original Encoding Incremental Solving Time: 0.195067
+ [java] 1588133570988 Original Encoding Solving Time: 0.024631
+ [java] 1588133570988 Original Encoding Incremental Solving Time: 0.008205
+ [java] Path Solving Time: 12.097054
+ [java] Path Solving Time: 5.011047
+ [java] Path Solving Time: 2.42469
+ [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] 1588133571021 Original Encoding Solving Time: 0.5518
+ [java] 1588133571021 Original Encoding Incremental Solving Time: 0.115418
+ [java] 1588133571046 Original Encoding Solving Time: 0.044257
+ [java] 1588133571046 Original Encoding Incremental Solving Time: 0.015249
+ [java] Path Solving Time: 4.866742
+ [java] Path Solving Time: 2.045383
+ [java] 1588133571066 Original Encoding Solving Time: 0.336541
+ [java] 1588133571066 Original Encoding Incremental Solving Time: 0.31544
+ [java] 1588133571093 Original Encoding Solving Time: 0.022002
+ [java] 1588133571093 Original Encoding Incremental Solving Time: 0.007067
+ [java] Path Solving Time: 4.433613
+ [java] Path Solving Time: 1.733168
+ [java] 1588133571112 Original Encoding Solving Time: 0.34437
+ [java] 1588133571112 Original Encoding Incremental Solving Time: 0.145349
+ [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] 1588133571148 Original Encoding Solving Time: 0.023179
+ [java] 1588133571148 Original Encoding Incremental Solving Time: 0.010449
+ [java] Path Solving Time: 5.499264
+ [java] Path Solving Time: 2.383098
+ [java] 1588133571170 Original Encoding Solving Time: 0.523079
+ [java] 1588133571170 Original Encoding Incremental Solving Time: 0.27052
+ [java] 1588133571202 Original Encoding Solving Time: 0.02397
+ [java] 1588133571202 Original Encoding Incremental Solving Time: 0.007723
+ [java] Path Solving Time: 5.281991
+ [java] Path Solving Time: 2.217452
+ [java] Done with finding holes : Flag = true
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588133571224 Original Encoding Solving Time: 1.299216
+ [java] 1588133571224 Original Encoding Incremental Solving Time: 0.183013
+ [java] 1588133571251 Original Encoding Solving Time: 0.032611
+ [java] 1588133571251 Original Encoding Incremental Solving Time: 0.012845
+ [java] Path Solving Time: 4.650935
+ [java] Path Solving Time: 2.344861
+ [java] 1588133571271 Original Encoding Solving Time: 0.418875
+ [java] 1588133571271 Original Encoding Incremental Solving Time: 0.183962
+ [java] 1588133571305 Original Encoding Solving Time: 0.041577
+ [java] 1588133571305 Original Encoding Incremental Solving Time: 0.020927
+ [java] Path Solving Time: 4.30425
+ [java] Path Solving Time: 2.321082
+ [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] 1588133571325 Original Encoding Solving Time: 0.61701
+ [java] 1588133571325 Original Encoding Incremental Solving Time: 0.294896
+ [java] 1588133571349 Original Encoding Solving Time: 0.026168
+ [java] 1588133571349 Original Encoding Incremental Solving Time: 0.011238
+ [java] Path Solving Time: 24.761949
+ [java] Path Solving Time: 4.690031
+ [java] 1588133571392 Original Encoding Solving Time: 0.538311
+ [java] 1588133571392 Original Encoding Incremental Solving Time: 0.142202
+ [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] 1588133571423 Original Encoding Solving Time: 0.024708
+ [java] 1588133571423 Original Encoding Incremental Solving Time: 0.0114
+ [java] Path Solving Time: 5.75928
+ [java] Path Solving Time: 1.578099
+ [java] 1588133571444 Original Encoding Solving Time: 0.549669
+ [java] 1588133571444 Original Encoding Incremental Solving Time: 0.218945
+ [java] 1588133571474 Original Encoding Solving Time: 0.038525
+ [java] 1588133571474 Original Encoding Incremental Solving Time: 0.020639
+ [java] Path Solving Time: 5.333912
+ [java] Path Solving Time: 0.876787
+ [java] 1588133571494 Original Encoding Solving Time: 0.585511
+ [java] 1588133571494 Original Encoding Incremental Solving Time: 0.215368
+ [java] Done with finding holes : Flag = false
+ [java] Done with finding holes : Flag = true
+ [java] 1588133571519 Original Encoding Solving Time: 0.02418
+ [java] 1588133571519 Original Encoding Incremental Solving Time: 0.029654
+ [java] Path Solving Time: 9.359656
+ [java] Path Solving Time: 0.766723
+ [java] 1588133571543 Original Encoding Solving Time: 0.625282
+ [java] 1588133571543 Original Encoding Incremental Solving Time: 0.249511
+ [java] =========Statistics (time in milliseconds)=========
+ [java] Benchmark Id: 8
+ [java] Sketch Generation Time: 789.269191
+ [java] Sketch Completion Time: 323.93840100000006
+ [java] Compilation Time: 589.132992
+ [java] Running Test cases Time: 1228.430405
+ [java] Synthesis Time: 2341.637997
+ [java] Total Time: 2930.7709889999996
+ [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