Matches in ISWC2014 Benchmark for { ?s ?p 13.725490196078432. }
- 739168 cpu_core_0 "13.725490196078432".
- 741164 cpu_core_0 "13.725490196078432".
- 742110 cpu_core_0 "13.725490196078432".
- 743656 cpu_core_0 "13.725490196078432".
- 744712 cpu_core_0 "13.725490196078432".
- 757969 cpu_core_0 "13.725490196078432".
- 758599 cpu_core_0 "13.725490196078432".
- 761436 cpu_core_0 "13.725490196078432".
- 761699 cpu_core_0 "13.725490196078432".
- 764526 cpu_core_0 "13.725490196078432".
- 769218 cpu_core_0 "13.725490196078432".
- 771520 cpu_core_0 "13.725490196078432".
- 775700 cpu_core_0 "13.725490196078432".
- 776142 cpu_core_0 "13.725490196078432".
- 777949 cpu_core_0 "13.725490196078432".
- 781275 cpu_core_0 "13.725490196078432".
- 783481 cpu_core_0 "13.725490196078432".
- 783651 cpu_core_0 "13.725490196078432".
- 788650 cpu_core_0 "13.725490196078432".
- 794025 cpu_core_0 "13.725490196078432".
- 795970 cpu_core_0 "13.725490196078432".
- 796471 cpu_core_0 "13.725490196078432".
- 883541 cpu_core_0 "13.725490196078432".
- 908903 cpu_core_0 "13.725490196078432".
- 908981 cpu_core_0 "13.725490196078432".
- 909051 cpu_core_0 "13.725490196078432".
- 920747 cpu_core_0 "13.725490196078432".
- 922001 cpu_core_0 "13.725490196078432".
- 926937 cpu_core_0 "13.725490196078432".
- 928158 cpu_core_0 "13.725490196078432".
- 928234 cpu_core_0 "13.725490196078432".
- 941307 cpu_core_0 "13.725490196078432".
- 951115 cpu_core_0 "13.725490196078432".
- 962127 cpu_core_0 "13.725490196078432".
- 1010046 cpu_core_1 "13.725490196078432".
- 1011628 cpu_core_1 "13.725490196078432".
- 1011723 cpu_core_1 "13.725490196078432".
- 1013301 cpu_core_1 "13.725490196078432".
- 1018671 cpu_core_1 "13.725490196078432".
- 1019029 cpu_core_1 "13.725490196078432".
- 1025502 cpu_core_1 "13.725490196078432".
- 1027061 cpu_core_1 "13.725490196078432".
- 1027195 cpu_core_1 "13.725490196078432".
- 1028383 cpu_core_1 "13.725490196078432".
- 1030178 cpu_core_1 "13.725490196078432".
- 1030830 cpu_core_1 "13.725490196078432".
- 1033550 cpu_core_1 "13.725490196078432".
- 1040749 cpu_core_1 "13.725490196078432".
- 1043893 cpu_core_1 "13.725490196078432".
- 1049390 cpu_core_1 "13.725490196078432".
- 1052257 cpu_core_1 "13.725490196078432".
- 1053105 cpu_core_1 "13.725490196078432".
- 1053189 cpu_core_1 "13.725490196078432".
- 1054832 cpu_core_1 "13.725490196078432".
- 1054892 cpu_core_1 "13.725490196078432".
- 1056014 cpu_core_1 "13.725490196078432".
- 1058700 cpu_core_1 "13.725490196078432".
- 1060927 cpu_core_1 "13.725490196078432".
- 1068057 cpu_core_1 "13.725490196078432".
- 1069602 cpu_core_1 "13.725490196078432".
- 1071756 cpu_core_1 "13.725490196078432".
- 1080227 cpu_core_1 "13.725490196078432".
- 1080815 cpu_core_1 "13.725490196078432".
- 1080955 cpu_core_1 "13.725490196078432".
- 1085583 cpu_core_1 "13.725490196078432".
- 1088413 cpu_core_1 "13.725490196078432".
- 1090027 cpu_core_1 "13.725490196078432".
- 1092322 cpu_core_1 "13.725490196078432".
- 1092345 cpu_core_1 "13.725490196078432".
- 1094492 cpu_core_1 "13.725490196078432".
- 1095083 cpu_core_1 "13.725490196078432".
- 1098272 cpu_core_1 "13.725490196078432".
- 1098734 cpu_core_1 "13.725490196078432".
- 1101683 cpu_core_1 "13.725490196078432".
- 1102437 cpu_core_1 "13.725490196078432".
- 1104185 cpu_core_1 "13.725490196078432".
- 1104393 cpu_core_1 "13.725490196078432".
- 1107924 cpu_core_1 "13.725490196078432".
- 1109139 cpu_core_1 "13.725490196078432".
- 1111490 cpu_core_1 "13.725490196078432".
- 1114647 cpu_core_1 "13.725490196078432".
- 1121722 cpu_core_1 "13.725490196078432".
- 1125272 cpu_core_1 "13.725490196078432".
- 1126432 cpu_core_1 "13.725490196078432".
- 1126913 cpu_core_1 "13.725490196078432".
- 1128735 cpu_core_1 "13.725490196078432".
- 1139999 cpu_core_1 "13.725490196078432".
- 1141039 cpu_core_1 "13.725490196078432".
- 1142305 cpu_core_1 "13.725490196078432".
- 1142411 cpu_core_1 "13.725490196078432".
- 1150207 cpu_core_1 "13.725490196078432".
- 1150696 cpu_core_1 "13.725490196078432".
- 1155973 cpu_core_1 "13.725490196078432".
- 1156718 cpu_core_1 "13.725490196078432".
- 1158445 cpu_core_1 "13.725490196078432".
- 1168972 cpu_core_1 "13.725490196078432".
- 1172812 cpu_core_1 "13.725490196078432".
- 1184488 cpu_core_1 "13.725490196078432".
- 1185535 cpu_core_1 "13.725490196078432".
- 1189856 cpu_core_1 "13.725490196078432".