Matches in ISWC2014 Benchmark for { ?s ?p 11.111111111111112. }
- 1314394 cpu_core_0 "11.111111111111112".
- 1314416 cpu_core_0 "11.111111111111112".
- 1314523 cpu_core_0 "11.111111111111112".
- 1314701 cpu_core_0 "11.111111111111112".
- 1314845 cpu_core_0 "11.111111111111112".
- 1314853 cpu_core_0 "11.111111111111112".
- 1314896 cpu_core_0 "11.111111111111112".
- 1315269 cpu_core_0 "11.111111111111112".
- 1315505 cpu_core_0 "11.111111111111112".
- 1315558 cpu_core_0 "11.111111111111112".
- 1315836 cpu_core_0 "11.111111111111112".
- 1316001 cpu_core_0 "11.111111111111112".
- 1316716 cpu_core_0 "11.111111111111112".
- 1316945 cpu_core_0 "11.111111111111112".
- 1317031 cpu_core_0 "11.111111111111112".
- 1317157 cpu_core_0 "11.111111111111112".
- 1317158 cpu_core_0 "11.111111111111112".
- 1317207 cpu_core_0 "11.111111111111112".
- 1317274 cpu_core_0 "11.111111111111112".
- 1317388 cpu_core_0 "11.111111111111112".
- 1317500 cpu_core_0 "11.111111111111112".
- 1317530 cpu_core_0 "11.111111111111112".
- 1317540 cpu_core_0 "11.111111111111112".
- 1317631 cpu_core_0 "11.111111111111112".
- 1317745 cpu_core_0 "11.111111111111112".
- 1317814 cpu_core_0 "11.111111111111112".
- 1317964 cpu_core_0 "11.111111111111112".
- 1318014 cpu_core_0 "11.111111111111112".
- 1318045 cpu_core_0 "11.111111111111112".
- 1318081 cpu_core_0 "11.111111111111112".
- 1318106 cpu_core_0 "11.111111111111112".
- 1318371 cpu_core_0 "11.111111111111112".
- 1318702 cpu_core_0 "11.111111111111112".
- 1318733 cpu_core_0 "11.111111111111112".
- 1318988 cpu_core_0 "11.111111111111112".
- 1319462 cpu_core_0 "11.111111111111112".
- 1319541 cpu_core_0 "11.111111111111112".
- 1319736 cpu_core_0 "11.111111111111112".
- 1321228 cpu_core_0 "11.111111111111112".
- 1321386 cpu_core_0 "11.111111111111112".
- 1321405 cpu_core_0 "11.111111111111112".
- 1321416 cpu_core_0 "11.111111111111112".
- 1321733 cpu_core_0 "11.111111111111112".
- 1321895 cpu_core_0 "11.111111111111112".
- 1322292 cpu_core_0 "11.111111111111112".
- 1322907 cpu_core_0 "11.111111111111112".
- 1323057 cpu_core_0 "11.111111111111112".
- 1323095 cpu_core_0 "11.111111111111112".
- 1323391 cpu_core_0 "11.111111111111112".
- 1323441 cpu_core_0 "11.111111111111112".
- 1323471 cpu_core_0 "11.111111111111112".
- 1323562 cpu_core_0 "11.111111111111112".
- 1323595 cpu_core_0 "11.111111111111112".
- 1323786 cpu_core_0 "11.111111111111112".
- 1323924 cpu_core_0 "11.111111111111112".
- 1323954 cpu_core_0 "11.111111111111112".
- 1323989 cpu_core_0 "11.111111111111112".
- 1324024 cpu_core_0 "11.111111111111112".
- 1324070 cpu_core_0 "11.111111111111112".
- 1324168 cpu_core_0 "11.111111111111112".
- 1324283 cpu_core_0 "11.111111111111112".
- 1324417 cpu_core_0 "11.111111111111112".
- 1324644 cpu_core_0 "11.111111111111112".
- 1324648 cpu_core_0 "11.111111111111112".
- 1324704 cpu_core_0 "11.111111111111112".
- 1324801 cpu_core_0 "11.111111111111112".
- 1324885 cpu_core_0 "11.111111111111112".
- 1325069 cpu_core_0 "11.111111111111112".
- 1325163 cpu_core_0 "11.111111111111112".
- 1325223 cpu_core_0 "11.111111111111112".
- 1325239 cpu_core_0 "11.111111111111112".
- 1325644 cpu_core_0 "11.111111111111112".
- 1325687 cpu_core_0 "11.111111111111112".
- 1325807 cpu_core_0 "11.111111111111112".
- 1326139 cpu_core_0 "11.111111111111112".
- 1326203 cpu_core_0 "11.111111111111112".
- 1326739 cpu_core_0 "11.111111111111112".
- 1326796 cpu_core_0 "11.111111111111112".
- 1327442 cpu_core_0 "11.111111111111112".
- 1327594 cpu_core_0 "11.111111111111112".
- 1327858 cpu_core_0 "11.111111111111112".
- 1327928 cpu_core_0 "11.111111111111112".
- 1328187 cpu_core_0 "11.111111111111112".
- 1328214 cpu_core_0 "11.111111111111112".
- 1328507 cpu_core_0 "11.111111111111112".
- 1328576 cpu_core_0 "11.111111111111112".
- 1328725 cpu_core_0 "11.111111111111112".
- 1328791 cpu_core_0 "11.111111111111112".
- 1328910 cpu_core_0 "11.111111111111112".
- 1328977 cpu_core_0 "11.111111111111112".
- 1328986 cpu_core_0 "11.111111111111112".
- 1329353 cpu_core_0 "11.111111111111112".
- 1329459 cpu_core_0 "11.111111111111112".
- 1329890 cpu_core_0 "11.111111111111112".
- 1329948 cpu_core_0 "11.111111111111112".
- 1329966 cpu_core_0 "11.111111111111112".
- 1329991 cpu_core_0 "11.111111111111112".
- 1330117 cpu_core_0 "11.111111111111112".
- 1330169 cpu_core_0 "11.111111111111112".
- 1330223 cpu_core_0 "11.111111111111112".