Matches in ISWC2014 Benchmark for { ?s ?p 55.00000000000001. }
- 1700603 cpu_core_0 "55.00000000000001".
- 1700665 cpu_core_0 "55.00000000000001".
- 1700940 cpu_core_0 "55.00000000000001".
- 1701240 cpu_core_0 "55.00000000000001".
- 1701387 cpu_core_0 "55.00000000000001".
- 1701553 cpu_core_0 "55.00000000000001".
- 1701555 cpu_core_0 "55.00000000000001".
- 1701573 cpu_core_0 "55.00000000000001".
- 1701615 cpu_core_0 "55.00000000000001".
- 1701617 cpu_core_0 "55.00000000000001".
- 1701894 cpu_core_0 "55.00000000000001".
- 1701925 cpu_core_0 "55.00000000000001".
- 1701994 cpu_core_0 "55.00000000000001".
- 1701995 cpu_core_0 "55.00000000000001".
- 1702101 cpu_core_0 "55.00000000000001".
- 1702253 cpu_core_0 "55.00000000000001".
- 1702262 cpu_core_0 "55.00000000000001".
- 1702305 cpu_core_0 "55.00000000000001".
- 1702310 cpu_core_0 "55.00000000000001".
- 1702349 cpu_core_0 "55.00000000000001".
- 1702375 cpu_core_0 "55.00000000000001".
- 1702431 cpu_core_0 "55.00000000000001".
- 1702599 cpu_core_0 "55.00000000000001".
- 1703056 cpu_core_0 "55.00000000000001".
- 1703161 cpu_core_0 "55.00000000000001".
- 1703207 cpu_core_0 "55.00000000000001".
- 1703221 cpu_core_0 "55.00000000000001".
- 1703261 cpu_core_0 "55.00000000000001".
- 1703551 cpu_core_0 "55.00000000000001".
- 1703822 cpu_core_0 "55.00000000000001".
- 1703838 cpu_core_0 "55.00000000000001".
- 1703883 cpu_core_0 "55.00000000000001".
- 1704167 cpu_core_0 "55.00000000000001".
- 1704179 cpu_core_0 "55.00000000000001".
- 1704224 cpu_core_0 "55.00000000000001".
- 1704251 cpu_core_0 "55.00000000000001".
- 1704342 cpu_core_0 "55.00000000000001".
- 1704443 cpu_core_0 "55.00000000000001".
- 1704523 cpu_core_0 "55.00000000000001".
- 1704781 cpu_core_0 "55.00000000000001".
- 1705044 cpu_core_0 "55.00000000000001".
- 1705319 cpu_core_0 "55.00000000000001".
- 1705395 cpu_core_0 "55.00000000000001".
- 1705928 cpu_core_0 "55.00000000000001".
- 1705944 cpu_core_0 "55.00000000000001".
- 1705966 cpu_core_0 "55.00000000000001".
- 1705986 cpu_core_0 "55.00000000000001".
- 1705988 cpu_core_0 "55.00000000000001".
- 1706001 cpu_core_0 "55.00000000000001".
- 1706160 cpu_core_0 "55.00000000000001".
- 1706161 cpu_core_0 "55.00000000000001".
- 1706178 cpu_core_0 "55.00000000000001".
- 1706535 cpu_core_0 "55.00000000000001".
- 1706743 cpu_core_0 "55.00000000000001".
- 1706754 cpu_core_0 "55.00000000000001".
- 1706805 cpu_core_0 "55.00000000000001".
- 1706992 cpu_core_0 "55.00000000000001".
- 1707028 cpu_core_0 "55.00000000000001".
- 1707045 cpu_core_0 "55.00000000000001".
- 1707102 cpu_core_0 "55.00000000000001".
- 1707103 cpu_core_0 "55.00000000000001".
- 1707149 cpu_core_0 "55.00000000000001".
- 1707202 cpu_core_0 "55.00000000000001".
- 1707467 cpu_core_0 "55.00000000000001".
- 1707792 cpu_core_0 "55.00000000000001".
- 1707826 cpu_core_0 "55.00000000000001".
- 1707903 cpu_core_0 "55.00000000000001".
- 1708007 cpu_core_0 "55.00000000000001".
- 1708297 cpu_core_0 "55.00000000000001".
- 1708298 cpu_core_0 "55.00000000000001".
- 1708300 cpu_core_0 "55.00000000000001".
- 1708312 cpu_core_0 "55.00000000000001".
- 1708345 cpu_core_0 "55.00000000000001".
- 1708374 cpu_core_0 "55.00000000000001".
- 1708378 cpu_core_0 "55.00000000000001".
- 1708474 cpu_core_0 "55.00000000000001".
- 1708492 cpu_core_0 "55.00000000000001".
- 1708511 cpu_core_0 "55.00000000000001".
- 1708538 cpu_core_0 "55.00000000000001".
- 1708539 cpu_core_0 "55.00000000000001".
- 1708608 cpu_core_0 "55.00000000000001".
- 1708611 cpu_core_0 "55.00000000000001".
- 1708624 cpu_core_0 "55.00000000000001".
- 1708667 cpu_core_0 "55.00000000000001".
- 1708696 cpu_core_0 "55.00000000000001".
- 1708698 cpu_core_0 "55.00000000000001".
- 1708705 cpu_core_0 "55.00000000000001".
- 1708709 cpu_core_0 "55.00000000000001".
- 1708742 cpu_core_0 "55.00000000000001".
- 1708764 cpu_core_0 "55.00000000000001".
- 1708788 cpu_core_0 "55.00000000000001".
- 1709110 cpu_core_0 "55.00000000000001".
- 1709132 cpu_core_0 "55.00000000000001".
- 1709167 cpu_core_0 "55.00000000000001".
- 1709254 cpu_core_0 "55.00000000000001".
- 1709271 cpu_core_0 "55.00000000000001".
- 1709286 cpu_core_0 "55.00000000000001".
- 1709304 cpu_core_0 "55.00000000000001".
- 1709345 cpu_core_0 "55.00000000000001".
- 1709564 cpu_core_0 "55.00000000000001".