Matches in ISWC2014 Benchmark for { ?s ?p 12.000000000000002. }
- 1122233 cpu_core_0 "12.000000000000002".
- 1122306 cpu_core_0 "12.000000000000002".
- 1122324 cpu_core_0 "12.000000000000002".
- 1122575 cpu_core_0 "12.000000000000002".
- 1122598 cpu_core_0 "12.000000000000002".
- 1122662 cpu_core_0 "12.000000000000002".
- 1122698 cpu_core_0 "12.000000000000002".
- 1122809 cpu_core_0 "12.000000000000002".
- 1122851 cpu_core_0 "12.000000000000002".
- 1122925 cpu_core_0 "12.000000000000002".
- 1123062 cpu_core_0 "12.000000000000002".
- 1123314 cpu_core_0 "12.000000000000002".
- 1123649 cpu_core_0 "12.000000000000002".
- 1123973 cpu_core_0 "12.000000000000002".
- 1123975 cpu_core_0 "12.000000000000002".
- 1123996 cpu_core_0 "12.000000000000002".
- 1124026 cpu_core_0 "12.000000000000002".
- 1124162 cpu_core_0 "12.000000000000002".
- 1124497 cpu_core_0 "12.000000000000002".
- 1124514 cpu_core_0 "12.000000000000002".
- 1124595 cpu_core_0 "12.000000000000002".
- 1124617 cpu_core_0 "12.000000000000002".
- 1124747 cpu_core_0 "12.000000000000002".
- 1125242 cpu_core_0 "12.000000000000002".
- 1125261 cpu_core_0 "12.000000000000002".
- 1125291 cpu_core_0 "12.000000000000002".
- 1125315 cpu_core_0 "12.000000000000002".
- 1125316 cpu_core_0 "12.000000000000002".
- 1125388 cpu_core_0 "12.000000000000002".
- 1125412 cpu_core_0 "12.000000000000002".
- 1125420 cpu_core_0 "12.000000000000002".
- 1125468 cpu_core_0 "12.000000000000002".
- 1125500 cpu_core_0 "12.000000000000002".
- 1125557 cpu_core_0 "12.000000000000002".
- 1125558 cpu_core_0 "12.000000000000002".
- 1125589 cpu_core_0 "12.000000000000002".
- 1125620 cpu_core_0 "12.000000000000002".
- 1125714 cpu_core_0 "12.000000000000002".
- 1125726 cpu_core_0 "12.000000000000002".
- 1125772 cpu_core_0 "12.000000000000002".
- 1125837 cpu_core_0 "12.000000000000002".
- 1125877 cpu_core_0 "12.000000000000002".
- 1125878 cpu_core_0 "12.000000000000002".
- 1125955 cpu_core_0 "12.000000000000002".
- 1126247 cpu_core_0 "12.000000000000002".
- 1126403 cpu_core_0 "12.000000000000002".
- 1126453 cpu_core_0 "12.000000000000002".
- 1126497 cpu_core_0 "12.000000000000002".
- 1126722 cpu_core_0 "12.000000000000002".
- 1126826 cpu_core_0 "12.000000000000002".
- 1126865 cpu_core_0 "12.000000000000002".
- 1126868 cpu_core_0 "12.000000000000002".
- 1126979 cpu_core_0 "12.000000000000002".
- 1126992 cpu_core_0 "12.000000000000002".
- 1127037 cpu_core_0 "12.000000000000002".
- 1127043 cpu_core_0 "12.000000000000002".
- 1127053 cpu_core_0 "12.000000000000002".
- 1127068 cpu_core_0 "12.000000000000002".
- 1127188 cpu_core_0 "12.000000000000002".
- 1127216 cpu_core_0 "12.000000000000002".
- 1127241 cpu_core_0 "12.000000000000002".
- 1127247 cpu_core_0 "12.000000000000002".
- 1127276 cpu_core_0 "12.000000000000002".
- 1127282 cpu_core_0 "12.000000000000002".
- 1127300 cpu_core_0 "12.000000000000002".
- 1127413 cpu_core_0 "12.000000000000002".
- 1127431 cpu_core_0 "12.000000000000002".
- 1127455 cpu_core_0 "12.000000000000002".
- 1127461 cpu_core_0 "12.000000000000002".
- 1127516 cpu_core_0 "12.000000000000002".
- 1127584 cpu_core_0 "12.000000000000002".
- 1127682 cpu_core_0 "12.000000000000002".
- 1127825 cpu_core_0 "12.000000000000002".
- 1128003 cpu_core_0 "12.000000000000002".
- 1128032 cpu_core_0 "12.000000000000002".
- 1128042 cpu_core_0 "12.000000000000002".
- 1128062 cpu_core_0 "12.000000000000002".
- 1128082 cpu_core_0 "12.000000000000002".
- 1128106 cpu_core_0 "12.000000000000002".
- 1128135 cpu_core_0 "12.000000000000002".
- 1128206 cpu_core_0 "12.000000000000002".
- 1128250 cpu_core_0 "12.000000000000002".
- 1128324 cpu_core_0 "12.000000000000002".
- 1128370 cpu_core_0 "12.000000000000002".
- 1128521 cpu_core_0 "12.000000000000002".
- 1128717 cpu_core_0 "12.000000000000002".
- 1128915 cpu_core_0 "12.000000000000002".
- 1128916 cpu_core_0 "12.000000000000002".
- 1128999 cpu_core_0 "12.000000000000002".
- 1129108 cpu_core_0 "12.000000000000002".
- 1129147 cpu_core_0 "12.000000000000002".
- 1129210 cpu_core_0 "12.000000000000002".
- 1129334 cpu_core_0 "12.000000000000002".
- 1129374 cpu_core_0 "12.000000000000002".
- 1129409 cpu_core_0 "12.000000000000002".
- 1129473 cpu_core_0 "12.000000000000002".
- 1129630 cpu_core_0 "12.000000000000002".
- 1129648 cpu_core_0 "12.000000000000002".
- 1129724 cpu_core_0 "12.000000000000002".
- 1130080 cpu_core_0 "12.000000000000002".