Matches in ISWC2014 Benchmark for { ?s ?p 14.000000000000002. }
- 1410393 cpu_core_0 "14.000000000000002".
- 1410407 cpu_core_0 "14.000000000000002".
- 1410520 cpu_core_0 "14.000000000000002".
- 1410580 cpu_core_0 "14.000000000000002".
- 1410585 cpu_core_0 "14.000000000000002".
- 1410679 cpu_core_0 "14.000000000000002".
- 1410741 cpu_core_0 "14.000000000000002".
- 1410822 cpu_core_0 "14.000000000000002".
- 1411061 cpu_core_0 "14.000000000000002".
- 1411176 cpu_core_0 "14.000000000000002".
- 1411208 cpu_core_0 "14.000000000000002".
- 1411414 cpu_core_0 "14.000000000000002".
- 1411663 cpu_core_0 "14.000000000000002".
- 1411725 cpu_core_0 "14.000000000000002".
- 1411778 cpu_core_0 "14.000000000000002".
- 1411827 cpu_core_0 "14.000000000000002".
- 1411917 cpu_core_0 "14.000000000000002".
- 1412162 cpu_core_0 "14.000000000000002".
- 1412257 cpu_core_0 "14.000000000000002".
- 1412274 cpu_core_0 "14.000000000000002".
- 1412371 cpu_core_0 "14.000000000000002".
- 1412748 cpu_core_0 "14.000000000000002".
- 1413338 cpu_core_0 "14.000000000000002".
- 1413350 cpu_core_0 "14.000000000000002".
- 1413611 cpu_core_0 "14.000000000000002".
- 1413955 cpu_core_0 "14.000000000000002".
- 1414079 cpu_core_0 "14.000000000000002".
- 1415039 cpu_core_0 "14.000000000000002".
- 1415130 cpu_core_0 "14.000000000000002".
- 1415376 cpu_core_0 "14.000000000000002".
- 1416054 cpu_core_0 "14.000000000000002".
- 1416236 cpu_core_0 "14.000000000000002".
- 1416435 cpu_core_0 "14.000000000000002".
- 1416525 cpu_core_0 "14.000000000000002".
- 1417037 cpu_core_0 "14.000000000000002".
- 1417428 cpu_core_0 "14.000000000000002".
- 1419010 cpu_core_0 "14.000000000000002".
- 1419191 cpu_core_0 "14.000000000000002".
- 1419622 cpu_core_0 "14.000000000000002".
- 1419823 cpu_core_0 "14.000000000000002".
- 1420918 cpu_core_0 "14.000000000000002".
- 1421484 cpu_core_0 "14.000000000000002".
- 1421664 cpu_core_0 "14.000000000000002".
- 1421773 cpu_core_0 "14.000000000000002".
- 1421856 cpu_core_0 "14.000000000000002".
- 1422137 cpu_core_0 "14.000000000000002".
- 1422256 cpu_core_0 "14.000000000000002".
- 1422283 cpu_core_0 "14.000000000000002".
- 1422416 cpu_core_0 "14.000000000000002".
- 1423103 cpu_core_0 "14.000000000000002".
- 1423250 cpu_core_0 "14.000000000000002".
- 1423252 cpu_core_0 "14.000000000000002".
- 1423715 cpu_core_0 "14.000000000000002".
- 1424012 cpu_core_0 "14.000000000000002".
- 1424032 cpu_core_0 "14.000000000000002".
- 1424175 cpu_core_0 "14.000000000000002".
- 1424359 cpu_core_0 "14.000000000000002".
- 1424418 cpu_core_0 "14.000000000000002".
- 1424965 cpu_core_0 "14.000000000000002".
- 1425317 cpu_core_0 "14.000000000000002".
- 1426119 cpu_core_0 "14.000000000000002".
- 1426652 cpu_core_0 "14.000000000000002".
- 1426814 cpu_core_0 "14.000000000000002".
- 1427269 cpu_core_0 "14.000000000000002".
- 1427300 cpu_core_0 "14.000000000000002".
- 1427391 cpu_core_0 "14.000000000000002".
- 1427537 cpu_core_0 "14.000000000000002".
- 1427684 cpu_core_0 "14.000000000000002".
- 1427773 cpu_core_0 "14.000000000000002".
- 1428157 cpu_core_0 "14.000000000000002".
- 1428584 cpu_core_0 "14.000000000000002".
- 1428956 cpu_core_0 "14.000000000000002".
- 1429039 cpu_core_0 "14.000000000000002".
- 1429062 cpu_core_0 "14.000000000000002".
- 1429338 cpu_core_0 "14.000000000000002".
- 1429651 cpu_core_0 "14.000000000000002".
- 1429755 cpu_core_0 "14.000000000000002".
- 1430579 cpu_core_0 "14.000000000000002".
- 1430621 cpu_core_0 "14.000000000000002".
- 1431019 cpu_core_0 "14.000000000000002".
- 1431496 cpu_core_0 "14.000000000000002".
- 1432489 cpu_core_0 "14.000000000000002".
- 1432550 cpu_core_0 "14.000000000000002".
- 1432857 cpu_core_0 "14.000000000000002".
- 1432912 cpu_core_0 "14.000000000000002".
- 1433212 cpu_core_0 "14.000000000000002".
- 1433325 cpu_core_0 "14.000000000000002".
- 1433391 cpu_core_0 "14.000000000000002".
- 1433449 cpu_core_0 "14.000000000000002".
- 1433798 cpu_core_0 "14.000000000000002".
- 1433861 cpu_core_0 "14.000000000000002".
- 1434059 cpu_core_0 "14.000000000000002".
- 1434342 cpu_core_0 "14.000000000000002".
- 1435256 cpu_core_0 "14.000000000000002".
- 1435612 cpu_core_0 "14.000000000000002".
- 1435689 cpu_core_0 "14.000000000000002".
- 1435935 cpu_core_0 "14.000000000000002".
- 1437709 cpu_core_0 "14.000000000000002".
- 1437988 cpu_core_0 "14.000000000000002".
- 1438725 cpu_core_0 "14.000000000000002".