Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1315641 cpu_core_0 "13.999999999999998".
- 1315734 cpu_core_0 "13.999999999999998".
- 1315759 cpu_core_0 "13.999999999999998".
- 1315806 cpu_core_0 "13.999999999999998".
- 1315849 cpu_core_0 "13.999999999999998".
- 1315867 cpu_core_0 "13.999999999999998".
- 1315912 cpu_core_0 "13.999999999999998".
- 1316017 cpu_core_0 "13.999999999999998".
- 1316040 cpu_core_0 "13.999999999999998".
- 1316043 cpu_core_0 "13.999999999999998".
- 1316337 cpu_core_0 "13.999999999999998".
- 1316341 cpu_core_0 "13.999999999999998".
- 1316380 cpu_core_0 "13.999999999999998".
- 1316575 cpu_core_0 "13.999999999999998".
- 1316580 cpu_core_0 "13.999999999999998".
- 1316590 cpu_core_0 "13.999999999999998".
- 1316610 cpu_core_0 "13.999999999999998".
- 1316709 cpu_core_0 "13.999999999999998".
- 1316738 cpu_core_0 "13.999999999999998".
- 1316774 cpu_core_0 "13.999999999999998".
- 1316829 cpu_core_0 "13.999999999999998".
- 1316832 cpu_core_0 "13.999999999999998".
- 1316925 cpu_core_0 "13.999999999999998".
- 1316928 cpu_core_0 "13.999999999999998".
- 1317001 cpu_core_0 "13.999999999999998".
- 1317159 cpu_core_0 "13.999999999999998".
- 1317256 cpu_core_0 "13.999999999999998".
- 1317306 cpu_core_0 "13.999999999999998".
- 1317324 cpu_core_0 "13.999999999999998".
- 1317420 cpu_core_0 "13.999999999999998".
- 1317543 cpu_core_0 "13.999999999999998".
- 1317584 cpu_core_0 "13.999999999999998".
- 1317605 cpu_core_0 "13.999999999999998".
- 1317727 cpu_core_0 "13.999999999999998".
- 1317741 cpu_core_0 "13.999999999999998".
- 1317779 cpu_core_0 "13.999999999999998".
- 1317985 cpu_core_0 "13.999999999999998".
- 1318008 cpu_core_0 "13.999999999999998".
- 1318171 cpu_core_0 "13.999999999999998".
- 1318174 cpu_core_0 "13.999999999999998".
- 1318237 cpu_core_0 "13.999999999999998".
- 1318644 cpu_core_0 "13.999999999999998".
- 1318828 cpu_core_0 "13.999999999999998".
- 1318829 cpu_core_0 "13.999999999999998".
- 1318838 cpu_core_0 "13.999999999999998".
- 1318866 cpu_core_0 "13.999999999999998".
- 1318929 cpu_core_0 "13.999999999999998".
- 1318937 cpu_core_0 "13.999999999999998".
- 1318968 cpu_core_0 "13.999999999999998".
- 1319049 cpu_core_0 "13.999999999999998".
- 1319052 cpu_core_0 "13.999999999999998".
- 1319063 cpu_core_0 "13.999999999999998".
- 1319094 cpu_core_0 "13.999999999999998".
- 1319202 cpu_core_0 "13.999999999999998".
- 1319292 cpu_core_0 "13.999999999999998".
- 1319307 cpu_core_0 "13.999999999999998".
- 1319350 cpu_core_0 "13.999999999999998".
- 1319358 cpu_core_0 "13.999999999999998".
- 1319365 cpu_core_0 "13.999999999999998".
- 1319442 cpu_core_0 "13.999999999999998".
- 1319483 cpu_core_0 "13.999999999999998".
- 1319532 cpu_core_0 "13.999999999999998".
- 1319582 cpu_core_0 "13.999999999999998".
- 1319596 cpu_core_0 "13.999999999999998".
- 1319696 cpu_core_0 "13.999999999999998".
- 1319707 cpu_core_0 "13.999999999999998".
- 1319731 cpu_core_0 "13.999999999999998".
- 1319744 cpu_core_0 "13.999999999999998".
- 1319783 cpu_core_0 "13.999999999999998".
- 1319853 cpu_core_0 "13.999999999999998".
- 1319908 cpu_core_0 "13.999999999999998".
- 1319926 cpu_core_0 "13.999999999999998".
- 1319961 cpu_core_0 "13.999999999999998".
- 1319975 cpu_core_0 "13.999999999999998".
- 1320168 cpu_core_0 "13.999999999999998".
- 1320261 cpu_core_0 "13.999999999999998".
- 1320266 cpu_core_0 "13.999999999999998".
- 1320307 cpu_core_0 "13.999999999999998".
- 1320556 cpu_core_0 "13.999999999999998".
- 1320565 cpu_core_0 "13.999999999999998".
- 1320566 cpu_core_0 "13.999999999999998".
- 1320661 cpu_core_0 "13.999999999999998".
- 1320667 cpu_core_0 "13.999999999999998".
- 1320769 cpu_core_0 "13.999999999999998".
- 1320902 cpu_core_0 "13.999999999999998".
- 1320907 cpu_core_0 "13.999999999999998".
- 1320911 cpu_core_0 "13.999999999999998".
- 1320933 cpu_core_0 "13.999999999999998".
- 1321015 cpu_core_0 "13.999999999999998".
- 1321032 cpu_core_0 "13.999999999999998".
- 1321043 cpu_core_0 "13.999999999999998".
- 1321092 cpu_core_0 "13.999999999999998".
- 1321125 cpu_core_0 "13.999999999999998".
- 1321129 cpu_core_0 "13.999999999999998".
- 1321177 cpu_core_0 "13.999999999999998".
- 1321214 cpu_core_0 "13.999999999999998".
- 1321220 cpu_core_0 "13.999999999999998".
- 1321245 cpu_core_0 "13.999999999999998".
- 1321430 cpu_core_0 "13.999999999999998".
- 1321513 cpu_core_0 "13.999999999999998".