Matches in ISWC2014 Benchmark for { ?s ?p 5.88235294117647. }
- 902873 cpu_core_0 "5.88235294117647".
- 903298 cpu_core_0 "5.88235294117647".
- 912515 cpu_core_0 "5.88235294117647".
- 914307 cpu_core_0 "5.88235294117647".
- 916360 cpu_core_0 "5.88235294117647".
- 916425 cpu_core_0 "5.88235294117647".
- 918443 cpu_core_0 "5.88235294117647".
- 919642 cpu_core_0 "5.88235294117647".
- 924144 cpu_core_0 "5.88235294117647".
- 929615 cpu_core_0 "5.88235294117647".
- 929894 cpu_core_0 "5.88235294117647".
- 930256 cpu_core_0 "5.88235294117647".
- 933580 cpu_core_0 "5.88235294117647".
- 938830 cpu_core_0 "5.88235294117647".
- 938994 cpu_core_0 "5.88235294117647".
- 940413 cpu_core_0 "5.88235294117647".
- 941012 cpu_core_0 "5.88235294117647".
- 941890 cpu_core_0 "5.88235294117647".
- 944884 cpu_core_0 "5.88235294117647".
- 945388 cpu_core_0 "5.88235294117647".
- 948943 cpu_core_0 "5.88235294117647".
- 949072 cpu_core_0 "5.88235294117647".
- 949862 cpu_core_0 "5.88235294117647".
- 950290 cpu_core_0 "5.88235294117647".
- 952325 cpu_core_0 "5.88235294117647".
- 953421 cpu_core_0 "5.88235294117647".
- 956041 cpu_core_0 "5.88235294117647".
- 956067 cpu_core_0 "5.88235294117647".
- 960535 cpu_core_0 "5.88235294117647".
- 960941 cpu_core_0 "5.88235294117647".
- 962273 cpu_core_0 "5.88235294117647".
- 965066 cpu_core_0 "5.88235294117647".
- 967991 cpu_core_0 "5.88235294117647".
- 971784 cpu_core_0 "5.88235294117647".
- 972213 cpu_core_0 "5.88235294117647".
- 978196 cpu_core_0 "5.88235294117647".
- 980258 cpu_core_0 "5.88235294117647".
- 980614 cpu_core_0 "5.88235294117647".
- 981599 cpu_core_0 "5.88235294117647".
- 981654 cpu_core_0 "5.88235294117647".
- 986559 cpu_core_0 "5.88235294117647".
- 987147 cpu_core_0 "5.88235294117647".
- 988653 cpu_core_0 "5.88235294117647".
- 989320 cpu_core_0 "5.88235294117647".
- 989542 cpu_core_0 "5.88235294117647".
- 1005599 cpu_core_1 "5.88235294117647".
- 1005951 cpu_core_1 "5.88235294117647".
- 1006937 cpu_core_1 "5.88235294117647".
- 1007749 cpu_core_1 "5.88235294117647".
- 1013480 cpu_core_1 "5.88235294117647".
- 1018691 cpu_core_1 "5.88235294117647".
- 1019412 cpu_core_1 "5.88235294117647".
- 1019870 cpu_core_1 "5.88235294117647".
- 1020043 cpu_core_1 "5.88235294117647".
- 1021206 cpu_core_1 "5.88235294117647".
- 1021483 cpu_core_1 "5.88235294117647".
- 1022025 cpu_core_1 "5.88235294117647".
- 1022785 cpu_core_1 "5.88235294117647".
- 1026621 cpu_core_1 "5.88235294117647".
- 1027020 cpu_core_1 "5.88235294117647".
- 1030757 cpu_core_1 "5.88235294117647".
- 1031577 cpu_core_1 "5.88235294117647".
- 1034778 cpu_core_1 "5.88235294117647".
- 1036961 cpu_core_1 "5.88235294117647".
- 1038845 cpu_core_1 "5.88235294117647".
- 1044825 cpu_core_1 "5.88235294117647".
- 1047571 cpu_core_1 "5.88235294117647".
- 1048241 cpu_core_1 "5.88235294117647".
- 1048856 cpu_core_1 "5.88235294117647".
- 1052607 cpu_core_1 "5.88235294117647".
- 1053324 cpu_core_1 "5.88235294117647".
- 1053850 cpu_core_1 "5.88235294117647".
- 1055296 cpu_core_1 "5.88235294117647".
- 1058899 cpu_core_1 "5.88235294117647".
- 1060493 cpu_core_1 "5.88235294117647".
- 1060548 cpu_core_1 "5.88235294117647".
- 1061634 cpu_core_1 "5.88235294117647".
- 1061657 cpu_core_1 "5.88235294117647".
- 1062453 cpu_core_1 "5.88235294117647".
- 1063410 cpu_core_1 "5.88235294117647".
- 1063728 cpu_core_1 "5.88235294117647".
- 1064493 cpu_core_1 "5.88235294117647".
- 1064628 cpu_core_1 "5.88235294117647".
- 1068667 cpu_core_1 "5.88235294117647".
- 1068876 cpu_core_1 "5.88235294117647".
- 1069991 cpu_core_1 "5.88235294117647".
- 1070805 cpu_core_1 "5.88235294117647".
- 1071650 cpu_core_1 "5.88235294117647".
- 1074351 cpu_core_1 "5.88235294117647".
- 1074841 cpu_core_1 "5.88235294117647".
- 1076448 cpu_core_1 "5.88235294117647".
- 1077252 cpu_core_1 "5.88235294117647".
- 1077595 cpu_core_1 "5.88235294117647".
- 1081088 cpu_core_1 "5.88235294117647".
- 1085901 cpu_core_1 "5.88235294117647".
- 1086102 cpu_core_1 "5.88235294117647".
- 1086735 cpu_core_1 "5.88235294117647".
- 1086978 cpu_core_1 "5.88235294117647".
- 1087372 cpu_core_1 "5.88235294117647".
- 1087859 cpu_core_1 "5.88235294117647".