Add raw data from the figures in the paper

Author: Hespe

figures/conservatism_large.csv

@@ -0,0 +1,72 @@
+p,large_mean,large_decom
+0,Inf,Inf
+1e-06,60847.1338006673,833753.05824713
+1e-05,19241.560706164,263655.739184321
+0.0001,6084.73930759168,83374.8503705164
+0.001,1924.23802734472,26364.1312373595
+0.002,1360.70032735309,18641.2257686357
+0.003,1111.0550123957,15219.6560816905
+0.004,962.24332499831,13179.8805772706
+0.005,860.693696366709,11787.7923249431
+0.006,785.736141921821,10760.1385353251
+0.007,727.481703916435,9961.40231862318
+0.008,680.526201754876,9317.52404944289
+0.009,641.63396963789,8784.16083683404
+0.01,608.73373597461,8332.92656019034
+0.02,430.626311172048,5889.01834803294
+0.03,351.758057936193,4805.71368729431
+0.04,304.764763193055,4159.57925386187
+0.05,272.709812181539,3718.39513996107
+0.06,249.058931583233,3392.55049098794
+0.07,230.686232269456,3139.16823568671
+0.08,215.883590381466,2934.81375000345
+0.09,203.628372519547,2765.45421104058
+0.1,193.266002175136,2622.10558194908
+0.11,184.355478215971,2498.71394381082
+0.12,176.587400103175,2391.03110994025
+0.13,169.737434423865,2295.97629071427
+0.14,163.63843030502,2211.25353701601
+0.15,158.162949540609,2135.11203966361
+0.16,153.211906057804,2066.19023668349
+0.17,148.706940440254,2003.4111627097
+0.18,144.585159956639,1945.91025422701
+0.19,140.795423096671,1892.98434808357
+0.2,137.295659761243,1844.05489222636
+0.21,134.050902374731,1798.64091325312
+0.22,131.031815274005,1756.33882300125
+0.23,128.213579894471,1716.80710903862
+0.24,125.575038304151,1679.75457170871
+0.25,123.098027189442,1644.93117590495
+0.26,120.766854185789,1612.1208572833
+0.27,118.567881943449,1581.13580783721
+0.28,116.489194678284,1551.81189422299
+0.29,114.520328548373,1524.00495266144
+0.3,112.652051903929,1497.587768861
+0.325,108.369949119698,1436.91524988231
+0.35,104.562338466829,1382.80289585178
+0.375,101.148768221555,1334.14082549659
+0.4,98.0666975908801,1290.06575421138
+0.425,95.2666786960363,1249.89471821917
+0.45,92.7090333938344,1213.07934880015
+0.475,90.3615060695796,1179.17356652114
+0.5,88.1975708241669,1147.81027562738
+0.525,86.1951878460329,1118.68423761497
+0.55,84.3358745962849,1091.53927644237
+0.575,82.604001777793,1066.15857729256
+0.6,80.9862525157672,1042.35723197246
+0.625,79.4712018521394,1019.97644079036
+0.65,78.0489861609842,998.878952704647
+0.675,76.7110406204783,978.94544282745
+0.7,75.4498887908808,960.071607714543
+0.725,74.2589725122978,942.165816161961
+0.75,73.132513309687,925.14719414725
+0.775,72.06539864374,908.944052154723
+0.8,71.0530879212558,893.492584802245
+0.825,70.0915343445967,878.735788736412
+0.85,69.1771195520419,864.622556768541
+0.875,68.3065986596572,851.106915295749
+0.9,67.4770538174862,838.147378963607
+0.925,66.6858547788632,825.706401840769
+0.95,65.9306252808479,813.749908494758
+0.975,65.2092142673841,802.246891571366
+1,64.5196711705475,791.169065008118

figures/conservatism_small.csv

@@ -0,0 +1,72 @@
+p,small_mean,small_enum,small_decom
+0,Inf,Inf,Inf
+1e-06,4140.39364907474,4292.62697430858,6779.790762783
+1e-05,1309.3082072006,1357.44829456446,2143.95759742635
+0.0001,414.042054854375,429.264265558346,677.977375293928
+0.001,130.939328562939,135.749784480252,214.390381550864
+0.002,92.5941658945379,95.9931332684315,151.593051536874
+0.003,75.6077848012655,78.3809561883016,123.772072282874
+0.004,65.4825635607356,67.8824035615266,107.187043235942
+0.005,58.5732337828998,60.7181079567995,95.8685772354073
+0.006,53.4733166157051,55.4298409721059,87.5134202057761
+0.007,49.509925994313,51.3199554781336,81.0196310634148
+0.008,46.3153405645949,48.0071949923696,75.7850055966805
+0.009,43.6693941228572,45.2632888454912,71.4489787539803
+0.01,41.4311506335818,42.9421120615306,67.7807360680382
+0.02,29.3155574922064,30.3758861352249,47.9160840030119
+0.03,23.9518721472564,24.8109945370534,39.113418826135
+0.04,20.75667639575,21.4949253592884,33.8646472433595
+0.05,18.577672933428,19.2327933346145,30.2818044818697
+0.06,16.9703182224219,17.5635971420085,27.6363945984746
+0.07,15.7219599275487,16.2667987699182,25.5798682091783
+0.08,14.7164008155277,15.2218851603246,23.9217362041789
+0.09,13.8840781903984,14.3567057877903,22.5479393930114
+0.1,13.1804677658319,13.6250773861786,21.3854597814559
+0.11,12.5755740166955,12.9958850423119,20.3850970275977
+0.12,12.0483534354575,12.4472987128803,19.5123281534324
+0.13,11.5835489426013,11.963490175977,18.7421186076556
+0.14,11.1697929962147,11.5326656931045,18.0558126236074
+0.15,10.7984192083539,11.1458334526875,17.4391848602129
+0.16,10.4626895673975,10.7960020415499,16.8811733019331
+0.17,10.1572757434177,10.4776424360987,16.3730286849492
+0.18,9.87790130734726,10.1863168897113,15.9077277363155
+0.19,9.62108901325774,9.91841678196643,15.4795586749865
+0.2,9.38397852818897,9.67097354996924,15.0838222284775
+0.21,9.16419251951946,9.44151976934069,14.7166119498517
+0.22,8.95973663484099,9.22798539346198,14.3746501187618
+0.23,8.76892368244495,9.02861907951817,14.0551633350137
+0.24,8.59031538376864,8.8419278407957,13.755786935069
+0.25,8.42267707944851,8.66662988811801,13.4744906578365
+0.26,8.26494211679217,8.5016178656455,13.2095201933117
+0.27,8.11618356456758,8.34592937431735,12.9593507530259
+0.28,7.97559153767844,8.19872350714911,12.7226498452986
+0.29,7.84245486260622,8.05926180330905,12.4982471734806
+0.3,7.71614613464002,7.92689274712761,12.2851101004125
+0.325,7.42674735547325,7.62336644853845,11.7957936565899
+0.35,7.16954478997171,7.35328660388705,11.3596337533491
+0.375,6.93907166794349,7.11097458392509,10.9676241366747
+0.4,6.73107857375724,6.89201557855586,10.6127607409546
+0.425,6.54220589411597,6.69291860200975,10.2895034104778
+0.45,6.36975790563676,6.51088208554619,9.99340455665621
+0.475,6.21154321894738,6.34362809706582,9.720846823084
+0.5,6.06575971276907,6.18928303777874,9.46885385183296
+0.525,5.93091000482716,6.04628972146221,9.23495123479068
+0.55,5.8057383234162,5.91334197484678,9.01706264249793
+0.575,5.68918265862972,5.78933487751663,8.81343107409339
+0.6,5.58033800718398,5.67332659982958,8.6225583497325
+0.625,5.47842779450486,5.56450872595065,8.44315805248012
+0.65,5.38278140795465,5.4621829178726,8.274118523409
+0.675,5.29281635488291,5.36574238178263,8.11447346629303
+0.7,5.2080239612419,5.27465701066984,7.96337837898532
+0.725,5.12795780959833,5.18846137128497,7.82009149384348
+0.75,5.0522243175168,5.10674491444914,7.68395824184679
+0.775,4.98047500351482,5.02914393682694,7.55439849544613
+0.8,4.91240009483786,4.95533493710883,7.43089602120511
+0.825,4.84772321054864,4.88502908882267,7.31298970360932
+0.85,4.78619691269789,4.81796761525875,7.20026619891003
+0.875,4.72759896310938,4.75391789364636,7.09235375150583
+0.9,4.67172915742706,4.69267016512343,6.98891696149035
+0.925,4.61840663429129,4.63403472512548,6.88965233513612
+0.95,4.56746757782436,4.57783956662446,6.79428448350991
+0.975,4.51876324745939,4.52392827054353,6.702562860508
+1,4.47215828160999,4.47215828026249,6.61425895211164

figures/scaling_large.csv

@@ -0,0 +1,72 @@
+h,N,norm_mean,norm_decom,time_mean,time_decom
+142,10153,267.0887707765,9101.77731021452,168.57177211,154.83212894
+140,9870,263.101915622629,8848.37142802536,161.96472026,144.12932034
+138,9591,259.118306033585,8598.54303941407,154.88883801,136.4159851
+136,9316,255.137991132774,8352.2921435683,144.8325078,131.98403193
+134,9045,251.161021516365,8109.61874106136,55.81694182,50.17841632
+132,8778,247.187449317771,7870.52283184965,59.38904143,52.51084168
+130,8515,243.217328273537,7635.00441539837,64.12387658,56.37677953
+128,8256,239.250713808041,7403.06349204441,72.94276054,66.24902294
+126,8001,235.287663102618,7174.7000615996,51.9824083,46.52453442
+124,7750,231.328235186723,6949.91412398144,49.21454187,44.14836562
+122,7503,227.372491025457,6728.70567916638,50.95789695,46.39866533
+120,7260,223.420493614597,6511.07472699623,58.40608982,51.7995165
+118,7021,219.472308084878,6297.02126746327,45.15107298,40.63456596
+116,6786,215.528001808611,6086.54530046127,39.59680655,34.52465283
+114,6555,211.587644517748,5879.64682588168,42.69767203,37.10196797
+112,6328,207.651308428099,5676.32584362145,45.60646561,40.24943854
+110,6105,203.719068373512,5476.58235359523,39.76177878,32.90123207
+108,5886,199.791001947977,5280.41635566944,32.93423782,27.06272354
+106,5671,195.867189660718,5087.8278497392,36.47278244,31.16743356
+104,5460,191.947715100695,4898.81683564329,34.3419739,30.36404419
+102,5253,188.032665115277,4713.38331322623,31.55446607,28.05978616
+100,5050,184.122130002241,4531.52728236255,27.28825742,23.14928327
+98,4851,180.216203716613,4353.24874287968,30.47284933,25.17908086
+96,4656,176.314984094974,4178.54769457654,26.81551483,23.91327172
+94,4465,172.418573098152,4007.42413726165,25.41952269,22.20631112
+92,4278,168.527077074148,3839.87807071093,25.16544971,19.71042974
+90,4095,164.640607044178,3675.90949469273,22.07278436,19.05997366
+88,3916,160.759279013165,3515.51840893342,21.01293974,17.8059689
+86,3741,156.883214309589,3358.70481317788,19.33075638,16.55359515
+84,3570,153.012539954202,3205.46870709137,17.93715321,15.67950251
+82,3403,149.147389066203,3055.81009033587,16.49305741,15.18507472
+80,3240,145.287901306588,2909.72896253581,15.83939792,13.90145959
+78,3081,141.434223365921,2767.22532327462,14.87867271,12.50102086
+76,2926,137.586509501282,2628.29917209,14.42860422,12.96646699
+74,2775,133.744922128794,2492.95050847439,13.02402657,11.61026377
+72,2628,129.909632478991,2361.17933185839,12.07962299,9.92977599
+70,2485,126.080821323619,2232.98564160716,11.51357441,9.92445084
+68,2346,122.258679783805,2108.36943701199,11.27285925,9.11980616
+66,2211,118.443410231013,1987.33071727278,10.91314858,8.70972861
+64,2080,114.635227294644,1869.86948149318,9.60470249,7.81515256
+62,1953,110.834358992104,1755.98572865492,8.59377427,7.26607519
+60,1830,107.041048000576,1645.67945760632,7.76201534,6.32688107
+58,1711,103.255553092901,1538.950667031,5.99747835,5.02880462
+56,1596,99.4781507648454,1435.79935542013,5.57017258,4.52425201
+54,1485,95.7091370862891,1336.22552104112,5.30478452,4.37625675
+52,1378,91.9488298154525,1240.22916188825,4.87383368,4.03881559
+50,1275,88.1975708241669,1147.81027562738,3.76512941,3.12207801
+48,1176,84.4557288925784,1058.96885953045,3.55446964,2.93961218
+46,1081,80.7237029449808,973.704910383313,3.37825183,2.75616072
+44,990,77.0019258159231,892.018424376073,3.10382211,2.59867379
+42,903,73.2908686573108,813.90939695706,2.79161548,2.31568908
+40,820,69.5910461256245,739.377822643441,2.38395475,1.97581259
+38,741,65.9030225250977,668.423694770876,2.09504307,1.73852505
+36,666,62.2274191306173,601.047005157113,1.8869923,1.56615484
+34,595,58.5649229772433,537.247743644712,2.04436019,1.74561712
+32,528,54.9162974866194,477.025897467154,2.11333601,1.75435004
+30,465,51.2823954107203,420.381450355298,2.11269876,1.7087736
+28,406,47.6641747187115,367.314381250084,2.12470972,1.80448946
+26,351,44.0627182416749,317.824662403035,1.60864282,1.40185193
+24,300,40.4792581276932,271.912256497424,1.43653076,1.20595605
+22,253,36.9152064348957,229.577112146095,1.26996723,1.08788672
+20,210,33.3721934373102,190.819156590387,1.11846655,0.98732971
+18,171,29.8521152084475,155.638283341221,0.99938598,0.84990332
+16,136,26.3571910549659,124.034330155443,0.7483128,0.64048018
+14,105,22.8900271151412,96.0070372449516,0.6233019,0.51607952
+12,78,19.4536674057627,71.5559614841718,0.55553112,0.50256832
+10,55,16.0515608674841,50.6802814074566,0.50547187,0.47138447
+8,36,12.6871721331017,33.378288491576,0.680057,0.594172
+6,21,9.36206044127999,19.6457670011708,0.60118681,0.51515296
+4,10,6.06575971276907,9.46885385183296,0.31243654,0.26231009
+2,3,2.68462423800413,2.76026225479357,0.23212815,0.20569569

figures/scaling_small.csv

@@ -0,0 +1,20 @@
+n,norm_mean,norm_enum,norm_decom,time_mean,time_enum,time_decom,enum_prep,enum_solv,enum_yalm
+20,18.3717300854371,18.516202370636,45.2598020409798,0.6614268,2833.20202885,0.28626291,2832.9158971,0.04596167,0.183338330000001
+19,17.4572891038721,17.6009448300546,41.8744415224214,0.48914749,1261.49001906,0.35126838,1261.18210348,0.04605416,0.185045840000001
+18,16.5426746949676,16.6854281514171,38.5791604001213,0.30482087,349.94848611,0.24484805,349.7585411,0.02637796,0.113022040000001
+17,15.6278564094441,15.7696075916147,35.3765211705439,0.28101498,163.92354473,0.23732311,163.74491176,0.02311833,0.107081670000001
+16,14.7127962171785,14.8534275217487,32.2693205351701,0.26936771,78.74075588,0.22545677,78.5719399,0.01866961,0.105730389999999
+15,13.7974459877751,13.936817817847,29.2606276834176,0.26345936,37.25894091,0.21466264,37.10136028,0.01666837,0.0989316299999994
+14,12.8817438930549,13.0196887524043,26.3538319995356,0.23241198,17.79473718,0.19674381,17.65438043,0.01174774,0.0904522600000009
+13,11.9656091508236,12.1019239195699,23.5527034122779,0.42861713,10.88172912,0.34042484,10.63004032,0.01228295,0.16911705
+12,11.0489341412475,11.1833687882881,20.8614700624018,0.49827904,5.70767625,0.40111243,5.44534143,0.01268446,0.17781554
+11,10.1315722199622,10.2638144441535,18.2849202679054,0.53054862,2.81586968,0.41764488,2.51831615,0.010422,0.196678
+10,9.21331820368351,9.34297080568587,15.8285395469728,0.53006345,1.61658266,0.46335638,1.31129149,0.00743231,0.20686769
+9,8.29387579360077,8.42042283980903,13.4986999221291,0.48510666,0.96519771,0.4351341,0.66090102,0.00656579,0.20563421
+8,7.37280039878754,7.49555460773851,11.3029303456806,0.36342138,0.54317149,0.32934591,0.32637753,0.00479824,0.14840176
+7,6.44939240892859,6.56740985396174,9.25031927743226,0.43143034,0.49258686,0.3823441,0.21143353,0.00440101,0.19369899
+6,5.52248185626567,5.63441619592673,7.35214626109917,0.43920321,0.40333414,0.37459407,0.15074517,0.00339343,0.17310657
+5,4.58994726647694,4.69378342467202,5.6229445539159,0.43330878,0.36098459,0.37846914,0.10933724,0.00312426,0.16837574
+4,3.64747772169926,3.74000473359442,4.08248292872528,0.43685642,0.3638826,0.37321299,0.0981202,0.00245039,0.185749609999999
+3,2.68462423800413,2.76026225479353,2.76026225479357,0.39715319,0.34860385,0.36287741,0.08784862,0.00210527,0.180294729999998
+2,2.29415735235585,2.35702261786159,2.35702261786159,0.41455248,0.3415101,0.3758948,0.08125408,0.00147081,0.174729189999999