Matches in ISWC2014 Benchmark for { ?s ?p 7.999999999999999. }
- 544306 cpu_core_1 "7.999999999999999".
- 589197 cpu_core_1 "7.999999999999999".
- 633281 cpu_core_1 "7.999999999999999".
- 717954 cpu_core_1 "7.999999999999999".
- 741144 cpu_core_1 "7.999999999999999".
- 769681 cpu_core_1 "7.999999999999999".
- 777323 cpu_core_1 "7.999999999999999".
- 920003 cpu_core_1 "7.999999999999999".
- 941869 cpu_core_1 "7.999999999999999".
- 959407 cpu_core_1 "7.999999999999999".
- 963928 cpu_core_1 "7.999999999999999".
- 970622 cpu_core_1 "7.999999999999999".
- 984000 cpu_core_1 "7.999999999999999".
- 1028895 cpu_core_2 "7.999999999999999".
- 1049866 cpu_core_2 "7.999999999999999".
- 1070066 cpu_core_2 "7.999999999999999".
- 1080123 cpu_core_2 "7.999999999999999".
- 1087580 cpu_core_2 "7.999999999999999".
- 1094673 cpu_core_2 "7.999999999999999".
- 1095292 cpu_core_2 "7.999999999999999".
- 1096008 cpu_core_2 "7.999999999999999".
- 1115706 cpu_core_2 "7.999999999999999".
- 1120045 cpu_core_2 "7.999999999999999".
- 1134335 cpu_core_2 "7.999999999999999".
- 1140275 cpu_core_2 "7.999999999999999".
- 1145333 cpu_core_2 "7.999999999999999".
- 1153967 cpu_core_2 "7.999999999999999".
- 1154295 cpu_core_2 "7.999999999999999".
- 1159249 cpu_core_2 "7.999999999999999".
- 1163134 cpu_core_2 "7.999999999999999".
- 1185426 cpu_core_2 "7.999999999999999".
- 1187245 cpu_core_2 "7.999999999999999".
- 1196301 cpu_core_2 "7.999999999999999".
- 1233719 cpu_core_2 "7.999999999999999".
- 1237386 cpu_core_2 "7.999999999999999".
- 1248651 cpu_core_2 "7.999999999999999".
- 1261574 cpu_core_2 "7.999999999999999".
- 1302320 cpu_core_2 "7.999999999999999".
- 1302816 cpu_core_2 "7.999999999999999".
- 1305449 cpu_core_2 "7.999999999999999".
- 1309166 cpu_core_2 "7.999999999999999".
- 1313208 cpu_core_2 "7.999999999999999".
- 1329204 cpu_core_2 "7.999999999999999".
- 1340447 cpu_core_2 "7.999999999999999".
- 1344723 cpu_core_2 "7.999999999999999".
- 1368852 cpu_core_2 "7.999999999999999".
- 1374092 cpu_core_2 "7.999999999999999".
- 1378345 cpu_core_2 "7.999999999999999".
- 1381511 cpu_core_2 "7.999999999999999".
- 1386040 cpu_core_2 "7.999999999999999".
- 1426931 cpu_core_2 "7.999999999999999".
- 1450647 cpu_core_2 "7.999999999999999".
- 1458314 cpu_core_2 "7.999999999999999".
- 1475610 cpu_core_2 "7.999999999999999".
- 1480139 cpu_core_2 "7.999999999999999".
- 1486552 cpu_core_2 "7.999999999999999".
- 1500945 cpu_core_2 "7.999999999999999".
- 1510218 cpu_core_2 "7.999999999999999".
- 1540612 cpu_core_2 "7.999999999999999".
- 1541888 cpu_core_2 "7.999999999999999".
- 1548187 cpu_core_2 "7.999999999999999".
- 1548825 cpu_core_2 "7.999999999999999".
- 1560496 cpu_core_2 "7.999999999999999".
- 1564000 cpu_core_2 "7.999999999999999".
- 1565040 cpu_core_2 "7.999999999999999".
- 1576462 cpu_core_2 "7.999999999999999".
- 1587792 cpu_core_2 "7.999999999999999".
- 1601995 cpu_core_2 "7.999999999999999".
- 1602966 cpu_core_2 "7.999999999999999".
- 1605347 cpu_core_2 "7.999999999999999".
- 1625112 cpu_core_2 "7.999999999999999".
- 1625585 cpu_core_2 "7.999999999999999".
- 1729074 cpu_core_2 "7.999999999999999".
- 1730705 cpu_core_2 "7.999999999999999".
- 1739554 cpu_core_2 "7.999999999999999".
- 1747176 cpu_core_2 "7.999999999999999".
- 1757249 cpu_core_2 "7.999999999999999".
- 1759556 cpu_core_2 "7.999999999999999".
- 1777828 cpu_core_2 "7.999999999999999".
- 1795506 cpu_core_2 "7.999999999999999".
- 1796253 cpu_core_2 "7.999999999999999".
- 1799211 cpu_core_2 "7.999999999999999".
- 1802370 cpu_core_2 "7.999999999999999".
- 1813558 cpu_core_2 "7.999999999999999".
- 1818406 cpu_core_2 "7.999999999999999".
- 1829052 cpu_core_2 "7.999999999999999".
- 1838782 cpu_core_2 "7.999999999999999".
- 1841195 cpu_core_2 "7.999999999999999".
- 1843128 cpu_core_2 "7.999999999999999".
- 1881097 cpu_core_2 "7.999999999999999".
- 1895874 cpu_core_2 "7.999999999999999".
- 1920960 cpu_core_2 "7.999999999999999".
- 287918 cpu_core_2 "7.999999999999999".
- 288214 cpu_core_2 "7.999999999999999".
- 292896 cpu_core_2 "7.999999999999999".
- 340818 cpu_core_2 "7.999999999999999".
- 345098 cpu_core_2 "7.999999999999999".
- 349267 cpu_core_2 "7.999999999999999".
- 487952 cpu_core_2 "7.999999999999999".
- 585223 cpu_core_2 "7.999999999999999".