Matches in ISWC2014 Benchmark for { ?s ?p 12.745098039215685. }
- 1910186 cpu_core_0 "12.745098039215685".
- 1910600 cpu_core_0 "12.745098039215685".
- 1910791 cpu_core_0 "12.745098039215685".
- 1911667 cpu_core_0 "12.745098039215685".
- 1912211 cpu_core_0 "12.745098039215685".
- 1912290 cpu_core_0 "12.745098039215685".
- 1912389 cpu_core_0 "12.745098039215685".
- 1915169 cpu_core_0 "12.745098039215685".
- 1915814 cpu_core_0 "12.745098039215685".
- 1916003 cpu_core_0 "12.745098039215685".
- 1916106 cpu_core_0 "12.745098039215685".
- 1917569 cpu_core_0 "12.745098039215685".
- 1917876 cpu_core_0 "12.745098039215685".
- 1919130 cpu_core_0 "12.745098039215685".
- 1919702 cpu_core_0 "12.745098039215685".
- 1919950 cpu_core_0 "12.745098039215685".
- 1920504 cpu_core_0 "12.745098039215685".
- 1920743 cpu_core_0 "12.745098039215685".
- 1921351 cpu_core_0 "12.745098039215685".
- 1922036 cpu_core_0 "12.745098039215685".
- 1922450 cpu_core_0 "12.745098039215685".
- 1922838 cpu_core_0 "12.745098039215685".
- 1923185 cpu_core_0 "12.745098039215685".
- 1923676 cpu_core_0 "12.745098039215685".
- 1923782 cpu_core_0 "12.745098039215685".
- 1923895 cpu_core_0 "12.745098039215685".
- 1924380 cpu_core_0 "12.745098039215685".
- 1925923 cpu_core_0 "12.745098039215685".
- 1926951 cpu_core_0 "12.745098039215685".
- 1927436 cpu_core_0 "12.745098039215685".
- 2041903 cpu_core_0 "12.745098039215685".
- 2073884 cpu_core_0 "12.745098039215685".
- 2075612 cpu_core_0 "12.745098039215685".
- 220920 cpu_core_0 "12.745098039215685".
- 235608 cpu_core_0 "12.745098039215685".
- 248632 cpu_core_0 "12.745098039215685".
- 280629 cpu_core_0 "12.745098039215685".
- 285863 cpu_core_0 "12.745098039215685".
- 289143 cpu_core_0 "12.745098039215685".
- 291647 cpu_core_0 "12.745098039215685".
- 291990 cpu_core_0 "12.745098039215685".
- 295954 cpu_core_0 "12.745098039215685".
- 296100 cpu_core_0 "12.745098039215685".
- 296115 cpu_core_0 "12.745098039215685".
- 299206 cpu_core_0 "12.745098039215685".
- 303248 cpu_core_0 "12.745098039215685".
- 305387 cpu_core_0 "12.745098039215685".
- 309826 cpu_core_0 "12.745098039215685".
- 319081 cpu_core_0 "12.745098039215685".
- 327455 cpu_core_0 "12.745098039215685".
- 329018 cpu_core_0 "12.745098039215685".
- 329114 cpu_core_0 "12.745098039215685".
- 329398 cpu_core_0 "12.745098039215685".
- 333715 cpu_core_0 "12.745098039215685".
- 336489 cpu_core_0 "12.745098039215685".
- 338568 cpu_core_0 "12.745098039215685".
- 338821 cpu_core_0 "12.745098039215685".
- 346827 cpu_core_0 "12.745098039215685".
- 348076 cpu_core_0 "12.745098039215685".
- 352198 cpu_core_0 "12.745098039215685".
- 353032 cpu_core_0 "12.745098039215685".
- 354152 cpu_core_0 "12.745098039215685".
- 354898 cpu_core_0 "12.745098039215685".
- 355582 cpu_core_0 "12.745098039215685".
- 363203 cpu_core_0 "12.745098039215685".
- 381895 cpu_core_0 "12.745098039215685".
- 382894 cpu_core_0 "12.745098039215685".
- 401606 cpu_core_0 "12.745098039215685".
- 411647 cpu_core_0 "12.745098039215685".
- 415916 cpu_core_0 "12.745098039215685".
- 416131 cpu_core_0 "12.745098039215685".
- 420488 cpu_core_0 "12.745098039215685".
- 421246 cpu_core_0 "12.745098039215685".
- 424901 cpu_core_0 "12.745098039215685".
- 428398 cpu_core_0 "12.745098039215685".
- 443437 cpu_core_0 "12.745098039215685".
- 447349 cpu_core_0 "12.745098039215685".
- 447844 cpu_core_0 "12.745098039215685".
- 449955 cpu_core_0 "12.745098039215685".
- 452168 cpu_core_0 "12.745098039215685".
- 461230 cpu_core_0 "12.745098039215685".
- 461687 cpu_core_0 "12.745098039215685".
- 464302 cpu_core_0 "12.745098039215685".
- 469982 cpu_core_0 "12.745098039215685".
- 471957 cpu_core_0 "12.745098039215685".
- 474712 cpu_core_0 "12.745098039215685".
- 477415 cpu_core_0 "12.745098039215685".
- 477719 cpu_core_0 "12.745098039215685".
- 483291 cpu_core_0 "12.745098039215685".
- 483410 cpu_core_0 "12.745098039215685".
- 484382 cpu_core_0 "12.745098039215685".
- 484435 cpu_core_0 "12.745098039215685".
- 487913 cpu_core_0 "12.745098039215685".
- 488289 cpu_core_0 "12.745098039215685".
- 488723 cpu_core_0 "12.745098039215685".
- 491135 cpu_core_0 "12.745098039215685".
- 493994 cpu_core_0 "12.745098039215685".
- 494449 cpu_core_0 "12.745098039215685".
- 500742 cpu_core_0 "12.745098039215685".
- 501074 cpu_core_0 "12.745098039215685".