Matches in ISWC2014 Benchmark for { ?s ?p 7.000000000000001. }
- 1002825 cpu_core_0 "7.000000000000001".
- 1006222 cpu_core_0 "7.000000000000001".
- 1011352 cpu_core_0 "7.000000000000001".
- 1011374 cpu_core_0 "7.000000000000001".
- 1015761 cpu_core_0 "7.000000000000001".
- 1017461 cpu_core_0 "7.000000000000001".
- 1017858 cpu_core_0 "7.000000000000001".
- 1018072 cpu_core_0 "7.000000000000001".
- 1018096 cpu_core_0 "7.000000000000001".
- 1018990 cpu_core_0 "7.000000000000001".
- 1019708 cpu_core_0 "7.000000000000001".
- 1021158 cpu_core_0 "7.000000000000001".
- 1021310 cpu_core_0 "7.000000000000001".
- 1021579 cpu_core_0 "7.000000000000001".
- 1021808 cpu_core_0 "7.000000000000001".
- 1022274 cpu_core_0 "7.000000000000001".
- 1022645 cpu_core_0 "7.000000000000001".
- 1022707 cpu_core_0 "7.000000000000001".
- 1022896 cpu_core_0 "7.000000000000001".
- 1023953 cpu_core_0 "7.000000000000001".
- 1024007 cpu_core_0 "7.000000000000001".
- 1024434 cpu_core_0 "7.000000000000001".
- 1024670 cpu_core_0 "7.000000000000001".
- 1025192 cpu_core_0 "7.000000000000001".
- 1025816 cpu_core_0 "7.000000000000001".
- 1026249 cpu_core_0 "7.000000000000001".
- 1026289 cpu_core_0 "7.000000000000001".
- 1026747 cpu_core_0 "7.000000000000001".
- 1027703 cpu_core_0 "7.000000000000001".
- 1027945 cpu_core_0 "7.000000000000001".
- 1028100 cpu_core_0 "7.000000000000001".
- 1030563 cpu_core_0 "7.000000000000001".
- 1030635 cpu_core_0 "7.000000000000001".
- 1032007 cpu_core_0 "7.000000000000001".
- 1032457 cpu_core_0 "7.000000000000001".
- 1032945 cpu_core_0 "7.000000000000001".
- 1033591 cpu_core_0 "7.000000000000001".
- 1033673 cpu_core_0 "7.000000000000001".
- 1033773 cpu_core_0 "7.000000000000001".
- 1033788 cpu_core_0 "7.000000000000001".
- 1034071 cpu_core_0 "7.000000000000001".
- 1034385 cpu_core_0 "7.000000000000001".
- 1034396 cpu_core_0 "7.000000000000001".
- 1034965 cpu_core_0 "7.000000000000001".
- 1035447 cpu_core_0 "7.000000000000001".
- 1035629 cpu_core_0 "7.000000000000001".
- 1036417 cpu_core_0 "7.000000000000001".
- 1036428 cpu_core_0 "7.000000000000001".
- 1036918 cpu_core_0 "7.000000000000001".
- 1038947 cpu_core_0 "7.000000000000001".
- 1039228 cpu_core_0 "7.000000000000001".
- 1039704 cpu_core_0 "7.000000000000001".
- 1039723 cpu_core_0 "7.000000000000001".
- 1040436 cpu_core_0 "7.000000000000001".
- 1042306 cpu_core_0 "7.000000000000001".
- 1043508 cpu_core_0 "7.000000000000001".
- 1044604 cpu_core_0 "7.000000000000001".
- 1044670 cpu_core_0 "7.000000000000001".
- 1045259 cpu_core_0 "7.000000000000001".
- 1045944 cpu_core_0 "7.000000000000001".
- 1046412 cpu_core_0 "7.000000000000001".
- 1047586 cpu_core_0 "7.000000000000001".
- 1047792 cpu_core_0 "7.000000000000001".
- 1048463 cpu_core_0 "7.000000000000001".
- 1048916 cpu_core_0 "7.000000000000001".
- 1049454 cpu_core_0 "7.000000000000001".
- 1049601 cpu_core_0 "7.000000000000001".
- 1049850 cpu_core_0 "7.000000000000001".
- 1049892 cpu_core_0 "7.000000000000001".
- 1050632 cpu_core_0 "7.000000000000001".
- 1051552 cpu_core_0 "7.000000000000001".
- 1053077 cpu_core_0 "7.000000000000001".
- 1053529 cpu_core_0 "7.000000000000001".
- 1054326 cpu_core_0 "7.000000000000001".
- 1054956 cpu_core_0 "7.000000000000001".
- 1055378 cpu_core_0 "7.000000000000001".
- 1056146 cpu_core_0 "7.000000000000001".
- 1056853 cpu_core_0 "7.000000000000001".
- 1057170 cpu_core_0 "7.000000000000001".
- 1057642 cpu_core_0 "7.000000000000001".
- 1058010 cpu_core_0 "7.000000000000001".
- 1059632 cpu_core_0 "7.000000000000001".
- 1059643 cpu_core_0 "7.000000000000001".
- 1060601 cpu_core_0 "7.000000000000001".
- 1060783 cpu_core_0 "7.000000000000001".
- 1062748 cpu_core_0 "7.000000000000001".
- 1063389 cpu_core_0 "7.000000000000001".
- 1063701 cpu_core_0 "7.000000000000001".
- 1065358 cpu_core_0 "7.000000000000001".
- 1065405 cpu_core_0 "7.000000000000001".
- 1065819 cpu_core_0 "7.000000000000001".
- 1066016 cpu_core_0 "7.000000000000001".
- 1066157 cpu_core_0 "7.000000000000001".
- 1066342 cpu_core_0 "7.000000000000001".
- 1066779 cpu_core_0 "7.000000000000001".
- 1067538 cpu_core_0 "7.000000000000001".
- 1067731 cpu_core_0 "7.000000000000001".
- 1067835 cpu_core_0 "7.000000000000001".
- 1068255 cpu_core_0 "7.000000000000001".
- 1068852 cpu_core_0 "7.000000000000001".