Adding sypet to repo

[Benchmarks_CSolver.git] / sypet-non-incremental / output1 / benchmark.csv

diff --git a/sypet-non-incremental/output1/benchmark.csv b/sypet-non-incremental/output1/benchmark.csv
new file mode 100644 (file)
index 0000000..ccf46e8
--- /dev/null
+++ b/sypet-non-incremental/output1/benchmark.csv
@@ -0,0 +1,123 @@
+joda-1588113695402,3.144206,inc=0.009999
+joda-1588113059370,2.985586,inc=0.01202
+joda-1588112001390,2.971469,inc=0.013154
+joda-1588113887690,3.840873,inc=0.016836
+joda-1588113025164,2.187221,inc=0.017025
+joda-1588112351126,2.270344,inc=0.11537
+joda-1588113497994,4.354329,inc=0.052305
+joda-1588111934678,2.793142,inc=0.019574
+joda-1588113630908,2.012896,inc=0.011795
+joda-1588112008394,2.262732,inc=0.01996
+joda-1588112069550,3.118581,inc=0.020407
+joda-1588111806890,2.038694,inc=0.039459
+joda-1588113237770,2.367481,inc=0.0153
+joda-1588112939490,2.81994,inc=0.020246
+joda-1588112212110,2.478559,inc=0.013125
+joda-1588112142822,3.132281,inc=0.013767
+joda-1588111806674,2.728241,inc=0.022829
+joda-1588113115758,3.427651,inc=0.014209
+joda-1588111935035,3.588024,inc=0.018836
+joda-1588113616948,2.00964,inc=0.011398
+xml-1588114723872,4.169928,inc=0.158254
+joda-1588111813395,2.268575,inc=0.01665
+geometry-1588111702301,2.2978,inc=0.029974
+joda-1588113712098,2.603268,inc=0.014968
+joda-1588111855422,4.077572,inc=0.022419
+joda-1588113381593,2.843406,inc=0.012237
+math-1588111161650,4.354672,inc=0.146533
+joda-1588111774978,3.226961,inc=0.104066
+joda-1588113635222,2.604473,inc=0.024173
+joda-1588112433542,3.058615,inc=0.099272
+joda-1588113068830,2.956715,inc=0.021356
+joda-1588111824855,2.758222,inc=0.149532
+joda-1588112350550,2.397693,inc=0.295185
+geometry-1588111712049,2.140704,inc=0.028837
+joda-1588111824986,2.474664,inc=0.019663
+joda-1588113986841,2.465659,inc=0.012553
+math-1588111620550,2.652582,inc=0.029908
+joda-1588111835250,4.709288,inc=0.024113
+geometry-1588111735186,2.324949,inc=0.025199
+geometry-1588111735256,3.81694,inc=0.023673
+joda-1588113241198,2.860645,inc=0.010372
+joda-1588111816294,2.850285,inc=0.025889
+joda-1588112182257,2.783991,inc=0.025502
+joda-1588112996334,3.105836,inc=0.015721
+joda-1588112066966,2.648722,inc=0.018792
+joda-1588113576330,3.185152,inc=0.023949
+joda-1588111897982,3.109618,inc=0.016345
+joda-1588112159794,2.724111,inc=0.020295
+geometry-1588111728146,2.013155,inc=0.047894
+joda-1588114387742,3.97106,inc=0.093093
+joda-1588112351618,3.98278,inc=0.065491
+joda-1588113058094,6.200892,inc=0.011264
+joda-1588111833446,2.498246,inc=0.016736
+xml-1588114955653,3.127063,inc=0.057729
+joda-1588111836154,2.008537,inc=0.020253
+geometry-1588111735593,2.326302,inc=0.046837
+joda-1588112545638,3.866339,inc=0.109261
+joda-1588113287926,2.295071,inc=0.01342
+joda-1588112379290,2.964042,inc=0.010182
+joda-1588113416150,3.933508,inc=0.029119
+joda-1588112161894,2.251854,inc=0.036711
+math-1588111080502,2.589273,inc=0.025743
+joda-1588113655670,2.566089,inc=0.026301
+joda-1588112934966,6.662162,inc=0.010252
+joda-1588112719434,2.24707,inc=0.102471
+math-1588111080786,2.389782,inc=0.025849
+joda-1588113217084,2.184675,inc=0.0153
+joda-1588113577234,3.412939,inc=0.010518
+joda-1588113629350,3.494412,inc=0.016976
+joda-1588113315141,2.017706,inc=0.006977
+joda-1588111839478,3.089912,inc=0.023336
+joda-1588113529066,2.360853,inc=0.010121
+joda-1588113520957,3.259842,inc=0.010547
+joda-1588113565226,3.464738,inc=0.014487
+joda-1588113428986,3.139655,inc=0.00859
+joda-1588111816210,2.530149,inc=0.009767
+joda-1588113682206,2.552142,inc=0.017202
+math-1588110287698,3.485384,inc=0.126066
+geometry-1588111711925,5.398229,inc=0.030226
+joda-1588114001240,2.036921,inc=0.007597
+math-1588111077658,3.931574,inc=0.033338
+joda-1588113889745,3.055014,inc=0.010733
+joda-1588113613622,5.029746,inc=0.014052
+joda-1588112997565,3.813916,inc=0.016943
+joda-1588112492666,3.411655,inc=0.118857
+geometry-1588111728882,2.073867,inc=0.028662
+joda-1588111968808,2.149448,inc=0.029464
+joda-1588111954446,3.902191,inc=0.016315
+joda-1588111819094,4.064747,inc=0.034551
+joda-1588113487250,3.837749,inc=0.062554
+joda-1588113205170,2.456879,inc=0.018095
+math-1588110286089,2.14878,inc=0.245642
+joda-1588112418330,2.71738,inc=0.088327
+joda-1588113637002,2.929215,inc=0.009506
+joda-1588112323942,4.06591,inc=0.110164
+geometry-1588111727810,2.012629,inc=0.024591
+geometry-1588111726094,2.926497,inc=0.021095
+geometry-1588111729273,2.357807,inc=0.026357
+joda-1588113116458,2.293015,inc=0.020537
+joda-1588112599137,2.569997,inc=0.005875
+joda-1588113576102,2.514818,inc=0.017793
+math-1588110286570,2.337694,inc=0.410704
+joda-1588113494322,3.745625,inc=0.023606
+joda-1588114145850,4.144932,inc=0.037764
+joda-1588111806178,2.927222,inc=0.050778
+joda-1588113995110,3.382263,inc=0.012052
+joda-1588111844690,2.245398,inc=0.018923
+joda-1588111849170,2.147429,inc=0.015121
+joda-1588112998726,3.544584,inc=0.018674
+joda-1588111863950,2.051498,inc=0.029892
+joda-1588111934694,3.187612,inc=0.013139
+joda-1588114043809,2.209087,inc=0.011494
+joda-1588112181550,2.018686,inc=0.02095
+joda-1588114387630,2.367833,inc=0.095882
+joda-1588113668098,2.056297,inc=0.013021
+joda-1588112338706,2.908585,inc=0.102116
+joda-1588112895510,2.345881,inc=0.084276
+joda-1588113767711,2.106139,inc=0.013566
+joda-1588114090493,3.533784,inc=0.22842
+geometry-1588111701022,2.377166,inc=0.024404
+joda-1588111772513,2.031891,inc=0.009501
+joda-1588113193742,3.447703,inc=0.019804
+joda-1588111845110,2.804451,inc=0.039449