Matches in ISWC2014 Benchmark for { ?s ?p 31.999999999999996. }
- 1001065 cpu_core_0 "31.999999999999996".
- 1003467 cpu_core_0 "31.999999999999996".
- 1010901 cpu_core_0 "31.999999999999996".
- 1011219 cpu_core_0 "31.999999999999996".
- 1011743 cpu_core_0 "31.999999999999996".
- 1012806 cpu_core_0 "31.999999999999996".
- 1017493 cpu_core_0 "31.999999999999996".
- 1018421 cpu_core_0 "31.999999999999996".
- 1059685 cpu_core_0 "31.999999999999996".
- 1060990 cpu_core_0 "31.999999999999996".
- 1062764 cpu_core_0 "31.999999999999996".
- 1070884 cpu_core_0 "31.999999999999996".
- 1080971 cpu_core_0 "31.999999999999996".
- 1094023 cpu_core_0 "31.999999999999996".
- 1104014 cpu_core_0 "31.999999999999996".
- 1105856 cpu_core_0 "31.999999999999996".
- 1112877 cpu_core_0 "31.999999999999996".
- 1113794 cpu_core_0 "31.999999999999996".
- 1133954 cpu_core_0 "31.999999999999996".
- 1135854 cpu_core_0 "31.999999999999996".
- 1140963 cpu_core_0 "31.999999999999996".
- 1149943 cpu_core_0 "31.999999999999996".
- 1154223 cpu_core_0 "31.999999999999996".
- 1154232 cpu_core_0 "31.999999999999996".
- 1158288 cpu_core_0 "31.999999999999996".
- 1159998 cpu_core_0 "31.999999999999996".
- 1162845 cpu_core_0 "31.999999999999996".
- 1166014 cpu_core_0 "31.999999999999996".
- 1168263 cpu_core_0 "31.999999999999996".
- 1169148 cpu_core_0 "31.999999999999996".
- 1204572 cpu_core_0 "31.999999999999996".
- 1220353 cpu_core_0 "31.999999999999996".
- 1220653 cpu_core_0 "31.999999999999996".
- 1222653 cpu_core_0 "31.999999999999996".
- 1223726 cpu_core_0 "31.999999999999996".
- 1223733 cpu_core_0 "31.999999999999996".
- 1224880 cpu_core_0 "31.999999999999996".
- 1224885 cpu_core_0 "31.999999999999996".
- 1224897 cpu_core_0 "31.999999999999996".
- 1225024 cpu_core_0 "31.999999999999996".
- 1226636 cpu_core_0 "31.999999999999996".
- 1226659 cpu_core_0 "31.999999999999996".
- 1227447 cpu_core_0 "31.999999999999996".
- 1230478 cpu_core_0 "31.999999999999996".
- 1230484 cpu_core_0 "31.999999999999996".
- 1230513 cpu_core_0 "31.999999999999996".
- 1230707 cpu_core_0 "31.999999999999996".
- 1231532 cpu_core_0 "31.999999999999996".
- 1232596 cpu_core_0 "31.999999999999996".
- 1233116 cpu_core_0 "31.999999999999996".
- 1233193 cpu_core_0 "31.999999999999996".
- 1233743 cpu_core_0 "31.999999999999996".
- 1234021 cpu_core_0 "31.999999999999996".
- 1259220 cpu_core_0 "31.999999999999996".
- 1264381 cpu_core_0 "31.999999999999996".
- 1268814 cpu_core_0 "31.999999999999996".
- 1277886 cpu_core_0 "31.999999999999996".
- 1300623 cpu_core_0 "31.999999999999996".
- 1304808 cpu_core_0 "31.999999999999996".
- 1310664 cpu_core_0 "31.999999999999996".
- 1331874 cpu_core_0 "31.999999999999996".
- 1341339 cpu_core_0 "31.999999999999996".
- 1351035 cpu_core_0 "31.999999999999996".
- 1373704 cpu_core_0 "31.999999999999996".
- 1374333 cpu_core_0 "31.999999999999996".
- 1375822 cpu_core_0 "31.999999999999996".
- 1390404 cpu_core_0 "31.999999999999996".
- 1400956 cpu_core_0 "31.999999999999996".
- 1421104 cpu_core_0 "31.999999999999996".
- 1422503 cpu_core_0 "31.999999999999996".
- 1424011 cpu_core_0 "31.999999999999996".
- 1435964 cpu_core_0 "31.999999999999996".
- 1444554 cpu_core_0 "31.999999999999996".
- 1445024 cpu_core_0 "31.999999999999996".
- 1453121 cpu_core_0 "31.999999999999996".
- 1460179 cpu_core_0 "31.999999999999996".
- 1461832 cpu_core_0 "31.999999999999996".
- 1474050 cpu_core_0 "31.999999999999996".
- 1475199 cpu_core_0 "31.999999999999996".
- 1490710 cpu_core_0 "31.999999999999996".
- 1500081 cpu_core_0 "31.999999999999996".
- 1503404 cpu_core_0 "31.999999999999996".
- 1511538 cpu_core_0 "31.999999999999996".
- 1519628 cpu_core_0 "31.999999999999996".
- 1520031 cpu_core_0 "31.999999999999996".
- 1520509 cpu_core_0 "31.999999999999996".
- 1522039 cpu_core_0 "31.999999999999996".
- 1522859 cpu_core_0 "31.999999999999996".
- 1531502 cpu_core_0 "31.999999999999996".
- 1534183 cpu_core_0 "31.999999999999996".
- 1536151 cpu_core_0 "31.999999999999996".
- 1536428 cpu_core_0 "31.999999999999996".
- 1554161 cpu_core_0 "31.999999999999996".
- 1564855 cpu_core_0 "31.999999999999996".
- 1569378 cpu_core_0 "31.999999999999996".
- 1570318 cpu_core_0 "31.999999999999996".
- 1585458 cpu_core_0 "31.999999999999996".
- 1591203 cpu_core_0 "31.999999999999996".
- 1602178 cpu_core_0 "31.999999999999996".
- 1607436 cpu_core_0 "31.999999999999996".