Matches in ISWC2014 Benchmark for { ?s ?p 12.000000000000002. }
- 1091012 cpu_core_0 "12.000000000000002".
- 1091108 cpu_core_0 "12.000000000000002".
- 1091143 cpu_core_0 "12.000000000000002".
- 1091183 cpu_core_0 "12.000000000000002".
- 1091194 cpu_core_0 "12.000000000000002".
- 1091233 cpu_core_0 "12.000000000000002".
- 1091340 cpu_core_0 "12.000000000000002".
- 1091346 cpu_core_0 "12.000000000000002".
- 1091467 cpu_core_0 "12.000000000000002".
- 1091747 cpu_core_0 "12.000000000000002".
- 1091803 cpu_core_0 "12.000000000000002".
- 1091824 cpu_core_0 "12.000000000000002".
- 1091861 cpu_core_0 "12.000000000000002".
- 1091997 cpu_core_0 "12.000000000000002".
- 1092024 cpu_core_0 "12.000000000000002".
- 1092109 cpu_core_0 "12.000000000000002".
- 1092146 cpu_core_0 "12.000000000000002".
- 1092205 cpu_core_0 "12.000000000000002".
- 1092263 cpu_core_0 "12.000000000000002".
- 1092271 cpu_core_0 "12.000000000000002".
- 1092404 cpu_core_0 "12.000000000000002".
- 1092407 cpu_core_0 "12.000000000000002".
- 1092562 cpu_core_0 "12.000000000000002".
- 1092565 cpu_core_0 "12.000000000000002".
- 1092588 cpu_core_0 "12.000000000000002".
- 1092617 cpu_core_0 "12.000000000000002".
- 1092650 cpu_core_0 "12.000000000000002".
- 1092757 cpu_core_0 "12.000000000000002".
- 1092808 cpu_core_0 "12.000000000000002".
- 1092945 cpu_core_0 "12.000000000000002".
- 1093034 cpu_core_0 "12.000000000000002".
- 1093116 cpu_core_0 "12.000000000000002".
- 1093156 cpu_core_0 "12.000000000000002".
- 1093166 cpu_core_0 "12.000000000000002".
- 1093167 cpu_core_0 "12.000000000000002".
- 1093194 cpu_core_0 "12.000000000000002".
- 1093195 cpu_core_0 "12.000000000000002".
- 1093384 cpu_core_0 "12.000000000000002".
- 1093498 cpu_core_0 "12.000000000000002".
- 1093506 cpu_core_0 "12.000000000000002".
- 1093525 cpu_core_0 "12.000000000000002".
- 1093644 cpu_core_0 "12.000000000000002".
- 1093665 cpu_core_0 "12.000000000000002".
- 1093954 cpu_core_0 "12.000000000000002".
- 1093979 cpu_core_0 "12.000000000000002".
- 1094016 cpu_core_0 "12.000000000000002".
- 1094037 cpu_core_0 "12.000000000000002".
- 1094195 cpu_core_0 "12.000000000000002".
- 1094237 cpu_core_0 "12.000000000000002".
- 1094431 cpu_core_0 "12.000000000000002".
- 1094571 cpu_core_0 "12.000000000000002".
- 1094630 cpu_core_0 "12.000000000000002".
- 1094672 cpu_core_0 "12.000000000000002".
- 1094808 cpu_core_0 "12.000000000000002".
- 1094829 cpu_core_0 "12.000000000000002".
- 1094840 cpu_core_0 "12.000000000000002".
- 1094850 cpu_core_0 "12.000000000000002".
- 1094984 cpu_core_0 "12.000000000000002".
- 1095035 cpu_core_0 "12.000000000000002".
- 1095190 cpu_core_0 "12.000000000000002".
- 1095310 cpu_core_0 "12.000000000000002".
- 1095574 cpu_core_0 "12.000000000000002".
- 1095596 cpu_core_0 "12.000000000000002".
- 1095909 cpu_core_0 "12.000000000000002".
- 1095959 cpu_core_0 "12.000000000000002".
- 1095972 cpu_core_0 "12.000000000000002".
- 1096004 cpu_core_0 "12.000000000000002".
- 1096015 cpu_core_0 "12.000000000000002".
- 1096021 cpu_core_0 "12.000000000000002".
- 1096024 cpu_core_0 "12.000000000000002".
- 1096081 cpu_core_0 "12.000000000000002".
- 1096087 cpu_core_0 "12.000000000000002".
- 1096141 cpu_core_0 "12.000000000000002".
- 1096272 cpu_core_0 "12.000000000000002".
- 1096524 cpu_core_0 "12.000000000000002".
- 1096581 cpu_core_0 "12.000000000000002".
- 1096631 cpu_core_0 "12.000000000000002".
- 1096720 cpu_core_0 "12.000000000000002".
- 1096734 cpu_core_0 "12.000000000000002".
- 1096771 cpu_core_0 "12.000000000000002".
- 1096934 cpu_core_0 "12.000000000000002".
- 1097054 cpu_core_0 "12.000000000000002".
- 1097165 cpu_core_0 "12.000000000000002".
- 1097210 cpu_core_0 "12.000000000000002".
- 1097278 cpu_core_0 "12.000000000000002".
- 1097304 cpu_core_0 "12.000000000000002".
- 1097331 cpu_core_0 "12.000000000000002".
- 1097356 cpu_core_0 "12.000000000000002".
- 1097479 cpu_core_0 "12.000000000000002".
- 1097530 cpu_core_0 "12.000000000000002".
- 1097561 cpu_core_0 "12.000000000000002".
- 1097597 cpu_core_0 "12.000000000000002".
- 1097675 cpu_core_0 "12.000000000000002".
- 1097713 cpu_core_0 "12.000000000000002".
- 1097973 cpu_core_0 "12.000000000000002".
- 1098012 cpu_core_0 "12.000000000000002".
- 1098129 cpu_core_0 "12.000000000000002".
- 1098197 cpu_core_0 "12.000000000000002".
- 1098292 cpu_core_0 "12.000000000000002".
- 1098331 cpu_core_0 "12.000000000000002".