Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1386354 cpu_core_0 "13.999999999999998".
- 1386364 cpu_core_0 "13.999999999999998".
- 1386407 cpu_core_0 "13.999999999999998".
- 1386552 cpu_core_0 "13.999999999999998".
- 1386555 cpu_core_0 "13.999999999999998".
- 1386592 cpu_core_0 "13.999999999999998".
- 1386656 cpu_core_0 "13.999999999999998".
- 1386768 cpu_core_0 "13.999999999999998".
- 1386823 cpu_core_0 "13.999999999999998".
- 1386829 cpu_core_0 "13.999999999999998".
- 1386863 cpu_core_0 "13.999999999999998".
- 1386917 cpu_core_0 "13.999999999999998".
- 1386941 cpu_core_0 "13.999999999999998".
- 1386946 cpu_core_0 "13.999999999999998".
- 1386951 cpu_core_0 "13.999999999999998".
- 1387023 cpu_core_0 "13.999999999999998".
- 1387037 cpu_core_0 "13.999999999999998".
- 1387047 cpu_core_0 "13.999999999999998".
- 1387212 cpu_core_0 "13.999999999999998".
- 1387255 cpu_core_0 "13.999999999999998".
- 1387288 cpu_core_0 "13.999999999999998".
- 1387294 cpu_core_0 "13.999999999999998".
- 1387323 cpu_core_0 "13.999999999999998".
- 1387331 cpu_core_0 "13.999999999999998".
- 1387386 cpu_core_0 "13.999999999999998".
- 1387387 cpu_core_0 "13.999999999999998".
- 1387421 cpu_core_0 "13.999999999999998".
- 1387439 cpu_core_0 "13.999999999999998".
- 1387534 cpu_core_0 "13.999999999999998".
- 1387570 cpu_core_0 "13.999999999999998".
- 1387618 cpu_core_0 "13.999999999999998".
- 1387657 cpu_core_0 "13.999999999999998".
- 1387659 cpu_core_0 "13.999999999999998".
- 1387664 cpu_core_0 "13.999999999999998".
- 1387723 cpu_core_0 "13.999999999999998".
- 1387748 cpu_core_0 "13.999999999999998".
- 1387771 cpu_core_0 "13.999999999999998".
- 1387785 cpu_core_0 "13.999999999999998".
- 1387823 cpu_core_0 "13.999999999999998".
- 1387924 cpu_core_0 "13.999999999999998".
- 1387930 cpu_core_0 "13.999999999999998".
- 1387935 cpu_core_0 "13.999999999999998".
- 1387977 cpu_core_0 "13.999999999999998".
- 1387993 cpu_core_0 "13.999999999999998".
- 1388092 cpu_core_0 "13.999999999999998".
- 1388145 cpu_core_0 "13.999999999999998".
- 1388153 cpu_core_0 "13.999999999999998".
- 1388222 cpu_core_0 "13.999999999999998".
- 1388258 cpu_core_0 "13.999999999999998".
- 1388283 cpu_core_0 "13.999999999999998".
- 1388298 cpu_core_0 "13.999999999999998".
- 1388368 cpu_core_0 "13.999999999999998".
- 1388370 cpu_core_0 "13.999999999999998".
- 1388389 cpu_core_0 "13.999999999999998".
- 1388390 cpu_core_0 "13.999999999999998".
- 1388460 cpu_core_0 "13.999999999999998".
- 1388492 cpu_core_0 "13.999999999999998".
- 1388523 cpu_core_0 "13.999999999999998".
- 1388573 cpu_core_0 "13.999999999999998".
- 1388574 cpu_core_0 "13.999999999999998".
- 1388587 cpu_core_0 "13.999999999999998".
- 1388724 cpu_core_0 "13.999999999999998".
- 1388749 cpu_core_0 "13.999999999999998".
- 1388857 cpu_core_0 "13.999999999999998".
- 1388883 cpu_core_0 "13.999999999999998".
- 1388890 cpu_core_0 "13.999999999999998".
- 1389146 cpu_core_0 "13.999999999999998".
- 1389170 cpu_core_0 "13.999999999999998".
- 1389285 cpu_core_0 "13.999999999999998".
- 1389297 cpu_core_0 "13.999999999999998".
- 1389345 cpu_core_0 "13.999999999999998".
- 1389376 cpu_core_0 "13.999999999999998".
- 1389414 cpu_core_0 "13.999999999999998".
- 1389453 cpu_core_0 "13.999999999999998".
- 1389457 cpu_core_0 "13.999999999999998".
- 1389527 cpu_core_0 "13.999999999999998".
- 1389731 cpu_core_0 "13.999999999999998".
- 1389734 cpu_core_0 "13.999999999999998".
- 1389817 cpu_core_0 "13.999999999999998".
- 1389835 cpu_core_0 "13.999999999999998".
- 1389909 cpu_core_0 "13.999999999999998".
- 1389912 cpu_core_0 "13.999999999999998".
- 1389936 cpu_core_0 "13.999999999999998".
- 1389988 cpu_core_0 "13.999999999999998".
- 1390029 cpu_core_0 "13.999999999999998".
- 1390033 cpu_core_0 "13.999999999999998".
- 1390095 cpu_core_0 "13.999999999999998".
- 1390147 cpu_core_0 "13.999999999999998".
- 1390237 cpu_core_0 "13.999999999999998".
- 1390271 cpu_core_0 "13.999999999999998".
- 1390283 cpu_core_0 "13.999999999999998".
- 1390300 cpu_core_0 "13.999999999999998".
- 1390382 cpu_core_0 "13.999999999999998".
- 1390401 cpu_core_0 "13.999999999999998".
- 1390417 cpu_core_0 "13.999999999999998".
- 1390492 cpu_core_0 "13.999999999999998".
- 1390498 cpu_core_0 "13.999999999999998".
- 1390612 cpu_core_0 "13.999999999999998".
- 1390643 cpu_core_0 "13.999999999999998".
- 1390651 cpu_core_0 "13.999999999999998".