Matches in ISWC2014 Benchmark for { ?s ?p 23.762376237623762. }
- 1480048 cpu_core_0 "23.762376237623762".
- 1480555 cpu_core_0 "23.762376237623762".
- 1481229 cpu_core_0 "23.762376237623762".
- 1482911 cpu_core_0 "23.762376237623762".
- 1484495 cpu_core_0 "23.762376237623762".
- 1485974 cpu_core_0 "23.762376237623762".
- 1486117 cpu_core_0 "23.762376237623762".
- 1486305 cpu_core_0 "23.762376237623762".
- 1486530 cpu_core_0 "23.762376237623762".
- 1487164 cpu_core_0 "23.762376237623762".
- 1487172 cpu_core_0 "23.762376237623762".
- 1488999 cpu_core_0 "23.762376237623762".
- 1489651 cpu_core_0 "23.762376237623762".
- 1490288 cpu_core_0 "23.762376237623762".
- 1491155 cpu_core_0 "23.762376237623762".
- 1493800 cpu_core_0 "23.762376237623762".
- 1494357 cpu_core_0 "23.762376237623762".
- 1497100 cpu_core_0 "23.762376237623762".
- 1498400 cpu_core_0 "23.762376237623762".
- 1500585 cpu_core_0 "23.762376237623762".
- 1503252 cpu_core_0 "23.762376237623762".
- 1503260 cpu_core_0 "23.762376237623762".
- 1503498 cpu_core_0 "23.762376237623762".
- 1505983 cpu_core_0 "23.762376237623762".
- 1506002 cpu_core_0 "23.762376237623762".
- 1506917 cpu_core_0 "23.762376237623762".
- 1507788 cpu_core_0 "23.762376237623762".
- 1509506 cpu_core_0 "23.762376237623762".
- 1510235 cpu_core_0 "23.762376237623762".
- 1510362 cpu_core_0 "23.762376237623762".
- 1510580 cpu_core_0 "23.762376237623762".
- 1511290 cpu_core_0 "23.762376237623762".
- 1511461 cpu_core_0 "23.762376237623762".
- 1511724 cpu_core_0 "23.762376237623762".
- 1511922 cpu_core_0 "23.762376237623762".
- 1514072 cpu_core_0 "23.762376237623762".
- 1514820 cpu_core_0 "23.762376237623762".
- 1514898 cpu_core_0 "23.762376237623762".
- 1517047 cpu_core_0 "23.762376237623762".
- 1518177 cpu_core_0 "23.762376237623762".
- 1519153 cpu_core_0 "23.762376237623762".
- 1519600 cpu_core_0 "23.762376237623762".
- 1519913 cpu_core_0 "23.762376237623762".
- 1520470 cpu_core_0 "23.762376237623762".
- 1520846 cpu_core_0 "23.762376237623762".
- 1521271 cpu_core_0 "23.762376237623762".
- 1521675 cpu_core_0 "23.762376237623762".
- 1521730 cpu_core_0 "23.762376237623762".
- 1522148 cpu_core_0 "23.762376237623762".
- 1523822 cpu_core_0 "23.762376237623762".
- 1526431 cpu_core_0 "23.762376237623762".
- 1527165 cpu_core_0 "23.762376237623762".
- 1527292 cpu_core_0 "23.762376237623762".
- 1527812 cpu_core_0 "23.762376237623762".
- 1528291 cpu_core_0 "23.762376237623762".
- 1528461 cpu_core_0 "23.762376237623762".
- 1528729 cpu_core_0 "23.762376237623762".
- 1529512 cpu_core_0 "23.762376237623762".
- 1533006 cpu_core_0 "23.762376237623762".
- 1533101 cpu_core_0 "23.762376237623762".
- 1533156 cpu_core_0 "23.762376237623762".
- 1533329 cpu_core_0 "23.762376237623762".
- 1535616 cpu_core_0 "23.762376237623762".
- 1535733 cpu_core_0 "23.762376237623762".
- 1535824 cpu_core_0 "23.762376237623762".
- 1535832 cpu_core_0 "23.762376237623762".
- 1535838 cpu_core_0 "23.762376237623762".
- 1535849 cpu_core_0 "23.762376237623762".
- 1535867 cpu_core_0 "23.762376237623762".
- 1535970 cpu_core_0 "23.762376237623762".
- 1536429 cpu_core_0 "23.762376237623762".
- 1536800 cpu_core_0 "23.762376237623762".
- 1538773 cpu_core_0 "23.762376237623762".
- 1538775 cpu_core_0 "23.762376237623762".
- 1539242 cpu_core_0 "23.762376237623762".
- 1539258 cpu_core_0 "23.762376237623762".
- 1539445 cpu_core_0 "23.762376237623762".
- 1540471 cpu_core_0 "23.762376237623762".
- 1540637 cpu_core_0 "23.762376237623762".
- 1540734 cpu_core_0 "23.762376237623762".
- 1540827 cpu_core_0 "23.762376237623762".
- 1541381 cpu_core_0 "23.762376237623762".
- 1541778 cpu_core_0 "23.762376237623762".
- 1541918 cpu_core_0 "23.762376237623762".
- 1541989 cpu_core_0 "23.762376237623762".
- 1542262 cpu_core_0 "23.762376237623762".
- 1542398 cpu_core_0 "23.762376237623762".
- 1542458 cpu_core_0 "23.762376237623762".
- 1542749 cpu_core_0 "23.762376237623762".
- 1544092 cpu_core_0 "23.762376237623762".
- 1546058 cpu_core_0 "23.762376237623762".
- 1546158 cpu_core_0 "23.762376237623762".
- 1547227 cpu_core_0 "23.762376237623762".
- 1547307 cpu_core_0 "23.762376237623762".
- 1548998 cpu_core_0 "23.762376237623762".
- 1551114 cpu_core_0 "23.762376237623762".
- 1552365 cpu_core_0 "23.762376237623762".
- 1553576 cpu_core_0 "23.762376237623762".
- 1554317 cpu_core_0 "23.762376237623762".
- 1554394 cpu_core_0 "23.762376237623762".