Matches in ISWC2014 Benchmark for { ?s ?p 5.940594059405941. }
- 1490455 cpu_core_0 "5.940594059405941".
- 1490747 cpu_core_0 "5.940594059405941".
- 1490764 cpu_core_0 "5.940594059405941".
- 1491017 cpu_core_0 "5.940594059405941".
- 1491071 cpu_core_0 "5.940594059405941".
- 1491117 cpu_core_0 "5.940594059405941".
- 1491151 cpu_core_0 "5.940594059405941".
- 1491303 cpu_core_0 "5.940594059405941".
- 1491374 cpu_core_0 "5.940594059405941".
- 1491440 cpu_core_0 "5.940594059405941".
- 1491528 cpu_core_0 "5.940594059405941".
- 1492259 cpu_core_0 "5.940594059405941".
- 1492369 cpu_core_0 "5.940594059405941".
- 1492415 cpu_core_0 "5.940594059405941".
- 1492439 cpu_core_0 "5.940594059405941".
- 1492548 cpu_core_0 "5.940594059405941".
- 1492727 cpu_core_0 "5.940594059405941".
- 1492747 cpu_core_0 "5.940594059405941".
- 1492779 cpu_core_0 "5.940594059405941".
- 1492876 cpu_core_0 "5.940594059405941".
- 1492899 cpu_core_0 "5.940594059405941".
- 1492954 cpu_core_0 "5.940594059405941".
- 1493623 cpu_core_0 "5.940594059405941".
- 1493749 cpu_core_0 "5.940594059405941".
- 1493931 cpu_core_0 "5.940594059405941".
- 1493951 cpu_core_0 "5.940594059405941".
- 1494141 cpu_core_0 "5.940594059405941".
- 1494146 cpu_core_0 "5.940594059405941".
- 1494405 cpu_core_0 "5.940594059405941".
- 1494956 cpu_core_0 "5.940594059405941".
- 1495124 cpu_core_0 "5.940594059405941".
- 1495200 cpu_core_0 "5.940594059405941".
- 1495284 cpu_core_0 "5.940594059405941".
- 1495341 cpu_core_0 "5.940594059405941".
- 1495560 cpu_core_0 "5.940594059405941".
- 1495635 cpu_core_0 "5.940594059405941".
- 1495712 cpu_core_0 "5.940594059405941".
- 1495762 cpu_core_0 "5.940594059405941".
- 1495999 cpu_core_0 "5.940594059405941".
- 1496024 cpu_core_0 "5.940594059405941".
- 1496080 cpu_core_0 "5.940594059405941".
- 1496263 cpu_core_0 "5.940594059405941".
- 1496272 cpu_core_0 "5.940594059405941".
- 1496427 cpu_core_0 "5.940594059405941".
- 1496714 cpu_core_0 "5.940594059405941".
- 1496791 cpu_core_0 "5.940594059405941".
- 1497114 cpu_core_0 "5.940594059405941".
- 1497230 cpu_core_0 "5.940594059405941".
- 1497350 cpu_core_0 "5.940594059405941".
- 1497351 cpu_core_0 "5.940594059405941".
- 1497582 cpu_core_0 "5.940594059405941".
- 1497758 cpu_core_0 "5.940594059405941".
- 1497825 cpu_core_0 "5.940594059405941".
- 1497901 cpu_core_0 "5.940594059405941".
- 1498044 cpu_core_0 "5.940594059405941".
- 1498244 cpu_core_0 "5.940594059405941".
- 1498350 cpu_core_0 "5.940594059405941".
- 1498486 cpu_core_0 "5.940594059405941".
- 1498636 cpu_core_0 "5.940594059405941".
- 1498875 cpu_core_0 "5.940594059405941".
- 1499058 cpu_core_0 "5.940594059405941".
- 1499145 cpu_core_0 "5.940594059405941".
- 1499229 cpu_core_0 "5.940594059405941".
- 1499281 cpu_core_0 "5.940594059405941".
- 1499836 cpu_core_0 "5.940594059405941".
- 1499970 cpu_core_0 "5.940594059405941".
- 1500086 cpu_core_0 "5.940594059405941".
- 1500300 cpu_core_0 "5.940594059405941".
- 1500344 cpu_core_0 "5.940594059405941".
- 1500480 cpu_core_0 "5.940594059405941".
- 1501012 cpu_core_0 "5.940594059405941".
- 1501021 cpu_core_0 "5.940594059405941".
- 1501379 cpu_core_0 "5.940594059405941".
- 1501468 cpu_core_0 "5.940594059405941".
- 1501593 cpu_core_0 "5.940594059405941".
- 1501626 cpu_core_0 "5.940594059405941".
- 1501955 cpu_core_0 "5.940594059405941".
- 1502027 cpu_core_0 "5.940594059405941".
- 1502116 cpu_core_0 "5.940594059405941".
- 1502442 cpu_core_0 "5.940594059405941".
- 1502727 cpu_core_0 "5.940594059405941".
- 1503019 cpu_core_0 "5.940594059405941".
- 1503089 cpu_core_0 "5.940594059405941".
- 1503170 cpu_core_0 "5.940594059405941".
- 1503419 cpu_core_0 "5.940594059405941".
- 1503546 cpu_core_0 "5.940594059405941".
- 1503622 cpu_core_0 "5.940594059405941".
- 1503657 cpu_core_0 "5.940594059405941".
- 1503764 cpu_core_0 "5.940594059405941".
- 1503815 cpu_core_0 "5.940594059405941".
- 1503923 cpu_core_0 "5.940594059405941".
- 1503962 cpu_core_0 "5.940594059405941".
- 1503996 cpu_core_0 "5.940594059405941".
- 1504046 cpu_core_0 "5.940594059405941".
- 1504259 cpu_core_0 "5.940594059405941".
- 1504571 cpu_core_0 "5.940594059405941".
- 1504583 cpu_core_0 "5.940594059405941".
- 1504695 cpu_core_0 "5.940594059405941".
- 1504777 cpu_core_0 "5.940594059405941".
- 1504823 cpu_core_0 "5.940594059405941".