Matches in ISWC2014 Benchmark for { ?s ?p 57.00000000000001. }
- 1000405 cpu_core_0 "57.00000000000001".
- 1000954 cpu_core_0 "57.00000000000001".
- 1001190 cpu_core_0 "57.00000000000001".
- 1001899 cpu_core_0 "57.00000000000001".
- 1002384 cpu_core_0 "57.00000000000001".
- 1002418 cpu_core_0 "57.00000000000001".
- 1002557 cpu_core_0 "57.00000000000001".
- 1002568 cpu_core_0 "57.00000000000001".
- 1002933 cpu_core_0 "57.00000000000001".
- 1003396 cpu_core_0 "57.00000000000001".
- 1003519 cpu_core_0 "57.00000000000001".
- 1003530 cpu_core_0 "57.00000000000001".
- 1003629 cpu_core_0 "57.00000000000001".
- 1003718 cpu_core_0 "57.00000000000001".
- 1004222 cpu_core_0 "57.00000000000001".
- 1004267 cpu_core_0 "57.00000000000001".
- 1004531 cpu_core_0 "57.00000000000001".
- 1004600 cpu_core_0 "57.00000000000001".
- 1004920 cpu_core_0 "57.00000000000001".
- 1005193 cpu_core_0 "57.00000000000001".
- 1005430 cpu_core_0 "57.00000000000001".
- 1005457 cpu_core_0 "57.00000000000001".
- 1005496 cpu_core_0 "57.00000000000001".
- 1005871 cpu_core_0 "57.00000000000001".
- 1006125 cpu_core_0 "57.00000000000001".
- 1006469 cpu_core_0 "57.00000000000001".
- 1006497 cpu_core_0 "57.00000000000001".
- 1006553 cpu_core_0 "57.00000000000001".
- 1006578 cpu_core_0 "57.00000000000001".
- 1007590 cpu_core_0 "57.00000000000001".
- 1007658 cpu_core_0 "57.00000000000001".
- 1007934 cpu_core_0 "57.00000000000001".
- 1008057 cpu_core_0 "57.00000000000001".
- 1008131 cpu_core_0 "57.00000000000001".
- 1008322 cpu_core_0 "57.00000000000001".
- 1008351 cpu_core_0 "57.00000000000001".
- 1008489 cpu_core_0 "57.00000000000001".
- 1009031 cpu_core_0 "57.00000000000001".
- 1009126 cpu_core_0 "57.00000000000001".
- 1009303 cpu_core_0 "57.00000000000001".
- 1009321 cpu_core_0 "57.00000000000001".
- 1009375 cpu_core_0 "57.00000000000001".
- 1009557 cpu_core_0 "57.00000000000001".
- 1009660 cpu_core_0 "57.00000000000001".
- 1010188 cpu_core_0 "57.00000000000001".
- 1010559 cpu_core_0 "57.00000000000001".
- 1010792 cpu_core_0 "57.00000000000001".
- 1013583 cpu_core_0 "57.00000000000001".
- 1013605 cpu_core_0 "57.00000000000001".
- 1013774 cpu_core_0 "57.00000000000001".
- 1013866 cpu_core_0 "57.00000000000001".
- 1014417 cpu_core_0 "57.00000000000001".
- 1014430 cpu_core_0 "57.00000000000001".
- 1014648 cpu_core_0 "57.00000000000001".
- 1014933 cpu_core_0 "57.00000000000001".
- 1015550 cpu_core_0 "57.00000000000001".
- 1015573 cpu_core_0 "57.00000000000001".
- 1017330 cpu_core_0 "57.00000000000001".
- 1020646 cpu_core_0 "57.00000000000001".
- 1020794 cpu_core_0 "57.00000000000001".
- 1023275 cpu_core_0 "57.00000000000001".
- 1026854 cpu_core_0 "57.00000000000001".
- 1026907 cpu_core_0 "57.00000000000001".
- 1030907 cpu_core_0 "57.00000000000001".
- 1030956 cpu_core_0 "57.00000000000001".
- 1044213 cpu_core_0 "57.00000000000001".
- 1044328 cpu_core_0 "57.00000000000001".
- 1063125 cpu_core_0 "57.00000000000001".
- 1066606 cpu_core_0 "57.00000000000001".
- 1072795 cpu_core_0 "57.00000000000001".
- 1081106 cpu_core_0 "57.00000000000001".
- 1088034 cpu_core_0 "57.00000000000001".
- 1088110 cpu_core_0 "57.00000000000001".
- 1090160 cpu_core_0 "57.00000000000001".
- 1101760 cpu_core_0 "57.00000000000001".
- 1101817 cpu_core_0 "57.00000000000001".
- 1113751 cpu_core_0 "57.00000000000001".
- 1125024 cpu_core_0 "57.00000000000001".
- 1125048 cpu_core_0 "57.00000000000001".
- 1148639 cpu_core_0 "57.00000000000001".
- 1148661 cpu_core_0 "57.00000000000001".
- 1154140 cpu_core_0 "57.00000000000001".
- 1154153 cpu_core_0 "57.00000000000001".
- 1154177 cpu_core_0 "57.00000000000001".
- 1158043 cpu_core_0 "57.00000000000001".
- 1159844 cpu_core_0 "57.00000000000001".
- 1162637 cpu_core_0 "57.00000000000001".
- 1175808 cpu_core_0 "57.00000000000001".
- 1177610 cpu_core_0 "57.00000000000001".
- 1177676 cpu_core_0 "57.00000000000001".
- 1177681 cpu_core_0 "57.00000000000001".
- 1177774 cpu_core_0 "57.00000000000001".
- 1183438 cpu_core_0 "57.00000000000001".
- 1189340 cpu_core_0 "57.00000000000001".
- 1189372 cpu_core_0 "57.00000000000001".
- 1192388 cpu_core_0 "57.00000000000001".
- 1201102 cpu_core_0 "57.00000000000001".
- 1207257 cpu_core_0 "57.00000000000001".
- 1207274 cpu_core_0 "57.00000000000001".
- 1213319 cpu_core_0 "57.00000000000001".