Matches in ISWC2014 Benchmark for { ?s ?p 3.9603960396039604. }
- 1286933 cpu_core_0 "3.9603960396039604".
- 1286956 cpu_core_0 "3.9603960396039604".
- 1287008 cpu_core_0 "3.9603960396039604".
- 1287062 cpu_core_0 "3.9603960396039604".
- 1287071 cpu_core_0 "3.9603960396039604".
- 1287080 cpu_core_0 "3.9603960396039604".
- 1287092 cpu_core_0 "3.9603960396039604".
- 1287255 cpu_core_0 "3.9603960396039604".
- 1287301 cpu_core_0 "3.9603960396039604".
- 1287410 cpu_core_0 "3.9603960396039604".
- 1287542 cpu_core_0 "3.9603960396039604".
- 1287651 cpu_core_0 "3.9603960396039604".
- 1287748 cpu_core_0 "3.9603960396039604".
- 1287760 cpu_core_0 "3.9603960396039604".
- 1287859 cpu_core_0 "3.9603960396039604".
- 1288272 cpu_core_0 "3.9603960396039604".
- 1288676 cpu_core_0 "3.9603960396039604".
- 1288819 cpu_core_0 "3.9603960396039604".
- 1288868 cpu_core_0 "3.9603960396039604".
- 1288959 cpu_core_0 "3.9603960396039604".
- 1289007 cpu_core_0 "3.9603960396039604".
- 1289070 cpu_core_0 "3.9603960396039604".
- 1289142 cpu_core_0 "3.9603960396039604".
- 1289206 cpu_core_0 "3.9603960396039604".
- 1289424 cpu_core_0 "3.9603960396039604".
- 1289553 cpu_core_0 "3.9603960396039604".
- 1289695 cpu_core_0 "3.9603960396039604".
- 1289917 cpu_core_0 "3.9603960396039604".
- 1290106 cpu_core_0 "3.9603960396039604".
- 1290126 cpu_core_0 "3.9603960396039604".
- 1290135 cpu_core_0 "3.9603960396039604".
- 1290264 cpu_core_0 "3.9603960396039604".
- 1290324 cpu_core_0 "3.9603960396039604".
- 1290615 cpu_core_0 "3.9603960396039604".
- 1290632 cpu_core_0 "3.9603960396039604".
- 1290769 cpu_core_0 "3.9603960396039604".
- 129083 cpu_core_0 "3.9603960396039604".
- 1290957 cpu_core_0 "3.9603960396039604".
- 1290962 cpu_core_0 "3.9603960396039604".
- 1291073 cpu_core_0 "3.9603960396039604".
- 1291091 cpu_core_0 "3.9603960396039604".
- 1291253 cpu_core_0 "3.9603960396039604".
- 1291306 cpu_core_0 "3.9603960396039604".
- 1291313 cpu_core_0 "3.9603960396039604".
- 1291437 cpu_core_0 "3.9603960396039604".
- 1291494 cpu_core_0 "3.9603960396039604".
- 1291680 cpu_core_0 "3.9603960396039604".
- 1291918 cpu_core_0 "3.9603960396039604".
- 1292139 cpu_core_0 "3.9603960396039604".
- 1292171 cpu_core_0 "3.9603960396039604".
- 1292299 cpu_core_0 "3.9603960396039604".
- 1292335 cpu_core_0 "3.9603960396039604".
- 1292401 cpu_core_0 "3.9603960396039604".
- 129245 cpu_core_0 "3.9603960396039604".
- 1292539 cpu_core_0 "3.9603960396039604".
- 1292600 cpu_core_0 "3.9603960396039604".
- 1292653 cpu_core_0 "3.9603960396039604".
- 1292766 cpu_core_0 "3.9603960396039604".
- 1292773 cpu_core_0 "3.9603960396039604".
- 1292887 cpu_core_0 "3.9603960396039604".
- 1292896 cpu_core_0 "3.9603960396039604".
- 1293251 cpu_core_0 "3.9603960396039604".
- 1293691 cpu_core_0 "3.9603960396039604".
- 1293843 cpu_core_0 "3.9603960396039604".
- 1294211 cpu_core_0 "3.9603960396039604".
- 1294215 cpu_core_0 "3.9603960396039604".
- 1294326 cpu_core_0 "3.9603960396039604".
- 1294382 cpu_core_0 "3.9603960396039604".
- 1294463 cpu_core_0 "3.9603960396039604".
- 1294572 cpu_core_0 "3.9603960396039604".
- 1294613 cpu_core_0 "3.9603960396039604".
- 1294700 cpu_core_0 "3.9603960396039604".
- 1294894 cpu_core_0 "3.9603960396039604".
- 1294924 cpu_core_0 "3.9603960396039604".
- 1294999 cpu_core_0 "3.9603960396039604".
- 1295049 cpu_core_0 "3.9603960396039604".
- 1295102 cpu_core_0 "3.9603960396039604".
- 1295176 cpu_core_0 "3.9603960396039604".
- 1295220 cpu_core_0 "3.9603960396039604".
- 1295282 cpu_core_0 "3.9603960396039604".
- 129535 cpu_core_0 "3.9603960396039604".
- 12954 cpu_core_0 "3.9603960396039604".
- 1295403 cpu_core_0 "3.9603960396039604".
- 1295488 cpu_core_0 "3.9603960396039604".
- 1295496 cpu_core_0 "3.9603960396039604".
- 1295525 cpu_core_0 "3.9603960396039604".
- 1295534 cpu_core_0 "3.9603960396039604".
- 1295738 cpu_core_0 "3.9603960396039604".
- 1295911 cpu_core_0 "3.9603960396039604".
- 1296016 cpu_core_0 "3.9603960396039604".
- 1296134 cpu_core_0 "3.9603960396039604".
- 1296285 cpu_core_0 "3.9603960396039604".
- 129632 cpu_core_0 "3.9603960396039604".
- 1296334 cpu_core_0 "3.9603960396039604".
- 1297061 cpu_core_0 "3.9603960396039604".
- 1297086 cpu_core_0 "3.9603960396039604".
- 1297098 cpu_core_0 "3.9603960396039604".
- 129716 cpu_core_0 "3.9603960396039604".
- 1297324 cpu_core_0 "3.9603960396039604".
- 1297345 cpu_core_0 "3.9603960396039604".