Matches in ISWC2014 Benchmark for { ?s ?p 7.999999999999999. }
- 1339859 cpu_core_0 "7.999999999999999".
- 1342196 cpu_core_0 "7.999999999999999".
- 1343282 cpu_core_0 "7.999999999999999".
- 1344102 cpu_core_0 "7.999999999999999".
- 1347108 cpu_core_0 "7.999999999999999".
- 1348824 cpu_core_0 "7.999999999999999".
- 1353180 cpu_core_0 "7.999999999999999".
- 1354505 cpu_core_0 "7.999999999999999".
- 1357916 cpu_core_0 "7.999999999999999".
- 1359420 cpu_core_0 "7.999999999999999".
- 1361368 cpu_core_0 "7.999999999999999".
- 1361839 cpu_core_0 "7.999999999999999".
- 1362033 cpu_core_0 "7.999999999999999".
- 1363384 cpu_core_0 "7.999999999999999".
- 1365770 cpu_core_0 "7.999999999999999".
- 1366508 cpu_core_0 "7.999999999999999".
- 1368956 cpu_core_0 "7.999999999999999".
- 1369104 cpu_core_0 "7.999999999999999".
- 1369860 cpu_core_0 "7.999999999999999".
- 1370493 cpu_core_0 "7.999999999999999".
- 1372512 cpu_core_0 "7.999999999999999".
- 1372586 cpu_core_0 "7.999999999999999".
- 1373365 cpu_core_0 "7.999999999999999".
- 1373694 cpu_core_0 "7.999999999999999".
- 1374414 cpu_core_0 "7.999999999999999".
- 1374442 cpu_core_0 "7.999999999999999".
- 1376931 cpu_core_0 "7.999999999999999".
- 1379089 cpu_core_0 "7.999999999999999".
- 1379579 cpu_core_0 "7.999999999999999".
- 1379717 cpu_core_0 "7.999999999999999".
- 1382374 cpu_core_0 "7.999999999999999".
- 1387333 cpu_core_0 "7.999999999999999".
- 1388860 cpu_core_0 "7.999999999999999".
- 1390734 cpu_core_0 "7.999999999999999".
- 1390881 cpu_core_0 "7.999999999999999".
- 1398011 cpu_core_0 "7.999999999999999".
- 1399679 cpu_core_0 "7.999999999999999".
- 1412356 cpu_core_0 "7.999999999999999".
- 1416704 cpu_core_0 "7.999999999999999".
- 1417003 cpu_core_0 "7.999999999999999".
- 1417579 cpu_core_0 "7.999999999999999".
- 1419530 cpu_core_0 "7.999999999999999".
- 1422128 cpu_core_0 "7.999999999999999".
- 1425243 cpu_core_0 "7.999999999999999".
- 1426099 cpu_core_0 "7.999999999999999".
- 1427292 cpu_core_0 "7.999999999999999".
- 1429296 cpu_core_0 "7.999999999999999".
- 1430648 cpu_core_0 "7.999999999999999".
- 1430773 cpu_core_0 "7.999999999999999".
- 1431891 cpu_core_0 "7.999999999999999".
- 1433263 cpu_core_0 "7.999999999999999".
- 1433318 cpu_core_0 "7.999999999999999".
- 1434213 cpu_core_0 "7.999999999999999".
- 1434937 cpu_core_0 "7.999999999999999".
- 1435399 cpu_core_0 "7.999999999999999".
- 1437250 cpu_core_0 "7.999999999999999".
- 1437370 cpu_core_0 "7.999999999999999".
- 1438335 cpu_core_0 "7.999999999999999".
- 1440156 cpu_core_0 "7.999999999999999".
- 1440856 cpu_core_0 "7.999999999999999".
- 1441117 cpu_core_0 "7.999999999999999".
- 1441185 cpu_core_0 "7.999999999999999".
- 1441246 cpu_core_0 "7.999999999999999".
- 1441527 cpu_core_0 "7.999999999999999".
- 1441549 cpu_core_0 "7.999999999999999".
- 1442729 cpu_core_0 "7.999999999999999".
- 1442849 cpu_core_0 "7.999999999999999".
- 1447120 cpu_core_0 "7.999999999999999".
- 1447873 cpu_core_0 "7.999999999999999".
- 1448826 cpu_core_0 "7.999999999999999".
- 1449379 cpu_core_0 "7.999999999999999".
- 1452946 cpu_core_0 "7.999999999999999".
- 1453489 cpu_core_0 "7.999999999999999".
- 1454663 cpu_core_0 "7.999999999999999".
- 1455477 cpu_core_0 "7.999999999999999".
- 1460593 cpu_core_0 "7.999999999999999".
- 1461403 cpu_core_0 "7.999999999999999".
- 1467712 cpu_core_0 "7.999999999999999".
- 1470095 cpu_core_0 "7.999999999999999".
- 1471416 cpu_core_0 "7.999999999999999".
- 1471457 cpu_core_0 "7.999999999999999".
- 1474471 cpu_core_0 "7.999999999999999".
- 1475818 cpu_core_0 "7.999999999999999".
- 1476377 cpu_core_0 "7.999999999999999".
- 1476620 cpu_core_0 "7.999999999999999".
- 1482204 cpu_core_0 "7.999999999999999".
- 1483443 cpu_core_0 "7.999999999999999".
- 1483694 cpu_core_0 "7.999999999999999".
- 1487174 cpu_core_0 "7.999999999999999".
- 1487437 cpu_core_0 "7.999999999999999".
- 1488089 cpu_core_0 "7.999999999999999".
- 1489577 cpu_core_0 "7.999999999999999".
- 1490260 cpu_core_0 "7.999999999999999".
- 1491530 cpu_core_0 "7.999999999999999".
- 1492060 cpu_core_0 "7.999999999999999".
- 1492855 cpu_core_0 "7.999999999999999".
- 1493924 cpu_core_0 "7.999999999999999".
- 1495350 cpu_core_0 "7.999999999999999".
- 1495488 cpu_core_0 "7.999999999999999".
- 1498917 cpu_core_0 "7.999999999999999".