Matches in ISWC2014 Benchmark for { ?s ?p 12.000000000000002. }
- 1130103 cpu_core_0 "12.000000000000002".
- 1130290 cpu_core_0 "12.000000000000002".
- 1130890 cpu_core_0 "12.000000000000002".
- 1130941 cpu_core_0 "12.000000000000002".
- 1131055 cpu_core_0 "12.000000000000002".
- 1131057 cpu_core_0 "12.000000000000002".
- 1131085 cpu_core_0 "12.000000000000002".
- 1131153 cpu_core_0 "12.000000000000002".
- 1131198 cpu_core_0 "12.000000000000002".
- 1131208 cpu_core_0 "12.000000000000002".
- 1131260 cpu_core_0 "12.000000000000002".
- 1131265 cpu_core_0 "12.000000000000002".
- 1131321 cpu_core_0 "12.000000000000002".
- 1131518 cpu_core_0 "12.000000000000002".
- 1131627 cpu_core_0 "12.000000000000002".
- 1131654 cpu_core_0 "12.000000000000002".
- 1131661 cpu_core_0 "12.000000000000002".
- 1131718 cpu_core_0 "12.000000000000002".
- 1131729 cpu_core_0 "12.000000000000002".
- 1131739 cpu_core_0 "12.000000000000002".
- 1131860 cpu_core_0 "12.000000000000002".
- 1131866 cpu_core_0 "12.000000000000002".
- 1131992 cpu_core_0 "12.000000000000002".
- 1131998 cpu_core_0 "12.000000000000002".
- 1132017 cpu_core_0 "12.000000000000002".
- 1132120 cpu_core_0 "12.000000000000002".
- 1132349 cpu_core_0 "12.000000000000002".
- 1132392 cpu_core_0 "12.000000000000002".
- 1132466 cpu_core_0 "12.000000000000002".
- 1132625 cpu_core_0 "12.000000000000002".
- 1132635 cpu_core_0 "12.000000000000002".
- 1132849 cpu_core_0 "12.000000000000002".
- 1132935 cpu_core_0 "12.000000000000002".
- 1132950 cpu_core_0 "12.000000000000002".
- 1132954 cpu_core_0 "12.000000000000002".
- 1132960 cpu_core_0 "12.000000000000002".
- 1133012 cpu_core_0 "12.000000000000002".
- 1133084 cpu_core_0 "12.000000000000002".
- 1133117 cpu_core_0 "12.000000000000002".
- 1133177 cpu_core_0 "12.000000000000002".
- 1133239 cpu_core_0 "12.000000000000002".
- 1133341 cpu_core_0 "12.000000000000002".
- 1133414 cpu_core_0 "12.000000000000002".
- 1133417 cpu_core_0 "12.000000000000002".
- 1133434 cpu_core_0 "12.000000000000002".
- 1133652 cpu_core_0 "12.000000000000002".
- 1133664 cpu_core_0 "12.000000000000002".
- 1133706 cpu_core_0 "12.000000000000002".
- 1133730 cpu_core_0 "12.000000000000002".
- 1133800 cpu_core_0 "12.000000000000002".
- 1133820 cpu_core_0 "12.000000000000002".
- 1133882 cpu_core_0 "12.000000000000002".
- 1133903 cpu_core_0 "12.000000000000002".
- 1134068 cpu_core_0 "12.000000000000002".
- 1134205 cpu_core_0 "12.000000000000002".
- 1134251 cpu_core_0 "12.000000000000002".
- 1134286 cpu_core_0 "12.000000000000002".
- 1134316 cpu_core_0 "12.000000000000002".
- 1134365 cpu_core_0 "12.000000000000002".
- 1134601 cpu_core_0 "12.000000000000002".
- 1134679 cpu_core_0 "12.000000000000002".
- 1134748 cpu_core_0 "12.000000000000002".
- 1134754 cpu_core_0 "12.000000000000002".
- 1135004 cpu_core_0 "12.000000000000002".
- 1135149 cpu_core_0 "12.000000000000002".
- 1135235 cpu_core_0 "12.000000000000002".
- 1135252 cpu_core_0 "12.000000000000002".
- 1135369 cpu_core_0 "12.000000000000002".
- 1135382 cpu_core_0 "12.000000000000002".
- 1135766 cpu_core_0 "12.000000000000002".
- 1135927 cpu_core_0 "12.000000000000002".
- 1135986 cpu_core_0 "12.000000000000002".
- 1136009 cpu_core_0 "12.000000000000002".
- 1136187 cpu_core_0 "12.000000000000002".
- 1136376 cpu_core_0 "12.000000000000002".
- 1136971 cpu_core_0 "12.000000000000002".
- 1136973 cpu_core_0 "12.000000000000002".
- 1137016 cpu_core_0 "12.000000000000002".
- 1137021 cpu_core_0 "12.000000000000002".
- 1137031 cpu_core_0 "12.000000000000002".
- 1137042 cpu_core_0 "12.000000000000002".
- 1137129 cpu_core_0 "12.000000000000002".
- 1137207 cpu_core_0 "12.000000000000002".
- 1137480 cpu_core_0 "12.000000000000002".
- 1137576 cpu_core_0 "12.000000000000002".
- 1137581 cpu_core_0 "12.000000000000002".
- 1137583 cpu_core_0 "12.000000000000002".
- 1137613 cpu_core_0 "12.000000000000002".
- 1137635 cpu_core_0 "12.000000000000002".
- 1137647 cpu_core_0 "12.000000000000002".
- 1137652 cpu_core_0 "12.000000000000002".
- 1137654 cpu_core_0 "12.000000000000002".
- 1137682 cpu_core_0 "12.000000000000002".
- 1137687 cpu_core_0 "12.000000000000002".
- 1137690 cpu_core_0 "12.000000000000002".
- 1137743 cpu_core_0 "12.000000000000002".
- 1137776 cpu_core_0 "12.000000000000002".
- 1137827 cpu_core_0 "12.000000000000002".
- 1137851 cpu_core_0 "12.000000000000002".
- 1137858 cpu_core_0 "12.000000000000002".