Matches in ISWC2014 Benchmark for { ?s ?p 9.000000000000002. }
- 1038223 cpu_core_0 "9.000000000000002".
- 1038247 cpu_core_0 "9.000000000000002".
- 1038278 cpu_core_0 "9.000000000000002".
- 1039073 cpu_core_0 "9.000000000000002".
- 1039337 cpu_core_0 "9.000000000000002".
- 1040011 cpu_core_0 "9.000000000000002".
- 1040018 cpu_core_0 "9.000000000000002".
- 1040194 cpu_core_0 "9.000000000000002".
- 1040199 cpu_core_0 "9.000000000000002".
- 1040499 cpu_core_0 "9.000000000000002".
- 1040729 cpu_core_0 "9.000000000000002".
- 1041172 cpu_core_0 "9.000000000000002".
- 1041298 cpu_core_0 "9.000000000000002".
- 1041345 cpu_core_0 "9.000000000000002".
- 1041646 cpu_core_0 "9.000000000000002".
- 1041959 cpu_core_0 "9.000000000000002".
- 1042281 cpu_core_0 "9.000000000000002".
- 1042430 cpu_core_0 "9.000000000000002".
- 1043743 cpu_core_0 "9.000000000000002".
- 1043820 cpu_core_0 "9.000000000000002".
- 1044555 cpu_core_0 "9.000000000000002".
- 1044580 cpu_core_0 "9.000000000000002".
- 1044790 cpu_core_0 "9.000000000000002".
- 1044826 cpu_core_0 "9.000000000000002".
- 1044909 cpu_core_0 "9.000000000000002".
- 1045035 cpu_core_0 "9.000000000000002".
- 1045043 cpu_core_0 "9.000000000000002".
- 1045096 cpu_core_0 "9.000000000000002".
- 1045116 cpu_core_0 "9.000000000000002".
- 1045260 cpu_core_0 "9.000000000000002".
- 1045414 cpu_core_0 "9.000000000000002".
- 1045473 cpu_core_0 "9.000000000000002".
- 1045520 cpu_core_0 "9.000000000000002".
- 1045904 cpu_core_0 "9.000000000000002".
- 1045988 cpu_core_0 "9.000000000000002".
- 1046075 cpu_core_0 "9.000000000000002".
- 1046110 cpu_core_0 "9.000000000000002".
- 1046146 cpu_core_0 "9.000000000000002".
- 1046309 cpu_core_0 "9.000000000000002".
- 1046491 cpu_core_0 "9.000000000000002".
- 1046787 cpu_core_0 "9.000000000000002".
- 1047132 cpu_core_0 "9.000000000000002".
- 1047189 cpu_core_0 "9.000000000000002".
- 1047703 cpu_core_0 "9.000000000000002".
- 1048394 cpu_core_0 "9.000000000000002".
- 1048737 cpu_core_0 "9.000000000000002".
- 1048845 cpu_core_0 "9.000000000000002".
- 1048971 cpu_core_0 "9.000000000000002".
- 1049263 cpu_core_0 "9.000000000000002".
- 1049654 cpu_core_0 "9.000000000000002".
- 1049839 cpu_core_0 "9.000000000000002".
- 1049954 cpu_core_0 "9.000000000000002".
- 1050841 cpu_core_0 "9.000000000000002".
- 1050912 cpu_core_0 "9.000000000000002".
- 1051067 cpu_core_0 "9.000000000000002".
- 1051078 cpu_core_0 "9.000000000000002".
- 1051086 cpu_core_0 "9.000000000000002".
- 1051105 cpu_core_0 "9.000000000000002".
- 1051188 cpu_core_0 "9.000000000000002".
- 1051361 cpu_core_0 "9.000000000000002".
- 1051797 cpu_core_0 "9.000000000000002".
- 1051955 cpu_core_0 "9.000000000000002".
- 1052028 cpu_core_0 "9.000000000000002".
- 1052038 cpu_core_0 "9.000000000000002".
- 1052073 cpu_core_0 "9.000000000000002".
- 1052257 cpu_core_0 "9.000000000000002".
- 1052323 cpu_core_0 "9.000000000000002".
- 1052436 cpu_core_0 "9.000000000000002".
- 1052685 cpu_core_0 "9.000000000000002".
- 1053923 cpu_core_0 "9.000000000000002".
- 1054050 cpu_core_0 "9.000000000000002".
- 1054353 cpu_core_0 "9.000000000000002".
- 1054522 cpu_core_0 "9.000000000000002".
- 1054655 cpu_core_0 "9.000000000000002".
- 1055233 cpu_core_0 "9.000000000000002".
- 1055613 cpu_core_0 "9.000000000000002".
- 1056327 cpu_core_0 "9.000000000000002".
- 1056364 cpu_core_0 "9.000000000000002".
- 1056389 cpu_core_0 "9.000000000000002".
- 1056599 cpu_core_0 "9.000000000000002".
- 1056606 cpu_core_0 "9.000000000000002".
- 1056818 cpu_core_0 "9.000000000000002".
- 1056958 cpu_core_0 "9.000000000000002".
- 1057071 cpu_core_0 "9.000000000000002".
- 1057180 cpu_core_0 "9.000000000000002".
- 1057471 cpu_core_0 "9.000000000000002".
- 1057575 cpu_core_0 "9.000000000000002".
- 1057612 cpu_core_0 "9.000000000000002".
- 1057638 cpu_core_0 "9.000000000000002".
- 1057743 cpu_core_0 "9.000000000000002".
- 1057875 cpu_core_0 "9.000000000000002".
- 1058541 cpu_core_0 "9.000000000000002".
- 1058621 cpu_core_0 "9.000000000000002".
- 10588 cpu_core_0 "9.000000000000002".
- 1058821 cpu_core_0 "9.000000000000002".
- 1058861 cpu_core_0 "9.000000000000002".
- 1058984 cpu_core_0 "9.000000000000002".
- 1059233 cpu_core_0 "9.000000000000002".
- 1059394 cpu_core_0 "9.000000000000002".
- 1059667 cpu_core_0 "9.000000000000002".