Matches in ISWC2014 Benchmark for { ?s ?p 5.154639175257731. }
- 1016491 cpu_core_0 "5.154639175257731".
- 1029838 cpu_core_0 "5.154639175257731".
- 1037949 cpu_core_0 "5.154639175257731".
- 1062624 cpu_core_0 "5.154639175257731".
- 1091980 cpu_core_0 "5.154639175257731".
- 1097472 cpu_core_0 "5.154639175257731".
- 1103639 cpu_core_0 "5.154639175257731".
- 1117200 cpu_core_0 "5.154639175257731".
- 1189847 cpu_core_0 "5.154639175257731".
- 1205963 cpu_core_0 "5.154639175257731".
- 1213813 cpu_core_0 "5.154639175257731".
- 1213817 cpu_core_0 "5.154639175257731".
- 1214120 cpu_core_0 "5.154639175257731".
- 1214160 cpu_core_0 "5.154639175257731".
- 1214358 cpu_core_0 "5.154639175257731".
- 1214364 cpu_core_0 "5.154639175257731".
- 1214373 cpu_core_0 "5.154639175257731".
- 1214526 cpu_core_0 "5.154639175257731".
- 1214563 cpu_core_0 "5.154639175257731".
- 1214622 cpu_core_0 "5.154639175257731".
- 1214686 cpu_core_0 "5.154639175257731".
- 1214984 cpu_core_0 "5.154639175257731".
- 1215200 cpu_core_0 "5.154639175257731".
- 1215322 cpu_core_0 "5.154639175257731".
- 1215441 cpu_core_0 "5.154639175257731".
- 1215473 cpu_core_0 "5.154639175257731".
- 1215511 cpu_core_0 "5.154639175257731".
- 1215609 cpu_core_0 "5.154639175257731".
- 1215627 cpu_core_0 "5.154639175257731".
- 1215835 cpu_core_0 "5.154639175257731".
- 1215954 cpu_core_0 "5.154639175257731".
- 1216063 cpu_core_0 "5.154639175257731".
- 1216184 cpu_core_0 "5.154639175257731".
- 1216429 cpu_core_0 "5.154639175257731".
- 1216478 cpu_core_0 "5.154639175257731".
- 1216490 cpu_core_0 "5.154639175257731".
- 1216727 cpu_core_0 "5.154639175257731".
- 1216775 cpu_core_0 "5.154639175257731".
- 1216796 cpu_core_0 "5.154639175257731".
- 1216815 cpu_core_0 "5.154639175257731".
- 1216823 cpu_core_0 "5.154639175257731".
- 1216851 cpu_core_0 "5.154639175257731".
- 1216931 cpu_core_0 "5.154639175257731".
- 1216969 cpu_core_0 "5.154639175257731".
- 1217066 cpu_core_0 "5.154639175257731".
- 1217093 cpu_core_0 "5.154639175257731".
- 1217277 cpu_core_0 "5.154639175257731".
- 1217355 cpu_core_0 "5.154639175257731".
- 1217375 cpu_core_0 "5.154639175257731".
- 1217399 cpu_core_0 "5.154639175257731".
- 1217852 cpu_core_0 "5.154639175257731".
- 1217862 cpu_core_0 "5.154639175257731".
- 1217924 cpu_core_0 "5.154639175257731".
- 1217963 cpu_core_0 "5.154639175257731".
- 1217979 cpu_core_0 "5.154639175257731".
- 1218131 cpu_core_0 "5.154639175257731".
- 1218136 cpu_core_0 "5.154639175257731".
- 1218241 cpu_core_0 "5.154639175257731".
- 1218258 cpu_core_0 "5.154639175257731".
- 1218265 cpu_core_0 "5.154639175257731".
- 1218273 cpu_core_0 "5.154639175257731".
- 1218282 cpu_core_0 "5.154639175257731".
- 1218373 cpu_core_0 "5.154639175257731".
- 1218453 cpu_core_0 "5.154639175257731".
- 1218483 cpu_core_0 "5.154639175257731".
- 1218523 cpu_core_0 "5.154639175257731".
- 1218625 cpu_core_0 "5.154639175257731".
- 1218892 cpu_core_0 "5.154639175257731".
- 1219048 cpu_core_0 "5.154639175257731".
- 1219091 cpu_core_0 "5.154639175257731".
- 1219336 cpu_core_0 "5.154639175257731".
- 1236158 cpu_core_0 "5.154639175257731".
- 1236393 cpu_core_0 "5.154639175257731".
- 1246940 cpu_core_0 "5.154639175257731".
- 1267079 cpu_core_0 "5.154639175257731".
- 1287270 cpu_core_0 "5.154639175257731".
- 1320519 cpu_core_0 "5.154639175257731".
- 1326991 cpu_core_0 "5.154639175257731".
- 1349006 cpu_core_0 "5.154639175257731".
- 1365046 cpu_core_0 "5.154639175257731".
- 1370629 cpu_core_0 "5.154639175257731".
- 1378816 cpu_core_0 "5.154639175257731".
- 1407499 cpu_core_0 "5.154639175257731".
- 1408098 cpu_core_0 "5.154639175257731".
- 1408132 cpu_core_0 "5.154639175257731".
- 1408158 cpu_core_0 "5.154639175257731".
- 1408331 cpu_core_0 "5.154639175257731".
- 1408405 cpu_core_0 "5.154639175257731".
- 1408937 cpu_core_0 "5.154639175257731".
- 1409033 cpu_core_0 "5.154639175257731".
- 1409053 cpu_core_0 "5.154639175257731".
- 1409218 cpu_core_0 "5.154639175257731".
- 1409404 cpu_core_0 "5.154639175257731".
- 1409468 cpu_core_0 "5.154639175257731".
- 1409530 cpu_core_0 "5.154639175257731".
- 1409644 cpu_core_0 "5.154639175257731".
- 1409709 cpu_core_0 "5.154639175257731".
- 1409771 cpu_core_0 "5.154639175257731".
- 1410147 cpu_core_0 "5.154639175257731".
- 1410420 cpu_core_0 "5.154639175257731".