Matches in ISWC2014 Benchmark for { ?s ?p 28.000000000000004. }
- 1001100 cpu_core_0 "28.000000000000004".
- 1001115 cpu_core_0 "28.000000000000004".
- 1001737 cpu_core_0 "28.000000000000004".
- 1003478 cpu_core_0 "28.000000000000004".
- 1003572 cpu_core_0 "28.000000000000004".
- 1004012 cpu_core_0 "28.000000000000004".
- 1004624 cpu_core_0 "28.000000000000004".
- 1004885 cpu_core_0 "28.000000000000004".
- 1005261 cpu_core_0 "28.000000000000004".
- 1005691 cpu_core_0 "28.000000000000004".
- 1006107 cpu_core_0 "28.000000000000004".
- 1007926 cpu_core_0 "28.000000000000004".
- 1009402 cpu_core_0 "28.000000000000004".
- 1009478 cpu_core_0 "28.000000000000004".
- 1009918 cpu_core_0 "28.000000000000004".
- 1009961 cpu_core_0 "28.000000000000004".
- 1009979 cpu_core_0 "28.000000000000004".
- 1010021 cpu_core_0 "28.000000000000004".
- 1010042 cpu_core_0 "28.000000000000004".
- 1010077 cpu_core_0 "28.000000000000004".
- 1010130 cpu_core_0 "28.000000000000004".
- 1010236 cpu_core_0 "28.000000000000004".
- 1010327 cpu_core_0 "28.000000000000004".
- 1010345 cpu_core_0 "28.000000000000004".
- 1010536 cpu_core_0 "28.000000000000004".
- 1010542 cpu_core_0 "28.000000000000004".
- 1010610 cpu_core_0 "28.000000000000004".
- 1010689 cpu_core_0 "28.000000000000004".
- 1010716 cpu_core_0 "28.000000000000004".
- 1010940 cpu_core_0 "28.000000000000004".
- 1010942 cpu_core_0 "28.000000000000004".
- 1010986 cpu_core_0 "28.000000000000004".
- 1011008 cpu_core_0 "28.000000000000004".
- 1011088 cpu_core_0 "28.000000000000004".
- 1013133 cpu_core_0 "28.000000000000004".
- 1013345 cpu_core_0 "28.000000000000004".
- 1013760 cpu_core_0 "28.000000000000004".
- 1014806 cpu_core_0 "28.000000000000004".
- 1017064 cpu_core_0 "28.000000000000004".
- 1018405 cpu_core_0 "28.000000000000004".
- 1018821 cpu_core_0 "28.000000000000004".
- 1019585 cpu_core_0 "28.000000000000004".
- 1019784 cpu_core_0 "28.000000000000004".
- 1019879 cpu_core_0 "28.000000000000004".
- 1020757 cpu_core_0 "28.000000000000004".
- 1024908 cpu_core_0 "28.000000000000004".
- 1025074 cpu_core_0 "28.000000000000004".
- 1027548 cpu_core_0 "28.000000000000004".
- 1029839 cpu_core_0 "28.000000000000004".
- 1030156 cpu_core_0 "28.000000000000004".
- 1030338 cpu_core_0 "28.000000000000004".
- 1030663 cpu_core_0 "28.000000000000004".
- 1032263 cpu_core_0 "28.000000000000004".
- 1033576 cpu_core_0 "28.000000000000004".
- 1034387 cpu_core_0 "28.000000000000004".
- 1036825 cpu_core_0 "28.000000000000004".
- 1038196 cpu_core_0 "28.000000000000004".
- 1038340 cpu_core_0 "28.000000000000004".
- 1039246 cpu_core_0 "28.000000000000004".
- 1041808 cpu_core_0 "28.000000000000004".
- 1042188 cpu_core_0 "28.000000000000004".
- 1042315 cpu_core_0 "28.000000000000004".
- 1042550 cpu_core_0 "28.000000000000004".
- 1043534 cpu_core_0 "28.000000000000004".
- 1047133 cpu_core_0 "28.000000000000004".
- 1047168 cpu_core_0 "28.000000000000004".
- 1048171 cpu_core_0 "28.000000000000004".
- 1049986 cpu_core_0 "28.000000000000004".
- 1051320 cpu_core_0 "28.000000000000004".
- 1051963 cpu_core_0 "28.000000000000004".
- 1053691 cpu_core_0 "28.000000000000004".
- 1053851 cpu_core_0 "28.000000000000004".
- 1055149 cpu_core_0 "28.000000000000004".
- 1055478 cpu_core_0 "28.000000000000004".
- 1055490 cpu_core_0 "28.000000000000004".
- 1055553 cpu_core_0 "28.000000000000004".
- 1055601 cpu_core_0 "28.000000000000004".
- 1057284 cpu_core_0 "28.000000000000004".
- 1057315 cpu_core_0 "28.000000000000004".
- 1060056 cpu_core_0 "28.000000000000004".
- 1060349 cpu_core_0 "28.000000000000004".
- 1061015 cpu_core_0 "28.000000000000004".
- 1061055 cpu_core_0 "28.000000000000004".
- 1061219 cpu_core_0 "28.000000000000004".
- 1062398 cpu_core_0 "28.000000000000004".
- 1062508 cpu_core_0 "28.000000000000004".
- 1065609 cpu_core_0 "28.000000000000004".
- 1069770 cpu_core_0 "28.000000000000004".
- 1069809 cpu_core_0 "28.000000000000004".
- 1072094 cpu_core_0 "28.000000000000004".
- 1072321 cpu_core_0 "28.000000000000004".
- 1072451 cpu_core_0 "28.000000000000004".
- 1073384 cpu_core_0 "28.000000000000004".
- 1074204 cpu_core_0 "28.000000000000004".
- 1077678 cpu_core_0 "28.000000000000004".
- 1077893 cpu_core_0 "28.000000000000004".
- 1078257 cpu_core_0 "28.000000000000004".
- 1078264 cpu_core_0 "28.000000000000004".
- 1080319 cpu_core_0 "28.000000000000004".
- 1080336 cpu_core_0 "28.000000000000004".