Matches in ISWC2014 Benchmark for { ?s ?p 88.00000000000001. }
- 1000243 cpu_core_0 "88.00000000000001".
- 1002360 cpu_core_0 "88.00000000000001".
- 1003857 cpu_core_0 "88.00000000000001".
- 1005483 cpu_core_0 "88.00000000000001".
- 1007995 cpu_core_0 "88.00000000000001".
- 1008894 cpu_core_0 "88.00000000000001".
- 154538 cpu_core_0 "88.00000000000001".
- 1699243 cpu_core_0 "88.00000000000001".
- 19475 cpu_core_0 "88.00000000000001".
- 1990370 cpu_core_0 "88.00000000000001".
- 210087 cpu_core_0 "88.00000000000001".
- 210326 cpu_core_0 "88.00000000000001".
- 213273 cpu_core_0 "88.00000000000001".
- 215545 cpu_core_0 "88.00000000000001".
- 216084 cpu_core_0 "88.00000000000001".
- 225192 cpu_core_0 "88.00000000000001".
- 228837 cpu_core_0 "88.00000000000001".
- 230147 cpu_core_0 "88.00000000000001".
- 230803 cpu_core_0 "88.00000000000001".
- 237227 cpu_core_0 "88.00000000000001".
- 250943 cpu_core_0 "88.00000000000001".
- 251344 cpu_core_0 "88.00000000000001".
- 251725 cpu_core_0 "88.00000000000001".
- 252205 cpu_core_0 "88.00000000000001".
- 252431 cpu_core_0 "88.00000000000001".
- 252967 cpu_core_0 "88.00000000000001".
- 255279 cpu_core_0 "88.00000000000001".
- 270703 cpu_core_0 "88.00000000000001".
- 272902 cpu_core_0 "88.00000000000001".
- 282336 cpu_core_0 "88.00000000000001".
- 283375 cpu_core_0 "88.00000000000001".
- 321330 cpu_core_0 "88.00000000000001".
- 322158 cpu_core_0 "88.00000000000001".
- 328563 cpu_core_0 "88.00000000000001".
- 341933 cpu_core_0 "88.00000000000001".
- 352850 cpu_core_0 "88.00000000000001".
- 359638 cpu_core_0 "88.00000000000001".
- 365934 cpu_core_0 "88.00000000000001".
- 366722 cpu_core_0 "88.00000000000001".
- 367086 cpu_core_0 "88.00000000000001".
- 370889 cpu_core_0 "88.00000000000001".
- 375509 cpu_core_0 "88.00000000000001".
- 375858 cpu_core_0 "88.00000000000001".
- 379576 cpu_core_0 "88.00000000000001".
- 386567 cpu_core_0 "88.00000000000001".
- 387607 cpu_core_0 "88.00000000000001".
- 388632 cpu_core_0 "88.00000000000001".
- 413055 cpu_core_0 "88.00000000000001".
- 413403 cpu_core_0 "88.00000000000001".
- 417031 cpu_core_0 "88.00000000000001".
- 420048 cpu_core_0 "88.00000000000001".
- 439135 cpu_core_0 "88.00000000000001".
- 445612 cpu_core_0 "88.00000000000001".
- 457668 cpu_core_0 "88.00000000000001".
- 459264 cpu_core_0 "88.00000000000001".
- 459268 cpu_core_0 "88.00000000000001".
- 460097 cpu_core_0 "88.00000000000001".
- 468314 cpu_core_0 "88.00000000000001".
- 505393 cpu_core_0 "88.00000000000001".
- 617010 cpu_core_0 "88.00000000000001".
- 618502 cpu_core_0 "88.00000000000001".
- 649487 cpu_core_0 "88.00000000000001".
- 650959 cpu_core_0 "88.00000000000001".
- 654788 cpu_core_0 "88.00000000000001".
- 666637 cpu_core_0 "88.00000000000001".
- 667002 cpu_core_0 "88.00000000000001".
- 669842 cpu_core_0 "88.00000000000001".
- 679059 cpu_core_0 "88.00000000000001".
- 688707 cpu_core_0 "88.00000000000001".
- 689314 cpu_core_0 "88.00000000000001".
- 693078 cpu_core_0 "88.00000000000001".
- 743529 cpu_core_0 "88.00000000000001".
- 800164 cpu_core_0 "88.00000000000001".
- 803561 cpu_core_0 "88.00000000000001".
- 819744 cpu_core_0 "88.00000000000001".
- 836653 cpu_core_0 "88.00000000000001".
- 841228 cpu_core_0 "88.00000000000001".
- 850209 cpu_core_0 "88.00000000000001".
- 852854 cpu_core_0 "88.00000000000001".
- 853564 cpu_core_0 "88.00000000000001".
- 854827 cpu_core_0 "88.00000000000001".
- 856830 cpu_core_0 "88.00000000000001".
- 866689 cpu_core_0 "88.00000000000001".
- 891563 cpu_core_0 "88.00000000000001".
- 911109 cpu_core_0 "88.00000000000001".
- 918785 cpu_core_0 "88.00000000000001".
- 956376 cpu_core_0 "88.00000000000001".
- 980037 cpu_core_0 "88.00000000000001".
- 988953 cpu_core_0 "88.00000000000001".
- 998029 cpu_core_0 "88.00000000000001".
- 999968 cpu_core_0 "88.00000000000001".
- 1265150 cpu_core_1 "88.00000000000001".
- 211189 cpu_core_1 "88.00000000000001".
- 214428 cpu_core_1 "88.00000000000001".
- 215345 cpu_core_1 "88.00000000000001".
- 225388 cpu_core_1 "88.00000000000001".
- 249940 cpu_core_1 "88.00000000000001".
- 250912 cpu_core_1 "88.00000000000001".
- 253127 cpu_core_1 "88.00000000000001".
- 267781 cpu_core_1 "88.00000000000001".