Matches in ISWC2014 Benchmark for { ?s ?p 17.475728155339805. }
- 1013112 cpu_core_0 "17.475728155339805".
- 1042852 cpu_core_0 "17.475728155339805".
- 1062133 cpu_core_0 "17.475728155339805".
- 1066563 cpu_core_0 "17.475728155339805".
- 1074562 cpu_core_0 "17.475728155339805".
- 1075027 cpu_core_0 "17.475728155339805".
- 1120516 cpu_core_0 "17.475728155339805".
- 1120814 cpu_core_0 "17.475728155339805".
- 1132932 cpu_core_0 "17.475728155339805".
- 1155701 cpu_core_0 "17.475728155339805".
- 1180389 cpu_core_0 "17.475728155339805".
- 1196355 cpu_core_0 "17.475728155339805".
- 1215991 cpu_core_0 "17.475728155339805".
- 1219058 cpu_core_0 "17.475728155339805".
- 1220484 cpu_core_0 "17.475728155339805".
- 1243175 cpu_core_0 "17.475728155339805".
- 1246647 cpu_core_0 "17.475728155339805".
- 1262422 cpu_core_0 "17.475728155339805".
- 1285460 cpu_core_0 "17.475728155339805".
- 1306627 cpu_core_0 "17.475728155339805".
- 1312650 cpu_core_0 "17.475728155339805".
- 1319339 cpu_core_0 "17.475728155339805".
- 1320169 cpu_core_0 "17.475728155339805".
- 1326242 cpu_core_0 "17.475728155339805".
- 1340504 cpu_core_0 "17.475728155339805".
- 1343715 cpu_core_0 "17.475728155339805".
- 1360108 cpu_core_0 "17.475728155339805".
- 1361248 cpu_core_0 "17.475728155339805".
- 1364214 cpu_core_0 "17.475728155339805".
- 1373761 cpu_core_0 "17.475728155339805".
- 1393680 cpu_core_0 "17.475728155339805".
- 1407799 cpu_core_0 "17.475728155339805".
- 1408487 cpu_core_0 "17.475728155339805".
- 1409337 cpu_core_0 "17.475728155339805".
- 1409428 cpu_core_0 "17.475728155339805".
- 1409615 cpu_core_0 "17.475728155339805".
- 1410534 cpu_core_0 "17.475728155339805".
- 1419696 cpu_core_0 "17.475728155339805".
- 1434763 cpu_core_0 "17.475728155339805".
- 1448166 cpu_core_0 "17.475728155339805".
- 1474274 cpu_core_0 "17.475728155339805".
- 1485128 cpu_core_0 "17.475728155339805".
- 1571168 cpu_core_0 "17.475728155339805".
- 1581150 cpu_core_0 "17.475728155339805".
- 1603756 cpu_core_0 "17.475728155339805".
- 1608450 cpu_core_0 "17.475728155339805".
- 1650747 cpu_core_0 "17.475728155339805".
- 1652130 cpu_core_0 "17.475728155339805".
- 1671879 cpu_core_0 "17.475728155339805".
- 1694461 cpu_core_0 "17.475728155339805".
- 1711706 cpu_core_0 "17.475728155339805".
- 1724215 cpu_core_0 "17.475728155339805".
- 1725307 cpu_core_0 "17.475728155339805".
- 1735020 cpu_core_0 "17.475728155339805".
- 1736760 cpu_core_0 "17.475728155339805".
- 1750193 cpu_core_0 "17.475728155339805".
- 1765372 cpu_core_0 "17.475728155339805".
- 1779124 cpu_core_0 "17.475728155339805".
- 1808894 cpu_core_0 "17.475728155339805".
- 1817141 cpu_core_0 "17.475728155339805".
- 1826815 cpu_core_0 "17.475728155339805".
- 1827454 cpu_core_0 "17.475728155339805".
- 1862873 cpu_core_0 "17.475728155339805".
- 1885023 cpu_core_0 "17.475728155339805".
- 1895005 cpu_core_0 "17.475728155339805".
- 1910950 cpu_core_0 "17.475728155339805".
- 1913120 cpu_core_0 "17.475728155339805".
- 1923536 cpu_core_0 "17.475728155339805".
- 1924007 cpu_core_0 "17.475728155339805".
- 1924221 cpu_core_0 "17.475728155339805".
- 1924544 cpu_core_0 "17.475728155339805".
- 1925093 cpu_core_0 "17.475728155339805".
- 1925625 cpu_core_0 "17.475728155339805".
- 285737 cpu_core_0 "17.475728155339805".
- 296087 cpu_core_0 "17.475728155339805".
- 498533 cpu_core_0 "17.475728155339805".
- 903331 cpu_core_0 "17.475728155339805".
- 995083 cpu_core_0 "17.475728155339805".
- 1009656 cpu_core_1 "17.475728155339805".
- 1011805 cpu_core_1 "17.475728155339805".
- 1011934 cpu_core_1 "17.475728155339805".
- 1012264 cpu_core_1 "17.475728155339805".
- 1108812 cpu_core_1 "17.475728155339805".
- 1542710 cpu_core_1 "17.475728155339805".
- 1738649 cpu_core_1 "17.475728155339805".
- 1747254 cpu_core_1 "17.475728155339805".
- 1905978 cpu_core_1 "17.475728155339805".
- 403293 cpu_core_1 "17.475728155339805".
- 491425 cpu_core_1 "17.475728155339805".
- 659329 cpu_core_1 "17.475728155339805".
- 699374 cpu_core_1 "17.475728155339805".
- 700414 cpu_core_1 "17.475728155339805".
- 703076 cpu_core_1 "17.475728155339805".
- 756664 cpu_core_1 "17.475728155339805".
- 920602 cpu_core_1 "17.475728155339805".
- 1121826 cpu_core_2 "17.475728155339805".
- 1274617 cpu_core_2 "17.475728155339805".
- 248015 cpu_core_2 "17.475728155339805".
- 256744 cpu_core_2 "17.475728155339805".
- 294917 cpu_core_2 "17.475728155339805".