Matches in ISWC2014 Benchmark for { ?s ?p 11.111111111111112. }
- 1247478 cpu_core_0 "11.111111111111112".
- 1247581 cpu_core_0 "11.111111111111112".
- 1247689 cpu_core_0 "11.111111111111112".
- 1247751 cpu_core_0 "11.111111111111112".
- 1247785 cpu_core_0 "11.111111111111112".
- 1247878 cpu_core_0 "11.111111111111112".
- 1247944 cpu_core_0 "11.111111111111112".
- 1248046 cpu_core_0 "11.111111111111112".
- 1248339 cpu_core_0 "11.111111111111112".
- 1248608 cpu_core_0 "11.111111111111112".
- 1248633 cpu_core_0 "11.111111111111112".
- 1248683 cpu_core_0 "11.111111111111112".
- 1248848 cpu_core_0 "11.111111111111112".
- 1248946 cpu_core_0 "11.111111111111112".
- 1249078 cpu_core_0 "11.111111111111112".
- 1249273 cpu_core_0 "11.111111111111112".
- 1249316 cpu_core_0 "11.111111111111112".
- 1249325 cpu_core_0 "11.111111111111112".
- 1249436 cpu_core_0 "11.111111111111112".
- 1249661 cpu_core_0 "11.111111111111112".
- 1249686 cpu_core_0 "11.111111111111112".
- 1249691 cpu_core_0 "11.111111111111112".
- 1249759 cpu_core_0 "11.111111111111112".
- 1250014 cpu_core_0 "11.111111111111112".
- 1250026 cpu_core_0 "11.111111111111112".
- 1250208 cpu_core_0 "11.111111111111112".
- 1250336 cpu_core_0 "11.111111111111112".
- 1250389 cpu_core_0 "11.111111111111112".
- 1250594 cpu_core_0 "11.111111111111112".
- 1250657 cpu_core_0 "11.111111111111112".
- 1250905 cpu_core_0 "11.111111111111112".
- 1251222 cpu_core_0 "11.111111111111112".
- 1251414 cpu_core_0 "11.111111111111112".
- 1251498 cpu_core_0 "11.111111111111112".
- 1251504 cpu_core_0 "11.111111111111112".
- 1251606 cpu_core_0 "11.111111111111112".
- 1251964 cpu_core_0 "11.111111111111112".
- 1252030 cpu_core_0 "11.111111111111112".
- 1252308 cpu_core_0 "11.111111111111112".
- 1252350 cpu_core_0 "11.111111111111112".
- 1252379 cpu_core_0 "11.111111111111112".
- 1253079 cpu_core_0 "11.111111111111112".
- 1253527 cpu_core_0 "11.111111111111112".
- 1253590 cpu_core_0 "11.111111111111112".
- 1253707 cpu_core_0 "11.111111111111112".
- 1254246 cpu_core_0 "11.111111111111112".
- 1254414 cpu_core_0 "11.111111111111112".
- 1254476 cpu_core_0 "11.111111111111112".
- 1254779 cpu_core_0 "11.111111111111112".
- 1254860 cpu_core_0 "11.111111111111112".
- 1255179 cpu_core_0 "11.111111111111112".
- 1255456 cpu_core_0 "11.111111111111112".
- 1255603 cpu_core_0 "11.111111111111112".
- 1255646 cpu_core_0 "11.111111111111112".
- 1255659 cpu_core_0 "11.111111111111112".
- 1255710 cpu_core_0 "11.111111111111112".
- 1255937 cpu_core_0 "11.111111111111112".
- 1255976 cpu_core_0 "11.111111111111112".
- 1256062 cpu_core_0 "11.111111111111112".
- 1256097 cpu_core_0 "11.111111111111112".
- 1256139 cpu_core_0 "11.111111111111112".
- 1256673 cpu_core_0 "11.111111111111112".
- 1256683 cpu_core_0 "11.111111111111112".
- 1256848 cpu_core_0 "11.111111111111112".
- 1257220 cpu_core_0 "11.111111111111112".
- 1257381 cpu_core_0 "11.111111111111112".
- 1257534 cpu_core_0 "11.111111111111112".
- 1257547 cpu_core_0 "11.111111111111112".
- 1258060 cpu_core_0 "11.111111111111112".
- 1258139 cpu_core_0 "11.111111111111112".
- 1258203 cpu_core_0 "11.111111111111112".
- 1258385 cpu_core_0 "11.111111111111112".
- 1258442 cpu_core_0 "11.111111111111112".
- 1258608 cpu_core_0 "11.111111111111112".
- 1258609 cpu_core_0 "11.111111111111112".
- 1258667 cpu_core_0 "11.111111111111112".
- 1258910 cpu_core_0 "11.111111111111112".
- 1258965 cpu_core_0 "11.111111111111112".
- 1258982 cpu_core_0 "11.111111111111112".
- 1259503 cpu_core_0 "11.111111111111112".
- 1259715 cpu_core_0 "11.111111111111112".
- 1259786 cpu_core_0 "11.111111111111112".
- 1260012 cpu_core_0 "11.111111111111112".
- 1260386 cpu_core_0 "11.111111111111112".
- 1260396 cpu_core_0 "11.111111111111112".
- 1260513 cpu_core_0 "11.111111111111112".
- 1260718 cpu_core_0 "11.111111111111112".
- 1260913 cpu_core_0 "11.111111111111112".
- 1260972 cpu_core_0 "11.111111111111112".
- 1261030 cpu_core_0 "11.111111111111112".
- 1261069 cpu_core_0 "11.111111111111112".
- 1261093 cpu_core_0 "11.111111111111112".
- 1261294 cpu_core_0 "11.111111111111112".
- 1261452 cpu_core_0 "11.111111111111112".
- 1261534 cpu_core_0 "11.111111111111112".
- 1261545 cpu_core_0 "11.111111111111112".
- 1261574 cpu_core_0 "11.111111111111112".
- 1261656 cpu_core_0 "11.111111111111112".
- 1261683 cpu_core_0 "11.111111111111112".
- 1261793 cpu_core_0 "11.111111111111112".