Matches in ISWC2014 Benchmark for { ?s ?p 6.9306930693069315. }
- 764081 cpu_core_1 "6.9306930693069315".
- 764099 cpu_core_1 "6.9306930693069315".
- 764506 cpu_core_1 "6.9306930693069315".
- 765636 cpu_core_1 "6.9306930693069315".
- 765685 cpu_core_1 "6.9306930693069315".
- 765706 cpu_core_1 "6.9306930693069315".
- 767058 cpu_core_1 "6.9306930693069315".
- 767424 cpu_core_1 "6.9306930693069315".
- 767751 cpu_core_1 "6.9306930693069315".
- 768648 cpu_core_1 "6.9306930693069315".
- 769784 cpu_core_1 "6.9306930693069315".
- 770626 cpu_core_1 "6.9306930693069315".
- 771533 cpu_core_1 "6.9306930693069315".
- 772135 cpu_core_1 "6.9306930693069315".
- 772450 cpu_core_1 "6.9306930693069315".
- 772498 cpu_core_1 "6.9306930693069315".
- 772800 cpu_core_1 "6.9306930693069315".
- 773610 cpu_core_1 "6.9306930693069315".
- 775982 cpu_core_1 "6.9306930693069315".
- 776130 cpu_core_1 "6.9306930693069315".
- 776218 cpu_core_1 "6.9306930693069315".
- 777449 cpu_core_1 "6.9306930693069315".
- 777577 cpu_core_1 "6.9306930693069315".
- 779449 cpu_core_1 "6.9306930693069315".
- 77976 cpu_core_1 "6.9306930693069315".
- 780602 cpu_core_1 "6.9306930693069315".
- 783441 cpu_core_1 "6.9306930693069315".
- 783808 cpu_core_1 "6.9306930693069315".
- 784374 cpu_core_1 "6.9306930693069315".
- 785358 cpu_core_1 "6.9306930693069315".
- 786052 cpu_core_1 "6.9306930693069315".
- 788193 cpu_core_1 "6.9306930693069315".
- 788295 cpu_core_1 "6.9306930693069315".
- 788314 cpu_core_1 "6.9306930693069315".
- 789978 cpu_core_1 "6.9306930693069315".
- 790597 cpu_core_1 "6.9306930693069315".
- 790841 cpu_core_1 "6.9306930693069315".
- 79091 cpu_core_1 "6.9306930693069315".
- 791945 cpu_core_1 "6.9306930693069315".
- 792313 cpu_core_1 "6.9306930693069315".
- 792403 cpu_core_1 "6.9306930693069315".
- 792956 cpu_core_1 "6.9306930693069315".
- 793036 cpu_core_1 "6.9306930693069315".
- 793649 cpu_core_1 "6.9306930693069315".
- 794268 cpu_core_1 "6.9306930693069315".
- 794315 cpu_core_1 "6.9306930693069315".
- 795275 cpu_core_1 "6.9306930693069315".
- 795407 cpu_core_1 "6.9306930693069315".
- 795490 cpu_core_1 "6.9306930693069315".
- 795533 cpu_core_1 "6.9306930693069315".
- 795872 cpu_core_1 "6.9306930693069315".
- 795899 cpu_core_1 "6.9306930693069315".
- 795919 cpu_core_1 "6.9306930693069315".
- 795942 cpu_core_1 "6.9306930693069315".
- 795970 cpu_core_1 "6.9306930693069315".
- 796004 cpu_core_1 "6.9306930693069315".
- 796284 cpu_core_1 "6.9306930693069315".
- 796900 cpu_core_1 "6.9306930693069315".
- 797566 cpu_core_1 "6.9306930693069315".
- 797913 cpu_core_1 "6.9306930693069315".
- 799624 cpu_core_1 "6.9306930693069315".
- 802094 cpu_core_1 "6.9306930693069315".
- 802145 cpu_core_1 "6.9306930693069315".
- 802911 cpu_core_1 "6.9306930693069315".
- 803068 cpu_core_1 "6.9306930693069315".
- 805705 cpu_core_1 "6.9306930693069315".
- 805853 cpu_core_1 "6.9306930693069315".
- 807085 cpu_core_1 "6.9306930693069315".
- 807421 cpu_core_1 "6.9306930693069315".
- 808554 cpu_core_1 "6.9306930693069315".
- 810489 cpu_core_1 "6.9306930693069315".
- 814507 cpu_core_1 "6.9306930693069315".
- 815123 cpu_core_1 "6.9306930693069315".
- 816179 cpu_core_1 "6.9306930693069315".
- 818240 cpu_core_1 "6.9306930693069315".
- 820374 cpu_core_1 "6.9306930693069315".
- 823922 cpu_core_1 "6.9306930693069315".
- 824842 cpu_core_1 "6.9306930693069315".
- 826140 cpu_core_1 "6.9306930693069315".
- 826886 cpu_core_1 "6.9306930693069315".
- 827316 cpu_core_1 "6.9306930693069315".
- 831959 cpu_core_1 "6.9306930693069315".
- 832743 cpu_core_1 "6.9306930693069315".
- 834087 cpu_core_1 "6.9306930693069315".
- 837598 cpu_core_1 "6.9306930693069315".
- 841961 cpu_core_1 "6.9306930693069315".
- 843974 cpu_core_1 "6.9306930693069315".
- 845576 cpu_core_1 "6.9306930693069315".
- 849667 cpu_core_1 "6.9306930693069315".
- 850394 cpu_core_1 "6.9306930693069315".
- 852676 cpu_core_1 "6.9306930693069315".
- 854704 cpu_core_1 "6.9306930693069315".
- 856628 cpu_core_1 "6.9306930693069315".
- 856871 cpu_core_1 "6.9306930693069315".
- 857219 cpu_core_1 "6.9306930693069315".
- 858140 cpu_core_1 "6.9306930693069315".
- 858979 cpu_core_1 "6.9306930693069315".
- 861100 cpu_core_1 "6.9306930693069315".
- 861737 cpu_core_1 "6.9306930693069315".
- 862158 cpu_core_1 "6.9306930693069315".