Matches in ISWC2014 Benchmark for { ?s ?p 12.5. }
- 1011661 cpu_core_1 "12.5".
- 1011849 cpu_core_1 "12.5".
- 1011957 cpu_core_1 "12.5".
- 1012240 cpu_core_1 "12.5".
- 1012445 cpu_core_1 "12.5".
- 1012715 cpu_core_1 "12.5".
- 1012803 cpu_core_1 "12.5".
- 1012824 cpu_core_1 "12.5".
- 1012854 cpu_core_1 "12.5".
- 1012937 cpu_core_1 "12.5".
- 1013242 cpu_core_1 "12.5".
- 1013261 cpu_core_1 "12.5".
- 1013356 cpu_core_1 "12.5".
- 1448888 cpu_core_1 "12.5".
- 1501675 cpu_core_1 "12.5".
- 1646445 cpu_core_1 "12.5".
- 1671924 cpu_core_1 "12.5".
- 240439 cpu_core_1 "12.5".
- 240472 cpu_core_1 "12.5".
- 256629 cpu_core_1 "12.5".
- 303373 cpu_core_1 "12.5".
- 305218 cpu_core_1 "12.5".
- 363783 cpu_core_1 "12.5".
- 402221 cpu_core_1 "12.5".
- 403624 cpu_core_1 "12.5".
- 403971 cpu_core_1 "12.5".
- 404245 cpu_core_1 "12.5".
- 404297 cpu_core_1 "12.5".
- 404301 cpu_core_1 "12.5".
- 406649 cpu_core_1 "12.5".
- 514973 cpu_core_1 "12.5".
- 515839 cpu_core_1 "12.5".
- 516076 cpu_core_1 "12.5".
- 600094 cpu_core_1 "12.5".
- 620110 cpu_core_1 "12.5".
- 658872 cpu_core_1 "12.5".
- 660008 cpu_core_1 "12.5".
- 698447 cpu_core_1 "12.5".
- 698465 cpu_core_1 "12.5".
- 698722 cpu_core_1 "12.5".
- 699647 cpu_core_1 "12.5".
- 699771 cpu_core_1 "12.5".
- 699907 cpu_core_1 "12.5".
- 700192 cpu_core_1 "12.5".
- 700433 cpu_core_1 "12.5".
- 792069 cpu_core_1 "12.5".
- 902502 cpu_core_1 "12.5".
- 903290 cpu_core_1 "12.5".
- 909362 cpu_core_1 "12.5".
- 909632 cpu_core_1 "12.5".
- 909648 cpu_core_1 "12.5".
- 909653 cpu_core_1 "12.5".
- 909675 cpu_core_1 "12.5".
- 909787 cpu_core_1 "12.5".
- 910043 cpu_core_1 "12.5".
- 992913 cpu_core_1 "12.5".
- 1011478 cpu_core_2 "12.5".
- 1011977 cpu_core_2 "12.5".
- 1011996 cpu_core_2 "12.5".
- 1012186 cpu_core_2 "12.5".
- 1012334 cpu_core_2 "12.5".
- 1012461 cpu_core_2 "12.5".
- 1012681 cpu_core_2 "12.5".
- 1012714 cpu_core_2 "12.5".
- 285660 cpu_core_2 "12.5".
- 363560 cpu_core_2 "12.5".
- 363950 cpu_core_2 "12.5".
- 363972 cpu_core_2 "12.5".
- 364341 cpu_core_2 "12.5".
- 403105 cpu_core_2 "12.5".
- 403240 cpu_core_2 "12.5".
- 403989 cpu_core_2 "12.5".
- 404177 cpu_core_2 "12.5".
- 404267 cpu_core_2 "12.5".
- 404363 cpu_core_2 "12.5".
- 516587 cpu_core_2 "12.5".
- 517570 cpu_core_2 "12.5".
- 517601 cpu_core_2 "12.5".
- 600741 cpu_core_2 "12.5".
- 601142 cpu_core_2 "12.5".
- 601725 cpu_core_2 "12.5".
- 659549 cpu_core_2 "12.5".
- 698465 cpu_core_2 "12.5".
- 698634 cpu_core_2 "12.5".
- 698793 cpu_core_2 "12.5".
- 698910 cpu_core_2 "12.5".
- 699168 cpu_core_2 "12.5".
- 699553 cpu_core_2 "12.5".
- 699611 cpu_core_2 "12.5".
- 699982 cpu_core_2 "12.5".
- 700209 cpu_core_2 "12.5".
- 700376 cpu_core_2 "12.5".
- 700418 cpu_core_2 "12.5".
- 726254 cpu_core_2 "12.5".
- 792748 cpu_core_2 "12.5".
- 902717 cpu_core_2 "12.5".
- 904171 cpu_core_2 "12.5".
- 909238 cpu_core_2 "12.5".
- 909281 cpu_core_2 "12.5".
- 909300 cpu_core_2 "12.5".