Matches in ISWC2014 Benchmark for { ?s ?p 12.745098039215685. }
- 1326556 cpu_core_0 "12.745098039215685".
- 1326844 cpu_core_0 "12.745098039215685".
- 1327233 cpu_core_0 "12.745098039215685".
- 1328681 cpu_core_0 "12.745098039215685".
- 1328706 cpu_core_0 "12.745098039215685".
- 1328734 cpu_core_0 "12.745098039215685".
- 1328958 cpu_core_0 "12.745098039215685".
- 1330895 cpu_core_0 "12.745098039215685".
- 1330970 cpu_core_0 "12.745098039215685".
- 1330990 cpu_core_0 "12.745098039215685".
- 1331587 cpu_core_0 "12.745098039215685".
- 1331916 cpu_core_0 "12.745098039215685".
- 1332389 cpu_core_0 "12.745098039215685".
- 1332954 cpu_core_0 "12.745098039215685".
- 1333160 cpu_core_0 "12.745098039215685".
- 1333238 cpu_core_0 "12.745098039215685".
- 1333368 cpu_core_0 "12.745098039215685".
- 1333533 cpu_core_0 "12.745098039215685".
- 1334534 cpu_core_0 "12.745098039215685".
- 1335360 cpu_core_0 "12.745098039215685".
- 1336077 cpu_core_0 "12.745098039215685".
- 1336212 cpu_core_0 "12.745098039215685".
- 1336370 cpu_core_0 "12.745098039215685".
- 1337381 cpu_core_0 "12.745098039215685".
- 1339008 cpu_core_0 "12.745098039215685".
- 1339743 cpu_core_0 "12.745098039215685".
- 1340273 cpu_core_0 "12.745098039215685".
- 1340823 cpu_core_0 "12.745098039215685".
- 1341872 cpu_core_0 "12.745098039215685".
- 1342435 cpu_core_0 "12.745098039215685".
- 1342534 cpu_core_0 "12.745098039215685".
- 1343628 cpu_core_0 "12.745098039215685".
- 1343998 cpu_core_0 "12.745098039215685".
- 1344830 cpu_core_0 "12.745098039215685".
- 1345397 cpu_core_0 "12.745098039215685".
- 1346654 cpu_core_0 "12.745098039215685".
- 1347379 cpu_core_0 "12.745098039215685".
- 1347813 cpu_core_0 "12.745098039215685".
- 1349007 cpu_core_0 "12.745098039215685".
- 1349958 cpu_core_0 "12.745098039215685".
- 1350152 cpu_core_0 "12.745098039215685".
- 1351157 cpu_core_0 "12.745098039215685".
- 1351389 cpu_core_0 "12.745098039215685".
- 1351837 cpu_core_0 "12.745098039215685".
- 1352425 cpu_core_0 "12.745098039215685".
- 1352785 cpu_core_0 "12.745098039215685".
- 1352818 cpu_core_0 "12.745098039215685".
- 1353847 cpu_core_0 "12.745098039215685".
- 1353874 cpu_core_0 "12.745098039215685".
- 1355537 cpu_core_0 "12.745098039215685".
- 1355691 cpu_core_0 "12.745098039215685".
- 1357895 cpu_core_0 "12.745098039215685".
- 1357915 cpu_core_0 "12.745098039215685".
- 1358960 cpu_core_0 "12.745098039215685".
- 1359267 cpu_core_0 "12.745098039215685".
- 1360812 cpu_core_0 "12.745098039215685".
- 1361227 cpu_core_0 "12.745098039215685".
- 1361411 cpu_core_0 "12.745098039215685".
- 1361544 cpu_core_0 "12.745098039215685".
- 1362266 cpu_core_0 "12.745098039215685".
- 1362620 cpu_core_0 "12.745098039215685".
- 1363346 cpu_core_0 "12.745098039215685".
- 1363656 cpu_core_0 "12.745098039215685".
- 1363665 cpu_core_0 "12.745098039215685".
- 1363839 cpu_core_0 "12.745098039215685".
- 1363921 cpu_core_0 "12.745098039215685".
- 1364968 cpu_core_0 "12.745098039215685".
- 1365291 cpu_core_0 "12.745098039215685".
- 1365328 cpu_core_0 "12.745098039215685".
- 1365749 cpu_core_0 "12.745098039215685".
- 1365784 cpu_core_0 "12.745098039215685".
- 1366483 cpu_core_0 "12.745098039215685".
- 1366712 cpu_core_0 "12.745098039215685".
- 1367048 cpu_core_0 "12.745098039215685".
- 1368006 cpu_core_0 "12.745098039215685".
- 1368782 cpu_core_0 "12.745098039215685".
- 1368855 cpu_core_0 "12.745098039215685".
- 1369734 cpu_core_0 "12.745098039215685".
- 1370182 cpu_core_0 "12.745098039215685".
- 1371248 cpu_core_0 "12.745098039215685".
- 1371317 cpu_core_0 "12.745098039215685".
- 1372010 cpu_core_0 "12.745098039215685".
- 1374401 cpu_core_0 "12.745098039215685".
- 1374649 cpu_core_0 "12.745098039215685".
- 1374930 cpu_core_0 "12.745098039215685".
- 1375257 cpu_core_0 "12.745098039215685".
- 1375981 cpu_core_0 "12.745098039215685".
- 1376014 cpu_core_0 "12.745098039215685".
- 1376301 cpu_core_0 "12.745098039215685".
- 1376680 cpu_core_0 "12.745098039215685".
- 1376688 cpu_core_0 "12.745098039215685".
- 1378368 cpu_core_0 "12.745098039215685".
- 1378447 cpu_core_0 "12.745098039215685".
- 1378961 cpu_core_0 "12.745098039215685".
- 1379399 cpu_core_0 "12.745098039215685".
- 1379677 cpu_core_0 "12.745098039215685".
- 1379924 cpu_core_0 "12.745098039215685".
- 1380796 cpu_core_0 "12.745098039215685".
- 1381154 cpu_core_0 "12.745098039215685".
- 1382837 cpu_core_0 "12.745098039215685".