Matches in ISWC2014 Benchmark for { ?s ?p 87.00000000000001. }
- 1090185 cpu_core_2 "87.00000000000001".
- 1124933 cpu_core_2 "87.00000000000001".
- 1124994 cpu_core_2 "87.00000000000001".
- 1148643 cpu_core_2 "87.00000000000001".
- 1189427 cpu_core_2 "87.00000000000001".
- 1338504 cpu_core_2 "87.00000000000001".
- 211966 cpu_core_2 "87.00000000000001".
- 213518 cpu_core_2 "87.00000000000001".
- 217767 cpu_core_2 "87.00000000000001".
- 227199 cpu_core_2 "87.00000000000001".
- 229980 cpu_core_2 "87.00000000000001".
- 231546 cpu_core_2 "87.00000000000001".
- 244192 cpu_core_2 "87.00000000000001".
- 246007 cpu_core_2 "87.00000000000001".
- 248963 cpu_core_2 "87.00000000000001".
- 250832 cpu_core_2 "87.00000000000001".
- 255867 cpu_core_2 "87.00000000000001".
- 256224 cpu_core_2 "87.00000000000001".
- 261928 cpu_core_2 "87.00000000000001".
- 261933 cpu_core_2 "87.00000000000001".
- 268801 cpu_core_2 "87.00000000000001".
- 272137 cpu_core_2 "87.00000000000001".
- 276822 cpu_core_2 "87.00000000000001".
- 279603 cpu_core_2 "87.00000000000001".
- 280501 cpu_core_2 "87.00000000000001".
- 283382 cpu_core_2 "87.00000000000001".
- 314113 cpu_core_2 "87.00000000000001".
- 358512 cpu_core_2 "87.00000000000001".
- 617673 cpu_core_2 "87.00000000000001".
- 655412 cpu_core_2 "87.00000000000001".
- 1050322 cpu_core_3 "87.00000000000001".
- 1136826 cpu_core_3 "87.00000000000001".
- 1691182 cpu_core_3 "87.00000000000001".
- 210077 cpu_core_3 "87.00000000000001".
- 211197 cpu_core_3 "87.00000000000001".
- 214516 cpu_core_3 "87.00000000000001".
- 214606 cpu_core_3 "87.00000000000001".
- 215668 cpu_core_3 "87.00000000000001".
- 215839 cpu_core_3 "87.00000000000001".
- 224547 cpu_core_3 "87.00000000000001".
- 225949 cpu_core_3 "87.00000000000001".
- 248468 cpu_core_3 "87.00000000000001".
- 253868 cpu_core_3 "87.00000000000001".
- 256139 cpu_core_3 "87.00000000000001".
- 268138 cpu_core_3 "87.00000000000001".
- 268232 cpu_core_3 "87.00000000000001".
- 273414 cpu_core_3 "87.00000000000001".
- 274742 cpu_core_3 "87.00000000000001".
- 281811 cpu_core_3 "87.00000000000001".
- 297115 cpu_core_3 "87.00000000000001".
- 301738 cpu_core_3 "87.00000000000001".
- 301886 cpu_core_3 "87.00000000000001".
- 627881 cpu_core_3 "87.00000000000001".
- 638671 cpu_core_3 "87.00000000000001".
- 646662 cpu_core_3 "87.00000000000001".
- 655042 cpu_core_3 "87.00000000000001".