Matches in ISWC2014 Benchmark for { ?s ?p 6.93069306930693. }
- 101041 cpu_core_0 "6.93069306930693".
- 1015266 cpu_core_0 "6.93069306930693".
- 1015851 cpu_core_0 "6.93069306930693".
- 1015942 cpu_core_0 "6.93069306930693".
- 1015949 cpu_core_0 "6.93069306930693".
- 1016011 cpu_core_0 "6.93069306930693".
- 1016278 cpu_core_0 "6.93069306930693".
- 1016311 cpu_core_0 "6.93069306930693".
- 1016333 cpu_core_0 "6.93069306930693".
- 1016388 cpu_core_0 "6.93069306930693".
- 1016468 cpu_core_0 "6.93069306930693".
- 1016496 cpu_core_0 "6.93069306930693".
- 1016711 cpu_core_0 "6.93069306930693".
- 1016725 cpu_core_0 "6.93069306930693".
- 1016777 cpu_core_0 "6.93069306930693".
- 1016839 cpu_core_0 "6.93069306930693".
- 1016876 cpu_core_0 "6.93069306930693".
- 1016884 cpu_core_0 "6.93069306930693".
- 1016896 cpu_core_0 "6.93069306930693".
- 1016936 cpu_core_0 "6.93069306930693".
- 1017011 cpu_core_0 "6.93069306930693".
- 1017728 cpu_core_0 "6.93069306930693".
- 1017846 cpu_core_0 "6.93069306930693".
- 1017877 cpu_core_0 "6.93069306930693".
- 1018137 cpu_core_0 "6.93069306930693".
- 1018265 cpu_core_0 "6.93069306930693".
- 1018648 cpu_core_0 "6.93069306930693".
- 1018694 cpu_core_0 "6.93069306930693".
- 1018765 cpu_core_0 "6.93069306930693".
- 1019230 cpu_core_0 "6.93069306930693".
- 1019232 cpu_core_0 "6.93069306930693".
- 1019365 cpu_core_0 "6.93069306930693".
- 1019384 cpu_core_0 "6.93069306930693".
- 1019429 cpu_core_0 "6.93069306930693".
- 1019473 cpu_core_0 "6.93069306930693".
- 1019599 cpu_core_0 "6.93069306930693".
- 1019643 cpu_core_0 "6.93069306930693".
- 1019776 cpu_core_0 "6.93069306930693".
- 1019956 cpu_core_0 "6.93069306930693".
- 1020044 cpu_core_0 "6.93069306930693".
- 1020154 cpu_core_0 "6.93069306930693".
- 1020312 cpu_core_0 "6.93069306930693".
- 1021336 cpu_core_0 "6.93069306930693".
- 1021407 cpu_core_0 "6.93069306930693".
- 1021483 cpu_core_0 "6.93069306930693".
- 1021688 cpu_core_0 "6.93069306930693".
- 1021763 cpu_core_0 "6.93069306930693".
- 1021801 cpu_core_0 "6.93069306930693".
- 1022028 cpu_core_0 "6.93069306930693".
- 1022139 cpu_core_0 "6.93069306930693".
- 1022263 cpu_core_0 "6.93069306930693".
- 1022281 cpu_core_0 "6.93069306930693".
- 1022453 cpu_core_0 "6.93069306930693".
- 1022665 cpu_core_0 "6.93069306930693".
- 1022669 cpu_core_0 "6.93069306930693".
- 1022771 cpu_core_0 "6.93069306930693".
- 1022916 cpu_core_0 "6.93069306930693".
- 1022992 cpu_core_0 "6.93069306930693".
- 1023099 cpu_core_0 "6.93069306930693".
- 1023145 cpu_core_0 "6.93069306930693".
- 1023274 cpu_core_0 "6.93069306930693".
- 1023404 cpu_core_0 "6.93069306930693".
- 1023433 cpu_core_0 "6.93069306930693".
- 1023496 cpu_core_0 "6.93069306930693".
- 1023697 cpu_core_0 "6.93069306930693".
- 1023844 cpu_core_0 "6.93069306930693".
- 1023983 cpu_core_0 "6.93069306930693".
- 1024065 cpu_core_0 "6.93069306930693".
- 1024072 cpu_core_0 "6.93069306930693".
- 1024129 cpu_core_0 "6.93069306930693".
- 1024175 cpu_core_0 "6.93069306930693".
- 1024179 cpu_core_0 "6.93069306930693".
- 1024328 cpu_core_0 "6.93069306930693".
- 1024666 cpu_core_0 "6.93069306930693".
- 1024838 cpu_core_0 "6.93069306930693".
- 1024929 cpu_core_0 "6.93069306930693".
- 1025058 cpu_core_0 "6.93069306930693".
- 1025081 cpu_core_0 "6.93069306930693".
- 1025166 cpu_core_0 "6.93069306930693".
- 1025188 cpu_core_0 "6.93069306930693".
- 1025321 cpu_core_0 "6.93069306930693".
- 1025985 cpu_core_0 "6.93069306930693".
- 1026106 cpu_core_0 "6.93069306930693".
- 1026108 cpu_core_0 "6.93069306930693".
- 1026507 cpu_core_0 "6.93069306930693".
- 1026524 cpu_core_0 "6.93069306930693".
- 1026680 cpu_core_0 "6.93069306930693".
- 1026743 cpu_core_0 "6.93069306930693".
- 1026799 cpu_core_0 "6.93069306930693".
- 1027130 cpu_core_0 "6.93069306930693".
- 1027282 cpu_core_0 "6.93069306930693".
- 1027370 cpu_core_0 "6.93069306930693".
- 1027463 cpu_core_0 "6.93069306930693".
- 1027618 cpu_core_0 "6.93069306930693".
- 1027784 cpu_core_0 "6.93069306930693".
- 1027876 cpu_core_0 "6.93069306930693".
- 1028086 cpu_core_0 "6.93069306930693".
- 1028103 cpu_core_0 "6.93069306930693".
- 1028119 cpu_core_0 "6.93069306930693".
- 1028227 cpu_core_0 "6.93069306930693".