Matches in ISWC2014 Benchmark for { ?s ?p 7.999999999999999. }
- 1172624 cpu_core_0 "7.999999999999999".
- 1174157 cpu_core_0 "7.999999999999999".
- 1174677 cpu_core_0 "7.999999999999999".
- 1174862 cpu_core_0 "7.999999999999999".
- 1175567 cpu_core_0 "7.999999999999999".
- 1175629 cpu_core_0 "7.999999999999999".
- 1177497 cpu_core_0 "7.999999999999999".
- 1178250 cpu_core_0 "7.999999999999999".
- 1179212 cpu_core_0 "7.999999999999999".
- 1179630 cpu_core_0 "7.999999999999999".
- 1180028 cpu_core_0 "7.999999999999999".
- 1180850 cpu_core_0 "7.999999999999999".
- 1189197 cpu_core_0 "7.999999999999999".
- 1189927 cpu_core_0 "7.999999999999999".
- 1190027 cpu_core_0 "7.999999999999999".
- 1194624 cpu_core_0 "7.999999999999999".
- 1194946 cpu_core_0 "7.999999999999999".
- 1196832 cpu_core_0 "7.999999999999999".
- 1197214 cpu_core_0 "7.999999999999999".
- 1197656 cpu_core_0 "7.999999999999999".
- 1198411 cpu_core_0 "7.999999999999999".
- 1199177 cpu_core_0 "7.999999999999999".
- 1200992 cpu_core_0 "7.999999999999999".
- 1202891 cpu_core_0 "7.999999999999999".
- 1203907 cpu_core_0 "7.999999999999999".
- 1205255 cpu_core_0 "7.999999999999999".
- 1205712 cpu_core_0 "7.999999999999999".
- 1205997 cpu_core_0 "7.999999999999999".
- 1206422 cpu_core_0 "7.999999999999999".
- 1213954 cpu_core_0 "7.999999999999999".
- 1215143 cpu_core_0 "7.999999999999999".
- 1238833 cpu_core_0 "7.999999999999999".
- 1239648 cpu_core_0 "7.999999999999999".
- 1239747 cpu_core_0 "7.999999999999999".
- 1244529 cpu_core_0 "7.999999999999999".
- 1244591 cpu_core_0 "7.999999999999999".
- 1247266 cpu_core_0 "7.999999999999999".
- 1247947 cpu_core_0 "7.999999999999999".
- 1248307 cpu_core_0 "7.999999999999999".
- 1251223 cpu_core_0 "7.999999999999999".
- 1255823 cpu_core_0 "7.999999999999999".
- 1259160 cpu_core_0 "7.999999999999999".
- 1259821 cpu_core_0 "7.999999999999999".
- 1261323 cpu_core_0 "7.999999999999999".
- 1264317 cpu_core_0 "7.999999999999999".
- 1265443 cpu_core_0 "7.999999999999999".
- 1265577 cpu_core_0 "7.999999999999999".
- 1267705 cpu_core_0 "7.999999999999999".
- 1268202 cpu_core_0 "7.999999999999999".
- 1268272 cpu_core_0 "7.999999999999999".
- 1268565 cpu_core_0 "7.999999999999999".
- 1269004 cpu_core_0 "7.999999999999999".
- 1270761 cpu_core_0 "7.999999999999999".
- 1271728 cpu_core_0 "7.999999999999999".
- 1271933 cpu_core_0 "7.999999999999999".
- 1273053 cpu_core_0 "7.999999999999999".
- 1275642 cpu_core_0 "7.999999999999999".
- 1277097 cpu_core_0 "7.999999999999999".
- 1278879 cpu_core_0 "7.999999999999999".
- 1282288 cpu_core_0 "7.999999999999999".
- 1286477 cpu_core_0 "7.999999999999999".
- 1286656 cpu_core_0 "7.999999999999999".
- 1286749 cpu_core_0 "7.999999999999999".
- 1287215 cpu_core_0 "7.999999999999999".
- 1288010 cpu_core_0 "7.999999999999999".
- 1288105 cpu_core_0 "7.999999999999999".
- 1288329 cpu_core_0 "7.999999999999999".
- 1288509 cpu_core_0 "7.999999999999999".
- 1292177 cpu_core_0 "7.999999999999999".
- 1292957 cpu_core_0 "7.999999999999999".
- 1297366 cpu_core_0 "7.999999999999999".
- 1298063 cpu_core_0 "7.999999999999999".
- 1298753 cpu_core_0 "7.999999999999999".
- 1302777 cpu_core_0 "7.999999999999999".
- 1302870 cpu_core_0 "7.999999999999999".
- 1304094 cpu_core_0 "7.999999999999999".
- 1304121 cpu_core_0 "7.999999999999999".
- 1304471 cpu_core_0 "7.999999999999999".
- 1306110 cpu_core_0 "7.999999999999999".
- 1307521 cpu_core_0 "7.999999999999999".
- 1308271 cpu_core_0 "7.999999999999999".
- 1309573 cpu_core_0 "7.999999999999999".
- 1309665 cpu_core_0 "7.999999999999999".
- 1311469 cpu_core_0 "7.999999999999999".
- 1311633 cpu_core_0 "7.999999999999999".
- 1313950 cpu_core_0 "7.999999999999999".
- 1314724 cpu_core_0 "7.999999999999999".
- 1317671 cpu_core_0 "7.999999999999999".
- 1318350 cpu_core_0 "7.999999999999999".
- 1320542 cpu_core_0 "7.999999999999999".
- 1320822 cpu_core_0 "7.999999999999999".
- 1321603 cpu_core_0 "7.999999999999999".
- 1321821 cpu_core_0 "7.999999999999999".
- 1322303 cpu_core_0 "7.999999999999999".
- 1323876 cpu_core_0 "7.999999999999999".
- 1331345 cpu_core_0 "7.999999999999999".
- 1336718 cpu_core_0 "7.999999999999999".
- 1336994 cpu_core_0 "7.999999999999999".
- 1339117 cpu_core_0 "7.999999999999999".
- 1339574 cpu_core_0 "7.999999999999999".