Matches in ISWC2014 Benchmark for { ?s ?p 3.9603960396039604. }
- 1198454 cpu_core_0 "3.9603960396039604".
- 1198528 cpu_core_0 "3.9603960396039604".
- 1198551 cpu_core_0 "3.9603960396039604".
- 1198671 cpu_core_0 "3.9603960396039604".
- 1198758 cpu_core_0 "3.9603960396039604".
- 1198811 cpu_core_0 "3.9603960396039604".
- 1199003 cpu_core_0 "3.9603960396039604".
- 119910 cpu_core_0 "3.9603960396039604".
- 1199183 cpu_core_0 "3.9603960396039604".
- 1199226 cpu_core_0 "3.9603960396039604".
- 1199291 cpu_core_0 "3.9603960396039604".
- 1199405 cpu_core_0 "3.9603960396039604".
- 1199514 cpu_core_0 "3.9603960396039604".
- 119991 cpu_core_0 "3.9603960396039604".
- 1200010 cpu_core_0 "3.9603960396039604".
- 1200169 cpu_core_0 "3.9603960396039604".
- 1200233 cpu_core_0 "3.9603960396039604".
- 1200241 cpu_core_0 "3.9603960396039604".
- 120039 cpu_core_0 "3.9603960396039604".
- 1200427 cpu_core_0 "3.9603960396039604".
- 1200586 cpu_core_0 "3.9603960396039604".
- 1200601 cpu_core_0 "3.9603960396039604".
- 1200641 cpu_core_0 "3.9603960396039604".
- 1200725 cpu_core_0 "3.9603960396039604".
- 1200748 cpu_core_0 "3.9603960396039604".
- 1200836 cpu_core_0 "3.9603960396039604".
- 1201082 cpu_core_0 "3.9603960396039604".
- 1201092 cpu_core_0 "3.9603960396039604".
- 1201099 cpu_core_0 "3.9603960396039604".
- 1201591 cpu_core_0 "3.9603960396039604".
- 1201743 cpu_core_0 "3.9603960396039604".
- 1201776 cpu_core_0 "3.9603960396039604".
- 1201827 cpu_core_0 "3.9603960396039604".
- 1201854 cpu_core_0 "3.9603960396039604".
- 1201896 cpu_core_0 "3.9603960396039604".
- 120246 cpu_core_0 "3.9603960396039604".
- 1202461 cpu_core_0 "3.9603960396039604".
- 1202490 cpu_core_0 "3.9603960396039604".
- 1202506 cpu_core_0 "3.9603960396039604".
- 1202645 cpu_core_0 "3.9603960396039604".
- 1202699 cpu_core_0 "3.9603960396039604".
- 1202780 cpu_core_0 "3.9603960396039604".
- 1202808 cpu_core_0 "3.9603960396039604".
- 1202846 cpu_core_0 "3.9603960396039604".
- 1203186 cpu_core_0 "3.9603960396039604".
- 1203198 cpu_core_0 "3.9603960396039604".
- 1203321 cpu_core_0 "3.9603960396039604".
- 1203330 cpu_core_0 "3.9603960396039604".
- 1203358 cpu_core_0 "3.9603960396039604".
- 1203573 cpu_core_0 "3.9603960396039604".
- 1203651 cpu_core_0 "3.9603960396039604".
- 1204165 cpu_core_0 "3.9603960396039604".
- 1204979 cpu_core_0 "3.9603960396039604".
- 1205112 cpu_core_0 "3.9603960396039604".
- 1205143 cpu_core_0 "3.9603960396039604".
- 1205158 cpu_core_0 "3.9603960396039604".
- 1205162 cpu_core_0 "3.9603960396039604".
- 1205191 cpu_core_0 "3.9603960396039604".
- 1205195 cpu_core_0 "3.9603960396039604".
- 1205327 cpu_core_0 "3.9603960396039604".
- 1205418 cpu_core_0 "3.9603960396039604".
- 1205514 cpu_core_0 "3.9603960396039604".
- 1205532 cpu_core_0 "3.9603960396039604".
- 1205642 cpu_core_0 "3.9603960396039604".
- 1205735 cpu_core_0 "3.9603960396039604".
- 1205821 cpu_core_0 "3.9603960396039604".
- 1205916 cpu_core_0 "3.9603960396039604".
- 1206045 cpu_core_0 "3.9603960396039604".
- 1206196 cpu_core_0 "3.9603960396039604".
- 1206233 cpu_core_0 "3.9603960396039604".
- 1206250 cpu_core_0 "3.9603960396039604".
- 1206406 cpu_core_0 "3.9603960396039604".
- 1206573 cpu_core_0 "3.9603960396039604".
- 1206650 cpu_core_0 "3.9603960396039604".
- 1206864 cpu_core_0 "3.9603960396039604".
- 1206871 cpu_core_0 "3.9603960396039604".
- 1206990 cpu_core_0 "3.9603960396039604".
- 1207098 cpu_core_0 "3.9603960396039604".
- 1208352 cpu_core_0 "3.9603960396039604".
- 1208649 cpu_core_0 "3.9603960396039604".
- 1209432 cpu_core_0 "3.9603960396039604".
- 1209900 cpu_core_0 "3.9603960396039604".
- 1210261 cpu_core_0 "3.9603960396039604".
- 1211837 cpu_core_0 "3.9603960396039604".
- 1212432 cpu_core_0 "3.9603960396039604".
- 1213540 cpu_core_0 "3.9603960396039604".
- 1213723 cpu_core_0 "3.9603960396039604".
- 1213724 cpu_core_0 "3.9603960396039604".
- 1213750 cpu_core_0 "3.9603960396039604".
- 1213795 cpu_core_0 "3.9603960396039604".
- 1213896 cpu_core_0 "3.9603960396039604".
- 1213944 cpu_core_0 "3.9603960396039604".
- 1214006 cpu_core_0 "3.9603960396039604".
- 1214038 cpu_core_0 "3.9603960396039604".
- 1214224 cpu_core_0 "3.9603960396039604".
- 1214362 cpu_core_0 "3.9603960396039604".
- 1214646 cpu_core_0 "3.9603960396039604".
- 1214982 cpu_core_0 "3.9603960396039604".
- 1215366 cpu_core_0 "3.9603960396039604".
- 1215395 cpu_core_0 "3.9603960396039604".