Matches in ISWC2014 Benchmark for { ?s ?p 73.00000000000001. }
- 1001183 cpu_core_0 "73.00000000000001".
- 1001495 cpu_core_0 "73.00000000000001".
- 1001844 cpu_core_0 "73.00000000000001".
- 1003034 cpu_core_0 "73.00000000000001".
- 1003815 cpu_core_0 "73.00000000000001".
- 1003993 cpu_core_0 "73.00000000000001".
- 1004058 cpu_core_0 "73.00000000000001".
- 1004415 cpu_core_0 "73.00000000000001".
- 1005374 cpu_core_0 "73.00000000000001".
- 1005551 cpu_core_0 "73.00000000000001".
- 1006041 cpu_core_0 "73.00000000000001".
- 1006260 cpu_core_0 "73.00000000000001".
- 1007105 cpu_core_0 "73.00000000000001".
- 1007271 cpu_core_0 "73.00000000000001".
- 1013608 cpu_core_0 "73.00000000000001".
- 1013784 cpu_core_0 "73.00000000000001".
- 1014150 cpu_core_0 "73.00000000000001".
- 1014980 cpu_core_0 "73.00000000000001".
- 1015103 cpu_core_0 "73.00000000000001".
- 1015319 cpu_core_0 "73.00000000000001".
- 1222602 cpu_core_0 "73.00000000000001".
- 1667137 cpu_core_0 "73.00000000000001".
- 1680461 cpu_core_0 "73.00000000000001".
- 1699129 cpu_core_0 "73.00000000000001".
- 1705241 cpu_core_0 "73.00000000000001".
- 230374 cpu_core_0 "73.00000000000001".
- 241453 cpu_core_0 "73.00000000000001".
- 242651 cpu_core_0 "73.00000000000001".
- 243332 cpu_core_0 "73.00000000000001".
- 244873 cpu_core_0 "73.00000000000001".
- 249034 cpu_core_0 "73.00000000000001".
- 251410 cpu_core_0 "73.00000000000001".
- 255258 cpu_core_0 "73.00000000000001".
- 271445 cpu_core_0 "73.00000000000001".
- 275605 cpu_core_0 "73.00000000000001".
- 275646 cpu_core_0 "73.00000000000001".
- 278282 cpu_core_0 "73.00000000000001".
- 281200 cpu_core_0 "73.00000000000001".
- 282389 cpu_core_0 "73.00000000000001".
- 298317 cpu_core_0 "73.00000000000001".
- 299961 cpu_core_0 "73.00000000000001".
- 312812 cpu_core_0 "73.00000000000001".
- 321014 cpu_core_0 "73.00000000000001".
- 321643 cpu_core_0 "73.00000000000001".
- 325391 cpu_core_0 "73.00000000000001".
- 325493 cpu_core_0 "73.00000000000001".
- 328213 cpu_core_0 "73.00000000000001".
- 330293 cpu_core_0 "73.00000000000001".
- 331563 cpu_core_0 "73.00000000000001".
- 333682 cpu_core_0 "73.00000000000001".
- 337153 cpu_core_0 "73.00000000000001".
- 338784 cpu_core_0 "73.00000000000001".
- 339412 cpu_core_0 "73.00000000000001".
- 342249 cpu_core_0 "73.00000000000001".
- 343087 cpu_core_0 "73.00000000000001".
- 348194 cpu_core_0 "73.00000000000001".
- 350545 cpu_core_0 "73.00000000000001".
- 351127 cpu_core_0 "73.00000000000001".
- 352270 cpu_core_0 "73.00000000000001".
- 366337 cpu_core_0 "73.00000000000001".
- 366357 cpu_core_0 "73.00000000000001".
- 366891 cpu_core_0 "73.00000000000001".
- 367481 cpu_core_0 "73.00000000000001".
- 367827 cpu_core_0 "73.00000000000001".
- 367847 cpu_core_0 "73.00000000000001".
- 368458 cpu_core_0 "73.00000000000001".
- 368678 cpu_core_0 "73.00000000000001".
- 370696 cpu_core_0 "73.00000000000001".
- 370703 cpu_core_0 "73.00000000000001".
- 371062 cpu_core_0 "73.00000000000001".
- 371192 cpu_core_0 "73.00000000000001".
- 371336 cpu_core_0 "73.00000000000001".
- 371502 cpu_core_0 "73.00000000000001".
- 371597 cpu_core_0 "73.00000000000001".
- 371993 cpu_core_0 "73.00000000000001".
- 372838 cpu_core_0 "73.00000000000001".
- 374069 cpu_core_0 "73.00000000000001".
- 374277 cpu_core_0 "73.00000000000001".
- 374774 cpu_core_0 "73.00000000000001".
- 375005 cpu_core_0 "73.00000000000001".
- 376651 cpu_core_0 "73.00000000000001".
- 378647 cpu_core_0 "73.00000000000001".
- 379358 cpu_core_0 "73.00000000000001".
- 379625 cpu_core_0 "73.00000000000001".
- 381327 cpu_core_0 "73.00000000000001".
- 382530 cpu_core_0 "73.00000000000001".
- 382762 cpu_core_0 "73.00000000000001".
- 383504 cpu_core_0 "73.00000000000001".
- 384008 cpu_core_0 "73.00000000000001".
- 384010 cpu_core_0 "73.00000000000001".
- 384212 cpu_core_0 "73.00000000000001".
- 384279 cpu_core_0 "73.00000000000001".
- 384939 cpu_core_0 "73.00000000000001".
- 384944 cpu_core_0 "73.00000000000001".
- 385258 cpu_core_0 "73.00000000000001".
- 385388 cpu_core_0 "73.00000000000001".
- 385495 cpu_core_0 "73.00000000000001".
- 385891 cpu_core_0 "73.00000000000001".
- 386213 cpu_core_0 "73.00000000000001".
- 386655 cpu_core_0 "73.00000000000001".