Matches in ISWC2014 Benchmark for { ?s ?p 12.745098039215685. }
- 1189929 cpu_core_1 "12.745098039215685".
- 1191007 cpu_core_1 "12.745098039215685".
- 1199622 cpu_core_1 "12.745098039215685".
- 1199689 cpu_core_1 "12.745098039215685".
- 1202586 cpu_core_1 "12.745098039215685".
- 1204671 cpu_core_1 "12.745098039215685".
- 1206288 cpu_core_1 "12.745098039215685".
- 1207663 cpu_core_1 "12.745098039215685".
- 1213507 cpu_core_1 "12.745098039215685".
- 1219546 cpu_core_1 "12.745098039215685".
- 1235775 cpu_core_1 "12.745098039215685".
- 1236591 cpu_core_1 "12.745098039215685".
- 1236790 cpu_core_1 "12.745098039215685".
- 1237119 cpu_core_1 "12.745098039215685".
- 1237180 cpu_core_1 "12.745098039215685".
- 1237622 cpu_core_1 "12.745098039215685".
- 1238163 cpu_core_1 "12.745098039215685".
- 1242257 cpu_core_1 "12.745098039215685".
- 1243272 cpu_core_1 "12.745098039215685".
- 1245167 cpu_core_1 "12.745098039215685".
- 1245791 cpu_core_1 "12.745098039215685".
- 1246191 cpu_core_1 "12.745098039215685".
- 1247289 cpu_core_1 "12.745098039215685".
- 1248223 cpu_core_1 "12.745098039215685".
- 1249073 cpu_core_1 "12.745098039215685".
- 1249256 cpu_core_1 "12.745098039215685".
- 1249782 cpu_core_1 "12.745098039215685".
- 1251365 cpu_core_1 "12.745098039215685".
- 1257117 cpu_core_1 "12.745098039215685".
- 1258928 cpu_core_1 "12.745098039215685".
- 1261170 cpu_core_1 "12.745098039215685".
- 1265144 cpu_core_1 "12.745098039215685".
- 1267838 cpu_core_1 "12.745098039215685".
- 1269724 cpu_core_1 "12.745098039215685".
- 1271939 cpu_core_1 "12.745098039215685".
- 1271981 cpu_core_1 "12.745098039215685".
- 1272646 cpu_core_1 "12.745098039215685".
- 1273392 cpu_core_1 "12.745098039215685".
- 1274213 cpu_core_1 "12.745098039215685".
- 1274699 cpu_core_1 "12.745098039215685".
- 1275225 cpu_core_1 "12.745098039215685".
- 1276215 cpu_core_1 "12.745098039215685".
- 1278952 cpu_core_1 "12.745098039215685".
- 1279517 cpu_core_1 "12.745098039215685".
- 1282072 cpu_core_1 "12.745098039215685".
- 1282406 cpu_core_1 "12.745098039215685".
- 1283149 cpu_core_1 "12.745098039215685".
- 1283596 cpu_core_1 "12.745098039215685".
- 1286879 cpu_core_1 "12.745098039215685".
- 1287566 cpu_core_1 "12.745098039215685".
- 1288015 cpu_core_1 "12.745098039215685".
- 1288389 cpu_core_1 "12.745098039215685".
- 1289396 cpu_core_1 "12.745098039215685".
- 1290703 cpu_core_1 "12.745098039215685".
- 1293693 cpu_core_1 "12.745098039215685".
- 1294075 cpu_core_1 "12.745098039215685".
- 1294649 cpu_core_1 "12.745098039215685".
- 1294858 cpu_core_1 "12.745098039215685".
- 1297525 cpu_core_1 "12.745098039215685".
- 1300267 cpu_core_1 "12.745098039215685".
- 1301055 cpu_core_1 "12.745098039215685".
- 1303264 cpu_core_1 "12.745098039215685".
- 1303538 cpu_core_1 "12.745098039215685".
- 1306819 cpu_core_1 "12.745098039215685".
- 1309039 cpu_core_1 "12.745098039215685".
- 1312387 cpu_core_1 "12.745098039215685".
- 1314592 cpu_core_1 "12.745098039215685".
- 1314802 cpu_core_1 "12.745098039215685".
- 1316178 cpu_core_1 "12.745098039215685".
- 131730 cpu_core_1 "12.745098039215685".
- 1318041 cpu_core_1 "12.745098039215685".
- 1318598 cpu_core_1 "12.745098039215685".
- 1319573 cpu_core_1 "12.745098039215685".
- 1323661 cpu_core_1 "12.745098039215685".
- 1324405 cpu_core_1 "12.745098039215685".
- 1326828 cpu_core_1 "12.745098039215685".
- 1328689 cpu_core_1 "12.745098039215685".
- 1331573 cpu_core_1 "12.745098039215685".
- 1332000 cpu_core_1 "12.745098039215685".
- 1332354 cpu_core_1 "12.745098039215685".
- 1333670 cpu_core_1 "12.745098039215685".
- 1334522 cpu_core_1 "12.745098039215685".
- 1339490 cpu_core_1 "12.745098039215685".
- 1341348 cpu_core_1 "12.745098039215685".
- 1342528 cpu_core_1 "12.745098039215685".
- 1343142 cpu_core_1 "12.745098039215685".
- 1345814 cpu_core_1 "12.745098039215685".
- 1348630 cpu_core_1 "12.745098039215685".
- 1348892 cpu_core_1 "12.745098039215685".
- 1350024 cpu_core_1 "12.745098039215685".
- 1350153 cpu_core_1 "12.745098039215685".
- 1353853 cpu_core_1 "12.745098039215685".
- 1356585 cpu_core_1 "12.745098039215685".
- 1357001 cpu_core_1 "12.745098039215685".
- 1358452 cpu_core_1 "12.745098039215685".
- 1358718 cpu_core_1 "12.745098039215685".
- 1359148 cpu_core_1 "12.745098039215685".
- 1361093 cpu_core_1 "12.745098039215685".
- 1363093 cpu_core_1 "12.745098039215685".
- 1363721 cpu_core_1 "12.745098039215685".