Matches in ISWC2014 Benchmark for { ?s ?p 9.000000000000002. }
- 1302541 cpu_core_0 "9.000000000000002".
- 1302549 cpu_core_0 "9.000000000000002".
- 1303216 cpu_core_0 "9.000000000000002".
- 1303239 cpu_core_0 "9.000000000000002".
- 1303569 cpu_core_0 "9.000000000000002".
- 1303618 cpu_core_0 "9.000000000000002".
- 1304023 cpu_core_0 "9.000000000000002".
- 1304113 cpu_core_0 "9.000000000000002".
- 1304189 cpu_core_0 "9.000000000000002".
- 1304497 cpu_core_0 "9.000000000000002".
- 1304693 cpu_core_0 "9.000000000000002".
- 1304910 cpu_core_0 "9.000000000000002".
- 1304952 cpu_core_0 "9.000000000000002".
- 1305356 cpu_core_0 "9.000000000000002".
- 1305663 cpu_core_0 "9.000000000000002".
- 1305843 cpu_core_0 "9.000000000000002".
- 1305939 cpu_core_0 "9.000000000000002".
- 1306009 cpu_core_0 "9.000000000000002".
- 1306017 cpu_core_0 "9.000000000000002".
- 1306052 cpu_core_0 "9.000000000000002".
- 1306201 cpu_core_0 "9.000000000000002".
- 1306642 cpu_core_0 "9.000000000000002".
- 1306740 cpu_core_0 "9.000000000000002".
- 1306814 cpu_core_0 "9.000000000000002".
- 1306896 cpu_core_0 "9.000000000000002".
- 1306960 cpu_core_0 "9.000000000000002".
- 1307011 cpu_core_0 "9.000000000000002".
- 1307098 cpu_core_0 "9.000000000000002".
- 1307160 cpu_core_0 "9.000000000000002".
- 1307208 cpu_core_0 "9.000000000000002".
- 1307445 cpu_core_0 "9.000000000000002".
- 1307597 cpu_core_0 "9.000000000000002".
- 1307852 cpu_core_0 "9.000000000000002".
- 1307903 cpu_core_0 "9.000000000000002".
- 1307997 cpu_core_0 "9.000000000000002".
- 1308137 cpu_core_0 "9.000000000000002".
- 1308699 cpu_core_0 "9.000000000000002".
- 1308740 cpu_core_0 "9.000000000000002".
- 1308751 cpu_core_0 "9.000000000000002".
- 1310005 cpu_core_0 "9.000000000000002".
- 1310143 cpu_core_0 "9.000000000000002".
- 1310156 cpu_core_0 "9.000000000000002".
- 1310194 cpu_core_0 "9.000000000000002".
- 1310299 cpu_core_0 "9.000000000000002".
- 1310384 cpu_core_0 "9.000000000000002".
- 1310572 cpu_core_0 "9.000000000000002".
- 1310709 cpu_core_0 "9.000000000000002".
- 1310809 cpu_core_0 "9.000000000000002".
- 1310818 cpu_core_0 "9.000000000000002".
- 1310856 cpu_core_0 "9.000000000000002".
- 1310950 cpu_core_0 "9.000000000000002".
- 1310965 cpu_core_0 "9.000000000000002".
- 1310971 cpu_core_0 "9.000000000000002".
- 1311043 cpu_core_0 "9.000000000000002".
- 1311141 cpu_core_0 "9.000000000000002".
- 1311168 cpu_core_0 "9.000000000000002".
- 1311202 cpu_core_0 "9.000000000000002".
- 1311260 cpu_core_0 "9.000000000000002".
- 1311325 cpu_core_0 "9.000000000000002".
- 1311403 cpu_core_0 "9.000000000000002".
- 1311604 cpu_core_0 "9.000000000000002".
- 1311651 cpu_core_0 "9.000000000000002".
- 1311774 cpu_core_0 "9.000000000000002".
- 1311911 cpu_core_0 "9.000000000000002".
- 1312104 cpu_core_0 "9.000000000000002".
- 1312170 cpu_core_0 "9.000000000000002".
- 1312255 cpu_core_0 "9.000000000000002".
- 1312877 cpu_core_0 "9.000000000000002".
- 1313094 cpu_core_0 "9.000000000000002".
- 1313182 cpu_core_0 "9.000000000000002".
- 1313283 cpu_core_0 "9.000000000000002".
- 1313976 cpu_core_0 "9.000000000000002".
- 1314312 cpu_core_0 "9.000000000000002".
- 1314485 cpu_core_0 "9.000000000000002".
- 1314548 cpu_core_0 "9.000000000000002".
- 1314698 cpu_core_0 "9.000000000000002".
- 1315315 cpu_core_0 "9.000000000000002".
- 1315423 cpu_core_0 "9.000000000000002".
- 1315507 cpu_core_0 "9.000000000000002".
- 1315655 cpu_core_0 "9.000000000000002".
- 1315675 cpu_core_0 "9.000000000000002".
- 1316082 cpu_core_0 "9.000000000000002".
- 1316086 cpu_core_0 "9.000000000000002".
- 1316253 cpu_core_0 "9.000000000000002".
- 1316701 cpu_core_0 "9.000000000000002".
- 1316809 cpu_core_0 "9.000000000000002".
- 1317121 cpu_core_0 "9.000000000000002".
- 1317307 cpu_core_0 "9.000000000000002".
- 1317482 cpu_core_0 "9.000000000000002".
- 1317508 cpu_core_0 "9.000000000000002".
- 1317542 cpu_core_0 "9.000000000000002".
- 1317611 cpu_core_0 "9.000000000000002".
- 1317698 cpu_core_0 "9.000000000000002".
- 1317813 cpu_core_0 "9.000000000000002".
- 1318095 cpu_core_0 "9.000000000000002".
- 1318118 cpu_core_0 "9.000000000000002".
- 1318168 cpu_core_0 "9.000000000000002".
- 1318173 cpu_core_0 "9.000000000000002".
- 1318333 cpu_core_0 "9.000000000000002".
- 1318707 cpu_core_0 "9.000000000000002".