Matches in ISWC2014 Benchmark for { ?s ?p 5.940594059405941. }
- 1451596 cpu_core_0 "5.940594059405941".
- 1451599 cpu_core_0 "5.940594059405941".
- 1451730 cpu_core_0 "5.940594059405941".
- 1451775 cpu_core_0 "5.940594059405941".
- 1451994 cpu_core_0 "5.940594059405941".
- 1452228 cpu_core_0 "5.940594059405941".
- 1452335 cpu_core_0 "5.940594059405941".
- 1452504 cpu_core_0 "5.940594059405941".
- 1452772 cpu_core_0 "5.940594059405941".
- 1453027 cpu_core_0 "5.940594059405941".
- 1453187 cpu_core_0 "5.940594059405941".
- 1453255 cpu_core_0 "5.940594059405941".
- 1453511 cpu_core_0 "5.940594059405941".
- 1453605 cpu_core_0 "5.940594059405941".
- 1453619 cpu_core_0 "5.940594059405941".
- 1453702 cpu_core_0 "5.940594059405941".
- 1453906 cpu_core_0 "5.940594059405941".
- 1454360 cpu_core_0 "5.940594059405941".
- 1454504 cpu_core_0 "5.940594059405941".
- 1454569 cpu_core_0 "5.940594059405941".
- 1454632 cpu_core_0 "5.940594059405941".
- 1454787 cpu_core_0 "5.940594059405941".
- 1454854 cpu_core_0 "5.940594059405941".
- 1454881 cpu_core_0 "5.940594059405941".
- 1454895 cpu_core_0 "5.940594059405941".
- 1454987 cpu_core_0 "5.940594059405941".
- 1455076 cpu_core_0 "5.940594059405941".
- 1455188 cpu_core_0 "5.940594059405941".
- 1455209 cpu_core_0 "5.940594059405941".
- 1455259 cpu_core_0 "5.940594059405941".
- 1455416 cpu_core_0 "5.940594059405941".
- 1455456 cpu_core_0 "5.940594059405941".
- 1455646 cpu_core_0 "5.940594059405941".
- 1455682 cpu_core_0 "5.940594059405941".
- 1455887 cpu_core_0 "5.940594059405941".
- 1455986 cpu_core_0 "5.940594059405941".
- 1456126 cpu_core_0 "5.940594059405941".
- 1456148 cpu_core_0 "5.940594059405941".
- 1456184 cpu_core_0 "5.940594059405941".
- 1456320 cpu_core_0 "5.940594059405941".
- 1456375 cpu_core_0 "5.940594059405941".
- 1456460 cpu_core_0 "5.940594059405941".
- 1456644 cpu_core_0 "5.940594059405941".
- 1457059 cpu_core_0 "5.940594059405941".
- 1457221 cpu_core_0 "5.940594059405941".
- 1458184 cpu_core_0 "5.940594059405941".
- 1458263 cpu_core_0 "5.940594059405941".
- 1458472 cpu_core_0 "5.940594059405941".
- 1458501 cpu_core_0 "5.940594059405941".
- 1458513 cpu_core_0 "5.940594059405941".
- 1458530 cpu_core_0 "5.940594059405941".
- 1458686 cpu_core_0 "5.940594059405941".
- 1458851 cpu_core_0 "5.940594059405941".
- 1458869 cpu_core_0 "5.940594059405941".
- 1459169 cpu_core_0 "5.940594059405941".
- 1459241 cpu_core_0 "5.940594059405941".
- 1459303 cpu_core_0 "5.940594059405941".
- 1459554 cpu_core_0 "5.940594059405941".
- 1459640 cpu_core_0 "5.940594059405941".
- 1459822 cpu_core_0 "5.940594059405941".
- 1460459 cpu_core_0 "5.940594059405941".
- 1460590 cpu_core_0 "5.940594059405941".
- 1460709 cpu_core_0 "5.940594059405941".
- 1460767 cpu_core_0 "5.940594059405941".
- 1460875 cpu_core_0 "5.940594059405941".
- 1460967 cpu_core_0 "5.940594059405941".
- 1461087 cpu_core_0 "5.940594059405941".
- 1461132 cpu_core_0 "5.940594059405941".
- 1461285 cpu_core_0 "5.940594059405941".
- 1461319 cpu_core_0 "5.940594059405941".
- 1461407 cpu_core_0 "5.940594059405941".
- 1461660 cpu_core_0 "5.940594059405941".
- 1461716 cpu_core_0 "5.940594059405941".
- 1461804 cpu_core_0 "5.940594059405941".
- 1461955 cpu_core_0 "5.940594059405941".
- 1462070 cpu_core_0 "5.940594059405941".
- 1462393 cpu_core_0 "5.940594059405941".
- 1462704 cpu_core_0 "5.940594059405941".
- 1462743 cpu_core_0 "5.940594059405941".
- 1462769 cpu_core_0 "5.940594059405941".
- 1462822 cpu_core_0 "5.940594059405941".
- 1463217 cpu_core_0 "5.940594059405941".
- 1463234 cpu_core_0 "5.940594059405941".
- 1463331 cpu_core_0 "5.940594059405941".
- 1463510 cpu_core_0 "5.940594059405941".
- 1463728 cpu_core_0 "5.940594059405941".
- 1463792 cpu_core_0 "5.940594059405941".
- 1463795 cpu_core_0 "5.940594059405941".
- 1463814 cpu_core_0 "5.940594059405941".
- 1464403 cpu_core_0 "5.940594059405941".
- 1464445 cpu_core_0 "5.940594059405941".
- 1464481 cpu_core_0 "5.940594059405941".
- 1464712 cpu_core_0 "5.940594059405941".
- 1464793 cpu_core_0 "5.940594059405941".
- 1464846 cpu_core_0 "5.940594059405941".
- 1464890 cpu_core_0 "5.940594059405941".
- 1464933 cpu_core_0 "5.940594059405941".
- 1464978 cpu_core_0 "5.940594059405941".
- 1465110 cpu_core_0 "5.940594059405941".
- 1465270 cpu_core_0 "5.940594059405941".