Matches in ISWC2014 Benchmark for { ?s ?p 12.745098039215685. }
- 1073728 cpu_core_0 "12.745098039215685".
- 1073851 cpu_core_0 "12.745098039215685".
- 1074061 cpu_core_0 "12.745098039215685".
- 1074231 cpu_core_0 "12.745098039215685".
- 1075720 cpu_core_0 "12.745098039215685".
- 1075749 cpu_core_0 "12.745098039215685".
- 1076151 cpu_core_0 "12.745098039215685".
- 1077581 cpu_core_0 "12.745098039215685".
- 1078586 cpu_core_0 "12.745098039215685".
- 1079655 cpu_core_0 "12.745098039215685".
- 1079966 cpu_core_0 "12.745098039215685".
- 1080466 cpu_core_0 "12.745098039215685".
- 1081289 cpu_core_0 "12.745098039215685".
- 1081699 cpu_core_0 "12.745098039215685".
- 1081762 cpu_core_0 "12.745098039215685".
- 1082445 cpu_core_0 "12.745098039215685".
- 1082483 cpu_core_0 "12.745098039215685".
- 1082552 cpu_core_0 "12.745098039215685".
- 1082851 cpu_core_0 "12.745098039215685".
- 1083336 cpu_core_0 "12.745098039215685".
- 1083581 cpu_core_0 "12.745098039215685".
- 1084218 cpu_core_0 "12.745098039215685".
- 1084878 cpu_core_0 "12.745098039215685".
- 1085604 cpu_core_0 "12.745098039215685".
- 1088872 cpu_core_0 "12.745098039215685".
- 1089229 cpu_core_0 "12.745098039215685".
- 1091080 cpu_core_0 "12.745098039215685".
- 1092044 cpu_core_0 "12.745098039215685".
- 1092816 cpu_core_0 "12.745098039215685".
- 1094350 cpu_core_0 "12.745098039215685".
- 1094522 cpu_core_0 "12.745098039215685".
- 1096396 cpu_core_0 "12.745098039215685".
- 1096696 cpu_core_0 "12.745098039215685".
- 1097473 cpu_core_0 "12.745098039215685".
- 1099008 cpu_core_0 "12.745098039215685".
- 1099413 cpu_core_0 "12.745098039215685".
- 1099934 cpu_core_0 "12.745098039215685".
- 1100589 cpu_core_0 "12.745098039215685".
- 1101152 cpu_core_0 "12.745098039215685".
- 1101294 cpu_core_0 "12.745098039215685".
- 1102742 cpu_core_0 "12.745098039215685".
- 1102757 cpu_core_0 "12.745098039215685".
- 1102888 cpu_core_0 "12.745098039215685".
- 1103492 cpu_core_0 "12.745098039215685".
- 1104791 cpu_core_0 "12.745098039215685".
- 1104861 cpu_core_0 "12.745098039215685".
- 1105579 cpu_core_0 "12.745098039215685".
- 1108670 cpu_core_0 "12.745098039215685".
- 1109466 cpu_core_0 "12.745098039215685".
- 1109539 cpu_core_0 "12.745098039215685".
- 1110251 cpu_core_0 "12.745098039215685".
- 1111698 cpu_core_0 "12.745098039215685".
- 1113323 cpu_core_0 "12.745098039215685".
- 1114245 cpu_core_0 "12.745098039215685".
- 1114924 cpu_core_0 "12.745098039215685".
- 1115757 cpu_core_0 "12.745098039215685".
- 1116197 cpu_core_0 "12.745098039215685".
- 1116245 cpu_core_0 "12.745098039215685".
- 1116265 cpu_core_0 "12.745098039215685".
- 1117554 cpu_core_0 "12.745098039215685".
- 1117819 cpu_core_0 "12.745098039215685".
- 1117869 cpu_core_0 "12.745098039215685".
- 1117987 cpu_core_0 "12.745098039215685".
- 1118473 cpu_core_0 "12.745098039215685".
- 1119115 cpu_core_0 "12.745098039215685".
- 1119813 cpu_core_0 "12.745098039215685".
- 1120083 cpu_core_0 "12.745098039215685".
- 1121268 cpu_core_0 "12.745098039215685".
- 1121636 cpu_core_0 "12.745098039215685".
- 1121936 cpu_core_0 "12.745098039215685".
- 1122202 cpu_core_0 "12.745098039215685".
- 1122728 cpu_core_0 "12.745098039215685".
- 1123142 cpu_core_0 "12.745098039215685".
- 1123178 cpu_core_0 "12.745098039215685".
- 1123210 cpu_core_0 "12.745098039215685".
- 1123268 cpu_core_0 "12.745098039215685".
- 1123342 cpu_core_0 "12.745098039215685".
- 1123575 cpu_core_0 "12.745098039215685".
- 1124069 cpu_core_0 "12.745098039215685".
- 1124169 cpu_core_0 "12.745098039215685".
- 1124547 cpu_core_0 "12.745098039215685".
- 1124654 cpu_core_0 "12.745098039215685".
- 1124739 cpu_core_0 "12.745098039215685".
- 1124832 cpu_core_0 "12.745098039215685".
- 1128244 cpu_core_0 "12.745098039215685".
- 1129113 cpu_core_0 "12.745098039215685".
- 1129350 cpu_core_0 "12.745098039215685".
- 1129617 cpu_core_0 "12.745098039215685".
- 1130431 cpu_core_0 "12.745098039215685".
- 1131270 cpu_core_0 "12.745098039215685".
- 1131521 cpu_core_0 "12.745098039215685".
- 1131967 cpu_core_0 "12.745098039215685".
- 1132051 cpu_core_0 "12.745098039215685".
- 1132740 cpu_core_0 "12.745098039215685".
- 1132963 cpu_core_0 "12.745098039215685".
- 1134129 cpu_core_0 "12.745098039215685".
- 1135400 cpu_core_0 "12.745098039215685".
- 1136452 cpu_core_0 "12.745098039215685".
- 1137213 cpu_core_0 "12.745098039215685".
- 1137236 cpu_core_0 "12.745098039215685".