Matches in ISWC2014 Benchmark for { ?s ?p 3.9603960396039604. }
- 1275569 cpu_core_0 "3.9603960396039604".
- 1275571 cpu_core_0 "3.9603960396039604".
- 1275797 cpu_core_0 "3.9603960396039604".
- 1276043 cpu_core_0 "3.9603960396039604".
- 1276276 cpu_core_0 "3.9603960396039604".
- 1276409 cpu_core_0 "3.9603960396039604".
- 1276518 cpu_core_0 "3.9603960396039604".
- 1276591 cpu_core_0 "3.9603960396039604".
- 1276629 cpu_core_0 "3.9603960396039604".
- 1276640 cpu_core_0 "3.9603960396039604".
- 1276656 cpu_core_0 "3.9603960396039604".
- 1276730 cpu_core_0 "3.9603960396039604".
- 1276756 cpu_core_0 "3.9603960396039604".
- 1276936 cpu_core_0 "3.9603960396039604".
- 1277007 cpu_core_0 "3.9603960396039604".
- 1277485 cpu_core_0 "3.9603960396039604".
- 1277537 cpu_core_0 "3.9603960396039604".
- 1277774 cpu_core_0 "3.9603960396039604".
- 1277783 cpu_core_0 "3.9603960396039604".
- 1277896 cpu_core_0 "3.9603960396039604".
- 1278216 cpu_core_0 "3.9603960396039604".
- 1278313 cpu_core_0 "3.9603960396039604".
- 1278818 cpu_core_0 "3.9603960396039604".
- 1279053 cpu_core_0 "3.9603960396039604".
- 1279167 cpu_core_0 "3.9603960396039604".
- 1279255 cpu_core_0 "3.9603960396039604".
- 1279479 cpu_core_0 "3.9603960396039604".
- 1279522 cpu_core_0 "3.9603960396039604".
- 1279824 cpu_core_0 "3.9603960396039604".
- 1280005 cpu_core_0 "3.9603960396039604".
- 1280021 cpu_core_0 "3.9603960396039604".
- 1280081 cpu_core_0 "3.9603960396039604".
- 1280086 cpu_core_0 "3.9603960396039604".
- 1280118 cpu_core_0 "3.9603960396039604".
- 1280132 cpu_core_0 "3.9603960396039604".
- 1280206 cpu_core_0 "3.9603960396039604".
- 1280242 cpu_core_0 "3.9603960396039604".
- 1280432 cpu_core_0 "3.9603960396039604".
- 1280541 cpu_core_0 "3.9603960396039604".
- 1280773 cpu_core_0 "3.9603960396039604".
- 1280833 cpu_core_0 "3.9603960396039604".
- 1280892 cpu_core_0 "3.9603960396039604".
- 1280902 cpu_core_0 "3.9603960396039604".
- 1281023 cpu_core_0 "3.9603960396039604".
- 1281142 cpu_core_0 "3.9603960396039604".
- 1281176 cpu_core_0 "3.9603960396039604".
- 1281397 cpu_core_0 "3.9603960396039604".
- 1281469 cpu_core_0 "3.9603960396039604".
- 1281483 cpu_core_0 "3.9603960396039604".
- 1281519 cpu_core_0 "3.9603960396039604".
- 1281618 cpu_core_0 "3.9603960396039604".
- 1281627 cpu_core_0 "3.9603960396039604".
- 1281660 cpu_core_0 "3.9603960396039604".
- 1281710 cpu_core_0 "3.9603960396039604".
- 1281754 cpu_core_0 "3.9603960396039604".
- 128198 cpu_core_0 "3.9603960396039604".
- 1281987 cpu_core_0 "3.9603960396039604".
- 1282478 cpu_core_0 "3.9603960396039604".
- 1283119 cpu_core_0 "3.9603960396039604".
- 1283173 cpu_core_0 "3.9603960396039604".
- 1283187 cpu_core_0 "3.9603960396039604".
- 1283192 cpu_core_0 "3.9603960396039604".
- 1283200 cpu_core_0 "3.9603960396039604".
- 1283241 cpu_core_0 "3.9603960396039604".
- 1283401 cpu_core_0 "3.9603960396039604".
- 1283427 cpu_core_0 "3.9603960396039604".
- 1283790 cpu_core_0 "3.9603960396039604".
- 1283894 cpu_core_0 "3.9603960396039604".
- 1283963 cpu_core_0 "3.9603960396039604".
- 1283969 cpu_core_0 "3.9603960396039604".
- 1284030 cpu_core_0 "3.9603960396039604".
- 1284036 cpu_core_0 "3.9603960396039604".
- 1284143 cpu_core_0 "3.9603960396039604".
- 1284315 cpu_core_0 "3.9603960396039604".
- 1284346 cpu_core_0 "3.9603960396039604".
- 1284521 cpu_core_0 "3.9603960396039604".
- 1284886 cpu_core_0 "3.9603960396039604".
- 1285002 cpu_core_0 "3.9603960396039604".
- 128541 cpu_core_0 "3.9603960396039604".
- 1285579 cpu_core_0 "3.9603960396039604".
- 1285604 cpu_core_0 "3.9603960396039604".
- 1285665 cpu_core_0 "3.9603960396039604".
- 1286197 cpu_core_0 "3.9603960396039604".
- 1286201 cpu_core_0 "3.9603960396039604".
- 1286219 cpu_core_0 "3.9603960396039604".
- 1286230 cpu_core_0 "3.9603960396039604".
- 1286232 cpu_core_0 "3.9603960396039604".
- 1286239 cpu_core_0 "3.9603960396039604".
- 1286242 cpu_core_0 "3.9603960396039604".
- 1286284 cpu_core_0 "3.9603960396039604".
- 1286298 cpu_core_0 "3.9603960396039604".
- 1286319 cpu_core_0 "3.9603960396039604".
- 1286329 cpu_core_0 "3.9603960396039604".
- 1286363 cpu_core_0 "3.9603960396039604".
- 1286373 cpu_core_0 "3.9603960396039604".
- 1286437 cpu_core_0 "3.9603960396039604".
- 1286481 cpu_core_0 "3.9603960396039604".
- 1286761 cpu_core_0 "3.9603960396039604".
- 1286801 cpu_core_0 "3.9603960396039604".
- 1286871 cpu_core_0 "3.9603960396039604".