Matches in ISWC2014 Benchmark for { ?s ?p 60.00000000000001. }
- 941574 cpu_core_0 "60.00000000000001".
- 941687 cpu_core_0 "60.00000000000001".
- 941721 cpu_core_0 "60.00000000000001".
- 942452 cpu_core_0 "60.00000000000001".
- 942767 cpu_core_0 "60.00000000000001".
- 943028 cpu_core_0 "60.00000000000001".
- 943195 cpu_core_0 "60.00000000000001".
- 943302 cpu_core_0 "60.00000000000001".
- 943341 cpu_core_0 "60.00000000000001".
- 944495 cpu_core_0 "60.00000000000001".
- 944730 cpu_core_0 "60.00000000000001".
- 945476 cpu_core_0 "60.00000000000001".
- 945790 cpu_core_0 "60.00000000000001".
- 946167 cpu_core_0 "60.00000000000001".
- 946223 cpu_core_0 "60.00000000000001".
- 947265 cpu_core_0 "60.00000000000001".
- 947342 cpu_core_0 "60.00000000000001".
- 947568 cpu_core_0 "60.00000000000001".
- 947768 cpu_core_0 "60.00000000000001".
- 947772 cpu_core_0 "60.00000000000001".
- 948376 cpu_core_0 "60.00000000000001".
- 948537 cpu_core_0 "60.00000000000001".
- 948798 cpu_core_0 "60.00000000000001".
- 948940 cpu_core_0 "60.00000000000001".
- 949181 cpu_core_0 "60.00000000000001".
- 949536 cpu_core_0 "60.00000000000001".
- 949959 cpu_core_0 "60.00000000000001".
- 950780 cpu_core_0 "60.00000000000001".
- 951354 cpu_core_0 "60.00000000000001".
- 951416 cpu_core_0 "60.00000000000001".
- 951596 cpu_core_0 "60.00000000000001".
- 951847 cpu_core_0 "60.00000000000001".
- 952113 cpu_core_0 "60.00000000000001".
- 952158 cpu_core_0 "60.00000000000001".
- 952181 cpu_core_0 "60.00000000000001".
- 952909 cpu_core_0 "60.00000000000001".
- 953203 cpu_core_0 "60.00000000000001".
- 953634 cpu_core_0 "60.00000000000001".
- 953635 cpu_core_0 "60.00000000000001".
- 954339 cpu_core_0 "60.00000000000001".
- 954520 cpu_core_0 "60.00000000000001".
- 954817 cpu_core_0 "60.00000000000001".
- 955137 cpu_core_0 "60.00000000000001".
- 955383 cpu_core_0 "60.00000000000001".
- 955587 cpu_core_0 "60.00000000000001".
- 955670 cpu_core_0 "60.00000000000001".
- 955957 cpu_core_0 "60.00000000000001".
- 955977 cpu_core_0 "60.00000000000001".
- 957298 cpu_core_0 "60.00000000000001".
- 957542 cpu_core_0 "60.00000000000001".
- 957665 cpu_core_0 "60.00000000000001".
- 957828 cpu_core_0 "60.00000000000001".
- 957958 cpu_core_0 "60.00000000000001".
- 958099 cpu_core_0 "60.00000000000001".
- 958170 cpu_core_0 "60.00000000000001".
- 958287 cpu_core_0 "60.00000000000001".
- 958652 cpu_core_0 "60.00000000000001".
- 958750 cpu_core_0 "60.00000000000001".
- 958854 cpu_core_0 "60.00000000000001".
- 959147 cpu_core_0 "60.00000000000001".
- 959286 cpu_core_0 "60.00000000000001".
- 959476 cpu_core_0 "60.00000000000001".
- 959525 cpu_core_0 "60.00000000000001".
- 959888 cpu_core_0 "60.00000000000001".
- 959955 cpu_core_0 "60.00000000000001".
- 960264 cpu_core_0 "60.00000000000001".
- 960417 cpu_core_0 "60.00000000000001".
- 960623 cpu_core_0 "60.00000000000001".
- 960784 cpu_core_0 "60.00000000000001".
- 961165 cpu_core_0 "60.00000000000001".
- 961547 cpu_core_0 "60.00000000000001".
- 961795 cpu_core_0 "60.00000000000001".
- 961923 cpu_core_0 "60.00000000000001".
- 961930 cpu_core_0 "60.00000000000001".
- 962075 cpu_core_0 "60.00000000000001".
- 962481 cpu_core_0 "60.00000000000001".
- 962530 cpu_core_0 "60.00000000000001".
- 962859 cpu_core_0 "60.00000000000001".
- 963158 cpu_core_0 "60.00000000000001".
- 963349 cpu_core_0 "60.00000000000001".
- 963377 cpu_core_0 "60.00000000000001".
- 963630 cpu_core_0 "60.00000000000001".
- 963684 cpu_core_0 "60.00000000000001".
- 964319 cpu_core_0 "60.00000000000001".
- 964847 cpu_core_0 "60.00000000000001".
- 964911 cpu_core_0 "60.00000000000001".
- 965091 cpu_core_0 "60.00000000000001".
- 965264 cpu_core_0 "60.00000000000001".
- 965341 cpu_core_0 "60.00000000000001".
- 965390 cpu_core_0 "60.00000000000001".
- 965631 cpu_core_0 "60.00000000000001".
- 965648 cpu_core_0 "60.00000000000001".
- 965717 cpu_core_0 "60.00000000000001".
- 965871 cpu_core_0 "60.00000000000001".
- 966111 cpu_core_0 "60.00000000000001".
- 966122 cpu_core_0 "60.00000000000001".
- 966418 cpu_core_0 "60.00000000000001".
- 966455 cpu_core_0 "60.00000000000001".
- 966667 cpu_core_0 "60.00000000000001".
- 966761 cpu_core_0 "60.00000000000001".