-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathpartial_eval_expr.txt
148 lines (148 loc) · 32.5 KB
/
partial_eval_expr.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
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 19, 'cpu': 97.98938053097336, 'rss': 15998976, 'vms': 11354112, 'uss': 12062720, 'wall_time': 11.471064092999999, 'exclusive_time': 9.987, 'triples_before': 1646, 'triples_after': 17558, 'iterations': 4}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 33, 'cpu': 98.9942014242114, 'rss': 24743936, 'vms': 20299776, 'uss': 20840448, 'wall_time': 99.63186831200001, 'exclusive_time': 96.478, 'triples_before': 4656, 'triples_after': 82817, 'iterations': 4}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 4, 'cpu': 95.80000000000001, 'rss': 12718080, 'vms': 8450048, 'uss': 9388032, 'wall_time': 0.917946901, 'exclusive_time': 0.086, 'triples_before': 161, 'triples_after': 426, 'iterations': 5}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 9, 'cpu': 95.23529411764707, 'rss': 13799424, 'vms': 9142272, 'uss': 9887744, 'wall_time': 1.817171848, 'exclusive_time': 0.89, 'triples_before': 456, 'triples_after': 2427, 'iterations': 5}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 16, 'cpu': 98.17999999999998, 'rss': 14913536, 'vms': 10297344, 'uss': 10993664, 'wall_time': 6.137342052, 'exclusive_time': 5.028, 'triples_before': 1205, 'triples_after': 10872, 'iterations': 4}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 20, 'cpu': 98.92678571428566, 'rss': 15888384, 'vms': 11759616, 'uss': 12455936, 'wall_time': 16.920415446, 'exclusive_time': 15.578, 'triples_before': 1809, 'triples_after': 20068, 'iterations': 5}
{'dataset': 'penskoy-expressions', 'reasoner': 'pellet', 'count': 4, 'cpu': 232.42121212121208, 'rss': 174837760, 'vms': 370671616, 'uss': 170762240, 'wall_time': 4.218354581}
{'dataset': 'penskoy-expressions', 'reasoner': 'pellet', 'count': 9, 'cpu': 259.51948051948057, 'rss': 582713344, 'vms': 803360768, 'uss': 578469888, 'wall_time': 9.974730759000002}
{'dataset': 'penskoy-expressions', 'reasoner': 'pellet', 'count': 16, 'cpu': 266.664024390244, 'rss': 954761216, 'vms': 1245892608, 'uss': 950419456, 'wall_time': 22.234467782}
{'dataset': 'penskoy-expressions', 'reasoner': 'pellet', 'count': 20, 'cpu': 242.40933852140066, 'rss': 1267539968, 'vms': 1589497856, 'uss': 1263529984, 'wall_time': 35.97209074}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 4, 'cpu': 118.34137931034483, 'rss': 108683264, 'vms': 264101888, 'uss': 104419328, 'wall_time': 3.095897077, 'exclusive_time': 0.214}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 4, 'cpu': 186.31666666666666, 'rss': 114339840, 'vms': 293056512, 'uss': 110514176, 'wall_time': 3.839223138, 'exclusive_time': 1.678, 'triples_before': 161, 'triples_after': 484, 'iterations': 11}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 9, 'cpu': 210.38529411764705, 'rss': 230649856, 'vms': 413073408, 'uss': 226349056, 'wall_time': 3.6675295739999996, 'exclusive_time': 1.465}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 9, 'cpu': 227.1304878048781, 'rss': 343609344, 'vms': 657281024, 'uss': 339316736, 'wall_time': 8.863718059, 'exclusive_time': 6.383, 'triples_before': 456, 'triples_after': 3027, 'iterations': 36}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 16, 'cpu': 267.7055555555556, 'rss': 349282304, 'vms': 723103744, 'uss': 344969216, 'wall_time': 5.979552066, 'exclusive_time': 3.762}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 16, 'cpu': 213.22796610169505, 'rss': 467206144, 'vms': 662077440, 'uss': 462901248, 'wall_time': 12.743982648000003, 'exclusive_time': 10.441, 'triples_before': 1205, 'triples_after': 11013, 'iterations': 11}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 20, 'cpu': 279.4067961165049, 'rss': 955543552, 'vms': 1210523648, 'uss': 951267328, 'wall_time': 12.177064957999995, 'exclusive_time': 9.612}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 20, 'cpu': 152.40318181818193, 'rss': 475664384, 'vms': 862064640, 'uss': 471343104, 'wall_time': 24.15101309, 'exclusive_time': 21.787, 'triples_before': 1809, 'triples_after': 20228, 'iterations': 11}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 25, 'cpu': 298.4913207547166, 'rss': 1513054208, 'vms': 1919954944, 'uss': 1508782080, 'wall_time': 35.162287398, 'exclusive_time': 32.164}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 25, 'cpu': 99.71960132890376, 'rss': 18927616, 'vms': 14323712, 'uss': 15032320, 'wall_time': 30.394408278999997, 'exclusive_time': 28.644, 'triples_before': 2744, 'triples_after': 37465, 'iterations': 4}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 25, 'cpu': 125.70961145194282, 'rss': 520499200, 'vms': 873701376, 'uss': 516157440, 'wall_time': 54.06104677399999, 'exclusive_time': 51.513, 'triples_before': 2744, 'triples_after': 37873, 'iterations': 11}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 30, 'cpu': 303.1132307692303, 'rss': 1890127872, 'vms': 2071547904, 'uss': 1885802496, 'wall_time': 45.21330610599999, 'exclusive_time': 42.141}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 30, 'cpu': 99.4668253968255, 'rss': 22069248, 'vms': 17604608, 'uss': 18165760, 'wall_time': 63.62385396900001, 'exclusive_time': 61.089, 'triples_before': 3879, 'triples_after': 62721, 'iterations': 4}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 30, 'cpu': 111.03582677165316, 'rss': 734052352, 'vms': 870854656, 'uss': 729776128, 'wall_time': 117.10273161800004, 'exclusive_time': 114.409, 'triples_before': 3879, 'triples_after': 63162, 'iterations': 11}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 35, 'cpu': 350.2899833055121, 'rss': 2027335680, 'vms': 2061418496, 'uss': 2023059456, 'wall_time': None and 282.21701014399997, 'exclusive_time': None and 999999}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 35, 'cpu': 99.34043624161045, 'rss': 26443776, 'vms': 22114304, 'uss': 22515712, 'wall_time': 120.82885261199999, 'exclusive_time': 117.504, 'triples_before': 5214, 'triples_after': 97523, 'iterations': 4}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 35, 'cpu': 106.59240759240707, 'rss': 727093248, 'vms': 872792064, 'uss': 722771968, 'wall_time': 230.291935094, 'exclusive_time': 227.35, 'triples_before': 5214, 'triples_after': 98118, 'iterations': 11}
{'dataset': 'penskoy-expressions', 'reasoner': 'pellet', 'count': 25, 'cpu': 240.41583514099747, 'rss': 1810661376, 'vms': 2136637440, 'uss': 1804308480, 'wall_time': 69.377635561}
{'dataset': 'penskoy-expressions', 'reasoner': 'pellet', 'count': 30, 'cpu': 324.1654467169015, 'rss': 2233442304, 'vms': 2287407104, 'uss': 2229207040, 'wall_time': 344.139278098}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 32, 'cpu': 334.55421478060214, 'rss': 2014806016, 'vms': 2060496896, 'uss': 2010492928, 'wall_time': None and 283.97147909899996, 'exclusive_time': None and 999999}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 32, 'cpu': 98.91474926253663, 'rss': 23920640, 'vms': 19505152, 'uss': 20013056, 'wall_time': 103.008183864, 'exclusive_time': 100.011, 'triples_before': 4389, 'triples_after': 75430, 'iterations': 5}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 32, 'cpu': 108.79941648431762, 'rss': 726704128, 'vms': 873680896, 'uss': 722386944, 'wall_time': 158.73154808, 'exclusive_time': 155.858, 'triples_before': 4389, 'triples_after': 75918, 'iterations': 11}
{'dataset': 'penskoy-expressions', 'reasoner': 'clingo', 'count': 4, 'cpu': 100.8, 'rss': 15388672, 'vms': 12877824, 'uss': 14131200, 'wall_time': 1.5547923089999998, 'exclusive_time': 0.464}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 4, 'cpu': 50.4, 'rss': 7188480, 'vms': 192458752, 'uss': 4456448, 'wall_time': 3.3170911750000003, 'exclusive_time': 0.213}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 4, 'cpu': 0.0, 'rss': 155648, 'vms': 327680, 'uss': 65536, 'wall_time': 1.6912661080000007, 'exclusive_time': 0.088, 'triples_before': 161, 'triples_after': 426, 'iterations': 5}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 4, 'cpu': 99.7, 'rss': 12820480, 'vms': 214867968, 'uss': 9519104, 'wall_time': 3.771417767999999, 'exclusive_time': 1.505, 'triples_before': 161, 'triples_after': 484, 'iterations': 11}
{'dataset': 'penskoy-expressions', 'reasoner': 'clingo', 'count': 9, 'cpu': 99.89999999999999, 'rss': 17657856, 'vms': 15187968, 'uss': 15806464, 'wall_time': 1.6977122629999997, 'exclusive_time': 0.621}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 9, 'cpu': 99.7, 'rss': 12791808, 'vms': 214855680, 'uss': 9490432, 'wall_time': 3.709566444, 'exclusive_time': 1.614}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 9, 'cpu': 85.2, 'rss': 8392704, 'vms': 4673536, 'uss': 5222400, 'wall_time': 1.7295824979999992, 'exclusive_time': 0.774, 'triples_before': 456, 'triples_after': 2427, 'iterations': 5}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 9, 'cpu': 92.45, 'rss': 12910592, 'vms': 214880256, 'uss': 9637888, 'wall_time': 7.924698956, 'exclusive_time': 5.837, 'triples_before': 456, 'triples_after': 3027, 'iterations': 36}
{'dataset': 'penskoy-expressions', 'reasoner': 'clingo', 'count': 16, 'cpu': 98.47272727272728, 'rss': 20221952, 'vms': 17854464, 'uss': 18960384, 'wall_time': 7.083882075000002, 'exclusive_time': 1.463}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 16, 'cpu': 101.2, 'rss': 12713984, 'vms': 214855680, 'uss': 9449472, 'wall_time': 7.011154118, 'exclusive_time': 4.625}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 16, 'cpu': 99.7, 'rss': 8421376, 'vms': 4710400, 'uss': 5255168, 'wall_time': 5.679975691000003, 'exclusive_time': 4.497, 'triples_before': 1205, 'triples_after': 10872, 'iterations': 4}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 16, 'cpu': 92.85, 'rss': 12832768, 'vms': 214884352, 'uss': 9531392, 'wall_time': 12.695176791999998, 'exclusive_time': 10.401, 'triples_before': 1205, 'triples_after': 11013, 'iterations': 11}
{'dataset': 'penskoy-expressions', 'reasoner': 'clingo', 'count': 20, 'cpu': 98.74814814814816, 'rss': 23990272, 'vms': 22097920, 'uss': 22736896, 'wall_time': 13.296164501999996, 'exclusive_time': 3.08}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 20, 'cpu': 99.55000000000001, 'rss': 12832768, 'vms': 214876160, 'uss': 9531392, 'wall_time': 14.087519668999988, 'exclusive_time': 11.603}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 20, 'cpu': 100.8, 'rss': 8396800, 'vms': 4710400, 'uss': 5251072, 'wall_time': 15.552824509000004, 'exclusive_time': 14.122, 'triples_before': 1809, 'triples_after': 20068, 'iterations': 5}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 20, 'cpu': 85.7, 'rss': 12726272, 'vms': 214867968, 'uss': 9453568, 'wall_time': 25.78484745899999, 'exclusive_time': 23.22, 'triples_before': 1809, 'triples_after': 20228, 'iterations': 11}
{'dataset': 'penskoy-expressions', 'reasoner': 'clingo', 'count': 25, 'cpu': 97.87812499999998, 'rss': 29089792, 'vms': 27258880, 'uss': 27832320, 'wall_time': 25.5821837, 'exclusive_time': 6.808}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 25, 'cpu': 100.80000000000001, 'rss': 12775424, 'vms': 214847488, 'uss': 9482240, 'wall_time': 36.447334263, 'exclusive_time': 33.483}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 25, 'cpu': 99.7, 'rss': 8192000, 'vms': 4501504, 'uss': 5046272, 'wall_time': 31.73947034599999, 'exclusive_time': 29.716, 'triples_before': 2744, 'triples_after': 37465, 'iterations': 4}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 25, 'cpu': 100.0, 'rss': 12759040, 'vms': 214872064, 'uss': 9486336, 'wall_time': 58.13190115900001, 'exclusive_time': 55.073, 'triples_before': 2744, 'triples_after': 37873, 'iterations': 11}
{'dataset': 'penskoy-expressions', 'reasoner': 'clingo', 'count': 30, 'cpu': 98.85826771653542, 'rss': 38060032, 'vms': 36503552, 'uss': 36139008, 'wall_time': 43.368390738000016, 'exclusive_time': 13.077}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 30, 'cpu': 100.1, 'rss': 12427264, 'vms': 214876160, 'uss': 9146368, 'wall_time': 58.90404585899998, 'exclusive_time': 55.587}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 30, 'cpu': 100.3, 'rss': 8126464, 'vms': 4390912, 'uss': 4947968, 'wall_time': 60.02720379599998, 'exclusive_time': 57.475, 'triples_before': 3879, 'triples_after': 62721, 'iterations': 4}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 30, 'cpu': 92.85, 'rss': 12754944, 'vms': 214855680, 'uss': 9478144, 'wall_time': 116.45727487200003, 'exclusive_time': 113.717, 'triples_before': 3879, 'triples_after': 63162, 'iterations': 11}
{'dataset': 'penskoy-expressions', 'reasoner': 'clingo', 'count': 32, 'cpu': 99.5858895705521, 'rss': 42713088, 'vms': 42029056, 'uss': 40202240, 'wall_time': 54.158402937, 'exclusive_time': 16.78}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 32, 'cpu': 100.1, 'rss': 12644352, 'vms': 214855680, 'uss': 9379840, 'wall_time': 158.52657481300002, 'exclusive_time': 155.616, 'triples_before': 4389, 'triples_after': 75918, 'iterations': 11}
{'dataset': 'penskoy-expressions', 'reasoner': 'clingo', 'count': 35, 'cpu': 96.38600823045272, 'rss': 53571584, 'vms': 54878208, 'uss': 50188288, 'wall_time': 73.20227879700002, 'exclusive_time': 25.084}
{'dataset': 'penskoy-expressions', 'reasoner': 'clingo', 'count': 22, 'cpu': 96.07727272727278, 'rss': 25960448, 'vms': 23891968, 'uss': 23134208, 'wall_time': 21.903461577, 'exclusive_time': 5.156}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 22, 'cpu': 14.3, 'rss': 155648, 'vms': 327680, 'uss': 65536, 'wall_time': 22.32724966900001, 'exclusive_time': 19.787, 'triples_before': 2159, 'triples_after': 26130, 'iterations': 4}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 22, 'cpu': 92.7, 'rss': 8839168, 'vms': 197570560, 'uss': 6066176, 'wall_time': 42.458565568, 'exclusive_time': 39.092, 'triples_before': 2159, 'triples_after': 26390, 'iterations': 11}
{'dataset': 'penskoy-expressions', 'reasoner': 'clingo', 'count': 25, 'cpu': 99.5614285714286, 'rss': 29147136, 'vms': 27299840, 'uss': 27889664, 'wall_time': 31.368627675, 'exclusive_time': 8.064}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 25, 'cpu': 93.9, 'rss': 11034624, 'vms': 214532096, 'uss': 8269824, 'wall_time': 40.943556215, 'exclusive_time': 37.368}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 25, 'cpu': 99.4, 'rss': 7663616, 'vms': 3956736, 'uss': 4513792, 'wall_time': 35.54831049200001, 'exclusive_time': 33.264, 'triples_before': 2744, 'triples_after': 37465, 'iterations': 4}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 25, 'cpu': 114.2, 'rss': 12128256, 'vms': 214855680, 'uss': 8855552, 'wall_time': 67.91944725700003, 'exclusive_time': 64.575, 'triples_before': 2744, 'triples_after': 37873, 'iterations': 11}
{'dataset': 'penskoy-expressions', 'reasoner': 'clingo', 'count': 30, 'cpu': 99.76575342465729, 'rss': 38178816, 'vms': 36532224, 'uss': 36630528, 'wall_time': 54.65693270500003, 'exclusive_time': 16.333}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 30, 'cpu': 92.75, 'rss': 12230656, 'vms': 214859776, 'uss': 8990720, 'wall_time': 72.36838780599999, 'exclusive_time': 68.411}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 30, 'cpu': 100.3, 'rss': 7671808, 'vms': 3956736, 'uss': 4513792, 'wall_time': 74.32628531099999, 'exclusive_time': 70.989, 'triples_before': 3879, 'triples_after': 62721, 'iterations': 4}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 30, 'cpu': 100.3, 'rss': 12181504, 'vms': 214855680, 'uss': 8896512, 'wall_time': 145.24635446700006, 'exclusive_time': 141.664, 'triples_before': 3879, 'triples_after': 63162, 'iterations': 11}
{'dataset': 'penskoy-expressions', 'reasoner': 'pellet', 'count': 18, 'cpu': 269.13655913978505, 'rss': 718733312, 'vms': 1147203584, 'uss': 714551296, 'wall_time': 11.922543035}
{'dataset': 'penskoy-expressions', 'reasoner': 'pellet', 'count': 19, 'cpu': 270.03762376237637, 'rss': 796078080, 'vms': 1168424960, 'uss': 792240128, 'wall_time': 12.991273871999999}
{'dataset': 'penskoy-expressions', 'reasoner': 'pellet', 'count': 20, 'cpu': 252.34044943820228, 'rss': 759042048, 'vms': 1006718976, 'uss': 756350976, 'wall_time': 11.54280649}
{'dataset': 'penskoy-expressions', 'reasoner': 'pellet', 'count': 21, 'cpu': 279.1959016393444, 'rss': 771915776, 'vms': 1110695936, 'uss': 767733760, 'wall_time': 16.003310280999997}
{'dataset': 'penskoy-expressions', 'reasoner': 'pellet', 'count': 22, 'cpu': 277.26734693877546, 'rss': 1150169088, 'vms': 1463488512, 'uss': 1146535936, 'wall_time': 20.152808365}
{'dataset': 'penskoy-expressions', 'reasoner': 'pellet', 'count': 23, 'cpu': 249.36499999999998, 'rss': 880177152, 'vms': 1146429440, 'uss': 876335104, 'wall_time': 18.861924242}
{'dataset': 'penskoy-expressions', 'reasoner': 'pellet', 'count': 24, 'cpu': 281.67612903225825, 'rss': 1175498752, 'vms': 1499332608, 'uss': 1171292160, 'wall_time': 21.461904895999993}
{'dataset': 'penskoy-expressions', 'reasoner': 'pellet', 'count': 25, 'cpu': 266.7244897959184, 'rss': 1357045760, 'vms': 1423056896, 'uss': 1352884224, 'wall_time': 20.481818368999996}
{'dataset': 'penskoy-expressions', 'reasoner': 'pellet', 'count': 27, 'cpu': 263.85783783783785, 'rss': 1270738944, 'vms': 1494622208, 'uss': 1267421184, 'wall_time': 26.368420229999998}
{'dataset': 'penskoy-expressions', 'reasoner': 'pellet', 'count': 28, 'cpu': 296.0046874999998, 'rss': 1595449344, 'vms': 1936465920, 'uss': 1591742464, 'wall_time': 37.32377784299999}
{'dataset': 'penskoy-expressions', 'reasoner': 'pellet', 'count': 29, 'cpu': 286.80661764705883, 'rss': 1673994240, 'vms': 1923485696, 'uss': 1670057984, 'wall_time': 39.74587485000001}
{'dataset': 'penskoy-expressions', 'reasoner': 'clingo', 'count': 18, 'cpu': 99.41739130434784, 'rss': 22282240, 'vms': 20099072, 'uss': 19652608, 'wall_time': 12.757364105, 'exclusive_time': 2.516}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 18, 'cpu': 78.35, 'rss': 7172096, 'vms': 192430080, 'uss': 4427776, 'wall_time': 13.172250405, 'exclusive_time': 8.509}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 18, 'cpu': 0.0, 'rss': 155648, 'vms': 327680, 'uss': 65536, 'wall_time': 14.925523069, 'exclusive_time': 12.015, 'triples_before': 1491, 'triples_after': 15013, 'iterations': 5}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 18, 'cpu': 92.75, 'rss': 9617408, 'vms': 197644288, 'uss': 6873088, 'wall_time': 24.235962571, 'exclusive_time': 20.739, 'triples_before': 1491, 'triples_after': 15177, 'iterations': 11}
{'dataset': 'penskoy-expressions', 'reasoner': 'clingo', 'count': 19, 'cpu': 97.93571428571428, 'rss': 22220800, 'vms': 19968000, 'uss': 20963328, 'wall_time': 14.625027113000002, 'exclusive_time': 3.343}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 19, 'cpu': 99.85, 'rss': 12152832, 'vms': 214888448, 'uss': 8884224, 'wall_time': 16.405922746, 'exclusive_time': 13.375}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 19, 'cpu': 99.4, 'rss': 7434240, 'vms': 3817472, 'uss': 4288512, 'wall_time': 12.494369199999994, 'exclusive_time': 10.719, 'triples_before': 1646, 'triples_after': 17435, 'iterations': 4}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 19, 'cpu': 100.3, 'rss': 10465280, 'vms': 214220800, 'uss': 7692288, 'wall_time': 24.889246275999994, 'exclusive_time': 21.856, 'triples_before': 1646, 'triples_after': 17613, 'iterations': 11}
{'dataset': 'penskoy-expressions', 'reasoner': 'clingo', 'count': 20, 'cpu': 99.50333333333337, 'rss': 24031232, 'vms': 22102016, 'uss': 21106688, 'wall_time': 15.435080675999984, 'exclusive_time': 3.57}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 20, 'cpu': 100.3, 'rss': 11210752, 'vms': 214736896, 'uss': 8331264, 'wall_time': 15.764535730000006, 'exclusive_time': 12.804}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 20, 'cpu': 99.4, 'rss': 7806976, 'vms': 4100096, 'uss': 4657152, 'wall_time': 18.144539013000013, 'exclusive_time': 16.349, 'triples_before': 1809, 'triples_after': 20068, 'iterations': 5}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 20, 'cpu': 99.85, 'rss': 10780672, 'vms': 214417408, 'uss': 7983104, 'wall_time': 29.46021409300002, 'exclusive_time': 26.31, 'triples_before': 1809, 'triples_after': 20228, 'iterations': 11}
{'dataset': 'penskoy-expressions', 'reasoner': 'clingo', 'count': 21, 'cpu': 98.80270270270277, 'rss': 25300992, 'vms': 23318528, 'uss': 22945792, 'wall_time': 18.509651892999983, 'exclusive_time': 4.149}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 21, 'cpu': 99.85, 'rss': 11157504, 'vms': 214687744, 'uss': 8310784, 'wall_time': 34.88719933399997, 'exclusive_time': 31.632}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 21, 'cpu': 100.3, 'rss': 7659520, 'vms': 3956736, 'uss': 4489216, 'wall_time': 17.763004676000037, 'exclusive_time': 15.822, 'triples_before': 1980, 'triples_after': 22994, 'iterations': 4}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 21, 'cpu': 99.85, 'rss': 11001856, 'vms': 214491136, 'uss': 8228864, 'wall_time': 34.71850738400002, 'exclusive_time': 31.485, 'triples_before': 1980, 'triples_after': 23217, 'iterations': 11}
{'dataset': 'penskoy-expressions', 'reasoner': 'clingo', 'count': 22, 'cpu': 98.93333333333337, 'rss': 25960448, 'vms': 23879680, 'uss': 23207936, 'wall_time': 20.712635739000007, 'exclusive_time': 4.803}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 22, 'cpu': 99.85, 'rss': 11640832, 'vms': 214777856, 'uss': 8404992, 'wall_time': 44.74653387800004, 'exclusive_time': 41.45}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 22, 'cpu': 99.4, 'rss': 7667712, 'vms': 3952640, 'uss': 4513792, 'wall_time': 23.308216688000016, 'exclusive_time': 21.442, 'triples_before': 2159, 'triples_after': 26130, 'iterations': 4}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 22, 'cpu': 100.3, 'rss': 11849728, 'vms': 214806528, 'uss': 8581120, 'wall_time': 39.119195038999976, 'exclusive_time': 36.079, 'triples_before': 2159, 'triples_after': 26390, 'iterations': 11}
{'dataset': 'penskoy-expressions', 'reasoner': 'clingo', 'count': 23, 'cpu': 99.97346938775516, 'rss': 27557888, 'vms': 25976832, 'uss': 24690688, 'wall_time': 23.541713158999983, 'exclusive_time': 5.546}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 23, 'cpu': 99.85, 'rss': 12197888, 'vms': 214884352, 'uss': 8945664, 'wall_time': 57.24847480799997, 'exclusive_time': 53.701}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 23, 'cpu': 99.4, 'rss': 7659520, 'vms': 3956736, 'uss': 4509696, 'wall_time': 30.924333986999955, 'exclusive_time': 28.92, 'triples_before': 2346, 'triples_after': 29614, 'iterations': 5}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 23, 'cpu': 99.85, 'rss': 11186176, 'vms': 214691840, 'uss': 8323072, 'wall_time': 46.71019015500008, 'exclusive_time': 43.546, 'triples_before': 2346, 'triples_after': 29920, 'iterations': 11}
{'dataset': 'penskoy-expressions', 'reasoner': 'clingo', 'count': 24, 'cpu': 99.72786885245905, 'rss': 28004352, 'vms': 26279936, 'uss': 25395200, 'wall_time': 27.221546042, 'exclusive_time': 6.908}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 24, 'cpu': 99.85, 'rss': 12238848, 'vms': 214867968, 'uss': 8970240, 'wall_time': 38.93354913299993, 'exclusive_time': 35.534}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 24, 'cpu': 100.3, 'rss': 7639040, 'vms': 3952640, 'uss': 4489216, 'wall_time': 29.87730610699998, 'exclusive_time': 27.687, 'triples_before': 2541, 'triples_after': 33348, 'iterations': 4}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 24, 'cpu': 93.15, 'rss': 11833344, 'vms': 214790144, 'uss': 8568832, 'wall_time': 54.43761175100008, 'exclusive_time': 51.001, 'triples_before': 2541, 'triples_after': 33512, 'iterations': 11}
{'dataset': 'penskoy-expressions', 'reasoner': 'clingo', 'count': 25, 'cpu': 99.96086956521742, 'rss': 29085696, 'vms': 27254784, 'uss': 27017216, 'wall_time': 30.54747683900007, 'exclusive_time': 7.852}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 25, 'cpu': 86.75, 'rss': 11468800, 'vms': 214749184, 'uss': 8388608, 'wall_time': 37.19048528600001, 'exclusive_time': 33.829}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 25, 'cpu': 100.3, 'rss': 7692288, 'vms': 3956736, 'uss': 4513792, 'wall_time': 34.52368346000003, 'exclusive_time': 32.285, 'triples_before': 2744, 'triples_after': 37465, 'iterations': 4}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 25, 'cpu': 100.3, 'rss': 11165696, 'vms': 214732800, 'uss': 8331264, 'wall_time': 65.79836938400001, 'exclusive_time': 62.612, 'triples_before': 2744, 'triples_after': 37873, 'iterations': 11}
{'dataset': 'penskoy-expressions', 'reasoner': 'clingo', 'count': 27, 'cpu': 99.96041666666666, 'rss': 34009088, 'vms': 32727040, 'uss': 32006144, 'wall_time': 38.40347569800008, 'exclusive_time': 10.555}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 27, 'cpu': 115.4, 'rss': 10809344, 'vms': 214458368, 'uss': 8044544, 'wall_time': 66.79918620600006, 'exclusive_time': 63.268}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 27, 'cpu': 100.3, 'rss': 7659520, 'vms': 3956736, 'uss': 4509696, 'wall_time': 46.710928814, 'exclusive_time': 44.108, 'triples_before': 3174, 'triples_after': 46659, 'iterations': 4}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 27, 'cpu': 92.30000000000001, 'rss': 11964416, 'vms': 214798336, 'uss': 8716288, 'wall_time': 90.72226369300006, 'exclusive_time': 87.521, 'triples_before': 3174, 'triples_after': 46919, 'iterations': 11}
{'dataset': 'penskoy-expressions', 'reasoner': 'clingo', 'count': 28, 'cpu': 99.95619047619039, 'rss': 34922496, 'vms': 33587200, 'uss': 31850496, 'wall_time': 42.57932510499995, 'exclusive_time': 11.604}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 28, 'cpu': 99.4, 'rss': 11108352, 'vms': 214589440, 'uss': 8290304, 'wall_time': 40.34559756099998, 'exclusive_time': 36.912}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 28, 'cpu': 100.3, 'rss': 7741440, 'vms': 4042752, 'uss': 4591616, 'wall_time': 67.92700380499991, 'exclusive_time': 65.234, 'triples_before': 3401, 'triples_after': 51673, 'iterations': 5}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 28, 'cpu': 99.4, 'rss': 12296192, 'vms': 214872064, 'uss': 9019392, 'wall_time': 102.79340591599998, 'exclusive_time': 99.559, 'triples_before': 3401, 'triples_after': 51893, 'iterations': 11}
{'dataset': 'penskoy-expressions', 'reasoner': 'clingo', 'count': 29, 'cpu': 99.96776859504115, 'rss': 36204544, 'vms': 34746368, 'uss': 34840576, 'wall_time': 48.37831101400002, 'exclusive_time': 13.41}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 29, 'cpu': 99.4, 'rss': 12083200, 'vms': 214872064, 'uss': 8826880, 'wall_time': None and 298.678070266, 'exclusive_time': None}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 29, 'cpu': 86.0, 'rss': 7323648, 'vms': 3817472, 'uss': 4198400, 'wall_time': 140.06801758300003, 'exclusive_time': 134.538, 'triples_before': 3636, 'triples_after': 57115, 'iterations': 5}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 29, 'cpu': 107.5, 'rss': 9707520, 'vms': 198991872, 'uss': 6963200, 'wall_time': 156.15985443699992, 'exclusive_time': 149.321, 'triples_before': 3636, 'triples_after': 57414, 'iterations': 11}
{'dataset': 'penskoy-expressions', 'reasoner': 'pellet', 'count': 4, 'cpu': 235.21290322580643, 'rss': 160997376, 'vms': 361181184, 'uss': 156786688, 'wall_time': 3.9793928149999998}
{'dataset': 'penskoy-expressions', 'reasoner': 'clingo', 'count': 4, 'cpu': 100.0, 'rss': 16633856, 'vms': 14106624, 'uss': 15376384, 'wall_time': 1.4783673899999998, 'exclusive_time': 0.484}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 4, 'cpu': 85.2, 'rss': 12910592, 'vms': 214847488, 'uss': 9633792, 'wall_time': 2.7515882120000006, 'exclusive_time': 0.269}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 4, 'cpu': 99.4, 'rss': 7790592, 'vms': 4112384, 'uss': 4669440, 'wall_time': 1.3291121060000002, 'exclusive_time': 0.078, 'triples_before': 6571, 'triples_after': 6836, 'iterations': 5}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 4, 'cpu': 100.3, 'rss': 12890112, 'vms': 214843392, 'uss': 9641984, 'wall_time': 3.9400402359999998, 'exclusive_time': 1.428, 'triples_before': 6571, 'triples_after': 6894, 'iterations': 11}
{'dataset': 'penskoy-expressions', 'reasoner': 'pellet', 'count': 9, 'cpu': 252.67027027027024, 'rss': 585601024, 'vms': 808132608, 'uss': 581390336, 'wall_time': 9.573189653}
{'dataset': 'penskoy-expressions', 'reasoner': 'clingo', 'count': 9, 'cpu': 99.85, 'rss': 17006592, 'vms': 14528512, 'uss': 15749120, 'wall_time': 1.8199067299999996, 'exclusive_time': 0.656}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 9, 'cpu': 100.3, 'rss': 12861440, 'vms': 214876160, 'uss': 9572352, 'wall_time': 4.436008394999998, 'exclusive_time': 1.741}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 9, 'cpu': 100.3, 'rss': 8409088, 'vms': 4714496, 'uss': 5255168, 'wall_time': 2.5771692210000055, 'exclusive_time': 0.906, 'triples_before': 13236, 'triples_after': 15207, 'iterations': 5}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 9, 'cpu': 99.4, 'rss': 13320192, 'vms': 214913024, 'uss': 10027008, 'wall_time': 8.584772706000003, 'exclusive_time': 5.887, 'triples_before': 13236, 'triples_after': 15807, 'iterations': 36}
{'dataset': 'penskoy-expressions', 'reasoner': 'pellet', 'count': 13, 'cpu': 277.0924999999999, 'rss': 1116385280, 'vms': 1302773760, 'uss': 1112170496, 'wall_time': 21.488575718999996}
{'dataset': 'penskoy-expressions', 'reasoner': 'clingo', 'count': 13, 'cpu': 100.04285714285713, 'rss': 19046400, 'vms': 16658432, 'uss': 17068032, 'wall_time': 2.349419333, 'exclusive_time': 0.984}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 13, 'cpu': 99.85, 'rss': 11104256, 'vms': 214560768, 'uss': 8290304, 'wall_time': 9.192845376999998, 'exclusive_time': 6.071}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 13, 'cpu': 100.3, 'rss': 8400896, 'vms': 4714496, 'uss': 5251072, 'wall_time': 4.637469980000006, 'exclusive_time': 2.437, 'triples_before': 19986, 'triples_after': 25478, 'iterations': 4}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 13, 'cpu': 107.05000000000001, 'rss': 12881920, 'vms': 214851584, 'uss': 9613312, 'wall_time': 25.479576015000006, 'exclusive_time': 22.425, 'triples_before': 19986, 'triples_after': 26641, 'iterations': 54}
{'dataset': 'penskoy-expressions', 'reasoner': 'pellet', 'count': 20, 'cpu': 270.0427419354838, 'rss': 1300393984, 'vms': 1501892608, 'uss': 1296199680, 'wall_time': 35.406813336}
{'dataset': 'penskoy-expressions', 'reasoner': 'clingo', 'count': 20, 'cpu': 99.97692307692311, 'rss': 24031232, 'vms': 22110208, 'uss': 21028864, 'wall_time': 12.833220645999972, 'exclusive_time': 2.984}
{'dataset': 'penskoy-expressions', 'reasoner': 'jena', 'count': 20, 'cpu': 106.94999999999999, 'rss': 12926976, 'vms': 214872064, 'uss': 9674752, 'wall_time': 13.244003290999984, 'exclusive_time': 9.966}
{'dataset': 'penskoy-expressions', 'reasoner': 'prolog', 'count': 20, 'cpu': 99.4, 'rss': 8417280, 'vms': 4714496, 'uss': 5267456, 'wall_time': 17.727821702, 'exclusive_time': 14.734, 'triples_before': 27329, 'triples_after': 45588, 'iterations': 5}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 20, 'cpu': 100.3, 'rss': 13164544, 'vms': 214904832, 'uss': 9912320, 'wall_time': 25.155410766000017, 'exclusive_time': 21.862, 'triples_before': 27329, 'triples_after': 45748, 'iterations': 11}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 13, 'cpu': 109.19999999999999, 'rss': 12750848, 'vms': 214892544, 'uss': 9527296, 'wall_time': 23.683556616, 'exclusive_time': 21.527, 'triples_before': 836, 'triples_after': 7491, 'iterations': 54}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 13, 'cpu': 100.3, 'rss': 12922880, 'vms': 214863872, 'uss': 9707520, 'wall_time': 23.627405461, 'exclusive_time': 21.623, 'triples_before': 836, 'triples_after': 7491, 'iterations': 54}
{'dataset': 'penskoy-expressions', 'reasoner': 'sparql', 'count': 17, 'cpu': 100.0, 'rss': 13062144, 'vms': 214921216, 'uss': 9854976, 'wall_time': 13.712934371000001, 'exclusive_time': 11.575, 'triples_before': 1344, 'triples_after': 13038, 'iterations': 11}