Matches in ISWC2014 Benchmark for { ?s ?p 5.940594059405941. }
- 1478393 cpu_core_0 "5.940594059405941".
- 1478407 cpu_core_0 "5.940594059405941".
- 1478467 cpu_core_0 "5.940594059405941".
- 147862 cpu_core_0 "5.940594059405941".
- 1478787 cpu_core_0 "5.940594059405941".
- 1478813 cpu_core_0 "5.940594059405941".
- 1478978 cpu_core_0 "5.940594059405941".
- 1479076 cpu_core_0 "5.940594059405941".
- 1479353 cpu_core_0 "5.940594059405941".
- 1479601 cpu_core_0 "5.940594059405941".
- 1479744 cpu_core_0 "5.940594059405941".
- 1479747 cpu_core_0 "5.940594059405941".
- 1479752 cpu_core_0 "5.940594059405941".
- 1479790 cpu_core_0 "5.940594059405941".
- 1480047 cpu_core_0 "5.940594059405941".
- 1480195 cpu_core_0 "5.940594059405941".
- 1480254 cpu_core_0 "5.940594059405941".
- 1480386 cpu_core_0 "5.940594059405941".
- 148042 cpu_core_0 "5.940594059405941".
- 1480563 cpu_core_0 "5.940594059405941".
- 148105 cpu_core_0 "5.940594059405941".
- 148113 cpu_core_0 "5.940594059405941".
- 1481193 cpu_core_0 "5.940594059405941".
- 1481262 cpu_core_0 "5.940594059405941".
- 1481273 cpu_core_0 "5.940594059405941".
- 1481320 cpu_core_0 "5.940594059405941".
- 1481648 cpu_core_0 "5.940594059405941".
- 1481696 cpu_core_0 "5.940594059405941".
- 1481705 cpu_core_0 "5.940594059405941".
- 1481747 cpu_core_0 "5.940594059405941".
- 1481817 cpu_core_0 "5.940594059405941".
- 1481887 cpu_core_0 "5.940594059405941".
- 1481916 cpu_core_0 "5.940594059405941".
- 1481959 cpu_core_0 "5.940594059405941".
- 1481964 cpu_core_0 "5.940594059405941".
- 1482101 cpu_core_0 "5.940594059405941".
- 1482214 cpu_core_0 "5.940594059405941".
- 1482390 cpu_core_0 "5.940594059405941".
- 1482477 cpu_core_0 "5.940594059405941".
- 1482556 cpu_core_0 "5.940594059405941".
- 1482691 cpu_core_0 "5.940594059405941".
- 1482785 cpu_core_0 "5.940594059405941".
- 1482968 cpu_core_0 "5.940594059405941".
- 1483119 cpu_core_0 "5.940594059405941".
- 1483218 cpu_core_0 "5.940594059405941".
- 1483452 cpu_core_0 "5.940594059405941".
- 1483472 cpu_core_0 "5.940594059405941".
- 1483657 cpu_core_0 "5.940594059405941".
- 1483755 cpu_core_0 "5.940594059405941".
- 1484115 cpu_core_0 "5.940594059405941".
- 1484197 cpu_core_0 "5.940594059405941".
- 1484222 cpu_core_0 "5.940594059405941".
- 1484468 cpu_core_0 "5.940594059405941".
- 148457 cpu_core_0 "5.940594059405941".
- 1484588 cpu_core_0 "5.940594059405941".
- 1484592 cpu_core_0 "5.940594059405941".
- 1484778 cpu_core_0 "5.940594059405941".
- 1484934 cpu_core_0 "5.940594059405941".
- 1484991 cpu_core_0 "5.940594059405941".
- 1485270 cpu_core_0 "5.940594059405941".
- 1485486 cpu_core_0 "5.940594059405941".
- 1485500 cpu_core_0 "5.940594059405941".
- 1485519 cpu_core_0 "5.940594059405941".
- 1485561 cpu_core_0 "5.940594059405941".
- 1485574 cpu_core_0 "5.940594059405941".
- 1485811 cpu_core_0 "5.940594059405941".
- 1485909 cpu_core_0 "5.940594059405941".
- 1486033 cpu_core_0 "5.940594059405941".
- 1486089 cpu_core_0 "5.940594059405941".
- 1486191 cpu_core_0 "5.940594059405941".
- 1486458 cpu_core_0 "5.940594059405941".
- 1486514 cpu_core_0 "5.940594059405941".
- 1486712 cpu_core_0 "5.940594059405941".
- 1486787 cpu_core_0 "5.940594059405941".
- 1486866 cpu_core_0 "5.940594059405941".
- 1487076 cpu_core_0 "5.940594059405941".
- 1487100 cpu_core_0 "5.940594059405941".
- 1487283 cpu_core_0 "5.940594059405941".
- 1487287 cpu_core_0 "5.940594059405941".
- 1487352 cpu_core_0 "5.940594059405941".
- 1487354 cpu_core_0 "5.940594059405941".
- 1487363 cpu_core_0 "5.940594059405941".
- 1487648 cpu_core_0 "5.940594059405941".
- 1487667 cpu_core_0 "5.940594059405941".
- 1487742 cpu_core_0 "5.940594059405941".
- 1488517 cpu_core_0 "5.940594059405941".
- 1488715 cpu_core_0 "5.940594059405941".
- 1488726 cpu_core_0 "5.940594059405941".
- 1488774 cpu_core_0 "5.940594059405941".
- 1489144 cpu_core_0 "5.940594059405941".
- 1489325 cpu_core_0 "5.940594059405941".
- 1489329 cpu_core_0 "5.940594059405941".
- 1489646 cpu_core_0 "5.940594059405941".
- 1489839 cpu_core_0 "5.940594059405941".
- 1490007 cpu_core_0 "5.940594059405941".
- 1490065 cpu_core_0 "5.940594059405941".
- 1490203 cpu_core_0 "5.940594059405941".
- 1490317 cpu_core_0 "5.940594059405941".
- 1490380 cpu_core_0 "5.940594059405941".
- 1490441 cpu_core_0 "5.940594059405941".