Matches in ISWC2014 Benchmark for { ?s ?p 7.999999999999999. }
- 1920859 cpu_core_0 "7.999999999999999".
- 1921075 cpu_core_0 "7.999999999999999".
- 1921138 cpu_core_0 "7.999999999999999".
- 2068708 cpu_core_0 "7.999999999999999".
- 2070629 cpu_core_0 "7.999999999999999".
- 2073194 cpu_core_0 "7.999999999999999".
- 2073269 cpu_core_0 "7.999999999999999".
- 2073426 cpu_core_0 "7.999999999999999".
- 2074728 cpu_core_0 "7.999999999999999".
- 286992 cpu_core_0 "7.999999999999999".
- 296000 cpu_core_0 "7.999999999999999".
- 308827 cpu_core_0 "7.999999999999999".
- 312112 cpu_core_0 "7.999999999999999".
- 315343 cpu_core_0 "7.999999999999999".
- 318307 cpu_core_0 "7.999999999999999".
- 324364 cpu_core_0 "7.999999999999999".
- 337086 cpu_core_0 "7.999999999999999".
- 338680 cpu_core_0 "7.999999999999999".
- 348997 cpu_core_0 "7.999999999999999".
- 404969 cpu_core_0 "7.999999999999999".
- 412663 cpu_core_0 "7.999999999999999".
- 449805 cpu_core_0 "7.999999999999999".
- 492762 cpu_core_0 "7.999999999999999".
- 522558 cpu_core_0 "7.999999999999999".
- 523386 cpu_core_0 "7.999999999999999".
- 524007 cpu_core_0 "7.999999999999999".
- 552504 cpu_core_0 "7.999999999999999".
- 555397 cpu_core_0 "7.999999999999999".
- 565017 cpu_core_0 "7.999999999999999".
- 572081 cpu_core_0 "7.999999999999999".
- 594115 cpu_core_0 "7.999999999999999".
- 595684 cpu_core_0 "7.999999999999999".
- 618327 cpu_core_0 "7.999999999999999".
- 630724 cpu_core_0 "7.999999999999999".
- 631554 cpu_core_0 "7.999999999999999".
- 702457 cpu_core_0 "7.999999999999999".
- 707542 cpu_core_0 "7.999999999999999".
- 711094 cpu_core_0 "7.999999999999999".
- 717842 cpu_core_0 "7.999999999999999".
- 718222 cpu_core_0 "7.999999999999999".
- 731419 cpu_core_0 "7.999999999999999".
- 734483 cpu_core_0 "7.999999999999999".
- 739460 cpu_core_0 "7.999999999999999".
- 745757 cpu_core_0 "7.999999999999999".
- 761745 cpu_core_0 "7.999999999999999".
- 770978 cpu_core_0 "7.999999999999999".
- 774202 cpu_core_0 "7.999999999999999".
- 795390 cpu_core_0 "7.999999999999999".
- 813789 cpu_core_0 "7.999999999999999".
- 81571 cpu_core_0 "7.999999999999999".
- 926403 cpu_core_0 "7.999999999999999".
- 958517 cpu_core_0 "7.999999999999999".
- 970131 cpu_core_0 "7.999999999999999".
- 971243 cpu_core_0 "7.999999999999999".
- 984622 cpu_core_0 "7.999999999999999".
- 1020127 cpu_core_1 "7.999999999999999".
- 1031731 cpu_core_1 "7.999999999999999".
- 1039920 cpu_core_1 "7.999999999999999".
- 1044827 cpu_core_1 "7.999999999999999".
- 1046310 cpu_core_1 "7.999999999999999".
- 1046654 cpu_core_1 "7.999999999999999".
- 1047104 cpu_core_1 "7.999999999999999".
- 1061233 cpu_core_1 "7.999999999999999".
- 1067785 cpu_core_1 "7.999999999999999".
- 1071256 cpu_core_1 "7.999999999999999".
- 1073977 cpu_core_1 "7.999999999999999".
- 1079008 cpu_core_1 "7.999999999999999".
- 1080268 cpu_core_1 "7.999999999999999".
- 1090224 cpu_core_1 "7.999999999999999".
- 1092430 cpu_core_1 "7.999999999999999".
- 1092682 cpu_core_1 "7.999999999999999".
- 1093589 cpu_core_1 "7.999999999999999".
- 1095843 cpu_core_1 "7.999999999999999".
- 1097178 cpu_core_1 "7.999999999999999".
- 1102889 cpu_core_1 "7.999999999999999".
- 1104450 cpu_core_1 "7.999999999999999".
- 1118574 cpu_core_1 "7.999999999999999".
- 1120711 cpu_core_1 "7.999999999999999".
- 1125960 cpu_core_1 "7.999999999999999".
- 1132286 cpu_core_1 "7.999999999999999".
- 1133325 cpu_core_1 "7.999999999999999".
- 1133876 cpu_core_1 "7.999999999999999".
- 1134649 cpu_core_1 "7.999999999999999".
- 1139820 cpu_core_1 "7.999999999999999".
- 1139869 cpu_core_1 "7.999999999999999".
- 1140883 cpu_core_1 "7.999999999999999".
- 1143263 cpu_core_1 "7.999999999999999".
- 1145107 cpu_core_1 "7.999999999999999".
- 1149842 cpu_core_1 "7.999999999999999".
- 1150772 cpu_core_1 "7.999999999999999".
- 1155749 cpu_core_1 "7.999999999999999".
- 1162242 cpu_core_1 "7.999999999999999".
- 1162433 cpu_core_1 "7.999999999999999".
- 1163246 cpu_core_1 "7.999999999999999".
- 1168446 cpu_core_1 "7.999999999999999".
- 1172642 cpu_core_1 "7.999999999999999".
- 1172817 cpu_core_1 "7.999999999999999".
- 1173083 cpu_core_1 "7.999999999999999".
- 1175352 cpu_core_1 "7.999999999999999".
- 1180751 cpu_core_1 "7.999999999999999".