Matches in ISWC2014 Benchmark for { ?s ?p 6.9306930693069315. }
- 992516 cpu_core_0 "6.9306930693069315".
- 992642 cpu_core_0 "6.9306930693069315".
- 993580 cpu_core_0 "6.9306930693069315".
- 994234 cpu_core_0 "6.9306930693069315".
- 994721 cpu_core_0 "6.9306930693069315".
- 995163 cpu_core_0 "6.9306930693069315".
- 1000529 cpu_core_1 "6.9306930693069315".
- 1000625 cpu_core_1 "6.9306930693069315".
- 1001194 cpu_core_1 "6.9306930693069315".
- 1001655 cpu_core_1 "6.9306930693069315".
- 1002949 cpu_core_1 "6.9306930693069315".
- 1003907 cpu_core_1 "6.9306930693069315".
- 1004897 cpu_core_1 "6.9306930693069315".
- 1005545 cpu_core_1 "6.9306930693069315".
- 1006008 cpu_core_1 "6.9306930693069315".
- 1006135 cpu_core_1 "6.9306930693069315".
- 1007109 cpu_core_1 "6.9306930693069315".
- 1007540 cpu_core_1 "6.9306930693069315".
- 1007646 cpu_core_1 "6.9306930693069315".
- 1007767 cpu_core_1 "6.9306930693069315".
- 1007857 cpu_core_1 "6.9306930693069315".
- 1008465 cpu_core_1 "6.9306930693069315".
- 1008584 cpu_core_1 "6.9306930693069315".
- 1009498 cpu_core_1 "6.9306930693069315".
- 1010357 cpu_core_1 "6.9306930693069315".
- 1010631 cpu_core_1 "6.9306930693069315".
- 1011031 cpu_core_1 "6.9306930693069315".
- 1011241 cpu_core_1 "6.9306930693069315".
- 1011273 cpu_core_1 "6.9306930693069315".
- 1011725 cpu_core_1 "6.9306930693069315".
- 1013323 cpu_core_1 "6.9306930693069315".
- 1013609 cpu_core_1 "6.9306930693069315".
- 1013774 cpu_core_1 "6.9306930693069315".
- 1014401 cpu_core_1 "6.9306930693069315".
- 1014585 cpu_core_1 "6.9306930693069315".
- 1015187 cpu_core_1 "6.9306930693069315".
- 1015766 cpu_core_1 "6.9306930693069315".
- 1020248 cpu_core_1 "6.9306930693069315".
- 1021300 cpu_core_1 "6.9306930693069315".
- 1025780 cpu_core_1 "6.9306930693069315".
- 1025903 cpu_core_1 "6.9306930693069315".
- 1026557 cpu_core_1 "6.9306930693069315".
- 1028585 cpu_core_1 "6.9306930693069315".
- 1029643 cpu_core_1 "6.9306930693069315".
- 1031502 cpu_core_1 "6.9306930693069315".
- 1033352 cpu_core_1 "6.9306930693069315".
- 1037100 cpu_core_1 "6.9306930693069315".
- 1038059 cpu_core_1 "6.9306930693069315".
- 1039550 cpu_core_1 "6.9306930693069315".
- 1039575 cpu_core_1 "6.9306930693069315".
- 1043602 cpu_core_1 "6.9306930693069315".
- 1046576 cpu_core_1 "6.9306930693069315".
- 1050960 cpu_core_1 "6.9306930693069315".
- 1056789 cpu_core_1 "6.9306930693069315".
- 1059452 cpu_core_1 "6.9306930693069315".
- 1060389 cpu_core_1 "6.9306930693069315".
- 1063090 cpu_core_1 "6.9306930693069315".
- 1063486 cpu_core_1 "6.9306930693069315".
- 1069413 cpu_core_1 "6.9306930693069315".
- 1072357 cpu_core_1 "6.9306930693069315".
- 1076931 cpu_core_1 "6.9306930693069315".
- 1078708 cpu_core_1 "6.9306930693069315".
- 1080285 cpu_core_1 "6.9306930693069315".
- 1083536 cpu_core_1 "6.9306930693069315".
- 1086359 cpu_core_1 "6.9306930693069315".
- 1088358 cpu_core_1 "6.9306930693069315".
- 1090665 cpu_core_1 "6.9306930693069315".
- 1091559 cpu_core_1 "6.9306930693069315".
- 1091827 cpu_core_1 "6.9306930693069315".
- 1094618 cpu_core_1 "6.9306930693069315".
- 1095332 cpu_core_1 "6.9306930693069315".
- 1099046 cpu_core_1 "6.9306930693069315".
- 1099794 cpu_core_1 "6.9306930693069315".
- 1100282 cpu_core_1 "6.9306930693069315".
- 1107440 cpu_core_1 "6.9306930693069315".
- 1114077 cpu_core_1 "6.9306930693069315".
- 1116778 cpu_core_1 "6.9306930693069315".
- 1119923 cpu_core_1 "6.9306930693069315".
- 1120106 cpu_core_1 "6.9306930693069315".
- 1120652 cpu_core_1 "6.9306930693069315".
- 1120775 cpu_core_1 "6.9306930693069315".
- 1122019 cpu_core_1 "6.9306930693069315".
- 1122559 cpu_core_1 "6.9306930693069315".
- 1123752 cpu_core_1 "6.9306930693069315".
- 1125895 cpu_core_1 "6.9306930693069315".
- 1126158 cpu_core_1 "6.9306930693069315".
- 1127719 cpu_core_1 "6.9306930693069315".
- 1128511 cpu_core_1 "6.9306930693069315".
- 1132617 cpu_core_1 "6.9306930693069315".
- 1135021 cpu_core_1 "6.9306930693069315".
- 1136909 cpu_core_1 "6.9306930693069315".
- 1137271 cpu_core_1 "6.9306930693069315".
- 1137613 cpu_core_1 "6.9306930693069315".
- 1138300 cpu_core_1 "6.9306930693069315".
- 1138325 cpu_core_1 "6.9306930693069315".
- 1139067 cpu_core_1 "6.9306930693069315".
- 1139317 cpu_core_1 "6.9306930693069315".
- 1140444 cpu_core_1 "6.9306930693069315".
- 1140573 cpu_core_1 "6.9306930693069315".
- 1141554 cpu_core_1 "6.9306930693069315".