Matches in ISWC2014 Benchmark for { ?s ?p 28.000000000000004. }
- 1183576 cpu_core_0 "28.000000000000004".
- 1183700 cpu_core_0 "28.000000000000004".
- 1184862 cpu_core_0 "28.000000000000004".
- 1187975 cpu_core_0 "28.000000000000004".
- 1189479 cpu_core_0 "28.000000000000004".
- 1189559 cpu_core_0 "28.000000000000004".
- 1190871 cpu_core_0 "28.000000000000004".
- 1191283 cpu_core_0 "28.000000000000004".
- 1192637 cpu_core_0 "28.000000000000004".
- 1192759 cpu_core_0 "28.000000000000004".
- 1194403 cpu_core_0 "28.000000000000004".
- 1195317 cpu_core_0 "28.000000000000004".
- 1195442 cpu_core_0 "28.000000000000004".
- 1197405 cpu_core_0 "28.000000000000004".
- 1198338 cpu_core_0 "28.000000000000004".
- 1199481 cpu_core_0 "28.000000000000004".
- 1200868 cpu_core_0 "28.000000000000004".
- 1201030 cpu_core_0 "28.000000000000004".
- 1201382 cpu_core_0 "28.000000000000004".
- 1202552 cpu_core_0 "28.000000000000004".
- 1203093 cpu_core_0 "28.000000000000004".
- 1204924 cpu_core_0 "28.000000000000004".
- 1205478 cpu_core_0 "28.000000000000004".
- 1206842 cpu_core_0 "28.000000000000004".
- 1207451 cpu_core_0 "28.000000000000004".
- 1207598 cpu_core_0 "28.000000000000004".
- 1207833 cpu_core_0 "28.000000000000004".
- 1207957 cpu_core_0 "28.000000000000004".
- 1207973 cpu_core_0 "28.000000000000004".
- 1208171 cpu_core_0 "28.000000000000004".
- 1208242 cpu_core_0 "28.000000000000004".
- 1208255 cpu_core_0 "28.000000000000004".
- 1208305 cpu_core_0 "28.000000000000004".
- 1208321 cpu_core_0 "28.000000000000004".
- 1208362 cpu_core_0 "28.000000000000004".
- 1208364 cpu_core_0 "28.000000000000004".
- 1208413 cpu_core_0 "28.000000000000004".
- 1208414 cpu_core_0 "28.000000000000004".
- 1208429 cpu_core_0 "28.000000000000004".
- 1208518 cpu_core_0 "28.000000000000004".
- 1208643 cpu_core_0 "28.000000000000004".
- 1208770 cpu_core_0 "28.000000000000004".
- 1209105 cpu_core_0 "28.000000000000004".
- 1209140 cpu_core_0 "28.000000000000004".
- 1209220 cpu_core_0 "28.000000000000004".
- 1209227 cpu_core_0 "28.000000000000004".
- 1209238 cpu_core_0 "28.000000000000004".
- 1209321 cpu_core_0 "28.000000000000004".
- 1209347 cpu_core_0 "28.000000000000004".
- 1209388 cpu_core_0 "28.000000000000004".
- 1209394 cpu_core_0 "28.000000000000004".
- 1209470 cpu_core_0 "28.000000000000004".
- 1209471 cpu_core_0 "28.000000000000004".
- 1209597 cpu_core_0 "28.000000000000004".
- 1209949 cpu_core_0 "28.000000000000004".
- 1210017 cpu_core_0 "28.000000000000004".
- 1210040 cpu_core_0 "28.000000000000004".
- 1210053 cpu_core_0 "28.000000000000004".
- 1210108 cpu_core_0 "28.000000000000004".
- 1210324 cpu_core_0 "28.000000000000004".
- 1210407 cpu_core_0 "28.000000000000004".
- 1210408 cpu_core_0 "28.000000000000004".
- 1210553 cpu_core_0 "28.000000000000004".
- 1210643 cpu_core_0 "28.000000000000004".
- 1210706 cpu_core_0 "28.000000000000004".
- 1210716 cpu_core_0 "28.000000000000004".
- 1210759 cpu_core_0 "28.000000000000004".
- 1210764 cpu_core_0 "28.000000000000004".
- 1210798 cpu_core_0 "28.000000000000004".
- 1210804 cpu_core_0 "28.000000000000004".
- 1210925 cpu_core_0 "28.000000000000004".
- 1211007 cpu_core_0 "28.000000000000004".
- 1211079 cpu_core_0 "28.000000000000004".
- 1211081 cpu_core_0 "28.000000000000004".
- 1211202 cpu_core_0 "28.000000000000004".
- 1211268 cpu_core_0 "28.000000000000004".
- 1211301 cpu_core_0 "28.000000000000004".
- 1211369 cpu_core_0 "28.000000000000004".
- 1211382 cpu_core_0 "28.000000000000004".
- 1211479 cpu_core_0 "28.000000000000004".
- 1211490 cpu_core_0 "28.000000000000004".
- 1211524 cpu_core_0 "28.000000000000004".
- 1211542 cpu_core_0 "28.000000000000004".
- 1211547 cpu_core_0 "28.000000000000004".
- 1211555 cpu_core_0 "28.000000000000004".
- 1211572 cpu_core_0 "28.000000000000004".
- 1211598 cpu_core_0 "28.000000000000004".
- 1211666 cpu_core_0 "28.000000000000004".
- 1211746 cpu_core_0 "28.000000000000004".
- 1211786 cpu_core_0 "28.000000000000004".
- 1211813 cpu_core_0 "28.000000000000004".
- 1211986 cpu_core_0 "28.000000000000004".
- 1211990 cpu_core_0 "28.000000000000004".
- 1212147 cpu_core_0 "28.000000000000004".
- 1212205 cpu_core_0 "28.000000000000004".
- 1212212 cpu_core_0 "28.000000000000004".
- 1212300 cpu_core_0 "28.000000000000004".
- 1212332 cpu_core_0 "28.000000000000004".
- 1212860 cpu_core_0 "28.000000000000004".
- 1212881 cpu_core_0 "28.000000000000004".