Matches in ISWC2014 Benchmark for { ?s ?p 60.00000000000001. }
- 852460 cpu_core_0 "60.00000000000001".
- 852622 cpu_core_0 "60.00000000000001".
- 852915 cpu_core_0 "60.00000000000001".
- 853404 cpu_core_0 "60.00000000000001".
- 853650 cpu_core_0 "60.00000000000001".
- 853731 cpu_core_0 "60.00000000000001".
- 854765 cpu_core_0 "60.00000000000001".
- 854880 cpu_core_0 "60.00000000000001".
- 854975 cpu_core_0 "60.00000000000001".
- 855010 cpu_core_0 "60.00000000000001".
- 855048 cpu_core_0 "60.00000000000001".
- 855294 cpu_core_0 "60.00000000000001".
- 855750 cpu_core_0 "60.00000000000001".
- 855816 cpu_core_0 "60.00000000000001".
- 856025 cpu_core_0 "60.00000000000001".
- 856105 cpu_core_0 "60.00000000000001".
- 856243 cpu_core_0 "60.00000000000001".
- 857028 cpu_core_0 "60.00000000000001".
- 857134 cpu_core_0 "60.00000000000001".
- 857198 cpu_core_0 "60.00000000000001".
- 857261 cpu_core_0 "60.00000000000001".
- 857551 cpu_core_0 "60.00000000000001".
- 857595 cpu_core_0 "60.00000000000001".
- 858001 cpu_core_0 "60.00000000000001".
- 858072 cpu_core_0 "60.00000000000001".
- 858325 cpu_core_0 "60.00000000000001".
- 858336 cpu_core_0 "60.00000000000001".
- 858508 cpu_core_0 "60.00000000000001".
- 858934 cpu_core_0 "60.00000000000001".
- 859042 cpu_core_0 "60.00000000000001".
- 859163 cpu_core_0 "60.00000000000001".
- 859205 cpu_core_0 "60.00000000000001".
- 859269 cpu_core_0 "60.00000000000001".
- 859317 cpu_core_0 "60.00000000000001".
- 859365 cpu_core_0 "60.00000000000001".
- 859457 cpu_core_0 "60.00000000000001".
- 859528 cpu_core_0 "60.00000000000001".
- 859805 cpu_core_0 "60.00000000000001".
- 860040 cpu_core_0 "60.00000000000001".
- 860403 cpu_core_0 "60.00000000000001".
- 861993 cpu_core_0 "60.00000000000001".
- 862102 cpu_core_0 "60.00000000000001".
- 862285 cpu_core_0 "60.00000000000001".
- 862488 cpu_core_0 "60.00000000000001".
- 862683 cpu_core_0 "60.00000000000001".
- 863358 cpu_core_0 "60.00000000000001".
- 863610 cpu_core_0 "60.00000000000001".
- 863623 cpu_core_0 "60.00000000000001".
- 863668 cpu_core_0 "60.00000000000001".
- 863673 cpu_core_0 "60.00000000000001".
- 864009 cpu_core_0 "60.00000000000001".
- 864153 cpu_core_0 "60.00000000000001".
- 864157 cpu_core_0 "60.00000000000001".
- 864263 cpu_core_0 "60.00000000000001".
- 864318 cpu_core_0 "60.00000000000001".
- 864466 cpu_core_0 "60.00000000000001".
- 864694 cpu_core_0 "60.00000000000001".
- 865310 cpu_core_0 "60.00000000000001".
- 865374 cpu_core_0 "60.00000000000001".
- 865547 cpu_core_0 "60.00000000000001".
- 865931 cpu_core_0 "60.00000000000001".
- 865947 cpu_core_0 "60.00000000000001".
- 866257 cpu_core_0 "60.00000000000001".
- 866274 cpu_core_0 "60.00000000000001".
- 866384 cpu_core_0 "60.00000000000001".
- 866466 cpu_core_0 "60.00000000000001".
- 866530 cpu_core_0 "60.00000000000001".
- 866621 cpu_core_0 "60.00000000000001".
- 866801 cpu_core_0 "60.00000000000001".
- 866864 cpu_core_0 "60.00000000000001".
- 866919 cpu_core_0 "60.00000000000001".
- 867026 cpu_core_0 "60.00000000000001".
- 867547 cpu_core_0 "60.00000000000001".
- 867773 cpu_core_0 "60.00000000000001".
- 868081 cpu_core_0 "60.00000000000001".
- 868304 cpu_core_0 "60.00000000000001".
- 868531 cpu_core_0 "60.00000000000001".
- 868655 cpu_core_0 "60.00000000000001".
- 868809 cpu_core_0 "60.00000000000001".
- 868948 cpu_core_0 "60.00000000000001".
- 869225 cpu_core_0 "60.00000000000001".
- 869325 cpu_core_0 "60.00000000000001".
- 869421 cpu_core_0 "60.00000000000001".
- 869819 cpu_core_0 "60.00000000000001".
- 869963 cpu_core_0 "60.00000000000001".
- 870275 cpu_core_0 "60.00000000000001".
- 870312 cpu_core_0 "60.00000000000001".
- 870315 cpu_core_0 "60.00000000000001".
- 870661 cpu_core_0 "60.00000000000001".
- 870798 cpu_core_0 "60.00000000000001".
- 870867 cpu_core_0 "60.00000000000001".
- 870959 cpu_core_0 "60.00000000000001".
- 870996 cpu_core_0 "60.00000000000001".
- 871155 cpu_core_0 "60.00000000000001".
- 871647 cpu_core_0 "60.00000000000001".
- 871804 cpu_core_0 "60.00000000000001".
- 872160 cpu_core_0 "60.00000000000001".
- 872238 cpu_core_0 "60.00000000000001".
- 872261 cpu_core_0 "60.00000000000001".
- 872612 cpu_core_0 "60.00000000000001".