Matches in ISWC2014 Benchmark for { ?s ?p 7.999999999999999. }
- 1182098 cpu_core_1 "7.999999999999999".
- 1183850 cpu_core_1 "7.999999999999999".
- 1185870 cpu_core_1 "7.999999999999999".
- 1193003 cpu_core_1 "7.999999999999999".
- 1199530 cpu_core_1 "7.999999999999999".
- 1204058 cpu_core_1 "7.999999999999999".
- 1206326 cpu_core_1 "7.999999999999999".
- 1238125 cpu_core_1 "7.999999999999999".
- 1239286 cpu_core_1 "7.999999999999999".
- 1242329 cpu_core_1 "7.999999999999999".
- 1248281 cpu_core_1 "7.999999999999999".
- 1248615 cpu_core_1 "7.999999999999999".
- 1251538 cpu_core_1 "7.999999999999999".
- 1252316 cpu_core_1 "7.999999999999999".
- 1253172 cpu_core_1 "7.999999999999999".
- 1254392 cpu_core_1 "7.999999999999999".
- 1259646 cpu_core_1 "7.999999999999999".
- 1259874 cpu_core_1 "7.999999999999999".
- 1269004 cpu_core_1 "7.999999999999999".
- 1271201 cpu_core_1 "7.999999999999999".
- 1271893 cpu_core_1 "7.999999999999999".
- 1275442 cpu_core_1 "7.999999999999999".
- 1283823 cpu_core_1 "7.999999999999999".
- 1288934 cpu_core_1 "7.999999999999999".
- 1291181 cpu_core_1 "7.999999999999999".
- 1295203 cpu_core_1 "7.999999999999999".
- 1302065 cpu_core_1 "7.999999999999999".
- 1303698 cpu_core_1 "7.999999999999999".
- 1304713 cpu_core_1 "7.999999999999999".
- 1304964 cpu_core_1 "7.999999999999999".
- 1308431 cpu_core_1 "7.999999999999999".
- 1313026 cpu_core_1 "7.999999999999999".
- 1320064 cpu_core_1 "7.999999999999999".
- 1320664 cpu_core_1 "7.999999999999999".
- 1327169 cpu_core_1 "7.999999999999999".
- 1331452 cpu_core_1 "7.999999999999999".
- 1333405 cpu_core_1 "7.999999999999999".
- 1345984 cpu_core_1 "7.999999999999999".
- 1348328 cpu_core_1 "7.999999999999999".
- 1356475 cpu_core_1 "7.999999999999999".
- 1362814 cpu_core_1 "7.999999999999999".
- 1365749 cpu_core_1 "7.999999999999999".
- 1365984 cpu_core_1 "7.999999999999999".
- 1366563 cpu_core_1 "7.999999999999999".
- 1366748 cpu_core_1 "7.999999999999999".
- 1368195 cpu_core_1 "7.999999999999999".
- 1368515 cpu_core_1 "7.999999999999999".
- 1369720 cpu_core_1 "7.999999999999999".
- 1370181 cpu_core_1 "7.999999999999999".
- 1370411 cpu_core_1 "7.999999999999999".
- 1371442 cpu_core_1 "7.999999999999999".
- 1371965 cpu_core_1 "7.999999999999999".
- 1375056 cpu_core_1 "7.999999999999999".
- 1381006 cpu_core_1 "7.999999999999999".
- 1384129 cpu_core_1 "7.999999999999999".
- 1388257 cpu_core_1 "7.999999999999999".
- 1388463 cpu_core_1 "7.999999999999999".
- 1395263 cpu_core_1 "7.999999999999999".
- 1426099 cpu_core_1 "7.999999999999999".
- 1435471 cpu_core_1 "7.999999999999999".
- 1437737 cpu_core_1 "7.999999999999999".
- 1441156 cpu_core_1 "7.999999999999999".
- 1447591 cpu_core_1 "7.999999999999999".
- 1448245 cpu_core_1 "7.999999999999999".
- 1452777 cpu_core_1 "7.999999999999999".
- 1461279 cpu_core_1 "7.999999999999999".
- 1474269 cpu_core_1 "7.999999999999999".
- 1474415 cpu_core_1 "7.999999999999999".
- 1474732 cpu_core_1 "7.999999999999999".
- 1474963 cpu_core_1 "7.999999999999999".
- 1481024 cpu_core_1 "7.999999999999999".
- 1481500 cpu_core_1 "7.999999999999999".
- 1483677 cpu_core_1 "7.999999999999999".
- 1486087 cpu_core_1 "7.999999999999999".
- 1490547 cpu_core_1 "7.999999999999999".
- 1507770 cpu_core_1 "7.999999999999999".
- 1509537 cpu_core_1 "7.999999999999999".
- 1511317 cpu_core_1 "7.999999999999999".
- 1519852 cpu_core_1 "7.999999999999999".
- 1522016 cpu_core_1 "7.999999999999999".
- 1525008 cpu_core_1 "7.999999999999999".
- 1526638 cpu_core_1 "7.999999999999999".
- 1529698 cpu_core_1 "7.999999999999999".
- 1542643 cpu_core_1 "7.999999999999999".
- 1543151 cpu_core_1 "7.999999999999999".
- 1545102 cpu_core_1 "7.999999999999999".
- 1548177 cpu_core_1 "7.999999999999999".
- 1548703 cpu_core_1 "7.999999999999999".
- 1555120 cpu_core_1 "7.999999999999999".
- 1555814 cpu_core_1 "7.999999999999999".
- 1557070 cpu_core_1 "7.999999999999999".
- 1565710 cpu_core_1 "7.999999999999999".
- 1580486 cpu_core_1 "7.999999999999999".
- 1580684 cpu_core_1 "7.999999999999999".
- 1581889 cpu_core_1 "7.999999999999999".
- 1586532 cpu_core_1 "7.999999999999999".
- 1587975 cpu_core_1 "7.999999999999999".
- 1592202 cpu_core_1 "7.999999999999999".
- 1594669 cpu_core_1 "7.999999999999999".
- 1605711 cpu_core_1 "7.999999999999999".