Matches in ISWC2014 Benchmark for { ?s ?p 60.00000000000001. }
- 872757 cpu_core_0 "60.00000000000001".
- 872919 cpu_core_0 "60.00000000000001".
- 873160 cpu_core_0 "60.00000000000001".
- 873242 cpu_core_0 "60.00000000000001".
- 873540 cpu_core_0 "60.00000000000001".
- 873815 cpu_core_0 "60.00000000000001".
- 874088 cpu_core_0 "60.00000000000001".
- 874391 cpu_core_0 "60.00000000000001".
- 874636 cpu_core_0 "60.00000000000001".
- 875319 cpu_core_0 "60.00000000000001".
- 875554 cpu_core_0 "60.00000000000001".
- 875567 cpu_core_0 "60.00000000000001".
- 875574 cpu_core_0 "60.00000000000001".
- 876964 cpu_core_0 "60.00000000000001".
- 877345 cpu_core_0 "60.00000000000001".
- 877381 cpu_core_0 "60.00000000000001".
- 877593 cpu_core_0 "60.00000000000001".
- 878030 cpu_core_0 "60.00000000000001".
- 878626 cpu_core_0 "60.00000000000001".
- 879059 cpu_core_0 "60.00000000000001".
- 879491 cpu_core_0 "60.00000000000001".
- 879685 cpu_core_0 "60.00000000000001".
- 879921 cpu_core_0 "60.00000000000001".
- 880214 cpu_core_0 "60.00000000000001".
- 880364 cpu_core_0 "60.00000000000001".
- 880783 cpu_core_0 "60.00000000000001".
- 880797 cpu_core_0 "60.00000000000001".
- 881032 cpu_core_0 "60.00000000000001".
- 881225 cpu_core_0 "60.00000000000001".
- 882010 cpu_core_0 "60.00000000000001".
- 882057 cpu_core_0 "60.00000000000001".
- 882085 cpu_core_0 "60.00000000000001".
- 882282 cpu_core_0 "60.00000000000001".
- 882436 cpu_core_0 "60.00000000000001".
- 882590 cpu_core_0 "60.00000000000001".
- 882876 cpu_core_0 "60.00000000000001".
- 882926 cpu_core_0 "60.00000000000001".
- 882946 cpu_core_0 "60.00000000000001".
- 883010 cpu_core_0 "60.00000000000001".
- 883014 cpu_core_0 "60.00000000000001".
- 883319 cpu_core_0 "60.00000000000001".
- 884067 cpu_core_0 "60.00000000000001".
- 884281 cpu_core_0 "60.00000000000001".
- 884330 cpu_core_0 "60.00000000000001".
- 884335 cpu_core_0 "60.00000000000001".
- 884686 cpu_core_0 "60.00000000000001".
- 884709 cpu_core_0 "60.00000000000001".
- 885048 cpu_core_0 "60.00000000000001".
- 885477 cpu_core_0 "60.00000000000001".
- 885871 cpu_core_0 "60.00000000000001".
- 885942 cpu_core_0 "60.00000000000001".
- 886403 cpu_core_0 "60.00000000000001".
- 886704 cpu_core_0 "60.00000000000001".
- 886816 cpu_core_0 "60.00000000000001".
- 886830 cpu_core_0 "60.00000000000001".
- 887001 cpu_core_0 "60.00000000000001".
- 887037 cpu_core_0 "60.00000000000001".
- 887065 cpu_core_0 "60.00000000000001".
- 887094 cpu_core_0 "60.00000000000001".
- 887292 cpu_core_0 "60.00000000000001".
- 887391 cpu_core_0 "60.00000000000001".
- 887967 cpu_core_0 "60.00000000000001".
- 888249 cpu_core_0 "60.00000000000001".
- 888517 cpu_core_0 "60.00000000000001".
- 888804 cpu_core_0 "60.00000000000001".
- 888879 cpu_core_0 "60.00000000000001".
- 889554 cpu_core_0 "60.00000000000001".
- 889699 cpu_core_0 "60.00000000000001".
- 890133 cpu_core_0 "60.00000000000001".
- 891021 cpu_core_0 "60.00000000000001".
- 891824 cpu_core_0 "60.00000000000001".
- 892134 cpu_core_0 "60.00000000000001".
- 892482 cpu_core_0 "60.00000000000001".
- 892813 cpu_core_0 "60.00000000000001".
- 893048 cpu_core_0 "60.00000000000001".
- 893396 cpu_core_0 "60.00000000000001".
- 894099 cpu_core_0 "60.00000000000001".
- 894109 cpu_core_0 "60.00000000000001".
- 894244 cpu_core_0 "60.00000000000001".
- 894264 cpu_core_0 "60.00000000000001".
- 894711 cpu_core_0 "60.00000000000001".
- 894846 cpu_core_0 "60.00000000000001".
- 894894 cpu_core_0 "60.00000000000001".
- 895220 cpu_core_0 "60.00000000000001".
- 895445 cpu_core_0 "60.00000000000001".
- 895490 cpu_core_0 "60.00000000000001".
- 896199 cpu_core_0 "60.00000000000001".
- 896423 cpu_core_0 "60.00000000000001".
- 896932 cpu_core_0 "60.00000000000001".
- 897155 cpu_core_0 "60.00000000000001".
- 897167 cpu_core_0 "60.00000000000001".
- 897446 cpu_core_0 "60.00000000000001".
- 898027 cpu_core_0 "60.00000000000001".
- 898402 cpu_core_0 "60.00000000000001".
- 898569 cpu_core_0 "60.00000000000001".
- 898704 cpu_core_0 "60.00000000000001".
- 899516 cpu_core_0 "60.00000000000001".
- 899941 cpu_core_0 "60.00000000000001".
- 900460 cpu_core_0 "60.00000000000001".
- 900838 cpu_core_0 "60.00000000000001".