Matches in ISWC2014 Benchmark for { ?s ?p 3.9603960396039604. }
- 1254915 cpu_core_0 "3.9603960396039604".
- 1254921 cpu_core_0 "3.9603960396039604".
- 1255140 cpu_core_0 "3.9603960396039604".
- 1255150 cpu_core_0 "3.9603960396039604".
- 1255155 cpu_core_0 "3.9603960396039604".
- 1255161 cpu_core_0 "3.9603960396039604".
- 1255166 cpu_core_0 "3.9603960396039604".
- 1255233 cpu_core_0 "3.9603960396039604".
- 1255254 cpu_core_0 "3.9603960396039604".
- 1255305 cpu_core_0 "3.9603960396039604".
- 1255340 cpu_core_0 "3.9603960396039604".
- 1255688 cpu_core_0 "3.9603960396039604".
- 1255750 cpu_core_0 "3.9603960396039604".
- 1255806 cpu_core_0 "3.9603960396039604".
- 1256325 cpu_core_0 "3.9603960396039604".
- 1256351 cpu_core_0 "3.9603960396039604".
- 1256362 cpu_core_0 "3.9603960396039604".
- 1256371 cpu_core_0 "3.9603960396039604".
- 1256437 cpu_core_0 "3.9603960396039604".
- 1256483 cpu_core_0 "3.9603960396039604".
- 1256606 cpu_core_0 "3.9603960396039604".
- 1256733 cpu_core_0 "3.9603960396039604".
- 1256840 cpu_core_0 "3.9603960396039604".
- 1256871 cpu_core_0 "3.9603960396039604".
- 1257006 cpu_core_0 "3.9603960396039604".
- 1257066 cpu_core_0 "3.9603960396039604".
- 1257317 cpu_core_0 "3.9603960396039604".
- 1257334 cpu_core_0 "3.9603960396039604".
- 1257428 cpu_core_0 "3.9603960396039604".
- 1257608 cpu_core_0 "3.9603960396039604".
- 1257791 cpu_core_0 "3.9603960396039604".
- 1257914 cpu_core_0 "3.9603960396039604".
- 1257918 cpu_core_0 "3.9603960396039604".
- 1258399 cpu_core_0 "3.9603960396039604".
- 1258490 cpu_core_0 "3.9603960396039604".
- 1258512 cpu_core_0 "3.9603960396039604".
- 1258753 cpu_core_0 "3.9603960396039604".
- 1258804 cpu_core_0 "3.9603960396039604".
- 1258876 cpu_core_0 "3.9603960396039604".
- 1258885 cpu_core_0 "3.9603960396039604".
- 1259077 cpu_core_0 "3.9603960396039604".
- 1259110 cpu_core_0 "3.9603960396039604".
- 1259124 cpu_core_0 "3.9603960396039604".
- 1259321 cpu_core_0 "3.9603960396039604".
- 1259337 cpu_core_0 "3.9603960396039604".
- 1259434 cpu_core_0 "3.9603960396039604".
- 1259440 cpu_core_0 "3.9603960396039604".
- 1259695 cpu_core_0 "3.9603960396039604".
- 1259732 cpu_core_0 "3.9603960396039604".
- 1259797 cpu_core_0 "3.9603960396039604".
- 1259816 cpu_core_0 "3.9603960396039604".
- 1260049 cpu_core_0 "3.9603960396039604".
- 1260299 cpu_core_0 "3.9603960396039604".
- 1260339 cpu_core_0 "3.9603960396039604".
- 1260341 cpu_core_0 "3.9603960396039604".
- 1260403 cpu_core_0 "3.9603960396039604".
- 1260461 cpu_core_0 "3.9603960396039604".
- 1260650 cpu_core_0 "3.9603960396039604".
- 1260661 cpu_core_0 "3.9603960396039604".
- 1260844 cpu_core_0 "3.9603960396039604".
- 1260884 cpu_core_0 "3.9603960396039604".
- 1261124 cpu_core_0 "3.9603960396039604".
- 1261611 cpu_core_0 "3.9603960396039604".
- 1261621 cpu_core_0 "3.9603960396039604".
- 1261645 cpu_core_0 "3.9603960396039604".
- 1261658 cpu_core_0 "3.9603960396039604".
- 1261734 cpu_core_0 "3.9603960396039604".
- 1261739 cpu_core_0 "3.9603960396039604".
- 1261968 cpu_core_0 "3.9603960396039604".
- 1261974 cpu_core_0 "3.9603960396039604".
- 1262212 cpu_core_0 "3.9603960396039604".
- 126223 cpu_core_0 "3.9603960396039604".
- 1262265 cpu_core_0 "3.9603960396039604".
- 1262455 cpu_core_0 "3.9603960396039604".
- 1262563 cpu_core_0 "3.9603960396039604".
- 1262578 cpu_core_0 "3.9603960396039604".
- 1262622 cpu_core_0 "3.9603960396039604".
- 1262638 cpu_core_0 "3.9603960396039604".
- 1262798 cpu_core_0 "3.9603960396039604".
- 1262863 cpu_core_0 "3.9603960396039604".
- 1262874 cpu_core_0 "3.9603960396039604".
- 1263095 cpu_core_0 "3.9603960396039604".
- 1263103 cpu_core_0 "3.9603960396039604".
- 1263158 cpu_core_0 "3.9603960396039604".
- 1263159 cpu_core_0 "3.9603960396039604".
- 1263179 cpu_core_0 "3.9603960396039604".
- 1263184 cpu_core_0 "3.9603960396039604".
- 1263293 cpu_core_0 "3.9603960396039604".
- 1263297 cpu_core_0 "3.9603960396039604".
- 1263534 cpu_core_0 "3.9603960396039604".
- 1263544 cpu_core_0 "3.9603960396039604".
- 1263579 cpu_core_0 "3.9603960396039604".
- 1263625 cpu_core_0 "3.9603960396039604".
- 1263647 cpu_core_0 "3.9603960396039604".
- 1263767 cpu_core_0 "3.9603960396039604".
- 1263780 cpu_core_0 "3.9603960396039604".
- 1263869 cpu_core_0 "3.9603960396039604".
- 1263905 cpu_core_0 "3.9603960396039604".
- 1263996 cpu_core_0 "3.9603960396039604".
- 1264227 cpu_core_0 "3.9603960396039604".