Matches in ISWC2014 Benchmark for { ?s ?p 72.00000000000001. }
- 932515 cpu_core_0 "72.00000000000001".
- 934842 cpu_core_0 "72.00000000000001".
- 936562 cpu_core_0 "72.00000000000001".
- 937655 cpu_core_0 "72.00000000000001".
- 939765 cpu_core_0 "72.00000000000001".
- 939792 cpu_core_0 "72.00000000000001".
- 941161 cpu_core_0 "72.00000000000001".
- 941717 cpu_core_0 "72.00000000000001".
- 943220 cpu_core_0 "72.00000000000001".
- 943356 cpu_core_0 "72.00000000000001".
- 945010 cpu_core_0 "72.00000000000001".
- 946544 cpu_core_0 "72.00000000000001".
- 946627 cpu_core_0 "72.00000000000001".
- 947863 cpu_core_0 "72.00000000000001".
- 947948 cpu_core_0 "72.00000000000001".
- 948779 cpu_core_0 "72.00000000000001".
- 949594 cpu_core_0 "72.00000000000001".
- 950443 cpu_core_0 "72.00000000000001".
- 952888 cpu_core_0 "72.00000000000001".
- 953128 cpu_core_0 "72.00000000000001".
- 953236 cpu_core_0 "72.00000000000001".
- 955346 cpu_core_0 "72.00000000000001".
- 955353 cpu_core_0 "72.00000000000001".
- 956746 cpu_core_0 "72.00000000000001".
- 957941 cpu_core_0 "72.00000000000001".
- 958807 cpu_core_0 "72.00000000000001".
- 959835 cpu_core_0 "72.00000000000001".
- 961134 cpu_core_0 "72.00000000000001".
- 963750 cpu_core_0 "72.00000000000001".
- 964558 cpu_core_0 "72.00000000000001".
- 964920 cpu_core_0 "72.00000000000001".
- 966205 cpu_core_0 "72.00000000000001".
- 966232 cpu_core_0 "72.00000000000001".
- 967015 cpu_core_0 "72.00000000000001".
- 967033 cpu_core_0 "72.00000000000001".
- 968419 cpu_core_0 "72.00000000000001".
- 968606 cpu_core_0 "72.00000000000001".
- 968835 cpu_core_0 "72.00000000000001".
- 970974 cpu_core_0 "72.00000000000001".
- 971403 cpu_core_0 "72.00000000000001".
- 972600 cpu_core_0 "72.00000000000001".
- 972637 cpu_core_0 "72.00000000000001".
- 973053 cpu_core_0 "72.00000000000001".
- 973293 cpu_core_0 "72.00000000000001".
- 975623 cpu_core_0 "72.00000000000001".
- 977422 cpu_core_0 "72.00000000000001".
- 977853 cpu_core_0 "72.00000000000001".
- 977872 cpu_core_0 "72.00000000000001".
- 978658 cpu_core_0 "72.00000000000001".
- 978968 cpu_core_0 "72.00000000000001".
- 979435 cpu_core_0 "72.00000000000001".
- 979862 cpu_core_0 "72.00000000000001".
- 981770 cpu_core_0 "72.00000000000001".
- 983315 cpu_core_0 "72.00000000000001".
- 983893 cpu_core_0 "72.00000000000001".
- 987370 cpu_core_0 "72.00000000000001".
- 987876 cpu_core_0 "72.00000000000001".
- 988972 cpu_core_0 "72.00000000000001".
- 989619 cpu_core_0 "72.00000000000001".
- 991906 cpu_core_0 "72.00000000000001".
- 995618 cpu_core_0 "72.00000000000001".
- 995897 cpu_core_0 "72.00000000000001".
- 996028 cpu_core_0 "72.00000000000001".
- 996132 cpu_core_0 "72.00000000000001".
- 996626 cpu_core_0 "72.00000000000001".
- 996720 cpu_core_0 "72.00000000000001".
- 996770 cpu_core_0 "72.00000000000001".
- 996945 cpu_core_0 "72.00000000000001".
- 997235 cpu_core_0 "72.00000000000001".
- 997558 cpu_core_0 "72.00000000000001".
- 997893 cpu_core_0 "72.00000000000001".
- 998387 cpu_core_0 "72.00000000000001".
- 998920 cpu_core_0 "72.00000000000001".
- 999250 cpu_core_0 "72.00000000000001".
- 999425 cpu_core_0 "72.00000000000001".
- 999590 cpu_core_0 "72.00000000000001".
- 999804 cpu_core_0 "72.00000000000001".
- 999886 cpu_core_0 "72.00000000000001".
- 999912 cpu_core_0 "72.00000000000001".
- 1219729 cpu_core_1 "72.00000000000001".
- 1221435 cpu_core_1 "72.00000000000001".
- 1221588 cpu_core_1 "72.00000000000001".
- 1226879 cpu_core_1 "72.00000000000001".
- 1227193 cpu_core_1 "72.00000000000001".
- 1227487 cpu_core_1 "72.00000000000001".
- 1232822 cpu_core_1 "72.00000000000001".
- 1657868 cpu_core_1 "72.00000000000001".
- 1659500 cpu_core_1 "72.00000000000001".
- 1660620 cpu_core_1 "72.00000000000001".
- 1661183 cpu_core_1 "72.00000000000001".
- 1661514 cpu_core_1 "72.00000000000001".
- 1665105 cpu_core_1 "72.00000000000001".
- 1665107 cpu_core_1 "72.00000000000001".
- 1666368 cpu_core_1 "72.00000000000001".
- 1668110 cpu_core_1 "72.00000000000001".
- 1668138 cpu_core_1 "72.00000000000001".
- 1685985 cpu_core_1 "72.00000000000001".
- 1687099 cpu_core_1 "72.00000000000001".
- 1691082 cpu_core_1 "72.00000000000001".
- 210543 cpu_core_1 "72.00000000000001".