Matches in ISWC2014 Benchmark for { ?s ?p 15.686274509803921. }
- 1010006 cpu_core_0 "15.686274509803921".
- 1011185 cpu_core_0 "15.686274509803921".
- 1012568 cpu_core_0 "15.686274509803921".
- 1013530 cpu_core_0 "15.686274509803921".
- 1015677 cpu_core_0 "15.686274509803921".
- 1015924 cpu_core_0 "15.686274509803921".
- 1018558 cpu_core_0 "15.686274509803921".
- 1018689 cpu_core_0 "15.686274509803921".
- 1020433 cpu_core_0 "15.686274509803921".
- 1021935 cpu_core_0 "15.686274509803921".
- 1025254 cpu_core_0 "15.686274509803921".
- 1025563 cpu_core_0 "15.686274509803921".
- 1026606 cpu_core_0 "15.686274509803921".
- 1027908 cpu_core_0 "15.686274509803921".
- 1028444 cpu_core_0 "15.686274509803921".
- 1029421 cpu_core_0 "15.686274509803921".
- 1029472 cpu_core_0 "15.686274509803921".
- 1032001 cpu_core_0 "15.686274509803921".
- 1032780 cpu_core_0 "15.686274509803921".
- 1033022 cpu_core_0 "15.686274509803921".
- 1033984 cpu_core_0 "15.686274509803921".
- 1034654 cpu_core_0 "15.686274509803921".
- 1035679 cpu_core_0 "15.686274509803921".
- 1035805 cpu_core_0 "15.686274509803921".
- 1036884 cpu_core_0 "15.686274509803921".
- 1037106 cpu_core_0 "15.686274509803921".
- 1039600 cpu_core_0 "15.686274509803921".
- 1041493 cpu_core_0 "15.686274509803921".
- 1041719 cpu_core_0 "15.686274509803921".
- 1041887 cpu_core_0 "15.686274509803921".
- 1043322 cpu_core_0 "15.686274509803921".
- 1047518 cpu_core_0 "15.686274509803921".
- 1053016 cpu_core_0 "15.686274509803921".
- 1053160 cpu_core_0 "15.686274509803921".
- 1054169 cpu_core_0 "15.686274509803921".
- 1056723 cpu_core_0 "15.686274509803921".
- 1056840 cpu_core_0 "15.686274509803921".
- 1059195 cpu_core_0 "15.686274509803921".
- 1059480 cpu_core_0 "15.686274509803921".
- 1059990 cpu_core_0 "15.686274509803921".
- 1060579 cpu_core_0 "15.686274509803921".
- 1062595 cpu_core_0 "15.686274509803921".
- 1063639 cpu_core_0 "15.686274509803921".
- 1066108 cpu_core_0 "15.686274509803921".
- 1066213 cpu_core_0 "15.686274509803921".
- 1067447 cpu_core_0 "15.686274509803921".
- 1068853 cpu_core_0 "15.686274509803921".
- 1069036 cpu_core_0 "15.686274509803921".
- 1069239 cpu_core_0 "15.686274509803921".
- 1070481 cpu_core_0 "15.686274509803921".
- 1070949 cpu_core_0 "15.686274509803921".
- 1071296 cpu_core_0 "15.686274509803921".
- 1073012 cpu_core_0 "15.686274509803921".
- 1074228 cpu_core_0 "15.686274509803921".
- 1074492 cpu_core_0 "15.686274509803921".
- 1074827 cpu_core_0 "15.686274509803921".
- 1077535 cpu_core_0 "15.686274509803921".
- 1077820 cpu_core_0 "15.686274509803921".
- 1078407 cpu_core_0 "15.686274509803921".
- 1079269 cpu_core_0 "15.686274509803921".
- 1081148 cpu_core_0 "15.686274509803921".
- 1081310 cpu_core_0 "15.686274509803921".
- 1081851 cpu_core_0 "15.686274509803921".
- 1082189 cpu_core_0 "15.686274509803921".
- 1082903 cpu_core_0 "15.686274509803921".
- 1084347 cpu_core_0 "15.686274509803921".
- 1084572 cpu_core_0 "15.686274509803921".
- 1084942 cpu_core_0 "15.686274509803921".
- 1085148 cpu_core_0 "15.686274509803921".
- 1086568 cpu_core_0 "15.686274509803921".
- 1087259 cpu_core_0 "15.686274509803921".
- 1088866 cpu_core_0 "15.686274509803921".
- 1091032 cpu_core_0 "15.686274509803921".
- 1092345 cpu_core_0 "15.686274509803921".
- 1092658 cpu_core_0 "15.686274509803921".
- 1095044 cpu_core_0 "15.686274509803921".
- 1096519 cpu_core_0 "15.686274509803921".
- 1096694 cpu_core_0 "15.686274509803921".
- 1097899 cpu_core_0 "15.686274509803921".
- 1098978 cpu_core_0 "15.686274509803921".
- 1100316 cpu_core_0 "15.686274509803921".
- 1100943 cpu_core_0 "15.686274509803921".
- 1102408 cpu_core_0 "15.686274509803921".
- 1103042 cpu_core_0 "15.686274509803921".
- 1105520 cpu_core_0 "15.686274509803921".
- 1106709 cpu_core_0 "15.686274509803921".
- 1106826 cpu_core_0 "15.686274509803921".
- 1108959 cpu_core_0 "15.686274509803921".
- 1109804 cpu_core_0 "15.686274509803921".
- 1110387 cpu_core_0 "15.686274509803921".
- 1111266 cpu_core_0 "15.686274509803921".
- 1112027 cpu_core_0 "15.686274509803921".
- 1112644 cpu_core_0 "15.686274509803921".
- 1116072 cpu_core_0 "15.686274509803921".
- 1116440 cpu_core_0 "15.686274509803921".
- 1117033 cpu_core_0 "15.686274509803921".
- 1119910 cpu_core_0 "15.686274509803921".
- 1120145 cpu_core_0 "15.686274509803921".
- 1122332 cpu_core_0 "15.686274509803921".
- 1125322 cpu_core_0 "15.686274509803921".