Matches in ISWC2014 Benchmark for { ?s ?p 3.9603960396039604. }
- 1135493 cpu_core_0 "3.9603960396039604".
- 1135603 cpu_core_0 "3.9603960396039604".
- 1135632 cpu_core_0 "3.9603960396039604".
- 1135641 cpu_core_0 "3.9603960396039604".
- 1135692 cpu_core_0 "3.9603960396039604".
- 1135880 cpu_core_0 "3.9603960396039604".
- 1135893 cpu_core_0 "3.9603960396039604".
- 1136192 cpu_core_0 "3.9603960396039604".
- 1136293 cpu_core_0 "3.9603960396039604".
- 1136371 cpu_core_0 "3.9603960396039604".
- 1136419 cpu_core_0 "3.9603960396039604".
- 1136436 cpu_core_0 "3.9603960396039604".
- 1136674 cpu_core_0 "3.9603960396039604".
- 1136684 cpu_core_0 "3.9603960396039604".
- 1137073 cpu_core_0 "3.9603960396039604".
- 1137154 cpu_core_0 "3.9603960396039604".
- 1137451 cpu_core_0 "3.9603960396039604".
- 113753 cpu_core_0 "3.9603960396039604".
- 1137871 cpu_core_0 "3.9603960396039604".
- 113791 cpu_core_0 "3.9603960396039604".
- 1137993 cpu_core_0 "3.9603960396039604".
- 1138005 cpu_core_0 "3.9603960396039604".
- 1138043 cpu_core_0 "3.9603960396039604".
- 1138372 cpu_core_0 "3.9603960396039604".
- 1138455 cpu_core_0 "3.9603960396039604".
- 1138535 cpu_core_0 "3.9603960396039604".
- 1138566 cpu_core_0 "3.9603960396039604".
- 1138655 cpu_core_0 "3.9603960396039604".
- 1138872 cpu_core_0 "3.9603960396039604".
- 113893 cpu_core_0 "3.9603960396039604".
- 1139214 cpu_core_0 "3.9603960396039604".
- 1139239 cpu_core_0 "3.9603960396039604".
- 113954 cpu_core_0 "3.9603960396039604".
- 1139548 cpu_core_0 "3.9603960396039604".
- 1139618 cpu_core_0 "3.9603960396039604".
- 1139620 cpu_core_0 "3.9603960396039604".
- 1139625 cpu_core_0 "3.9603960396039604".
- 1139683 cpu_core_0 "3.9603960396039604".
- 1139941 cpu_core_0 "3.9603960396039604".
- 1140078 cpu_core_0 "3.9603960396039604".
- 1140358 cpu_core_0 "3.9603960396039604".
- 1140434 cpu_core_0 "3.9603960396039604".
- 1140617 cpu_core_0 "3.9603960396039604".
- 1140781 cpu_core_0 "3.9603960396039604".
- 1140805 cpu_core_0 "3.9603960396039604".
- 1140839 cpu_core_0 "3.9603960396039604".
- 1140904 cpu_core_0 "3.9603960396039604".
- 1140913 cpu_core_0 "3.9603960396039604".
- 1141157 cpu_core_0 "3.9603960396039604".
- 1141385 cpu_core_0 "3.9603960396039604".
- 1141443 cpu_core_0 "3.9603960396039604".
- 1141521 cpu_core_0 "3.9603960396039604".
- 1141737 cpu_core_0 "3.9603960396039604".
- 1141755 cpu_core_0 "3.9603960396039604".
- 1141777 cpu_core_0 "3.9603960396039604".
- 1141818 cpu_core_0 "3.9603960396039604".
- 1142028 cpu_core_0 "3.9603960396039604".
- 1142196 cpu_core_0 "3.9603960396039604".
- 114220 cpu_core_0 "3.9603960396039604".
- 1142207 cpu_core_0 "3.9603960396039604".
- 1142351 cpu_core_0 "3.9603960396039604".
- 1142424 cpu_core_0 "3.9603960396039604".
- 1142485 cpu_core_0 "3.9603960396039604".
- 114283 cpu_core_0 "3.9603960396039604".
- 1143181 cpu_core_0 "3.9603960396039604".
- 1143197 cpu_core_0 "3.9603960396039604".
- 1143239 cpu_core_0 "3.9603960396039604".
- 1143249 cpu_core_0 "3.9603960396039604".
- 1143292 cpu_core_0 "3.9603960396039604".
- 1143299 cpu_core_0 "3.9603960396039604".
- 1143328 cpu_core_0 "3.9603960396039604".
- 1143422 cpu_core_0 "3.9603960396039604".
- 1143433 cpu_core_0 "3.9603960396039604".
- 1143641 cpu_core_0 "3.9603960396039604".
- 1143679 cpu_core_0 "3.9603960396039604".
- 1143741 cpu_core_0 "3.9603960396039604".
- 1143789 cpu_core_0 "3.9603960396039604".
- 1143843 cpu_core_0 "3.9603960396039604".
- 1143871 cpu_core_0 "3.9603960396039604".
- 1143959 cpu_core_0 "3.9603960396039604".
- 1143963 cpu_core_0 "3.9603960396039604".
- 1144154 cpu_core_0 "3.9603960396039604".
- 1144217 cpu_core_0 "3.9603960396039604".
- 1144640 cpu_core_0 "3.9603960396039604".
- 1144659 cpu_core_0 "3.9603960396039604".
- 1145172 cpu_core_0 "3.9603960396039604".
- 1145408 cpu_core_0 "3.9603960396039604".
- 1145487 cpu_core_0 "3.9603960396039604".
- 1145548 cpu_core_0 "3.9603960396039604".
- 114557 cpu_core_0 "3.9603960396039604".
- 1145599 cpu_core_0 "3.9603960396039604".
- 1145626 cpu_core_0 "3.9603960396039604".
- 114575 cpu_core_0 "3.9603960396039604".
- 1145809 cpu_core_0 "3.9603960396039604".
- 1145925 cpu_core_0 "3.9603960396039604".
- 1145970 cpu_core_0 "3.9603960396039604".
- 1145984 cpu_core_0 "3.9603960396039604".
- 1146564 cpu_core_0 "3.9603960396039604".
- 1146587 cpu_core_0 "3.9603960396039604".
- 1146731 cpu_core_0 "3.9603960396039604".