Matches in ISWC2014 Benchmark for { ?s ?p 3.061224489795918. }
- 1087016 cpu_core_0 "3.061224489795918".
- 1087356 cpu_core_0 "3.061224489795918".
- 1089225 cpu_core_0 "3.061224489795918".
- 1089308 cpu_core_0 "3.061224489795918".
- 1089338 cpu_core_0 "3.061224489795918".
- 1089621 cpu_core_0 "3.061224489795918".
- 1089643 cpu_core_0 "3.061224489795918".
- 1091735 cpu_core_0 "3.061224489795918".
- 1091922 cpu_core_0 "3.061224489795918".
- 1092239 cpu_core_0 "3.061224489795918".
- 1092778 cpu_core_0 "3.061224489795918".
- 1094178 cpu_core_0 "3.061224489795918".
- 1094212 cpu_core_0 "3.061224489795918".
- 1094285 cpu_core_0 "3.061224489795918".
- 1095125 cpu_core_0 "3.061224489795918".
- 1095364 cpu_core_0 "3.061224489795918".
- 1095533 cpu_core_0 "3.061224489795918".
- 1096366 cpu_core_0 "3.061224489795918".
- 1097730 cpu_core_0 "3.061224489795918".
- 1098508 cpu_core_0 "3.061224489795918".
- 1100448 cpu_core_0 "3.061224489795918".
- 1100783 cpu_core_0 "3.061224489795918".
- 1102337 cpu_core_0 "3.061224489795918".
- 1102593 cpu_core_0 "3.061224489795918".
- 1103691 cpu_core_0 "3.061224489795918".
- 1103998 cpu_core_0 "3.061224489795918".
- 1104257 cpu_core_0 "3.061224489795918".
- 1104790 cpu_core_0 "3.061224489795918".
- 1106127 cpu_core_0 "3.061224489795918".
- 1106740 cpu_core_0 "3.061224489795918".
- 1107284 cpu_core_0 "3.061224489795918".
- 1107487 cpu_core_0 "3.061224489795918".
- 1108189 cpu_core_0 "3.061224489795918".
- 1108608 cpu_core_0 "3.061224489795918".
- 1110334 cpu_core_0 "3.061224489795918".
- 1111364 cpu_core_0 "3.061224489795918".
- 1111495 cpu_core_0 "3.061224489795918".
- 1111909 cpu_core_0 "3.061224489795918".
- 1112201 cpu_core_0 "3.061224489795918".
- 1112794 cpu_core_0 "3.061224489795918".
- 1112933 cpu_core_0 "3.061224489795918".
- 1112951 cpu_core_0 "3.061224489795918".
- 1113289 cpu_core_0 "3.061224489795918".
- 1114178 cpu_core_0 "3.061224489795918".
- 1114288 cpu_core_0 "3.061224489795918".
- 1114644 cpu_core_0 "3.061224489795918".
- 1114919 cpu_core_0 "3.061224489795918".
- 1115007 cpu_core_0 "3.061224489795918".
- 1115104 cpu_core_0 "3.061224489795918".
- 1115460 cpu_core_0 "3.061224489795918".
- 1116303 cpu_core_0 "3.061224489795918".
- 1116609 cpu_core_0 "3.061224489795918".
- 1117184 cpu_core_0 "3.061224489795918".
- 1117392 cpu_core_0 "3.061224489795918".
- 1117555 cpu_core_0 "3.061224489795918".
- 1117867 cpu_core_0 "3.061224489795918".
- 1120086 cpu_core_0 "3.061224489795918".
- 1120400 cpu_core_0 "3.061224489795918".
- 1121281 cpu_core_0 "3.061224489795918".
- 1121358 cpu_core_0 "3.061224489795918".
- 1121430 cpu_core_0 "3.061224489795918".
- 1121933 cpu_core_0 "3.061224489795918".
- 1123016 cpu_core_0 "3.061224489795918".
- 1123130 cpu_core_0 "3.061224489795918".
- 1123611 cpu_core_0 "3.061224489795918".
- 1123925 cpu_core_0 "3.061224489795918".
- 1124640 cpu_core_0 "3.061224489795918".
- 1124778 cpu_core_0 "3.061224489795918".
- 1125782 cpu_core_0 "3.061224489795918".
- 1126152 cpu_core_0 "3.061224489795918".
- 1126211 cpu_core_0 "3.061224489795918".
- 1126734 cpu_core_0 "3.061224489795918".
- 1127799 cpu_core_0 "3.061224489795918".
- 1127839 cpu_core_0 "3.061224489795918".
- 1128855 cpu_core_0 "3.061224489795918".
- 1129085 cpu_core_0 "3.061224489795918".
- 1129204 cpu_core_0 "3.061224489795918".
- 1129260 cpu_core_0 "3.061224489795918".
- 1130144 cpu_core_0 "3.061224489795918".
- 1130175 cpu_core_0 "3.061224489795918".
- 1131189 cpu_core_0 "3.061224489795918".
- 1131895 cpu_core_0 "3.061224489795918".
- 1132047 cpu_core_0 "3.061224489795918".
- 1132154 cpu_core_0 "3.061224489795918".
- 1132208 cpu_core_0 "3.061224489795918".
- 1132655 cpu_core_0 "3.061224489795918".
- 1133009 cpu_core_0 "3.061224489795918".
- 1133165 cpu_core_0 "3.061224489795918".
- 1134098 cpu_core_0 "3.061224489795918".
- 1134404 cpu_core_0 "3.061224489795918".
- 1134541 cpu_core_0 "3.061224489795918".
- 1134657 cpu_core_0 "3.061224489795918".
- 1134836 cpu_core_0 "3.061224489795918".
- 1135972 cpu_core_0 "3.061224489795918".
- 1136082 cpu_core_0 "3.061224489795918".
- 1136413 cpu_core_0 "3.061224489795918".
- 1136484 cpu_core_0 "3.061224489795918".
- 1138053 cpu_core_0 "3.061224489795918".
- 1139411 cpu_core_0 "3.061224489795918".
- 1140539 cpu_core_0 "3.061224489795918".