Matches in ISWC2014 Benchmark for { ?s ?p 25.742574257425744. }
- 1920196 cpu_core_0 "25.742574257425744".
- 1920406 cpu_core_0 "25.742574257425744".
- 1920554 cpu_core_0 "25.742574257425744".
- 1920561 cpu_core_0 "25.742574257425744".
- 1921866 cpu_core_0 "25.742574257425744".
- 1925509 cpu_core_0 "25.742574257425744".
- 1926108 cpu_core_0 "25.742574257425744".
- 1926222 cpu_core_0 "25.742574257425744".
- 1926865 cpu_core_0 "25.742574257425744".
- 1927235 cpu_core_0 "25.742574257425744".
- 1927468 cpu_core_0 "25.742574257425744".
- 1927529 cpu_core_0 "25.742574257425744".
- 2065091 cpu_core_0 "25.742574257425744".
- 2065541 cpu_core_0 "25.742574257425744".
- 2065591 cpu_core_0 "25.742574257425744".
- 2066579 cpu_core_0 "25.742574257425744".
- 2068707 cpu_core_0 "25.742574257425744".
- 2069297 cpu_core_0 "25.742574257425744".
- 2069673 cpu_core_0 "25.742574257425744".
- 2069708 cpu_core_0 "25.742574257425744".
- 2070249 cpu_core_0 "25.742574257425744".
- 2070734 cpu_core_0 "25.742574257425744".
- 2071795 cpu_core_0 "25.742574257425744".
- 2072083 cpu_core_0 "25.742574257425744".
- 2077358 cpu_core_0 "25.742574257425744".
- 2077384 cpu_core_0 "25.742574257425744".
- 209689 cpu_core_0 "25.742574257425744".
- 213680 cpu_core_0 "25.742574257425744".
- 214327 cpu_core_0 "25.742574257425744".
- 215129 cpu_core_0 "25.742574257425744".
- 215519 cpu_core_0 "25.742574257425744".
- 216178 cpu_core_0 "25.742574257425744".
- 216786 cpu_core_0 "25.742574257425744".
- 217258 cpu_core_0 "25.742574257425744".
- 218488 cpu_core_0 "25.742574257425744".
- 218631 cpu_core_0 "25.742574257425744".
- 219135 cpu_core_0 "25.742574257425744".
- 219153 cpu_core_0 "25.742574257425744".
- 219308 cpu_core_0 "25.742574257425744".
- 219348 cpu_core_0 "25.742574257425744".
- 219529 cpu_core_0 "25.742574257425744".
- 219798 cpu_core_0 "25.742574257425744".
- 219949 cpu_core_0 "25.742574257425744".
- 220074 cpu_core_0 "25.742574257425744".
- 220107 cpu_core_0 "25.742574257425744".
- 220328 cpu_core_0 "25.742574257425744".
- 220885 cpu_core_0 "25.742574257425744".
- 220902 cpu_core_0 "25.742574257425744".
- 220910 cpu_core_0 "25.742574257425744".
- 220955 cpu_core_0 "25.742574257425744".
- 221057 cpu_core_0 "25.742574257425744".
- 221318 cpu_core_0 "25.742574257425744".
- 221440 cpu_core_0 "25.742574257425744".
- 221617 cpu_core_0 "25.742574257425744".
- 221800 cpu_core_0 "25.742574257425744".
- 222384 cpu_core_0 "25.742574257425744".
- 222914 cpu_core_0 "25.742574257425744".
- 230105 cpu_core_0 "25.742574257425744".
- 232812 cpu_core_0 "25.742574257425744".
- 232900 cpu_core_0 "25.742574257425744".
- 233177 cpu_core_0 "25.742574257425744".
- 233375 cpu_core_0 "25.742574257425744".
- 233485 cpu_core_0 "25.742574257425744".
- 233722 cpu_core_0 "25.742574257425744".
- 233760 cpu_core_0 "25.742574257425744".
- 233950 cpu_core_0 "25.742574257425744".
- 233964 cpu_core_0 "25.742574257425744".
- 234136 cpu_core_0 "25.742574257425744".
- 234172 cpu_core_0 "25.742574257425744".
- 234291 cpu_core_0 "25.742574257425744".
- 234891 cpu_core_0 "25.742574257425744".
- 235811 cpu_core_0 "25.742574257425744".
- 235851 cpu_core_0 "25.742574257425744".
- 235932 cpu_core_0 "25.742574257425744".
- 236005 cpu_core_0 "25.742574257425744".
- 236141 cpu_core_0 "25.742574257425744".
- 236527 cpu_core_0 "25.742574257425744".
- 237020 cpu_core_0 "25.742574257425744".
- 237099 cpu_core_0 "25.742574257425744".
- 237178 cpu_core_0 "25.742574257425744".
- 237306 cpu_core_0 "25.742574257425744".
- 237511 cpu_core_0 "25.742574257425744".
- 237512 cpu_core_0 "25.742574257425744".
- 237768 cpu_core_0 "25.742574257425744".
- 238547 cpu_core_0 "25.742574257425744".
- 238620 cpu_core_0 "25.742574257425744".
- 238983 cpu_core_0 "25.742574257425744".
- 239047 cpu_core_0 "25.742574257425744".
- 239217 cpu_core_0 "25.742574257425744".
- 239457 cpu_core_0 "25.742574257425744".
- 239621 cpu_core_0 "25.742574257425744".
- 239651 cpu_core_0 "25.742574257425744".
- 239689 cpu_core_0 "25.742574257425744".
- 240111 cpu_core_0 "25.742574257425744".
- 242078 cpu_core_0 "25.742574257425744".
- 242523 cpu_core_0 "25.742574257425744".
- 243048 cpu_core_0 "25.742574257425744".
- 245752 cpu_core_0 "25.742574257425744".
- 246792 cpu_core_0 "25.742574257425744".
- 247489 cpu_core_0 "25.742574257425744".