Matches in ISWC2014 Benchmark for { ?s ?p 3.9603960396039604. }
- 1121512 cpu_core_0 "3.9603960396039604".
- 1121541 cpu_core_0 "3.9603960396039604".
- 1121596 cpu_core_0 "3.9603960396039604".
- 1121732 cpu_core_0 "3.9603960396039604".
- 1121741 cpu_core_0 "3.9603960396039604".
- 112178 cpu_core_0 "3.9603960396039604".
- 1121894 cpu_core_0 "3.9603960396039604".
- 1122301 cpu_core_0 "3.9603960396039604".
- 1122386 cpu_core_0 "3.9603960396039604".
- 1122389 cpu_core_0 "3.9603960396039604".
- 1122571 cpu_core_0 "3.9603960396039604".
- 1122581 cpu_core_0 "3.9603960396039604".
- 1122770 cpu_core_0 "3.9603960396039604".
- 1122825 cpu_core_0 "3.9603960396039604".
- 1122994 cpu_core_0 "3.9603960396039604".
- 1123584 cpu_core_0 "3.9603960396039604".
- 1123610 cpu_core_0 "3.9603960396039604".
- 1123856 cpu_core_0 "3.9603960396039604".
- 1123882 cpu_core_0 "3.9603960396039604".
- 1123909 cpu_core_0 "3.9603960396039604".
- 1123941 cpu_core_0 "3.9603960396039604".
- 1123971 cpu_core_0 "3.9603960396039604".
- 1124197 cpu_core_0 "3.9603960396039604".
- 1124208 cpu_core_0 "3.9603960396039604".
- 1124335 cpu_core_0 "3.9603960396039604".
- 1124354 cpu_core_0 "3.9603960396039604".
- 1124725 cpu_core_0 "3.9603960396039604".
- 1125465 cpu_core_0 "3.9603960396039604".
- 112548 cpu_core_0 "3.9603960396039604".
- 112555 cpu_core_0 "3.9603960396039604".
- 1126272 cpu_core_0 "3.9603960396039604".
- 1126305 cpu_core_0 "3.9603960396039604".
- 1126324 cpu_core_0 "3.9603960396039604".
- 1126334 cpu_core_0 "3.9603960396039604".
- 1126345 cpu_core_0 "3.9603960396039604".
- 1126397 cpu_core_0 "3.9603960396039604".
- 1126879 cpu_core_0 "3.9603960396039604".
- 1126933 cpu_core_0 "3.9603960396039604".
- 1126967 cpu_core_0 "3.9603960396039604".
- 112703 cpu_core_0 "3.9603960396039604".
- 1127190 cpu_core_0 "3.9603960396039604".
- 1127261 cpu_core_0 "3.9603960396039604".
- 1127308 cpu_core_0 "3.9603960396039604".
- 1127621 cpu_core_0 "3.9603960396039604".
- 1127864 cpu_core_0 "3.9603960396039604".
- 1127903 cpu_core_0 "3.9603960396039604".
- 1128312 cpu_core_0 "3.9603960396039604".
- 1128544 cpu_core_0 "3.9603960396039604".
- 112860 cpu_core_0 "3.9603960396039604".
- 1128664 cpu_core_0 "3.9603960396039604".
- 1128745 cpu_core_0 "3.9603960396039604".
- 1128857 cpu_core_0 "3.9603960396039604".
- 1128948 cpu_core_0 "3.9603960396039604".
- 112902 cpu_core_0 "3.9603960396039604".
- 1129020 cpu_core_0 "3.9603960396039604".
- 1129083 cpu_core_0 "3.9603960396039604".
- 1129086 cpu_core_0 "3.9603960396039604".
- 1129203 cpu_core_0 "3.9603960396039604".
- 1129336 cpu_core_0 "3.9603960396039604".
- 1129853 cpu_core_0 "3.9603960396039604".
- 1130305 cpu_core_0 "3.9603960396039604".
- 1130330 cpu_core_0 "3.9603960396039604".
- 1130374 cpu_core_0 "3.9603960396039604".
- 1130394 cpu_core_0 "3.9603960396039604".
- 1130480 cpu_core_0 "3.9603960396039604".
- 11305 cpu_core_0 "3.9603960396039604".
- 1131420 cpu_core_0 "3.9603960396039604".
- 1131861 cpu_core_0 "3.9603960396039604".
- 1131879 cpu_core_0 "3.9603960396039604".
- 1131897 cpu_core_0 "3.9603960396039604".
- 1131932 cpu_core_0 "3.9603960396039604".
- 1131994 cpu_core_0 "3.9603960396039604".
- 1132010 cpu_core_0 "3.9603960396039604".
- 1132109 cpu_core_0 "3.9603960396039604".
- 1132314 cpu_core_0 "3.9603960396039604".
- 1132553 cpu_core_0 "3.9603960396039604".
- 1132603 cpu_core_0 "3.9603960396039604".
- 1132720 cpu_core_0 "3.9603960396039604".
- 113285 cpu_core_0 "3.9603960396039604".
- 1133029 cpu_core_0 "3.9603960396039604".
- 1133155 cpu_core_0 "3.9603960396039604".
- 113324 cpu_core_0 "3.9603960396039604".
- 1133544 cpu_core_0 "3.9603960396039604".
- 1134047 cpu_core_0 "3.9603960396039604".
- 1134120 cpu_core_0 "3.9603960396039604".
- 1134147 cpu_core_0 "3.9603960396039604".
- 1134278 cpu_core_0 "3.9603960396039604".
- 1134532 cpu_core_0 "3.9603960396039604".
- 1134831 cpu_core_0 "3.9603960396039604".
- 1134863 cpu_core_0 "3.9603960396039604".
- 1134886 cpu_core_0 "3.9603960396039604".
- 1134960 cpu_core_0 "3.9603960396039604".
- 1134969 cpu_core_0 "3.9603960396039604".
- 1135019 cpu_core_0 "3.9603960396039604".
- 1135096 cpu_core_0 "3.9603960396039604".
- 1135114 cpu_core_0 "3.9603960396039604".
- 1135131 cpu_core_0 "3.9603960396039604".
- 1135381 cpu_core_0 "3.9603960396039604".
- 1135431 cpu_core_0 "3.9603960396039604".
- 1135491 cpu_core_0 "3.9603960396039604".