Matches in ISWC2014 Benchmark for { ?s ?p 5.9405940594059405. }
- 2042438 cpu_core_0 "5.9405940594059405".
- 2042448 cpu_core_0 "5.9405940594059405".
- 2042450 cpu_core_0 "5.9405940594059405".
- 2042463 cpu_core_0 "5.9405940594059405".
- 2042517 cpu_core_0 "5.9405940594059405".
- 2042533 cpu_core_0 "5.9405940594059405".
- 2042537 cpu_core_0 "5.9405940594059405".
- 2042541 cpu_core_0 "5.9405940594059405".
- 2042549 cpu_core_0 "5.9405940594059405".
- 2042557 cpu_core_0 "5.9405940594059405".
- 2042568 cpu_core_0 "5.9405940594059405".
- 2042574 cpu_core_0 "5.9405940594059405".
- 2042580 cpu_core_0 "5.9405940594059405".
- 2042611 cpu_core_0 "5.9405940594059405".
- 2051399 cpu_core_0 "5.9405940594059405".
- 2051426 cpu_core_0 "5.9405940594059405".
- 2051561 cpu_core_0 "5.9405940594059405".
- 2051589 cpu_core_0 "5.9405940594059405".
- 2061964 cpu_core_0 "5.9405940594059405".
- 2061985 cpu_core_0 "5.9405940594059405".
- 2062093 cpu_core_0 "5.9405940594059405".
- 2062131 cpu_core_0 "5.9405940594059405".
- 2062780 cpu_core_0 "5.9405940594059405".
- 2064391 cpu_core_0 "5.9405940594059405".
- 2064454 cpu_core_0 "5.9405940594059405".
- 2066478 cpu_core_0 "5.9405940594059405".
- 2066508 cpu_core_0 "5.9405940594059405".
- 2066981 cpu_core_0 "5.9405940594059405".
- 2069441 cpu_core_0 "5.9405940594059405".
- 2069588 cpu_core_0 "5.9405940594059405".
- 2070009 cpu_core_0 "5.9405940594059405".
- 2070156 cpu_core_0 "5.9405940594059405".
- 2072876 cpu_core_0 "5.9405940594059405".
- 2073136 cpu_core_0 "5.9405940594059405".
- 2073649 cpu_core_0 "5.9405940594059405".
- 2075849 cpu_core_0 "5.9405940594059405".
- 2075956 cpu_core_0 "5.9405940594059405".
- 2076613 cpu_core_0 "5.9405940594059405".
- 2076894 cpu_core_0 "5.9405940594059405".
- 2077170 cpu_core_0 "5.9405940594059405".
- 2077208 cpu_core_0 "5.9405940594059405".
- 2077232 cpu_core_0 "5.9405940594059405".
- 2077314 cpu_core_0 "5.9405940594059405".
- 2077715 cpu_core_0 "5.9405940594059405".
- 2077865 cpu_core_0 "5.9405940594059405".
- 208867 cpu_core_0 "5.9405940594059405".
- 218792 cpu_core_0 "5.9405940594059405".
- 222523 cpu_core_0 "5.9405940594059405".
- 222544 cpu_core_0 "5.9405940594059405".
- 222596 cpu_core_0 "5.9405940594059405".
- 222600 cpu_core_0 "5.9405940594059405".
- 223097 cpu_core_0 "5.9405940594059405".
- 223222 cpu_core_0 "5.9405940594059405".
- 232318 cpu_core_0 "5.9405940594059405".
- 232379 cpu_core_0 "5.9405940594059405".
- 232384 cpu_core_0 "5.9405940594059405".
- 232510 cpu_core_0 "5.9405940594059405".
- 247883 cpu_core_0 "5.9405940594059405".
- 257167 cpu_core_0 "5.9405940594059405".
- 260378 cpu_core_0 "5.9405940594059405".
- 260530 cpu_core_0 "5.9405940594059405".
- 26711 cpu_core_0 "5.9405940594059405".
- 268748 cpu_core_0 "5.9405940594059405".
- 268904 cpu_core_0 "5.9405940594059405".
- 274687 cpu_core_0 "5.9405940594059405".
- 279884 cpu_core_0 "5.9405940594059405".
- 281043 cpu_core_0 "5.9405940594059405".
- 282739 cpu_core_0 "5.9405940594059405".
- 282883 cpu_core_0 "5.9405940594059405".
- 286641 cpu_core_0 "5.9405940594059405".
- 286694 cpu_core_0 "5.9405940594059405".
- 286715 cpu_core_0 "5.9405940594059405".
- 286771 cpu_core_0 "5.9405940594059405".
- 286831 cpu_core_0 "5.9405940594059405".
- 287069 cpu_core_0 "5.9405940594059405".
- 294832 cpu_core_0 "5.9405940594059405".
- 294834 cpu_core_0 "5.9405940594059405".
- 294838 cpu_core_0 "5.9405940594059405".
- 295782 cpu_core_0 "5.9405940594059405".
- 295859 cpu_core_0 "5.9405940594059405".
- 295871 cpu_core_0 "5.9405940594059405".
- 295888 cpu_core_0 "5.9405940594059405".
- 295890 cpu_core_0 "5.9405940594059405".
- 295976 cpu_core_0 "5.9405940594059405".
- 296006 cpu_core_0 "5.9405940594059405".
- 296046 cpu_core_0 "5.9405940594059405".
- 296096 cpu_core_0 "5.9405940594059405".
- 301093 cpu_core_0 "5.9405940594059405".
- 303080 cpu_core_0 "5.9405940594059405".
- 306509 cpu_core_0 "5.9405940594059405".
- 307466 cpu_core_0 "5.9405940594059405".
- 310331 cpu_core_0 "5.9405940594059405".
- 311263 cpu_core_0 "5.9405940594059405".
- 31165 cpu_core_0 "5.9405940594059405".
- 31287 cpu_core_0 "5.9405940594059405".
- 313149 cpu_core_0 "5.9405940594059405".
- 316226 cpu_core_0 "5.9405940594059405".
- 322549 cpu_core_0 "5.9405940594059405".
- 324254 cpu_core_0 "5.9405940594059405".
- 324279 cpu_core_0 "5.9405940594059405".