Matches in ISWC2014 Benchmark for { ?s ?p 11.111111111111112. }
- 1418158 cpu_core_0 "11.111111111111112".
- 1418298 cpu_core_0 "11.111111111111112".
- 1418537 cpu_core_0 "11.111111111111112".
- 1418923 cpu_core_0 "11.111111111111112".
- 1419373 cpu_core_0 "11.111111111111112".
- 1419621 cpu_core_0 "11.111111111111112".
- 1419703 cpu_core_0 "11.111111111111112".
- 1419705 cpu_core_0 "11.111111111111112".
- 1419975 cpu_core_0 "11.111111111111112".
- 1420483 cpu_core_0 "11.111111111111112".
- 1421015 cpu_core_0 "11.111111111111112".
- 1421101 cpu_core_0 "11.111111111111112".
- 1421247 cpu_core_0 "11.111111111111112".
- 1421273 cpu_core_0 "11.111111111111112".
- 1421406 cpu_core_0 "11.111111111111112".
- 1421557 cpu_core_0 "11.111111111111112".
- 1421560 cpu_core_0 "11.111111111111112".
- 1421640 cpu_core_0 "11.111111111111112".
- 1421782 cpu_core_0 "11.111111111111112".
- 1421791 cpu_core_0 "11.111111111111112".
- 1421869 cpu_core_0 "11.111111111111112".
- 1421878 cpu_core_0 "11.111111111111112".
- 1422013 cpu_core_0 "11.111111111111112".
- 1422054 cpu_core_0 "11.111111111111112".
- 1422141 cpu_core_0 "11.111111111111112".
- 1422237 cpu_core_0 "11.111111111111112".
- 1422288 cpu_core_0 "11.111111111111112".
- 1422296 cpu_core_0 "11.111111111111112".
- 1422381 cpu_core_0 "11.111111111111112".
- 1422388 cpu_core_0 "11.111111111111112".
- 1422482 cpu_core_0 "11.111111111111112".
- 1422888 cpu_core_0 "11.111111111111112".
- 1423006 cpu_core_0 "11.111111111111112".
- 1423013 cpu_core_0 "11.111111111111112".
- 1423499 cpu_core_0 "11.111111111111112".
- 1423580 cpu_core_0 "11.111111111111112".
- 1423688 cpu_core_0 "11.111111111111112".
- 1423773 cpu_core_0 "11.111111111111112".
- 1423799 cpu_core_0 "11.111111111111112".
- 1423834 cpu_core_0 "11.111111111111112".
- 1425491 cpu_core_0 "11.111111111111112".
- 1425585 cpu_core_0 "11.111111111111112".
- 1425996 cpu_core_0 "11.111111111111112".
- 1426338 cpu_core_0 "11.111111111111112".
- 1426608 cpu_core_0 "11.111111111111112".
- 1426656 cpu_core_0 "11.111111111111112".
- 1427090 cpu_core_0 "11.111111111111112".
- 1427217 cpu_core_0 "11.111111111111112".
- 1427305 cpu_core_0 "11.111111111111112".
- 1427503 cpu_core_0 "11.111111111111112".
- 1427536 cpu_core_0 "11.111111111111112".
- 1427573 cpu_core_0 "11.111111111111112".
- 1427893 cpu_core_0 "11.111111111111112".
- 1428465 cpu_core_0 "11.111111111111112".
- 1428486 cpu_core_0 "11.111111111111112".
- 1428516 cpu_core_0 "11.111111111111112".
- 1428637 cpu_core_0 "11.111111111111112".
- 1428806 cpu_core_0 "11.111111111111112".
- 1428893 cpu_core_0 "11.111111111111112".
- 1428912 cpu_core_0 "11.111111111111112".
- 1429068 cpu_core_0 "11.111111111111112".
- 1429178 cpu_core_0 "11.111111111111112".
- 1429205 cpu_core_0 "11.111111111111112".
- 1429213 cpu_core_0 "11.111111111111112".
- 1429611 cpu_core_0 "11.111111111111112".
- 1429640 cpu_core_0 "11.111111111111112".
- 1429742 cpu_core_0 "11.111111111111112".
- 1429809 cpu_core_0 "11.111111111111112".
- 1430113 cpu_core_0 "11.111111111111112".
- 1430225 cpu_core_0 "11.111111111111112".
- 1430354 cpu_core_0 "11.111111111111112".
- 1430373 cpu_core_0 "11.111111111111112".
- 1430420 cpu_core_0 "11.111111111111112".
- 1430569 cpu_core_0 "11.111111111111112".
- 1430741 cpu_core_0 "11.111111111111112".
- 1431120 cpu_core_0 "11.111111111111112".
- 1431188 cpu_core_0 "11.111111111111112".
- 1431897 cpu_core_0 "11.111111111111112".
- 1432000 cpu_core_0 "11.111111111111112".
- 1432020 cpu_core_0 "11.111111111111112".
- 1432024 cpu_core_0 "11.111111111111112".
- 1432051 cpu_core_0 "11.111111111111112".
- 1432064 cpu_core_0 "11.111111111111112".
- 1432554 cpu_core_0 "11.111111111111112".
- 1432561 cpu_core_0 "11.111111111111112".
- 1432639 cpu_core_0 "11.111111111111112".
- 1432800 cpu_core_0 "11.111111111111112".
- 1433079 cpu_core_0 "11.111111111111112".
- 1433122 cpu_core_0 "11.111111111111112".
- 1433185 cpu_core_0 "11.111111111111112".
- 1433371 cpu_core_0 "11.111111111111112".
- 1433379 cpu_core_0 "11.111111111111112".
- 1433744 cpu_core_0 "11.111111111111112".
- 1434034 cpu_core_0 "11.111111111111112".
- 1434173 cpu_core_0 "11.111111111111112".
- 1434381 cpu_core_0 "11.111111111111112".
- 1434416 cpu_core_0 "11.111111111111112".
- 1434591 cpu_core_0 "11.111111111111112".
- 1434612 cpu_core_0 "11.111111111111112".
- 1434706 cpu_core_0 "11.111111111111112".