Matches in ISWC2014 Benchmark for { ?s ?p 12.871287128712872. }
- 1235611 cpu_core_0 "12.871287128712872".
- 1235878 cpu_core_0 "12.871287128712872".
- 1235965 cpu_core_0 "12.871287128712872".
- 1236595 cpu_core_0 "12.871287128712872".
- 1237168 cpu_core_0 "12.871287128712872".
- 1237386 cpu_core_0 "12.871287128712872".
- 1237480 cpu_core_0 "12.871287128712872".
- 1237840 cpu_core_0 "12.871287128712872".
- 1237868 cpu_core_0 "12.871287128712872".
- 1237976 cpu_core_0 "12.871287128712872".
- 1237984 cpu_core_0 "12.871287128712872".
- 1238131 cpu_core_0 "12.871287128712872".
- 1238214 cpu_core_0 "12.871287128712872".
- 1238283 cpu_core_0 "12.871287128712872".
- 1238321 cpu_core_0 "12.871287128712872".
- 1238345 cpu_core_0 "12.871287128712872".
- 1238360 cpu_core_0 "12.871287128712872".
- 1238381 cpu_core_0 "12.871287128712872".
- 1238409 cpu_core_0 "12.871287128712872".
- 1238513 cpu_core_0 "12.871287128712872".
- 1238550 cpu_core_0 "12.871287128712872".
- 1238600 cpu_core_0 "12.871287128712872".
- 1238604 cpu_core_0 "12.871287128712872".
- 1238851 cpu_core_0 "12.871287128712872".
- 1238906 cpu_core_0 "12.871287128712872".
- 1239017 cpu_core_0 "12.871287128712872".
- 1239047 cpu_core_0 "12.871287128712872".
- 1239069 cpu_core_0 "12.871287128712872".
- 1239085 cpu_core_0 "12.871287128712872".
- 1239150 cpu_core_0 "12.871287128712872".
- 1239517 cpu_core_0 "12.871287128712872".
- 1239639 cpu_core_0 "12.871287128712872".
- 1240211 cpu_core_0 "12.871287128712872".
- 1240249 cpu_core_0 "12.871287128712872".
- 1240276 cpu_core_0 "12.871287128712872".
- 1240333 cpu_core_0 "12.871287128712872".
- 1240759 cpu_core_0 "12.871287128712872".
- 1240778 cpu_core_0 "12.871287128712872".
- 1240929 cpu_core_0 "12.871287128712872".
- 1240980 cpu_core_0 "12.871287128712872".
- 1240993 cpu_core_0 "12.871287128712872".
- 1241135 cpu_core_0 "12.871287128712872".
- 1241144 cpu_core_0 "12.871287128712872".
- 1241418 cpu_core_0 "12.871287128712872".
- 1241498 cpu_core_0 "12.871287128712872".
- 1241590 cpu_core_0 "12.871287128712872".
- 1242125 cpu_core_0 "12.871287128712872".
- 1242134 cpu_core_0 "12.871287128712872".
- 1242176 cpu_core_0 "12.871287128712872".
- 1242194 cpu_core_0 "12.871287128712872".
- 1242516 cpu_core_0 "12.871287128712872".
- 1242639 cpu_core_0 "12.871287128712872".
- 1242683 cpu_core_0 "12.871287128712872".
- 1242702 cpu_core_0 "12.871287128712872".
- 1242732 cpu_core_0 "12.871287128712872".
- 1242778 cpu_core_0 "12.871287128712872".
- 1242790 cpu_core_0 "12.871287128712872".
- 1242855 cpu_core_0 "12.871287128712872".
- 1242902 cpu_core_0 "12.871287128712872".
- 1242993 cpu_core_0 "12.871287128712872".
- 1243296 cpu_core_0 "12.871287128712872".
- 1243697 cpu_core_0 "12.871287128712872".
- 1243739 cpu_core_0 "12.871287128712872".
- 1243746 cpu_core_0 "12.871287128712872".
- 1243803 cpu_core_0 "12.871287128712872".
- 1243851 cpu_core_0 "12.871287128712872".
- 1243897 cpu_core_0 "12.871287128712872".
- 1243958 cpu_core_0 "12.871287128712872".
- 1243967 cpu_core_0 "12.871287128712872".
- 1244019 cpu_core_0 "12.871287128712872".
- 1244029 cpu_core_0 "12.871287128712872".
- 1244095 cpu_core_0 "12.871287128712872".
- 1244257 cpu_core_0 "12.871287128712872".
- 1244323 cpu_core_0 "12.871287128712872".
- 1244373 cpu_core_0 "12.871287128712872".
- 1244495 cpu_core_0 "12.871287128712872".
- 1244553 cpu_core_0 "12.871287128712872".
- 1244573 cpu_core_0 "12.871287128712872".
- 1244680 cpu_core_0 "12.871287128712872".
- 1244718 cpu_core_0 "12.871287128712872".
- 1244797 cpu_core_0 "12.871287128712872".
- 1244869 cpu_core_0 "12.871287128712872".
- 1245048 cpu_core_0 "12.871287128712872".
- 1245070 cpu_core_0 "12.871287128712872".
- 1245080 cpu_core_0 "12.871287128712872".
- 1245089 cpu_core_0 "12.871287128712872".
- 1245162 cpu_core_0 "12.871287128712872".
- 1245169 cpu_core_0 "12.871287128712872".
- 1245238 cpu_core_0 "12.871287128712872".
- 1245241 cpu_core_0 "12.871287128712872".
- 1245435 cpu_core_0 "12.871287128712872".
- 1245473 cpu_core_0 "12.871287128712872".
- 1245588 cpu_core_0 "12.871287128712872".
- 1245743 cpu_core_0 "12.871287128712872".
- 1245762 cpu_core_0 "12.871287128712872".
- 1245882 cpu_core_0 "12.871287128712872".
- 1245949 cpu_core_0 "12.871287128712872".
- 1245955 cpu_core_0 "12.871287128712872".
- 1246113 cpu_core_0 "12.871287128712872".
- 1246129 cpu_core_0 "12.871287128712872".