Matches in ISWC2014 Benchmark for { ?s ?p 31.000000000000007. }
- 954464 cpu_core_0 "31.000000000000007".
- 954695 cpu_core_0 "31.000000000000007".
- 955414 cpu_core_0 "31.000000000000007".
- 955419 cpu_core_0 "31.000000000000007".
- 956571 cpu_core_0 "31.000000000000007".
- 957865 cpu_core_0 "31.000000000000007".
- 957876 cpu_core_0 "31.000000000000007".
- 958029 cpu_core_0 "31.000000000000007".
- 958997 cpu_core_0 "31.000000000000007".
- 959155 cpu_core_0 "31.000000000000007".
- 960567 cpu_core_0 "31.000000000000007".
- 961264 cpu_core_0 "31.000000000000007".
- 961523 cpu_core_0 "31.000000000000007".
- 961677 cpu_core_0 "31.000000000000007".
- 961915 cpu_core_0 "31.000000000000007".
- 962561 cpu_core_0 "31.000000000000007".
- 962920 cpu_core_0 "31.000000000000007".
- 963402 cpu_core_0 "31.000000000000007".
- 964088 cpu_core_0 "31.000000000000007".
- 964982 cpu_core_0 "31.000000000000007".
- 965047 cpu_core_0 "31.000000000000007".
- 966145 cpu_core_0 "31.000000000000007".
- 966499 cpu_core_0 "31.000000000000007".
- 967694 cpu_core_0 "31.000000000000007".
- 967871 cpu_core_0 "31.000000000000007".
- 967909 cpu_core_0 "31.000000000000007".
- 968123 cpu_core_0 "31.000000000000007".
- 968126 cpu_core_0 "31.000000000000007".
- 968709 cpu_core_0 "31.000000000000007".
- 968754 cpu_core_0 "31.000000000000007".
- 969659 cpu_core_0 "31.000000000000007".
- 971156 cpu_core_0 "31.000000000000007".
- 971217 cpu_core_0 "31.000000000000007".
- 971530 cpu_core_0 "31.000000000000007".
- 972393 cpu_core_0 "31.000000000000007".
- 972464 cpu_core_0 "31.000000000000007".
- 972482 cpu_core_0 "31.000000000000007".
- 973424 cpu_core_0 "31.000000000000007".
- 973518 cpu_core_0 "31.000000000000007".
- 973804 cpu_core_0 "31.000000000000007".
- 974936 cpu_core_0 "31.000000000000007".
- 976228 cpu_core_0 "31.000000000000007".
- 977007 cpu_core_0 "31.000000000000007".
- 977128 cpu_core_0 "31.000000000000007".
- 977199 cpu_core_0 "31.000000000000007".
- 977998 cpu_core_0 "31.000000000000007".
- 978010 cpu_core_0 "31.000000000000007".
- 978294 cpu_core_0 "31.000000000000007".
- 978387 cpu_core_0 "31.000000000000007".
- 978815 cpu_core_0 "31.000000000000007".
- 979146 cpu_core_0 "31.000000000000007".
- 979583 cpu_core_0 "31.000000000000007".
- 979848 cpu_core_0 "31.000000000000007".
- 980294 cpu_core_0 "31.000000000000007".
- 980586 cpu_core_0 "31.000000000000007".
- 981267 cpu_core_0 "31.000000000000007".
- 981467 cpu_core_0 "31.000000000000007".
- 981779 cpu_core_0 "31.000000000000007".
- 982076 cpu_core_0 "31.000000000000007".
- 982351 cpu_core_0 "31.000000000000007".
- 984335 cpu_core_0 "31.000000000000007".
- 985553 cpu_core_0 "31.000000000000007".
- 986515 cpu_core_0 "31.000000000000007".
- 986601 cpu_core_0 "31.000000000000007".
- 986830 cpu_core_0 "31.000000000000007".
- 987260 cpu_core_0 "31.000000000000007".
- 989398 cpu_core_0 "31.000000000000007".
- 989423 cpu_core_0 "31.000000000000007".
- 990161 cpu_core_0 "31.000000000000007".
- 991022 cpu_core_0 "31.000000000000007".
- 991925 cpu_core_0 "31.000000000000007".
- 994518 cpu_core_0 "31.000000000000007".
- 1004419 cpu_core_1 "31.000000000000007".
- 1009922 cpu_core_1 "31.000000000000007".
- 1011078 cpu_core_1 "31.000000000000007".
- 1014528 cpu_core_1 "31.000000000000007".
- 1016976 cpu_core_1 "31.000000000000007".
- 1020628 cpu_core_1 "31.000000000000007".
- 1026019 cpu_core_1 "31.000000000000007".
- 1026774 cpu_core_1 "31.000000000000007".
- 1029607 cpu_core_1 "31.000000000000007".
- 1034046 cpu_core_1 "31.000000000000007".
- 1034172 cpu_core_1 "31.000000000000007".
- 1038015 cpu_core_1 "31.000000000000007".
- 1042693 cpu_core_1 "31.000000000000007".
- 1047138 cpu_core_1 "31.000000000000007".
- 1052370 cpu_core_1 "31.000000000000007".
- 1059137 cpu_core_1 "31.000000000000007".
- 1060344 cpu_core_1 "31.000000000000007".
- 1063094 cpu_core_1 "31.000000000000007".
- 1064072 cpu_core_1 "31.000000000000007".
- 1066114 cpu_core_1 "31.000000000000007".
- 1066560 cpu_core_1 "31.000000000000007".
- 1067279 cpu_core_1 "31.000000000000007".
- 1070405 cpu_core_1 "31.000000000000007".
- 1071563 cpu_core_1 "31.000000000000007".
- 1071971 cpu_core_1 "31.000000000000007".
- 1072382 cpu_core_1 "31.000000000000007".
- 1078585 cpu_core_1 "31.000000000000007".
- 1078715 cpu_core_1 "31.000000000000007".