Matches in ISWC2014 Benchmark for { ?s ?p 6.9306930693069315. }
- 1107402 cpu_core_0 "6.9306930693069315".
- 1107737 cpu_core_0 "6.9306930693069315".
- 1108815 cpu_core_0 "6.9306930693069315".
- 1109557 cpu_core_0 "6.9306930693069315".
- 1110288 cpu_core_0 "6.9306930693069315".
- 1110769 cpu_core_0 "6.9306930693069315".
- 1111155 cpu_core_0 "6.9306930693069315".
- 1111201 cpu_core_0 "6.9306930693069315".
- 1112934 cpu_core_0 "6.9306930693069315".
- 1114647 cpu_core_0 "6.9306930693069315".
- 1114803 cpu_core_0 "6.9306930693069315".
- 1114858 cpu_core_0 "6.9306930693069315".
- 1115239 cpu_core_0 "6.9306930693069315".
- 1115456 cpu_core_0 "6.9306930693069315".
- 1116209 cpu_core_0 "6.9306930693069315".
- 1116373 cpu_core_0 "6.9306930693069315".
- 1119075 cpu_core_0 "6.9306930693069315".
- 1120030 cpu_core_0 "6.9306930693069315".
- 1121255 cpu_core_0 "6.9306930693069315".
- 1121305 cpu_core_0 "6.9306930693069315".
- 1123133 cpu_core_0 "6.9306930693069315".
- 1123870 cpu_core_0 "6.9306930693069315".
- 1124818 cpu_core_0 "6.9306930693069315".
- 1127324 cpu_core_0 "6.9306930693069315".
- 1127367 cpu_core_0 "6.9306930693069315".
- 1127592 cpu_core_0 "6.9306930693069315".
- 1127719 cpu_core_0 "6.9306930693069315".
- 1128107 cpu_core_0 "6.9306930693069315".
- 1129222 cpu_core_0 "6.9306930693069315".
- 1132252 cpu_core_0 "6.9306930693069315".
- 1133556 cpu_core_0 "6.9306930693069315".
- 1134118 cpu_core_0 "6.9306930693069315".
- 1134866 cpu_core_0 "6.9306930693069315".
- 1137495 cpu_core_0 "6.9306930693069315".
- 1137845 cpu_core_0 "6.9306930693069315".
- 1138695 cpu_core_0 "6.9306930693069315".
- 1139001 cpu_core_0 "6.9306930693069315".
- 1139329 cpu_core_0 "6.9306930693069315".
- 1140086 cpu_core_0 "6.9306930693069315".
- 1140831 cpu_core_0 "6.9306930693069315".
- 1141169 cpu_core_0 "6.9306930693069315".
- 1143192 cpu_core_0 "6.9306930693069315".
- 1143246 cpu_core_0 "6.9306930693069315".
- 1143992 cpu_core_0 "6.9306930693069315".
- 1144303 cpu_core_0 "6.9306930693069315".
- 1144960 cpu_core_0 "6.9306930693069315".
- 1146971 cpu_core_0 "6.9306930693069315".
- 1148144 cpu_core_0 "6.9306930693069315".
- 1149616 cpu_core_0 "6.9306930693069315".
- 1149968 cpu_core_0 "6.9306930693069315".
- 1152115 cpu_core_0 "6.9306930693069315".
- 1152615 cpu_core_0 "6.9306930693069315".
- 1154433 cpu_core_0 "6.9306930693069315".
- 1154475 cpu_core_0 "6.9306930693069315".
- 1154510 cpu_core_0 "6.9306930693069315".
- 1155354 cpu_core_0 "6.9306930693069315".
- 1156510 cpu_core_0 "6.9306930693069315".
- 1156728 cpu_core_0 "6.9306930693069315".
- 1157081 cpu_core_0 "6.9306930693069315".
- 1158323 cpu_core_0 "6.9306930693069315".
- 1158684 cpu_core_0 "6.9306930693069315".
- 1158993 cpu_core_0 "6.9306930693069315".
- 1159169 cpu_core_0 "6.9306930693069315".
- 1159595 cpu_core_0 "6.9306930693069315".
- 1161078 cpu_core_0 "6.9306930693069315".
- 1161481 cpu_core_0 "6.9306930693069315".
- 1162813 cpu_core_0 "6.9306930693069315".
- 1163014 cpu_core_0 "6.9306930693069315".
- 1164029 cpu_core_0 "6.9306930693069315".
- 1164204 cpu_core_0 "6.9306930693069315".
- 1166263 cpu_core_0 "6.9306930693069315".
- 1166310 cpu_core_0 "6.9306930693069315".
- 1168932 cpu_core_0 "6.9306930693069315".
- 1169119 cpu_core_0 "6.9306930693069315".
- 1169140 cpu_core_0 "6.9306930693069315".
- 1171753 cpu_core_0 "6.9306930693069315".
- 1171957 cpu_core_0 "6.9306930693069315".
- 1172707 cpu_core_0 "6.9306930693069315".
- 1173489 cpu_core_0 "6.9306930693069315".
- 1173777 cpu_core_0 "6.9306930693069315".
- 1175673 cpu_core_0 "6.9306930693069315".
- 1175680 cpu_core_0 "6.9306930693069315".
- 1176225 cpu_core_0 "6.9306930693069315".
- 1178479 cpu_core_0 "6.9306930693069315".
- 1180315 cpu_core_0 "6.9306930693069315".
- 1181531 cpu_core_0 "6.9306930693069315".
- 1183038 cpu_core_0 "6.9306930693069315".
- 1183051 cpu_core_0 "6.9306930693069315".
- 1183147 cpu_core_0 "6.9306930693069315".
- 1184464 cpu_core_0 "6.9306930693069315".
- 1184595 cpu_core_0 "6.9306930693069315".
- 1185884 cpu_core_0 "6.9306930693069315".
- 1187146 cpu_core_0 "6.9306930693069315".
- 1187837 cpu_core_0 "6.9306930693069315".
- 1188100 cpu_core_0 "6.9306930693069315".
- 1188447 cpu_core_0 "6.9306930693069315".
- 1189508 cpu_core_0 "6.9306930693069315".
- 1190461 cpu_core_0 "6.9306930693069315".
- 1191071 cpu_core_0 "6.9306930693069315".
- 1192002 cpu_core_0 "6.9306930693069315".