Matches in ISWC2014 Benchmark for { ?s ?p 5.940594059405941. }
- 1400541 cpu_core_0 "5.940594059405941".
- 1402793 cpu_core_0 "5.940594059405941".
- 140357 cpu_core_0 "5.940594059405941".
- 140488 cpu_core_0 "5.940594059405941".
- 1407699 cpu_core_0 "5.940594059405941".
- 1407778 cpu_core_0 "5.940594059405941".
- 1408031 cpu_core_0 "5.940594059405941".
- 1408984 cpu_core_0 "5.940594059405941".
- 1409024 cpu_core_0 "5.940594059405941".
- 1409783 cpu_core_0 "5.940594059405941".
- 1409880 cpu_core_0 "5.940594059405941".
- 1410671 cpu_core_0 "5.940594059405941".
- 1411747 cpu_core_0 "5.940594059405941".
- 1412604 cpu_core_0 "5.940594059405941".
- 1413070 cpu_core_0 "5.940594059405941".
- 1413072 cpu_core_0 "5.940594059405941".
- 1413524 cpu_core_0 "5.940594059405941".
- 1413928 cpu_core_0 "5.940594059405941".
- 1414305 cpu_core_0 "5.940594059405941".
- 1414436 cpu_core_0 "5.940594059405941".
- 1414438 cpu_core_0 "5.940594059405941".
- 1414738 cpu_core_0 "5.940594059405941".
- 1414914 cpu_core_0 "5.940594059405941".
- 1415195 cpu_core_0 "5.940594059405941".
- 1415217 cpu_core_0 "5.940594059405941".
- 1415288 cpu_core_0 "5.940594059405941".
- 1415481 cpu_core_0 "5.940594059405941".
- 1415727 cpu_core_0 "5.940594059405941".
- 1415854 cpu_core_0 "5.940594059405941".
- 1415877 cpu_core_0 "5.940594059405941".
- 1416079 cpu_core_0 "5.940594059405941".
- 1416239 cpu_core_0 "5.940594059405941".
- 1416282 cpu_core_0 "5.940594059405941".
- 1416324 cpu_core_0 "5.940594059405941".
- 1416454 cpu_core_0 "5.940594059405941".
- 141647 cpu_core_0 "5.940594059405941".
- 1416780 cpu_core_0 "5.940594059405941".
- 1416784 cpu_core_0 "5.940594059405941".
- 1416799 cpu_core_0 "5.940594059405941".
- 1417091 cpu_core_0 "5.940594059405941".
- 1417120 cpu_core_0 "5.940594059405941".
- 1417507 cpu_core_0 "5.940594059405941".
- 1417632 cpu_core_0 "5.940594059405941".
- 1417721 cpu_core_0 "5.940594059405941".
- 1417811 cpu_core_0 "5.940594059405941".
- 1417941 cpu_core_0 "5.940594059405941".
- 1417973 cpu_core_0 "5.940594059405941".
- 1418093 cpu_core_0 "5.940594059405941".
- 1418105 cpu_core_0 "5.940594059405941".
- 1418148 cpu_core_0 "5.940594059405941".
- 1418168 cpu_core_0 "5.940594059405941".
- 1418173 cpu_core_0 "5.940594059405941".
- 1418242 cpu_core_0 "5.940594059405941".
- 1418877 cpu_core_0 "5.940594059405941".
- 1419420 cpu_core_0 "5.940594059405941".
- 1419452 cpu_core_0 "5.940594059405941".
- 1419488 cpu_core_0 "5.940594059405941".
- 1419534 cpu_core_0 "5.940594059405941".
- 1419543 cpu_core_0 "5.940594059405941".
- 1419615 cpu_core_0 "5.940594059405941".
- 1419662 cpu_core_0 "5.940594059405941".
- 1419725 cpu_core_0 "5.940594059405941".
- 1419923 cpu_core_0 "5.940594059405941".
- 1420075 cpu_core_0 "5.940594059405941".
- 1420316 cpu_core_0 "5.940594059405941".
- 1420441 cpu_core_0 "5.940594059405941".
- 1420451 cpu_core_0 "5.940594059405941".
- 1420489 cpu_core_0 "5.940594059405941".
- 1420810 cpu_core_0 "5.940594059405941".
- 1420907 cpu_core_0 "5.940594059405941".
- 1420927 cpu_core_0 "5.940594059405941".
- 1420981 cpu_core_0 "5.940594059405941".
- 1421047 cpu_core_0 "5.940594059405941".
- 1421054 cpu_core_0 "5.940594059405941".
- 1421109 cpu_core_0 "5.940594059405941".
- 1421132 cpu_core_0 "5.940594059405941".
- 1421149 cpu_core_0 "5.940594059405941".
- 1421839 cpu_core_0 "5.940594059405941".
- 1421853 cpu_core_0 "5.940594059405941".
- 1421932 cpu_core_0 "5.940594059405941".
- 1421976 cpu_core_0 "5.940594059405941".
- 1422033 cpu_core_0 "5.940594059405941".
- 1422193 cpu_core_0 "5.940594059405941".
- 1422222 cpu_core_0 "5.940594059405941".
- 1422358 cpu_core_0 "5.940594059405941".
- 1422441 cpu_core_0 "5.940594059405941".
- 1422804 cpu_core_0 "5.940594059405941".
- 1422861 cpu_core_0 "5.940594059405941".
- 1422968 cpu_core_0 "5.940594059405941".
- 1422996 cpu_core_0 "5.940594059405941".
- 1423085 cpu_core_0 "5.940594059405941".
- 1423125 cpu_core_0 "5.940594059405941".
- 1423236 cpu_core_0 "5.940594059405941".
- 1423259 cpu_core_0 "5.940594059405941".
- 1423374 cpu_core_0 "5.940594059405941".
- 1423407 cpu_core_0 "5.940594059405941".
- 1423584 cpu_core_0 "5.940594059405941".
- 1423607 cpu_core_0 "5.940594059405941".
- 1423689 cpu_core_0 "5.940594059405941".
- 1423897 cpu_core_0 "5.940594059405941".