Matches in ISWC2014 Benchmark for { ?s ?p 3.061224489795918. }
- 1211958 cpu_core_0 "3.061224489795918".
- 1212437 cpu_core_0 "3.061224489795918".
- 1213537 cpu_core_0 "3.061224489795918".
- 1213550 cpu_core_0 "3.061224489795918".
- 1213553 cpu_core_0 "3.061224489795918".
- 1213559 cpu_core_0 "3.061224489795918".
- 1213695 cpu_core_0 "3.061224489795918".
- 1213712 cpu_core_0 "3.061224489795918".
- 1213766 cpu_core_0 "3.061224489795918".
- 1213772 cpu_core_0 "3.061224489795918".
- 1213775 cpu_core_0 "3.061224489795918".
- 1213967 cpu_core_0 "3.061224489795918".
- 1214067 cpu_core_0 "3.061224489795918".
- 1214073 cpu_core_0 "3.061224489795918".
- 1214363 cpu_core_0 "3.061224489795918".
- 1214365 cpu_core_0 "3.061224489795918".
- 1214588 cpu_core_0 "3.061224489795918".
- 1214703 cpu_core_0 "3.061224489795918".
- 1214757 cpu_core_0 "3.061224489795918".
- 1214859 cpu_core_0 "3.061224489795918".
- 1214865 cpu_core_0 "3.061224489795918".
- 1215063 cpu_core_0 "3.061224489795918".
- 1215337 cpu_core_0 "3.061224489795918".
- 1215503 cpu_core_0 "3.061224489795918".
- 1215524 cpu_core_0 "3.061224489795918".
- 1215763 cpu_core_0 "3.061224489795918".
- 1215837 cpu_core_0 "3.061224489795918".
- 1215838 cpu_core_0 "3.061224489795918".
- 1215857 cpu_core_0 "3.061224489795918".
- 1216087 cpu_core_0 "3.061224489795918".
- 1216209 cpu_core_0 "3.061224489795918".
- 1216213 cpu_core_0 "3.061224489795918".
- 1216266 cpu_core_0 "3.061224489795918".
- 1216387 cpu_core_0 "3.061224489795918".
- 1216390 cpu_core_0 "3.061224489795918".
- 1216458 cpu_core_0 "3.061224489795918".
- 1216513 cpu_core_0 "3.061224489795918".
- 1216561 cpu_core_0 "3.061224489795918".
- 1216573 cpu_core_0 "3.061224489795918".
- 1216678 cpu_core_0 "3.061224489795918".
- 1216680 cpu_core_0 "3.061224489795918".
- 1216691 cpu_core_0 "3.061224489795918".
- 1216798 cpu_core_0 "3.061224489795918".
- 1217353 cpu_core_0 "3.061224489795918".
- 1217475 cpu_core_0 "3.061224489795918".
- 1217634 cpu_core_0 "3.061224489795918".
- 1217887 cpu_core_0 "3.061224489795918".
- 1218003 cpu_core_0 "3.061224489795918".
- 1218170 cpu_core_0 "3.061224489795918".
- 1218535 cpu_core_0 "3.061224489795918".
- 1218557 cpu_core_0 "3.061224489795918".
- 1218612 cpu_core_0 "3.061224489795918".
- 1218909 cpu_core_0 "3.061224489795918".
- 1219038 cpu_core_0 "3.061224489795918".
- 1219069 cpu_core_0 "3.061224489795918".
- 1219168 cpu_core_0 "3.061224489795918".
- 1219204 cpu_core_0 "3.061224489795918".
- 1222068 cpu_core_0 "3.061224489795918".
- 1236587 cpu_core_0 "3.061224489795918".
- 1236708 cpu_core_0 "3.061224489795918".
- 1236948 cpu_core_0 "3.061224489795918".
- 1236950 cpu_core_0 "3.061224489795918".
- 1237272 cpu_core_0 "3.061224489795918".
- 1238309 cpu_core_0 "3.061224489795918".
- 1238874 cpu_core_0 "3.061224489795918".
- 1239513 cpu_core_0 "3.061224489795918".
- 1239593 cpu_core_0 "3.061224489795918".
- 1239843 cpu_core_0 "3.061224489795918".
- 1240240 cpu_core_0 "3.061224489795918".
- 1240547 cpu_core_0 "3.061224489795918".
- 1240708 cpu_core_0 "3.061224489795918".
- 1241398 cpu_core_0 "3.061224489795918".
- 1242276 cpu_core_0 "3.061224489795918".
- 1242552 cpu_core_0 "3.061224489795918".
- 1243297 cpu_core_0 "3.061224489795918".
- 1245288 cpu_core_0 "3.061224489795918".
- 1246123 cpu_core_0 "3.061224489795918".
- 1247224 cpu_core_0 "3.061224489795918".
- 1247263 cpu_core_0 "3.061224489795918".
- 1247540 cpu_core_0 "3.061224489795918".
- 1248205 cpu_core_0 "3.061224489795918".
- 1248762 cpu_core_0 "3.061224489795918".
- 1248807 cpu_core_0 "3.061224489795918".
- 1249355 cpu_core_0 "3.061224489795918".
- 1249967 cpu_core_0 "3.061224489795918".
- 1250794 cpu_core_0 "3.061224489795918".
- 1252173 cpu_core_0 "3.061224489795918".
- 1252250 cpu_core_0 "3.061224489795918".
- 1253248 cpu_core_0 "3.061224489795918".
- 1253915 cpu_core_0 "3.061224489795918".
- 1253927 cpu_core_0 "3.061224489795918".
- 1255960 cpu_core_0 "3.061224489795918".
- 1256599 cpu_core_0 "3.061224489795918".
- 1257197 cpu_core_0 "3.061224489795918".
- 1257607 cpu_core_0 "3.061224489795918".
- 1258242 cpu_core_0 "3.061224489795918".
- 1258696 cpu_core_0 "3.061224489795918".
- 1258852 cpu_core_0 "3.061224489795918".
- 1259007 cpu_core_0 "3.061224489795918".
- 1259484 cpu_core_0 "3.061224489795918".