Matches in ISWC2014 Benchmark for { ?s ?p 23.762376237623762. }
- 1331153 cpu_core_0 "23.762376237623762".
- 1332644 cpu_core_0 "23.762376237623762".
- 1335419 cpu_core_0 "23.762376237623762".
- 1336235 cpu_core_0 "23.762376237623762".
- 1336665 cpu_core_0 "23.762376237623762".
- 1339785 cpu_core_0 "23.762376237623762".
- 1340160 cpu_core_0 "23.762376237623762".
- 1340944 cpu_core_0 "23.762376237623762".
- 1342829 cpu_core_0 "23.762376237623762".
- 1343599 cpu_core_0 "23.762376237623762".
- 1343772 cpu_core_0 "23.762376237623762".
- 1343938 cpu_core_0 "23.762376237623762".
- 1345867 cpu_core_0 "23.762376237623762".
- 1346778 cpu_core_0 "23.762376237623762".
- 1352126 cpu_core_0 "23.762376237623762".
- 1352861 cpu_core_0 "23.762376237623762".
- 1353279 cpu_core_0 "23.762376237623762".
- 1353850 cpu_core_0 "23.762376237623762".
- 1354248 cpu_core_0 "23.762376237623762".
- 1354262 cpu_core_0 "23.762376237623762".
- 1355613 cpu_core_0 "23.762376237623762".
- 1355749 cpu_core_0 "23.762376237623762".
- 1356419 cpu_core_0 "23.762376237623762".
- 1358381 cpu_core_0 "23.762376237623762".
- 1359063 cpu_core_0 "23.762376237623762".
- 1359897 cpu_core_0 "23.762376237623762".
- 1359928 cpu_core_0 "23.762376237623762".
- 1362204 cpu_core_0 "23.762376237623762".
- 1362870 cpu_core_0 "23.762376237623762".
- 1367302 cpu_core_0 "23.762376237623762".
- 1368173 cpu_core_0 "23.762376237623762".
- 1368903 cpu_core_0 "23.762376237623762".
- 1369436 cpu_core_0 "23.762376237623762".
- 1370351 cpu_core_0 "23.762376237623762".
- 1370873 cpu_core_0 "23.762376237623762".
- 1371368 cpu_core_0 "23.762376237623762".
- 1372753 cpu_core_0 "23.762376237623762".
- 1373066 cpu_core_0 "23.762376237623762".
- 1373667 cpu_core_0 "23.762376237623762".
- 1374208 cpu_core_0 "23.762376237623762".
- 1375951 cpu_core_0 "23.762376237623762".
- 1376298 cpu_core_0 "23.762376237623762".
- 1376999 cpu_core_0 "23.762376237623762".
- 1377475 cpu_core_0 "23.762376237623762".
- 1379076 cpu_core_0 "23.762376237623762".
- 1380027 cpu_core_0 "23.762376237623762".
- 1380295 cpu_core_0 "23.762376237623762".
- 1381872 cpu_core_0 "23.762376237623762".
- 1383216 cpu_core_0 "23.762376237623762".
- 1383325 cpu_core_0 "23.762376237623762".
- 1384121 cpu_core_0 "23.762376237623762".
- 1389234 cpu_core_0 "23.762376237623762".
- 1390301 cpu_core_0 "23.762376237623762".
- 1392892 cpu_core_0 "23.762376237623762".
- 1393303 cpu_core_0 "23.762376237623762".
- 1393625 cpu_core_0 "23.762376237623762".
- 1396476 cpu_core_0 "23.762376237623762".
- 1397022 cpu_core_0 "23.762376237623762".
- 1397214 cpu_core_0 "23.762376237623762".
- 1397982 cpu_core_0 "23.762376237623762".
- 1398754 cpu_core_0 "23.762376237623762".
- 1399496 cpu_core_0 "23.762376237623762".
- 1399865 cpu_core_0 "23.762376237623762".
- 1399929 cpu_core_0 "23.762376237623762".
- 1400191 cpu_core_0 "23.762376237623762".
- 1401027 cpu_core_0 "23.762376237623762".
- 1401143 cpu_core_0 "23.762376237623762".
- 1401670 cpu_core_0 "23.762376237623762".
- 1402025 cpu_core_0 "23.762376237623762".
- 1402262 cpu_core_0 "23.762376237623762".
- 1402285 cpu_core_0 "23.762376237623762".
- 1402296 cpu_core_0 "23.762376237623762".
- 1402301 cpu_core_0 "23.762376237623762".
- 1402578 cpu_core_0 "23.762376237623762".
- 1403159 cpu_core_0 "23.762376237623762".
- 1403217 cpu_core_0 "23.762376237623762".
- 1403513 cpu_core_0 "23.762376237623762".
- 1403811 cpu_core_0 "23.762376237623762".
- 1403834 cpu_core_0 "23.762376237623762".
- 1404074 cpu_core_0 "23.762376237623762".
- 1404183 cpu_core_0 "23.762376237623762".
- 1404319 cpu_core_0 "23.762376237623762".
- 1404352 cpu_core_0 "23.762376237623762".
- 1404450 cpu_core_0 "23.762376237623762".
- 1404661 cpu_core_0 "23.762376237623762".
- 1404878 cpu_core_0 "23.762376237623762".
- 1405012 cpu_core_0 "23.762376237623762".
- 1405185 cpu_core_0 "23.762376237623762".
- 1406295 cpu_core_0 "23.762376237623762".
- 1406511 cpu_core_0 "23.762376237623762".
- 1406564 cpu_core_0 "23.762376237623762".
- 1407301 cpu_core_0 "23.762376237623762".
- 1407503 cpu_core_0 "23.762376237623762".
- 1407761 cpu_core_0 "23.762376237623762".
- 1415618 cpu_core_0 "23.762376237623762".
- 1415975 cpu_core_0 "23.762376237623762".
- 1416195 cpu_core_0 "23.762376237623762".
- 1417386 cpu_core_0 "23.762376237623762".
- 1417937 cpu_core_0 "23.762376237623762".
- 1418436 cpu_core_0 "23.762376237623762".