-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathpartial_eval_DEC.txt
113 lines (113 loc) · 22.5 KB
/
partial_eval_DEC.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
{'dataset': 'ASP-DEC', 'reasoner': 'jena', 'count': 350, 'cpu': 127.32691029900381, 'rss': 940707840, 'vms': 1135599616, 'uss': 928493568, 'wall_time': 36.7975495, 'exclusive_time': 34.926}
{'dataset': 'ASP-DEC', 'reasoner': 'clingo', 'count': 350, 'cpu': 100.3, 'rss': 23683072, 'vms': 21053440, 'uss': 19918848, 'wall_time': 1.6934465000000003}
{'dataset': 'ASP-DEC', 'reasoner': 'jena', 'count': 400, 'cpu': 132.63278688524636, 'rss': 1059049472, 'vms': 1315172352, 'uss': 1043582976, 'wall_time': 45.728645300000004, 'exclusive_time': 44.259}
{'dataset': 'ASP-DEC', 'reasoner': 'clingo', 'count': 400, 'cpu': 100.0, 'rss': 46411776, 'vms': 45633536, 'uss': 38998016, 'exclusive_time': 0.719, 'wall_time': 1.676470100000003}
{'dataset': 'ASP-DEC', 'reasoner': 'jena', 'count': 450, 'cpu': 128.19299242424344, 'rss': 1114001408, 'vms': 1340116992, 'uss': 1110515712, 'wall_time': 67.5907336, 'exclusive_time': 66.277}
{'dataset': 'ASP-DEC', 'reasoner': 'clingo', 'count': 450, 'cpu': 99.85000000000001, 'rss': 58056704, 'vms': 57020416, 'uss': 51937280, 'exclusive_time': 0.859, 'wall_time': 1.840039499999989}
{'dataset': 'ASP-DEC', 'reasoner': 'jena', 'count': 500, 'cpu': 130.9428235294123, 'rss': 1294680064, 'vms': 1586348032, 'uss': 1280929792, 'wall_time': 113.83668960000003, 'exclusive_time': 112.387}
{'dataset': 'ASP-DEC', 'reasoner': 'clingo', 'count': 500, 'cpu': 100.00000000000001, 'rss': 43716608, 'vms': 42700800, 'uss': 40103936, 'wall_time': 1.7725498000000357}
{'dataset': 'ASP-DEC', 'reasoner': 'jena', 'count': 550, 'cpu': 134.85035460992862, 'rss': 1548402688, 'vms': 1842106368, 'uss': 1536069632, 'wall_time': 152.75249079999998, 'exclusive_time': 150.761}
{'dataset': 'ASP-DEC', 'reasoner': 'clingo', 'count': 550, 'cpu': 99.87142857142858, 'rss': 49922048, 'vms': 48689152, 'uss': 46235648, 'wall_time': 1.9106492999999887}
{'dataset': 'ASP-DEC', 'reasoner': 'jena', 'count': 600, 'cpu': 132.66019736841886, 'rss': 1938059264, 'vms': 2240380928, 'uss': 1925345280, 'wall_time': 212.91314169999998, 'exclusive_time': 211.262}
{'dataset': 'ASP-DEC', 'reasoner': 'clingo', 'count': 600, 'cpu': 100.0230769230769, 'rss': 102293504, 'vms': 105373696, 'uss': 98488320, 'exclusive_time': 1.562, 'wall_time': 2.8605517999999392}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 35, 'cpu': 164.4238095238095, 'rss': 103415808, 'vms': 270376960, 'uss': 90419200, 'wall_time': 2.4407156000000003, 'exclusive_time': 0.555, 'triples_before': 60, 'triples_after': 179, 'iterations': 9}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 500, 'cpu': 50.95281207133079, 'rss': 700985344, 'vms': 856522752, 'uss': 696692736, 'wall_time': 89.773229237, 'exclusive_time': None and 999999, 'triples_before': 910, 'triples_after': 17692, 'iterations': 63}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 50, 'cpu': 187.6181818181818, 'rss': 113475584, 'vms': 294678528, 'uss': 109166592, 'wall_time': 2.478139013, 'exclusive_time': 0.724, 'triples_before': 88, 'triples_after': 321, 'iterations': 19}
{'dataset': 'ASP-DEC', 'reasoner': 'jena', 'count': 5, 'cpu': 142.87142857142857, 'rss': 72224768, 'vms': 238444544, 'uss': 67952640, 'wall_time': 1.65293311, 'exclusive_time': 0.037}
{'dataset': 'ASP-DEC', 'reasoner': 'clingo', 'count': 5, 'cpu': 0.0, 'rss': 61440, 'vms': 335872, 'uss': 61440, 'wall_time': 4.276792820000001}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 5, 'cpu': 141.0125, 'rss': 86949888, 'vms': 272818176, 'uss': 82665472, 'wall_time': 1.8623459119999994, 'exclusive_time': 0.232, 'triples_before': 7, 'triples_after': 12, 'iterations': 3}
{'dataset': 'ASP-DEC', 'reasoner': 'jena', 'count': 10, 'cpu': 148.92142857142858, 'rss': 71143424, 'vms': 238583808, 'uss': 66863104, 'wall_time': 1.6336205400000008, 'exclusive_time': 0.054}
{'dataset': 'ASP-DEC', 'reasoner': 'clingo', 'count': 10, 'exclusive_time': 0.0, 'wall_time': 0.9116820729999997}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 10, 'cpu': 144.54117647058823, 'rss': 87535616, 'vms': 242352128, 'uss': 83222528, 'wall_time': 1.9709647060000002, 'exclusive_time': 0.244, 'triples_before': 16, 'triples_after': 26, 'iterations': 3}
{'dataset': 'ASP-DEC', 'reasoner': 'jena', 'count': 15, 'cpu': 155.15714285714284, 'rss': 71081984, 'vms': 238366720, 'uss': 66805760, 'wall_time': 1.634417821000003, 'exclusive_time': 0.072}
{'dataset': 'ASP-DEC', 'reasoner': 'clingo', 'count': 15, 'wall_time': 0.8508962330000003}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 15, 'cpu': 146.8388888888889, 'rss': 88903680, 'vms': 243703808, 'uss': 84590592, 'wall_time': 2.080469692000001, 'exclusive_time': 0.33, 'triples_before': 24, 'triples_after': 54, 'iterations': 7}
{'dataset': 'ASP-DEC', 'reasoner': 'jena', 'count': 20, 'cpu': 140.94, 'rss': 73252864, 'vms': 239034368, 'uss': 68939776, 'wall_time': 1.7442330249999998, 'exclusive_time': 0.102}
{'dataset': 'ASP-DEC', 'reasoner': 'clingo', 'count': 20, 'wall_time': 0.8569300680000005}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 20, 'cpu': 160.2277777777778, 'rss': 90787840, 'vms': 245448704, 'uss': 86482944, 'wall_time': 2.0803524449999955, 'exclusive_time': 0.401, 'triples_before': 34, 'triples_after': 81, 'iterations': 9}
{'dataset': 'ASP-DEC', 'reasoner': 'jena', 'count': 25, 'cpu': 153.38000000000002, 'rss': 84545536, 'vms': 239824896, 'uss': 80240640, 'wall_time': 1.7580510969999992, 'exclusive_time': 0.128}
{'dataset': 'ASP-DEC', 'reasoner': 'clingo', 'count': 25, 'exclusive_time': 0.0, 'wall_time': 0.8688897719999957}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 25, 'cpu': 160.34444444444446, 'rss': 88977408, 'vms': 243621888, 'uss': 84656128, 'wall_time': 2.009983110999997, 'exclusive_time': 0.363, 'triples_before': 43, 'triples_after': 103, 'iterations': 7}
{'dataset': 'ASP-DEC', 'reasoner': 'jena', 'count': 30, 'cpu': 164.2, 'rss': 83304448, 'vms': 238534656, 'uss': 79011840, 'wall_time': 1.7555659450000007, 'exclusive_time': 0.184}
{'dataset': 'ASP-DEC', 'reasoner': 'clingo', 'count': 30, 'wall_time': 0.8686303630000012}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 30, 'cpu': 176.08421052631581, 'rss': 98418688, 'vms': 284200960, 'uss': 94101504, 'wall_time': 2.2341119029999987, 'exclusive_time': 0.556, 'triples_before': 51, 'triples_after': 154, 'iterations': 13}
{'dataset': 'ASP-DEC', 'reasoner': 'jena', 'count': 35, 'cpu': 156.31249999999997, 'rss': 84975616, 'vms': 240308224, 'uss': 80695296, 'wall_time': 1.7631577020000009, 'exclusive_time': 0.201}
{'dataset': 'ASP-DEC', 'reasoner': 'clingo', 'count': 35, 'exclusive_time': 0.016, 'wall_time': 0.8808997939999941}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 35, 'cpu': 168.9, 'rss': 94412800, 'vms': 249274368, 'uss': 90132480, 'wall_time': 2.1269645629999943, 'exclusive_time': 0.458, 'triples_before': 60, 'triples_after': 179, 'iterations': 9}
{'dataset': 'ASP-DEC', 'reasoner': 'jena', 'count': 40, 'cpu': 171.45882352941175, 'rss': 86573056, 'vms': 272977920, 'uss': 82259968, 'wall_time': 1.8765279380000095, 'exclusive_time': 0.258}
{'dataset': 'ASP-DEC', 'reasoner': 'clingo', 'count': 40, 'exclusive_time': 0.016, 'wall_time': 0.9125223439999957}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 40, 'cpu': 176.73684210526315, 'rss': 98828288, 'vms': 253452288, 'uss': 94547968, 'wall_time': 2.205201673000005, 'exclusive_time': 0.52, 'triples_before': 70, 'triples_after': 223, 'iterations': 11}
{'dataset': 'ASP-DEC', 'reasoner': 'jena', 'count': 45, 'cpu': 164.2888888888889, 'rss': 100487168, 'vms': 255954944, 'uss': 96219136, 'wall_time': 2.0707186329999985, 'exclusive_time': 0.275}
{'dataset': 'ASP-DEC', 'reasoner': 'clingo', 'count': 45, 'wall_time': 0.8798396840000038}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 45, 'cpu': 186.9409090909091, 'rss': 113045504, 'vms': 294154240, 'uss': 108740608, 'wall_time': 2.4456771690000068, 'exclusive_time': 0.711, 'triples_before': 78, 'triples_after': 298, 'iterations': 19}
{'dataset': 'ASP-DEC', 'reasoner': 'jena', 'count': 50, 'cpu': 172.95882352941175, 'rss': 90210304, 'vms': 245153792, 'uss': 85905408, 'wall_time': 1.9712705250000084, 'exclusive_time': 0.31}
{'dataset': 'ASP-DEC', 'reasoner': 'clingo', 'count': 50, 'exclusive_time': 0.031, 'wall_time': 0.8657929789999912}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 50, 'cpu': 191.4181818181818, 'rss': 106594304, 'vms': 287064064, 'uss': 102285312, 'wall_time': 2.4737270990000013, 'exclusive_time': 0.736, 'triples_before': 88, 'triples_after': 321, 'iterations': 19}
{'dataset': 'ASP-DEC', 'reasoner': 'jena', 'count': 60, 'cpu': 187.1789473684211, 'rss': 102748160, 'vms': 258060288, 'uss': 98467840, 'wall_time': 2.100715354000002, 'exclusive_time': 0.432}
{'dataset': 'ASP-DEC', 'reasoner': 'clingo', 'count': 60, 'wall_time': 0.8942659769999892}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 60, 'cpu': 202.92499999999995, 'rss': 122798080, 'vms': 303218688, 'uss': 117686272, 'wall_time': 2.7686756479999985, 'exclusive_time': 1.005, 'triples_before': 105, 'triples_after': 467, 'iterations': 28}
{'dataset': 'ASP-DEC', 'reasoner': 'jena', 'count': 70, 'cpu': 185.6826086956522, 'rss': 121065472, 'vms': 301449216, 'uss': 116785152, 'wall_time': 2.5410348139999996, 'exclusive_time': 0.614}
{'dataset': 'ASP-DEC', 'reasoner': 'clingo', 'count': 70, 'wall_time': 1.0571140480000025}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 70, 'cpu': 224.23548387096773, 'rss': 152346624, 'vms': 374415360, 'uss': 142086144, 'wall_time': 3.501810735999996, 'exclusive_time': 1.709, 'triples_before': 123, 'triples_after': 627, 'iterations': 49}
{'dataset': 'ASP-DEC', 'reasoner': 'jena', 'count': 80, 'cpu': 193.83809523809526, 'rss': 113811456, 'vms': 294846464, 'uss': 109547520, 'wall_time': 2.4139109909999945, 'exclusive_time': 0.689}
{'dataset': 'ASP-DEC', 'reasoner': 'clingo', 'count': 80, 'exclusive_time': 0.047, 'wall_time': 0.8951189490000075}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 80, 'cpu': 206.67666666666665, 'rss': 153833472, 'vms': 365649920, 'uss': 149557248, 'wall_time': 3.3525193739999963, 'exclusive_time': 1.524, 'triples_before': 142, 'triples_after': 737, 'iterations': 31}
{'dataset': 'ASP-DEC', 'reasoner': 'jena', 'count': 90, 'cpu': 211.22608695652173, 'rss': 109633536, 'vms': 288739328, 'uss': 103800832, 'wall_time': 2.6241547819999766, 'exclusive_time': 0.874}
{'dataset': 'ASP-DEC', 'reasoner': 'clingo', 'count': 90, 'exclusive_time': 0.063, 'wall_time': 0.9319037969999897}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 90, 'cpu': 215.77407407407406, 'rss': 118448128, 'vms': 297316352, 'uss': 112902144, 'wall_time': 3.1112866560000043, 'exclusive_time': 1.334, 'triples_before': 160, 'triples_after': 911, 'iterations': 26}
{'dataset': 'ASP-DEC', 'reasoner': 'jena', 'count': 100, 'cpu': 225.85555555555553, 'rss': 128409600, 'vms': 300969984, 'uss': 124096512, 'wall_time': 3.0688939730000016, 'exclusive_time': 1.298}
{'dataset': 'ASP-DEC', 'reasoner': 'clingo', 'count': 100, 'wall_time': 0.8965537619999964}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 100, 'cpu': 223.32727272727269, 'rss': 144015360, 'vms': 365002752, 'uss': 139735040, 'wall_time': 3.783314451999985, 'exclusive_time': 1.849, 'triples_before': 178, 'triples_after': 1131, 'iterations': 39}
{'dataset': 'ASP-DEC', 'reasoner': 'jena', 'count': 110, 'cpu': 222.29259259259257, 'rss': 132390912, 'vms': 289820672, 'uss': 128118784, 'wall_time': 3.0174639720000016, 'exclusive_time': 1.277}
{'dataset': 'ASP-DEC', 'reasoner': 'clingo', 'count': 110, 'wall_time': 0.915565885999996}
{'dataset': 'ASP-DEC', 'reasoner': 'jena', 'count': 120, 'cpu': 228.55945945945942, 'rss': 153837568, 'vms': 370302976, 'uss': 149524480, 'wall_time': 4.1065078560000075, 'exclusive_time': 2.086}
{'dataset': 'ASP-DEC', 'reasoner': 'clingo', 'count': 120, 'exclusive_time': 0.141, 'wall_time': 1.3596348140000032}
{'dataset': 'ASP-DEC', 'reasoner': 'jena', 'count': 130, 'cpu': 222.89696969696968, 'rss': 162852864, 'vms': 370573312, 'uss': 158552064, 'wall_time': 3.6650188539999817, 'exclusive_time': 1.794}
{'dataset': 'ASP-DEC', 'reasoner': 'clingo', 'count': 130, 'exclusive_time': 0.141, 'wall_time': 1.0504412160000243}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 130, 'cpu': 227.55217391304342, 'rss': 217423872, 'vms': 498946048, 'uss': 213102592, 'wall_time': 5.2225454659999855, 'exclusive_time': 3.321, 'triples_before': 232, 'triples_after': 1789, 'iterations': 53}
{'dataset': 'ASP-DEC', 'reasoner': 'jena', 'count': 140, 'cpu': 244.86097560975603, 'rss': 190111744, 'vms': 376881152, 'uss': 185810944, 'wall_time': 4.580799694999996, 'exclusive_time': 2.745}
{'dataset': 'ASP-DEC', 'reasoner': 'clingo', 'count': 140, 'wall_time': 1.0285067060000301}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 140, 'cpu': 74.10604026845634, 'rss': 224354304, 'vms': 497123328, 'uss': 220073984, 'wall_time': 16.43537993199999, 'exclusive_time': 3.827, 'triples_before': 250, 'triples_after': 2091, 'iterations': 63}
{'dataset': 'ASP-DEC', 'reasoner': 'jena', 'count': 150, 'cpu': 216.03170731707314, 'rss': 222769152, 'vms': 492908544, 'uss': 218476544, 'wall_time': 4.501287520999995, 'exclusive_time': 2.621}
{'dataset': 'ASP-DEC', 'reasoner': 'clingo', 'count': 150, 'wall_time': 0.9851115579999714}
{'dataset': 'ASP-DEC', 'reasoner': 'jena', 'count': 200, 'cpu': 165.13484848484842, 'rss': 359829504, 'vms': 645746688, 'uss': 355491840, 'wall_time': 7.311987501000033, 'exclusive_time': 5.394}
{'dataset': 'ASP-DEC', 'reasoner': 'clingo', 'count': 200, 'cpu': 99.4, 'rss': 12492800, 'vms': 10158080, 'uss': 11227136, 'exclusive_time': 0.313, 'wall_time': 1.2106409659999713}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 200, 'cpu': 93.41818181818175, 'rss': 315858944, 'vms': 626941952, 'uss': 311545856, 'wall_time': 13.350731354000004, 'exclusive_time': None and 999999, 'triples_before': 359, 'triples_after': 3922, 'iterations': 64}
{'dataset': 'ASP-DEC', 'reasoner': 'jena', 'count': 250, 'cpu': 140.52478632478608, 'rss': 643518464, 'vms': 856289280, 'uss': 639246336, 'wall_time': 13.127068131000044, 'exclusive_time': 11.054}
{'dataset': 'ASP-DEC', 'reasoner': 'clingo', 'count': 250, 'cpu': 99.7, 'rss': 19623936, 'vms': 17666048, 'uss': 18358272, 'exclusive_time': 0.547, 'wall_time': 1.5177021309999645}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 250, 'cpu': 71.56634146341455, 'rss': 468500480, 'vms': 856592384, 'uss': 464191488, 'wall_time': 22.587542875000054, 'exclusive_time': None and 999999, 'triples_before': 451, 'triples_after': 6071, 'iterations': 64}
{'dataset': 'ASP-DEC', 'reasoner': 'jena', 'count': 300, 'cpu': 136.31336633663375, 'rss': 817340416, 'vms': 921268224, 'uss': 813260800, 'wall_time': 23.281337614999984, 'exclusive_time': 21.121}
{'dataset': 'ASP-DEC', 'reasoner': 'clingo', 'count': 300, 'cpu': 100.2, 'rss': 18411520, 'vms': 16265216, 'uss': 17145856, 'wall_time': 1.5430758930000366}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 300, 'cpu': 108.6291139240505, 'rss': 468979712, 'vms': 852275200, 'uss': 464691200, 'wall_time': 17.494211164000035, 'exclusive_time': None and 999999, 'triples_before': 544, 'triples_after': 8046, 'iterations': 64}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 100, 'cpu': 220.74166666666665, 'rss': 151904256, 'vms': 372613120, 'uss': 147587072, 'wall_time': 4.0260166669999995, 'exclusive_time': 2.003, 'triples_before': 178, 'triples_after': 1131, 'iterations': 39}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 120, 'cpu': 100.3, 'rss': 12845056, 'vms': 214884352, 'uss': 9576448, 'wall_time': 5.665656875000001, 'exclusive_time': 3.655, 'triples_before': 215, 'triples_after': 1521, 'iterations': 78}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 180, 'cpu': 100.3, 'rss': 12832768, 'vms': 214843392, 'uss': 9588736, 'wall_time': 12.208985338, 'exclusive_time': 10.276, 'triples_before': 323, 'triples_after': 3332, 'iterations': 135}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 5, 'cpu': 85.2, 'rss': 12824576, 'vms': 214884352, 'uss': 9560064, 'wall_time': 1.980086538, 'exclusive_time': 0.242, 'triples_before': 7, 'triples_after': 12, 'iterations': 3}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 10, 'cpu': 137.5, 'rss': 13369344, 'vms': 214913024, 'uss': 10080256, 'wall_time': 2.0232310689999995, 'exclusive_time': 0.242, 'triples_before': 16, 'triples_after': 26, 'iterations': 3}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 15, 'cpu': 99.4, 'rss': 12963840, 'vms': 214863872, 'uss': 9674752, 'wall_time': 2.036352987, 'exclusive_time': 0.343, 'triples_before': 24, 'triples_after': 54, 'iterations': 7}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 20, 'cpu': 114.7, 'rss': 13729792, 'vms': 215179264, 'uss': 10444800, 'wall_time': 2.1223425799999998, 'exclusive_time': 0.415, 'triples_before': 34, 'triples_after': 81, 'iterations': 9}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 25, 'cpu': 113.6, 'rss': 12951552, 'vms': 214847488, 'uss': 9662464, 'wall_time': 2.1011257200000006, 'exclusive_time': 0.382, 'triples_before': 43, 'triples_after': 103, 'iterations': 7}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 30, 'cpu': 100.3, 'rss': 12873728, 'vms': 214863872, 'uss': 9596928, 'wall_time': 2.2839957070000008, 'exclusive_time': 0.567, 'triples_before': 51, 'triples_after': 154, 'iterations': 13}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 35, 'cpu': 100.3, 'rss': 12984320, 'vms': 214876160, 'uss': 9695232, 'wall_time': 2.230776708999999, 'exclusive_time': 0.471, 'triples_before': 60, 'triples_after': 179, 'iterations': 9}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 40, 'cpu': 85.2, 'rss': 12636160, 'vms': 214843392, 'uss': 9371648, 'wall_time': 2.2784557760000013, 'exclusive_time': 0.538, 'triples_before': 70, 'triples_after': 223, 'iterations': 11}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 45, 'cpu': 99.7, 'rss': 12988416, 'vms': 214851584, 'uss': 9715712, 'wall_time': 2.497738839, 'exclusive_time': 0.723, 'triples_before': 78, 'triples_after': 298, 'iterations': 19}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 50, 'cpu': 99.4, 'rss': 12963840, 'vms': 214876160, 'uss': 9687040, 'wall_time': 2.569647530000001, 'exclusive_time': 0.752, 'triples_before': 88, 'triples_after': 321, 'iterations': 19}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 60, 'cpu': 99.4, 'rss': 12943360, 'vms': 214859776, 'uss': 9666560, 'wall_time': 2.9129459000000004, 'exclusive_time': 1.046, 'triples_before': 105, 'triples_after': 467, 'iterations': 28}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 70, 'cpu': 143.3, 'rss': 12836864, 'vms': 214884352, 'uss': 9564160, 'wall_time': 3.504693551999999, 'exclusive_time': 1.745, 'triples_before': 123, 'triples_after': 627, 'iterations': 49}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 80, 'cpu': 85.2, 'rss': 12988416, 'vms': 214892544, 'uss': 9715712, 'wall_time': 3.240214132000002, 'exclusive_time': 1.443, 'triples_before': 142, 'triples_after': 737, 'iterations': 31}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 90, 'cpu': 83.1, 'rss': 11988992, 'vms': 214839296, 'uss': 8716288, 'wall_time': 3.2613528279999997, 'exclusive_time': 1.453, 'triples_before': 160, 'triples_after': 911, 'iterations': 26}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 100, 'cpu': 99.7, 'rss': 13172736, 'vms': 214913024, 'uss': 9900032, 'wall_time': 3.828177631999999, 'exclusive_time': 2.027, 'triples_before': 178, 'triples_after': 1131, 'iterations': 39}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 110, 'cpu': 114.7, 'rss': 13463552, 'vms': 214925312, 'uss': 10215424, 'wall_time': 4.8437040929999995, 'exclusive_time': 3.062, 'triples_before': 194, 'triples_after': 1368, 'iterations': 68}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 120, 'cpu': 100.3, 'rss': 12804096, 'vms': 214884352, 'uss': 9543680, 'wall_time': 5.231904725, 'exclusive_time': 3.4, 'triples_before': 215, 'triples_after': 1521, 'iterations': 78}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 130, 'cpu': 99.4, 'rss': 13406208, 'vms': 214904832, 'uss': 10145792, 'wall_time': 4.913413911999996, 'exclusive_time': 3.134, 'triples_before': 232, 'triples_after': 1789, 'iterations': 53}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 140, 'cpu': 99.4, 'rss': 13324288, 'vms': 214933504, 'uss': 10072064, 'wall_time': 5.521518526999998, 'exclusive_time': 3.713, 'triples_before': 250, 'triples_after': 2091, 'iterations': 63}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 150, 'cpu': 99.4, 'rss': 13324288, 'vms': 214921216, 'uss': 10072064, 'wall_time': 7.809504548, 'exclusive_time': 5.954, 'triples_before': 268, 'triples_after': 2389, 'iterations': 105}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 200, 'cpu': 84.55, 'rss': 12406784, 'vms': 214884352, 'uss': 9162752, 'wall_time': 8.709443335000003, 'exclusive_time': 6.791, 'triples_before': 359, 'triples_after': 3951, 'iterations': 78}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 250, 'cpu': 100.3, 'rss': 12763136, 'vms': 214867968, 'uss': 9506816, 'wall_time': 13.983624961000004, 'exclusive_time': 12.075, 'triples_before': 451, 'triples_after': 6163, 'iterations': 93}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 300, 'cpu': 100.3, 'rss': 12656640, 'vms': 214867968, 'uss': 9412608, 'wall_time': 46.148748117, 'exclusive_time': 44.144, 'triples_before': 544, 'triples_after': 8711, 'iterations': 219}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 300, 'cpu': 86.0, 'rss': 10035200, 'vms': 199356416, 'uss': 7315456, 'wall_time': 49.086764890999994, 'exclusive_time': 46.939, 'triples_before': 544, 'triples_after': 8711, 'iterations': 219}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 350, 'cpu': 93.15, 'rss': 11845632, 'vms': 214798336, 'uss': 8601600, 'wall_time': 85.323523161, 'exclusive_time': 83.292, 'triples_before': 635, 'triples_after': 11863, 'iterations': 257}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 400, 'cpu': 86.0, 'rss': 9613312, 'vms': 197648384, 'uss': 6873088, 'wall_time': 69.00019980900001, 'exclusive_time': 66.65, 'triples_before': 727, 'triples_after': 15114, 'iterations': 151}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 450, 'cpu': 93.45, 'rss': 10571776, 'vms': 214228992, 'uss': 7815168, 'wall_time': 125.81848324099997, 'exclusive_time': 123.757, 'triples_before': 820, 'triples_after': 19235, 'iterations': 190}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 500, 'cpu': 92.75, 'rss': 12394496, 'vms': 214827008, 'uss': 9150464, 'wall_time': 357.477477544, 'exclusive_time': 355.329, 'triples_before': 910, 'triples_after': 23600, 'iterations': 359}
{'dataset': 'ASP-DEC', 'reasoner': 'sparql', 'count': 370, 'cpu': 64.5, 'rss': 151552, 'vms': 331776, 'uss': 81920, 'wall_time': 81.96078520399999, 'exclusive_time': 77.429, 'triples_before': 672, 'triples_after': 13115, 'iterations': 198}