Matches in ISWC2014 Benchmark for { ?s ?p 9.80392156862745. }
- 1020421 cpu_core_0 "9.80392156862745".
- 1035057 cpu_core_0 "9.80392156862745".
- 1042905 cpu_core_0 "9.80392156862745".
- 1048026 cpu_core_0 "9.80392156862745".
- 1055299 cpu_core_0 "9.80392156862745".
- 1066752 cpu_core_0 "9.80392156862745".
- 1068653 cpu_core_0 "9.80392156862745".
- 1074529 cpu_core_0 "9.80392156862745".
- 1076416 cpu_core_0 "9.80392156862745".
- 1081080 cpu_core_0 "9.80392156862745".
- 1086445 cpu_core_0 "9.80392156862745".
- 1087435 cpu_core_0 "9.80392156862745".
- 1096611 cpu_core_0 "9.80392156862745".
- 1117244 cpu_core_0 "9.80392156862745".
- 1143732 cpu_core_0 "9.80392156862745".
- 1169071 cpu_core_0 "9.80392156862745".
- 1205836 cpu_core_0 "9.80392156862745".
- 1252774 cpu_core_0 "9.80392156862745".
- 1279470 cpu_core_0 "9.80392156862745".
- 1293195 cpu_core_0 "9.80392156862745".
- 1297578 cpu_core_0 "9.80392156862745".
- 1297901 cpu_core_0 "9.80392156862745".
- 1333316 cpu_core_0 "9.80392156862745".
- 1338808 cpu_core_0 "9.80392156862745".
- 1350622 cpu_core_0 "9.80392156862745".
- 1365266 cpu_core_0 "9.80392156862745".
- 1378415 cpu_core_0 "9.80392156862745".
- 1381301 cpu_core_0 "9.80392156862745".
- 1384924 cpu_core_0 "9.80392156862745".
- 1409818 cpu_core_0 "9.80392156862745".
- 1411323 cpu_core_0 "9.80392156862745".
- 1422639 cpu_core_0 "9.80392156862745".
- 1450830 cpu_core_0 "9.80392156862745".
- 1498132 cpu_core_0 "9.80392156862745".
- 1519945 cpu_core_0 "9.80392156862745".
- 1524945 cpu_core_0 "9.80392156862745".
- 1533343 cpu_core_0 "9.80392156862745".
- 1543600 cpu_core_0 "9.80392156862745".
- 1544219 cpu_core_0 "9.80392156862745".
- 1546632 cpu_core_0 "9.80392156862745".
- 1551581 cpu_core_0 "9.80392156862745".
- 1563324 cpu_core_0 "9.80392156862745".
- 1570964 cpu_core_0 "9.80392156862745".
- 1572836 cpu_core_0 "9.80392156862745".
- 1594368 cpu_core_0 "9.80392156862745".
- 1599285 cpu_core_0 "9.80392156862745".
- 1611998 cpu_core_0 "9.80392156862745".
- 1613509 cpu_core_0 "9.80392156862745".
- 1616691 cpu_core_0 "9.80392156862745".
- 1624732 cpu_core_0 "9.80392156862745".
- 1651116 cpu_core_0 "9.80392156862745".
- 1651753 cpu_core_0 "9.80392156862745".
- 1652952 cpu_core_0 "9.80392156862745".
- 1731573 cpu_core_0 "9.80392156862745".
- 1749837 cpu_core_0 "9.80392156862745".
- 1756174 cpu_core_0 "9.80392156862745".
- 1756283 cpu_core_0 "9.80392156862745".
- 1800469 cpu_core_0 "9.80392156862745".
- 1805640 cpu_core_0 "9.80392156862745".
- 1807585 cpu_core_0 "9.80392156862745".
- 1813642 cpu_core_0 "9.80392156862745".
- 1819852 cpu_core_0 "9.80392156862745".
- 1864256 cpu_core_0 "9.80392156862745".
- 1870524 cpu_core_0 "9.80392156862745".
- 1876483 cpu_core_0 "9.80392156862745".
- 1877652 cpu_core_0 "9.80392156862745".
- 1919173 cpu_core_0 "9.80392156862745".
- 2066537 cpu_core_0 "9.80392156862745".
- 229382 cpu_core_0 "9.80392156862745".
- 285801 cpu_core_0 "9.80392156862745".
- 319409 cpu_core_0 "9.80392156862745".
- 322938 cpu_core_0 "9.80392156862745".
- 359706 cpu_core_0 "9.80392156862745".
- 436994 cpu_core_0 "9.80392156862745".
- 440890 cpu_core_0 "9.80392156862745".
- 530249 cpu_core_0 "9.80392156862745".
- 549775 cpu_core_0 "9.80392156862745".
- 567083 cpu_core_0 "9.80392156862745".
- 572874 cpu_core_0 "9.80392156862745".
- 574784 cpu_core_0 "9.80392156862745".
- 575529 cpu_core_0 "9.80392156862745".
- 582390 cpu_core_0 "9.80392156862745".
- 628534 cpu_core_0 "9.80392156862745".
- 629698 cpu_core_0 "9.80392156862745".
- 642848 cpu_core_0 "9.80392156862745".
- 655637 cpu_core_0 "9.80392156862745".
- 711562 cpu_core_0 "9.80392156862745".
- 750675 cpu_core_0 "9.80392156862745".
- 809364 cpu_core_0 "9.80392156862745".
- 828243 cpu_core_0 "9.80392156862745".
- 832782 cpu_core_0 "9.80392156862745".
- 870136 cpu_core_0 "9.80392156862745".
- 882244 cpu_core_0 "9.80392156862745".
- 935833 cpu_core_0 "9.80392156862745".
- 948953 cpu_core_0 "9.80392156862745".
- 969726 cpu_core_0 "9.80392156862745".
- 970763 cpu_core_0 "9.80392156862745".
- 973294 cpu_core_0 "9.80392156862745".
- 974649 cpu_core_0 "9.80392156862745".
- 984771 cpu_core_0 "9.80392156862745".