Matches in ISWC2014 Benchmark for { ?s ?p 56.00000000000001. }
- 1689315 cpu_core_0 "56.00000000000001".
- 1689583 cpu_core_0 "56.00000000000001".
- 1689598 cpu_core_0 "56.00000000000001".
- 1689619 cpu_core_0 "56.00000000000001".
- 1689688 cpu_core_0 "56.00000000000001".
- 1689751 cpu_core_0 "56.00000000000001".
- 1689787 cpu_core_0 "56.00000000000001".
- 1689914 cpu_core_0 "56.00000000000001".
- 1690069 cpu_core_0 "56.00000000000001".
- 1690363 cpu_core_0 "56.00000000000001".
- 1690370 cpu_core_0 "56.00000000000001".
- 1690371 cpu_core_0 "56.00000000000001".
- 1690389 cpu_core_0 "56.00000000000001".
- 1690664 cpu_core_0 "56.00000000000001".
- 1690969 cpu_core_0 "56.00000000000001".
- 1691077 cpu_core_0 "56.00000000000001".
- 1691156 cpu_core_0 "56.00000000000001".
- 1691166 cpu_core_0 "56.00000000000001".
- 1691345 cpu_core_0 "56.00000000000001".
- 1691729 cpu_core_0 "56.00000000000001".
- 1691781 cpu_core_0 "56.00000000000001".
- 1691815 cpu_core_0 "56.00000000000001".
- 1691917 cpu_core_0 "56.00000000000001".
- 1691974 cpu_core_0 "56.00000000000001".
- 1692005 cpu_core_0 "56.00000000000001".
- 1692068 cpu_core_0 "56.00000000000001".
- 1692169 cpu_core_0 "56.00000000000001".
- 1692172 cpu_core_0 "56.00000000000001".
- 1692664 cpu_core_0 "56.00000000000001".
- 1692782 cpu_core_0 "56.00000000000001".
- 1692849 cpu_core_0 "56.00000000000001".
- 1692985 cpu_core_0 "56.00000000000001".
- 1693043 cpu_core_0 "56.00000000000001".
- 1693103 cpu_core_0 "56.00000000000001".
- 1695401 cpu_core_0 "56.00000000000001".
- 1695513 cpu_core_0 "56.00000000000001".
- 1695551 cpu_core_0 "56.00000000000001".
- 1695600 cpu_core_0 "56.00000000000001".
- 1695617 cpu_core_0 "56.00000000000001".
- 1695754 cpu_core_0 "56.00000000000001".
- 1695791 cpu_core_0 "56.00000000000001".
- 1695795 cpu_core_0 "56.00000000000001".
- 1695860 cpu_core_0 "56.00000000000001".
- 1696098 cpu_core_0 "56.00000000000001".
- 1696118 cpu_core_0 "56.00000000000001".
- 1696120 cpu_core_0 "56.00000000000001".
- 1696278 cpu_core_0 "56.00000000000001".
- 1696590 cpu_core_0 "56.00000000000001".
- 1696591 cpu_core_0 "56.00000000000001".
- 1696693 cpu_core_0 "56.00000000000001".
- 1696738 cpu_core_0 "56.00000000000001".
- 1696743 cpu_core_0 "56.00000000000001".
- 1696787 cpu_core_0 "56.00000000000001".
- 1696789 cpu_core_0 "56.00000000000001".
- 1696799 cpu_core_0 "56.00000000000001".
- 1696849 cpu_core_0 "56.00000000000001".
- 1696864 cpu_core_0 "56.00000000000001".
- 1696899 cpu_core_0 "56.00000000000001".
- 1696917 cpu_core_0 "56.00000000000001".
- 1696936 cpu_core_0 "56.00000000000001".
- 1696953 cpu_core_0 "56.00000000000001".
- 1697056 cpu_core_0 "56.00000000000001".
- 1697165 cpu_core_0 "56.00000000000001".
- 1697174 cpu_core_0 "56.00000000000001".
- 1697185 cpu_core_0 "56.00000000000001".
- 1697246 cpu_core_0 "56.00000000000001".
- 1697251 cpu_core_0 "56.00000000000001".
- 1697254 cpu_core_0 "56.00000000000001".
- 1697296 cpu_core_0 "56.00000000000001".
- 1697308 cpu_core_0 "56.00000000000001".
- 1697350 cpu_core_0 "56.00000000000001".
- 1697374 cpu_core_0 "56.00000000000001".
- 1697461 cpu_core_0 "56.00000000000001".
- 1697500 cpu_core_0 "56.00000000000001".
- 1698038 cpu_core_0 "56.00000000000001".
- 1698167 cpu_core_0 "56.00000000000001".
- 1698210 cpu_core_0 "56.00000000000001".
- 1698278 cpu_core_0 "56.00000000000001".
- 1698288 cpu_core_0 "56.00000000000001".
- 1699013 cpu_core_0 "56.00000000000001".
- 1699032 cpu_core_0 "56.00000000000001".
- 1699063 cpu_core_0 "56.00000000000001".
- 1699127 cpu_core_0 "56.00000000000001".
- 1699138 cpu_core_0 "56.00000000000001".
- 1699225 cpu_core_0 "56.00000000000001".
- 1699252 cpu_core_0 "56.00000000000001".
- 1699515 cpu_core_0 "56.00000000000001".
- 1699950 cpu_core_0 "56.00000000000001".
- 1700034 cpu_core_0 "56.00000000000001".
- 1700037 cpu_core_0 "56.00000000000001".
- 1700039 cpu_core_0 "56.00000000000001".
- 1700462 cpu_core_0 "56.00000000000001".
- 1700468 cpu_core_0 "56.00000000000001".
- 1700478 cpu_core_0 "56.00000000000001".
- 1700735 cpu_core_0 "56.00000000000001".
- 1700809 cpu_core_0 "56.00000000000001".
- 1701043 cpu_core_0 "56.00000000000001".
- 1701839 cpu_core_0 "56.00000000000001".
- 1701865 cpu_core_0 "56.00000000000001".
- 1701866 cpu_core_0 "56.00000000000001".