Matches in ISWC2014 Benchmark for { ?s ?p 12.745098039215685. }
- 1012834 cpu_core_1 "12.745098039215685".
- 1019005 cpu_core_1 "12.745098039215685".
- 1022185 cpu_core_1 "12.745098039215685".
- 1031499 cpu_core_1 "12.745098039215685".
- 1032667 cpu_core_1 "12.745098039215685".
- 1034416 cpu_core_1 "12.745098039215685".
- 1037965 cpu_core_1 "12.745098039215685".
- 1039367 cpu_core_1 "12.745098039215685".
- 1039478 cpu_core_1 "12.745098039215685".
- 1048639 cpu_core_1 "12.745098039215685".
- 1049493 cpu_core_1 "12.745098039215685".
- 1051420 cpu_core_1 "12.745098039215685".
- 1052006 cpu_core_1 "12.745098039215685".
- 1052317 cpu_core_1 "12.745098039215685".
- 1053673 cpu_core_1 "12.745098039215685".
- 1053820 cpu_core_1 "12.745098039215685".
- 1054934 cpu_core_1 "12.745098039215685".
- 1056598 cpu_core_1 "12.745098039215685".
- 1056811 cpu_core_1 "12.745098039215685".
- 1056979 cpu_core_1 "12.745098039215685".
- 1058368 cpu_core_1 "12.745098039215685".
- 1060702 cpu_core_1 "12.745098039215685".
- 1061289 cpu_core_1 "12.745098039215685".
- 1061614 cpu_core_1 "12.745098039215685".
- 1061783 cpu_core_1 "12.745098039215685".
- 1063304 cpu_core_1 "12.745098039215685".
- 1068382 cpu_core_1 "12.745098039215685".
- 1069101 cpu_core_1 "12.745098039215685".
- 1069676 cpu_core_1 "12.745098039215685".
- 1070421 cpu_core_1 "12.745098039215685".
- 1070671 cpu_core_1 "12.745098039215685".
- 1070751 cpu_core_1 "12.745098039215685".
- 1073941 cpu_core_1 "12.745098039215685".
- 1074695 cpu_core_1 "12.745098039215685".
- 1075813 cpu_core_1 "12.745098039215685".
- 1076096 cpu_core_1 "12.745098039215685".
- 1078833 cpu_core_1 "12.745098039215685".
- 1080925 cpu_core_1 "12.745098039215685".
- 1081611 cpu_core_1 "12.745098039215685".
- 1083570 cpu_core_1 "12.745098039215685".
- 1084750 cpu_core_1 "12.745098039215685".
- 1089117 cpu_core_1 "12.745098039215685".
- 1091465 cpu_core_1 "12.745098039215685".
- 1092147 cpu_core_1 "12.745098039215685".
- 1093791 cpu_core_1 "12.745098039215685".
- 1095899 cpu_core_1 "12.745098039215685".
- 1101909 cpu_core_1 "12.745098039215685".
- 1102557 cpu_core_1 "12.745098039215685".
- 1106730 cpu_core_1 "12.745098039215685".
- 1108475 cpu_core_1 "12.745098039215685".
- 1112410 cpu_core_1 "12.745098039215685".
- 1113320 cpu_core_1 "12.745098039215685".
- 1116441 cpu_core_1 "12.745098039215685".
- 1118589 cpu_core_1 "12.745098039215685".
- 1119911 cpu_core_1 "12.745098039215685".
- 1120020 cpu_core_1 "12.745098039215685".
- 1120179 cpu_core_1 "12.745098039215685".
- 1120491 cpu_core_1 "12.745098039215685".
- 1122348 cpu_core_1 "12.745098039215685".
- 1123425 cpu_core_1 "12.745098039215685".
- 1123513 cpu_core_1 "12.745098039215685".
- 1123536 cpu_core_1 "12.745098039215685".
- 1125129 cpu_core_1 "12.745098039215685".
- 1132476 cpu_core_1 "12.745098039215685".
- 1132708 cpu_core_1 "12.745098039215685".
- 1133193 cpu_core_1 "12.745098039215685".
- 1133893 cpu_core_1 "12.745098039215685".
- 1137477 cpu_core_1 "12.745098039215685".
- 1139372 cpu_core_1 "12.745098039215685".
- 1139760 cpu_core_1 "12.745098039215685".
- 1139856 cpu_core_1 "12.745098039215685".
- 1141548 cpu_core_1 "12.745098039215685".
- 1143573 cpu_core_1 "12.745098039215685".
- 1144965 cpu_core_1 "12.745098039215685".
- 1145461 cpu_core_1 "12.745098039215685".
- 1147123 cpu_core_1 "12.745098039215685".
- 1149524 cpu_core_1 "12.745098039215685".
- 1150541 cpu_core_1 "12.745098039215685".
- 1150621 cpu_core_1 "12.745098039215685".
- 1151025 cpu_core_1 "12.745098039215685".
- 1152019 cpu_core_1 "12.745098039215685".
- 1154512 cpu_core_1 "12.745098039215685".
- 1156169 cpu_core_1 "12.745098039215685".
- 1163539 cpu_core_1 "12.745098039215685".
- 1164293 cpu_core_1 "12.745098039215685".
- 1164316 cpu_core_1 "12.745098039215685".
- 1164581 cpu_core_1 "12.745098039215685".
- 1167053 cpu_core_1 "12.745098039215685".
- 1170481 cpu_core_1 "12.745098039215685".
- 1173494 cpu_core_1 "12.745098039215685".
- 1177148 cpu_core_1 "12.745098039215685".
- 1178492 cpu_core_1 "12.745098039215685".
- 1179625 cpu_core_1 "12.745098039215685".
- 1180125 cpu_core_1 "12.745098039215685".
- 1180803 cpu_core_1 "12.745098039215685".
- 1182807 cpu_core_1 "12.745098039215685".
- 1183229 cpu_core_1 "12.745098039215685".
- 1184233 cpu_core_1 "12.745098039215685".
- 1184315 cpu_core_1 "12.745098039215685".
- 1189906 cpu_core_1 "12.745098039215685".