Matches in ISWC2014 Benchmark for { ?s ?p 12.000000000000002. }
- 1076128 cpu_core_0 "12.000000000000002".
- 1076213 cpu_core_0 "12.000000000000002".
- 1076459 cpu_core_0 "12.000000000000002".
- 1076503 cpu_core_0 "12.000000000000002".
- 1076621 cpu_core_0 "12.000000000000002".
- 1076728 cpu_core_0 "12.000000000000002".
- 1076753 cpu_core_0 "12.000000000000002".
- 1076775 cpu_core_0 "12.000000000000002".
- 1076863 cpu_core_0 "12.000000000000002".
- 1077072 cpu_core_0 "12.000000000000002".
- 1077181 cpu_core_0 "12.000000000000002".
- 1077228 cpu_core_0 "12.000000000000002".
- 1077245 cpu_core_0 "12.000000000000002".
- 1077469 cpu_core_0 "12.000000000000002".
- 1077549 cpu_core_0 "12.000000000000002".
- 1077587 cpu_core_0 "12.000000000000002".
- 1077718 cpu_core_0 "12.000000000000002".
- 1077835 cpu_core_0 "12.000000000000002".
- 1077894 cpu_core_0 "12.000000000000002".
- 1077920 cpu_core_0 "12.000000000000002".
- 1078062 cpu_core_0 "12.000000000000002".
- 1078269 cpu_core_0 "12.000000000000002".
- 1078318 cpu_core_0 "12.000000000000002".
- 1078319 cpu_core_0 "12.000000000000002".
- 1078463 cpu_core_0 "12.000000000000002".
- 1078464 cpu_core_0 "12.000000000000002".
- 1078591 cpu_core_0 "12.000000000000002".
- 1078670 cpu_core_0 "12.000000000000002".
- 1078687 cpu_core_0 "12.000000000000002".
- 1078706 cpu_core_0 "12.000000000000002".
- 1078851 cpu_core_0 "12.000000000000002".
- 1078880 cpu_core_0 "12.000000000000002".
- 1078908 cpu_core_0 "12.000000000000002".
- 1078935 cpu_core_0 "12.000000000000002".
- 1078939 cpu_core_0 "12.000000000000002".
- 1079028 cpu_core_0 "12.000000000000002".
- 1079054 cpu_core_0 "12.000000000000002".
- 1079060 cpu_core_0 "12.000000000000002".
- 1079078 cpu_core_0 "12.000000000000002".
- 1079133 cpu_core_0 "12.000000000000002".
- 1079289 cpu_core_0 "12.000000000000002".
- 1079302 cpu_core_0 "12.000000000000002".
- 1079362 cpu_core_0 "12.000000000000002".
- 1079405 cpu_core_0 "12.000000000000002".
- 1079408 cpu_core_0 "12.000000000000002".
- 1079450 cpu_core_0 "12.000000000000002".
- 1079611 cpu_core_0 "12.000000000000002".
- 1079633 cpu_core_0 "12.000000000000002".
- 1079634 cpu_core_0 "12.000000000000002".
- 1079851 cpu_core_0 "12.000000000000002".
- 1079919 cpu_core_0 "12.000000000000002".
- 1080010 cpu_core_0 "12.000000000000002".
- 1080013 cpu_core_0 "12.000000000000002".
- 1080082 cpu_core_0 "12.000000000000002".
- 1080132 cpu_core_0 "12.000000000000002".
- 1080150 cpu_core_0 "12.000000000000002".
- 1080202 cpu_core_0 "12.000000000000002".
- 1080220 cpu_core_0 "12.000000000000002".
- 1080268 cpu_core_0 "12.000000000000002".
- 1080270 cpu_core_0 "12.000000000000002".
- 1080318 cpu_core_0 "12.000000000000002".
- 1080349 cpu_core_0 "12.000000000000002".
- 1080351 cpu_core_0 "12.000000000000002".
- 1080360 cpu_core_0 "12.000000000000002".
- 1080395 cpu_core_0 "12.000000000000002".
- 1080438 cpu_core_0 "12.000000000000002".
- 1080446 cpu_core_0 "12.000000000000002".
- 1080573 cpu_core_0 "12.000000000000002".
- 1080580 cpu_core_0 "12.000000000000002".
- 1080632 cpu_core_0 "12.000000000000002".
- 1080938 cpu_core_0 "12.000000000000002".
- 1080961 cpu_core_0 "12.000000000000002".
- 1080966 cpu_core_0 "12.000000000000002".
- 1080999 cpu_core_0 "12.000000000000002".
- 1081151 cpu_core_0 "12.000000000000002".
- 1081196 cpu_core_0 "12.000000000000002".
- 1081217 cpu_core_0 "12.000000000000002".
- 1081274 cpu_core_0 "12.000000000000002".
- 1081599 cpu_core_0 "12.000000000000002".
- 1081661 cpu_core_0 "12.000000000000002".
- 1081710 cpu_core_0 "12.000000000000002".
- 1081843 cpu_core_0 "12.000000000000002".
- 1081933 cpu_core_0 "12.000000000000002".
- 1081948 cpu_core_0 "12.000000000000002".
- 1082040 cpu_core_0 "12.000000000000002".
- 1082059 cpu_core_0 "12.000000000000002".
- 1082073 cpu_core_0 "12.000000000000002".
- 1082076 cpu_core_0 "12.000000000000002".
- 1082154 cpu_core_0 "12.000000000000002".
- 1082187 cpu_core_0 "12.000000000000002".
- 1082279 cpu_core_0 "12.000000000000002".
- 1082564 cpu_core_0 "12.000000000000002".
- 1082605 cpu_core_0 "12.000000000000002".
- 1082611 cpu_core_0 "12.000000000000002".
- 1082724 cpu_core_0 "12.000000000000002".
- 1082778 cpu_core_0 "12.000000000000002".
- 1082807 cpu_core_0 "12.000000000000002".
- 1082848 cpu_core_0 "12.000000000000002".
- 1082886 cpu_core_0 "12.000000000000002".
- 1082896 cpu_core_0 "12.000000000000002".