Matches in ISWC2014 Benchmark for { ?s ?p 58.00000000000001. }
- 1227337 cpu_core_0 "58.00000000000001".
- 1227513 cpu_core_0 "58.00000000000001".
- 1227517 cpu_core_0 "58.00000000000001".
- 1228027 cpu_core_0 "58.00000000000001".
- 1228087 cpu_core_0 "58.00000000000001".
- 1228175 cpu_core_0 "58.00000000000001".
- 1228291 cpu_core_0 "58.00000000000001".
- 1228406 cpu_core_0 "58.00000000000001".
- 1228413 cpu_core_0 "58.00000000000001".
- 1228435 cpu_core_0 "58.00000000000001".
- 1228576 cpu_core_0 "58.00000000000001".
- 1228820 cpu_core_0 "58.00000000000001".
- 1228856 cpu_core_0 "58.00000000000001".
- 1228919 cpu_core_0 "58.00000000000001".
- 1229111 cpu_core_0 "58.00000000000001".
- 1229614 cpu_core_0 "58.00000000000001".
- 1229765 cpu_core_0 "58.00000000000001".
- 1229829 cpu_core_0 "58.00000000000001".
- 1229972 cpu_core_0 "58.00000000000001".
- 1230608 cpu_core_0 "58.00000000000001".
- 1230639 cpu_core_0 "58.00000000000001".
- 1230683 cpu_core_0 "58.00000000000001".
- 1230924 cpu_core_0 "58.00000000000001".
- 1231020 cpu_core_0 "58.00000000000001".
- 1231260 cpu_core_0 "58.00000000000001".
- 1231263 cpu_core_0 "58.00000000000001".
- 1231305 cpu_core_0 "58.00000000000001".
- 1231651 cpu_core_0 "58.00000000000001".
- 1231972 cpu_core_0 "58.00000000000001".
- 1232017 cpu_core_0 "58.00000000000001".
- 1232220 cpu_core_0 "58.00000000000001".
- 1232338 cpu_core_0 "58.00000000000001".
- 1232397 cpu_core_0 "58.00000000000001".
- 1232437 cpu_core_0 "58.00000000000001".
- 1232683 cpu_core_0 "58.00000000000001".
- 1232948 cpu_core_0 "58.00000000000001".
- 1232954 cpu_core_0 "58.00000000000001".
- 1232957 cpu_core_0 "58.00000000000001".
- 1232958 cpu_core_0 "58.00000000000001".
- 1233047 cpu_core_0 "58.00000000000001".
- 1233239 cpu_core_0 "58.00000000000001".
- 1233255 cpu_core_0 "58.00000000000001".
- 1234142 cpu_core_0 "58.00000000000001".
- 1234172 cpu_core_0 "58.00000000000001".
- 1234311 cpu_core_0 "58.00000000000001".
- 1234324 cpu_core_0 "58.00000000000001".
- 1234542 cpu_core_0 "58.00000000000001".
- 1235619 cpu_core_0 "58.00000000000001".
- 128146 cpu_core_0 "58.00000000000001".
- 1286025 cpu_core_0 "58.00000000000001".
- 1296872 cpu_core_0 "58.00000000000001".
- 1302242 cpu_core_0 "58.00000000000001".
- 1327626 cpu_core_0 "58.00000000000001".
- 1332600 cpu_core_0 "58.00000000000001".
- 1338371 cpu_core_0 "58.00000000000001".
- 1338384 cpu_core_0 "58.00000000000001".
- 1378749 cpu_core_0 "58.00000000000001".
- 1385466 cpu_core_0 "58.00000000000001".
- 1385540 cpu_core_0 "58.00000000000001".
- 1385568 cpu_core_0 "58.00000000000001".
- 1385576 cpu_core_0 "58.00000000000001".
- 1385581 cpu_core_0 "58.00000000000001".
- 1385586 cpu_core_0 "58.00000000000001".
- 1400964 cpu_core_0 "58.00000000000001".
- 1431264 cpu_core_0 "58.00000000000001".
- 1431320 cpu_core_0 "58.00000000000001".
- 1451077 cpu_core_0 "58.00000000000001".
- 1478189 cpu_core_0 "58.00000000000001".
- 1482828 cpu_core_0 "58.00000000000001".
- 1483479 cpu_core_0 "58.00000000000001".
- 1513373 cpu_core_0 "58.00000000000001".
- 1522302 cpu_core_0 "58.00000000000001".
- 1537997 cpu_core_0 "58.00000000000001".
- 1547016 cpu_core_0 "58.00000000000001".
- 1562509 cpu_core_0 "58.00000000000001".
- 1565150 cpu_core_0 "58.00000000000001".
- 1581824 cpu_core_0 "58.00000000000001".
- 1595268 cpu_core_0 "58.00000000000001".
- 1595395 cpu_core_0 "58.00000000000001".
- 1654808 cpu_core_0 "58.00000000000001".
- 1654827 cpu_core_0 "58.00000000000001".
- 1654891 cpu_core_0 "58.00000000000001".
- 1654959 cpu_core_0 "58.00000000000001".
- 1655038 cpu_core_0 "58.00000000000001".
- 1655328 cpu_core_0 "58.00000000000001".
- 1655378 cpu_core_0 "58.00000000000001".
- 1655752 cpu_core_0 "58.00000000000001".
- 1655754 cpu_core_0 "58.00000000000001".
- 1655939 cpu_core_0 "58.00000000000001".
- 1655976 cpu_core_0 "58.00000000000001".
- 1656644 cpu_core_0 "58.00000000000001".
- 1656708 cpu_core_0 "58.00000000000001".
- 1656729 cpu_core_0 "58.00000000000001".
- 1656809 cpu_core_0 "58.00000000000001".
- 1656895 cpu_core_0 "58.00000000000001".
- 1657282 cpu_core_0 "58.00000000000001".
- 1657699 cpu_core_0 "58.00000000000001".
- 1657712 cpu_core_0 "58.00000000000001".
- 1657856 cpu_core_0 "58.00000000000001".
- 1657945 cpu_core_0 "58.00000000000001".