Matches in ISWC2014 Benchmark for { ?s ?p 13.72549019607843. }
- 1090964 cpu_core_1 "13.72549019607843".
- 1091610 cpu_core_1 "13.72549019607843".
- 1095661 cpu_core_1 "13.72549019607843".
- 1125115 cpu_core_1 "13.72549019607843".
- 1164535 cpu_core_1 "13.72549019607843".
- 1236984 cpu_core_1 "13.72549019607843".
- 1245980 cpu_core_1 "13.72549019607843".
- 1257712 cpu_core_1 "13.72549019607843".
- 1258250 cpu_core_1 "13.72549019607843".
- 1262887 cpu_core_1 "13.72549019607843".
- 1263121 cpu_core_1 "13.72549019607843".
- 1270579 cpu_core_1 "13.72549019607843".
- 1275112 cpu_core_1 "13.72549019607843".
- 1343624 cpu_core_1 "13.72549019607843".
- 1345135 cpu_core_1 "13.72549019607843".
- 1351212 cpu_core_1 "13.72549019607843".
- 1356715 cpu_core_1 "13.72549019607843".
- 1370105 cpu_core_1 "13.72549019607843".
- 1424129 cpu_core_1 "13.72549019607843".
- 1429439 cpu_core_1 "13.72549019607843".
- 1430534 cpu_core_1 "13.72549019607843".
- 1445820 cpu_core_1 "13.72549019607843".
- 1457875 cpu_core_1 "13.72549019607843".
- 1478923 cpu_core_1 "13.72549019607843".
- 1493293 cpu_core_1 "13.72549019607843".
- 1502527 cpu_core_1 "13.72549019607843".
- 1574203 cpu_core_1 "13.72549019607843".
- 1581265 cpu_core_1 "13.72549019607843".
- 1587753 cpu_core_1 "13.72549019607843".
- 1589800 cpu_core_1 "13.72549019607843".
- 1621014 cpu_core_1 "13.72549019607843".
- 1696267 cpu_core_1 "13.72549019607843".
- 1713210 cpu_core_1 "13.72549019607843".
- 1728653 cpu_core_1 "13.72549019607843".
- 1731180 cpu_core_1 "13.72549019607843".
- 1752028 cpu_core_1 "13.72549019607843".
- 1784230 cpu_core_1 "13.72549019607843".
- 1793475 cpu_core_1 "13.72549019607843".
- 1836256 cpu_core_1 "13.72549019607843".
- 1839509 cpu_core_1 "13.72549019607843".
- 1843936 cpu_core_1 "13.72549019607843".
- 1856424 cpu_core_1 "13.72549019607843".
- 1859736 cpu_core_1 "13.72549019607843".
- 1873685 cpu_core_1 "13.72549019607843".
- 1893537 cpu_core_1 "13.72549019607843".
- 1910339 cpu_core_1 "13.72549019607843".
- 1911975 cpu_core_1 "13.72549019607843".
- 256761 cpu_core_1 "13.72549019607843".
- 260700 cpu_core_1 "13.72549019607843".
- 303372 cpu_core_1 "13.72549019607843".
- 305229 cpu_core_1 "13.72549019607843".
- 316659 cpu_core_1 "13.72549019607843".
- 341737 cpu_core_1 "13.72549019607843".
- 515850 cpu_core_1 "13.72549019607843".
- 516546 cpu_core_1 "13.72549019607843".
- 528270 cpu_core_1 "13.72549019607843".
- 572804 cpu_core_1 "13.72549019607843".
- 658578 cpu_core_1 "13.72549019607843".
- 698651 cpu_core_1 "13.72549019607843".
- 700266 cpu_core_1 "13.72549019607843".
- 700451 cpu_core_1 "13.72549019607843".
- 757249 cpu_core_1 "13.72549019607843".
- 791940 cpu_core_1 "13.72549019607843".
- 900185 cpu_core_1 "13.72549019607843".
- 917357 cpu_core_1 "13.72549019607843".
- 952329 cpu_core_1 "13.72549019607843".
- 993183 cpu_core_1 "13.72549019607843".
- 1093493 cpu_core_2 "13.72549019607843".
- 1180884 cpu_core_2 "13.72549019607843".
- 1188271 cpu_core_2 "13.72549019607843".
- 1284603 cpu_core_2 "13.72549019607843".
- 1304346 cpu_core_2 "13.72549019607843".
- 1347521 cpu_core_2 "13.72549019607843".
- 1362084 cpu_core_2 "13.72549019607843".
- 1387260 cpu_core_2 "13.72549019607843".
- 1393851 cpu_core_2 "13.72549019607843".
- 1443875 cpu_core_2 "13.72549019607843".
- 1460286 cpu_core_2 "13.72549019607843".
- 1478606 cpu_core_2 "13.72549019607843".
- 1481730 cpu_core_2 "13.72549019607843".
- 1484234 cpu_core_2 "13.72549019607843".
- 1493216 cpu_core_2 "13.72549019607843".
- 1539211 cpu_core_2 "13.72549019607843".
- 1548542 cpu_core_2 "13.72549019607843".
- 1557143 cpu_core_2 "13.72549019607843".
- 1583087 cpu_core_2 "13.72549019607843".
- 1589175 cpu_core_2 "13.72549019607843".
- 1592415 cpu_core_2 "13.72549019607843".
- 1594193 cpu_core_2 "13.72549019607843".
- 1601003 cpu_core_2 "13.72549019607843".
- 1751849 cpu_core_2 "13.72549019607843".
- 1790899 cpu_core_2 "13.72549019607843".
- 1808568 cpu_core_2 "13.72549019607843".
- 1821007 cpu_core_2 "13.72549019607843".
- 1839444 cpu_core_2 "13.72549019607843".
- 1916271 cpu_core_2 "13.72549019607843".
- 1919189 cpu_core_2 "13.72549019607843".
- 248036 cpu_core_2 "13.72549019607843".
- 260682 cpu_core_2 "13.72549019607843".
- 315735 cpu_core_2 "13.72549019607843".