Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1110862 cpu_core_0 "13.999999999999998".
- 1111091 cpu_core_0 "13.999999999999998".
- 1111187 cpu_core_0 "13.999999999999998".
- 1111238 cpu_core_0 "13.999999999999998".
- 1111438 cpu_core_0 "13.999999999999998".
- 1111477 cpu_core_0 "13.999999999999998".
- 1111488 cpu_core_0 "13.999999999999998".
- 1111608 cpu_core_0 "13.999999999999998".
- 1111640 cpu_core_0 "13.999999999999998".
- 1111674 cpu_core_0 "13.999999999999998".
- 1111757 cpu_core_0 "13.999999999999998".
- 1111789 cpu_core_0 "13.999999999999998".
- 1111801 cpu_core_0 "13.999999999999998".
- 1111961 cpu_core_0 "13.999999999999998".
- 1111962 cpu_core_0 "13.999999999999998".
- 1112160 cpu_core_0 "13.999999999999998".
- 1112187 cpu_core_0 "13.999999999999998".
- 1112261 cpu_core_0 "13.999999999999998".
- 1112269 cpu_core_0 "13.999999999999998".
- 1112361 cpu_core_0 "13.999999999999998".
- 1112381 cpu_core_0 "13.999999999999998".
- 1112422 cpu_core_0 "13.999999999999998".
- 1112459 cpu_core_0 "13.999999999999998".
- 1112479 cpu_core_0 "13.999999999999998".
- 1112510 cpu_core_0 "13.999999999999998".
- 1112527 cpu_core_0 "13.999999999999998".
- 1112541 cpu_core_0 "13.999999999999998".
- 1112628 cpu_core_0 "13.999999999999998".
- 1112630 cpu_core_0 "13.999999999999998".
- 1112712 cpu_core_0 "13.999999999999998".
- 1112815 cpu_core_0 "13.999999999999998".
- 1112884 cpu_core_0 "13.999999999999998".
- 1112897 cpu_core_0 "13.999999999999998".
- 1112901 cpu_core_0 "13.999999999999998".
- 1112944 cpu_core_0 "13.999999999999998".
- 1113050 cpu_core_0 "13.999999999999998".
- 1113151 cpu_core_0 "13.999999999999998".
- 1113155 cpu_core_0 "13.999999999999998".
- 1113158 cpu_core_0 "13.999999999999998".
- 1113190 cpu_core_0 "13.999999999999998".
- 1113237 cpu_core_0 "13.999999999999998".
- 1113385 cpu_core_0 "13.999999999999998".
- 1113441 cpu_core_0 "13.999999999999998".
- 1113832 cpu_core_0 "13.999999999999998".
- 1113848 cpu_core_0 "13.999999999999998".
- 1113883 cpu_core_0 "13.999999999999998".
- 1113956 cpu_core_0 "13.999999999999998".
- 1113979 cpu_core_0 "13.999999999999998".
- 1114029 cpu_core_0 "13.999999999999998".
- 1114089 cpu_core_0 "13.999999999999998".
- 1114102 cpu_core_0 "13.999999999999998".
- 1114193 cpu_core_0 "13.999999999999998".
- 1114253 cpu_core_0 "13.999999999999998".
- 1114263 cpu_core_0 "13.999999999999998".
- 1114275 cpu_core_0 "13.999999999999998".
- 1114342 cpu_core_0 "13.999999999999998".
- 1114366 cpu_core_0 "13.999999999999998".
- 1114496 cpu_core_0 "13.999999999999998".
- 1114522 cpu_core_0 "13.999999999999998".
- 1114863 cpu_core_0 "13.999999999999998".
- 1115004 cpu_core_0 "13.999999999999998".
- 1115059 cpu_core_0 "13.999999999999998".
- 1115108 cpu_core_0 "13.999999999999998".
- 1115273 cpu_core_0 "13.999999999999998".
- 1115340 cpu_core_0 "13.999999999999998".
- 1115351 cpu_core_0 "13.999999999999998".
- 1115402 cpu_core_0 "13.999999999999998".
- 1115619 cpu_core_0 "13.999999999999998".
- 1115684 cpu_core_0 "13.999999999999998".
- 1115696 cpu_core_0 "13.999999999999998".
- 1115737 cpu_core_0 "13.999999999999998".
- 1115754 cpu_core_0 "13.999999999999998".
- 1115763 cpu_core_0 "13.999999999999998".
- 1115769 cpu_core_0 "13.999999999999998".
- 1115779 cpu_core_0 "13.999999999999998".
- 1115813 cpu_core_0 "13.999999999999998".
- 1115817 cpu_core_0 "13.999999999999998".
- 1115827 cpu_core_0 "13.999999999999998".
- 1115876 cpu_core_0 "13.999999999999998".
- 1115969 cpu_core_0 "13.999999999999998".
- 1115983 cpu_core_0 "13.999999999999998".
- 1116022 cpu_core_0 "13.999999999999998".
- 1116077 cpu_core_0 "13.999999999999998".
- 1116098 cpu_core_0 "13.999999999999998".
- 1116108 cpu_core_0 "13.999999999999998".
- 1116118 cpu_core_0 "13.999999999999998".
- 1116126 cpu_core_0 "13.999999999999998".
- 1116315 cpu_core_0 "13.999999999999998".
- 1116365 cpu_core_0 "13.999999999999998".
- 1116461 cpu_core_0 "13.999999999999998".
- 1116539 cpu_core_0 "13.999999999999998".
- 1116698 cpu_core_0 "13.999999999999998".
- 1116803 cpu_core_0 "13.999999999999998".
- 1116811 cpu_core_0 "13.999999999999998".
- 1116822 cpu_core_0 "13.999999999999998".
- 1116857 cpu_core_0 "13.999999999999998".
- 1116884 cpu_core_0 "13.999999999999998".
- 1116890 cpu_core_0 "13.999999999999998".
- 1116908 cpu_core_0 "13.999999999999998".
- 1117012 cpu_core_0 "13.999999999999998".