Matches in ISWC2014 Benchmark for { ?s ?p 9.803921568627452. }
- 1922050 cpu_core_0 "9.803921568627452".
- 1922053 cpu_core_0 "9.803921568627452".
- 1923290 cpu_core_0 "9.803921568627452".
- 1925049 cpu_core_0 "9.803921568627452".
- 1925990 cpu_core_0 "9.803921568627452".
- 1926367 cpu_core_0 "9.803921568627452".
- 1927697 cpu_core_0 "9.803921568627452".
- 1938293 cpu_core_0 "9.803921568627452".
- 1938311 cpu_core_0 "9.803921568627452".
- 1938368 cpu_core_0 "9.803921568627452".
- 1938469 cpu_core_0 "9.803921568627452".
- 1939386 cpu_core_0 "9.803921568627452".
- 1939446 cpu_core_0 "9.803921568627452".
- 1952470 cpu_core_0 "9.803921568627452".
- 1964750 cpu_core_0 "9.803921568627452".
- 1964843 cpu_core_0 "9.803921568627452".
- 1964890 cpu_core_0 "9.803921568627452".
- 1972812 cpu_core_0 "9.803921568627452".
- 2042535 cpu_core_0 "9.803921568627452".
- 2062668 cpu_core_0 "9.803921568627452".
- 2062761 cpu_core_0 "9.803921568627452".
- 2062901 cpu_core_0 "9.803921568627452".
- 2067655 cpu_core_0 "9.803921568627452".
- 2073817 cpu_core_0 "9.803921568627452".
- 2073821 cpu_core_0 "9.803921568627452".
- 2073859 cpu_core_0 "9.803921568627452".
- 2075087 cpu_core_0 "9.803921568627452".
- 2077244 cpu_core_0 "9.803921568627452".
- 232298 cpu_core_0 "9.803921568627452".
- 237345 cpu_core_0 "9.803921568627452".
- 272451 cpu_core_0 "9.803921568627452".
- 277655 cpu_core_0 "9.803921568627452".
- 295144 cpu_core_0 "9.803921568627452".
- 295786 cpu_core_0 "9.803921568627452".
- 295874 cpu_core_0 "9.803921568627452".
- 297006 cpu_core_0 "9.803921568627452".
- 305116 cpu_core_0 "9.803921568627452".
- 310634 cpu_core_0 "9.803921568627452".
- 310829 cpu_core_0 "9.803921568627452".
- 315757 cpu_core_0 "9.803921568627452".
- 316566 cpu_core_0 "9.803921568627452".
- 320716 cpu_core_0 "9.803921568627452".
- 321768 cpu_core_0 "9.803921568627452".
- 324488 cpu_core_0 "9.803921568627452".
- 328755 cpu_core_0 "9.803921568627452".
- 330278 cpu_core_0 "9.803921568627452".
- 330515 cpu_core_0 "9.803921568627452".
- 333785 cpu_core_0 "9.803921568627452".
- 334595 cpu_core_0 "9.803921568627452".
- 347862 cpu_core_0 "9.803921568627452".
- 351214 cpu_core_0 "9.803921568627452".
- 355070 cpu_core_0 "9.803921568627452".
- 359224 cpu_core_0 "9.803921568627452".
- 376335 cpu_core_0 "9.803921568627452".
- 405415 cpu_core_0 "9.803921568627452".
- 405458 cpu_core_0 "9.803921568627452".
- 405478 cpu_core_0 "9.803921568627452".
- 406130 cpu_core_0 "9.803921568627452".
- 406137 cpu_core_0 "9.803921568627452".
- 406229 cpu_core_0 "9.803921568627452".
- 406260 cpu_core_0 "9.803921568627452".
- 409942 cpu_core_0 "9.803921568627452".
- 412944 cpu_core_0 "9.803921568627452".
- 413463 cpu_core_0 "9.803921568627452".
- 415043 cpu_core_0 "9.803921568627452".
- 416711 cpu_core_0 "9.803921568627452".
- 416837 cpu_core_0 "9.803921568627452".
- 424954 cpu_core_0 "9.803921568627452".
- 437358 cpu_core_0 "9.803921568627452".
- 438737 cpu_core_0 "9.803921568627452".
- 439771 cpu_core_0 "9.803921568627452".
- 440486 cpu_core_0 "9.803921568627452".
- 442568 cpu_core_0 "9.803921568627452".
- 443451 cpu_core_0 "9.803921568627452".
- 449470 cpu_core_0 "9.803921568627452".
- 462231 cpu_core_0 "9.803921568627452".
- 463462 cpu_core_0 "9.803921568627452".
- 464149 cpu_core_0 "9.803921568627452".
- 464241 cpu_core_0 "9.803921568627452".
- 466122 cpu_core_0 "9.803921568627452".
- 467646 cpu_core_0 "9.803921568627452".
- 478363 cpu_core_0 "9.803921568627452".
- 479365 cpu_core_0 "9.803921568627452".
- 480137 cpu_core_0 "9.803921568627452".
- 482385 cpu_core_0 "9.803921568627452".
- 483158 cpu_core_0 "9.803921568627452".
- 486881 cpu_core_0 "9.803921568627452".
- 486885 cpu_core_0 "9.803921568627452".
- 488442 cpu_core_0 "9.803921568627452".
- 491002 cpu_core_0 "9.803921568627452".
- 492625 cpu_core_0 "9.803921568627452".
- 494614 cpu_core_0 "9.803921568627452".
- 495938 cpu_core_0 "9.803921568627452".
- 501017 cpu_core_0 "9.803921568627452".
- 504484 cpu_core_0 "9.803921568627452".
- 506871 cpu_core_0 "9.803921568627452".
- 514634 cpu_core_0 "9.803921568627452".
- 515544 cpu_core_0 "9.803921568627452".
- 518327 cpu_core_0 "9.803921568627452".
- 522400 cpu_core_0 "9.803921568627452".