Matches in ISWC2014 Benchmark for { ?s ?p 58.00000000000001. }
- 1000175 cpu_core_0 "58.00000000000001".
- 1000417 cpu_core_0 "58.00000000000001".
- 1000571 cpu_core_0 "58.00000000000001".
- 1000721 cpu_core_0 "58.00000000000001".
- 1000881 cpu_core_0 "58.00000000000001".
- 1001204 cpu_core_0 "58.00000000000001".
- 1001377 cpu_core_0 "58.00000000000001".
- 1001607 cpu_core_0 "58.00000000000001".
- 1001690 cpu_core_0 "58.00000000000001".
- 1001948 cpu_core_0 "58.00000000000001".
- 1002547 cpu_core_0 "58.00000000000001".
- 1002765 cpu_core_0 "58.00000000000001".
- 1003000 cpu_core_0 "58.00000000000001".
- 1003664 cpu_core_0 "58.00000000000001".
- 1004362 cpu_core_0 "58.00000000000001".
- 1004789 cpu_core_0 "58.00000000000001".
- 1004973 cpu_core_0 "58.00000000000001".
- 1005526 cpu_core_0 "58.00000000000001".
- 1005560 cpu_core_0 "58.00000000000001".
- 1006127 cpu_core_0 "58.00000000000001".
- 1006178 cpu_core_0 "58.00000000000001".
- 1006364 cpu_core_0 "58.00000000000001".
- 1006620 cpu_core_0 "58.00000000000001".
- 1006696 cpu_core_0 "58.00000000000001".
- 1006698 cpu_core_0 "58.00000000000001".
- 1007379 cpu_core_0 "58.00000000000001".
- 1007779 cpu_core_0 "58.00000000000001".
- 1007944 cpu_core_0 "58.00000000000001".
- 1007996 cpu_core_0 "58.00000000000001".
- 1008012 cpu_core_0 "58.00000000000001".
- 1008330 cpu_core_0 "58.00000000000001".
- 1008382 cpu_core_0 "58.00000000000001".
- 1008897 cpu_core_0 "58.00000000000001".
- 1009238 cpu_core_0 "58.00000000000001".
- 1009278 cpu_core_0 "58.00000000000001".
- 1009732 cpu_core_0 "58.00000000000001".
- 1010354 cpu_core_0 "58.00000000000001".
- 1010864 cpu_core_0 "58.00000000000001".
- 1010995 cpu_core_0 "58.00000000000001".
- 1011172 cpu_core_0 "58.00000000000001".
- 1013643 cpu_core_0 "58.00000000000001".
- 1013955 cpu_core_0 "58.00000000000001".
- 1014354 cpu_core_0 "58.00000000000001".
- 1014561 cpu_core_0 "58.00000000000001".
- 1015213 cpu_core_0 "58.00000000000001".
- 1015217 cpu_core_0 "58.00000000000001".
- 1015281 cpu_core_0 "58.00000000000001".
- 1017352 cpu_core_0 "58.00000000000001".
- 1022616 cpu_core_0 "58.00000000000001".
- 1026874 cpu_core_0 "58.00000000000001".
- 1026982 cpu_core_0 "58.00000000000001".
- 1028767 cpu_core_0 "58.00000000000001".
- 1055715 cpu_core_0 "58.00000000000001".
- 1055798 cpu_core_0 "58.00000000000001".
- 1058176 cpu_core_0 "58.00000000000001".
- 1070813 cpu_core_0 "58.00000000000001".
- 1083996 cpu_core_0 "58.00000000000001".
- 1086906 cpu_core_0 "58.00000000000001".
- 1087863 cpu_core_0 "58.00000000000001".
- 1119651 cpu_core_0 "58.00000000000001".
- 1124872 cpu_core_0 "58.00000000000001".
- 1124911 cpu_core_0 "58.00000000000001".
- 1125056 cpu_core_0 "58.00000000000001".
- 1125098 cpu_core_0 "58.00000000000001".
- 1130528 cpu_core_0 "58.00000000000001".
- 1130560 cpu_core_0 "58.00000000000001".
- 1130654 cpu_core_0 "58.00000000000001".
- 1153991 cpu_core_0 "58.00000000000001".
- 1154109 cpu_core_0 "58.00000000000001".
- 1154180 cpu_core_0 "58.00000000000001".
- 1163648 cpu_core_0 "58.00000000000001".
- 1183516 cpu_core_0 "58.00000000000001".
- 1195454 cpu_core_0 "58.00000000000001".
- 1201279 cpu_core_0 "58.00000000000001".
- 1206241 cpu_core_0 "58.00000000000001".
- 1219605 cpu_core_0 "58.00000000000001".
- 1219782 cpu_core_0 "58.00000000000001".
- 1221005 cpu_core_0 "58.00000000000001".
- 1221759 cpu_core_0 "58.00000000000001".
- 1222189 cpu_core_0 "58.00000000000001".
- 1222608 cpu_core_0 "58.00000000000001".
- 1222856 cpu_core_0 "58.00000000000001".
- 1223278 cpu_core_0 "58.00000000000001".
- 1223297 cpu_core_0 "58.00000000000001".
- 1223338 cpu_core_0 "58.00000000000001".
- 1223440 cpu_core_0 "58.00000000000001".
- 1223591 cpu_core_0 "58.00000000000001".
- 1223888 cpu_core_0 "58.00000000000001".
- 1224090 cpu_core_0 "58.00000000000001".
- 1224347 cpu_core_0 "58.00000000000001".
- 1224393 cpu_core_0 "58.00000000000001".
- 1224571 cpu_core_0 "58.00000000000001".
- 1225668 cpu_core_0 "58.00000000000001".
- 1226028 cpu_core_0 "58.00000000000001".
- 1226458 cpu_core_0 "58.00000000000001".
- 1226472 cpu_core_0 "58.00000000000001".
- 1226489 cpu_core_0 "58.00000000000001".
- 1226560 cpu_core_0 "58.00000000000001".
- 1227060 cpu_core_0 "58.00000000000001".
- 1227284 cpu_core_0 "58.00000000000001".