Matches in ISWC2014 Benchmark for { ?s ?p 12.745098039215685. }
- 1271244 cpu_core_0 "12.745098039215685".
- 1271436 cpu_core_0 "12.745098039215685".
- 1271893 cpu_core_0 "12.745098039215685".
- 1272055 cpu_core_0 "12.745098039215685".
- 1272301 cpu_core_0 "12.745098039215685".
- 1272487 cpu_core_0 "12.745098039215685".
- 1272610 cpu_core_0 "12.745098039215685".
- 1272771 cpu_core_0 "12.745098039215685".
- 1274027 cpu_core_0 "12.745098039215685".
- 1274886 cpu_core_0 "12.745098039215685".
- 1275906 cpu_core_0 "12.745098039215685".
- 1277647 cpu_core_0 "12.745098039215685".
- 1278029 cpu_core_0 "12.745098039215685".
- 1278032 cpu_core_0 "12.745098039215685".
- 1278293 cpu_core_0 "12.745098039215685".
- 1278363 cpu_core_0 "12.745098039215685".
- 1278400 cpu_core_0 "12.745098039215685".
- 1278936 cpu_core_0 "12.745098039215685".
- 1279514 cpu_core_0 "12.745098039215685".
- 1279646 cpu_core_0 "12.745098039215685".
- 1280517 cpu_core_0 "12.745098039215685".
- 1281108 cpu_core_0 "12.745098039215685".
- 1281595 cpu_core_0 "12.745098039215685".
- 1281782 cpu_core_0 "12.745098039215685".
- 1282270 cpu_core_0 "12.745098039215685".
- 1282696 cpu_core_0 "12.745098039215685".
- 1283851 cpu_core_0 "12.745098039215685".
- 1283985 cpu_core_0 "12.745098039215685".
- 1284112 cpu_core_0 "12.745098039215685".
- 1284221 cpu_core_0 "12.745098039215685".
- 1284718 cpu_core_0 "12.745098039215685".
- 1285456 cpu_core_0 "12.745098039215685".
- 1287957 cpu_core_0 "12.745098039215685".
- 1288151 cpu_core_0 "12.745098039215685".
- 1288411 cpu_core_0 "12.745098039215685".
- 1288827 cpu_core_0 "12.745098039215685".
- 1289100 cpu_core_0 "12.745098039215685".
- 1289359 cpu_core_0 "12.745098039215685".
- 1290034 cpu_core_0 "12.745098039215685".
- 1290565 cpu_core_0 "12.745098039215685".
- 1290673 cpu_core_0 "12.745098039215685".
- 1290811 cpu_core_0 "12.745098039215685".
- 1291829 cpu_core_0 "12.745098039215685".
- 1291968 cpu_core_0 "12.745098039215685".
- 1291996 cpu_core_0 "12.745098039215685".
- 1292608 cpu_core_0 "12.745098039215685".
- 1293226 cpu_core_0 "12.745098039215685".
- 1293438 cpu_core_0 "12.745098039215685".
- 1294155 cpu_core_0 "12.745098039215685".
- 1294775 cpu_core_0 "12.745098039215685".
- 1295324 cpu_core_0 "12.745098039215685".
- 1297251 cpu_core_0 "12.745098039215685".
- 1297733 cpu_core_0 "12.745098039215685".
- 1297865 cpu_core_0 "12.745098039215685".
- 1297977 cpu_core_0 "12.745098039215685".
- 1298225 cpu_core_0 "12.745098039215685".
- 1298839 cpu_core_0 "12.745098039215685".
- 1299367 cpu_core_0 "12.745098039215685".
- 1300140 cpu_core_0 "12.745098039215685".
- 1300364 cpu_core_0 "12.745098039215685".
- 1300369 cpu_core_0 "12.745098039215685".
- 1300816 cpu_core_0 "12.745098039215685".
- 1301790 cpu_core_0 "12.745098039215685".
- 1302041 cpu_core_0 "12.745098039215685".
- 1302380 cpu_core_0 "12.745098039215685".
- 1303703 cpu_core_0 "12.745098039215685".
- 1304125 cpu_core_0 "12.745098039215685".
- 1304533 cpu_core_0 "12.745098039215685".
- 1304976 cpu_core_0 "12.745098039215685".
- 1306292 cpu_core_0 "12.745098039215685".
- 1306369 cpu_core_0 "12.745098039215685".
- 1306497 cpu_core_0 "12.745098039215685".
- 1308009 cpu_core_0 "12.745098039215685".
- 1308077 cpu_core_0 "12.745098039215685".
- 1308184 cpu_core_0 "12.745098039215685".
- 1309373 cpu_core_0 "12.745098039215685".
- 1310609 cpu_core_0 "12.745098039215685".
- 1311760 cpu_core_0 "12.745098039215685".
- 1312635 cpu_core_0 "12.745098039215685".
- 1313760 cpu_core_0 "12.745098039215685".
- 1313920 cpu_core_0 "12.745098039215685".
- 1314161 cpu_core_0 "12.745098039215685".
- 1314636 cpu_core_0 "12.745098039215685".
- 1314688 cpu_core_0 "12.745098039215685".
- 1315188 cpu_core_0 "12.745098039215685".
- 1315624 cpu_core_0 "12.745098039215685".
- 1315852 cpu_core_0 "12.745098039215685".
- 1317330 cpu_core_0 "12.745098039215685".
- 1317557 cpu_core_0 "12.745098039215685".
- 1317563 cpu_core_0 "12.745098039215685".
- 1317926 cpu_core_0 "12.745098039215685".
- 1318336 cpu_core_0 "12.745098039215685".
- 1319128 cpu_core_0 "12.745098039215685".
- 1319248 cpu_core_0 "12.745098039215685".
- 1320214 cpu_core_0 "12.745098039215685".
- 1320368 cpu_core_0 "12.745098039215685".
- 1320649 cpu_core_0 "12.745098039215685".
- 1322832 cpu_core_0 "12.745098039215685".
- 1325082 cpu_core_0 "12.745098039215685".
- 1326141 cpu_core_0 "12.745098039215685".