Matches in ISWC2014 Benchmark for { ?s ?p 22.000000000000004. }
- 705878 cpu_core_0 "22.000000000000004".
- 706853 cpu_core_0 "22.000000000000004".
- 713058 cpu_core_0 "22.000000000000004".
- 714775 cpu_core_0 "22.000000000000004".
- 717389 cpu_core_0 "22.000000000000004".
- 718835 cpu_core_0 "22.000000000000004".
- 718861 cpu_core_0 "22.000000000000004".
- 720027 cpu_core_0 "22.000000000000004".
- 723687 cpu_core_0 "22.000000000000004".
- 726651 cpu_core_0 "22.000000000000004".
- 727669 cpu_core_0 "22.000000000000004".
- 727768 cpu_core_0 "22.000000000000004".
- 730350 cpu_core_0 "22.000000000000004".
- 732877 cpu_core_0 "22.000000000000004".
- 733898 cpu_core_0 "22.000000000000004".
- 738454 cpu_core_0 "22.000000000000004".
- 739537 cpu_core_0 "22.000000000000004".
- 740461 cpu_core_0 "22.000000000000004".
- 741808 cpu_core_0 "22.000000000000004".
- 741946 cpu_core_0 "22.000000000000004".
- 742313 cpu_core_0 "22.000000000000004".
- 751638 cpu_core_0 "22.000000000000004".
- 754292 cpu_core_0 "22.000000000000004".
- 757427 cpu_core_0 "22.000000000000004".
- 758491 cpu_core_0 "22.000000000000004".
- 758655 cpu_core_0 "22.000000000000004".
- 762080 cpu_core_0 "22.000000000000004".
- 762653 cpu_core_0 "22.000000000000004".
- 763111 cpu_core_0 "22.000000000000004".
- 763576 cpu_core_0 "22.000000000000004".
- 769523 cpu_core_0 "22.000000000000004".
- 770756 cpu_core_0 "22.000000000000004".
- 772232 cpu_core_0 "22.000000000000004".
- 773420 cpu_core_0 "22.000000000000004".
- 787033 cpu_core_0 "22.000000000000004".
- 789878 cpu_core_0 "22.000000000000004".
- 789917 cpu_core_0 "22.000000000000004".
- 790476 cpu_core_0 "22.000000000000004".
- 790940 cpu_core_0 "22.000000000000004".
- 796047 cpu_core_0 "22.000000000000004".
- 806895 cpu_core_0 "22.000000000000004".
- 807199 cpu_core_0 "22.000000000000004".
- 807467 cpu_core_0 "22.000000000000004".
- 810747 cpu_core_0 "22.000000000000004".
- 813621 cpu_core_0 "22.000000000000004".
- 815125 cpu_core_0 "22.000000000000004".
- 816729 cpu_core_0 "22.000000000000004".
- 838984 cpu_core_0 "22.000000000000004".
- 841022 cpu_core_0 "22.000000000000004".
- 848542 cpu_core_0 "22.000000000000004".
- 855483 cpu_core_0 "22.000000000000004".
- 858618 cpu_core_0 "22.000000000000004".
- 870736 cpu_core_0 "22.000000000000004".
- 871642 cpu_core_0 "22.000000000000004".
- 876347 cpu_core_0 "22.000000000000004".
- 880138 cpu_core_0 "22.000000000000004".
- 893354 cpu_core_0 "22.000000000000004".
- 893558 cpu_core_0 "22.000000000000004".
- 895931 cpu_core_0 "22.000000000000004".
- 899817 cpu_core_0 "22.000000000000004".
- 901993 cpu_core_0 "22.000000000000004".
- 905531 cpu_core_0 "22.000000000000004".
- 905802 cpu_core_0 "22.000000000000004".
- 910528 cpu_core_0 "22.000000000000004".
- 911073 cpu_core_0 "22.000000000000004".
- 915412 cpu_core_0 "22.000000000000004".
- 915682 cpu_core_0 "22.000000000000004".
- 919136 cpu_core_0 "22.000000000000004".
- 922009 cpu_core_0 "22.000000000000004".
- 941912 cpu_core_0 "22.000000000000004".
- 944269 cpu_core_0 "22.000000000000004".
- 954001 cpu_core_0 "22.000000000000004".
- 958105 cpu_core_0 "22.000000000000004".
- 961112 cpu_core_0 "22.000000000000004".
- 990643 cpu_core_0 "22.000000000000004".
- 990715 cpu_core_0 "22.000000000000004".
- 992769 cpu_core_0 "22.000000000000004".
- 1004555 cpu_core_1 "22.000000000000004".
- 1005251 cpu_core_1 "22.000000000000004".
- 1009659 cpu_core_1 "22.000000000000004".
- 1009764 cpu_core_1 "22.000000000000004".
- 1009832 cpu_core_1 "22.000000000000004".
- 1010236 cpu_core_1 "22.000000000000004".
- 1011134 cpu_core_1 "22.000000000000004".
- 1232852 cpu_core_1 "22.000000000000004".
- 1234807 cpu_core_1 "22.000000000000004".
- 1296803 cpu_core_1 "22.000000000000004".
- 1556502 cpu_core_1 "22.000000000000004".
- 1659978 cpu_core_1 "22.000000000000004".
- 1660658 cpu_core_1 "22.000000000000004".
- 1661265 cpu_core_1 "22.000000000000004".
- 1666976 cpu_core_1 "22.000000000000004".
- 1672890 cpu_core_1 "22.000000000000004".
- 1673490 cpu_core_1 "22.000000000000004".
- 1675507 cpu_core_1 "22.000000000000004".
- 1676752 cpu_core_1 "22.000000000000004".
- 1677767 cpu_core_1 "22.000000000000004".
- 1680730 cpu_core_1 "22.000000000000004".
- 1681131 cpu_core_1 "22.000000000000004".
- 1684842 cpu_core_1 "22.000000000000004".