Matches in ISWC2014 Benchmark for { ?s ?p 87.00000000000001. }
- 1001522 cpu_core_0 "87.00000000000001".
- 1002770 cpu_core_0 "87.00000000000001".
- 1002774 cpu_core_0 "87.00000000000001".
- 1002855 cpu_core_0 "87.00000000000001".
- 1003155 cpu_core_0 "87.00000000000001".
- 1003391 cpu_core_0 "87.00000000000001".
- 1003531 cpu_core_0 "87.00000000000001".
- 1003799 cpu_core_0 "87.00000000000001".
- 1003811 cpu_core_0 "87.00000000000001".
- 1004078 cpu_core_0 "87.00000000000001".
- 1004569 cpu_core_0 "87.00000000000001".
- 1004957 cpu_core_0 "87.00000000000001".
- 1005151 cpu_core_0 "87.00000000000001".
- 1006941 cpu_core_0 "87.00000000000001".
- 1007077 cpu_core_0 "87.00000000000001".
- 1008132 cpu_core_0 "87.00000000000001".
- 1009002 cpu_core_0 "87.00000000000001".
- 1013602 cpu_core_0 "87.00000000000001".
- 1014667 cpu_core_0 "87.00000000000001".
- 1015200 cpu_core_0 "87.00000000000001".
- 1107926 cpu_core_0 "87.00000000000001".
- 210364 cpu_core_0 "87.00000000000001".
- 210580 cpu_core_0 "87.00000000000001".
- 213703 cpu_core_0 "87.00000000000001".
- 214294 cpu_core_0 "87.00000000000001".
- 214894 cpu_core_0 "87.00000000000001".
- 215063 cpu_core_0 "87.00000000000001".
- 216965 cpu_core_0 "87.00000000000001".
- 217056 cpu_core_0 "87.00000000000001".
- 224288 cpu_core_0 "87.00000000000001".
- 227251 cpu_core_0 "87.00000000000001".
- 228068 cpu_core_0 "87.00000000000001".
- 228911 cpu_core_0 "87.00000000000001".
- 230041 cpu_core_0 "87.00000000000001".
- 230120 cpu_core_0 "87.00000000000001".
- 230310 cpu_core_0 "87.00000000000001".
- 241974 cpu_core_0 "87.00000000000001".
- 247033 cpu_core_0 "87.00000000000001".
- 248377 cpu_core_0 "87.00000000000001".
- 249245 cpu_core_0 "87.00000000000001".
- 249807 cpu_core_0 "87.00000000000001".
- 249958 cpu_core_0 "87.00000000000001".
- 250241 cpu_core_0 "87.00000000000001".
- 250299 cpu_core_0 "87.00000000000001".
- 250615 cpu_core_0 "87.00000000000001".
- 250689 cpu_core_0 "87.00000000000001".
- 250942 cpu_core_0 "87.00000000000001".
- 251012 cpu_core_0 "87.00000000000001".
- 251851 cpu_core_0 "87.00000000000001".
- 252416 cpu_core_0 "87.00000000000001".
- 255221 cpu_core_0 "87.00000000000001".
- 262623 cpu_core_0 "87.00000000000001".
- 266476 cpu_core_0 "87.00000000000001".
- 267347 cpu_core_0 "87.00000000000001".
- 267526 cpu_core_0 "87.00000000000001".
- 269381 cpu_core_0 "87.00000000000001".
- 271106 cpu_core_0 "87.00000000000001".
- 272520 cpu_core_0 "87.00000000000001".
- 272673 cpu_core_0 "87.00000000000001".
- 273866 cpu_core_0 "87.00000000000001".
- 277599 cpu_core_0 "87.00000000000001".
- 279179 cpu_core_0 "87.00000000000001".
- 297788 cpu_core_0 "87.00000000000001".
- 311730 cpu_core_0 "87.00000000000001".
- 315805 cpu_core_0 "87.00000000000001".
- 319002 cpu_core_0 "87.00000000000001".
- 324053 cpu_core_0 "87.00000000000001".
- 341137 cpu_core_0 "87.00000000000001".
- 343574 cpu_core_0 "87.00000000000001".
- 359107 cpu_core_0 "87.00000000000001".
- 366886 cpu_core_0 "87.00000000000001".
- 367206 cpu_core_0 "87.00000000000001".
- 367641 cpu_core_0 "87.00000000000001".
- 367785 cpu_core_0 "87.00000000000001".
- 368382 cpu_core_0 "87.00000000000001".
- 369316 cpu_core_0 "87.00000000000001".
- 369443 cpu_core_0 "87.00000000000001".
- 369816 cpu_core_0 "87.00000000000001".
- 370221 cpu_core_0 "87.00000000000001".
- 370307 cpu_core_0 "87.00000000000001".
- 372766 cpu_core_0 "87.00000000000001".
- 372942 cpu_core_0 "87.00000000000001".
- 373910 cpu_core_0 "87.00000000000001".
- 374141 cpu_core_0 "87.00000000000001".
- 374858 cpu_core_0 "87.00000000000001".
- 375748 cpu_core_0 "87.00000000000001".
- 376774 cpu_core_0 "87.00000000000001".
- 376962 cpu_core_0 "87.00000000000001".
- 377931 cpu_core_0 "87.00000000000001".
- 378909 cpu_core_0 "87.00000000000001".
- 379117 cpu_core_0 "87.00000000000001".
- 380726 cpu_core_0 "87.00000000000001".
- 381359 cpu_core_0 "87.00000000000001".
- 382736 cpu_core_0 "87.00000000000001".
- 382826 cpu_core_0 "87.00000000000001".
- 383025 cpu_core_0 "87.00000000000001".
- 384754 cpu_core_0 "87.00000000000001".
- 385881 cpu_core_0 "87.00000000000001".
- 385882 cpu_core_0 "87.00000000000001".
- 386135 cpu_core_0 "87.00000000000001".