Matches in ISWC2014 Benchmark for { ?s ?p 11.111111111111112. }
- 1002369 cpu_core_0 "11.111111111111112".
- 1006965 cpu_core_0 "11.111111111111112".
- 1010200 cpu_core_0 "11.111111111111112".
- 1011124 cpu_core_0 "11.111111111111112".
- 1011231 cpu_core_0 "11.111111111111112".
- 1011248 cpu_core_0 "11.111111111111112".
- 1011306 cpu_core_0 "11.111111111111112".
- 1011327 cpu_core_0 "11.111111111111112".
- 1011364 cpu_core_0 "11.111111111111112".
- 1011367 cpu_core_0 "11.111111111111112".
- 1015639 cpu_core_0 "11.111111111111112".
- 1015700 cpu_core_0 "11.111111111111112".
- 1015781 cpu_core_0 "11.111111111111112".
- 1015791 cpu_core_0 "11.111111111111112".
- 1015812 cpu_core_0 "11.111111111111112".
- 1015819 cpu_core_0 "11.111111111111112".
- 1015979 cpu_core_0 "11.111111111111112".
- 1016111 cpu_core_0 "11.111111111111112".
- 1016221 cpu_core_0 "11.111111111111112".
- 1016343 cpu_core_0 "11.111111111111112".
- 1016353 cpu_core_0 "11.111111111111112".
- 1016382 cpu_core_0 "11.111111111111112".
- 1016389 cpu_core_0 "11.111111111111112".
- 1016469 cpu_core_0 "11.111111111111112".
- 1016519 cpu_core_0 "11.111111111111112".
- 1016536 cpu_core_0 "11.111111111111112".
- 1016551 cpu_core_0 "11.111111111111112".
- 1016647 cpu_core_0 "11.111111111111112".
- 1016752 cpu_core_0 "11.111111111111112".
- 1016757 cpu_core_0 "11.111111111111112".
- 1017302 cpu_core_0 "11.111111111111112".
- 1017903 cpu_core_0 "11.111111111111112".
- 1017933 cpu_core_0 "11.111111111111112".
- 1017977 cpu_core_0 "11.111111111111112".
- 1018146 cpu_core_0 "11.111111111111112".
- 1018307 cpu_core_0 "11.111111111111112".
- 1018762 cpu_core_0 "11.111111111111112".
- 1019707 cpu_core_0 "11.111111111111112".
- 1019947 cpu_core_0 "11.111111111111112".
- 1020307 cpu_core_0 "11.111111111111112".
- 1020311 cpu_core_0 "11.111111111111112".
- 1020321 cpu_core_0 "11.111111111111112".
- 1021032 cpu_core_0 "11.111111111111112".
- 1021243 cpu_core_0 "11.111111111111112".
- 1021303 cpu_core_0 "11.111111111111112".
- 1021403 cpu_core_0 "11.111111111111112".
- 1021456 cpu_core_0 "11.111111111111112".
- 1021471 cpu_core_0 "11.111111111111112".
- 1021652 cpu_core_0 "11.111111111111112".
- 1021877 cpu_core_0 "11.111111111111112".
- 1021934 cpu_core_0 "11.111111111111112".
- 1022133 cpu_core_0 "11.111111111111112".
- 1022427 cpu_core_0 "11.111111111111112".
- 1022550 cpu_core_0 "11.111111111111112".
- 1022719 cpu_core_0 "11.111111111111112".
- 1022853 cpu_core_0 "11.111111111111112".
- 1022898 cpu_core_0 "11.111111111111112".
- 1023006 cpu_core_0 "11.111111111111112".
- 1023019 cpu_core_0 "11.111111111111112".
- 1023918 cpu_core_0 "11.111111111111112".
- 1023924 cpu_core_0 "11.111111111111112".
- 1024218 cpu_core_0 "11.111111111111112".
- 1024233 cpu_core_0 "11.111111111111112".
- 1024668 cpu_core_0 "11.111111111111112".
- 1025778 cpu_core_0 "11.111111111111112".
- 1026000 cpu_core_0 "11.111111111111112".
- 1026748 cpu_core_0 "11.111111111111112".
- 1027147 cpu_core_0 "11.111111111111112".
- 1027176 cpu_core_0 "11.111111111111112".
- 1027212 cpu_core_0 "11.111111111111112".
- 1027319 cpu_core_0 "11.111111111111112".
- 1027382 cpu_core_0 "11.111111111111112".
- 1027516 cpu_core_0 "11.111111111111112".
- 1027582 cpu_core_0 "11.111111111111112".
- 1027670 cpu_core_0 "11.111111111111112".
- 1027766 cpu_core_0 "11.111111111111112".
- 1027814 cpu_core_0 "11.111111111111112".
- 1027854 cpu_core_0 "11.111111111111112".
- 1027898 cpu_core_0 "11.111111111111112".
- 1027910 cpu_core_0 "11.111111111111112".
- 1028112 cpu_core_0 "11.111111111111112".
- 1028453 cpu_core_0 "11.111111111111112".
- 1028501 cpu_core_0 "11.111111111111112".
- 1028593 cpu_core_0 "11.111111111111112".
- 1028875 cpu_core_0 "11.111111111111112".
- 1028947 cpu_core_0 "11.111111111111112".
- 1029168 cpu_core_0 "11.111111111111112".
- 1029319 cpu_core_0 "11.111111111111112".
- 1029344 cpu_core_0 "11.111111111111112".
- 1029359 cpu_core_0 "11.111111111111112".
- 1029564 cpu_core_0 "11.111111111111112".
- 1029944 cpu_core_0 "11.111111111111112".
- 1030428 cpu_core_0 "11.111111111111112".
- 1031041 cpu_core_0 "11.111111111111112".
- 1031267 cpu_core_0 "11.111111111111112".
- 1031491 cpu_core_0 "11.111111111111112".
- 1031511 cpu_core_0 "11.111111111111112".
- 1032839 cpu_core_0 "11.111111111111112".
- 1032935 cpu_core_0 "11.111111111111112".
- 1033028 cpu_core_0 "11.111111111111112".