Matches in ISWC2014 Benchmark for { ?s ?p 6.9306930693069315. }
- 1266764 cpu_core_0 "6.9306930693069315".
- 1266798 cpu_core_0 "6.9306930693069315".
- 1266944 cpu_core_0 "6.9306930693069315".
- 1267682 cpu_core_0 "6.9306930693069315".
- 1269276 cpu_core_0 "6.9306930693069315".
- 1269815 cpu_core_0 "6.9306930693069315".
- 1269818 cpu_core_0 "6.9306930693069315".
- 1270001 cpu_core_0 "6.9306930693069315".
- 1270240 cpu_core_0 "6.9306930693069315".
- 1271037 cpu_core_0 "6.9306930693069315".
- 1272291 cpu_core_0 "6.9306930693069315".
- 1272522 cpu_core_0 "6.9306930693069315".
- 1273425 cpu_core_0 "6.9306930693069315".
- 1273732 cpu_core_0 "6.9306930693069315".
- 1276755 cpu_core_0 "6.9306930693069315".
- 1278739 cpu_core_0 "6.9306930693069315".
- 1279835 cpu_core_0 "6.9306930693069315".
- 1280347 cpu_core_0 "6.9306930693069315".
- 1280938 cpu_core_0 "6.9306930693069315".
- 1281060 cpu_core_0 "6.9306930693069315".
- 1281781 cpu_core_0 "6.9306930693069315".
- 1281814 cpu_core_0 "6.9306930693069315".
- 1282598 cpu_core_0 "6.9306930693069315".
- 1283439 cpu_core_0 "6.9306930693069315".
- 1283565 cpu_core_0 "6.9306930693069315".
- 1286336 cpu_core_0 "6.9306930693069315".
- 1286565 cpu_core_0 "6.9306930693069315".
- 1286695 cpu_core_0 "6.9306930693069315".
- 1287189 cpu_core_0 "6.9306930693069315".
- 1287608 cpu_core_0 "6.9306930693069315".
- 1289020 cpu_core_0 "6.9306930693069315".
- 1289414 cpu_core_0 "6.9306930693069315".
- 1290600 cpu_core_0 "6.9306930693069315".
- 1291354 cpu_core_0 "6.9306930693069315".
- 1291368 cpu_core_0 "6.9306930693069315".
- 1291723 cpu_core_0 "6.9306930693069315".
- 1291888 cpu_core_0 "6.9306930693069315".
- 1293103 cpu_core_0 "6.9306930693069315".
- 1293298 cpu_core_0 "6.9306930693069315".
- 1293957 cpu_core_0 "6.9306930693069315".
- 1295572 cpu_core_0 "6.9306930693069315".
- 1295792 cpu_core_0 "6.9306930693069315".
- 1298094 cpu_core_0 "6.9306930693069315".
- 1298618 cpu_core_0 "6.9306930693069315".
- 1299701 cpu_core_0 "6.9306930693069315".
- 1300407 cpu_core_0 "6.9306930693069315".
- 1300826 cpu_core_0 "6.9306930693069315".
- 1300989 cpu_core_0 "6.9306930693069315".
- 1301192 cpu_core_0 "6.9306930693069315".
- 1301914 cpu_core_0 "6.9306930693069315".
- 1301993 cpu_core_0 "6.9306930693069315".
- 1302953 cpu_core_0 "6.9306930693069315".
- 1303435 cpu_core_0 "6.9306930693069315".
- 1305305 cpu_core_0 "6.9306930693069315".
- 1307901 cpu_core_0 "6.9306930693069315".
- 1309333 cpu_core_0 "6.9306930693069315".
- 1309723 cpu_core_0 "6.9306930693069315".
- 1311072 cpu_core_0 "6.9306930693069315".
- 1311941 cpu_core_0 "6.9306930693069315".
- 1312180 cpu_core_0 "6.9306930693069315".
- 1312256 cpu_core_0 "6.9306930693069315".
- 1312998 cpu_core_0 "6.9306930693069315".
- 1315510 cpu_core_0 "6.9306930693069315".
- 1315746 cpu_core_0 "6.9306930693069315".
- 1316238 cpu_core_0 "6.9306930693069315".
- 1317874 cpu_core_0 "6.9306930693069315".
- 1317925 cpu_core_0 "6.9306930693069315".
- 1318163 cpu_core_0 "6.9306930693069315".
- 1318823 cpu_core_0 "6.9306930693069315".
- 1320635 cpu_core_0 "6.9306930693069315".
- 1320872 cpu_core_0 "6.9306930693069315".
- 1320945 cpu_core_0 "6.9306930693069315".
- 1321030 cpu_core_0 "6.9306930693069315".
- 1321761 cpu_core_0 "6.9306930693069315".
- 1322935 cpu_core_0 "6.9306930693069315".
- 1323198 cpu_core_0 "6.9306930693069315".
- 1327850 cpu_core_0 "6.9306930693069315".
- 1328207 cpu_core_0 "6.9306930693069315".
- 1328699 cpu_core_0 "6.9306930693069315".
- 1328941 cpu_core_0 "6.9306930693069315".
- 1328998 cpu_core_0 "6.9306930693069315".
- 1329532 cpu_core_0 "6.9306930693069315".
- 1329620 cpu_core_0 "6.9306930693069315".
- 1329699 cpu_core_0 "6.9306930693069315".
- 1330247 cpu_core_0 "6.9306930693069315".
- 1330955 cpu_core_0 "6.9306930693069315".
- 1331544 cpu_core_0 "6.9306930693069315".
- 1331815 cpu_core_0 "6.9306930693069315".
- 1333250 cpu_core_0 "6.9306930693069315".
- 1333435 cpu_core_0 "6.9306930693069315".
- 1334312 cpu_core_0 "6.9306930693069315".
- 1335076 cpu_core_0 "6.9306930693069315".
- 1336273 cpu_core_0 "6.9306930693069315".
- 1337225 cpu_core_0 "6.9306930693069315".
- 1337478 cpu_core_0 "6.9306930693069315".
- 1337522 cpu_core_0 "6.9306930693069315".
- 1337914 cpu_core_0 "6.9306930693069315".
- 1338908 cpu_core_0 "6.9306930693069315".
- 1339517 cpu_core_0 "6.9306930693069315".
- 1340174 cpu_core_0 "6.9306930693069315".