Matches in ISWC2014 Benchmark for { ?s ?p 6.93069306930693. }
- 1028290 cpu_core_0 "6.93069306930693".
- 1028536 cpu_core_0 "6.93069306930693".
- 1028567 cpu_core_0 "6.93069306930693".
- 1028945 cpu_core_0 "6.93069306930693".
- 1029053 cpu_core_0 "6.93069306930693".
- 1029080 cpu_core_0 "6.93069306930693".
- 1029290 cpu_core_0 "6.93069306930693".
- 1029355 cpu_core_0 "6.93069306930693".
- 1029460 cpu_core_0 "6.93069306930693".
- 1029739 cpu_core_0 "6.93069306930693".
- 1029789 cpu_core_0 "6.93069306930693".
- 1030036 cpu_core_0 "6.93069306930693".
- 1030212 cpu_core_0 "6.93069306930693".
- 1030407 cpu_core_0 "6.93069306930693".
- 1030496 cpu_core_0 "6.93069306930693".
- 1030510 cpu_core_0 "6.93069306930693".
- 1030581 cpu_core_0 "6.93069306930693".
- 1030637 cpu_core_0 "6.93069306930693".
- 1030790 cpu_core_0 "6.93069306930693".
- 1031004 cpu_core_0 "6.93069306930693".
- 1031017 cpu_core_0 "6.93069306930693".
- 1031264 cpu_core_0 "6.93069306930693".
- 1031490 cpu_core_0 "6.93069306930693".
- 1031768 cpu_core_0 "6.93069306930693".
- 1032216 cpu_core_0 "6.93069306930693".
- 1032220 cpu_core_0 "6.93069306930693".
- 1032298 cpu_core_0 "6.93069306930693".
- 1032511 cpu_core_0 "6.93069306930693".
- 1032593 cpu_core_0 "6.93069306930693".
- 1032630 cpu_core_0 "6.93069306930693".
- 1032964 cpu_core_0 "6.93069306930693".
- 1032984 cpu_core_0 "6.93069306930693".
- 1033155 cpu_core_0 "6.93069306930693".
- 1033366 cpu_core_0 "6.93069306930693".
- 1033460 cpu_core_0 "6.93069306930693".
- 1033674 cpu_core_0 "6.93069306930693".
- 1033791 cpu_core_0 "6.93069306930693".
- 1033863 cpu_core_0 "6.93069306930693".
- 1033872 cpu_core_0 "6.93069306930693".
- 1033919 cpu_core_0 "6.93069306930693".
- 1033928 cpu_core_0 "6.93069306930693".
- 1034572 cpu_core_0 "6.93069306930693".
- 1034610 cpu_core_0 "6.93069306930693".
- 1034621 cpu_core_0 "6.93069306930693".
- 1034780 cpu_core_0 "6.93069306930693".
- 1034829 cpu_core_0 "6.93069306930693".
- 1034897 cpu_core_0 "6.93069306930693".
- 1034962 cpu_core_0 "6.93069306930693".
- 1034966 cpu_core_0 "6.93069306930693".
- 1035201 cpu_core_0 "6.93069306930693".
- 1035214 cpu_core_0 "6.93069306930693".
- 1035424 cpu_core_0 "6.93069306930693".
- 1035490 cpu_core_0 "6.93069306930693".
- 1035570 cpu_core_0 "6.93069306930693".
- 1035603 cpu_core_0 "6.93069306930693".
- 1035731 cpu_core_0 "6.93069306930693".
- 1036148 cpu_core_0 "6.93069306930693".
- 1036405 cpu_core_0 "6.93069306930693".
- 1036748 cpu_core_0 "6.93069306930693".
- 1036829 cpu_core_0 "6.93069306930693".
- 1036988 cpu_core_0 "6.93069306930693".
- 1037231 cpu_core_0 "6.93069306930693".
- 1037283 cpu_core_0 "6.93069306930693".
- 1037313 cpu_core_0 "6.93069306930693".
- 1037538 cpu_core_0 "6.93069306930693".
- 1037616 cpu_core_0 "6.93069306930693".
- 1037751 cpu_core_0 "6.93069306930693".
- 1037753 cpu_core_0 "6.93069306930693".
- 1037940 cpu_core_0 "6.93069306930693".
- 1038162 cpu_core_0 "6.93069306930693".
- 1038774 cpu_core_0 "6.93069306930693".
- 1038793 cpu_core_0 "6.93069306930693".
- 1038845 cpu_core_0 "6.93069306930693".
- 1038872 cpu_core_0 "6.93069306930693".
- 1038918 cpu_core_0 "6.93069306930693".
- 1039003 cpu_core_0 "6.93069306930693".
- 1039063 cpu_core_0 "6.93069306930693".
- 1039163 cpu_core_0 "6.93069306930693".
- 1039204 cpu_core_0 "6.93069306930693".
- 1039571 cpu_core_0 "6.93069306930693".
- 1039661 cpu_core_0 "6.93069306930693".
- 1039707 cpu_core_0 "6.93069306930693".
- 1039735 cpu_core_0 "6.93069306930693".
- 1039781 cpu_core_0 "6.93069306930693".
- 1039888 cpu_core_0 "6.93069306930693".
- 1039939 cpu_core_0 "6.93069306930693".
- 1040925 cpu_core_0 "6.93069306930693".
- 1041365 cpu_core_0 "6.93069306930693".
- 1041743 cpu_core_0 "6.93069306930693".
- 1041752 cpu_core_0 "6.93069306930693".
- 1042066 cpu_core_0 "6.93069306930693".
- 1042091 cpu_core_0 "6.93069306930693".
- 1042198 cpu_core_0 "6.93069306930693".
- 1042244 cpu_core_0 "6.93069306930693".
- 1042316 cpu_core_0 "6.93069306930693".
- 1042378 cpu_core_0 "6.93069306930693".
- 1042542 cpu_core_0 "6.93069306930693".
- 1042660 cpu_core_0 "6.93069306930693".
- 1043201 cpu_core_0 "6.93069306930693".
- 1043244 cpu_core_0 "6.93069306930693".