Matches in ISWC2014 Benchmark for { ?s ?p 6.9306930693069315. }
- 1340733 cpu_core_0 "6.9306930693069315".
- 1341382 cpu_core_0 "6.9306930693069315".
- 1341649 cpu_core_0 "6.9306930693069315".
- 1342104 cpu_core_0 "6.9306930693069315".
- 1342924 cpu_core_0 "6.9306930693069315".
- 1343327 cpu_core_0 "6.9306930693069315".
- 1343666 cpu_core_0 "6.9306930693069315".
- 1345120 cpu_core_0 "6.9306930693069315".
- 1347254 cpu_core_0 "6.9306930693069315".
- 1347698 cpu_core_0 "6.9306930693069315".
- 1348243 cpu_core_0 "6.9306930693069315".
- 1348421 cpu_core_0 "6.9306930693069315".
- 1348474 cpu_core_0 "6.9306930693069315".
- 1348662 cpu_core_0 "6.9306930693069315".
- 1349496 cpu_core_0 "6.9306930693069315".
- 1350108 cpu_core_0 "6.9306930693069315".
- 1350294 cpu_core_0 "6.9306930693069315".
- 1350339 cpu_core_0 "6.9306930693069315".
- 1350851 cpu_core_0 "6.9306930693069315".
- 1352198 cpu_core_0 "6.9306930693069315".
- 1352773 cpu_core_0 "6.9306930693069315".
- 1352946 cpu_core_0 "6.9306930693069315".
- 1353409 cpu_core_0 "6.9306930693069315".
- 1354812 cpu_core_0 "6.9306930693069315".
- 1355225 cpu_core_0 "6.9306930693069315".
- 1355503 cpu_core_0 "6.9306930693069315".
- 1355943 cpu_core_0 "6.9306930693069315".
- 1356275 cpu_core_0 "6.9306930693069315".
- 1357128 cpu_core_0 "6.9306930693069315".
- 1358044 cpu_core_0 "6.9306930693069315".
- 1358364 cpu_core_0 "6.9306930693069315".
- 1358679 cpu_core_0 "6.9306930693069315".
- 1360419 cpu_core_0 "6.9306930693069315".
- 1361439 cpu_core_0 "6.9306930693069315".
- 1365094 cpu_core_0 "6.9306930693069315".
- 1367805 cpu_core_0 "6.9306930693069315".
- 1368418 cpu_core_0 "6.9306930693069315".
- 1369077 cpu_core_0 "6.9306930693069315".
- 1370275 cpu_core_0 "6.9306930693069315".
- 1370509 cpu_core_0 "6.9306930693069315".
- 1370524 cpu_core_0 "6.9306930693069315".
- 1371631 cpu_core_0 "6.9306930693069315".
- 1373495 cpu_core_0 "6.9306930693069315".
- 1373734 cpu_core_0 "6.9306930693069315".
- 1374040 cpu_core_0 "6.9306930693069315".
- 1375385 cpu_core_0 "6.9306930693069315".
- 1375838 cpu_core_0 "6.9306930693069315".
- 1375883 cpu_core_0 "6.9306930693069315".
- 1375889 cpu_core_0 "6.9306930693069315".
- 1375998 cpu_core_0 "6.9306930693069315".
- 1377501 cpu_core_0 "6.9306930693069315".
- 1377895 cpu_core_0 "6.9306930693069315".
- 1378987 cpu_core_0 "6.9306930693069315".
- 1379017 cpu_core_0 "6.9306930693069315".
- 1379783 cpu_core_0 "6.9306930693069315".
- 1379945 cpu_core_0 "6.9306930693069315".
- 1380315 cpu_core_0 "6.9306930693069315".
- 1380619 cpu_core_0 "6.9306930693069315".
- 1381532 cpu_core_0 "6.9306930693069315".
- 1381934 cpu_core_0 "6.9306930693069315".
- 1384470 cpu_core_0 "6.9306930693069315".
- 1385903 cpu_core_0 "6.9306930693069315".
- 1387012 cpu_core_0 "6.9306930693069315".
- 1387236 cpu_core_0 "6.9306930693069315".
- 1389727 cpu_core_0 "6.9306930693069315".
- 1389813 cpu_core_0 "6.9306930693069315".
- 1391377 cpu_core_0 "6.9306930693069315".
- 1391573 cpu_core_0 "6.9306930693069315".
- 1391935 cpu_core_0 "6.9306930693069315".
- 1392280 cpu_core_0 "6.9306930693069315".
- 1392765 cpu_core_0 "6.9306930693069315".
- 1393898 cpu_core_0 "6.9306930693069315".
- 1393904 cpu_core_0 "6.9306930693069315".
- 1394461 cpu_core_0 "6.9306930693069315".
- 1394854 cpu_core_0 "6.9306930693069315".
- 1395429 cpu_core_0 "6.9306930693069315".
- 1395844 cpu_core_0 "6.9306930693069315".
- 1396284 cpu_core_0 "6.9306930693069315".
- 1397003 cpu_core_0 "6.9306930693069315".
- 1397719 cpu_core_0 "6.9306930693069315".
- 1397754 cpu_core_0 "6.9306930693069315".
- 1398080 cpu_core_0 "6.9306930693069315".
- 1398686 cpu_core_0 "6.9306930693069315".
- 1398737 cpu_core_0 "6.9306930693069315".
- 1399637 cpu_core_0 "6.9306930693069315".
- 1400114 cpu_core_0 "6.9306930693069315".
- 1400335 cpu_core_0 "6.9306930693069315".
- 1401285 cpu_core_0 "6.9306930693069315".
- 1401524 cpu_core_0 "6.9306930693069315".
- 1401796 cpu_core_0 "6.9306930693069315".
- 1402072 cpu_core_0 "6.9306930693069315".
- 1402542 cpu_core_0 "6.9306930693069315".
- 1402563 cpu_core_0 "6.9306930693069315".
- 1403027 cpu_core_0 "6.9306930693069315".
- 1403283 cpu_core_0 "6.9306930693069315".
- 1403397 cpu_core_0 "6.9306930693069315".
- 1403629 cpu_core_0 "6.9306930693069315".
- 1403804 cpu_core_0 "6.9306930693069315".
- 1404130 cpu_core_0 "6.9306930693069315".
- 1404403 cpu_core_0 "6.9306930693069315".