Matches in ISWC2014 Benchmark for { ?s ?p 72.00000000000001. }
- 425964 cpu_core_0 "72.00000000000001".
- 426178 cpu_core_0 "72.00000000000001".
- 426541 cpu_core_0 "72.00000000000001".
- 426662 cpu_core_0 "72.00000000000001".
- 426936 cpu_core_0 "72.00000000000001".
- 426977 cpu_core_0 "72.00000000000001".
- 427179 cpu_core_0 "72.00000000000001".
- 427267 cpu_core_0 "72.00000000000001".
- 427560 cpu_core_0 "72.00000000000001".
- 427940 cpu_core_0 "72.00000000000001".
- 428803 cpu_core_0 "72.00000000000001".
- 429281 cpu_core_0 "72.00000000000001".
- 429368 cpu_core_0 "72.00000000000001".
- 430051 cpu_core_0 "72.00000000000001".
- 430189 cpu_core_0 "72.00000000000001".
- 430640 cpu_core_0 "72.00000000000001".
- 431497 cpu_core_0 "72.00000000000001".
- 431565 cpu_core_0 "72.00000000000001".
- 432132 cpu_core_0 "72.00000000000001".
- 432198 cpu_core_0 "72.00000000000001".
- 432200 cpu_core_0 "72.00000000000001".
- 432322 cpu_core_0 "72.00000000000001".
- 432922 cpu_core_0 "72.00000000000001".
- 433019 cpu_core_0 "72.00000000000001".
- 433137 cpu_core_0 "72.00000000000001".
- 433230 cpu_core_0 "72.00000000000001".
- 433309 cpu_core_0 "72.00000000000001".
- 433366 cpu_core_0 "72.00000000000001".
- 433545 cpu_core_0 "72.00000000000001".
- 433607 cpu_core_0 "72.00000000000001".
- 433636 cpu_core_0 "72.00000000000001".
- 433667 cpu_core_0 "72.00000000000001".
- 433882 cpu_core_0 "72.00000000000001".
- 434043 cpu_core_0 "72.00000000000001".
- 434204 cpu_core_0 "72.00000000000001".
- 435033 cpu_core_0 "72.00000000000001".
- 435173 cpu_core_0 "72.00000000000001".
- 435384 cpu_core_0 "72.00000000000001".
- 435754 cpu_core_0 "72.00000000000001".
- 436023 cpu_core_0 "72.00000000000001".
- 436111 cpu_core_0 "72.00000000000001".
- 436175 cpu_core_0 "72.00000000000001".
- 436382 cpu_core_0 "72.00000000000001".
- 436917 cpu_core_0 "72.00000000000001".
- 437016 cpu_core_0 "72.00000000000001".
- 437135 cpu_core_0 "72.00000000000001".
- 437986 cpu_core_0 "72.00000000000001".
- 438089 cpu_core_0 "72.00000000000001".
- 438426 cpu_core_0 "72.00000000000001".
- 438678 cpu_core_0 "72.00000000000001".
- 438758 cpu_core_0 "72.00000000000001".
- 439013 cpu_core_0 "72.00000000000001".
- 439411 cpu_core_0 "72.00000000000001".
- 439583 cpu_core_0 "72.00000000000001".
- 439846 cpu_core_0 "72.00000000000001".
- 440130 cpu_core_0 "72.00000000000001".
- 440225 cpu_core_0 "72.00000000000001".
- 440679 cpu_core_0 "72.00000000000001".
- 440866 cpu_core_0 "72.00000000000001".
- 440974 cpu_core_0 "72.00000000000001".
- 441052 cpu_core_0 "72.00000000000001".
- 441279 cpu_core_0 "72.00000000000001".
- 442119 cpu_core_0 "72.00000000000001".
- 442956 cpu_core_0 "72.00000000000001".
- 443024 cpu_core_0 "72.00000000000001".
- 443030 cpu_core_0 "72.00000000000001".
- 443801 cpu_core_0 "72.00000000000001".
- 443937 cpu_core_0 "72.00000000000001".
- 444007 cpu_core_0 "72.00000000000001".
- 444311 cpu_core_0 "72.00000000000001".
- 444411 cpu_core_0 "72.00000000000001".
- 444684 cpu_core_0 "72.00000000000001".
- 445903 cpu_core_0 "72.00000000000001".
- 445915 cpu_core_0 "72.00000000000001".
- 445966 cpu_core_0 "72.00000000000001".
- 446007 cpu_core_0 "72.00000000000001".
- 446014 cpu_core_0 "72.00000000000001".
- 446040 cpu_core_0 "72.00000000000001".
- 446290 cpu_core_0 "72.00000000000001".
- 446306 cpu_core_0 "72.00000000000001".
- 446400 cpu_core_0 "72.00000000000001".
- 446533 cpu_core_0 "72.00000000000001".
- 446605 cpu_core_0 "72.00000000000001".
- 446650 cpu_core_0 "72.00000000000001".
- 446982 cpu_core_0 "72.00000000000001".
- 447066 cpu_core_0 "72.00000000000001".
- 447108 cpu_core_0 "72.00000000000001".
- 448436 cpu_core_0 "72.00000000000001".
- 448473 cpu_core_0 "72.00000000000001".
- 448799 cpu_core_0 "72.00000000000001".
- 448919 cpu_core_0 "72.00000000000001".
- 449047 cpu_core_0 "72.00000000000001".
- 449317 cpu_core_0 "72.00000000000001".
- 449458 cpu_core_0 "72.00000000000001".
- 449537 cpu_core_0 "72.00000000000001".
- 449674 cpu_core_0 "72.00000000000001".
- 449819 cpu_core_0 "72.00000000000001".
- 449823 cpu_core_0 "72.00000000000001".
- 449851 cpu_core_0 "72.00000000000001".
- 450069 cpu_core_0 "72.00000000000001".