Matches in ISWC2014 Benchmark for { ?s ?p 11.111111111111112. }
- 1330509 cpu_core_0 "11.111111111111112".
- 1330643 cpu_core_0 "11.111111111111112".
- 1330732 cpu_core_0 "11.111111111111112".
- 1330761 cpu_core_0 "11.111111111111112".
- 1330767 cpu_core_0 "11.111111111111112".
- 1330826 cpu_core_0 "11.111111111111112".
- 1330926 cpu_core_0 "11.111111111111112".
- 1331047 cpu_core_0 "11.111111111111112".
- 1331159 cpu_core_0 "11.111111111111112".
- 1331326 cpu_core_0 "11.111111111111112".
- 1331423 cpu_core_0 "11.111111111111112".
- 1331589 cpu_core_0 "11.111111111111112".
- 1331600 cpu_core_0 "11.111111111111112".
- 1331668 cpu_core_0 "11.111111111111112".
- 1331718 cpu_core_0 "11.111111111111112".
- 1331777 cpu_core_0 "11.111111111111112".
- 1332208 cpu_core_0 "11.111111111111112".
- 1332365 cpu_core_0 "11.111111111111112".
- 1332469 cpu_core_0 "11.111111111111112".
- 1332533 cpu_core_0 "11.111111111111112".
- 1332838 cpu_core_0 "11.111111111111112".
- 1333014 cpu_core_0 "11.111111111111112".
- 1333179 cpu_core_0 "11.111111111111112".
- 1333233 cpu_core_0 "11.111111111111112".
- 1333292 cpu_core_0 "11.111111111111112".
- 1333314 cpu_core_0 "11.111111111111112".
- 1333321 cpu_core_0 "11.111111111111112".
- 1333345 cpu_core_0 "11.111111111111112".
- 1333832 cpu_core_0 "11.111111111111112".
- 1333908 cpu_core_0 "11.111111111111112".
- 1334075 cpu_core_0 "11.111111111111112".
- 1334154 cpu_core_0 "11.111111111111112".
- 1334237 cpu_core_0 "11.111111111111112".
- 1334314 cpu_core_0 "11.111111111111112".
- 1334643 cpu_core_0 "11.111111111111112".
- 1335298 cpu_core_0 "11.111111111111112".
- 1335301 cpu_core_0 "11.111111111111112".
- 1335467 cpu_core_0 "11.111111111111112".
- 1335533 cpu_core_0 "11.111111111111112".
- 1335771 cpu_core_0 "11.111111111111112".
- 1336192 cpu_core_0 "11.111111111111112".
- 1336240 cpu_core_0 "11.111111111111112".
- 1336697 cpu_core_0 "11.111111111111112".
- 1337442 cpu_core_0 "11.111111111111112".
- 1337659 cpu_core_0 "11.111111111111112".
- 1338594 cpu_core_0 "11.111111111111112".
- 1339010 cpu_core_0 "11.111111111111112".
- 1339149 cpu_core_0 "11.111111111111112".
- 1339421 cpu_core_0 "11.111111111111112".
- 1339500 cpu_core_0 "11.111111111111112".
- 1339532 cpu_core_0 "11.111111111111112".
- 1339728 cpu_core_0 "11.111111111111112".
- 1340205 cpu_core_0 "11.111111111111112".
- 1340223 cpu_core_0 "11.111111111111112".
- 1340256 cpu_core_0 "11.111111111111112".
- 1340324 cpu_core_0 "11.111111111111112".
- 1340331 cpu_core_0 "11.111111111111112".
- 1340652 cpu_core_0 "11.111111111111112".
- 1340826 cpu_core_0 "11.111111111111112".
- 1341088 cpu_core_0 "11.111111111111112".
- 1341191 cpu_core_0 "11.111111111111112".
- 1341294 cpu_core_0 "11.111111111111112".
- 1341388 cpu_core_0 "11.111111111111112".
- 1341394 cpu_core_0 "11.111111111111112".
- 1341437 cpu_core_0 "11.111111111111112".
- 1341463 cpu_core_0 "11.111111111111112".
- 1341569 cpu_core_0 "11.111111111111112".
- 1341572 cpu_core_0 "11.111111111111112".
- 1341668 cpu_core_0 "11.111111111111112".
- 1341801 cpu_core_0 "11.111111111111112".
- 1342001 cpu_core_0 "11.111111111111112".
- 1342014 cpu_core_0 "11.111111111111112".
- 1342092 cpu_core_0 "11.111111111111112".
- 1342120 cpu_core_0 "11.111111111111112".
- 1342179 cpu_core_0 "11.111111111111112".
- 1342365 cpu_core_0 "11.111111111111112".
- 1342393 cpu_core_0 "11.111111111111112".
- 1342423 cpu_core_0 "11.111111111111112".
- 1342610 cpu_core_0 "11.111111111111112".
- 1342659 cpu_core_0 "11.111111111111112".
- 1342777 cpu_core_0 "11.111111111111112".
- 1342850 cpu_core_0 "11.111111111111112".
- 1342884 cpu_core_0 "11.111111111111112".
- 1343123 cpu_core_0 "11.111111111111112".
- 1343207 cpu_core_0 "11.111111111111112".
- 1343212 cpu_core_0 "11.111111111111112".
- 1343602 cpu_core_0 "11.111111111111112".
- 1343625 cpu_core_0 "11.111111111111112".
- 1343924 cpu_core_0 "11.111111111111112".
- 1344170 cpu_core_0 "11.111111111111112".
- 1344521 cpu_core_0 "11.111111111111112".
- 1344944 cpu_core_0 "11.111111111111112".
- 1345083 cpu_core_0 "11.111111111111112".
- 1345168 cpu_core_0 "11.111111111111112".
- 1345243 cpu_core_0 "11.111111111111112".
- 1345536 cpu_core_0 "11.111111111111112".
- 1345676 cpu_core_0 "11.111111111111112".
- 1345725 cpu_core_0 "11.111111111111112".
- 1345766 cpu_core_0 "11.111111111111112".
- 1345908 cpu_core_0 "11.111111111111112".