Matches in ISWC2014 Benchmark for { ?s ?p 59.00000000000001. }
- 1000524 cpu_core_0 "59.00000000000001".
- 1000819 cpu_core_0 "59.00000000000001".
- 1001141 cpu_core_0 "59.00000000000001".
- 1001419 cpu_core_0 "59.00000000000001".
- 1001601 cpu_core_0 "59.00000000000001".
- 1001639 cpu_core_0 "59.00000000000001".
- 1001811 cpu_core_0 "59.00000000000001".
- 1002118 cpu_core_0 "59.00000000000001".
- 1002153 cpu_core_0 "59.00000000000001".
- 1002215 cpu_core_0 "59.00000000000001".
- 1002429 cpu_core_0 "59.00000000000001".
- 1002449 cpu_core_0 "59.00000000000001".
- 1002637 cpu_core_0 "59.00000000000001".
- 1002664 cpu_core_0 "59.00000000000001".
- 1002680 cpu_core_0 "59.00000000000001".
- 1002809 cpu_core_0 "59.00000000000001".
- 1003599 cpu_core_0 "59.00000000000001".
- 1003971 cpu_core_0 "59.00000000000001".
- 1004126 cpu_core_0 "59.00000000000001".
- 1004271 cpu_core_0 "59.00000000000001".
- 1004421 cpu_core_0 "59.00000000000001".
- 1004514 cpu_core_0 "59.00000000000001".
- 1004567 cpu_core_0 "59.00000000000001".
- 1004805 cpu_core_0 "59.00000000000001".
- 1004895 cpu_core_0 "59.00000000000001".
- 1005223 cpu_core_0 "59.00000000000001".
- 1005286 cpu_core_0 "59.00000000000001".
- 1005523 cpu_core_0 "59.00000000000001".
- 1005548 cpu_core_0 "59.00000000000001".
- 1005912 cpu_core_0 "59.00000000000001".
- 1005945 cpu_core_0 "59.00000000000001".
- 1006150 cpu_core_0 "59.00000000000001".
- 1006192 cpu_core_0 "59.00000000000001".
- 1006255 cpu_core_0 "59.00000000000001".
- 1006395 cpu_core_0 "59.00000000000001".
- 1006518 cpu_core_0 "59.00000000000001".
- 1006640 cpu_core_0 "59.00000000000001".
- 1006673 cpu_core_0 "59.00000000000001".
- 1006762 cpu_core_0 "59.00000000000001".
- 1006998 cpu_core_0 "59.00000000000001".
- 1007016 cpu_core_0 "59.00000000000001".
- 1007137 cpu_core_0 "59.00000000000001".
- 1007172 cpu_core_0 "59.00000000000001".
- 1007318 cpu_core_0 "59.00000000000001".
- 1007347 cpu_core_0 "59.00000000000001".
- 1007377 cpu_core_0 "59.00000000000001".
- 1007425 cpu_core_0 "59.00000000000001".
- 1008251 cpu_core_0 "59.00000000000001".
- 1008481 cpu_core_0 "59.00000000000001".
- 1008645 cpu_core_0 "59.00000000000001".
- 1008730 cpu_core_0 "59.00000000000001".
- 1008734 cpu_core_0 "59.00000000000001".
- 1008922 cpu_core_0 "59.00000000000001".
- 1009003 cpu_core_0 "59.00000000000001".
- 1009027 cpu_core_0 "59.00000000000001".
- 1009050 cpu_core_0 "59.00000000000001".
- 1009390 cpu_core_0 "59.00000000000001".
- 1009491 cpu_core_0 "59.00000000000001".
- 1009896 cpu_core_0 "59.00000000000001".
- 1010701 cpu_core_0 "59.00000000000001".
- 1010815 cpu_core_0 "59.00000000000001".
- 1013701 cpu_core_0 "59.00000000000001".
- 1013822 cpu_core_0 "59.00000000000001".
- 1013872 cpu_core_0 "59.00000000000001".
- 1013890 cpu_core_0 "59.00000000000001".
- 1013950 cpu_core_0 "59.00000000000001".
- 1013996 cpu_core_0 "59.00000000000001".
- 1014176 cpu_core_0 "59.00000000000001".
- 1014220 cpu_core_0 "59.00000000000001".
- 1014256 cpu_core_0 "59.00000000000001".
- 1014306 cpu_core_0 "59.00000000000001".
- 1014365 cpu_core_0 "59.00000000000001".
- 1014486 cpu_core_0 "59.00000000000001".
- 1014751 cpu_core_0 "59.00000000000001".
- 1014778 cpu_core_0 "59.00000000000001".
- 1015252 cpu_core_0 "59.00000000000001".
- 1016750 cpu_core_0 "59.00000000000001".
- 1019793 cpu_core_0 "59.00000000000001".
- 1020824 cpu_core_0 "59.00000000000001".
- 1022659 cpu_core_0 "59.00000000000001".
- 1026889 cpu_core_0 "59.00000000000001".
- 1026949 cpu_core_0 "59.00000000000001".
- 1055728 cpu_core_0 "59.00000000000001".
- 1055772 cpu_core_0 "59.00000000000001".
- 1060829 cpu_core_0 "59.00000000000001".
- 1061081 cpu_core_0 "59.00000000000001".
- 1061210 cpu_core_0 "59.00000000000001".
- 1072819 cpu_core_0 "59.00000000000001".
- 1078128 cpu_core_0 "59.00000000000001".
- 1081051 cpu_core_0 "59.00000000000001".
- 1101832 cpu_core_0 "59.00000000000001".
- 1101864 cpu_core_0 "59.00000000000001".
- 1113495 cpu_core_0 "59.00000000000001".
- 1113681 cpu_core_0 "59.00000000000001".
- 1132997 cpu_core_0 "59.00000000000001".
- 1134455 cpu_core_0 "59.00000000000001".
- 1150012 cpu_core_0 "59.00000000000001".
- 1150620 cpu_core_0 "59.00000000000001".
- 1154185 cpu_core_0 "59.00000000000001".
- 1171851 cpu_core_0 "59.00000000000001".