-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathfull_eval.txt
1717 lines (1717 loc) · 355 KB
/
full_eval.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
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 0, 'cpu': 0.0, 'rss': 0.0, 'vms': 0.0, 'uss': 0.0, 'wall_time': 2.2680911230000005, 'exclusive_time': 0.193}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 0, 'cpu': 0.0, 'rss': 0.0, 'vms': 0.0, 'uss': 0.0, 'wall_time': 0.9511279429999995, 'exclusive_time': 0.126}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 0, 'cpu': 0.0, 'rss': 0.0, 'vms': 0.0, 'uss': 0.0, 'wall_time': 3.766061035999998, 'exclusive_time': 1.444}
{'dataset': 'correct_branching', 'reasoner': 'pellet', 'count': 0, 'wall_time': 4.881115235999999}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 0, 'cpu': 178.8022358132823, 'rss': 107585536, 'vms': 289562624, 'uss': 103272448, 'wall_time': 2.28845452, 'exclusive_time': 0.18}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 0, 'cpu': 89.74400871459697, 'rss': 12795904, 'vms': 8499200, 'uss': 9461760, 'wall_time': 0.9188722580000004, 'exclusive_time': 0.124}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 0, 'cpu': 199.6561058151851, 'rss': 124129280, 'vms': 304152576, 'uss': 119816192, 'wall_time': 3.584108019000002, 'exclusive_time': 1.324}
{'dataset': 'correct_branching', 'reasoner': 'pellet', 'count': 0, 'wall_time': 4.7874229889999995}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 0, 'cpu': 173.70859453993924, 'rss': 112451584, 'vms': 268238848, 'uss': 108150784, 'wall_time': 2.2962876109999995, 'exclusive_time': 0.17}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 0, 'cpu': 88.41481481481485, 'rss': 12800000, 'vms': 8503296, 'uss': 9461760, 'wall_time': 0.9346825550000002, 'exclusive_time': 0.122}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 0, 'cpu': 203.56729797979798, 'rss': 127373312, 'vms': 306892800, 'uss': 123052032, 'wall_time': 3.530973537999998, 'exclusive_time': 1.297}
{'dataset': 'correct_branching', 'reasoner': 'pellet', 'count': 0, 'wall_time': 5.045467491}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 1, 'cpu': 212.50052189905975, 'rss': 129835008, 'vms': 301654016, 'uss': 125509632, 'wall_time': 3.249764405999997, 'exclusive_time': 0.491}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 1, 'cpu': 94.93544802867382, 'rss': 14995456, 'vms': 10358784, 'uss': 11051008, 'wall_time': 1.5735303680000001, 'exclusive_time': 0.325}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 1, 'cpu': 231.02763211382117, 'rss': 140161024, 'vms': 311742464, 'uss': 135852032, 'wall_time': 4.555313570000003, 'exclusive_time': 1.526}
{'dataset': 'correct_branching', 'reasoner': 'pellet', 'count': 1, 'wall_time': 5.871904491000002}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 2, 'cpu': 220.1051269739651, 'rss': 157589504, 'vms': 359395328, 'uss': 153264128, 'wall_time': 4.040204069000012, 'exclusive_time': 0.767}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 2, 'cpu': 96.17465977605508, 'rss': 16474112, 'vms': 11747328, 'uss': 12541952, 'wall_time': 2.235072842000008, 'exclusive_time': 0.498}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 2, 'cpu': 247.2093601295484, 'rss': 162328576, 'vms': 378503168, 'uss': 158015488, 'wall_time': 5.001994179999997, 'exclusive_time': 1.749}
{'dataset': 'correct_branching', 'reasoner': 'pellet', 'count': 2, 'wall_time': 7.003188636000004}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 3, 'cpu': 235.29400143125704, 'rss': 188903424, 'vms': 405614592, 'uss': 184627200, 'wall_time': 4.615674389000006, 'exclusive_time': 0.988}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 3, 'cpu': 96.6188311688311, 'rss': 18489344, 'vms': 14213120, 'uss': 14553088, 'wall_time': 2.8246162470000087, 'exclusive_time': 0.647}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 3, 'cpu': 239.42194882064996, 'rss': 171593728, 'vms': 381333504, 'uss': 167301120, 'wall_time': 5.661964076000004, 'exclusive_time': 1.954}
{'dataset': 'correct_branching', 'reasoner': 'pellet', 'count': 3, 'wall_time': 8.086644712000009}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 4, 'cpu': 245.19137095986738, 'rss': 211341312, 'vms': 416600064, 'uss': 207015936, 'wall_time': 5.334147712999993, 'exclusive_time': 1.082}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 4, 'cpu': 95.42641765489361, 'rss': 20332544, 'vms': 15740928, 'uss': 16379904, 'wall_time': 3.5521024619999935, 'exclusive_time': 0.82}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 4, 'cpu': 251.8781660571586, 'rss': 186023936, 'vms': 394432512, 'uss': 181710848, 'wall_time': 6.0021407380000085, 'exclusive_time': 2.025}
{'dataset': 'correct_branching', 'reasoner': 'pellet', 'count': 4, 'wall_time': 8.996443013000004}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 5, 'cpu': 240.47424836601328, 'rss': 204152832, 'vms': 410300416, 'uss': 199839744, 'wall_time': 5.773949331000011, 'exclusive_time': 1.185}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 5, 'cpu': 97.71745599072234, 'rss': 22265856, 'vms': 17846272, 'uss': 18448384, 'wall_time': 4.159654061999987, 'exclusive_time': 1.023}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 5, 'cpu': 240.7837926230917, 'rss': 206438400, 'vms': 392675328, 'uss': 202088448, 'wall_time': 6.705293761000007, 'exclusive_time': 2.168}
{'dataset': 'correct_branching', 'reasoner': 'pellet', 'count': 5, 'wall_time': 10.535066442000016}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 6, 'cpu': 199.00567666083205, 'rss': 132853760, 'vms': 305070080, 'uss': 128569344, 'wall_time': 3.714120522, 'exclusive_time': 0.74}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 6, 'cpu': 93.28907407407405, 'rss': 13783040, 'vms': 9273344, 'uss': 9973760, 'wall_time': 2.3205533870000004, 'exclusive_time': 1.263}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 6, 'cpu': 225.43036987121909, 'rss': 160411648, 'vms': 371879936, 'uss': 156110848, 'wall_time': 6.0117388889999965, 'exclusive_time': 3.001}
{'dataset': 'correct_branching', 'reasoner': 'pellet', 'count': 6, 'wall_time': 11.837519303}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 6, 'cpu': 201.73217920864272, 'rss': 141602816, 'vms': 314970112, 'uss': 137334784, 'wall_time': 3.60818278, 'exclusive_time': 0.756}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 6, 'cpu': 95.99057913631083, 'rss': 13787136, 'vms': 9265152, 'uss': 9928704, 'wall_time': 2.3936189190000015, 'exclusive_time': 1.311}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 6, 'cpu': 225.58667360905557, 'rss': 153493504, 'vms': 365514752, 'uss': 149213184, 'wall_time': 6.508126940999997, 'exclusive_time': 3.13}
{'dataset': 'correct_branching', 'reasoner': 'pellet', 'count': 6, 'wall_time': 13.798049495}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 7, 'cpu': 210.5923182659607, 'rss': 174182400, 'vms': 361697280, 'uss': 169922560, 'wall_time': 5.493762691999997, 'exclusive_time': 1.252}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 7, 'cpu': 91.52240165180893, 'rss': 15204352, 'vms': 10567680, 'uss': 11325440, 'wall_time': 3.880027279999993, 'exclusive_time': 2.128}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 7, 'cpu': 228.00326414302944, 'rss': 182517760, 'vms': 396001280, 'uss': 178241536, 'wall_time': 8.178003739999994, 'exclusive_time': 4.148}
{'dataset': 'correct_branching', 'reasoner': 'pellet', 'count': 7, 'wall_time': 20.565800845000012}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 8, 'cpu': 223.3744417984573, 'rss': 206082048, 'vms': 376422400, 'uss': 201789440, 'wall_time': 6.284228246999987, 'exclusive_time': 1.642}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 8, 'cpu': 97.34156051222276, 'rss': 16961536, 'vms': 12333056, 'uss': 13041664, 'wall_time': 4.859163138000014, 'exclusive_time': 2.537}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 8, 'cpu': 222.02635758167185, 'rss': 235384832, 'vms': 518365184, 'uss': 231100416, 'wall_time': 9.25649390800001, 'exclusive_time': 4.598}
{'dataset': 'correct_branching', 'reasoner': 'pellet', 'count': 8, 'wall_time': 22.752489182000005}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 9, 'cpu': 238.00976290552794, 'rss': 224890880, 'vms': 431013888, 'uss': 220622848, 'wall_time': 7.527182543999999, 'exclusive_time': 1.945}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 9, 'cpu': 96.79239444307983, 'rss': 19210240, 'vms': 14663680, 'uss': 15282176, 'wall_time': 5.9425664529999835, 'exclusive_time': 2.967}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 9, 'cpu': 232.43021319848992, 'rss': 228298752, 'vms': 505356288, 'uss': 224018432, 'wall_time': 10.005211638000048, 'exclusive_time': 4.499}
{'dataset': 'correct_branching', 'reasoner': 'pellet', 'count': 9, 'wall_time': 24.702587303999962}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 12, 'cpu': 222.6190909090909, 'rss': 194637824, 'vms': 370515968, 'uss': 190312448, 'wall_time': 3.496521422, 'exclusive_time': 1.079}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 12, 'cpu': 94.81601794101796, 'rss': 14000128, 'vms': 9445376, 'uss': 10096640, 'wall_time': 4.017170365000002, 'exclusive_time': 2.771}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 12, 'cpu': 241.77338280766853, 'rss': 215773184, 'vms': 498655232, 'uss': 211509248, 'wall_time': 5.445096794000001, 'exclusive_time': 3.12}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 13, 'cpu': 225.5426075268817, 'rss': 198025216, 'vms': 375881728, 'uss': 191049728, 'wall_time': 3.628638999000003, 'exclusive_time': 1.21}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 13, 'cpu': 98.7203082029398, 'rss': 13955072, 'vms': 9293824, 'uss': 10059776, 'wall_time': 4.010049063000004, 'exclusive_time': 3.066}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 13, 'cpu': 243.76645385701454, 'rss': 211533824, 'vms': 487464960, 'uss': 197582848, 'wall_time': 5.652535446999991, 'exclusive_time': 3.326}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 14, 'cpu': 238.70860215053764, 'rss': 176152576, 'vms': 317943808, 'uss': 171872256, 'wall_time': 3.484726841000011, 'exclusive_time': 1.206}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 14, 'cpu': 97.90743321718934, 'rss': 14237696, 'vms': 9531392, 'uss': 10297344, 'wall_time': 4.400111483000003, 'exclusive_time': 3.399}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 14, 'cpu': 225.81470984353345, 'rss': 201285632, 'vms': 483557376, 'uss': 196964352, 'wall_time': 5.73873999300001, 'exclusive_time': 3.319}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 15, 'cpu': 239.28385199240986, 'rss': 201555968, 'vms': 379961344, 'uss': 197271552, 'wall_time': 3.531924217000011, 'exclusive_time': 1.157}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 15, 'cpu': 98.4727272727273, 'rss': 14123008, 'vms': 9515008, 'uss': 10264576, 'wall_time': 4.674908657000003, 'exclusive_time': 3.699}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 15, 'cpu': 245.65280944364278, 'rss': 230989824, 'vms': 515268608, 'uss': 226652160, 'wall_time': 5.876383333999996, 'exclusive_time': 3.543}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 16, 'cpu': 241.9351641414141, 'rss': 197853184, 'vms': 376205312, 'uss': 189718528, 'wall_time': 3.5159077600000046, 'exclusive_time': 1.197}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 16, 'cpu': 98.74480576689514, 'rss': 14184448, 'vms': 9633792, 'uss': 10285056, 'wall_time': 4.900488872000011, 'exclusive_time': 3.835}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 16, 'cpu': 239.2519227994228, 'rss': 213372928, 'vms': 495382528, 'uss': 206143488, 'wall_time': 5.99980214499999, 'exclusive_time': 3.586}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 17, 'cpu': 248.9003463990306, 'rss': 231014400, 'vms': 489476096, 'uss': 226721792, 'wall_time': 4.151264046999984, 'exclusive_time': 1.743}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 17, 'cpu': 98.52661111111111, 'rss': 14233600, 'vms': 9535488, 'uss': 10301440, 'wall_time': 5.128296784000014, 'exclusive_time': 4.063}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 17, 'cpu': 237.5081662489557, 'rss': 220573696, 'vms': 504750080, 'uss': 216309760, 'wall_time': 5.850839564000012, 'exclusive_time': 3.448}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 18, 'cpu': 246.14274884640736, 'rss': 228278272, 'vms': 496037888, 'uss': 224002048, 'wall_time': 4.270095072999993, 'exclusive_time': 1.805}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 18, 'cpu': 99.20481895709425, 'rss': 14372864, 'vms': 9682944, 'uss': 10432512, 'wall_time': 5.3929183660000035, 'exclusive_time': 4.326}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 18, 'cpu': 249.9883338289226, 'rss': 234029056, 'vms': 517091328, 'uss': 229728256, 'wall_time': 6.243525878000014, 'exclusive_time': 3.8}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 19, 'cpu': 252.5085256410256, 'rss': 228671488, 'vms': 495443968, 'uss': 224362496, 'wall_time': 4.415590067999972, 'exclusive_time': 2.0}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 19, 'cpu': 98.84587662337664, 'rss': 14438400, 'vms': 9715712, 'uss': 10502144, 'wall_time': 5.814501720999999, 'exclusive_time': 4.743}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 19, 'cpu': 254.18166666666664, 'rss': 234532864, 'vms': 516210688, 'uss': 230227968, 'wall_time': 6.653440203999992, 'exclusive_time': 4.164}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 20, 'cpu': 258.73032199400944, 'rss': 236867584, 'vms': 488640512, 'uss': 232542208, 'wall_time': 4.467788037999981, 'exclusive_time': 2.081}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 20, 'cpu': 98.4392879236861, 'rss': 14364672, 'vms': 9707520, 'uss': 10432512, 'wall_time': 6.014468306000026, 'exclusive_time': 5.002}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 20, 'cpu': 233.95925265140252, 'rss': 212602880, 'vms': 496291840, 'uss': 208191488, 'wall_time': 6.362615823999988, 'exclusive_time': 3.91}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 21, 'cpu': 248.91987179487182, 'rss': 229392384, 'vms': 486825984, 'uss': 225091584, 'wall_time': 4.411958335999998, 'exclusive_time': 1.97}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 21, 'cpu': 98.95347247098157, 'rss': 14368768, 'vms': 9715712, 'uss': 10444800, 'wall_time': 6.291866414000026, 'exclusive_time': 5.217}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 21, 'cpu': 235.32475972232717, 'rss': 234164224, 'vms': 517234688, 'uss': 229863424, 'wall_time': 6.734891352999966, 'exclusive_time': 4.238}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 22, 'cpu': 248.82785074004582, 'rss': 225427456, 'vms': 493006848, 'uss': 221151232, 'wall_time': 4.511971184999993, 'exclusive_time': 2.039}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 22, 'cpu': 99.44066471163245, 'rss': 14389248, 'vms': 9740288, 'uss': 10444800, 'wall_time': 6.665097507999974, 'exclusive_time': 5.61}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 22, 'cpu': 230.08190551736297, 'rss': 215011328, 'vms': 496414720, 'uss': 210714624, 'wall_time': 6.6811989699999685, 'exclusive_time': 4.24}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 23, 'cpu': 249.25976190476192, 'rss': 228593664, 'vms': 487378944, 'uss': 224296960, 'wall_time': 4.6107109240000455, 'exclusive_time': 2.073}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 23, 'cpu': 98.40425722425721, 'rss': 14491648, 'vms': 9875456, 'uss': 10584064, 'wall_time': 6.675868619000084, 'exclusive_time': 5.507}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 23, 'cpu': 233.35805512886157, 'rss': 222654464, 'vms': 499826688, 'uss': 218357760, 'wall_time': 6.6395039080000515, 'exclusive_time': 4.14}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 24, 'cpu': 251.6324390243902, 'rss': 235278336, 'vms': 500518912, 'uss': 230993920, 'wall_time': 4.597662286000059, 'exclusive_time': 2.133}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 24, 'cpu': 98.89509049773756, 'rss': 14520320, 'vms': 9863168, 'uss': 10584064, 'wall_time': 6.965517106999982, 'exclusive_time': 5.863}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 24, 'cpu': 228.23699596774193, 'rss': 215932928, 'vms': 497520640, 'uss': 211640320, 'wall_time': 6.963168254000038, 'exclusive_time': 4.461}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 25, 'cpu': 256.31171204386465, 'rss': 258502656, 'vms': 495812608, 'uss': 254496768, 'wall_time': 4.536211068000057, 'exclusive_time': 1.967}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 25, 'cpu': 98.89033485540335, 'rss': 14577664, 'vms': 9928704, 'uss': 10645504, 'wall_time': 7.394385911000086, 'exclusive_time': 6.307}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 25, 'cpu': 221.41470835828406, 'rss': 218583040, 'vms': 500064256, 'uss': 214061056, 'wall_time': 6.70941939699992, 'exclusive_time': 4.268}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 26, 'cpu': 248.90387596899222, 'rss': 249257984, 'vms': 489066496, 'uss': 245190656, 'wall_time': 4.853439031999983, 'exclusive_time': 2.195}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 26, 'cpu': 99.24646488593858, 'rss': 14520320, 'vms': 9875456, 'uss': 10584064, 'wall_time': 7.918650464999928, 'exclusive_time': 6.652}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 26, 'cpu': 245.44222259239518, 'rss': 227004416, 'vms': 510726144, 'uss': 221233152, 'wall_time': 7.2665830299999925, 'exclusive_time': 4.713}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 27, 'cpu': 256.5416470842449, 'rss': 260075520, 'vms': 494915584, 'uss': 255778816, 'wall_time': 4.740941309999926, 'exclusive_time': 2.21}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 27, 'cpu': 98.73050854700857, 'rss': 14643200, 'vms': 10035200, 'uss': 10723328, 'wall_time': 8.122248293999974, 'exclusive_time': 6.951}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 27, 'cpu': 225.69831258846182, 'rss': 212230144, 'vms': 494104576, 'uss': 207908864, 'wall_time': 7.032772550000004, 'exclusive_time': 4.58}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 28, 'cpu': 259.7727759320783, 'rss': 264675328, 'vms': 500867072, 'uss': 260386816, 'wall_time': 4.841809085000023, 'exclusive_time': 2.337}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 28, 'cpu': 99.42428418803418, 'rss': 14770176, 'vms': 10141696, 'uss': 10838016, 'wall_time': 8.455369116000043, 'exclusive_time': 7.293}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 28, 'cpu': 234.32517094017092, 'rss': 254472192, 'vms': 519991296, 'uss': 250167296, 'wall_time': 7.197151186000042, 'exclusive_time': 4.68}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 29, 'cpu': 257.4281007751938, 'rss': 267948032, 'vms': 493494272, 'uss': 263667712, 'wall_time': 4.562374783999985, 'exclusive_time': 2.12}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 29, 'cpu': 98.68401014109345, 'rss': 14798848, 'vms': 10141696, 'uss': 10850304, 'wall_time': 8.631826658000023, 'exclusive_time': 7.419}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 29, 'cpu': 225.70015724471605, 'rss': 264114176, 'vms': 502841344, 'uss': 259850240, 'wall_time': 7.47934958999997, 'exclusive_time': 4.882}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 30, 'cpu': 254.39811111111112, 'rss': 264552448, 'vms': 439959552, 'uss': 260259840, 'wall_time': 5.605186137000032, 'exclusive_time': 2.759}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 30, 'cpu': 99.36090475985476, 'rss': 14835712, 'vms': 10199040, 'uss': 10903552, 'wall_time': 9.417246184999954, 'exclusive_time': 8.175}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 30, 'cpu': 221.51123727972194, 'rss': 310575104, 'vms': 516468736, 'uss': 306302976, 'wall_time': 8.91341195699988, 'exclusive_time': 6.014}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 31, 'cpu': 258.8225183150184, 'rss': 345305088, 'vms': 631398400, 'uss': 341032960, 'wall_time': 6.0508476729999074, 'exclusive_time': 2.905}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 31, 'cpu': 97.54229865643526, 'rss': 14905344, 'vms': 10252288, 'uss': 10997760, 'wall_time': 9.879700452999941, 'exclusive_time': 8.581}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 31, 'cpu': 225.22756741250723, 'rss': 325529600, 'vms': 515809280, 'uss': 321224704, 'wall_time': 9.397704006999902, 'exclusive_time': 6.536}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 32, 'cpu': 263.1636796391333, 'rss': 327626752, 'vms': 724078592, 'uss': 323321856, 'wall_time': 7.353181331999849, 'exclusive_time': 4.428}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 32, 'cpu': 99.25143945559772, 'rss': 14962688, 'vms': 10379264, 'uss': 11034624, 'wall_time': 10.20568678299992, 'exclusive_time': 8.929}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 32, 'cpu': 229.57738095238096, 'rss': 355713024, 'vms': 755134464, 'uss': 351453184, 'wall_time': 9.532851447999974, 'exclusive_time': 6.596}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 33, 'cpu': 270.4322060214376, 'rss': 340353024, 'vms': 734969856, 'uss': 336060416, 'wall_time': 7.187397683999961, 'exclusive_time': 4.353}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 33, 'cpu': 99.2013915920469, 'rss': 14921728, 'vms': 10280960, 'uss': 10985472, 'wall_time': 10.590064666999979, 'exclusive_time': 9.294}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 33, 'cpu': 231.07544494720972, 'rss': 354942976, 'vms': 760119296, 'uss': 350666752, 'wall_time': 9.796293718000015, 'exclusive_time': 6.826}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 34, 'cpu': 257.85860622352556, 'rss': 350130176, 'vms': 744861696, 'uss': 345837568, 'wall_time': 7.487103540000135, 'exclusive_time': 4.483}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 34, 'cpu': 98.91150793650786, 'rss': 14934016, 'vms': 10362880, 'uss': 11038720, 'wall_time': 11.298654538999926, 'exclusive_time': 9.913}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 34, 'cpu': 216.58753545555416, 'rss': 351547392, 'vms': 756850688, 'uss': 347258880, 'wall_time': 9.945179112000005, 'exclusive_time': 7.028}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 35, 'cpu': 271.09227994227996, 'rss': 346497024, 'vms': 742572032, 'uss': 342200320, 'wall_time': 7.542084665999937, 'exclusive_time': 4.467}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 35, 'cpu': 99.23947647953759, 'rss': 15101952, 'vms': 10465280, 'uss': 11173888, 'wall_time': 11.526457077000032, 'exclusive_time': 10.165}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 35, 'cpu': 206.0669189088466, 'rss': 354869248, 'vms': 762040320, 'uss': 350572544, 'wall_time': 9.624646731000212, 'exclusive_time': 6.697}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 36, 'cpu': 270.06226250836426, 'rss': 342183936, 'vms': 735162368, 'uss': 337858560, 'wall_time': 7.07751164299998, 'exclusive_time': 4.247}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 36, 'cpu': 99.51136779068082, 'rss': 15085568, 'vms': 10493952, 'uss': 11186176, 'wall_time': 12.316484908999882, 'exclusive_time': 11.029}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 36, 'cpu': 215.5087174656619, 'rss': 350806016, 'vms': 749494272, 'uss': 346497024, 'wall_time': 9.19983761200001, 'exclusive_time': 6.485}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 37, 'cpu': 248.77805588520877, 'rss': 330358784, 'vms': 704004096, 'uss': 326062080, 'wall_time': 5.276343371999928, 'exclusive_time': 2.595}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 37, 'cpu': 99.37349873577743, 'rss': 15003648, 'vms': 10293248, 'uss': 11067392, 'wall_time': 11.931223274000104, 'exclusive_time': 10.626}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 37, 'cpu': 216.7514286413948, 'rss': 349319168, 'vms': 745840640, 'uss': 345055232, 'wall_time': 9.061158587999898, 'exclusive_time': 6.415}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 38, 'cpu': 266.16764683167935, 'rss': 388149248, 'vms': 710062080, 'uss': 383848448, 'wall_time': 5.304557447999969, 'exclusive_time': 2.729}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 38, 'cpu': 99.47530533878349, 'rss': 15065088, 'vms': 10432512, 'uss': 11128832, 'wall_time': 12.288501418999886, 'exclusive_time': 10.969}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 38, 'cpu': 205.66291271790305, 'rss': 345157632, 'vms': 750522368, 'uss': 340885504, 'wall_time': 9.26900858199997, 'exclusive_time': 6.668}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 39, 'cpu': 268.3753580246913, 'rss': 344866816, 'vms': 714407936, 'uss': 340557824, 'wall_time': 5.809082457000159, 'exclusive_time': 3.192}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 39, 'cpu': 99.49422222222212, 'rss': 15224832, 'vms': 10551296, 'uss': 11272192, 'wall_time': 12.86597813200001, 'exclusive_time': 11.571}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 39, 'cpu': 217.10581395348837, 'rss': 358395904, 'vms': 762761216, 'uss': 354066432, 'wall_time': 9.58744468000009, 'exclusive_time': 6.907}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 40, 'cpu': 264.4193191489361, 'rss': 349253632, 'vms': 582664192, 'uss': 342310912, 'wall_time': 5.412999883000111, 'exclusive_time': 2.723}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 40, 'cpu': 99.38582978514755, 'rss': 15159296, 'vms': 10534912, 'uss': 11255808, 'wall_time': 13.286771046000013, 'exclusive_time': 11.941}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 40, 'cpu': 203.38469167377102, 'rss': 347279360, 'vms': 752926720, 'uss': 342982656, 'wall_time': 9.616519057000005, 'exclusive_time': 6.968}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 41, 'cpu': 267.0043061802432, 'rss': 335642624, 'vms': 720318464, 'uss': 331350016, 'wall_time': 5.349694205000105, 'exclusive_time': 2.733}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 41, 'cpu': 99.19394699448124, 'rss': 15187968, 'vms': 10498048, 'uss': 11288576, 'wall_time': 13.927055136000035, 'exclusive_time': 12.586}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 41, 'cpu': 212.56708180708176, 'rss': 343846912, 'vms': 656011264, 'uss': 339566592, 'wall_time': 9.874798053999939, 'exclusive_time': 7.185}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 42, 'cpu': 250.890573286052, 'rss': 339226624, 'vms': 570388480, 'uss': 334946304, 'wall_time': 5.229570039000009, 'exclusive_time': 2.598}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 42, 'cpu': 99.29460093896701, 'rss': 15302656, 'vms': 10616832, 'uss': 11345920, 'wall_time': 14.6092301890003, 'exclusive_time': 13.209}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 42, 'cpu': 194.19033409119615, 'rss': 341962752, 'vms': 748105728, 'uss': 337666048, 'wall_time': 9.630840315000114, 'exclusive_time': 7.023}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 43, 'cpu': 264.8963083550391, 'rss': 373391360, 'vms': 717279232, 'uss': 369098752, 'wall_time': 5.274145474999841, 'exclusive_time': 2.675}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 43, 'cpu': 99.61413585724131, 'rss': 15355904, 'vms': 10743808, 'uss': 11419648, 'wall_time': 14.770003473999623, 'exclusive_time': 13.445}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 43, 'cpu': 209.14330841936135, 'rss': 342396928, 'vms': 654270464, 'uss': 338128896, 'wall_time': 9.660740798000006, 'exclusive_time': 6.954}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 44, 'cpu': 259.46682628471336, 'rss': 372088832, 'vms': 699330560, 'uss': 367788032, 'wall_time': 5.262448599999971, 'exclusive_time': 2.609}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 44, 'cpu': 99.77292609351423, 'rss': 15368192, 'vms': 10711040, 'uss': 11423744, 'wall_time': 15.819436852000308, 'exclusive_time': 14.457}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 44, 'cpu': 203.63503680512608, 'rss': 352071680, 'vms': 757211136, 'uss': 347738112, 'wall_time': 10.69713091199992, 'exclusive_time': 8.008}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 45, 'cpu': 265.5085638600157, 'rss': 438292480, 'vms': 730664960, 'uss': 433999872, 'wall_time': 6.702656675000071, 'exclusive_time': 4.023}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 45, 'cpu': 99.29811564274634, 'rss': 15413248, 'vms': 10756096, 'uss': 11497472, 'wall_time': 16.04161543200007, 'exclusive_time': 14.656}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 45, 'cpu': 181.3097438087391, 'rss': 342413312, 'vms': 746094592, 'uss': 338067456, 'wall_time': 10.619835686999977, 'exclusive_time': 7.851}
{'dataset': 'err_branching', 'reasoner': 'jena', 'count': 43, 'cpu': 257.01509433962264, 'rss': 367906816, 'vms': 707686400, 'uss': 363642880, 'wall_time': 6.0770993230000006, 'exclusive_time': 3.636}
{'dataset': 'err_branching', 'reasoner': 'prolog', 'count': 43, 'cpu': 99.34192139737975, 'rss': 15454208, 'vms': 10866688, 'uss': 11530240, 'wall_time': 25.134538733, 'exclusive_time': 23.785}
{'dataset': 'err_branching', 'reasoner': 'sparql', 'count': 43, 'cpu': 184.4491379310345, 'rss': 570810368, 'vms': 860299264, 'uss': 566550528, 'wall_time': 12.865621993999994, 'exclusive_time': 10.259}
{'dataset': 'err_branching', 'reasoner': 'jena', 'count': 44, 'cpu': 265.41090909090906, 'rss': 371941376, 'vms': 697901056, 'uss': 367697920, 'wall_time': 6.194556603000002, 'exclusive_time': 3.709}
{'dataset': 'err_branching', 'reasoner': 'prolog', 'count': 44, 'cpu': 99.10970464135006, 'rss': 14811136, 'vms': 10809344, 'uss': 11497472, 'wall_time': 25.893757905, 'exclusive_time': 24.622}
{'dataset': 'err_branching', 'reasoner': 'sparql', 'count': 44, 'cpu': 181.5633333333333, 'rss': 474865664, 'vms': 655028224, 'uss': 470614016, 'wall_time': 13.211442156000004, 'exclusive_time': 10.662}
{'dataset': 'err_branching', 'reasoner': 'jena', 'count': 45, 'cpu': 280.58983050847445, 'rss': 402698240, 'vms': 707903488, 'uss': 398442496, 'wall_time': 6.6649138200000095, 'exclusive_time': 4.197}
{'dataset': 'err_branching', 'reasoner': 'prolog', 'count': 45, 'cpu': 99.66774193548375, 'rss': 15638528, 'vms': 10989568, 'uss': 11673600, 'wall_time': 27.026885762000006, 'exclusive_time': 25.764}
{'dataset': 'err_branching', 'reasoner': 'sparql', 'count': 45, 'cpu': 183.17, 'rss': 475168768, 'vms': 858251264, 'uss': 470937600, 'wall_time': 13.17301633599999, 'exclusive_time': 10.642}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 1, 'cpu': 193.79312865497076, 'rss': 98549760, 'vms': 277917696, 'uss': 94187520, 'wall_time': 2.006079756, 'exclusive_time': 0.164}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 1, 'cpu': 91.05, 'rss': 12730368, 'vms': 8478720, 'uss': 9392128, 'wall_time': 0.984494056, 'exclusive_time': 0.093}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 1, 'cpu': 220.51166666666666, 'rss': 125968384, 'vms': 306470912, 'uss': 121671680, 'wall_time': 2.7686355890000005, 'exclusive_time': 0.893}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 2, 'cpu': 210.59722222222223, 'rss': 111792128, 'vms': 267743232, 'uss': 107524096, 'wall_time': 2.0729087129999986, 'exclusive_time': 0.188}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 2, 'cpu': 87.43124999999999, 'rss': 12861440, 'vms': 8622080, 'uss': 9523200, 'wall_time': 0.9838330749999997, 'exclusive_time': 0.171}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 2, 'cpu': 227.39444444444442, 'rss': 126545920, 'vms': 307281920, 'uss': 122261504, 'wall_time': 2.9704097350000005, 'exclusive_time': 1.086}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 3, 'cpu': 217.2161842105263, 'rss': 121982976, 'vms': 292511744, 'uss': 117723136, 'wall_time': 2.123380218000001, 'exclusive_time': 0.304}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 3, 'cpu': 95.57692307692307, 'rss': 12963840, 'vms': 8859648, 'uss': 9629696, 'wall_time': 1.5234912119999997, 'exclusive_time': 0.749}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 3, 'cpu': 244.48194444444437, 'rss': 147742720, 'vms': 307466240, 'uss': 143474688, 'wall_time': 3.7822382199999964, 'exclusive_time': 1.796}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 4, 'cpu': 226.58249999999998, 'rss': 130740224, 'vms': 303894528, 'uss': 124035072, 'wall_time': 2.304648802999999, 'exclusive_time': 0.397}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 4, 'cpu': 97.2916666666667, 'rss': 13783040, 'vms': 9109504, 'uss': 9846784, 'wall_time': 2.953169510000002, 'exclusive_time': 2.187}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 4, 'cpu': 254.71733615221981, 'rss': 218087424, 'vms': 499843072, 'uss': 213778432, 'wall_time': 4.7959287859999975, 'exclusive_time': 2.853}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 5, 'cpu': 230.3318181818182, 'rss': 143732736, 'vms': 305451008, 'uss': 139796480, 'wall_time': 2.4979064040000054, 'exclusive_time': 0.48}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 5, 'cpu': 98.6742424242425, 'rss': 13950976, 'vms': 9347072, 'uss': 10002432, 'wall_time': 3.70165665399999, 'exclusive_time': 2.887}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 5, 'cpu': 259.1238601823708, 'rss': 216973312, 'vms': 499552256, 'uss': 212688896, 'wall_time': 5.182039485000004, 'exclusive_time': 3.17}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 6, 'cpu': 229.5086956521739, 'rss': 156483584, 'vms': 308711424, 'uss': 152059904, 'wall_time': 2.616777978000002, 'exclusive_time': 0.59}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 6, 'cpu': 99.27609188882593, 'rss': 13934592, 'vms': 9252864, 'uss': 9998336, 'wall_time': 4.592576688000008, 'exclusive_time': 3.76}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 6, 'cpu': 248.14987770789656, 'rss': 209113088, 'vms': 484392960, 'uss': 199122944, 'wall_time': 5.8672160679999905, 'exclusive_time': 3.812}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 7, 'cpu': 244.75699999999995, 'rss': 174141440, 'vms': 317267968, 'uss': 169873408, 'wall_time': 2.867395357999996, 'exclusive_time': 0.823}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 7, 'cpu': 98.21415094339628, 'rss': 14147584, 'vms': 9453568, 'uss': 10244096, 'wall_time': 5.89467341000001, 'exclusive_time': 4.952}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 7, 'cpu': 235.2842672413793, 'rss': 226074624, 'vms': 507641856, 'uss': 220102656, 'wall_time': 6.152270419000018, 'exclusive_time': 4.116}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 8, 'cpu': 242.0711538461538, 'rss': 193568768, 'vms': 372195328, 'uss': 189300736, 'wall_time': 2.9437716570000134, 'exclusive_time': 0.899}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 8, 'cpu': 99.2145628078818, 'rss': 14118912, 'vms': 9482240, 'uss': 10231808, 'wall_time': 6.218485293000015, 'exclusive_time': 5.359}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 8, 'cpu': 245.65078125, 'rss': 254423040, 'vms': 518369280, 'uss': 250171392, 'wall_time': 7.028619555999995, 'exclusive_time': 4.896}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 9, 'cpu': 241.42863756613752, 'rss': 195313664, 'vms': 374865920, 'uss': 191049728, 'wall_time': 3.028161802999989, 'exclusive_time': 0.964}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 9, 'cpu': 99.42043269230771, 'rss': 14249984, 'vms': 9613312, 'uss': 10330112, 'wall_time': 7.017804477999988, 'exclusive_time': 6.104}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 9, 'cpu': 236.4951331967213, 'rss': 230051840, 'vms': 499372032, 'uss': 225738752, 'wall_time': 6.701480782999994, 'exclusive_time': 4.565}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 10, 'cpu': 247.98916256157634, 'rss': 196653056, 'vms': 376770560, 'uss': 192401408, 'wall_time': 3.158620333000016, 'exclusive_time': 1.06}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 10, 'cpu': 99.11381578947368, 'rss': 14237696, 'vms': 9588736, 'uss': 10301440, 'wall_time': 8.26245641700001, 'exclusive_time': 7.36}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 10, 'cpu': 219.7292226890756, 'rss': 329347072, 'vms': 736718848, 'uss': 325066752, 'wall_time': 7.42496447100001, 'exclusive_time': 5.181}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 11, 'cpu': 264.27575757575755, 'rss': 221675520, 'vms': 483270656, 'uss': 217411584, 'wall_time': 3.703622987999978, 'exclusive_time': 1.589}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 11, 'cpu': 98.84778208441, 'rss': 14389248, 'vms': 9773056, 'uss': 10452992, 'wall_time': 8.855065835999994, 'exclusive_time': 7.932}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 11, 'cpu': 214.6764682539682, 'rss': 329031680, 'vms': 737292288, 'uss': 324722688, 'wall_time': 7.656243877999998, 'exclusive_time': 5.448}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 12, 'cpu': 263.9026315789473, 'rss': 232493056, 'vms': 497180672, 'uss': 228229120, 'wall_time': 4.170745160000024, 'exclusive_time': 1.943}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 12, 'cpu': 99.28845171180372, 'rss': 14385152, 'vms': 9740288, 'uss': 10420224, 'wall_time': 10.424092933999987, 'exclusive_time': 9.423}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 12, 'cpu': 209.55036166365272, 'rss': 337022976, 'vms': 743550976, 'uss': 332742656, 'wall_time': 8.460823065999989, 'exclusive_time': 6.145}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 13, 'cpu': 267.8816541353383, 'rss': 231686144, 'vms': 496713728, 'uss': 227389440, 'wall_time': 3.910685471000022, 'exclusive_time': 1.793}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 13, 'cpu': 99.364477783243, 'rss': 14548992, 'vms': 9891840, 'uss': 10600448, 'wall_time': 11.60355591199999, 'exclusive_time': 10.565}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 13, 'cpu': 204.50588235294111, 'rss': 342044672, 'vms': 749232128, 'uss': 337768448, 'wall_time': 9.309909783000023, 'exclusive_time': 6.95}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 14, 'cpu': 270.4789575289575, 'rss': 246661120, 'vms': 489361408, 'uss': 242364416, 'wall_time': 4.022402034000038, 'exclusive_time': 1.858}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 14, 'cpu': 99.6739037050293, 'rss': 14786560, 'vms': 10104832, 'uss': 10870784, 'wall_time': 16.148743721000017, 'exclusive_time': 15.115}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 14, 'cpu': 187.4120660635388, 'rss': 399028224, 'vms': 739872768, 'uss': 395149312, 'wall_time': 10.693851897999991, 'exclusive_time': 8.348}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 15, 'cpu': 274.7241758241758, 'rss': 336658432, 'vms': 602841088, 'uss': 332361728, 'wall_time': 4.455462425000007, 'exclusive_time': 2.264}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 15, 'cpu': 99.30088305657172, 'rss': 14880768, 'vms': 10260480, 'uss': 10956800, 'wall_time': 22.295539672000018, 'exclusive_time': 21.169}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 15, 'cpu': 192.51054336329983, 'rss': 570241024, 'vms': 763318272, 'uss': 566034432, 'wall_time': 13.53140930699999, 'exclusive_time': 11.131}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 16, 'cpu': 266.8416166466586, 'rss': 335368192, 'vms': 725618688, 'uss': 331108352, 'wall_time': 5.461878290000072, 'exclusive_time': 3.161}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 16, 'cpu': 99.51743318707604, 'rss': 14958592, 'vms': 10366976, 'uss': 11038720, 'wall_time': 23.748931218000052, 'exclusive_time': 22.612}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 16, 'cpu': 169.37210069444438, 'rss': 574578688, 'vms': 737869824, 'uss': 570290176, 'wall_time': 14.078434965000042, 'exclusive_time': 11.682}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 17, 'cpu': 273.03978260869565, 'rss': 340377600, 'vms': 723845120, 'uss': 337195008, 'wall_time': 5.2087645230000135, 'exclusive_time': 2.799}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 17, 'cpu': 99.52527930402923, 'rss': 15155200, 'vms': 10547200, 'uss': 11218944, 'wall_time': 29.67520275200002, 'exclusive_time': 28.562}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 17, 'cpu': 163.5963965718738, 'rss': 576774144, 'vms': 865939456, 'uss': 573542400, 'wall_time': 16.745362018000037, 'exclusive_time': 14.29}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 18, 'cpu': 268.0160317460318, 'rss': 340160512, 'vms': 575315968, 'uss': 335863808, 'wall_time': 4.785329149000063, 'exclusive_time': 2.463}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 18, 'cpu': 99.54451245140268, 'rss': 15286272, 'vms': 10620928, 'uss': 11317248, 'wall_time': 33.39615145799996, 'exclusive_time': 32.114}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 18, 'cpu': 169.87292532581898, 'rss': 579444736, 'vms': 751792128, 'uss': 575111168, 'wall_time': 18.358323599000073, 'exclusive_time': 15.761}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 19, 'cpu': 275.00530844155844, 'rss': 370655232, 'vms': 731529216, 'uss': 366436352, 'wall_time': 6.198469728999953, 'exclusive_time': 3.82}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 19, 'cpu': 99.54669398587217, 'rss': 15458304, 'vms': 10805248, 'uss': 11468800, 'wall_time': 37.986702211999955, 'exclusive_time': 36.775}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 19, 'cpu': 155.12171100164204, 'rss': 479629312, 'vms': 639528960, 'uss': 475320320, 'wall_time': 19.082160982999994, 'exclusive_time': 16.54}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 20, 'cpu': 274.1350071225071, 'rss': 440119296, 'vms': 729726976, 'uss': 435912704, 'wall_time': 5.850348101999998, 'exclusive_time': 3.482}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 20, 'cpu': 99.52674849467361, 'rss': 15577088, 'vms': 10891264, 'uss': 11603968, 'wall_time': 40.631112425999845, 'exclusive_time': 39.349}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 20, 'cpu': 151.73545375597055, 'rss': 474173440, 'vms': 646545408, 'uss': 469843968, 'wall_time': 20.638911319999806, 'exclusive_time': 18.084}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 21, 'cpu': 282.0015355603448, 'rss': 451727360, 'vms': 742150144, 'uss': 447557632, 'wall_time': 6.831790311000077, 'exclusive_time': 4.315}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 21, 'cpu': 99.42070215854277, 'rss': 15732736, 'vms': 11120640, 'uss': 11816960, 'wall_time': 45.463828014, 'exclusive_time': 44.149}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 21, 'cpu': 153.85110114777623, 'rss': 576897024, 'vms': 866967552, 'uss': 572551168, 'wall_time': 22.52631833500004, 'exclusive_time': 19.78}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 22, 'cpu': 280.560303030303, 'rss': 380858368, 'vms': 714563584, 'uss': 376569856, 'wall_time': 6.200115098000197, 'exclusive_time': 3.767}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 22, 'cpu': 99.76664971981259, 'rss': 15998976, 'vms': 11374592, 'uss': 12046336, 'wall_time': 50.105256241000006, 'exclusive_time': 48.798}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 22, 'cpu': 151.6023913000534, 'rss': 578506752, 'vms': 865419264, 'uss': 574210048, 'wall_time': 26.21761570900003, 'exclusive_time': 23.351}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 23, 'cpu': 258.1048806479114, 'rss': 521359360, 'vms': 835006464, 'uss': 517058560, 'wall_time': 7.857051223000099, 'exclusive_time': 4.991}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 23, 'cpu': 99.79903375715182, 'rss': 16175104, 'vms': 11550720, 'uss': 12267520, 'wall_time': 61.37865622000004, 'exclusive_time': 59.937}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 23, 'cpu': 147.63995901639362, 'rss': 579485696, 'vms': 866250752, 'uss': 575512576, 'wall_time': 28.619975408000073, 'exclusive_time': 25.615}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 24, 'cpu': 258.8275804924242, 'rss': 527765504, 'vms': 844025856, 'uss': 523497472, 'wall_time': 7.537706458999992, 'exclusive_time': 4.743}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 24, 'cpu': 99.78281043602502, 'rss': 16248832, 'vms': 11706368, 'uss': 12320768, 'wall_time': 63.94619574300009, 'exclusive_time': 62.362}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 24, 'cpu': 146.9242276879631, 'rss': 578932736, 'vms': 868036608, 'uss': 574660608, 'wall_time': 30.483271509999895, 'exclusive_time': 27.537}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 25, 'cpu': 278.60987824037716, 'rss': 550883328, 'vms': 865488896, 'uss': 546586624, 'wall_time': 8.03468612200004, 'exclusive_time': 5.167}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 25, 'cpu': 99.85038235677389, 'rss': 16449536, 'vms': 11837440, 'uss': 12517376, 'wall_time': 67.80888069399998, 'exclusive_time': 66.243}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 25, 'cpu': 145.90669039145945, 'rss': 579158016, 'vms': 864358400, 'uss': 575709184, 'wall_time': 32.58154177099982, 'exclusive_time': 29.657}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 26, 'cpu': 265.304794520548, 'rss': 540086272, 'vms': 851247104, 'uss': 535793664, 'wall_time': 8.109167901999626, 'exclusive_time': 5.287}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 26, 'cpu': 99.8382181997948, 'rss': 16596992, 'vms': 12005376, 'uss': 12648448, 'wall_time': 74.35970662800037, 'exclusive_time': 72.734}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 26, 'cpu': 144.92223230490072, 'rss': 580886528, 'vms': 862867456, 'uss': 576622592, 'wall_time': 33.92188990800014, 'exclusive_time': 30.964}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 27, 'cpu': 256.5674729536639, 'rss': 528728064, 'vms': 835178496, 'uss': 524484608, 'wall_time': 8.26689373499994, 'exclusive_time': 5.363}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 27, 'cpu': 99.91064503401836, 'rss': 16728064, 'vms': 12107776, 'uss': 12783616, 'wall_time': 76.56447448599965, 'exclusive_time': 74.845}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 27, 'cpu': 138.49304994313678, 'rss': 583516160, 'vms': 862924800, 'uss': 579248128, 'wall_time': 31.641473172000133, 'exclusive_time': 28.702}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 28, 'cpu': 277.62405128205125, 'rss': 624173056, 'vms': 972398592, 'uss': 619917312, 'wall_time': 8.858814817000166, 'exclusive_time': 6.057}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 28, 'cpu': 99.71815947833915, 'rss': 16834560, 'vms': 12156928, 'uss': 12877824, 'wall_time': 69.53076640100016, 'exclusive_time': 67.915}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 28, 'cpu': 141.20998715441377, 'rss': 580751360, 'vms': 865665024, 'uss': 576499712, 'wall_time': 31.742142605000026, 'exclusive_time': 29.155}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 29, 'cpu': 279.32435897435903, 'rss': 734613504, 'vms': 1103708160, 'uss': 730316800, 'wall_time': 9.274321834000148, 'exclusive_time': 6.435}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 29, 'cpu': 99.81473621723784, 'rss': 17035264, 'vms': 12472320, 'uss': 13082624, 'wall_time': 76.77030049999985, 'exclusive_time': 75.175}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 29, 'cpu': 142.61565339689736, 'rss': 576901120, 'vms': 761724928, 'uss': 572592128, 'wall_time': 35.413757593000355, 'exclusive_time': 32.604}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 30, 'cpu': 279.232513368984, 'rss': 765001728, 'vms': 1093246976, 'uss': 760676352, 'wall_time': 9.319670124999902, 'exclusive_time': 6.552}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 30, 'cpu': 99.87525097387723, 'rss': 17088512, 'vms': 12496896, 'uss': 13168640, 'wall_time': 81.37169906400004, 'exclusive_time': 79.778}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 30, 'cpu': 136.6342334421451, 'rss': 584626176, 'vms': 864038912, 'uss': 580345856, 'wall_time': 35.441804591000164, 'exclusive_time': 32.692}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 31, 'cpu': 278.6315336349045, 'rss': 763637760, 'vms': 1096212480, 'uss': 759345152, 'wall_time': 9.266168757000287, 'exclusive_time': 6.438}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 31, 'cpu': 99.78040391841185, 'rss': 17252352, 'vms': 12656640, 'uss': 13312000, 'wall_time': 88.10713610499988, 'exclusive_time': 86.507}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 31, 'cpu': 136.75857405281346, 'rss': 580489216, 'vms': 863485952, 'uss': 576221184, 'wall_time': 35.95453055400003, 'exclusive_time': 33.222}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 32, 'cpu': 272.18878289473685, 'rss': 762982400, 'vms': 1088856064, 'uss': 758722560, 'wall_time': 8.993605631000264, 'exclusive_time': 6.188}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 32, 'cpu': 99.89715217272249, 'rss': 17399808, 'vms': 12779520, 'uss': 13451264, 'wall_time': 91.40208221300009, 'exclusive_time': 89.64}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 32, 'cpu': 134.65193968448312, 'rss': 581689344, 'vms': 870162432, 'uss': 577474560, 'wall_time': 37.60196770099992, 'exclusive_time': 34.94}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 33, 'cpu': 272.15459770114956, 'rss': 774057984, 'vms': 1085898752, 'uss': 769757184, 'wall_time': 9.395673676000115, 'exclusive_time': 6.549}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 33, 'cpu': 99.08141698589765, 'rss': 17584128, 'vms': 12947456, 'uss': 13635584, 'wall_time': 104.9455494179997, 'exclusive_time': 103.114}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 33, 'cpu': 129.64024056400422, 'rss': 580583424, 'vms': 865755136, 'uss': 576593920, 'wall_time': 44.03371248199983, 'exclusive_time': 40.923}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 34, 'cpu': 275.4493979424832, 'rss': 770560000, 'vms': 1097265152, 'uss': 766296064, 'wall_time': 10.902708263999557, 'exclusive_time': 7.97}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 34, 'cpu': 99.43280291417682, 'rss': 17526784, 'vms': 12931072, 'uss': 13606912, 'wall_time': 113.1636258110002, 'exclusive_time': 111.225}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 34, 'cpu': 126.90849584899794, 'rss': 581677056, 'vms': 868114432, 'uss': 577384448, 'wall_time': 44.4548629990004, 'exclusive_time': 41.476}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 35, 'cpu': 277.0041582707456, 'rss': 969367552, 'vms': 1337556992, 'uss': 965103616, 'wall_time': 12.787848009999834, 'exclusive_time': 9.658}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 35, 'cpu': 99.67578897902663, 'rss': 17760256, 'vms': 13180928, 'uss': 13819904, 'wall_time': 112.74803476499983, 'exclusive_time': 110.836}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 35, 'cpu': 131.3496511627914, 'rss': 580268032, 'vms': 866410496, 'uss': 576700416, 'wall_time': 47.27043948699975, 'exclusive_time': 44.485}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 36, 'cpu': 282.54463297341454, 'rss': 957968384, 'vms': 1324232704, 'uss': 953708544, 'wall_time': 12.67756821400053, 'exclusive_time': 9.587}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 36, 'cpu': 99.63550336896624, 'rss': 17842176, 'vms': 13250560, 'uss': 13889536, 'wall_time': 119.19453706200056, 'exclusive_time': 117.253}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 36, 'cpu': 128.6765927876534, 'rss': 579514368, 'vms': 866545664, 'uss': 575201280, 'wall_time': 48.73391185000037, 'exclusive_time': 45.866}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 37, 'cpu': 291.77029291979966, 'rss': 955224064, 'vms': 1320693760, 'uss': 950923264, 'wall_time': 13.341333501000008, 'exclusive_time': 10.272}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 37, 'cpu': 99.37449275480832, 'rss': 18051072, 'vms': 13479936, 'uss': 14098432, 'wall_time': 130.32018063800024, 'exclusive_time': 128.326}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 37, 'cpu': 125.4259944008967, 'rss': 583516160, 'vms': 865988608, 'uss': 575938560, 'wall_time': 51.96967693999977, 'exclusive_time': 48.857}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 38, 'cpu': 280.2534942148761, 'rss': 869736448, 'vms': 1254432768, 'uss': 865423360, 'wall_time': 14.478641710000375, 'exclusive_time': 11.284}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 38, 'cpu': 99.62115910162372, 'rss': 18595840, 'vms': 14020608, 'uss': 14630912, 'wall_time': 135.89449753999997, 'exclusive_time': 133.816}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 38, 'cpu': 126.23053242047902, 'rss': 484421632, 'vms': 866816000, 'uss': 480133120, 'wall_time': 55.312574714999755, 'exclusive_time': 52.302}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 39, 'cpu': 276.33709109730864, 'rss': 1043783680, 'vms': 1332654080, 'uss': 1039486976, 'wall_time': 14.021298933000253, 'exclusive_time': 10.722}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 39, 'cpu': 99.68879311396628, 'rss': 18710528, 'vms': 14180352, 'uss': 14794752, 'wall_time': 140.56110020899996, 'exclusive_time': 138.446}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 39, 'cpu': 125.50422348484943, 'rss': 481099776, 'vms': 655286272, 'uss': 475185152, 'wall_time': 57.802696880999974, 'exclusive_time': 54.57}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 40, 'cpu': 283.78167636171355, 'rss': 1061302272, 'vms': 1326669824, 'uss': 1057165312, 'wall_time': 15.00644371099952, 'exclusive_time': 11.165}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 40, 'cpu': 99.85215142638228, 'rss': 18845696, 'vms': 14319616, 'uss': 14913536, 'wall_time': 166.511985352, 'exclusive_time': 164.321}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 40, 'cpu': 126.45027405567023, 'rss': 701890560, 'vms': 867688448, 'uss': 697606144, 'wall_time': 69.34776304600018, 'exclusive_time': 65.832}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 41, 'cpu': 272.0687500000001, 'rss': 1071493120, 'vms': 1318916096, 'uss': 1067200512, 'wall_time': 16.888536985000428, 'exclusive_time': 13.0}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 41, 'cpu': 99.66161585542349, 'rss': 18780160, 'vms': 14266368, 'uss': 14876672, 'wall_time': 164.3510957970002, 'exclusive_time': 162.211}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 41, 'cpu': 125.05040433400548, 'rss': 588320768, 'vms': 870002688, 'uss': 584085504, 'wall_time': 61.66964914200071, 'exclusive_time': 58.398}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 42, 'cpu': 282.98572567783094, 'rss': 1049772032, 'vms': 1236017152, 'uss': 1045532672, 'wall_time': 16.050585821000823, 'exclusive_time': 12.645}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 42, 'cpu': 99.628469699409, 'rss': 19066880, 'vms': 14532608, 'uss': 15167488, 'wall_time': 173.3036321720001, 'exclusive_time': 171.192}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 42, 'cpu': 121.41028878432952, 'rss': 588845056, 'vms': 867721216, 'uss': 584736768, 'wall_time': 67.45884891599962, 'exclusive_time': 64.28}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 43, 'cpu': 267.35555322165646, 'rss': 1060237312, 'vms': 1305968640, 'uss': 1055973376, 'wall_time': 17.41670342799989, 'exclusive_time': 13.656}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 43, 'cpu': 99.41291854084047, 'rss': 19173376, 'vms': 14626816, 'uss': 15208448, 'wall_time': 180.888755846001, 'exclusive_time': 178.579}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 43, 'cpu': 124.02714175693816, 'rss': 584622080, 'vms': 867082240, 'uss': 580308992, 'wall_time': 68.37150707100045, 'exclusive_time': 65.147}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 44, 'cpu': 278.1533818493151, 'rss': 1122840576, 'vms': 1498263552, 'uss': 1119129600, 'wall_time': 17.777737392001654, 'exclusive_time': 14.117}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 44, 'cpu': 99.00859038326396, 'rss': 19308544, 'vms': 14794752, 'uss': 15388672, 'wall_time': 185.22516594100125, 'exclusive_time': 182.914}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 44, 'cpu': 119.63377843509153, 'rss': 701853696, 'vms': 867323904, 'uss': 697589760, 'wall_time': 73.023222763999, 'exclusive_time': 69.679}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 45, 'cpu': 275.8530530236206, 'rss': 1146466304, 'vms': 1482629120, 'uss': 1142173696, 'wall_time': 22.204856770000333, 'exclusive_time': 18.4}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 45, 'cpu': 99.64511052615981, 'rss': 19443712, 'vms': 14811136, 'uss': 15495168, 'wall_time': 190.6348325830004, 'exclusive_time': 188.404}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 45, 'cpu': 122.97949750440145, 'rss': 706428928, 'vms': 866181120, 'uss': 702251008, 'wall_time': 71.36109161100103, 'exclusive_time': 67.9}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 1, 'wall_time': 6.943019809000001}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 1, 'wall_time': 7.117328306999999}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 1, 'wall_time': 6.995428823999999}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 1, 'wall_time': 7.032949886}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 1, 'wall_time': 6.897077955}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 1, 'wall_time': 10.270168353}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 1, 'wall_time': 6.663368112}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 1, 'cpu': 258.6333333333334, 'rss': 475238400, 'vms': 842412032, 'uss': 470999040, 'wall_time': 6.974151387}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 1, 'cpu': 267.1294117647059, 'rss': 416595968, 'vms': 791412736, 'uss': 412372992, 'wall_time': 6.205484532}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 2, 'cpu': 274.6704918032787, 'rss': 489635840, 'vms': 853450752, 'uss': 485408768, 'wall_time': 7.712029123999999}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 3, 'cpu': 280.71624999999995, 'rss': 670015488, 'vms': 1029967872, 'uss': 665944064, 'wall_time': 10.294971023000002}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 4, 'cpu': 295.97111111111116, 'rss': 747466752, 'vms': 1075687424, 'uss': 744108032, 'wall_time': 11.815743075999997}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 5, 'cpu': 275.6117647058825, 'rss': 756568064, 'vms': 1071251456, 'uss': 752386048, 'wall_time': 13.459060448999999}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 6, 'cpu': 269.937837837838, 'rss': 993148928, 'vms': 1127284736, 'uss': 988950528, 'wall_time': 14.618570394999999}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 7, 'cpu': 283.2023622047245, 'rss': 985444352, 'vms': 1111556096, 'uss': 981241856, 'wall_time': 17.104795557000003}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 8, 'cpu': 292.6816901408451, 'rss': 1179361280, 'vms': 1249996800, 'uss': 1175171072, 'wall_time': 19.539062129}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 9, 'cpu': 267.82484076433155, 'rss': 1231618048, 'vms': 1296687104, 'uss': 1227415552, 'wall_time': 21.399303453000016}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 10, 'cpu': 285.53176470588227, 'rss': 1153130496, 'vms': 1257099264, 'uss': 1150414848, 'wall_time': 23.38396507599998}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 11, 'cpu': 286.5136363636364, 'rss': 1276096512, 'vms': 1474547712, 'uss': 1272004608, 'wall_time': 27.760926584999993}
{'dataset': 'correct_branching', 'reasoner': 'pellet', 'count': 1, 'cpu': 249.45681818181822, 'rss': 296431616, 'vms': 565014528, 'uss': 292216832, 'wall_time': 5.798176513}
{'dataset': 'correct_branching', 'reasoner': 'pellet', 'count': 2, 'cpu': 263.62000000000006, 'rss': 436822016, 'vms': 794152960, 'uss': 432893952, 'wall_time': 6.663749654}
{'dataset': 'correct_branching', 'reasoner': 'pellet', 'count': 3, 'cpu': 270.29152542372884, 'rss': 500785152, 'vms': 894504960, 'uss': 496578560, 'wall_time': 7.996318437999999}
{'dataset': 'correct_branching', 'reasoner': 'pellet', 'count': 4, 'cpu': 280.41612903225797, 'rss': 501440512, 'vms': 870391808, 'uss': 496844800, 'wall_time': 8.637403229}
{'dataset': 'correct_branching', 'reasoner': 'pellet', 'count': 5, 'cpu': 269.8561643835615, 'rss': 608714752, 'vms': 844746752, 'uss': 605999104, 'wall_time': 9.813753294000001}
{'dataset': 'correct_branching', 'reasoner': 'pellet', 'count': 6, 'cpu': 278.9670731707317, 'rss': 709750784, 'vms': 975237120, 'uss': 705572864, 'wall_time': 11.242969442000003}
{'dataset': 'correct_branching', 'reasoner': 'pellet', 'count': 7, 'cpu': 269.7756521739131, 'rss': 930471936, 'vms': 1195507712, 'uss': 926265344, 'wall_time': 15.785673563000003}
{'dataset': 'correct_branching', 'reasoner': 'pellet', 'count': 8, 'cpu': 264.2913043478261, 'rss': 996884480, 'vms': 1240838144, 'uss': 992681984, 'wall_time': 18.876351091000004}
{'dataset': 'correct_branching', 'reasoner': 'pellet', 'count': 9, 'cpu': 238.6286713286714, 'rss': 1038958592, 'vms': 1241972736, 'uss': 1034907648, 'wall_time': 19.997566632}
{'dataset': 'correct_branching', 'reasoner': 'pellet', 'count': 10, 'cpu': 251.17639751552824, 'rss': 1062338560, 'vms': 1257959424, 'uss': 1058156544, 'wall_time': 22.359717375000017}
{'dataset': 'correct_branching', 'reasoner': 'pellet', 'count': 11, 'cpu': 269.9344444444444, 'rss': 1353633792, 'vms': 1421393920, 'uss': 1349423104, 'wall_time': 25.680288838999985}
{'dataset': 'correct_branching', 'reasoner': 'pellet', 'count': 0, 'cpu': 248.07837837837837, 'rss': 262672384, 'vms': 535547904, 'uss': 258437120, 'wall_time': 4.661399336}
{'dataset': 'correct_loops', 'reasoner': 'pellet', 'count': 0, 'cpu': 238.78571428571433, 'rss': 176742400, 'vms': 371118080, 'uss': 172654592, 'wall_time': 4.930766499}
{'dataset': 'correct_loops', 'reasoner': 'pellet', 'count': 1, 'cpu': 247.3897435897436, 'rss': 192581632, 'vms': 374415360, 'uss': 188538880, 'wall_time': 5.425949836999999}
{'dataset': 'correct_loops', 'reasoner': 'pellet', 'count': 2, 'cpu': 266.6977777777778, 'rss': 294502400, 'vms': 551985152, 'uss': 290443264, 'wall_time': 6.727772494}
{'dataset': 'correct_loops', 'reasoner': 'pellet', 'count': 3, 'cpu': 272.11999999999995, 'rss': 709644288, 'vms': 991432704, 'uss': 705458176, 'wall_time': 11.926297426000001}
{'dataset': 'correct_loops', 'reasoner': 'pellet', 'count': 4, 'cpu': 221.68525641025647, 'rss': 952803328, 'vms': 1052176384, 'uss': 948588544, 'wall_time': 22.394794811000004}
{'dataset': 'correct_loops', 'reasoner': 'pellet', 'count': 5, 'cpu': 243.85148514851508, 'rss': 977256448, 'vms': 1182720000, 'uss': 973062144, 'wall_time': 29.334605955}
{'dataset': 'correct_loops', 'reasoner': 'pellet', 'count': 6, 'cpu': 232.1372180451133, 'rss': 1123282944, 'vms': 1186967552, 'uss': 1119084544, 'wall_time': 39.301503158}
{'dataset': 'correct_loops', 'reasoner': 'pellet', 'count': 7, 'cpu': 240.721546961326, 'rss': 1435992064, 'vms': 1616269312, 'uss': 1431789568, 'wall_time': 56.651530052}
{'dataset': 'correct_loops', 'reasoner': 'pellet', 'count': 8, 'cpu': 254.86999999999986, 'rss': 1390985216, 'vms': 1658486784, 'uss': 1386790912, 'wall_time': 61.01279020499999}
{'dataset': 'correct_loops', 'reasoner': 'pellet', 'count': 9, 'cpu': 268.08752783964326, 'rss': 1554788352, 'vms': 1823035392, 'uss': 1550622720, 'wall_time': 74.600677005}
{'dataset': 'correct_loops', 'reasoner': 'pellet', 'count': 10, 'cpu': 246.1227191413237, 'rss': 1678954496, 'vms': 2053754880, 'uss': 1674752000, 'wall_time': 92.02702890199998}
{'dataset': 'correct_loops', 'reasoner': 'pellet', 'count': 11, 'cpu': 261.3073333333327, 'rss': 1762836480, 'vms': 2183233536, 'uss': 1758597120, 'wall_time': 99.86930306800002}
{'dataset': 'err_loops', 'reasoner': 'pellet', 'count': 1, 'cpu': 255.22857142857143, 'rss': 259616768, 'vms': 535277568, 'uss': 255414272, 'wall_time': 5.510819230999999}
{'dataset': 'err_loops', 'reasoner': 'pellet', 'count': 2, 'cpu': 274.34024390243906, 'rss': 542109696, 'vms': 856723456, 'uss': 538120192, 'wall_time': 11.335198541}
{'dataset': 'err_loops', 'reasoner': 'pellet', 'count': 3, 'cpu': 243.74387096774194, 'rss': 977883136, 'vms': 1108103168, 'uss': 973684736, 'wall_time': 22.313567896}
{'dataset': 'err_loops', 'reasoner': 'pellet', 'count': 4, 'cpu': 221.60878048780503, 'rss': 945901568, 'vms': 1109307392, 'uss': 941588480, 'wall_time': 29.292676397999998}
{'dataset': 'err_loops', 'reasoner': 'pellet', 'count': 5, 'cpu': 243.63915662650606, 'rss': 1273217024, 'vms': 1391620096, 'uss': 1268977664, 'wall_time': 49.73827735500001}
{'dataset': 'err_loops', 'reasoner': 'pellet', 'count': 6, 'cpu': 234.75033860045124, 'rss': 1381371904, 'vms': 1507307520, 'uss': 1377153024, 'wall_time': 69.06305897}
{'dataset': 'err_loops', 'reasoner': 'pellet', 'count': 7, 'cpu': 232.86024734982345, 'rss': 1553395712, 'vms': 1886359552, 'uss': 1549549568, 'wall_time': 91.43757929400002}
{'dataset': 'err_loops', 'reasoner': 'pellet', 'count': 8, 'cpu': 246.53535999999963, 'rss': 1667522560, 'vms': 2022326272, 'uss': 1663324160, 'wall_time': 103.120230176}
{'dataset': 'err_loops', 'reasoner': 'pellet', 'count': 9, 'cpu': 243.1017994858605, 'rss': 1803816960, 'vms': 2226266112, 'uss': 1800372224, 'wall_time': 128.12231229099996}
{'dataset': 'err_loops', 'reasoner': 'pellet', 'count': 10, 'cpu': 249.83083923154567, 'rss': 2062991360, 'vms': 2248122368, 'uss': 2058764288, 'wall_time': 171.43602576900003}
{'dataset': 'err_loops', 'reasoner': 'pellet', 'count': 11, 'cpu': 254.32809917355257, 'rss': 2061295616, 'vms': 2254655488, 'uss': 2057072640, 'wall_time': 192.30185050299997}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 22, 'cpu': 258.4647058823529, 'rss': 384540672, 'vms': 690651136, 'uss': 380252160, 'wall_time': 5.891023602, 'exclusive_time': 3.38}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 22, 'cpu': 188.77650947757746, 'rss': 460206080, 'vms': 736190464, 'uss': 455872512, 'wall_time': 11.183227591, 'exclusive_time': 8.808}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 23, 'cpu': 269.8555493895671, 'rss': 333729792, 'vms': 730378240, 'uss': 329416704, 'wall_time': 5.737960299000001, 'exclusive_time': 3.35}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 23, 'cpu': 187.91166257166256, 'rss': 557666304, 'vms': 739934208, 'uss': 553639936, 'wall_time': 12.006657687, 'exclusive_time': 9.616}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 24, 'cpu': 280.59746008708265, 'rss': 389074944, 'vms': 729751552, 'uss': 384786432, 'wall_time': 5.915323575000002, 'exclusive_time': 3.662}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 24, 'cpu': 182.28754537205072, 'rss': 474927104, 'vms': 649138176, 'uss': 470609920, 'wall_time': 12.35512030800001, 'exclusive_time': 9.712}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 25, 'cpu': 275.33413461538464, 'rss': 389300224, 'vms': 674713600, 'uss': 385007616, 'wall_time': 5.241750558999996, 'exclusive_time': 2.833}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 25, 'cpu': 189.84734513274333, 'rss': 571289600, 'vms': 749383680, 'uss': 567123968, 'wall_time': 12.552804968000004, 'exclusive_time': 10.106}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 26, 'cpu': 268.66213027583916, 'rss': 392015872, 'vms': 727289856, 'uss': 387715072, 'wall_time': 5.904975043000007, 'exclusive_time': 3.589}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 26, 'cpu': 178.61126534190532, 'rss': 573427712, 'vms': 745373696, 'uss': 569098240, 'wall_time': 12.809143035000005, 'exclusive_time': 10.319}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 27, 'cpu': 275.8935185185185, 'rss': 435109888, 'vms': 734208000, 'uss': 430784512, 'wall_time': 6.198804370999994, 'exclusive_time': 3.812}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 27, 'cpu': 191.35828493999225, 'rss': 576393216, 'vms': 754118656, 'uss': 572084224, 'wall_time': 13.696716149999986, 'exclusive_time': 11.212}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 28, 'cpu': 272.8485044865403, 'rss': 455200768, 'vms': 749060096, 'uss': 450912256, 'wall_time': 5.922211849000007, 'exclusive_time': 3.524}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 28, 'cpu': 181.97500751337373, 'rss': 476770304, 'vms': 650924032, 'uss': 472469504, 'wall_time': 13.888571671000022, 'exclusive_time': 11.388}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 29, 'cpu': 270.4733465608465, 'rss': 424841216, 'vms': 725250048, 'uss': 420868096, 'wall_time': 6.269218160999969, 'exclusive_time': 3.865}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 29, 'cpu': 178.67231062830297, 'rss': 573857792, 'vms': 749121536, 'uss': 569589760, 'wall_time': 14.427826280999966, 'exclusive_time': 11.975}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 30, 'cpu': 271.9155892360037, 'rss': 448057344, 'vms': 711499776, 'uss': 443748352, 'wall_time': 6.118950226999971, 'exclusive_time': 3.691}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 30, 'cpu': 173.9093322981367, 'rss': 579375104, 'vms': 866160640, 'uss': 575111168, 'wall_time': 15.171184347999997, 'exclusive_time': 12.693}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 31, 'cpu': 271.3817369093231, 'rss': 423989248, 'vms': 724353024, 'uss': 419700736, 'wall_time': 6.251720481000007, 'exclusive_time': 3.831}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 31, 'cpu': 175.68375586854467, 'rss': 479117312, 'vms': 653156352, 'uss': 474808320, 'wall_time': 15.570912334000013, 'exclusive_time': 13.037}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 32, 'cpu': 269.1905172413793, 'rss': 527835136, 'vms': 841474048, 'uss': 523546624, 'wall_time': 6.756292878000011, 'exclusive_time': 4.053}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 32, 'cpu': 165.80534961685817, 'rss': 578646016, 'vms': 861732864, 'uss': 574369792, 'wall_time': 15.810039487999973, 'exclusive_time': 13.275}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 33, 'cpu': 276.3488440860215, 'rss': 531578880, 'vms': 846000128, 'uss': 527269888, 'wall_time': 7.113263737000011, 'exclusive_time': 4.549}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 33, 'cpu': 174.7150337837839, 'rss': 477732864, 'vms': 650137600, 'uss': 473432064, 'wall_time': 16.26899197199998, 'exclusive_time': 13.759}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 34, 'cpu': 279.2966883963494, 'rss': 532574208, 'vms': 845340672, 'uss': 528297984, 'wall_time': 6.904172876999951, 'exclusive_time': 4.314}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 34, 'cpu': 173.0279877072242, 'rss': 478531584, 'vms': 654352384, 'uss': 474214400, 'wall_time': 16.65922195799999, 'exclusive_time': 14.027}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 35, 'cpu': 279.34557276446515, 'rss': 527298560, 'vms': 779939840, 'uss': 522989568, 'wall_time': 6.916565907000063, 'exclusive_time': 4.352}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 35, 'cpu': 171.07948380733197, 'rss': 479989760, 'vms': 649093120, 'uss': 475648000, 'wall_time': 16.935410953999963, 'exclusive_time': 14.429}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 36, 'cpu': 270.042356321839, 'rss': 542736384, 'vms': 855048192, 'uss': 538451968, 'wall_time': 6.826567436999994, 'exclusive_time': 4.298}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 36, 'cpu': 165.38307710225956, 'rss': 475586560, 'vms': 647049216, 'uss': 471244800, 'wall_time': 17.505811797999968, 'exclusive_time': 14.968}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 37, 'cpu': 280.9450757575758, 'rss': 542855168, 'vms': 851369984, 'uss': 538566656, 'wall_time': 7.443929207999986, 'exclusive_time': 4.91}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 37, 'cpu': 162.7751741068319, 'rss': 577441792, 'vms': 754991104, 'uss': 573145088, 'wall_time': 18.34809378, 'exclusive_time': 15.681}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 38, 'cpu': 279.516893939394, 'rss': 632164352, 'vms': 978735104, 'uss': 627867648, 'wall_time': 6.894067144000019, 'exclusive_time': 4.272}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 38, 'cpu': 160.11384135472377, 'rss': 575004672, 'vms': 864952320, 'uss': 570699776, 'wall_time': 18.135283739999977, 'exclusive_time': 15.497}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 39, 'cpu': 279.0994402311304, 'rss': 623091712, 'vms': 969478144, 'uss': 618799104, 'wall_time': 8.488540306000004, 'exclusive_time': 5.658}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 39, 'cpu': 154.55235270049107, 'rss': 574066688, 'vms': 739819520, 'uss': 570081280, 'wall_time': 19.941161441999952, 'exclusive_time': 17.099}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 40, 'cpu': 265.7718269230769, 'rss': 535416832, 'vms': 847298560, 'uss': 531238912, 'wall_time': 7.548848851999992, 'exclusive_time': 4.838}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 40, 'cpu': 170.6395169082126, 'rss': 584474624, 'vms': 866103296, 'uss': 580161536, 'wall_time': 19.78472434899993, 'exclusive_time': 16.929}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 41, 'cpu': 278.65068627450984, 'rss': 626360320, 'vms': 979890176, 'uss': 622088192, 'wall_time': 9.859617959999923, 'exclusive_time': 7.115}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 41, 'cpu': 161.97608941204447, 'rss': 574664704, 'vms': 747720704, 'uss': 570527744, 'wall_time': 19.770712820000085, 'exclusive_time': 17.071}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 42, 'cpu': 292.03173192771095, 'rss': 748597248, 'vms': 1112346624, 'uss': 744292352, 'wall_time': 9.61588885399999, 'exclusive_time': 6.911}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 42, 'cpu': 159.84806471306473, 'rss': 477372416, 'vms': 865591296, 'uss': 473030656, 'wall_time': 19.879042890999926, 'exclusive_time': 17.235}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 43, 'cpu': 257.46990149299677, 'rss': 631599104, 'vms': 981544960, 'uss': 627286016, 'wall_time': 8.877334502000167, 'exclusive_time': 6.095}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 43, 'cpu': 159.24054094741075, 'rss': 576102400, 'vms': 752545792, 'uss': 571793408, 'wall_time': 20.95941390100006, 'exclusive_time': 17.784}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 44, 'cpu': 283.03286858974366, 'rss': 746909696, 'vms': 1111654400, 'uss': 742699008, 'wall_time': 9.45526066299999, 'exclusive_time': 6.532}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 44, 'cpu': 148.11605555555562, 'rss': 580202496, 'vms': 758087680, 'uss': 575324160, 'wall_time': 25.806347177999896, 'exclusive_time': 21.518}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 45, 'cpu': 252.87041039671686, 'rss': 623673344, 'vms': 980037632, 'uss': 619581440, 'wall_time': 10.073785136000197, 'exclusive_time': 6.359}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 45, 'cpu': 156.1893969776229, 'rss': 580472832, 'vms': 868474880, 'uss': 576163840, 'wall_time': 20.504528429999937, 'exclusive_time': 17.791}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 22, 'cpu': 99.20954773869343, 'rss': 14954496, 'vms': 10321920, 'uss': 11010048, 'wall_time': 20.930719111, 'exclusive_time': 19.791}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 23, 'cpu': 99.19019386667327, 'rss': 14962688, 'vms': 10321920, 'uss': 11010048, 'wall_time': 20.237368933, 'exclusive_time': 19.09}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 24, 'cpu': 98.95398003237992, 'rss': 14942208, 'vms': 10289152, 'uss': 10997760, 'wall_time': 22.21080902, 'exclusive_time': 20.971}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 25, 'cpu': 99.45979407950622, 'rss': 15007744, 'vms': 10362880, 'uss': 11067392, 'wall_time': 22.331708481999982, 'exclusive_time': 21.205}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 26, 'cpu': 98.83709474885842, 'rss': 15089664, 'vms': 10452992, 'uss': 11177984, 'wall_time': 23.06865215100001, 'exclusive_time': 21.906}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 27, 'cpu': 99.28190342106265, 'rss': 15036416, 'vms': 10452992, 'uss': 11104256, 'wall_time': 23.883235456999984, 'exclusive_time': 22.643}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 28, 'cpu': 99.02866803278685, 'rss': 15298560, 'vms': 10612736, 'uss': 11337728, 'wall_time': 25.475248869999973, 'exclusive_time': 24.21}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 29, 'cpu': 99.23653319860216, 'rss': 15421440, 'vms': 10797056, 'uss': 11476992, 'wall_time': 27.437854824999988, 'exclusive_time': 26.192}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 30, 'cpu': 99.48298613685226, 'rss': 15503360, 'vms': 10891264, 'uss': 11554816, 'wall_time': 29.595236245000024, 'exclusive_time': 28.302}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 31, 'cpu': 97.1462357581069, 'rss': 15429632, 'vms': 10752000, 'uss': 11513856, 'wall_time': 29.265815549000024, 'exclusive_time': 28.011}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 32, 'cpu': 99.17069536423836, 'rss': 15495168, 'vms': 10850304, 'uss': 11587584, 'wall_time': 32.161302362000015, 'exclusive_time': 30.807}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 33, 'cpu': 99.29910759126906, 'rss': 15527936, 'vms': 10891264, 'uss': 11583488, 'wall_time': 32.73877516799985, 'exclusive_time': 31.364}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 34, 'cpu': 99.34773799570006, 'rss': 15577088, 'vms': 10887168, 'uss': 11636736, 'wall_time': 36.679891174999966, 'exclusive_time': 35.227}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 35, 'cpu': 99.15356929866417, 'rss': 15601664, 'vms': 10936320, 'uss': 11726848, 'wall_time': 38.7035365170002, 'exclusive_time': 37.216}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 36, 'cpu': 99.65563933832425, 'rss': 15929344, 'vms': 11304960, 'uss': 11997184, 'wall_time': 40.68889820300001, 'exclusive_time': 39.248}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 37, 'cpu': 99.48354335130291, 'rss': 15917056, 'vms': 11313152, 'uss': 12009472, 'wall_time': 42.28510857800029, 'exclusive_time': 40.761}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 38, 'cpu': 99.25532071625592, 'rss': 16097280, 'vms': 11489280, 'uss': 12156928, 'wall_time': 45.63604413799976, 'exclusive_time': 44.111}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 39, 'cpu': 99.20046921002347, 'rss': 16035840, 'vms': 11440128, 'uss': 12124160, 'wall_time': 47.40638127700004, 'exclusive_time': 45.863}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 40, 'cpu': 99.40619805791285, 'rss': 16195584, 'vms': 11620352, 'uss': 12333056, 'wall_time': 48.61102798000002, 'exclusive_time': 47.112}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 41, 'cpu': 98.59110082674346, 'rss': 16187392, 'vms': 11591680, 'uss': 12267520, 'wall_time': 52.34770442099989, 'exclusive_time': 50.77}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 42, 'cpu': 98.69733805164611, 'rss': 16101376, 'vms': 11509760, 'uss': 12230656, 'wall_time': 54.618083819000276, 'exclusive_time': 53.045}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 43, 'cpu': 98.85754280141829, 'rss': 16363520, 'vms': 11739136, 'uss': 12455936, 'wall_time': 55.79790440099987, 'exclusive_time': 54.105}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 44, 'cpu': 99.0619179574555, 'rss': 16355328, 'vms': 11706368, 'uss': 12451840, 'wall_time': 55.67723650300013, 'exclusive_time': 54.021}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 45, 'cpu': 98.78650012777932, 'rss': 16375808, 'vms': 11759616, 'uss': 12464128, 'wall_time': 56.18914075800012, 'exclusive_time': 54.426}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 46, 'cpu': 239.65962121212118, 'rss': 422416384, 'vms': 716095488, 'uss': 418131968, 'wall_time': 6.0984090040000005, 'exclusive_time': 3.537}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 46, 'cpu': 98.39498850574708, 'rss': 15073280, 'vms': 10334208, 'uss': 11116544, 'wall_time': 14.710298263000002, 'exclusive_time': 13.076}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 46, 'cpu': 198.3212403100776, 'rss': 336453632, 'vms': 649506816, 'uss': 332156928, 'wall_time': 9.110054583, 'exclusive_time': 6.674}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 49, 'cpu': 273.78365147783245, 'rss': 437854208, 'vms': 731172864, 'uss': 433569792, 'wall_time': 6.241024114999988, 'exclusive_time': 3.785}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 49, 'cpu': 99.67581093605185, 'rss': 15228928, 'vms': 10518528, 'uss': 11251712, 'wall_time': 16.78165980099999, 'exclusive_time': 15.463}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 49, 'cpu': 204.50274140752873, 'rss': 336240640, 'vms': 647790592, 'uss': 332083200, 'wall_time': 9.685022207000003, 'exclusive_time': 7.141}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 52, 'cpu': 273.29237288135596, 'rss': 435761152, 'vms': 731475968, 'uss': 431493120, 'wall_time': 6.518374348000009, 'exclusive_time': 3.894}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 52, 'cpu': 99.44382022471909, 'rss': 15347712, 'vms': 10702848, 'uss': 11390976, 'wall_time': 17.975819228000006, 'exclusive_time': 16.625}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 52, 'cpu': 202.03873381877025, 'rss': 354693120, 'vms': 665673728, 'uss': 350400512, 'wall_time': 10.21348225700001, 'exclusive_time': 7.705}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 55, 'cpu': 283.5139097744361, 'rss': 440594432, 'vms': 718807040, 'uss': 436314112, 'wall_time': 6.251171373000005, 'exclusive_time': 3.734}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 55, 'cpu': 99.49578346631205, 'rss': 15355904, 'vms': 10702848, 'uss': 11399168, 'wall_time': 18.988897665999986, 'exclusive_time': 17.611}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 55, 'cpu': 189.29316831683178, 'rss': 337457152, 'vms': 741937152, 'uss': 333168640, 'wall_time': 10.738353078000046, 'exclusive_time': 8.259}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 58, 'cpu': 278.0289062500001, 'rss': 525156352, 'vms': 831746048, 'uss': 520867840, 'wall_time': 7.2548807819999865, 'exclusive_time': 4.711}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 58, 'cpu': 99.54444444444447, 'rss': 15458304, 'vms': 10743808, 'uss': 11534336, 'wall_time': 20.891447157000016, 'exclusive_time': 19.484}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 58, 'cpu': 185.25834224598938, 'rss': 400523264, 'vms': 736899072, 'uss': 396201984, 'wall_time': 10.920531793999999, 'exclusive_time': 8.338}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 61, 'cpu': 283.4416257166257, 'rss': 519311360, 'vms': 770375680, 'uss': 515031040, 'wall_time': 7.415509950000001, 'exclusive_time': 4.759}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 61, 'cpu': 99.44875721431325, 'rss': 15638528, 'vms': 11034624, 'uss': 11689984, 'wall_time': 22.80962179400001, 'exclusive_time': 21.346}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 61, 'cpu': 182.6923114083985, 'rss': 490029056, 'vms': 753545216, 'uss': 485707776, 'wall_time': 12.346001406000028, 'exclusive_time': 9.752}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 64, 'cpu': 266.02348484848494, 'rss': 511053824, 'vms': 815677440, 'uss': 506781696, 'wall_time': 7.220620168999972, 'exclusive_time': 4.612}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 64, 'cpu': 99.38372940353624, 'rss': 15634432, 'vms': 10969088, 'uss': 11706368, 'wall_time': 24.500652432000038, 'exclusive_time': 22.999}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 64, 'cpu': 174.8084584653534, 'rss': 571195392, 'vms': 737210368, 'uss': 566984704, 'wall_time': 12.828009089000034, 'exclusive_time': 10.186}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 67, 'cpu': 271.59484228474, 'rss': 512208896, 'vms': 775172096, 'uss': 507895808, 'wall_time': 7.474556622000023, 'exclusive_time': 4.8}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 67, 'cpu': 99.62139212028103, 'rss': 15929344, 'vms': 11227136, 'uss': 11984896, 'wall_time': 27.01598616800004, 'exclusive_time': 25.529}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 67, 'cpu': 180.95870901639353, 'rss': 572043264, 'vms': 860917760, 'uss': 567771136, 'wall_time': 13.138049309000053, 'exclusive_time': 10.161}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 70, 'cpu': 284.7599824561404, 'rss': 638906368, 'vms': 827891712, 'uss': 634671104, 'wall_time': 8.466133388000003, 'exclusive_time': 5.769}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 70, 'cpu': 99.3847046982279, 'rss': 16183296, 'vms': 11550720, 'uss': 12226560, 'wall_time': 28.320443467999894, 'exclusive_time': 26.779}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 70, 'cpu': 177.85208233028416, 'rss': 476028928, 'vms': 866263040, 'uss': 471724032, 'wall_time': 13.261273197000037, 'exclusive_time': 10.536}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 73, 'cpu': 281.78650151668364, 'rss': 736276480, 'vms': 1099522048, 'uss': 731959296, 'wall_time': 9.901335006000068, 'exclusive_time': 7.03}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 73, 'cpu': 99.55708069620262, 'rss': 16220160, 'vms': 11603968, 'uss': 12255232, 'wall_time': 31.832912953000005, 'exclusive_time': 30.199}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 73, 'cpu': 171.5369756502492, 'rss': 477810688, 'vms': 867500032, 'uss': 473468928, 'wall_time': 13.979322476999982, 'exclusive_time': 11.25}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 76, 'cpu': 282.72525914634156, 'rss': 726585344, 'vms': 1095188480, 'uss': 722259968, 'wall_time': 9.353689892000034, 'exclusive_time': 6.546}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 76, 'cpu': 99.7945943248873, 'rss': 16330752, 'vms': 11784192, 'uss': 12365824, 'wall_time': 33.74798982100003, 'exclusive_time': 32.134}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 76, 'cpu': 170.25821917808236, 'rss': 482467840, 'vms': 647847936, 'uss': 478130176, 'wall_time': 15.731909365999968, 'exclusive_time': 12.806}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 79, 'cpu': 287.16768199233724, 'rss': 785797120, 'vms': 1003728896, 'uss': 781541376, 'wall_time': 10.175582095999971, 'exclusive_time': 7.317}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 79, 'cpu': 99.02855056669591, 'rss': 16265216, 'vms': 11620352, 'uss': 12328960, 'wall_time': 37.48075704500002, 'exclusive_time': 35.874}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 79, 'cpu': 154.91419817927175, 'rss': 480419840, 'vms': 862949376, 'uss': 476123136, 'wall_time': 16.941763799, 'exclusive_time': 14.16}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 82, 'cpu': 243.36194952222692, 'rss': 768057344, 'vms': 1085497344, 'uss': 763756544, 'wall_time': 9.801392995000015, 'exclusive_time': 6.925}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 82, 'cpu': 99.64467282418437, 'rss': 16543744, 'vms': 11853824, 'uss': 12566528, 'wall_time': 33.872370547999935, 'exclusive_time': 32.33}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 82, 'cpu': 176.39457595526568, 'rss': 478355456, 'vms': 869183488, 'uss': 474308608, 'wall_time': 15.897796582999945, 'exclusive_time': 13.219}
{'dataset': 'correct_branching', 'reasoner': 'jena', 'count': 85, 'cpu': 279.92742755765835, 'rss': 776884224, 'vms': 993075200, 'uss': 772620288, 'wall_time': 10.383713970999906, 'exclusive_time': 7.57}
{'dataset': 'correct_branching', 'reasoner': 'prolog', 'count': 85, 'cpu': 99.73252419842713, 'rss': 16715776, 'vms': 12050432, 'uss': 12738560, 'wall_time': 36.53095790500015, 'exclusive_time': 34.97}
{'dataset': 'correct_branching', 'reasoner': 'sparql', 'count': 85, 'cpu': 167.26993443237177, 'rss': 576376832, 'vms': 862638080, 'uss': 571420672, 'wall_time': 17.298169428999927, 'exclusive_time': 14.501}
{'dataset': 'err_branching', 'reasoner': 'jena', 'count': 46, 'cpu': 269.7426515151516, 'rss': 512626688, 'vms': 818356224, 'uss': 508358656, 'wall_time': 7.2123356770000004, 'exclusive_time': 4.542}
{'dataset': 'err_branching', 'reasoner': 'prolog', 'count': 46, 'cpu': 98.87862120457939, 'rss': 15671296, 'vms': 10997760, 'uss': 11698176, 'wall_time': 30.11054751, 'exclusive_time': 28.629}
{'dataset': 'err_branching', 'reasoner': 'sparql', 'count': 46, 'cpu': 172.2518294648614, 'rss': 475598848, 'vms': 648806400, 'uss': 471281664, 'wall_time': 14.313319234000005, 'exclusive_time': 11.599}
{'dataset': 'err_branching', 'reasoner': 'jena', 'count': 49, 'cpu': 269.0613659274194, 'rss': 509198336, 'vms': 816504832, 'uss': 504901632, 'wall_time': 6.881307227999997, 'exclusive_time': 4.329}
{'dataset': 'err_branching', 'reasoner': 'prolog', 'count': 49, 'cpu': 99.7326397515529, 'rss': 15716352, 'vms': 11051008, 'uss': 11739136, 'wall_time': 31.29532520699999, 'exclusive_time': 29.908}
{'dataset': 'err_branching', 'reasoner': 'sparql', 'count': 49, 'cpu': 171.63540630182433, 'rss': 574902272, 'vms': 863797248, 'uss': 570560512, 'wall_time': 14.420708397999988, 'exclusive_time': 11.896}
{'dataset': 'err_branching', 'reasoner': 'jena', 'count': 52, 'cpu': 265.5545512820513, 'rss': 502284288, 'vms': 809328640, 'uss': 498008064, 'wall_time': 6.619464405000002, 'exclusive_time': 4.118}
{'dataset': 'err_branching', 'reasoner': 'prolog', 'count': 52, 'cpu': 99.64730195126347, 'rss': 16023552, 'vms': 11354112, 'uss': 12054528, 'wall_time': 33.24416829399996, 'exclusive_time': 31.738}
{'dataset': 'err_branching', 'reasoner': 'sparql', 'count': 52, 'cpu': 176.8460974973932, 'rss': 579325952, 'vms': 866729984, 'uss': 575107072, 'wall_time': 14.980653232999998, 'exclusive_time': 12.367}
{'dataset': 'err_branching', 'reasoner': 'jena', 'count': 55, 'cpu': 268.9970418470419, 'rss': 496553984, 'vms': 755736576, 'uss': 492228608, 'wall_time': 7.012548870999979, 'exclusive_time': 4.447}
{'dataset': 'err_branching', 'reasoner': 'prolog', 'count': 55, 'cpu': 99.69618321828997, 'rss': 16232448, 'vms': 11554816, 'uss': 12247040, 'wall_time': 35.61322831899997, 'exclusive_time': 34.141}
{'dataset': 'err_branching', 'reasoner': 'sparql', 'count': 55, 'cpu': 170.25519636015338, 'rss': 578080768, 'vms': 866271232, 'uss': 573751296, 'wall_time': 15.497164816000009, 'exclusive_time': 12.872}
{'dataset': 'err_branching', 'reasoner': 'jena', 'count': 58, 'cpu': 278.54653184165244, 'rss': 611684352, 'vms': 965455872, 'uss': 607371264, 'wall_time': 7.839372298000001, 'exclusive_time': 5.193}
{'dataset': 'err_branching', 'reasoner': 'prolog', 'count': 58, 'cpu': 99.71167804388918, 'rss': 16191488, 'vms': 11489280, 'uss': 12242944, 'wall_time': 39.19991626500007, 'exclusive_time': 37.67}
{'dataset': 'err_branching', 'reasoner': 'sparql', 'count': 58, 'cpu': 163.10275546821606, 'rss': 575152128, 'vms': 863645696, 'uss': 570806272, 'wall_time': 16.545428653000045, 'exclusive_time': 13.759}
{'dataset': 'err_branching', 'reasoner': 'jena', 'count': 61, 'cpu': 291.66038961038976, 'rss': 723648512, 'vms': 1085468672, 'uss': 719335424, 'wall_time': 9.492159336999975, 'exclusive_time': 6.761}
{'dataset': 'err_branching', 'reasoner': 'prolog', 'count': 61, 'cpu': 99.83354804514909, 'rss': 16330752, 'vms': 11669504, 'uss': 12374016, 'wall_time': 43.200655411999946, 'exclusive_time': 41.627}
{'dataset': 'err_branching', 'reasoner': 'sparql', 'count': 61, 'cpu': 163.80367652987195, 'rss': 578117632, 'vms': 865230848, 'uss': 573775872, 'wall_time': 17.048818808000078, 'exclusive_time': 14.347}
{'dataset': 'err_branching', 'reasoner': 'jena', 'count': 64, 'cpu': 288.24819121447035, 'rss': 730886144, 'vms': 1091362816, 'uss': 726597632, 'wall_time': 9.692962772999977, 'exclusive_time': 6.918}
{'dataset': 'err_branching', 'reasoner': 'prolog', 'count': 64, 'cpu': 99.85257864129015, 'rss': 16429056, 'vms': 11694080, 'uss': 12427264, 'wall_time': 47.356745647000025, 'exclusive_time': 45.848}
{'dataset': 'err_branching', 'reasoner': 'sparql', 'count': 64, 'cpu': 157.75321428571442, 'rss': 479100928, 'vms': 862814208, 'uss': 474775552, 'wall_time': 17.40420243299991, 'exclusive_time': 14.735}
{'dataset': 'err_branching', 'reasoner': 'jena', 'count': 67, 'cpu': 266.97468354430384, 'rss': 740675584, 'vms': 1074802688, 'uss': 736661504, 'wall_time': 9.122755386999984, 'exclusive_time': 6.346}
{'dataset': 'err_branching', 'reasoner': 'prolog', 'count': 67, 'cpu': 99.73231942263806, 'rss': 16584704, 'vms': 11964416, 'uss': 12611584, 'wall_time': 51.75795632200004, 'exclusive_time': 50.126}
{'dataset': 'err_branching', 'reasoner': 'sparql', 'count': 67, 'cpu': 167.30944552909028, 'rss': 586018816, 'vms': 865935360, 'uss': 581672960, 'wall_time': 22.124228306000077, 'exclusive_time': 19.048}
{'dataset': 'err_branching', 'reasoner': 'jena', 'count': 70, 'cpu': 280.89115789473703, 'rss': 743723008, 'vms': 1080758272, 'uss': 740106240, 'wall_time': 11.363320772999941, 'exclusive_time': 8.302}
{'dataset': 'err_branching', 'reasoner': 'prolog', 'count': 70, 'cpu': 99.69183307889307, 'rss': 16769024, 'vms': 12017664, 'uss': 12816384, 'wall_time': 57.34304531099997, 'exclusive_time': 55.568}
{'dataset': 'err_branching', 'reasoner': 'sparql', 'count': 70, 'cpu': 156.7706357868022, 'rss': 578338816, 'vms': 866119680, 'uss': 574046208, 'wall_time': 22.176411130999895, 'exclusive_time': 19.103}
{'dataset': 'err_branching', 'reasoner': 'jena', 'count': 73, 'cpu': 275.3999521531101, 'rss': 751960064, 'vms': 1092542464, 'uss': 747679744, 'wall_time': 11.452984112999957, 'exclusive_time': 8.091}
{'dataset': 'err_branching', 'reasoner': 'prolog', 'count': 73, 'cpu': 99.86011224189389, 'rss': 16855040, 'vms': 12152832, 'uss': 12849152, 'wall_time': 57.630272643000126, 'exclusive_time': 55.922}
{'dataset': 'err_branching', 'reasoner': 'sparql', 'count': 73, 'cpu': 159.29815968743753, 'rss': 587276288, 'vms': 875331584, 'uss': 582975488, 'wall_time': 24.61224197599995, 'exclusive_time': 21.485}
{'dataset': 'err_branching', 'reasoner': 'jena', 'count': 76, 'cpu': 272.69486734693885, 'rss': 743424000, 'vms': 1084731392, 'uss': 739098624, 'wall_time': 11.55585632799989, 'exclusive_time': 8.431}
{'dataset': 'err_branching', 'reasoner': 'prolog', 'count': 76, 'cpu': 99.68903833913677, 'rss': 17014784, 'vms': 12357632, 'uss': 13058048, 'wall_time': 61.34581967300005, 'exclusive_time': 59.584}
{'dataset': 'err_branching', 'reasoner': 'sparql', 'count': 76, 'cpu': 148.64067790870934, 'rss': 484438016, 'vms': 858918912, 'uss': 480157696, 'wall_time': 22.640194688999827, 'exclusive_time': 19.597}
{'dataset': 'err_branching', 'reasoner': 'jena', 'count': 79, 'cpu': 290.90387692307706, 'rss': 874307584, 'vms': 1248092160, 'uss': 870010880, 'wall_time': 13.800316274000124, 'exclusive_time': 10.466}
{'dataset': 'err_branching', 'reasoner': 'prolog', 'count': 79, 'cpu': 99.45960852268077, 'rss': 17137664, 'vms': 12464128, 'uss': 13156352, 'wall_time': 66.19329130999995, 'exclusive_time': 64.339}
{'dataset': 'err_branching', 'reasoner': 'sparql', 'count': 79, 'cpu': 148.74672489082982, 'rss': 485629952, 'vms': 862265344, 'uss': 481366016, 'wall_time': 25.02261747600005, 'exclusive_time': 22.158}
{'dataset': 'err_branching', 'reasoner': 'jena', 'count': 82, 'cpu': 284.06358178053847, 'rss': 964833280, 'vms': 1335898112, 'uss': 960536576, 'wall_time': 14.218142833000002, 'exclusive_time': 11.001}
{'dataset': 'err_branching', 'reasoner': 'prolog', 'count': 82, 'cpu': 98.88480470328082, 'rss': 17276928, 'vms': 12611584, 'uss': 13312000, 'wall_time': 73.6653681539999, 'exclusive_time': 71.706}
{'dataset': 'err_branching', 'reasoner': 'sparql', 'count': 82, 'cpu': 141.02200218368267, 'rss': 485031936, 'vms': 862261248, 'uss': 480706560, 'wall_time': 26.64957202300002, 'exclusive_time': 23.655}
{'dataset': 'err_branching', 'reasoner': 'jena', 'count': 85, 'cpu': 278.4154633620691, 'rss': 947023872, 'vms': 1324703744, 'uss': 942768128, 'wall_time': 13.788764980999986, 'exclusive_time': 10.67}
{'dataset': 'err_branching', 'reasoner': 'prolog', 'count': 85, 'cpu': 98.54837656575343, 'rss': 17211392, 'vms': 12648448, 'uss': 13307904, 'wall_time': 74.04433165900036, 'exclusive_time': 72.152}
{'dataset': 'err_branching', 'reasoner': 'sparql', 'count': 85, 'cpu': 137.99322541640635, 'rss': 579375104, 'vms': 863084544, 'uss': 575066112, 'wall_time': 27.396944830999928, 'exclusive_time': 24.423}
{'dataset': 'err_branching', 'reasoner': 'jena', 'count': 88, 'cpu': 208.8455309610536, 'rss': 860631040, 'vms': 1254891520, 'uss': 856350720, 'wall_time': 21.676805131000037, 'exclusive_time': 16.539}
{'dataset': 'err_branching', 'reasoner': 'prolog', 'count': 88, 'cpu': 98.7917007011686, 'rss': 17506304, 'vms': 12906496, 'uss': 13500416, 'wall_time': 81.62057971900003, 'exclusive_time': 79.817}
{'dataset': 'err_branching', 'reasoner': 'sparql', 'count': 88, 'cpu': 143.79550475024797, 'rss': 485658624, 'vms': 859865088, 'uss': 481402880, 'wall_time': 28.270541589999993, 'exclusive_time': 25.007}
{'dataset': 'err_branching', 'reasoner': 'jena', 'count': 91, 'cpu': 278.1298418459943, 'rss': 1032646656, 'vms': 1324888064, 'uss': 1028358144, 'wall_time': 14.263998218000324, 'exclusive_time': 11.036}
{'dataset': 'err_branching', 'reasoner': 'prolog', 'count': 91, 'cpu': 98.53386040745693, 'rss': 17592320, 'vms': 12939264, 'uss': 13643776, 'wall_time': 92.74419443100032, 'exclusive_time': 90.466}
{'dataset': 'err_branching', 'reasoner': 'sparql', 'count': 91, 'cpu': 134.3690526641317, 'rss': 479432704, 'vms': 862785536, 'uss': 475156480, 'wall_time': 32.080179994000446, 'exclusive_time': 29.036}
{'dataset': 'err_branching', 'reasoner': 'jena', 'count': 94, 'cpu': 267.56419913419916, 'rss': 1027063808, 'vms': 1237024768, 'uss': 1022832640, 'wall_time': 15.79862644900004, 'exclusive_time': 12.38}
{'dataset': 'err_branching', 'reasoner': 'prolog', 'count': 94, 'cpu': 98.54502763199419, 'rss': 17633280, 'vms': 13000704, 'uss': 13651968, 'wall_time': 98.9796688450001, 'exclusive_time': 96.969}
{'dataset': 'err_branching', 'reasoner': 'sparql', 'count': 94, 'cpu': 142.14392513006442, 'rss': 583700480, 'vms': 863301632, 'uss': 579395584, 'wall_time': 30.322786946999713, 'exclusive_time': 27.109}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 55, 'cpu': 284.3584699453554, 'rss': 1307742208, 'vms': 1587625984, 'uss': 1303478272, 'wall_time': 23.637790144, 'exclusive_time': 19.899}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 55, 'cpu': 99.7286744092877, 'rss': 20037632, 'vms': 15360000, 'uss': 16039936, 'wall_time': 270.384324145, 'exclusive_time': 267.981}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 55, 'cpu': 116.68170454545505, 'rss': 588705792, 'vms': 863408128, 'uss': 584359936, 'wall_time': 97.09162674200002, 'exclusive_time': 93.912}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 58, 'cpu': 261.2021551724137, 'rss': 1494827008, 'vms': 1935175680, 'uss': 1490550784, 'wall_time': 32.66304665900003, 'exclusive_time': 28.888}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 58, 'cpu': 99.38259361996924, 'rss': 21340160, 'vms': 16830464, 'uss': 17375232, 'wall_time': 308.685691492, 'exclusive_time': 306.149}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 58, 'cpu': 112.57602283539524, 'rss': 596819968, 'vms': 863756288, 'uss': 592474112, 'wall_time': 116.32345085899999, 'exclusive_time': 113.127}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 61, 'cpu': 286.37900000000025, 'rss': 1498116096, 'vms': 1906192384, 'uss': 1495048192, 'wall_time': 26.174263064, 'exclusive_time': 22.447}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 61, 'cpu': 99.56376963350475, 'rss': 21344256, 'vms': 16703488, 'uss': 17371136, 'wall_time': 309.0486600359999, 'exclusive_time': 306.524}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 61, 'cpu': 116.58982102908338, 'rss': 592326656, 'vms': 864321536, 'uss': 587988992, 'wall_time': 99.09424672799992, 'exclusive_time': 95.778}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 64, 'cpu': 292.45217391304374, 'rss': 1502699520, 'vms': 1918758912, 'uss': 1498439680, 'wall_time': 27.306964435000054, 'exclusive_time': 23.526}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 64, 'cpu': 99.64627899969649, 'rss': 21557248, 'vms': 16969728, 'uss': 17612800, 'wall_time': 356.79423212100005, 'exclusive_time': 354.234}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 64, 'cpu': 115.25690045248903, 'rss': 701210624, 'vms': 865648640, 'uss': 696877056, 'wall_time': 100.59127768600001, 'exclusive_time': 97.309}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 67, 'cpu': 297.5982142857145, 'rss': 1587093504, 'vms': 1921163264, 'uss': 1583747072, 'wall_time': 29.679919020999932, 'exclusive_time': 25.766}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 67, 'cpu': 99.76120952962542, 'rss': 21663744, 'vms': 17072128, 'uss': 17682432, 'wall_time': 349.1999538829998, 'exclusive_time': 346.596}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 67, 'cpu': 113.28147410358598, 'rss': 595828736, 'vms': 866201600, 'uss': 591495168, 'wall_time': 110.63293366700009, 'exclusive_time': 107.296}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 70, 'cpu': 287.1921296296297, 'rss': 1536667648, 'vms': 1949179904, 'uss': 1532563456, 'wall_time': 28.534512938000262, 'exclusive_time': 24.682}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 70, 'cpu': 99.80883402736298, 'rss': 22003712, 'vms': 17412096, 'uss': 18018304, 'wall_time': 357.48825158499994, 'exclusive_time': 354.685}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 70, 'cpu': 114.50714285714334, 'rss': 704147456, 'vms': 869421056, 'uss': 699813888, 'wall_time': 126.20071452399998, 'exclusive_time': 122.519}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 73, 'cpu': 274.2108, 'rss': 1611337728, 'vms': 1931567104, 'uss': 1607536640, 'wall_time': 35.5279959479999, 'exclusive_time': 30.966}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 73, 'cpu': 99.82872258064431, 'rss': 22028288, 'vms': 17448960, 'uss': 18018304, 'wall_time': 411.13352600999997, 'exclusive_time': 408.116}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 73, 'cpu': 117.05819366852896, 'rss': 706850816, 'vms': 862351360, 'uss': 702521344, 'wall_time': 130.45939069500037, 'exclusive_time': 126.633}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 76, 'cpu': 278.94420600858405, 'rss': 1626345472, 'vms': 1904197632, 'uss': 1622024192, 'wall_time': 32.82758944199986, 'exclusive_time': 28.565}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 76, 'cpu': 99.86083086053313, 'rss': 22155264, 'vms': 17567744, 'uss': 18153472, 'wall_time': 429.26482236799984, 'exclusive_time': 426.177}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 76, 'cpu': 111.55957446808512, 'rss': 699490304, 'vms': 875102208, 'uss': 695177216, 'wall_time': 154.77530206999973, 'exclusive_time': 150.817}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 79, 'cpu': 280.5721311475412, 'rss': 1619030016, 'vms': 1891995648, 'uss': 1614733312, 'wall_time': 34.17683712899998, 'exclusive_time': 29.747}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 79, 'cpu': 99.78611683848753, 'rss': 22405120, 'vms': 17883136, 'uss': 18464768, 'wall_time': 461.5648916909995, 'exclusive_time': 458.377}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 79, 'cpu': 112.9095681625742, 'rss': 703881216, 'vms': 875569152, 'uss': 697806848, 'wall_time': 135.90986913799952, 'exclusive_time': 132.049}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 82, 'cpu': 296.84961538461533, 'rss': 1823006720, 'vms': 2082308096, 'uss': 1819009024, 'wall_time': 35.19819615100005, 'exclusive_time': 31.09}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 82, 'cpu': 99.61374825824397, 'rss': 22671360, 'vms': 18038784, 'uss': 18681856, 'wall_time': 449.01652745999945, 'exclusive_time': 445.915}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 82, 'cpu': 114.2311246730599, 'rss': 710897664, 'vms': 864935936, 'uss': 706617344, 'wall_time': 130.18229254500056, 'exclusive_time': 126.407}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 85, 'cpu': 295.16791044776124, 'rss': 1874530304, 'vms': 2076516352, 'uss': 1870557184, 'wall_time': 37.16163309700005, 'exclusive_time': 33.201}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 85, 'cpu': 99.72782005371462, 'rss': 22740992, 'vms': 18202624, 'uss': 18800640, 'wall_time': 472.797986474, 'exclusive_time': 469.681}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 85, 'cpu': 110.78226950354524, 'rss': 510742528, 'vms': 865439744, 'uss': 506429440, 'wall_time': 140.3437551449997, 'exclusive_time': 136.311}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 88, 'cpu': 293.71917293233054, 'rss': 1885958144, 'vms': 2079064064, 'uss': 1882976256, 'wall_time': 36.9317122930006, 'exclusive_time': 32.934}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 88, 'cpu': 99.78202622169101, 'rss': 22753280, 'vms': 18243584, 'uss': 18812928, 'wall_time': 453.2117020529995, 'exclusive_time': 450.177}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 88, 'cpu': 111.00365957446832, 'rss': 711102464, 'vms': 866729984, 'uss': 706768896, 'wall_time': 133.0022159729997, 'exclusive_time': 129.493}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 91, 'cpu': 290.13463035019436, 'rss': 1742270464, 'vms': 2078220288, 'uss': 1738625024, 'wall_time': 34.50294119499995, 'exclusive_time': 30.508}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 91, 'cpu': 99.29760390161078, 'rss': 22790144, 'vms': 18219008, 'uss': 18821120, 'wall_time': 501.6103797000005, 'exclusive_time': 498.436}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 91, 'cpu': 110.74307692307646, 'rss': 708308992, 'vms': 865001472, 'uss': 703979520, 'wall_time': 149.64276777600026, 'exclusive_time': 145.714}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 94, 'cpu': 257.9863501483678, 'rss': 1912553472, 'vms': 2083508224, 'uss': 1908293632, 'wall_time': 49.16599176300042, 'exclusive_time': 44.754}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 94, 'cpu': 99.03620043401045, 'rss': 23015424, 'vms': 18464768, 'uss': 19025920, 'wall_time': 529.985062705, 'exclusive_time': 526.707}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 94, 'cpu': 112.04814814814775, 'rss': 709988352, 'vms': 866680832, 'uss': 705679360, 'wall_time': 142.72352521299945, 'exclusive_time': 138.722}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 46, 'cpu': 276.44523809523827, 'rss': 791801856, 'vms': 1007198208, 'uss': 787525632, 'wall_time': 10.071011751, 'exclusive_time': 7.241}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 46, 'cpu': 147.26824644549768, 'rss': 480260096, 'vms': 647368704, 'uss': 475947008, 'wall_time': 23.158842125999996, 'exclusive_time': 20.231}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 49, 'cpu': 277.18117647058835, 'rss': 774815744, 'vms': 987951104, 'uss': 770519040, 'wall_time': 10.031417855999997, 'exclusive_time': 7.225}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 49, 'cpu': 148.04000000000005, 'rss': 478842880, 'vms': 638001152, 'uss': 474501120, 'wall_time': 23.048108485, 'exclusive_time': 20.261}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 52, 'cpu': 280.6821052631581, 'rss': 763232256, 'vms': 978022400, 'uss': 759078912, 'wall_time': 11.290323147999999, 'exclusive_time': 8.24}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 52, 'cpu': 165.92456896551758, 'rss': 577556480, 'vms': 866451456, 'uss': 573841408, 'wall_time': 25.411048692999998, 'exclusive_time': 22.562}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 55, 'cpu': 270.45000000000005, 'rss': 780042240, 'vms': 994885632, 'uss': 775749632, 'wall_time': 11.068975557000016, 'exclusive_time': 8.12}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 55, 'cpu': 144.77629310344832, 'rss': 479666176, 'vms': 644665344, 'uss': 475369472, 'wall_time': 25.330455403000002, 'exclusive_time': 22.524}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 58, 'cpu': 282.964077669903, 'rss': 748879872, 'vms': 1032921088, 'uss': 744579072, 'wall_time': 12.217417366000006, 'exclusive_time': 9.297}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 58, 'cpu': 143.26456692913408, 'rss': 479473664, 'vms': 861315072, 'uss': 475168768, 'wall_time': 27.819957136, 'exclusive_time': 24.955}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 61, 'cpu': 282.59587628865995, 'rss': 774897664, 'vms': 989859840, 'uss': 770572288, 'wall_time': 11.412375051999987, 'exclusive_time': 8.365}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 61, 'cpu': 147.76235294117674, 'rss': 581918720, 'vms': 866750464, 'uss': 577634304, 'wall_time': 28.280444581999973, 'exclusive_time': 25.258}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 64, 'cpu': 263.5649484536082, 'rss': 775200768, 'vms': 1125294080, 'uss': 771235840, 'wall_time': 11.95393943299996, 'exclusive_time': 8.648}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 64, 'cpu': 142.05823754789293, 'rss': 577527808, 'vms': 752263168, 'uss': 573214720, 'wall_time': 28.837067413, 'exclusive_time': 25.814}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 67, 'cpu': 299.06173913043483, 'rss': 983302144, 'vms': 1323905024, 'uss': 979509248, 'wall_time': 14.08647861199995, 'exclusive_time': 7.762}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 67, 'cpu': 144.85543478260905, 'rss': 484397056, 'vms': 861921280, 'uss': 480092160, 'wall_time': 30.22252299400003, 'exclusive_time': 27.077}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 70, 'cpu': 280.3588235294117, 'rss': 880001024, 'vms': 1252634624, 'uss': 875732992, 'wall_time': 14.182439104000025, 'exclusive_time': 11.093}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 70, 'cpu': 136.6148148148153, 'rss': 577613824, 'vms': 745967616, 'uss': 573321216, 'wall_time': 32.96881321799998, 'exclusive_time': 30.011}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 73, 'cpu': 290.9272000000001, 'rss': 1009963008, 'vms': 1341001728, 'uss': 1005674496, 'wall_time': 14.99503751200001, 'exclusive_time': 11.673}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 73, 'cpu': 135.83672839506232, 'rss': 578498560, 'vms': 747130880, 'uss': 574197760, 'wall_time': 36.470068497, 'exclusive_time': 33.301}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 76, 'cpu': 256.17391304347825, 'rss': 873738240, 'vms': 1245122560, 'uss': 869416960, 'wall_time': 17.125180940000007, 'exclusive_time': 13.551}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 76, 'cpu': 129.592082111437, 'rss': 485322752, 'vms': 637415424, 'uss': 480997376, 'wall_time': 38.487862715000006, 'exclusive_time': 33.4}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 79, 'cpu': 258.37122302158275, 'rss': 995696640, 'vms': 1330053120, 'uss': 991514624, 'wall_time': 17.281523745000072, 'exclusive_time': 13.617}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 79, 'cpu': 136.21019283746563, 'rss': 480522240, 'vms': 645066752, 'uss': 476225536, 'wall_time': 41.537806118999924, 'exclusive_time': 36.547}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 82, 'cpu': 277.92338709677426, 'rss': 964325376, 'vms': 1324843008, 'uss': 960135168, 'wall_time': 14.955290707000017, 'exclusive_time': 11.601}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 82, 'cpu': 132.68489010989026, 'rss': 484851712, 'vms': 864854016, 'uss': 480522240, 'wall_time': 39.905758158000026, 'exclusive_time': 36.823}
{'dataset': 'err_loops', 'reasoner': 'jena', 'count': 85, 'cpu': 262.3204225352113, 'rss': 1035759616, 'vms': 1253462016, 'uss': 1032126464, 'wall_time': 17.353798834999907, 'exclusive_time': 13.945}
{'dataset': 'err_loops', 'reasoner': 'sparql', 'count': 85, 'cpu': 129.59360613810753, 'rss': 581054464, 'vms': 864878592, 'uss': 576741376, 'wall_time': 44.98223655900006, 'exclusive_time': 40.905}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 46, 'cpu': 99.69177215189933, 'rss': 16367616, 'vms': 11788288, 'uss': 12447744, 'wall_time': 51.432578701, 'exclusive_time': 49.952}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 49, 'cpu': 99.60306513410035, 'rss': 16629760, 'vms': 12001280, 'uss': 12664832, 'wall_time': 56.716803528, 'exclusive_time': 55.154}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 52, 'cpu': 99.73622047244181, 'rss': 16908288, 'vms': 12255232, 'uss': 12939264, 'wall_time': 68.657432471, 'exclusive_time': 66.928}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 55, 'cpu': 99.71690821256132, 'rss': 17068032, 'vms': 12398592, 'uss': 13074432, 'wall_time': 67.44802895199999, 'exclusive_time': 65.857}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 58, 'cpu': 99.5896142433244, 'rss': 17149952, 'vms': 12521472, 'uss': 13201408, 'wall_time': 73.35603190400002, 'exclusive_time': 71.679}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 61, 'cpu': 99.72541436464171, 'rss': 17403904, 'vms': 12701696, 'uss': 13381632, 'wall_time': 78.53832738099999, 'exclusive_time': 76.801}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 64, 'cpu': 99.35607940446715, 'rss': 17477632, 'vms': 12881920, 'uss': 13524992, 'wall_time': 87.349607247, 'exclusive_time': 85.389}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 67, 'cpu': 99.65666266506663, 'rss': 17620992, 'vms': 12898304, 'uss': 13611008, 'wall_time': 90.33826699900004, 'exclusive_time': 88.482}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 70, 'cpu': 99.47062706270678, 'rss': 17780736, 'vms': 13148160, 'uss': 13799424, 'wall_time': 98.72478122399991, 'exclusive_time': 96.756}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 73, 'cpu': 99.57485436893248, 'rss': 17846272, 'vms': 13139968, 'uss': 13893632, 'wall_time': 111.24899155100002, 'exclusive_time': 109.204}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 76, 'cpu': 99.38083560399669, 'rss': 18554880, 'vms': 13897728, 'uss': 14598144, 'wall_time': 119.24500856700001, 'exclusive_time': 117.241}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 79, 'cpu': 98.46388036809823, 'rss': 18595840, 'vms': 13938688, 'uss': 14651392, 'wall_time': 137.89705841399996, 'exclusive_time': 135.691}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 82, 'cpu': 97.23110367892956, 'rss': 18825216, 'vms': 14217216, 'uss': 14843904, 'wall_time': 153.99146293700005, 'exclusive_time': 151.441}
{'dataset': 'err_loops', 'reasoner': 'prolog', 'count': 85, 'cpu': 97.40816831683128, 'rss': 19156992, 'vms': 14508032, 'uss': 15183872, 'wall_time': 167.32004824699993, 'exclusive_time': 164.818}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 12, 'cpu': 224.33891402714946, 'rss': 1293606912, 'vms': 1452208128, 'uss': 1289375744, 'wall_time': 31.108551376}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 15, 'cpu': 270.9655555555557, 'rss': 1339625472, 'vms': 1636052992, 'uss': 1335422976, 'wall_time': 38.42580474299999}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 18, 'cpu': 265.19514285714257, 'rss': 1582944256, 'vms': 1804742656, 'uss': 1578721280, 'wall_time': 50.805319799}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 21, 'cpu': 260.4198630136983, 'rss': 1771110400, 'vms': 2043744256, 'uss': 1766879232, 'wall_time': 67.05173826400001}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 13, 'cpu': 247.5502183406115, 'rss': 1311088640, 'vms': 1470476288, 'uss': 1306861568, 'wall_time': 32.730468691}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 16, 'cpu': 248.4423913043478, 'rss': 1447669760, 'vms': 1701347328, 'uss': 1443430400, 'wall_time': 40.052987923}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 19, 'cpu': 259.24250681198885, 'rss': 1681694720, 'vms': 1847275520, 'uss': 1677627392, 'wall_time': 54.75591329000001}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 22, 'cpu': 265.4132250580039, 'rss': 1797689344, 'vms': 2074193920, 'uss': 1793433600, 'wall_time': 62.843813523999984}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 14, 'cpu': 265.4828703703706, 'rss': 1350897664, 'vms': 1468436480, 'uss': 1346682880, 'wall_time': 30.341314937000003}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 17, 'cpu': 282.3718644067795, 'rss': 1578180608, 'vms': 1796435968, 'uss': 1573937152, 'wall_time': 41.875808822}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 20, 'cpu': 254.29034090909053, 'rss': 1679904768, 'vms': 1903665152, 'uss': 1675644928, 'wall_time': 51.37121786099999}
{'dataset': 'err_branching', 'reasoner': 'pellet', 'count': 23, 'cpu': 271.9265882352937, 'rss': 1823834112, 'vms': 2115289088, 'uss': 1819607040, 'wall_time': 63.402167706}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 10, 'cpu': 237.87674418604644, 'rss': 195612672, 'vms': 373710848, 'uss': 191307776, 'wall_time': 4.882780635, 'exclusive_time': 1.754}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 10, 'cpu': 87.65132743362825, 'rss': 13615104, 'vms': 9605120, 'uss': 10301440, 'wall_time': 13.192038719, 'exclusive_time': 9.743}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 10, 'cpu': 206.56161616161617, 'rss': 292302848, 'vms': 495083520, 'uss': 288030720, 'wall_time': 10.949186524999998, 'exclusive_time': 7.878}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 70, 'cpu': 261.40566801619457, 'rss': 1509605376, 'vms': 1854545920, 'uss': 1507012608, 'wall_time': 32.522215659, 'exclusive_time': 27.195}
{'dataset': 'correct_loops', 'reasoner': 'prolog', 'count': 70, 'cpu': 99.67416137805705, 'rss': 21848064, 'vms': 17252352, 'uss': 17891328, 'wall_time': 359.263334794, 'exclusive_time': 356.573}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 70, 'cpu': 111.4205326460484, 'rss': 509075456, 'vms': 870629376, 'uss': 504803328, 'wall_time': 127.45767204700002, 'exclusive_time': 124.007}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 7, 'cpu': 232.63939393939395, 'rss': 168701952, 'vms': 316268544, 'uss': 157663232, 'wall_time': 3.728257073, 'exclusive_time': 1.285}
{'dataset': 'test_one', 'reasoner': 'jena', 'count': 1, 'wall_time': None, 'exclusive_time': None}
{'dataset': 'test_one', 'reasoner': 'clingo', 'count': 1, 'cpu': 0.0, 'rss': 3104768, 'vms': 839680, 'uss': 663552, 'wall_time': 2.2917844229999997, 'exclusive_time': 0.7637786499999999}
{'dataset': 'test_one', 'reasoner': 'jena', 'count': 2, 'cpu': 0.0, 'rss': 3104768, 'vms': 839680, 'uss': 663552, 'wall_time': None, 'exclusive_time': None}
{'dataset': 'test_one', 'reasoner': 'clingo', 'count': 2, 'cpu': 0.0, 'rss': 3084288, 'vms': 847872, 'uss': 663552, 'wall_time': 2.4126655570000004, 'exclusive_time': 0.8045074799999998}
{'dataset': 'test_one', 'reasoner': 'jena', 'count': 3, 'cpu': 0.0, 'rss': 3084288, 'vms': 847872, 'uss': 663552, 'wall_time': None, 'exclusive_time': None}
{'dataset': 'test_one', 'reasoner': 'clingo', 'count': 3, 'cpu': 0.0, 'rss': 3104768, 'vms': 851968, 'uss': 663552, 'wall_time': 2.642109027000002, 'exclusive_time': 0.928971988999999}
{'dataset': 'test_one', 'reasoner': 'jena', 'count': 4, 'cpu': 0.0, 'rss': 3104768, 'vms': 851968, 'uss': 663552, 'wall_time': None, 'exclusive_time': None}
{'dataset': 'test_one', 'reasoner': 'clingo', 'count': 4, 'cpu': 0.0, 'rss': 3080192, 'vms': 847872, 'uss': 663552, 'wall_time': 2.697444934, 'exclusive_time': 0.8165986219999972}
{'dataset': 'test_one', 'reasoner': 'jena', 'count': 5, 'cpu': 0.0, 'rss': 3080192, 'vms': 847872, 'uss': 663552, 'wall_time': None, 'exclusive_time': None}
{'dataset': 'test_one', 'reasoner': 'clingo', 'count': 5, 'cpu': 0.0, 'rss': 3108864, 'vms': 851968, 'uss': 663552, 'wall_time': 2.9262987470000006, 'exclusive_time': 0.8195024510000017}
{'dataset': 'test_one', 'reasoner': 'jena', 'count': 6, 'cpu': 0.0, 'rss': 3108864, 'vms': 851968, 'uss': 663552, 'wall_time': None, 'exclusive_time': None}
{'dataset': 'test_one', 'reasoner': 'clingo', 'count': 6, 'cpu': 0.0, 'rss': 3108864, 'vms': 847872, 'uss': 663552, 'wall_time': 3.0514271700000037, 'exclusive_time': 0.8062930610000052}
{'dataset': 'test_one', 'reasoner': 'jena', 'count': 7, 'cpu': 0.0, 'rss': 3108864, 'vms': 847872, 'uss': 663552, 'wall_time': None, 'exclusive_time': None}
{'dataset': 'test_one', 'reasoner': 'clingo', 'count': 7, 'cpu': 0.0, 'rss': 3108864, 'vms': 847872, 'uss': 663552, 'wall_time': 3.2951020369999995, 'exclusive_time': 0.8046090949999964}
{'dataset': 'test_one', 'reasoner': 'jena', 'count': 5, 'wall_time': None, 'exclusive_time': None}
{'dataset': 'test_one', 'reasoner': 'clingo', 'count': 5, 'cpu': 0.0, 'rss': 3088384, 'vms': 847872, 'uss': 663552, 'wall_time': 2.9545915320000002, 'exclusive_time': 0.8538051439999998}
{'dataset': 'test_one', 'reasoner': 'jena', 'count': 5, 'wall_time': None, 'exclusive_time': None}
{'dataset': 'test_one', 'reasoner': 'clingo', 'count': 5, 'cpu': 0.0, 'rss': 3108864, 'vms': 847872, 'uss': 663552, 'wall_time': 3.0830287750000003, 'exclusive_time': 0.8868088319999998}
{'dataset': 'test_one', 'reasoner': 'jena', 'count': 5, 'cpu': 222.42499999999998, 'rss': 156602368, 'vms': 317050880, 'uss': 152293376, 'wall_time': 3.11648924, 'exclusive_time': 0.87}
{'dataset': 'test_one', 'reasoner': 'clingo', 'count': 5, 'cpu': 0.0, 'rss': 3051520, 'vms': 847872, 'uss': 663552, 'wall_time': 2.926329525, 'exclusive_time': 0.8475436410000006}
{'dataset': 'test_one', 'reasoner': 'jena', 'count': 25, 'cpu': 248.71489361702123, 'rss': 325611520, 'vms': 557924352, 'uss': 321310720, 'wall_time': 5.382820221, 'exclusive_time': 2.4}
{'dataset': 'test_one', 'reasoner': 'clingo', 'count': 25, 'cpu': 0.0, 'rss': 3076096, 'vms': 847872, 'uss': 663552, 'wall_time': 8.905177109999999, 'exclusive_time': 0.9646855590000012}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 25, 'cpu': 261.925, 'rss': 332304384, 'vms': 716169216, 'uss': 328028160, 'wall_time': 6.411767638000001, 'exclusive_time': 3.446}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 25, 'cpu': 0.0, 'rss': 3051520, 'vms': 847872, 'uss': 663552, 'wall_time': 12.871314094, 'exclusive_time': 0.9349814089999988}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 5, 'cpu': 204.75833333333333, 'rss': 130912256, 'vms': 303501312, 'uss': 126603264, 'wall_time': 2.8239334269999996, 'exclusive_time': 0.46}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 5, 'cpu': 0.0, 'rss': 3072000, 'vms': 847872, 'uss': 663552, 'wall_time': 3.200859522, 'exclusive_time': 0.7913332649999996}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 10, 'cpu': 218.8892857142857, 'rss': 164839424, 'vms': 308346880, 'uss': 160530432, 'wall_time': 3.1424385410000006, 'exclusive_time': 0.664}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 10, 'cpu': 0.0, 'rss': 3088384, 'vms': 843776, 'uss': 663552, 'wall_time': 4.579662064000001, 'exclusive_time': 0.8117968509999987}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 15, 'cpu': 246.9289473684211, 'rss': 223461376, 'vms': 490450944, 'uss': 219181056, 'wall_time': 4.245121406999999, 'exclusive_time': 1.328}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 15, 'cpu': 0.0, 'rss': 3076096, 'vms': 851968, 'uss': 663552, 'wall_time': 6.501077944000002, 'exclusive_time': 0.8221971880000005}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 20, 'cpu': 261.94444444444446, 'rss': 249229312, 'vms': 495575040, 'uss': 244920320, 'wall_time': 5.101694567999999, 'exclusive_time': 2.53}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 20, 'cpu': 0.0, 'rss': 3108864, 'vms': 851968, 'uss': 663552, 'wall_time': 9.414567896999998, 'exclusive_time': 0.8686994769999998}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 25, 'cpu': 280.60185185185196, 'rss': 328957952, 'vms': 717025280, 'uss': 324648960, 'wall_time': 6.071578097, 'exclusive_time': 3.512}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 25, 'cpu': 0.0, 'rss': 3092480, 'vms': 847872, 'uss': 663552, 'wall_time': 12.724023951, 'exclusive_time': 0.8883496600000029}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 30, 'cpu': 278.1769230769231, 'rss': 372887552, 'vms': 715657216, 'uss': 368570368, 'wall_time': 5.9840445780000096, 'exclusive_time': 3.084}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 30, 'cpu': 0.0, 'rss': 3108864, 'vms': 847872, 'uss': 663552, 'wall_time': 16.644041168, 'exclusive_time': 0.9146995560000022}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 35, 'cpu': 274.88490566037734, 'rss': 431661056, 'vms': 693997568, 'uss': 427360256, 'wall_time': 6.0810306829999945, 'exclusive_time': 3.263}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 35, 'cpu': 0.0, 'rss': 3076096, 'vms': 843776, 'uss': 663552, 'wall_time': 20.906974903999995, 'exclusive_time': 0.9569633499999952}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 40, 'cpu': 268.3896551724137, 'rss': 404922368, 'vms': 726257664, 'uss': 400637952, 'wall_time': 6.817733967999999, 'exclusive_time': 3.862}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 40, 'wall_time': 25.265215175999998, 'exclusive_time': 1.0911291070000004}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 45, 'cpu': 287.19594594594605, 'rss': 607731712, 'vms': 1048174592, 'uss': 603422720, 'wall_time': 8.840342206000003, 'exclusive_time': 5.68}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 45, 'wall_time': 29.957361014000014, 'exclusive_time': 1.0504168880000009}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 50, 'cpu': 283.81891891891905, 'rss': 580165632, 'vms': 1019506688, 'uss': 575852544, 'wall_time': 8.591032134000017, 'exclusive_time': 5.364}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 50, 'wall_time': 34.52088592100003, 'exclusive_time': 1.0508912519999853}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 55, 'cpu': 296.73678160919553, 'rss': 762302464, 'vms': 1106763776, 'uss': 758444032, 'wall_time': 10.518935216999978, 'exclusive_time': 7.177}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 55, 'wall_time': 39.12999516900004, 'exclusive_time': 1.170302396000011}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 5, 'cpu': 0.0, 'rss': 3051520, 'vms': 847872, 'uss': 663552, 'wall_time': 5.047669878000001, 'exclusive_time': 1.1313527959999998}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 30, 'cpu': 0.0, 'rss': 3076096, 'vms': 851968, 'uss': 663552, 'wall_time': 27.181395957000003, 'exclusive_time': 1.4235632180000017}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 55, 'wall_time': 60.61343225700001, 'exclusive_time': 1.5059549489999995}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 30, 'cpu': 0.0, 'rss': 3076096, 'vms': 843776, 'uss': 663552, 'wall_time': 27.158608917000002, 'exclusive_time': 1.358112277}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 30, 'cpu': 0.0, 'rss': 3051520, 'vms': 847872, 'uss': 663552, 'wall_time': 27.769685478, 'exclusive_time': 1.5149727430000013}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 30, 'cpu': 0.0, 'rss': 3055616, 'vms': 856064, 'uss': 663552, 'wall_time': 27.492047936000002, 'exclusive_time': 1.4896643939999983}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 30, 'cpu': 0.0, 'rss': 3047424, 'vms': 847872, 'uss': 663552, 'wall_time': 11.394494158, 'exclusive_time': 10.222262553}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 30, 'cpu': 0.0, 'rss': 3051520, 'vms': 843776, 'uss': 663552, 'wall_time': 11.553966798, 'exclusive_time': 10.335526023}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 30, 'cpu': 0.0, 'rss': 3076096, 'vms': 843776, 'uss': 663552, 'wall_time': 12.03452302, 'exclusive_time': 10.886133194}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 30, 'cpu': 0.0, 'rss': 3076096, 'vms': 847872, 'uss': 663552, 'wall_time': 12.271365781, 'exclusive_time': 10.931733167}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 1, 'cpu': 0.0, 'rss': 3100672, 'vms': 843776, 'uss': 663552, 'wall_time': 2.7959064030000005, 'exclusive_time': 2.3505556800000003}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 30, 'cpu': 0.0, 'rss': 3084288, 'vms': 847872, 'uss': 663552, 'wall_time': 11.969609952, 'exclusive_time': 10.618056203}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 30, 'cpu': 0.0, 'rss': 3108864, 'vms': 847872, 'uss': 663552, 'wall_time': 11.945507298, 'exclusive_time': 10.61287631}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 30, 'wall_time': 11.302854046999999, 'exclusive_time': 10.648398865}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 30, 'cpu': 0.0, 'rss': 3080192, 'vms': 843776, 'uss': 663552, 'wall_time': 11.991280699, 'exclusive_time': 10.651147339}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 30, 'cpu': 0.0, 'rss': 3108864, 'vms': 851968, 'uss': 663552, 'wall_time': 12.119018854, 'exclusive_time': 10.736730642999998}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 30, 'cpu': 0.0, 'rss': 3076096, 'vms': 847872, 'uss': 663552, 'wall_time': 12.14133153, 'exclusive_time': 10.794640131}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 30, 'cpu': 0.0, 'rss': 3051520, 'vms': 843776, 'uss': 663552, 'wall_time': 12.346269798, 'exclusive_time': 10.970921169}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 30, 'cpu': 97.32647058823531, 'rss': 57524224, 'vms': 56889344, 'uss': 55582720, 'wall_time': 13.694924114, 'exclusive_time': 12.102519696000002}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 30, 'cpu': 97.84999999999998, 'rss': 57528320, 'vms': 56893440, 'uss': 56270848, 'wall_time': 13.26958704, 'exclusive_time': 11.729423685}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 30, 'cpu': 99.94545454545457, 'rss': 57917440, 'vms': 57315328, 'uss': 56659968, 'wall_time': 12.327421294, 'exclusive_time': 10.872504645}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 30, 'cpu': 99.48484848484848, 'rss': 57827328, 'vms': 57237504, 'uss': 55689216, 'wall_time': 12.401601307, 'exclusive_time': 11.894736225}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 30, 'cpu': 99.98484848484848, 'rss': 57520128, 'vms': 56889344, 'uss': 55578624, 'wall_time': 12.267498081, 'exclusive_time': 4.103}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 1, 'cpu': 99.98888888888888, 'rss': 42426368, 'vms': 41013248, 'uss': 40054784, 'wall_time': 3.1057078500000004, 'exclusive_time': 1.742}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 4, 'cpu': 99.89000000000001, 'rss': 42803200, 'vms': 41422848, 'uss': 41484288, 'wall_time': 3.822794173, 'exclusive_time': 1.775}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 7, 'cpu': 99.92727272727274, 'rss': 43487232, 'vms': 42151936, 'uss': 42074112, 'wall_time': 4.494610282, 'exclusive_time': 1.868}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 10, 'cpu': 98.9, 'rss': 43868160, 'vms': 42553344, 'uss': 42381312, 'wall_time': 5.310033009999998, 'exclusive_time': 2.076}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 13, 'cpu': 99.94666666666667, 'rss': 44990464, 'vms': 43712512, 'uss': 43556864, 'wall_time': 6.193783637999999, 'exclusive_time': 2.294}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 16, 'cpu': 96.3157894736842, 'rss': 46731264, 'vms': 45588480, 'uss': 45367296, 'wall_time': 7.316483084999998, 'exclusive_time': 2.697}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 19, 'cpu': 96.67083333333333, 'rss': 47947776, 'vms': 46686208, 'uss': 46161920, 'wall_time': 8.806557356000006, 'exclusive_time': 2.972}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 22, 'cpu': 99.26086956521739, 'rss': 50331648, 'vms': 49348608, 'uss': 48525312, 'wall_time': 10.186467885999996, 'exclusive_time': 3.091}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 25, 'cpu': 96.65357142857145, 'rss': 52355072, 'vms': 51429376, 'uss': 50262016, 'wall_time': 11.360641890000004, 'exclusive_time': 4.097}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 28, 'cpu': 98.41785714285719, 'rss': 56033280, 'vms': 55164928, 'uss': 54595584, 'wall_time': 10.799865946999986, 'exclusive_time': 3.734}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 31, 'cpu': 99.49333333333337, 'rss': 58449920, 'vms': 57937920, 'uss': 56303616, 'wall_time': 12.124366803000001, 'exclusive_time': 3.969}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 34, 'cpu': 99.11764705882356, 'rss': 60997632, 'vms': 60538880, 'uss': 58617856, 'wall_time': 13.080123970000002, 'exclusive_time': 4.369}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 37, 'cpu': 99.60256410256417, 'rss': 67633152, 'vms': 67305472, 'uss': 66375680, 'wall_time': 14.210165547999992, 'exclusive_time': 4.874}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 40, 'cpu': 99.63255813953496, 'rss': 70230016, 'vms': 69963776, 'uss': 68390912, 'wall_time': 15.275272563000016, 'exclusive_time': 5.235}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 43, 'cpu': 99.06875000000007, 'rss': 73572352, 'vms': 73834496, 'uss': 71041024, 'wall_time': 16.873142177999995, 'exclusive_time': 5.938}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 46, 'cpu': 98.60000000000005, 'rss': 77328384, 'vms': 77725696, 'uss': 75046912, 'wall_time': 18.258277547000006, 'exclusive_time': 6.329}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 49, 'cpu': 99.96612903225811, 'rss': 92635136, 'vms': 93237248, 'uss': 91377664, 'wall_time': 20.082737611, 'exclusive_time': 7.203}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 52, 'cpu': 99.73384615384619, 'rss': 91676672, 'vms': 92282880, 'uss': 90419200, 'wall_time': 21.083341433999976, 'exclusive_time': 7.577}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 55, 'cpu': 99.11617647058827, 'rss': 94461952, 'vms': 95342592, 'uss': 91750400, 'wall_time': 22.310375469999997, 'exclusive_time': 7.922}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 58, 'cpu': 99.58400000000002, 'rss': 97476608, 'vms': 98537472, 'uss': 95092736, 'wall_time': 22.89562583999998, 'exclusive_time': 8.384}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 61, 'cpu': 99.7753246753247, 'rss': 99946496, 'vms': 101122048, 'uss': 96579584, 'wall_time': 24.107842731000005, 'exclusive_time': 8.703}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 64, 'cpu': 99.79125000000002, 'rss': 103399424, 'vms': 104730624, 'uss': 100986880, 'wall_time': 24.970715009000003, 'exclusive_time': 9.093}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 67, 'cpu': 97.93095238095239, 'rss': 106115072, 'vms': 108171264, 'uss': 102924288, 'wall_time': 26.107596510000008, 'exclusive_time': 9.484}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 70, 'cpu': 99.18571428571424, 'rss': 108969984, 'vms': 111120384, 'uss': 105861120, 'wall_time': 26.85678567100001, 'exclusive_time': 10.216}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 73, 'cpu': 99.52346938775504, 'rss': 111570944, 'vms': 113831936, 'uss': 108740608, 'wall_time': 28.853237471, 'exclusive_time': 10.735}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 76, 'cpu': 99.66530612244891, 'rss': 114270208, 'vms': 116654080, 'uss': 112189440, 'wall_time': 29.402438160999964, 'exclusive_time': 11.069}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 79, 'cpu': 99.96086956521724, 'rss': 141033472, 'vms': 143466496, 'uss': 139771904, 'wall_time': 31.263771565999946, 'exclusive_time': 12.922}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 82, 'cpu': 99.82211538461527, 'rss': 140103680, 'vms': 142663680, 'uss': 138846208, 'wall_time': 30.060487953999996, 'exclusive_time': 11.64}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 85, 'cpu': 98.63888888888879, 'rss': 139902976, 'vms': 142499840, 'uss': 138645504, 'wall_time': 31.59344938600009, 'exclusive_time': 11.998}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 88, 'cpu': 99.57339449541271, 'rss': 140181504, 'vms': 142753792, 'uss': 138924032, 'wall_time': 31.695288557999902, 'exclusive_time': 12.18}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 91, 'cpu': 99.96249999999986, 'rss': 140324864, 'vms': 142893056, 'uss': 139067392, 'wall_time': 32.98047781299999, 'exclusive_time': 12.549}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 90, 'cpu': 246.09555555555568, 'rss': 941621248, 'vms': 1243824128, 'uss': 937308160, 'wall_time': 15.95782463, 'exclusive_time': 10.375}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 90, 'cpu': 96.43984374999984, 'rss': 140189696, 'vms': 142716928, 'uss': 138932224, 'wall_time': 34.889583687999995, 'exclusive_time': 14.057}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 95, 'cpu': 279.03243243243253, 'rss': 905654272, 'vms': 1258246144, 'uss': 901353472, 'wall_time': 13.461726283000004, 'exclusive_time': 9.607}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 95, 'cpu': 99.03249999999989, 'rss': 142987264, 'vms': 146243584, 'uss': 140906496, 'wall_time': 33.707491574, 'exclusive_time': 13.376}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 100, 'cpu': 295.5450331125828, 'rss': 1061568512, 'vms': 1440731136, 'uss': 1057271808, 'wall_time': 18.204168342000003, 'exclusive_time': 14.14}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 100, 'cpu': 99.38604651162778, 'rss': 147718144, 'vms': 151199744, 'uss': 145010688, 'wall_time': 37.720873415, 'exclusive_time': 14.138}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 105, 'cpu': 258.4710144927537, 'rss': 1053327360, 'vms': 1269059584, 'uss': 1048997888, 'wall_time': 17.506816716999992, 'exclusive_time': 12.685}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 105, 'cpu': 99.54264705882336, 'rss': 152514560, 'vms': 156213248, 'uss': 149028864, 'wall_time': 36.165628131000005, 'exclusive_time': 14.832}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 110, 'cpu': 283.8734848484851, 'rss': 965382144, 'vms': 1269895168, 'uss': 961085440, 'wall_time': 15.673993979999977, 'exclusive_time': 11.566}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 110, 'cpu': 99.67248322147633, 'rss': 157360128, 'vms': 161337344, 'uss': 155742208, 'wall_time': 38.91191981399999, 'exclusive_time': 16.241}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 115, 'cpu': 276.8181102362205, 'rss': 979902464, 'vms': 1291440128, 'uss': 975597568, 'wall_time': 15.57230478699995, 'exclusive_time': 11.486}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 115, 'cpu': 99.20805369127498, 'rss': 162185216, 'vms': 166424576, 'uss': 158978048, 'wall_time': 40.99991450700003, 'exclusive_time': 16.385}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 120, 'cpu': 284.62025316455697, 'rss': 1139150848, 'vms': 1531904000, 'uss': 1134915584, 'wall_time': 19.70080407300003, 'exclusive_time': 15.449}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 120, 'cpu': 97.22823529411747, 'rss': 167337984, 'vms': 171872256, 'uss': 164261888, 'wall_time': 43.40559358300004, 'exclusive_time': 18.6}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 125, 'cpu': 288.5892215568864, 'rss': 1150980096, 'vms': 1541165056, 'uss': 1146695680, 'wall_time': 21.076033988000063, 'exclusive_time': 16.75}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 125, 'cpu': 99.55029940119738, 'rss': 172163072, 'vms': 176975872, 'uss': 170901504, 'wall_time': 42.96885272899999, 'exclusive_time': 17.888}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 130, 'cpu': 284.15389221556904, 'rss': 1145290752, 'vms': 1536135168, 'uss': 1141002240, 'wall_time': 21.146519729000033, 'exclusive_time': 16.161}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 130, 'cpu': 99.4672514619881, 'rss': 178233344, 'vms': 184254464, 'uss': 176283648, 'wall_time': 43.57781492799995, 'exclusive_time': 18.693}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 135, 'cpu': 288.00121951219523, 'rss': 1260990464, 'vms': 1621164032, 'uss': 1253953536, 'wall_time': 21.104146016000072, 'exclusive_time': 16.725}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 135, 'cpu': 99.42472527472508, 'rss': 183664640, 'vms': 189947904, 'uss': 180973568, 'wall_time': 46.35068123199994, 'exclusive_time': 19.669}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 140, 'cpu': 292.4614942528739, 'rss': 1164189696, 'vms': 1553465344, 'uss': 1159933952, 'wall_time': 22.40320955100003, 'exclusive_time': 17.733}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 140, 'cpu': 99.58944723618072, 'rss': 236265472, 'vms': 242565120, 'uss': 235008000, 'wall_time': 48.879072454999914, 'exclusive_time': 21.513}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 145, 'cpu': 276.94187500000004, 'rss': 1133510656, 'vms': 1528733696, 'uss': 1129205760, 'wall_time': 20.160263084000007, 'exclusive_time': 15.702}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 145, 'cpu': 99.2475490196077, 'rss': 235921408, 'vms': 242339840, 'uss': 234663936, 'wall_time': 49.94380623300003, 'exclusive_time': 21.596}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 150, 'cpu': 268.64339622641523, 'rss': 1138511872, 'vms': 1538244608, 'uss': 1134202880, 'wall_time': 19.90125762499997, 'exclusive_time': 15.377}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 150, 'cpu': 99.61249999999986, 'rss': 236154880, 'vms': 242565120, 'uss': 234897408, 'wall_time': 51.424960416999966, 'exclusive_time': 22.322}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 1, 'cpu': 181.41, 'rss': 92250112, 'vms': 247074816, 'uss': 87941120, 'wall_time': 2.212590128, 'exclusive_time': 0.151}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 1, 'cpu': 99.925, 'rss': 42422272, 'vms': 41017344, 'uss': 40849408, 'wall_time': 2.9162213300000004, 'exclusive_time': 1.634}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 2, 'cpu': 193.53809523809525, 'rss': 114769920, 'vms': 270716928, 'uss': 109211648, 'wall_time': 2.4537793489999995, 'exclusive_time': 0.206}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 2, 'cpu': 98.2125, 'rss': 42594304, 'vms': 41230336, 'uss': 41193472, 'wall_time': 3.266852731, 'exclusive_time': 1.688}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 3, 'cpu': 192.78333333333333, 'rss': 119504896, 'vms': 275517440, 'uss': 110395392, 'wall_time': 2.75921284, 'exclusive_time': 0.374}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 3, 'cpu': 96.38749999999999, 'rss': 42725376, 'vms': 41316352, 'uss': 41340928, 'wall_time': 3.382507560999997, 'exclusive_time': 1.666}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 4, 'cpu': 206.61249999999998, 'rss': 123797504, 'vms': 294514688, 'uss': 119468032, 'wall_time': 2.750630815000001, 'exclusive_time': 0.394}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 4, 'cpu': 99.9625, 'rss': 42807296, 'vms': 41414656, 'uss': 41271296, 'wall_time': 3.6827435699999995, 'exclusive_time': 1.711}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 5, 'cpu': 222.30384615384614, 'rss': 125956096, 'vms': 299171840, 'uss': 121622528, 'wall_time': 2.858197038, 'exclusive_time': 0.631}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 5, 'cpu': 98.175, 'rss': 43200512, 'vms': 41836544, 'uss': 41943040, 'wall_time': 3.8275451359999977, 'exclusive_time': 1.74}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 6, 'cpu': 221.32857142857145, 'rss': 144453632, 'vms': 318361600, 'uss': 140140544, 'wall_time': 3.0555948279999967, 'exclusive_time': 0.751}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 6, 'cpu': 98.21111111111111, 'rss': 43118592, 'vms': 41738240, 'uss': 41734144, 'wall_time': 4.053866893999995, 'exclusive_time': 1.802}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 7, 'cpu': 223.07857142857142, 'rss': 145485824, 'vms': 317243392, 'uss': 142770176, 'wall_time': 3.140131208999996, 'exclusive_time': 0.85}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 7, 'cpu': 99.88000000000001, 'rss': 43622400, 'vms': 42274816, 'uss': 42188800, 'wall_time': 4.450457338999996, 'exclusive_time': 1.812}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 8, 'cpu': 216.23600000000002, 'rss': 140230656, 'vms': 299741184, 'uss': 135905280, 'wall_time': 2.784587627999997, 'exclusive_time': 0.581}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 8, 'cpu': 98.4222222222222, 'rss': 43581440, 'vms': 42274816, 'uss': 42323968, 'wall_time': 4.407653716999995, 'exclusive_time': 1.829}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 9, 'cpu': 225.54814814814813, 'rss': 151445504, 'vms': 310419456, 'uss': 147132416, 'wall_time': 3.0430757319999984, 'exclusive_time': 0.666}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 9, 'cpu': 97.35999999999999, 'rss': 43917312, 'vms': 42590208, 'uss': 42242048, 'wall_time': 4.855829616000001, 'exclusive_time': 1.94}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 10, 'cpu': 240.01333333333332, 'rss': 166825984, 'vms': 315392000, 'uss': 162217984, 'wall_time': 3.374349582000008, 'exclusive_time': 1.001}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 10, 'cpu': 99.91818181818181, 'rss': 43876352, 'vms': 42545152, 'uss': 42389504, 'wall_time': 4.971715520999993, 'exclusive_time': 1.931}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 11, 'cpu': 238.5724137931034, 'rss': 162828288, 'vms': 305594368, 'uss': 156663808, 'wall_time': 3.3070773970000005, 'exclusive_time': 0.978}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 11, 'cpu': 97.59166666666665, 'rss': 44249088, 'vms': 42897408, 'uss': 42954752, 'wall_time': 5.048745623000002, 'exclusive_time': 1.975}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 12, 'cpu': 229.8516129032258, 'rss': 168923136, 'vms': 314580992, 'uss': 164581376, 'wall_time': 3.5095285530000098, 'exclusive_time': 1.171}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 12, 'cpu': 99.99999999999999, 'rss': 44523520, 'vms': 43220992, 'uss': 43266048, 'wall_time': 5.512084058999989, 'exclusive_time': 2.092}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 13, 'cpu': 239.45000000000002, 'rss': 185483264, 'vms': 364953600, 'uss': 181174272, 'wall_time': 3.500423800000007, 'exclusive_time': 1.162}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 13, 'cpu': 97.79999999999998, 'rss': 44974080, 'vms': 43692032, 'uss': 43565056, 'wall_time': 5.60162153200001, 'exclusive_time': 2.06}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 14, 'cpu': 240.00294117647056, 'rss': 173387776, 'vms': 310370304, 'uss': 169046016, 'wall_time': 3.6849800649999906, 'exclusive_time': 1.277}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 14, 'cpu': 100.01176470588237, 'rss': 45568000, 'vms': 44290048, 'uss': 44310528, 'wall_time': 6.82444198799999, 'exclusive_time': 2.633}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 15, 'cpu': 257.7729729729729, 'rss': 221372416, 'vms': 434114560, 'uss': 216379392, 'wall_time': 4.187670162000003, 'exclusive_time': 1.701}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 15, 'cpu': 98.85333333333332, 'rss': 46325760, 'vms': 45047808, 'uss': 45068288, 'wall_time': 6.421259305999996, 'exclusive_time': 2.318}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 16, 'cpu': 257.1567567567567, 'rss': 216625152, 'vms': 484331520, 'uss': 212307968, 'wall_time': 4.182953394999998, 'exclusive_time': 1.745}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 16, 'cpu': 99.94375, 'rss': 46759936, 'vms': 45613056, 'uss': 45006848, 'wall_time': 6.646634777999992, 'exclusive_time': 2.367}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 17, 'cpu': 250.85405405405402, 'rss': 219213824, 'vms': 488693760, 'uss': 214904832, 'wall_time': 4.264045144000022, 'exclusive_time': 1.723}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 17, 'cpu': 99.9375, 'rss': 46960640, 'vms': 45703168, 'uss': 45387776, 'wall_time': 6.853995182000006, 'exclusive_time': 2.417}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 18, 'cpu': 258.03076923076924, 'rss': 216616960, 'vms': 485208064, 'uss': 212275200, 'wall_time': 4.353209379999981, 'exclusive_time': 1.864}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 18, 'cpu': 98.2764705882353, 'rss': 47288320, 'vms': 46034944, 'uss': 45584384, 'wall_time': 7.238665959000002, 'exclusive_time': 2.506}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 19, 'cpu': 257.81499999999994, 'rss': 237953024, 'vms': 483708928, 'uss': 233611264, 'wall_time': 4.486170909000009, 'exclusive_time': 1.724}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 19, 'cpu': 97.61111111111111, 'rss': 47861760, 'vms': 46608384, 'uss': 46059520, 'wall_time': 7.641473448000028, 'exclusive_time': 2.597}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 20, 'cpu': 254.92051282051276, 'rss': 241102848, 'vms': 473780224, 'uss': 236802048, 'wall_time': 4.456309938999993, 'exclusive_time': 1.737}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 20, 'cpu': 99.15, 'rss': 49278976, 'vms': 48050176, 'uss': 47923200, 'wall_time': 8.252559292, 'exclusive_time': 2.686}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 21, 'cpu': 257.88888888888886, 'rss': 241778688, 'vms': 482009088, 'uss': 237436928, 'wall_time': 5.0304071459999875, 'exclusive_time': 2.383}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 21, 'cpu': 99.365, 'rss': 49995776, 'vms': 48939008, 'uss': 48738304, 'wall_time': 8.543315845000024, 'exclusive_time': 2.864}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 22, 'cpu': 256.4775, 'rss': 239161344, 'vms': 473395200, 'uss': 234864640, 'wall_time': 4.590261721000019, 'exclusive_time': 1.882}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 22, 'cpu': 99.3047619047619, 'rss': 50479104, 'vms': 49528832, 'uss': 48418816, 'wall_time': 9.078671077999985, 'exclusive_time': 2.956}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 23, 'cpu': 260.9183673469387, 'rss': 253693952, 'vms': 488169472, 'uss': 250298368, 'wall_time': 5.413242511999982, 'exclusive_time': 2.799}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 23, 'cpu': 99.9666666666667, 'rss': 51036160, 'vms': 49999872, 'uss': 49778688, 'wall_time': 9.358176762999989, 'exclusive_time': 3.029}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 24, 'cpu': 277.7333333333333, 'rss': 331182080, 'vms': 724336640, 'uss': 326889472, 'wall_time': 6.593022898000015, 'exclusive_time': 3.878}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 24, 'cpu': 98.7304347826087, 'rss': 51810304, 'vms': 50798592, 'uss': 50343936, 'wall_time': 9.811984446999986, 'exclusive_time': 3.209}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 25, 'cpu': 263.1454545454545, 'rss': 331149312, 'vms': 563699712, 'uss': 326782976, 'wall_time': 4.982867217999967, 'exclusive_time': 2.185}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 25, 'cpu': 99.94583333333334, 'rss': 52355072, 'vms': 51421184, 'uss': 50274304, 'wall_time': 10.227120994000018, 'exclusive_time': 3.305}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 26, 'cpu': 259.44600000000014, 'rss': 336637952, 'vms': 567300096, 'uss': 332496896, 'wall_time': 5.568390675999979, 'exclusive_time': 2.693}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 26, 'cpu': 98.25600000000003, 'rss': 53121024, 'vms': 52142080, 'uss': 51073024, 'wall_time': 10.91847248099998, 'exclusive_time': 3.401}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 27, 'cpu': 253.95223880597013, 'rss': 384610304, 'vms': 689090560, 'uss': 380272640, 'wall_time': 8.001801214000011, 'exclusive_time': 4.895}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 27, 'cpu': 90.01515151515153, 'rss': 55500800, 'vms': 54583296, 'uss': 53624832, 'wall_time': 13.66506216800002, 'exclusive_time': 4.606}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 28, 'cpu': 267.4, 'rss': 370384896, 'vms': 713420800, 'uss': 366075904, 'wall_time': 6.185639337999987, 'exclusive_time': 3.041}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 28, 'cpu': 99.99285714285718, 'rss': 56033280, 'vms': 55173120, 'uss': 54775808, 'wall_time': 11.405925295000031, 'exclusive_time': 3.698}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 29, 'cpu': 272.8370370370371, 'rss': 374476800, 'vms': 716513280, 'uss': 370167808, 'wall_time': 6.087752380999973, 'exclusive_time': 3.162}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 29, 'cpu': 99.45517241379311, 'rss': 56963072, 'vms': 56147968, 'uss': 54943744, 'wall_time': 12.053123348999975, 'exclusive_time': 3.814}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 30, 'cpu': 273.0065573770492, 'rss': 373665792, 'vms': 717312000, 'uss': 369324032, 'wall_time': 6.842350558000021, 'exclusive_time': 3.956}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 30, 'cpu': 99.47000000000004, 'rss': 57524224, 'vms': 56893440, 'uss': 56025088, 'wall_time': 12.010796534999997, 'exclusive_time': 3.915}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 31, 'cpu': 273.6380952380953, 'rss': 371474432, 'vms': 717803520, 'uss': 367169536, 'wall_time': 7.170639483000002, 'exclusive_time': 4.141}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 31, 'cpu': 99.03548387096778, 'rss': 58888192, 'vms': 58335232, 'uss': 56516608, 'wall_time': 12.533633649000024, 'exclusive_time': 4.025}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 30, 'cpu': 272.95660377358496, 'rss': 365117440, 'vms': 708808704, 'uss': 360796160, 'wall_time': 5.930797630000001, 'exclusive_time': 3.125}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 30, 'cpu': 99.98333333333338, 'rss': 57528320, 'vms': 56897536, 'uss': 55836672, 'wall_time': 11.690923045, 'exclusive_time': 3.88}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 33, 'cpu': 280.51578947368426, 'rss': 448770048, 'vms': 706314240, 'uss': 444424192, 'wall_time': 6.456668522000001, 'exclusive_time': 3.525}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 33, 'cpu': 99.48235294117652, 'rss': 60203008, 'vms': 59695104, 'uss': 58920960, 'wall_time': 12.873090882, 'exclusive_time': 4.278}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 36, 'cpu': 273.78771929824563, 'rss': 433532928, 'vms': 708911104, 'uss': 429223936, 'wall_time': 6.520349025999998, 'exclusive_time': 3.644}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 36, 'cpu': 99.60000000000007, 'rss': 67416064, 'vms': 67104768, 'uss': 63782912, 'wall_time': 14.003169100000001, 'exclusive_time': 4.774}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 39, 'cpu': 275.95692307692315, 'rss': 440590336, 'vms': 693149696, 'uss': 437018624, 'wall_time': 7.5112926380000005, 'exclusive_time': 4.06}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 39, 'cpu': 99.62093023255818, 'rss': 69156864, 'vms': 68841472, 'uss': 66637824, 'wall_time': 15.065860818000004, 'exclusive_time': 5.22}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 42, 'cpu': 285.1097222222222, 'rss': 432193536, 'vms': 686043136, 'uss': 427851776, 'wall_time': 8.236130971999998, 'exclusive_time': 5.053}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 42, 'cpu': 98.06739130434785, 'rss': 72306688, 'vms': 72523776, 'uss': 70017024, 'wall_time': 16.88731739299999, 'exclusive_time': 5.73}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 45, 'cpu': 285.1639534883721, 'rss': 577744896, 'vms': 924422144, 'uss': 573427712, 'wall_time': 9.965163343, 'exclusive_time': 6.66}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 45, 'cpu': 99.67800000000005, 'rss': 75943936, 'vms': 76300288, 'uss': 73465856, 'wall_time': 18.260956651999976, 'exclusive_time': 6.293}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 48, 'cpu': 283.7480519480521, 'rss': 593498112, 'vms': 1032855552, 'uss': 589152256, 'wall_time': 9.143284189000013, 'exclusive_time': 5.926}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 48, 'cpu': 99.09322033898307, 'rss': 79515648, 'vms': 80003072, 'uss': 78209024, 'wall_time': 19.460978341999976, 'exclusive_time': 6.916}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 51, 'cpu': 288.5190476190476, 'rss': 622690304, 'vms': 1055223808, 'uss': 618348544, 'wall_time': 9.86700916000001, 'exclusive_time': 6.403}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 51, 'cpu': 98.86000000000003, 'rss': 91897856, 'vms': 92438528, 'uss': 90640384, 'wall_time': 21.175190149000002, 'exclusive_time': 7.467}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 54, 'cpu': 285.1250000000001, 'rss': 709599232, 'vms': 945299456, 'uss': 705548288, 'wall_time': 9.922234170000024, 'exclusive_time': 6.451}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 54, 'cpu': 99.7549295774648, 'rss': 93392896, 'vms': 94236672, 'uss': 91144192, 'wall_time': 22.567012040999998, 'exclusive_time': 8.065}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 57, 'cpu': 275.7472527472528, 'rss': 718483456, 'vms': 925511680, 'uss': 714321920, 'wall_time': 10.71097968500004, 'exclusive_time': 7.137}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 57, 'cpu': 99.20526315789476, 'rss': 96403456, 'vms': 97382400, 'uss': 94777344, 'wall_time': 24.040759606999984, 'exclusive_time': 8.678}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 60, 'cpu': 262.32045454545465, 'rss': 696627200, 'vms': 934465536, 'uss': 692285440, 'wall_time': 10.203367151000009, 'exclusive_time': 6.684}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 60, 'cpu': 99.25875000000002, 'rss': 99053568, 'vms': 100192256, 'uss': 97546240, 'wall_time': 25.325069506000034, 'exclusive_time': 8.903}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 63, 'cpu': 283.5752475247526, 'rss': 694341632, 'vms': 941133824, 'uss': 689995776, 'wall_time': 11.600837438999974, 'exclusive_time': 7.944}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 63, 'cpu': 99.78095238095236, 'rss': 102182912, 'vms': 103456768, 'uss': 99995648, 'wall_time': 25.673852795000016, 'exclusive_time': 9.292}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 66, 'cpu': 275.0438202247192, 'rss': 698605568, 'vms': 938913792, 'uss': 694308864, 'wall_time': 10.37183755600006, 'exclusive_time': 6.717}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 66, 'cpu': 99.65172413793103, 'rss': 105566208, 'vms': 107569152, 'uss': 102838272, 'wall_time': 26.572151875999907, 'exclusive_time': 9.708}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 69, 'cpu': 263.16413043478263, 'rss': 735084544, 'vms': 1077207040, 'uss': 730746880, 'wall_time': 10.644538491999924, 'exclusive_time': 6.97}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 69, 'cpu': 99.32777777777774, 'rss': 107913216, 'vms': 110030848, 'uss': 106655744, 'wall_time': 27.865568481999958, 'exclusive_time': 10.224}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 72, 'cpu': 285.20645161290327, 'rss': 731840512, 'vms': 1073840128, 'uss': 727523328, 'wall_time': 10.98248616300009, 'exclusive_time': 7.291}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 72, 'cpu': 99.17040816326528, 'rss': 110641152, 'vms': 112869376, 'uss': 109383680, 'wall_time': 29.472458820000043, 'exclusive_time': 10.998}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 75, 'cpu': 280.5333333333334, 'rss': 927895552, 'vms': 1272737792, 'uss': 923639808, 'wall_time': 13.052873709999972, 'exclusive_time': 6.504}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 75, 'cpu': 99.11188118811873, 'rss': 113266688, 'vms': 115621888, 'uss': 109912064, 'wall_time': 29.018919340000025, 'exclusive_time': 11.023}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 78, 'cpu': 278.530275229358, 'rss': 918519808, 'vms': 1272717312, 'uss': 914210816, 'wall_time': 13.086221814000055, 'exclusive_time': 9.216}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 78, 'cpu': 99.24117647058814, 'rss': 116269056, 'vms': 118734848, 'uss': 112435200, 'wall_time': 31.075382288000014, 'exclusive_time': 11.468}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 81, 'cpu': 276.51065573770506, 'rss': 800624640, 'vms': 1172701184, 'uss': 796250112, 'wall_time': 14.523560141000075, 'exclusive_time': 10.388}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 81, 'cpu': 99.73193277310912, 'rss': 140005376, 'vms': 142524416, 'uss': 138747904, 'wall_time': 34.799397935, 'exclusive_time': 13.255}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 84, 'cpu': 263.36899224806217, 'rss': 927809536, 'vms': 1266966528, 'uss': 923496448, 'wall_time': 15.956722992999971, 'exclusive_time': 11.196}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 84, 'cpu': 99.50873015873003, 'rss': 140226560, 'vms': 142745600, 'uss': 138969088, 'wall_time': 36.43367385499994, 'exclusive_time': 14.078}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 87, 'cpu': 285.86240601503755, 'rss': 969641984, 'vms': 1284702208, 'uss': 965316608, 'wall_time': 16.511251113999833, 'exclusive_time': 12.075}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 87, 'cpu': 99.96279069767425, 'rss': 140181504, 'vms': 142700544, 'uss': 138924032, 'wall_time': 37.70577731800017, 'exclusive_time': 14.39}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 90, 'cpu': 276.22898550724653, 'rss': 924585984, 'vms': 1267109888, 'uss': 920502272, 'wall_time': 17.096782387999838, 'exclusive_time': 12.621}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 90, 'cpu': 99.87727272727254, 'rss': 140193792, 'vms': 142733312, 'uss': 138936320, 'wall_time': 38.38597222400017, 'exclusive_time': 14.652}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 46, 'cpu': 269.68735632183916, 'rss': 603234304, 'vms': 1031143424, 'uss': 598880256, 'wall_time': 10.059873871, 'exclusive_time': 6.504}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 49, 'cpu': 286.09195402298866, 'rss': 587055104, 'vms': 939810816, 'uss': 581570560, 'wall_time': 10.089661560000003, 'exclusive_time': 6.482}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 52, 'cpu': 286.06000000000006, 'rss': 701591552, 'vms': 941068288, 'uss': 697667584, 'wall_time': 11.245463379, 'exclusive_time': 7.292}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 55, 'cpu': 232.26272727272737, 'rss': 718221312, 'vms': 952803328, 'uss': 713875456, 'wall_time': 13.00793179, 'exclusive_time': 7.516}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 58, 'cpu': 254.3937500000001, 'rss': 703311872, 'vms': 945864704, 'uss': 699002880, 'wall_time': 11.283532158, 'exclusive_time': 7.497}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 61, 'cpu': 256.3618556701031, 'rss': 702103552, 'vms': 909836288, 'uss': 697761792, 'wall_time': 11.257723553000005, 'exclusive_time': 7.318}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 64, 'cpu': 244.30467289719633, 'rss': 722137088, 'vms': 1058795520, 'uss': 718184448, 'wall_time': 12.85232831399999, 'exclusive_time': 9.087}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 67, 'cpu': 249.95049504950504, 'rss': 690720768, 'vms': 931618816, 'uss': 686379008, 'wall_time': 11.671524455999986, 'exclusive_time': 7.465}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 70, 'cpu': 268.9084745762712, 'rss': 826454016, 'vms': 1188446208, 'uss': 822214656, 'wall_time': 13.74143861600001, 'exclusive_time': 9.774}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 73, 'cpu': 280.4080645161291, 'rss': 828067840, 'vms': 1199017984, 'uss': 823738368, 'wall_time': 15.095869322999988, 'exclusive_time': 11.14}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 76, 'cpu': 282.4750000000001, 'rss': 810823680, 'vms': 1159831552, 'uss': 808824832, 'wall_time': 13.508177765, 'exclusive_time': 9.754}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 79, 'cpu': 276.17064220183494, 'rss': 936796160, 'vms': 1279733760, 'uss': 932536320, 'wall_time': 12.810607277999964, 'exclusive_time': 8.875}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 82, 'cpu': 278.63185840707973, 'rss': 799625216, 'vms': 1160499200, 'uss': 795283456, 'wall_time': 13.141627091000032, 'exclusive_time': 9.43}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 85, 'cpu': 283.1007518796993, 'rss': 917889024, 'vms': 1175203840, 'uss': 914165760, 'wall_time': 15.617323896000016, 'exclusive_time': 11.141}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 88, 'cpu': 250.88583333333338, 'rss': 873668608, 'vms': 1270222848, 'uss': 869421056, 'wall_time': 14.981972717999952, 'exclusive_time': 10.981}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 91, 'cpu': 255.8085937500001, 'rss': 923467776, 'vms': 1221382144, 'uss': 919142400, 'wall_time': 15.494439295999996, 'exclusive_time': 10.592}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 94, 'cpu': 280.87459016393444, 'rss': 922607616, 'vms': 1223114752, 'uss': 918286336, 'wall_time': 14.324215064999976, 'exclusive_time': 10.464}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 16, 'cpu': 246.5048780487805, 'rss': 221868032, 'vms': 489725952, 'uss': 216760320, 'wall_time': 4.556898961, 'exclusive_time': 1.935}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 17, 'cpu': 243.95, 'rss': 220692480, 'vms': 434298880, 'uss': 215113728, 'wall_time': 4.616020982999999, 'exclusive_time': 1.714}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 18, 'cpu': 251.56170212765957, 'rss': 216129536, 'vms': 485376000, 'uss': 211820544, 'wall_time': 5.161780948999999, 'exclusive_time': 2.216}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 19, 'cpu': 247.8871794871795, 'rss': 233381888, 'vms': 476164096, 'uss': 225456128, 'wall_time': 4.404013672999998, 'exclusive_time': 1.769}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 20, 'cpu': 253.83902439024394, 'rss': 245448704, 'vms': 479297536, 'uss': 238333952, 'wall_time': 4.494450532000002, 'exclusive_time': 1.775}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 21, 'cpu': 248.5818181818182, 'rss': 236892160, 'vms': 476938240, 'uss': 233250816, 'wall_time': 4.799794132999999, 'exclusive_time': 2.018}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 22, 'cpu': 253.34285714285713, 'rss': 233709568, 'vms': 469688320, 'uss': 226709504, 'wall_time': 4.663578987999998, 'exclusive_time': 1.956}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 23, 'cpu': 250.0674418604651, 'rss': 233791488, 'vms': 467451904, 'uss': 229486592, 'wall_time': 4.662830070000005, 'exclusive_time': 1.96}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 24, 'cpu': 257.22653061224486, 'rss': 251723776, 'vms': 482344960, 'uss': 243109888, 'wall_time': 5.577252140000006, 'exclusive_time': 2.778}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 25, 'cpu': 254.01304347826087, 'rss': 256917504, 'vms': 463007744, 'uss': 252575744, 'wall_time': 4.971771212999997, 'exclusive_time': 2.164}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 26, 'cpu': 257.77169811320755, 'rss': 314585088, 'vms': 551559168, 'uss': 310243328, 'wall_time': 5.817093993, 'exclusive_time': 2.988}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 27, 'cpu': 268.6266666666667, 'rss': 370438144, 'vms': 674959360, 'uss': 366112768, 'wall_time': 6.5765701509999985, 'exclusive_time': 3.692}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 28, 'cpu': 258.91896551724136, 'rss': 336416768, 'vms': 567119872, 'uss': 332095488, 'wall_time': 6.347129123000002, 'exclusive_time': 3.395}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 29, 'cpu': 266.9396551724138, 'rss': 364331008, 'vms': 708337664, 'uss': 360013824, 'wall_time': 6.5008165799999915, 'exclusive_time': 3.42}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 30, 'cpu': 262.52586206896547, 'rss': 369582080, 'vms': 713396224, 'uss': 365252608, 'wall_time': 6.562042215999995, 'exclusive_time': 3.495}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 31, 'cpu': 245.83809523809524, 'rss': 358989824, 'vms': 699158528, 'uss': 354660352, 'wall_time': 7.203777028000005, 'exclusive_time': 3.691}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 32, 'cpu': 245.77272727272725, 'rss': 379731968, 'vms': 721752064, 'uss': 375386112, 'wall_time': 7.59224515599999, 'exclusive_time': 3.969}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 33, 'cpu': 272.8197183098592, 'rss': 446652416, 'vms': 623337472, 'uss': 442310656, 'wall_time': 8.205688649999985, 'exclusive_time': 4.88}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 34, 'cpu': 263.5408450704227, 'rss': 456540160, 'vms': 720740352, 'uss': 452198400, 'wall_time': 8.19064971200001, 'exclusive_time': 4.427}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 35, 'cpu': 254.3924242424242, 'rss': 446668800, 'vms': 717209600, 'uss': 442363904, 'wall_time': 7.7826408319999985, 'exclusive_time': 4.684}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 36, 'cpu': 271.58208955223887, 'rss': 456806400, 'vms': 717991936, 'uss': 452489216, 'wall_time': 7.730203869000007, 'exclusive_time': 4.499}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 37, 'cpu': 272.11718750000006, 'rss': 446918656, 'vms': 701743104, 'uss': 442617856, 'wall_time': 7.131105599999984, 'exclusive_time': 3.983}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 38, 'cpu': 260.8753424657534, 'rss': 448360448, 'vms': 708411392, 'uss': 444059648, 'wall_time': 8.508367313999997, 'exclusive_time': 4.992}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 39, 'cpu': 271.3253521126761, 'rss': 436633600, 'vms': 690470912, 'uss': 432291840, 'wall_time': 7.87134975699999, 'exclusive_time': 4.568}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 40, 'cpu': 257.97402597402595, 'rss': 421801984, 'vms': 731475968, 'uss': 414830592, 'wall_time': 8.769205740999979, 'exclusive_time': 4.884}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 41, 'cpu': 261.7672131147541, 'rss': 416378880, 'vms': 670126080, 'uss': 412037120, 'wall_time': 6.840783348999992, 'exclusive_time': 3.725}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 42, 'cpu': 275.0969230769232, 'rss': 438169600, 'vms': 689360896, 'uss': 433852416, 'wall_time': 7.4024459770000135, 'exclusive_time': 4.304}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 43, 'cpu': 294.09318181818185, 'rss': 590102528, 'vms': 939114496, 'uss': 585805824, 'wall_time': 9.979960946999995, 'exclusive_time': 6.49}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 44, 'cpu': 294.43764705882364, 'rss': 584335360, 'vms': 931237888, 'uss': 580149248, 'wall_time': 9.776403756999969, 'exclusive_time': 6.539}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 45, 'cpu': 289.17411764705895, 'rss': 584515584, 'vms': 932032512, 'uss': 580198400, 'wall_time': 9.771400711000013, 'exclusive_time': 6.479}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 46, 'cpu': 289.83684210526326, 'rss': 593952768, 'vms': 1023922176, 'uss': 589623296, 'wall_time': 8.753317736000042, 'exclusive_time': 5.458}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 47, 'cpu': 281.6170731707317, 'rss': 564654080, 'vms': 857559040, 'uss': 560340992, 'wall_time': 9.276727408999989, 'exclusive_time': 5.961}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 48, 'cpu': 258.88809523809533, 'rss': 563683328, 'vms': 898441216, 'uss': 559386624, 'wall_time': 9.860809700999994, 'exclusive_time': 6.611}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 49, 'cpu': 253.4073170731707, 'rss': 578224128, 'vms': 1012412416, 'uss': 573906944, 'wall_time': 9.340823165000018, 'exclusive_time': 5.652}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 50, 'cpu': 285.97912087912096, 'rss': 585170944, 'vms': 937385984, 'uss': 581152768, 'wall_time': 10.288094548000004, 'exclusive_time': 6.705}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 51, 'cpu': 281.90000000000003, 'rss': 577703936, 'vms': 926027776, 'uss': 573415424, 'wall_time': 9.216622950999977, 'exclusive_time': 5.851}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 52, 'cpu': 293.6893617021276, 'rss': 728158208, 'vms': 967905280, 'uss': 723816448, 'wall_time': 10.832637583999997, 'exclusive_time': 7.357}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 53, 'cpu': 285.6223529411766, 'rss': 720793600, 'vms': 934559744, 'uss': 716943360, 'wall_time': 9.889921263999952, 'exclusive_time': 6.404}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 54, 'cpu': 273.84421052631586, 'rss': 712314880, 'vms': 916746240, 'uss': 708583424, 'wall_time': 11.121310553, 'exclusive_time': 7.478}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 55, 'cpu': 253.46444444444447, 'rss': 707956736, 'vms': 916185088, 'uss': 703664128, 'wall_time': 10.484704338999904, 'exclusive_time': 6.734}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 56, 'cpu': 271.2107526881722, 'rss': 751763456, 'vms': 1092222976, 'uss': 747495424, 'wall_time': 10.890709264000066, 'exclusive_time': 7.289}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 57, 'cpu': 259.83333333333337, 'rss': 704872448, 'vms': 944680960, 'uss': 700555264, 'wall_time': 11.263218060999975, 'exclusive_time': 7.62}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 58, 'cpu': 267.73975903614456, 'rss': 735424512, 'vms': 1068855296, 'uss': 731107328, 'wall_time': 9.70695028199998, 'exclusive_time': 6.168}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 59, 'cpu': 253.19318181818178, 'rss': 736677888, 'vms': 1074573312, 'uss': 732364800, 'wall_time': 10.523716470000068, 'exclusive_time': 6.881}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 60, 'cpu': 235.01188118811882, 'rss': 696475648, 'vms': 908402688, 'uss': 692150272, 'wall_time': 12.117228387000068, 'exclusive_time': 7.745}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 61, 'cpu': 260.302105263158, 'rss': 694558720, 'vms': 906170368, 'uss': 690249728, 'wall_time': 10.899697746000015, 'exclusive_time': 6.991}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 62, 'cpu': 249.38910891089117, 'rss': 692674560, 'vms': 903507968, 'uss': 688332800, 'wall_time': 11.928525960000002, 'exclusive_time': 8.03}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 63, 'cpu': 268.79711538461544, 'rss': 689430528, 'vms': 901189632, 'uss': 685129728, 'wall_time': 12.032574759, 'exclusive_time': 8.233}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 64, 'cpu': 249.60786516853946, 'rss': 732147712, 'vms': 1076215808, 'uss': 727846912, 'wall_time': 10.425772844000107, 'exclusive_time': 6.524}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 65, 'cpu': 270.0418367346939, 'rss': 745836544, 'vms': 1088516096, 'uss': 741523456, 'wall_time': 11.185522579999997, 'exclusive_time': 7.441}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 66, 'cpu': 279.51386138613873, 'rss': 697085952, 'vms': 940359680, 'uss': 693198848, 'wall_time': 11.76941923000004, 'exclusive_time': 7.939}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 67, 'cpu': 266.6489361702128, 'rss': 691314688, 'vms': 933269504, 'uss': 687013888, 'wall_time': 10.792382140999962, 'exclusive_time': 6.937}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 68, 'cpu': 283.34958677685955, 'rss': 833536000, 'vms': 1193009152, 'uss': 829399040, 'wall_time': 14.341927734000024, 'exclusive_time': 10.426}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 69, 'cpu': 289.94344262295095, 'rss': 821587968, 'vms': 1173491712, 'uss': 817262592, 'wall_time': 14.434248856999943, 'exclusive_time': 10.519}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 70, 'cpu': 275.8424778761062, 'rss': 815759360, 'vms': 1162084352, 'uss': 811479040, 'wall_time': 13.286078869999983, 'exclusive_time': 9.489}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 71, 'cpu': 285.6833333333334, 'rss': 826908672, 'vms': 1203150848, 'uss': 822689792, 'wall_time': 15.538047527999993, 'exclusive_time': 11.659}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 72, 'cpu': 280.1051282051282, 'rss': 817090560, 'vms': 1177714688, 'uss': 812814336, 'wall_time': 13.713607981999871, 'exclusive_time': 9.883}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 73, 'cpu': 279.60677966101713, 'rss': 824107008, 'vms': 1191669760, 'uss': 819748864, 'wall_time': 13.666650870000012, 'exclusive_time': 9.786}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 74, 'cpu': 281.4728813559323, 'rss': 812969984, 'vms': 1183481856, 'uss': 808660992, 'wall_time': 13.897983490999877, 'exclusive_time': 10.143}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 75, 'cpu': 280.77391304347833, 'rss': 815808512, 'vms': 1173151744, 'uss': 811577344, 'wall_time': 13.489999038000178, 'exclusive_time': 9.699}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 76, 'cpu': 279.5184000000002, 'rss': 816013312, 'vms': 1175474176, 'uss': 811700224, 'wall_time': 14.612892430999864, 'exclusive_time': 10.727}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 77, 'cpu': 287.1798387096776, 'rss': 821616640, 'vms': 1202298880, 'uss': 817397760, 'wall_time': 14.829381525000144, 'exclusive_time': 10.881}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 78, 'cpu': 275.79478260869575, 'rss': 917114880, 'vms': 1284435968, 'uss': 912805888, 'wall_time': 13.755286515999842, 'exclusive_time': 9.787}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 79, 'cpu': 283.2983333333335, 'rss': 804216832, 'vms': 1178509312, 'uss': 799875072, 'wall_time': 13.973400463999951, 'exclusive_time': 9.844}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 80, 'cpu': 283.7601694915255, 'rss': 943644672, 'vms': 1271037952, 'uss': 939315200, 'wall_time': 14.31529693099992, 'exclusive_time': 10.295}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 81, 'cpu': 274.2915887850469, 'rss': 926134272, 'vms': 1279152128, 'uss': 921841664, 'wall_time': 12.753301615000055, 'exclusive_time': 8.9}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 82, 'cpu': 278.5392, 'rss': 813817856, 'vms': 1190563840, 'uss': 809504768, 'wall_time': 14.734496101999866, 'exclusive_time': 10.752}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 83, 'cpu': 285.72113821138225, 'rss': 809136128, 'vms': 1174564864, 'uss': 804896768, 'wall_time': 14.538217047999979, 'exclusive_time': 10.527}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 84, 'cpu': 277.6666666666667, 'rss': 796270592, 'vms': 1163169792, 'uss': 791965696, 'wall_time': 14.173161279999931, 'exclusive_time': 10.276}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 85, 'cpu': 277.3472000000001, 'rss': 803913728, 'vms': 1173250048, 'uss': 799604736, 'wall_time': 14.503656898999907, 'exclusive_time': 10.636}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 86, 'cpu': 281.52689075630263, 'rss': 912588800, 'vms': 1206460416, 'uss': 908300288, 'wall_time': 14.058176226000114, 'exclusive_time': 10.139}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 87, 'cpu': 281.77966101694926, 'rss': 907534336, 'vms': 1276538880, 'uss': 903213056, 'wall_time': 13.937108472999853, 'exclusive_time': 10.069}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 88, 'cpu': 283.79062500000015, 'rss': 814473216, 'vms': 1194958848, 'uss': 810151936, 'wall_time': 14.955402982000123, 'exclusive_time': 11.008}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 89, 'cpu': 285.2884955752215, 'rss': 930377728, 'vms': 1272455168, 'uss': 926064640, 'wall_time': 13.442973531999996, 'exclusive_time': 9.561}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 90, 'cpu': 281.67438016528945, 'rss': 920240128, 'vms': 1220206592, 'uss': 915898368, 'wall_time': 14.151502746000006, 'exclusive_time': 10.285}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 91, 'cpu': 294.54014598540164, 'rss': 1022427136, 'vms': 1389383680, 'uss': 1018093568, 'wall_time': 16.58725188199992, 'exclusive_time': 12.61}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 92, 'cpu': 285.85793650793653, 'rss': 911351808, 'vms': 1204424704, 'uss': 907010048, 'wall_time': 14.877681607000113, 'exclusive_time': 11.024}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 93, 'cpu': 280.05920000000015, 'rss': 943456256, 'vms': 1244897280, 'uss': 939130880, 'wall_time': 14.645326493000084, 'exclusive_time': 10.737}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 94, 'cpu': 284.0615384615386, 'rss': 910663680, 'vms': 1262825472, 'uss': 906317824, 'wall_time': 13.918103640000027, 'exclusive_time': 10.032}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 95, 'cpu': 266.7773109243699, 'rss': 917495808, 'vms': 1213161472, 'uss': 913281024, 'wall_time': 13.958996127000091, 'exclusive_time': 9.964}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 150, 'cpu': 285.89757085020244, 'rss': 1543102464, 'vms': 1934999552, 'uss': 1539411968, 'wall_time': 32.258020091000006, 'exclusive_time': 27.234}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 150, 'cpu': 99.06759776536329, 'rss': 304062464, 'vms': 315572224, 'uss': 302800896, 'wall_time': 72.427403561, 'exclusive_time': 36.89}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 155, 'cpu': 285.0893442622952, 'rss': 1578668032, 'vms': 1982124032, 'uss': 1574789120, 'wall_time': 31.831527641999998, 'exclusive_time': 26.82}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 155, 'cpu': 99.46810810810815, 'rss': 311410688, 'vms': 323362816, 'uss': 310149120, 'wall_time': 75.80368674799996, 'exclusive_time': 37.928}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 160, 'cpu': 289.3139442231074, 'rss': 1542791168, 'vms': 1966673920, 'uss': 1538445312, 'wall_time': 32.74500831200004, 'exclusive_time': 27.529}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 160, 'cpu': 99.38489583333343, 'rss': 318812160, 'vms': 331272192, 'uss': 316719104, 'wall_time': 79.11931490400002, 'exclusive_time': 39.376}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 165, 'cpu': 273.25234374999997, 'rss': 1719111680, 'vms': 1966817280, 'uss': 1714798592, 'wall_time': 33.36194431499996, 'exclusive_time': 27.071}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 165, 'cpu': 99.72531328320814, 'rss': 327622656, 'vms': 341839872, 'uss': 326361088, 'wall_time': 79.60097227400001, 'exclusive_time': 41.058}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 170, 'cpu': 291.8595588235292, 'rss': 1805332480, 'vms': 2074189824, 'uss': 1801052160, 'wall_time': 36.380246639000006, 'exclusive_time': 31.134}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 170, 'cpu': 99.52322738386337, 'rss': 427679744, 'vms': 441806848, 'uss': 426422272, 'wall_time': 85.21727904900001, 'exclusive_time': 42.194}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 175, 'cpu': 287.9550522648081, 'rss': 1827586048, 'vms': 2079981568, 'uss': 1823318016, 'wall_time': 38.36267662199998, 'exclusive_time': 32.857}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 175, 'cpu': 99.64246284501071, 'rss': 427864064, 'vms': 441999360, 'uss': 426606592, 'wall_time': 93.52627686200003, 'exclusive_time': 49.402}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 180, 'cpu': 283.1553846153842, 'rss': 1871777792, 'vms': 2074632192, 'uss': 1867837440, 'wall_time': 46.90455276700004, 'exclusive_time': 40.568}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 180, 'cpu': 99.83243243243254, 'rss': 427827200, 'vms': 442007552, 'uss': 426569728, 'wall_time': 96.71816353400004, 'exclusive_time': 50.744}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 185, 'cpu': 287.16854599406497, 'rss': 1886629888, 'vms': 2075512832, 'uss': 1882095616, 'wall_time': 48.3934643340001, 'exclusive_time': 41.656}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 185, 'cpu': 99.8571142284571, 'rss': 427974656, 'vms': 441982976, 'uss': 426717184, 'wall_time': 99.53809344900014, 'exclusive_time': 52.692}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 190, 'cpu': 273.5176100628928, 'rss': 1815449600, 'vms': 2071183360, 'uss': 1811156992, 'wall_time': 45.12110927799995, 'exclusive_time': 38.6}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 190, 'cpu': 99.58464491362774, 'rss': 428142592, 'vms': 442265600, 'uss': 426885120, 'wall_time': 100.32272406900006, 'exclusive_time': 54.402}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 195, 'cpu': 279.6833333333331, 'rss': 1761935360, 'vms': 2075963392, 'uss': 1757634560, 'wall_time': 45.91796782899996, 'exclusive_time': 39.569}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 195, 'cpu': 99.68750000000016, 'rss': 429477888, 'vms': 446443520, 'uss': 428118016, 'wall_time': 104.92175980599995, 'exclusive_time': 55.725}
{'dataset': 'correct_loops', 'reasoner': 'jena', 'count': 200, 'cpu': 273.59369085173506, 'rss': 1816608768, 'vms': 2077343744, 'uss': 1810673664, 'wall_time': 45.555516419000014, 'exclusive_time': 39.246}
{'dataset': 'correct_loops', 'reasoner': 'clingo', 'count': 200, 'cpu': 99.74855595667876, 'rss': 438575104, 'vms': 456073216, 'uss': 437256192, 'wall_time': 109.34682721099989, 'exclusive_time': 57.97}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 90, 'cpu': 208.27983870967742, 'rss': 349200384, 'vms': 637902848, 'uss': 345186304, 'wall_time': 13.664241436000001, 'exclusive_time': 8.785, 'triples_before': 22612, 'triples_after': 35643, 'iterations': 7}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 100, 'cpu': 203.55405405405418, 'rss': 349093888, 'vms': 648937472, 'uss': 344862720, 'wall_time': 12.32357802, 'exclusive_time': 8.576, 'triples_before': 24106, 'triples_after': 38449, 'iterations': 7}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 110, 'cpu': 191.36440677966104, 'rss': 377311232, 'vms': 639623168, 'uss': 370778112, 'wall_time': 13.091553153, 'exclusive_time': 8.72, 'triples_before': 25607, 'triples_after': 41262, 'iterations': 7}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 120, 'cpu': 178.42258064516125, 'rss': 423485440, 'vms': 643035136, 'uss': 419176448, 'wall_time': 14.050468672000008, 'exclusive_time': 9.921, 'triples_before': 27108, 'triples_after': 44075, 'iterations': 7}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 130, 'cpu': 177.46999999999997, 'rss': 482377728, 'vms': 867360768, 'uss': 478109696, 'wall_time': 13.35379366299999, 'exclusive_time': 9.207, 'triples_before': 28609, 'triples_after': 46888, 'iterations': 7}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 5, 'cpu': 216.04705882352937, 'rss': 123138048, 'vms': 302166016, 'uss': 117829632, 'wall_time': 3.818057865, 'exclusive_time': 1.307, 'triples_before': 1216, 'triples_after': 1949, 'iterations': 7}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 10, 'cpu': 240.03783783783783, 'rss': 129957888, 'vms': 304463872, 'uss': 125648896, 'wall_time': 4.064547158999999, 'exclusive_time': 1.78, 'triples_before': 2167, 'triples_after': 3689, 'iterations': 7}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 15, 'cpu': 249.19069767441857, 'rss': 154279936, 'vms': 374747136, 'uss': 149942272, 'wall_time': 4.732592786, 'exclusive_time': 2.241, 'triples_before': 3505, 'triples_after': 5895, 'iterations': 7}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 20, 'cpu': 254.58599999999998, 'rss': 161746944, 'vms': 378433536, 'uss': 157429760, 'wall_time': 5.563997806, 'exclusive_time': 2.966, 'triples_before': 5190, 'triples_after': 8464, 'iterations': 7}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 25, 'cpu': 244.5090909090909, 'rss': 187867136, 'vms': 382853120, 'uss': 183570432, 'wall_time': 6.135365589999999, 'exclusive_time': 3.341, 'triples_before': 6915, 'triples_after': 11085, 'iterations': 7}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 30, 'cpu': 265.158064516129, 'rss': 226996224, 'vms': 507408384, 'uss': 220499968, 'wall_time': 6.949587997000002, 'exclusive_time': 3.859, 'triples_before': 8560, 'triples_after': 13586, 'iterations': 7}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 35, 'cpu': 260.2621212121212, 'rss': 229294080, 'vms': 511012864, 'uss': 224976896, 'wall_time': 7.219454476999999, 'exclusive_time': 4.321, 'triples_before': 10245, 'triples_after': 16155, 'iterations': 7}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 40, 'cpu': 263.94266666666675, 'rss': 231940096, 'vms': 509460480, 'uss': 227631104, 'wall_time': 8.073927442999995, 'exclusive_time': 5.044, 'triples_before': 11930, 'triples_after': 18724, 'iterations': 7}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 45, 'cpu': 243.07375000000008, 'rss': 287707136, 'vms': 502493184, 'uss': 283402240, 'wall_time': 8.807007782, 'exclusive_time': 5.444, 'triples_before': 13655, 'triples_after': 21345, 'iterations': 7}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 50, 'cpu': 234.8261904761905, 'rss': 359280640, 'vms': 762433536, 'uss': 354963456, 'wall_time': 9.276963858000002, 'exclusive_time': 5.968, 'triples_before': 15300, 'triples_after': 23846, 'iterations': 7}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 55, 'cpu': 229.35000000000005, 'rss': 340668416, 'vms': 647008256, 'uss': 336388096, 'wall_time': 10.678103503000003, 'exclusive_time': 7.266, 'triples_before': 16681, 'triples_after': 25988, 'iterations': 7}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 60, 'cpu': 218.69438202247196, 'rss': 341741568, 'vms': 648900608, 'uss': 337457152, 'wall_time': 9.794290343000014, 'exclusive_time': 6.209, 'triples_before': 17667, 'triples_after': 27549, 'iterations': 7}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 65, 'cpu': 215.6887755102041, 'rss': 346238976, 'vms': 652029952, 'uss': 341925888, 'wall_time': 10.713681750999996, 'exclusive_time': 7.064, 'triples_before': 18716, 'triples_after': 29206, 'iterations': 7}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 70, 'cpu': 221.172641509434, 'rss': 353505280, 'vms': 758636544, 'uss': 348913664, 'wall_time': 11.817769143000021, 'exclusive_time': 7.86, 'triples_before': 19450, 'triples_after': 30417, 'iterations': 7}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 75, 'cpu': 206.48085106382976, 'rss': 343842816, 'vms': 650866688, 'uss': 338993152, 'wall_time': 10.464967196999993, 'exclusive_time': 6.824, 'triples_before': 20294, 'triples_after': 31808, 'iterations': 7}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 80, 'cpu': 223.61010101010106, 'rss': 359456768, 'vms': 758669312, 'uss': 355143680, 'wall_time': 10.975922260999994, 'exclusive_time': 7.211, 'triples_before': 21290, 'triples_after': 33388, 'iterations': 7}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 85, 'cpu': 187.31428571428572, 'rss': 337641472, 'vms': 639320064, 'uss': 333361152, 'wall_time': 10.913254480999996, 'exclusive_time': 7.111, 'triples_before': 22223, 'triples_after': 34889, 'iterations': 7}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 90, 'cpu': 200.8553398058252, 'rss': 351244288, 'vms': 653856768, 'uss': 346931200, 'wall_time': 11.527596383999992, 'exclusive_time': 7.677, 'triples_before': 22605, 'triples_after': 35636, 'iterations': 7}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 95, 'cpu': 204.87619047619066, 'rss': 350777344, 'vms': 653713408, 'uss': 346476544, 'wall_time': 11.715069666999966, 'exclusive_time': 7.735, 'triples_before': 23225, 'triples_after': 36799, 'iterations': 7}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 130, 'cpu': 173.03619631901842, 'rss': 493453312, 'vms': 869453824, 'uss': 489140224, 'wall_time': 18.502479049999998, 'exclusive_time': 14.218, 'triples_before': 34676, 'triples_after': 54606, 'iterations': 7}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 135, 'cpu': 174.60404624277464, 'rss': 483852288, 'vms': 864342016, 'uss': 479539200, 'wall_time': 19.822051606000002, 'exclusive_time': 14.416, 'triples_before': 35289, 'triples_after': 55762, 'iterations': 7}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 140, 'cpu': 189.6006024096386, 'rss': 500555776, 'vms': 878911488, 'uss': 496267264, 'wall_time': 18.520260112999992, 'exclusive_time': 13.911, 'triples_before': 35909, 'triples_after': 56925, 'iterations': 7}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 145, 'cpu': 182.63941176470604, 'rss': 505835520, 'vms': 882053120, 'uss': 501522432, 'wall_time': 19.155059252, 'exclusive_time': 14.502, 'triples_before': 36529, 'triples_after': 58088, 'iterations': 7}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 150, 'cpu': 179.67197452229303, 'rss': 488566784, 'vms': 867475456, 'uss': 484249600, 'wall_time': 17.557237025000006, 'exclusive_time': 13.161, 'triples_before': 37149, 'triples_after': 59251, 'iterations': 7}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 155, 'cpu': 177.72083333333347, 'rss': 502734848, 'vms': 878944256, 'uss': 498450432, 'wall_time': 18.723810463000007, 'exclusive_time': 14.182, 'triples_before': 37769, 'triples_after': 60414, 'iterations': 7}
{'dataset': 'correct_loops', 'reasoner': 'sparql', 'count': 160, 'cpu': 170.63522727272732, 'rss': 488361984, 'vms': 865058816, 'uss': 484642816, 'wall_time': 19.608070140999985, 'exclusive_time': 14.465, 'triples_before': 38389, 'triples_after': 61577, 'iterations': 7}