Matches in ISWC2014 Benchmark for { ?s ?p 6.93069306930693. }
- 1268643 cpu_core_0 "6.93069306930693".
- 1268942 cpu_core_0 "6.93069306930693".
- 1269151 cpu_core_0 "6.93069306930693".
- 1269360 cpu_core_0 "6.93069306930693".
- 1269479 cpu_core_0 "6.93069306930693".
- 1269595 cpu_core_0 "6.93069306930693".
- 1269641 cpu_core_0 "6.93069306930693".
- 1269709 cpu_core_0 "6.93069306930693".
- 1269745 cpu_core_0 "6.93069306930693".
- 1269951 cpu_core_0 "6.93069306930693".
- 1270014 cpu_core_0 "6.93069306930693".
- 1270043 cpu_core_0 "6.93069306930693".
- 1270162 cpu_core_0 "6.93069306930693".
- 1270195 cpu_core_0 "6.93069306930693".
- 1270334 cpu_core_0 "6.93069306930693".
- 1270350 cpu_core_0 "6.93069306930693".
- 1270366 cpu_core_0 "6.93069306930693".
- 1270505 cpu_core_0 "6.93069306930693".
- 1270721 cpu_core_0 "6.93069306930693".
- 1270749 cpu_core_0 "6.93069306930693".
- 1270883 cpu_core_0 "6.93069306930693".
- 1271195 cpu_core_0 "6.93069306930693".
- 1271461 cpu_core_0 "6.93069306930693".
- 1271673 cpu_core_0 "6.93069306930693".
- 1271815 cpu_core_0 "6.93069306930693".
- 1271891 cpu_core_0 "6.93069306930693".
- 1272492 cpu_core_0 "6.93069306930693".
- 1272511 cpu_core_0 "6.93069306930693".
- 1272989 cpu_core_0 "6.93069306930693".
- 1273513 cpu_core_0 "6.93069306930693".
- 1273530 cpu_core_0 "6.93069306930693".
- 1273707 cpu_core_0 "6.93069306930693".
- 1273722 cpu_core_0 "6.93069306930693".
- 1273846 cpu_core_0 "6.93069306930693".
- 1273974 cpu_core_0 "6.93069306930693".
- 1274052 cpu_core_0 "6.93069306930693".
- 1274058 cpu_core_0 "6.93069306930693".
- 1274486 cpu_core_0 "6.93069306930693".
- 1274658 cpu_core_0 "6.93069306930693".
- 1274863 cpu_core_0 "6.93069306930693".
- 1275095 cpu_core_0 "6.93069306930693".
- 1275132 cpu_core_0 "6.93069306930693".
- 1275135 cpu_core_0 "6.93069306930693".
- 1275330 cpu_core_0 "6.93069306930693".
- 1275340 cpu_core_0 "6.93069306930693".
- 1275360 cpu_core_0 "6.93069306930693".
- 1275366 cpu_core_0 "6.93069306930693".
- 1275490 cpu_core_0 "6.93069306930693".
- 1275663 cpu_core_0 "6.93069306930693".
- 1275679 cpu_core_0 "6.93069306930693".
- 1275702 cpu_core_0 "6.93069306930693".
- 1275783 cpu_core_0 "6.93069306930693".
- 1275882 cpu_core_0 "6.93069306930693".
- 1275908 cpu_core_0 "6.93069306930693".
- 1276210 cpu_core_0 "6.93069306930693".
- 1276373 cpu_core_0 "6.93069306930693".
- 1276631 cpu_core_0 "6.93069306930693".
- 1276724 cpu_core_0 "6.93069306930693".
- 1276840 cpu_core_0 "6.93069306930693".
- 1277003 cpu_core_0 "6.93069306930693".
- 1277044 cpu_core_0 "6.93069306930693".
- 1277234 cpu_core_0 "6.93069306930693".
- 1277311 cpu_core_0 "6.93069306930693".
- 1277511 cpu_core_0 "6.93069306930693".
- 1277747 cpu_core_0 "6.93069306930693".
- 1278348 cpu_core_0 "6.93069306930693".
- 1278526 cpu_core_0 "6.93069306930693".
- 1278586 cpu_core_0 "6.93069306930693".
- 1278918 cpu_core_0 "6.93069306930693".
- 1279089 cpu_core_0 "6.93069306930693".
- 1279108 cpu_core_0 "6.93069306930693".
- 1279147 cpu_core_0 "6.93069306930693".
- 1279148 cpu_core_0 "6.93069306930693".
- 1279284 cpu_core_0 "6.93069306930693".
- 1279398 cpu_core_0 "6.93069306930693".
- 1279445 cpu_core_0 "6.93069306930693".
- 1279509 cpu_core_0 "6.93069306930693".
- 1279538 cpu_core_0 "6.93069306930693".
- 1279575 cpu_core_0 "6.93069306930693".
- 1279640 cpu_core_0 "6.93069306930693".
- 1279706 cpu_core_0 "6.93069306930693".
- 1279755 cpu_core_0 "6.93069306930693".
- 1280182 cpu_core_0 "6.93069306930693".
- 1280707 cpu_core_0 "6.93069306930693".
- 1280778 cpu_core_0 "6.93069306930693".
- 1280794 cpu_core_0 "6.93069306930693".
- 1280869 cpu_core_0 "6.93069306930693".
- 1281053 cpu_core_0 "6.93069306930693".
- 1281135 cpu_core_0 "6.93069306930693".
- 1281172 cpu_core_0 "6.93069306930693".
- 128148 cpu_core_0 "6.93069306930693".
- 1281559 cpu_core_0 "6.93069306930693".
- 1281614 cpu_core_0 "6.93069306930693".
- 1281630 cpu_core_0 "6.93069306930693".
- 1281741 cpu_core_0 "6.93069306930693".
- 1281763 cpu_core_0 "6.93069306930693".
- 1281774 cpu_core_0 "6.93069306930693".
- 1281775 cpu_core_0 "6.93069306930693".
- 1281822 cpu_core_0 "6.93069306930693".
- 1282083 cpu_core_0 "6.93069306930693".