Matches in ISWC2014 Benchmark for { ?s ?p 96.00000000000001. }
- 1009056 cpu_core_0 "96.00000000000001".
- 1009064 cpu_core_0 "96.00000000000001".
- 1009098 cpu_core_0 "96.00000000000001".
- 1009105 cpu_core_0 "96.00000000000001".
- 1013904 cpu_core_0 "96.00000000000001".
- 1013969 cpu_core_0 "96.00000000000001".
- 1014043 cpu_core_0 "96.00000000000001".
- 1014100 cpu_core_0 "96.00000000000001".
- 1014106 cpu_core_0 "96.00000000000001".
- 1014357 cpu_core_0 "96.00000000000001".
- 1014392 cpu_core_0 "96.00000000000001".
- 1014440 cpu_core_0 "96.00000000000001".
- 1014534 cpu_core_0 "96.00000000000001".
- 1014549 cpu_core_0 "96.00000000000001".
- 1014661 cpu_core_0 "96.00000000000001".
- 1014699 cpu_core_0 "96.00000000000001".
- 1014779 cpu_core_0 "96.00000000000001".
- 1014796 cpu_core_0 "96.00000000000001".
- 1014944 cpu_core_0 "96.00000000000001".
- 1014955 cpu_core_0 "96.00000000000001".
- 1014974 cpu_core_0 "96.00000000000001".
- 1014979 cpu_core_0 "96.00000000000001".
- 1015020 cpu_core_0 "96.00000000000001".
- 1015148 cpu_core_0 "96.00000000000001".
- 1015168 cpu_core_0 "96.00000000000001".
- 1015253 cpu_core_0 "96.00000000000001".
- 1015270 cpu_core_0 "96.00000000000001".
- 1015344 cpu_core_0 "96.00000000000001".
- 1015352 cpu_core_0 "96.00000000000001".
- 1015434 cpu_core_0 "96.00000000000001".
- 1015511 cpu_core_0 "96.00000000000001".
- 1015574 cpu_core_0 "96.00000000000001".
- 1015581 cpu_core_0 "96.00000000000001".
- 106592 cpu_core_0 "96.00000000000001".
- 106874 cpu_core_0 "96.00000000000001".
- 106961 cpu_core_0 "96.00000000000001".
- 107003 cpu_core_0 "96.00000000000001".
- 107123 cpu_core_0 "96.00000000000001".
- 107272 cpu_core_0 "96.00000000000001".
- 107285 cpu_core_0 "96.00000000000001".
- 107373 cpu_core_0 "96.00000000000001".
- 107409 cpu_core_0 "96.00000000000001".
- 107507 cpu_core_0 "96.00000000000001".
- 107568 cpu_core_0 "96.00000000000001".
- 117773 cpu_core_0 "96.00000000000001".
- 117788 cpu_core_0 "96.00000000000001".
- 131222 cpu_core_0 "96.00000000000001".
- 131392 cpu_core_0 "96.00000000000001".
- 131556 cpu_core_0 "96.00000000000001".
- 147045 cpu_core_0 "96.00000000000001".
- 1933801 cpu_core_0 "96.00000000000001".
- 194708 cpu_core_0 "96.00000000000001".
- 194717 cpu_core_0 "96.00000000000001".
- 195025 cpu_core_0 "96.00000000000001".
- 1965023 cpu_core_0 "96.00000000000001".
- 1965175 cpu_core_0 "96.00000000000001".
- 1965178 cpu_core_0 "96.00000000000001".
- 1965234 cpu_core_0 "96.00000000000001".
- 1968634 cpu_core_0 "96.00000000000001".
- 1990420 cpu_core_0 "96.00000000000001".
- 1990697 cpu_core_0 "96.00000000000001".
- 1992425 cpu_core_0 "96.00000000000001".
- 1992457 cpu_core_0 "96.00000000000001".
- 19957 cpu_core_0 "96.00000000000001".
- 200824 cpu_core_0 "96.00000000000001".
- 2042712 cpu_core_0 "96.00000000000001".
- 2042743 cpu_core_0 "96.00000000000001".
- 2042833 cpu_core_0 "96.00000000000001".
- 2043027 cpu_core_0 "96.00000000000001".
- 2043135 cpu_core_0 "96.00000000000001".
- 2062428 cpu_core_0 "96.00000000000001".
- 208114 cpu_core_0 "96.00000000000001".
- 209681 cpu_core_0 "96.00000000000001".
- 209788 cpu_core_0 "96.00000000000001".
- 209839 cpu_core_0 "96.00000000000001".
- 209898 cpu_core_0 "96.00000000000001".
- 210045 cpu_core_0 "96.00000000000001".
- 210119 cpu_core_0 "96.00000000000001".
- 210195 cpu_core_0 "96.00000000000001".
- 210284 cpu_core_0 "96.00000000000001".
- 210352 cpu_core_0 "96.00000000000001".
- 210412 cpu_core_0 "96.00000000000001".
- 210570 cpu_core_0 "96.00000000000001".
- 210584 cpu_core_0 "96.00000000000001".
- 210618 cpu_core_0 "96.00000000000001".
- 210627 cpu_core_0 "96.00000000000001".
- 210630 cpu_core_0 "96.00000000000001".
- 210638 cpu_core_0 "96.00000000000001".
- 210664 cpu_core_0 "96.00000000000001".
- 210727 cpu_core_0 "96.00000000000001".
- 210866 cpu_core_0 "96.00000000000001".
- 210944 cpu_core_0 "96.00000000000001".
- 210963 cpu_core_0 "96.00000000000001".
- 211063 cpu_core_0 "96.00000000000001".
- 211355 cpu_core_0 "96.00000000000001".
- 211364 cpu_core_0 "96.00000000000001".
- 211384 cpu_core_0 "96.00000000000001".
- 211390 cpu_core_0 "96.00000000000001".
- 211397 cpu_core_0 "96.00000000000001".
- 211568 cpu_core_0 "96.00000000000001".