Matches in ISWC2014 Benchmark for { ?s ?p 11.111111111111112. }
- 1298710 cpu_core_0 "11.111111111111112".
- 1298940 cpu_core_0 "11.111111111111112".
- 1299033 cpu_core_0 "11.111111111111112".
- 1299082 cpu_core_0 "11.111111111111112".
- 1299508 cpu_core_0 "11.111111111111112".
- 1299527 cpu_core_0 "11.111111111111112".
- 1299543 cpu_core_0 "11.111111111111112".
- 1299796 cpu_core_0 "11.111111111111112".
- 1300084 cpu_core_0 "11.111111111111112".
- 1300099 cpu_core_0 "11.111111111111112".
- 1300265 cpu_core_0 "11.111111111111112".
- 1300464 cpu_core_0 "11.111111111111112".
- 1300597 cpu_core_0 "11.111111111111112".
- 1300934 cpu_core_0 "11.111111111111112".
- 1301064 cpu_core_0 "11.111111111111112".
- 1301111 cpu_core_0 "11.111111111111112".
- 1301128 cpu_core_0 "11.111111111111112".
- 1301556 cpu_core_0 "11.111111111111112".
- 1301716 cpu_core_0 "11.111111111111112".
- 1301789 cpu_core_0 "11.111111111111112".
- 1301883 cpu_core_0 "11.111111111111112".
- 1301951 cpu_core_0 "11.111111111111112".
- 1302059 cpu_core_0 "11.111111111111112".
- 1302316 cpu_core_0 "11.111111111111112".
- 1302447 cpu_core_0 "11.111111111111112".
- 1302458 cpu_core_0 "11.111111111111112".
- 1302754 cpu_core_0 "11.111111111111112".
- 1302903 cpu_core_0 "11.111111111111112".
- 1303171 cpu_core_0 "11.111111111111112".
- 1303397 cpu_core_0 "11.111111111111112".
- 1303522 cpu_core_0 "11.111111111111112".
- 1303544 cpu_core_0 "11.111111111111112".
- 1303757 cpu_core_0 "11.111111111111112".
- 1303860 cpu_core_0 "11.111111111111112".
- 1303878 cpu_core_0 "11.111111111111112".
- 1303928 cpu_core_0 "11.111111111111112".
- 1303932 cpu_core_0 "11.111111111111112".
- 1303946 cpu_core_0 "11.111111111111112".
- 1304018 cpu_core_0 "11.111111111111112".
- 1304131 cpu_core_0 "11.111111111111112".
- 1304166 cpu_core_0 "11.111111111111112".
- 1304431 cpu_core_0 "11.111111111111112".
- 1304614 cpu_core_0 "11.111111111111112".
- 1305120 cpu_core_0 "11.111111111111112".
- 1305173 cpu_core_0 "11.111111111111112".
- 1305367 cpu_core_0 "11.111111111111112".
- 1305471 cpu_core_0 "11.111111111111112".
- 1305655 cpu_core_0 "11.111111111111112".
- 1305706 cpu_core_0 "11.111111111111112".
- 1305809 cpu_core_0 "11.111111111111112".
- 1305840 cpu_core_0 "11.111111111111112".
- 1306064 cpu_core_0 "11.111111111111112".
- 1306068 cpu_core_0 "11.111111111111112".
- 1306130 cpu_core_0 "11.111111111111112".
- 1306273 cpu_core_0 "11.111111111111112".
- 1306312 cpu_core_0 "11.111111111111112".
- 1306540 cpu_core_0 "11.111111111111112".
- 1306565 cpu_core_0 "11.111111111111112".
- 1306672 cpu_core_0 "11.111111111111112".
- 1306753 cpu_core_0 "11.111111111111112".
- 1306815 cpu_core_0 "11.111111111111112".
- 1306841 cpu_core_0 "11.111111111111112".
- 1306922 cpu_core_0 "11.111111111111112".
- 1307178 cpu_core_0 "11.111111111111112".
- 1307713 cpu_core_0 "11.111111111111112".
- 1307908 cpu_core_0 "11.111111111111112".
- 1308018 cpu_core_0 "11.111111111111112".
- 1308065 cpu_core_0 "11.111111111111112".
- 1308199 cpu_core_0 "11.111111111111112".
- 1308378 cpu_core_0 "11.111111111111112".
- 1308433 cpu_core_0 "11.111111111111112".
- 1308910 cpu_core_0 "11.111111111111112".
- 1309187 cpu_core_0 "11.111111111111112".
- 1309449 cpu_core_0 "11.111111111111112".
- 1309536 cpu_core_0 "11.111111111111112".
- 1309561 cpu_core_0 "11.111111111111112".
- 1310166 cpu_core_0 "11.111111111111112".
- 1310174 cpu_core_0 "11.111111111111112".
- 1310571 cpu_core_0 "11.111111111111112".
- 1310749 cpu_core_0 "11.111111111111112".
- 1310873 cpu_core_0 "11.111111111111112".
- 1310908 cpu_core_0 "11.111111111111112".
- 1310963 cpu_core_0 "11.111111111111112".
- 1311032 cpu_core_0 "11.111111111111112".
- 1311034 cpu_core_0 "11.111111111111112".
- 1311101 cpu_core_0 "11.111111111111112".
- 1311197 cpu_core_0 "11.111111111111112".
- 1311270 cpu_core_0 "11.111111111111112".
- 1311389 cpu_core_0 "11.111111111111112".
- 1311642 cpu_core_0 "11.111111111111112".
- 1311769 cpu_core_0 "11.111111111111112".
- 1311877 cpu_core_0 "11.111111111111112".
- 1312158 cpu_core_0 "11.111111111111112".
- 1312182 cpu_core_0 "11.111111111111112".
- 1312396 cpu_core_0 "11.111111111111112".
- 1312868 cpu_core_0 "11.111111111111112".
- 1312933 cpu_core_0 "11.111111111111112".
- 1313356 cpu_core_0 "11.111111111111112".
- 1313832 cpu_core_0 "11.111111111111112".
- 1314227 cpu_core_0 "11.111111111111112".