Matches in ISWC2014 Benchmark for { ?s ?p 72.00000000000001. }
- 408739 cpu_core_0 "72.00000000000001".
- 408943 cpu_core_0 "72.00000000000001".
- 408965 cpu_core_0 "72.00000000000001".
- 408982 cpu_core_0 "72.00000000000001".
- 409227 cpu_core_0 "72.00000000000001".
- 409290 cpu_core_0 "72.00000000000001".
- 409324 cpu_core_0 "72.00000000000001".
- 410049 cpu_core_0 "72.00000000000001".
- 410256 cpu_core_0 "72.00000000000001".
- 410573 cpu_core_0 "72.00000000000001".
- 410578 cpu_core_0 "72.00000000000001".
- 411132 cpu_core_0 "72.00000000000001".
- 411165 cpu_core_0 "72.00000000000001".
- 411241 cpu_core_0 "72.00000000000001".
- 411398 cpu_core_0 "72.00000000000001".
- 411571 cpu_core_0 "72.00000000000001".
- 411748 cpu_core_0 "72.00000000000001".
- 411858 cpu_core_0 "72.00000000000001".
- 412021 cpu_core_0 "72.00000000000001".
- 412358 cpu_core_0 "72.00000000000001".
- 412389 cpu_core_0 "72.00000000000001".
- 412549 cpu_core_0 "72.00000000000001".
- 412835 cpu_core_0 "72.00000000000001".
- 413419 cpu_core_0 "72.00000000000001".
- 413449 cpu_core_0 "72.00000000000001".
- 413450 cpu_core_0 "72.00000000000001".
- 413588 cpu_core_0 "72.00000000000001".
- 413747 cpu_core_0 "72.00000000000001".
- 413913 cpu_core_0 "72.00000000000001".
- 414219 cpu_core_0 "72.00000000000001".
- 414269 cpu_core_0 "72.00000000000001".
- 414291 cpu_core_0 "72.00000000000001".
- 414514 cpu_core_0 "72.00000000000001".
- 414645 cpu_core_0 "72.00000000000001".
- 414647 cpu_core_0 "72.00000000000001".
- 415088 cpu_core_0 "72.00000000000001".
- 415217 cpu_core_0 "72.00000000000001".
- 415338 cpu_core_0 "72.00000000000001".
- 415393 cpu_core_0 "72.00000000000001".
- 415416 cpu_core_0 "72.00000000000001".
- 415521 cpu_core_0 "72.00000000000001".
- 415599 cpu_core_0 "72.00000000000001".
- 415634 cpu_core_0 "72.00000000000001".
- 415726 cpu_core_0 "72.00000000000001".
- 415878 cpu_core_0 "72.00000000000001".
- 416142 cpu_core_0 "72.00000000000001".
- 416392 cpu_core_0 "72.00000000000001".
- 416397 cpu_core_0 "72.00000000000001".
- 416773 cpu_core_0 "72.00000000000001".
- 416842 cpu_core_0 "72.00000000000001".
- 416934 cpu_core_0 "72.00000000000001".
- 416942 cpu_core_0 "72.00000000000001".
- 417306 cpu_core_0 "72.00000000000001".
- 417368 cpu_core_0 "72.00000000000001".
- 417491 cpu_core_0 "72.00000000000001".
- 417500 cpu_core_0 "72.00000000000001".
- 417604 cpu_core_0 "72.00000000000001".
- 417791 cpu_core_0 "72.00000000000001".
- 417994 cpu_core_0 "72.00000000000001".
- 418278 cpu_core_0 "72.00000000000001".
- 418721 cpu_core_0 "72.00000000000001".
- 419059 cpu_core_0 "72.00000000000001".
- 419071 cpu_core_0 "72.00000000000001".
- 419156 cpu_core_0 "72.00000000000001".
- 419275 cpu_core_0 "72.00000000000001".
- 419397 cpu_core_0 "72.00000000000001".
- 420092 cpu_core_0 "72.00000000000001".
- 420129 cpu_core_0 "72.00000000000001".
- 420397 cpu_core_0 "72.00000000000001".
- 420890 cpu_core_0 "72.00000000000001".
- 421272 cpu_core_0 "72.00000000000001".
- 421301 cpu_core_0 "72.00000000000001".
- 421314 cpu_core_0 "72.00000000000001".
- 421715 cpu_core_0 "72.00000000000001".
- 422037 cpu_core_0 "72.00000000000001".
- 422046 cpu_core_0 "72.00000000000001".
- 422328 cpu_core_0 "72.00000000000001".
- 422377 cpu_core_0 "72.00000000000001".
- 422536 cpu_core_0 "72.00000000000001".
- 422537 cpu_core_0 "72.00000000000001".
- 422784 cpu_core_0 "72.00000000000001".
- 422872 cpu_core_0 "72.00000000000001".
- 422917 cpu_core_0 "72.00000000000001".
- 423298 cpu_core_0 "72.00000000000001".
- 423299 cpu_core_0 "72.00000000000001".
- 423456 cpu_core_0 "72.00000000000001".
- 423478 cpu_core_0 "72.00000000000001".
- 423505 cpu_core_0 "72.00000000000001".
- 423638 cpu_core_0 "72.00000000000001".
- 423772 cpu_core_0 "72.00000000000001".
- 423775 cpu_core_0 "72.00000000000001".
- 423979 cpu_core_0 "72.00000000000001".
- 424321 cpu_core_0 "72.00000000000001".
- 424662 cpu_core_0 "72.00000000000001".
- 424718 cpu_core_0 "72.00000000000001".
- 42503 cpu_core_0 "72.00000000000001".
- 425189 cpu_core_0 "72.00000000000001".
- 425416 cpu_core_0 "72.00000000000001".
- 425863 cpu_core_0 "72.00000000000001".
- 425895 cpu_core_0 "72.00000000000001".