Matches in ISWC2014 Benchmark for { ?s ?p 13.725490196078432. }
- 1284477 cpu_core_0 "13.725490196078432".
- 1289212 cpu_core_0 "13.725490196078432".
- 1290560 cpu_core_0 "13.725490196078432".
- 1290796 cpu_core_0 "13.725490196078432".
- 1291417 cpu_core_0 "13.725490196078432".
- 1292594 cpu_core_0 "13.725490196078432".
- 1292603 cpu_core_0 "13.725490196078432".
- 1294652 cpu_core_0 "13.725490196078432".
- 1295684 cpu_core_0 "13.725490196078432".
- 1296288 cpu_core_0 "13.725490196078432".
- 1296341 cpu_core_0 "13.725490196078432".
- 1298296 cpu_core_0 "13.725490196078432".
- 1300235 cpu_core_0 "13.725490196078432".
- 1300726 cpu_core_0 "13.725490196078432".
- 1300982 cpu_core_0 "13.725490196078432".
- 1301272 cpu_core_0 "13.725490196078432".
- 1301741 cpu_core_0 "13.725490196078432".
- 1302017 cpu_core_0 "13.725490196078432".
- 1302994 cpu_core_0 "13.725490196078432".
- 1303539 cpu_core_0 "13.725490196078432".
- 1304455 cpu_core_0 "13.725490196078432".
- 1304490 cpu_core_0 "13.725490196078432".
- 1304829 cpu_core_0 "13.725490196078432".
- 1305648 cpu_core_0 "13.725490196078432".
- 1307181 cpu_core_0 "13.725490196078432".
- 1307655 cpu_core_0 "13.725490196078432".
- 1307735 cpu_core_0 "13.725490196078432".
- 1307822 cpu_core_0 "13.725490196078432".
- 1308784 cpu_core_0 "13.725490196078432".
- 1309315 cpu_core_0 "13.725490196078432".
- 1312282 cpu_core_0 "13.725490196078432".
- 1314795 cpu_core_0 "13.725490196078432".
- 1316345 cpu_core_0 "13.725490196078432".
- 1316454 cpu_core_0 "13.725490196078432".
- 1317545 cpu_core_0 "13.725490196078432".
- 1318251 cpu_core_0 "13.725490196078432".
- 1318409 cpu_core_0 "13.725490196078432".
- 1319713 cpu_core_0 "13.725490196078432".
- 1321470 cpu_core_0 "13.725490196078432".
- 1322330 cpu_core_0 "13.725490196078432".
- 1322645 cpu_core_0 "13.725490196078432".
- 1323027 cpu_core_0 "13.725490196078432".
- 1323466 cpu_core_0 "13.725490196078432".
- 1323605 cpu_core_0 "13.725490196078432".
- 1324201 cpu_core_0 "13.725490196078432".
- 1324407 cpu_core_0 "13.725490196078432".
- 1324895 cpu_core_0 "13.725490196078432".
- 1325790 cpu_core_0 "13.725490196078432".
- 1326226 cpu_core_0 "13.725490196078432".
- 1327086 cpu_core_0 "13.725490196078432".
- 1327849 cpu_core_0 "13.725490196078432".
- 1327875 cpu_core_0 "13.725490196078432".
- 1327908 cpu_core_0 "13.725490196078432".
- 1329220 cpu_core_0 "13.725490196078432".
- 1329553 cpu_core_0 "13.725490196078432".
- 1329753 cpu_core_0 "13.725490196078432".
- 1330348 cpu_core_0 "13.725490196078432".
- 1330419 cpu_core_0 "13.725490196078432".
- 1331599 cpu_core_0 "13.725490196078432".
- 1332029 cpu_core_0 "13.725490196078432".
- 1332105 cpu_core_0 "13.725490196078432".
- 1332275 cpu_core_0 "13.725490196078432".
- 1332656 cpu_core_0 "13.725490196078432".
- 1333234 cpu_core_0 "13.725490196078432".
- 1333960 cpu_core_0 "13.725490196078432".
- 1334451 cpu_core_0 "13.725490196078432".
- 1334505 cpu_core_0 "13.725490196078432".
- 1335280 cpu_core_0 "13.725490196078432".
- 1336920 cpu_core_0 "13.725490196078432".
- 1337258 cpu_core_0 "13.725490196078432".
- 1337979 cpu_core_0 "13.725490196078432".
- 1339746 cpu_core_0 "13.725490196078432".
- 1339909 cpu_core_0 "13.725490196078432".
- 1341470 cpu_core_0 "13.725490196078432".
- 1341558 cpu_core_0 "13.725490196078432".
- 1343604 cpu_core_0 "13.725490196078432".
- 1346064 cpu_core_0 "13.725490196078432".
- 1349707 cpu_core_0 "13.725490196078432".
- 1351072 cpu_core_0 "13.725490196078432".
- 1351594 cpu_core_0 "13.725490196078432".
- 1351607 cpu_core_0 "13.725490196078432".
- 1352268 cpu_core_0 "13.725490196078432".
- 1352303 cpu_core_0 "13.725490196078432".
- 1352427 cpu_core_0 "13.725490196078432".
- 1355185 cpu_core_0 "13.725490196078432".
- 1355270 cpu_core_0 "13.725490196078432".
- 1356559 cpu_core_0 "13.725490196078432".
- 1358521 cpu_core_0 "13.725490196078432".
- 1358599 cpu_core_0 "13.725490196078432".
- 1358799 cpu_core_0 "13.725490196078432".
- 1360285 cpu_core_0 "13.725490196078432".
- 1360378 cpu_core_0 "13.725490196078432".
- 1360432 cpu_core_0 "13.725490196078432".
- 1361300 cpu_core_0 "13.725490196078432".
- 1361729 cpu_core_0 "13.725490196078432".
- 1361929 cpu_core_0 "13.725490196078432".
- 1362151 cpu_core_0 "13.725490196078432".
- 1364285 cpu_core_0 "13.725490196078432".
- 1364548 cpu_core_0 "13.725490196078432".
- 1364916 cpu_core_0 "13.725490196078432".