Matches in ISWC2014 Benchmark for { ?s ?p 3.061224489795918. }
- 1315517 cpu_core_0 "3.061224489795918".
- 1316728 cpu_core_0 "3.061224489795918".
- 1317217 cpu_core_0 "3.061224489795918".
- 1317221 cpu_core_0 "3.061224489795918".
- 1317928 cpu_core_0 "3.061224489795918".
- 1318299 cpu_core_0 "3.061224489795918".
- 1318427 cpu_core_0 "3.061224489795918".
- 1318430 cpu_core_0 "3.061224489795918".
- 1318596 cpu_core_0 "3.061224489795918".
- 1319430 cpu_core_0 "3.061224489795918".
- 1319989 cpu_core_0 "3.061224489795918".
- 1320840 cpu_core_0 "3.061224489795918".
- 1321437 cpu_core_0 "3.061224489795918".
- 1321549 cpu_core_0 "3.061224489795918".
- 1321718 cpu_core_0 "3.061224489795918".
- 1322040 cpu_core_0 "3.061224489795918".
- 1323042 cpu_core_0 "3.061224489795918".
- 1324120 cpu_core_0 "3.061224489795918".
- 1324235 cpu_core_0 "3.061224489795918".
- 1326411 cpu_core_0 "3.061224489795918".
- 1327683 cpu_core_0 "3.061224489795918".
- 1327703 cpu_core_0 "3.061224489795918".
- 1327827 cpu_core_0 "3.061224489795918".
- 1328160 cpu_core_0 "3.061224489795918".
- 1328649 cpu_core_0 "3.061224489795918".
- 1329520 cpu_core_0 "3.061224489795918".
- 1330111 cpu_core_0 "3.061224489795918".
- 1330214 cpu_core_0 "3.061224489795918".
- 1330496 cpu_core_0 "3.061224489795918".
- 1331436 cpu_core_0 "3.061224489795918".
- 1331643 cpu_core_0 "3.061224489795918".
- 1332972 cpu_core_0 "3.061224489795918".
- 1333208 cpu_core_0 "3.061224489795918".
- 1333461 cpu_core_0 "3.061224489795918".
- 1333731 cpu_core_0 "3.061224489795918".
- 1334545 cpu_core_0 "3.061224489795918".
- 1335017 cpu_core_0 "3.061224489795918".
- 1335077 cpu_core_0 "3.061224489795918".
- 1336274 cpu_core_0 "3.061224489795918".
- 1337668 cpu_core_0 "3.061224489795918".
- 1337788 cpu_core_0 "3.061224489795918".
- 1338915 cpu_core_0 "3.061224489795918".
- 1339214 cpu_core_0 "3.061224489795918".
- 1339395 cpu_core_0 "3.061224489795918".
- 1339600 cpu_core_0 "3.061224489795918".
- 1339777 cpu_core_0 "3.061224489795918".
- 1340071 cpu_core_0 "3.061224489795918".
- 1340078 cpu_core_0 "3.061224489795918".
- 1340150 cpu_core_0 "3.061224489795918".
- 1340819 cpu_core_0 "3.061224489795918".
- 1342133 cpu_core_0 "3.061224489795918".
- 1342949 cpu_core_0 "3.061224489795918".
- 1344655 cpu_core_0 "3.061224489795918".
- 1345285 cpu_core_0 "3.061224489795918".
- 1345300 cpu_core_0 "3.061224489795918".
- 1345951 cpu_core_0 "3.061224489795918".
- 1346959 cpu_core_0 "3.061224489795918".
- 1347276 cpu_core_0 "3.061224489795918".
- 1347939 cpu_core_0 "3.061224489795918".
- 1348739 cpu_core_0 "3.061224489795918".
- 1349725 cpu_core_0 "3.061224489795918".
- 1351439 cpu_core_0 "3.061224489795918".
- 1351686 cpu_core_0 "3.061224489795918".
- 1351849 cpu_core_0 "3.061224489795918".
- 1353721 cpu_core_0 "3.061224489795918".
- 1355244 cpu_core_0 "3.061224489795918".
- 1355284 cpu_core_0 "3.061224489795918".
- 1355645 cpu_core_0 "3.061224489795918".
- 1357114 cpu_core_0 "3.061224489795918".
- 1357126 cpu_core_0 "3.061224489795918".
- 1357168 cpu_core_0 "3.061224489795918".
- 1357281 cpu_core_0 "3.061224489795918".
- 1357679 cpu_core_0 "3.061224489795918".
- 1359741 cpu_core_0 "3.061224489795918".
- 1361990 cpu_core_0 "3.061224489795918".
- 1362001 cpu_core_0 "3.061224489795918".
- 1363332 cpu_core_0 "3.061224489795918".
- 1364851 cpu_core_0 "3.061224489795918".
- 1364967 cpu_core_0 "3.061224489795918".
- 1365106 cpu_core_0 "3.061224489795918".
- 1365205 cpu_core_0 "3.061224489795918".
- 1366169 cpu_core_0 "3.061224489795918".
- 1366573 cpu_core_0 "3.061224489795918".
- 1367047 cpu_core_0 "3.061224489795918".
- 1367294 cpu_core_0 "3.061224489795918".
- 1368215 cpu_core_0 "3.061224489795918".
- 1368932 cpu_core_0 "3.061224489795918".
- 1369301 cpu_core_0 "3.061224489795918".
- 1370086 cpu_core_0 "3.061224489795918".
- 1370906 cpu_core_0 "3.061224489795918".
- 1371405 cpu_core_0 "3.061224489795918".
- 1371636 cpu_core_0 "3.061224489795918".
- 1371781 cpu_core_0 "3.061224489795918".
- 1372408 cpu_core_0 "3.061224489795918".
- 1372856 cpu_core_0 "3.061224489795918".
- 1373268 cpu_core_0 "3.061224489795918".
- 1375014 cpu_core_0 "3.061224489795918".
- 1376128 cpu_core_0 "3.061224489795918".
- 1376249 cpu_core_0 "3.061224489795918".
- 1376806 cpu_core_0 "3.061224489795918".