Matches in ISWC2014 Benchmark for { ?s ?p 22.000000000000004. }
- 1917223 cpu_core_0 "22.000000000000004".
- 1917229 cpu_core_0 "22.000000000000004".
- 1917349 cpu_core_0 "22.000000000000004".
- 1917399 cpu_core_0 "22.000000000000004".
- 1917409 cpu_core_0 "22.000000000000004".
- 1917412 cpu_core_0 "22.000000000000004".
- 1917438 cpu_core_0 "22.000000000000004".
- 1917461 cpu_core_0 "22.000000000000004".
- 1917626 cpu_core_0 "22.000000000000004".
- 1917673 cpu_core_0 "22.000000000000004".
- 1917696 cpu_core_0 "22.000000000000004".
- 1917749 cpu_core_0 "22.000000000000004".
- 1917784 cpu_core_0 "22.000000000000004".
- 1917873 cpu_core_0 "22.000000000000004".
- 1917922 cpu_core_0 "22.000000000000004".
- 1918039 cpu_core_0 "22.000000000000004".
- 1918176 cpu_core_0 "22.000000000000004".
- 1918179 cpu_core_0 "22.000000000000004".
- 1918230 cpu_core_0 "22.000000000000004".
- 1918277 cpu_core_0 "22.000000000000004".
- 1918381 cpu_core_0 "22.000000000000004".
- 1918502 cpu_core_0 "22.000000000000004".
- 1918523 cpu_core_0 "22.000000000000004".
- 1918541 cpu_core_0 "22.000000000000004".
- 1918633 cpu_core_0 "22.000000000000004".
- 1918645 cpu_core_0 "22.000000000000004".
- 1918846 cpu_core_0 "22.000000000000004".
- 1918873 cpu_core_0 "22.000000000000004".
- 1919012 cpu_core_0 "22.000000000000004".
- 1919146 cpu_core_0 "22.000000000000004".
- 1919157 cpu_core_0 "22.000000000000004".
- 1919343 cpu_core_0 "22.000000000000004".
- 1919472 cpu_core_0 "22.000000000000004".
- 1919473 cpu_core_0 "22.000000000000004".
- 1919619 cpu_core_0 "22.000000000000004".
- 1919741 cpu_core_0 "22.000000000000004".
- 1920111 cpu_core_0 "22.000000000000004".
- 1920178 cpu_core_0 "22.000000000000004".
- 1920352 cpu_core_0 "22.000000000000004".
- 1920359 cpu_core_0 "22.000000000000004".
- 1921084 cpu_core_0 "22.000000000000004".
- 1938414 cpu_core_0 "22.000000000000004".
- 1968527 cpu_core_0 "22.000000000000004".
- 2042199 cpu_core_0 "22.000000000000004".
- 2072286 cpu_core_0 "22.000000000000004".
- 211024 cpu_core_0 "22.000000000000004".
- 218554 cpu_core_0 "22.000000000000004".
- 218561 cpu_core_0 "22.000000000000004".
- 219386 cpu_core_0 "22.000000000000004".
- 219850 cpu_core_0 "22.000000000000004".
- 220029 cpu_core_0 "22.000000000000004".
- 220612 cpu_core_0 "22.000000000000004".
- 221355 cpu_core_0 "22.000000000000004".
- 222369 cpu_core_0 "22.000000000000004".
- 222574 cpu_core_0 "22.000000000000004".
- 223233 cpu_core_0 "22.000000000000004".
- 235739 cpu_core_0 "22.000000000000004".
- 237131 cpu_core_0 "22.000000000000004".
- 238203 cpu_core_0 "22.000000000000004".
- 240023 cpu_core_0 "22.000000000000004".
- 243772 cpu_core_0 "22.000000000000004".
- 243954 cpu_core_0 "22.000000000000004".
- 246393 cpu_core_0 "22.000000000000004".
- 247837 cpu_core_0 "22.000000000000004".
- 248937 cpu_core_0 "22.000000000000004".
- 256325 cpu_core_0 "22.000000000000004".
- 256387 cpu_core_0 "22.000000000000004".
- 256543 cpu_core_0 "22.000000000000004".
- 256573 cpu_core_0 "22.000000000000004".
- 258118 cpu_core_0 "22.000000000000004".
- 258170 cpu_core_0 "22.000000000000004".
- 260253 cpu_core_0 "22.000000000000004".
- 260562 cpu_core_0 "22.000000000000004".
- 263481 cpu_core_0 "22.000000000000004".
- 266944 cpu_core_0 "22.000000000000004".
- 268175 cpu_core_0 "22.000000000000004".
- 271209 cpu_core_0 "22.000000000000004".
- 273378 cpu_core_0 "22.000000000000004".
- 275100 cpu_core_0 "22.000000000000004".
- 275344 cpu_core_0 "22.000000000000004".
- 278253 cpu_core_0 "22.000000000000004".
- 278895 cpu_core_0 "22.000000000000004".
- 280227 cpu_core_0 "22.000000000000004".
- 286488 cpu_core_0 "22.000000000000004".
- 287146 cpu_core_0 "22.000000000000004".
- 287274 cpu_core_0 "22.000000000000004".
- 287950 cpu_core_0 "22.000000000000004".
- 288643 cpu_core_0 "22.000000000000004".
- 288788 cpu_core_0 "22.000000000000004".
- 289612 cpu_core_0 "22.000000000000004".
- 290060 cpu_core_0 "22.000000000000004".
- 292586 cpu_core_0 "22.000000000000004".
- 294316 cpu_core_0 "22.000000000000004".
- 294347 cpu_core_0 "22.000000000000004".
- 294649 cpu_core_0 "22.000000000000004".
- 294744 cpu_core_0 "22.000000000000004".
- 294828 cpu_core_0 "22.000000000000004".
- 299295 cpu_core_0 "22.000000000000004".
- 299464 cpu_core_0 "22.000000000000004".
- 300651 cpu_core_0 "22.000000000000004".