Matches in ISWC2014 Benchmark for { ?s ?p 12.5. }
- 1921230 cpu_core_0 "12.5".
- 1921372 cpu_core_0 "12.5".
- 1921632 cpu_core_0 "12.5".
- 1921806 cpu_core_0 "12.5".
- 1921958 cpu_core_0 "12.5".
- 1922052 cpu_core_0 "12.5".
- 1922136 cpu_core_0 "12.5".
- 1922176 cpu_core_0 "12.5".
- 1922698 cpu_core_0 "12.5".
- 1922861 cpu_core_0 "12.5".
- 1922911 cpu_core_0 "12.5".
- 1922947 cpu_core_0 "12.5".
- 1923080 cpu_core_0 "12.5".
- 1923141 cpu_core_0 "12.5".
- 1923380 cpu_core_0 "12.5".
- 1923506 cpu_core_0 "12.5".
- 1923520 cpu_core_0 "12.5".
- 1923568 cpu_core_0 "12.5".
- 1923910 cpu_core_0 "12.5".
- 1924052 cpu_core_0 "12.5".
- 1924222 cpu_core_0 "12.5".
- 1924251 cpu_core_0 "12.5".
- 1924393 cpu_core_0 "12.5".
- 1924396 cpu_core_0 "12.5".
- 1924442 cpu_core_0 "12.5".
- 1924460 cpu_core_0 "12.5".
- 1924491 cpu_core_0 "12.5".
- 1924610 cpu_core_0 "12.5".
- 1924754 cpu_core_0 "12.5".
- 1924880 cpu_core_0 "12.5".
- 1924994 cpu_core_0 "12.5".
- 1925131 cpu_core_0 "12.5".
- 1925584 cpu_core_0 "12.5".
- 1925834 cpu_core_0 "12.5".
- 1926183 cpu_core_0 "12.5".
- 1926475 cpu_core_0 "12.5".
- 1926696 cpu_core_0 "12.5".
- 1926974 cpu_core_0 "12.5".
- 1927070 cpu_core_0 "12.5".
- 1927270 cpu_core_0 "12.5".
- 1927275 cpu_core_0 "12.5".
- 1927396 cpu_core_0 "12.5".
- 1927507 cpu_core_0 "12.5".
- 1927622 cpu_core_0 "12.5".
- 1973939 cpu_core_0 "12.5".
- 1973972 cpu_core_0 "12.5".
- 2062343 cpu_core_0 "12.5".
- 209484 cpu_core_0 "12.5".
- 209506 cpu_core_0 "12.5".
- 218696 cpu_core_0 "12.5".
- 218718 cpu_core_0 "12.5".
- 218744 cpu_core_0 "12.5".
- 218806 cpu_core_0 "12.5".
- 222722 cpu_core_0 "12.5".
- 240471 cpu_core_0 "12.5".
- 240517 cpu_core_0 "12.5".
- 247995 cpu_core_0 "12.5".
- 248041 cpu_core_0 "12.5".
- 260791 cpu_core_0 "12.5".
- 260813 cpu_core_0 "12.5".
- 303505 cpu_core_0 "12.5".
- 305391 cpu_core_0 "12.5".
- 362939 cpu_core_0 "12.5".
- 364026 cpu_core_0 "12.5".
- 404402 cpu_core_0 "12.5".
- 516171 cpu_core_0 "12.5".
- 516924 cpu_core_0 "12.5".
- 517583 cpu_core_0 "12.5".
- 517686 cpu_core_0 "12.5".
- 600175 cpu_core_0 "12.5".
- 600434 cpu_core_0 "12.5".
- 600541 cpu_core_0 "12.5".
- 601385 cpu_core_0 "12.5".
- 601462 cpu_core_0 "12.5".
- 601627 cpu_core_0 "12.5".
- 602250 cpu_core_0 "12.5".
- 658576 cpu_core_0 "12.5".
- 659167 cpu_core_0 "12.5".
- 659542 cpu_core_0 "12.5".
- 659897 cpu_core_0 "12.5".
- 700529 cpu_core_0 "12.5".
- 702189 cpu_core_0 "12.5".
- 702559 cpu_core_0 "12.5".
- 702842 cpu_core_0 "12.5".
- 791712 cpu_core_0 "12.5".
- 792212 cpu_core_0 "12.5".
- 796135 cpu_core_0 "12.5".
- 796515 cpu_core_0 "12.5".
- 796603 cpu_core_0 "12.5".
- 796645 cpu_core_0 "12.5".
- 796650 cpu_core_0 "12.5".
- 796895 cpu_core_0 "12.5".
- 902331 cpu_core_0 "12.5".
- 902339 cpu_core_0 "12.5".
- 905243 cpu_core_0 "12.5".
- 909351 cpu_core_0 "12.5".
- 909969 cpu_core_0 "12.5".
- 993638 cpu_core_0 "12.5".
- 1011446 cpu_core_1 "12.5".
- 1011563 cpu_core_1 "12.5".