------------------------------------------------------------------------- -- Analysis results -- ------------------------------------------------------------------------- We have found 72 valid parameter set(s): parameter set 1: -p1 <= -0.1 p1 <= 100 p2 <= -0.9 -p3 <= -1 p3 <= 180 p4 <= 10 -p2 <= 24.4232 -p4 <= -7.6923 parameter set 2: -p1 <= -0.1 p1 <= 100 p2 <= -0.9 p3 <= 180 -p4 <= 0 -p2 <= 24.4232 p4 <= 7.6923 -p3 <= -166.6667 parameter set 3: -p1 <= -0.1 -p3 <= -1 p3 <= 180 p4 <= 10 -p2 <= 25.114 0.23726 p1 + 0.97145 p2 <= -23.7259 -p4 <= -7.6923 parameter set 4: -p1 <= -0.1 p3 <= 180 -p4 <= 0 -p2 <= 25.114 0.23726 p1 + 0.97145 p2 <= -23.7259 p4 <= 7.6923 -p3 <= -166.6667 parameter set 5: -p1 <= -0.1 -p3 <= -1 p3 <= 180 p4 <= 10 -p2 <= 25.114 0.22602 p1 + 0.97412 p2 <= -23.7912 -0.23726 p1 - 0.97145 p2 <= 23.7259 -p4 <= -7.6923 parameter set 6: -p1 <= -0.1 p3 <= 180 -p4 <= 0 -p2 <= 25.114 0.22602 p1 + 0.97412 p2 <= -23.7912 -0.23726 p1 - 0.97145 p2 <= 23.7259 p4 <= 7.6923 -p3 <= -166.6667 parameter set 7: -p1 <= -0.1 p1 <= 100 -p3 <= -1 p3 <= 180 p4 <= 10 -p2 <= 25.114 p2 <= -24.4232 -0.22602 p1 - 0.97412 p2 <= 23.7912 -p4 <= -7.6923 parameter set 8: -p1 <= -0.1 p1 <= 100 p3 <= 180 -p4 <= 0 -p2 <= 25.114 p2 <= -24.4232 -0.22602 p1 - 0.97412 p2 <= 23.7912 p4 <= 7.6923 -p3 <= -166.6667 parameter set 9: -p1 <= -0.1 -p3 <= -1 p3 <= 180 p4 <= 10 -p2 <= 25.763 0.24358 p1 + 0.96988 p2 <= -24.3576 -p4 <= -7.6923 parameter set 10: -p1 <= -0.1 p3 <= 180 -p4 <= 0 -p2 <= 25.763 0.24358 p1 + 0.96988 p2 <= -24.3576 p4 <= 7.6923 -p3 <= -166.6667 parameter set 11: -p1 <= -0.1 -p3 <= -1 p3 <= 180 p4 <= 10 -p2 <= 25.763 0.23207 p1 + 0.9727 p2 <= -24.4284 -0.24358 p1 - 0.96988 p2 <= 24.3576 -p4 <= -7.6923 parameter set 12: -p1 <= -0.1 p3 <= 180 -p4 <= 0 -p2 <= 25.763 0.23207 p1 + 0.9727 p2 <= -24.4284 -0.24358 p1 - 0.96988 p2 <= 24.3576 p4 <= 7.6923 -p3 <= -166.6667 parameter set 13: -p1 <= -0.1 -p3 <= -1 p3 <= 180 p4 <= 10 -p2 <= 25.763 p2 <= -25.114 0.23726 p1 + 0.97145 p2 <= -23.7259 -0.23207 p1 - 0.9727 p2 <= 24.4284 -p4 <= -7.6923 parameter set 14: -p1 <= -0.1 p3 <= 180 -p4 <= 0 -p2 <= 25.763 p2 <= -25.114 0.23726 p1 + 0.97145 p2 <= -23.7259 -0.23207 p1 - 0.9727 p2 <= 24.4284 p4 <= 7.6923 -p3 <= -166.6667 parameter set 15: -p3 <= -1 p3 <= 180 p4 <= 10 -p2 <= 25.763 p2 <= -25.114 0.22602 p1 + 0.97412 p2 <= -23.7912 -0.23726 p1 - 0.97145 p2 <= 23.7259 -p4 <= -7.6923 parameter set 16: p3 <= 180 -p4 <= 0 -p2 <= 25.763 p2 <= -25.114 0.22602 p1 + 0.97412 p2 <= -23.7912 -0.23726 p1 - 0.97145 p2 <= 23.7259 p4 <= 7.6923 -p3 <= -166.6667 parameter set 17: p1 <= 100 -p3 <= -1 p3 <= 180 p4 <= 10 -p2 <= 25.763 p2 <= -25.114 -0.22602 p1 - 0.97412 p2 <= 23.7912 -p4 <= -7.6923 parameter set 18: p1 <= 100 p3 <= 180 -p4 <= 0 -p2 <= 25.763 p2 <= -25.114 -0.22602 p1 - 0.97412 p2 <= 23.7912 p4 <= 7.6923 -p3 <= -166.6667 parameter set 19: -p1 <= -0.1 -p3 <= -1 p3 <= 180 p4 <= 10 -p2 <= 26.3681 0.24948 p1 + 0.96838 p2 <= -24.9483 -p4 <= -7.6923 parameter set 20: -p1 <= -0.1 p3 <= 180 -p4 <= 0 -p2 <= 26.3681 0.24948 p1 + 0.96838 p2 <= -24.9483 p4 <= 7.6923 -p3 <= -166.6667 parameter set 21: -p1 <= -0.1 -p3 <= -1 p3 <= 180 p4 <= 10 -p2 <= 26.3681 0.23773 p1 + 0.97133 p2 <= -25.0244 -0.24948 p1 - 0.96838 p2 <= 24.9483 -p4 <= -7.6923 parameter set 22: -p1 <= -0.1 p3 <= 180 -p4 <= 0 -p2 <= 26.3681 0.23773 p1 + 0.97133 p2 <= -25.0244 -0.24948 p1 - 0.96838 p2 <= 24.9483 p4 <= 7.6923 -p3 <= -166.6667 parameter set 23: -p1 <= -0.1 -p3 <= -1 p3 <= 180 p4 <= 10 p2 <= -25.763 -p2 <= 26.3681 0.24358 p1 + 0.96988 p2 <= -24.3576 -0.23773 p1 - 0.97133 p2 <= 25.0244 -p4 <= -7.6923 parameter set 24: -p1 <= -0.1 p3 <= 180 -p4 <= 0 p2 <= -25.763 -p2 <= 26.3681 0.24358 p1 + 0.96988 p2 <= -24.3576 -0.23773 p1 - 0.97133 p2 <= 25.0244 p4 <= 7.6923 -p3 <= -166.6667 parameter set 25: -p3 <= -1 p3 <= 180 p4 <= 10 p2 <= -25.763 -p2 <= 26.3681 0.23207 p1 + 0.9727 p2 <= -24.4284 -0.24358 p1 - 0.96988 p2 <= 24.3576 -p4 <= -7.6923 parameter set 26: p3 <= 180 -p4 <= 0 p2 <= -25.763 -p2 <= 26.3681 0.23207 p1 + 0.9727 p2 <= -24.4284 -0.24358 p1 - 0.96988 p2 <= 24.3576 p4 <= 7.6923 -p3 <= -166.6667 parameter set 27: -p3 <= -1 p3 <= 180 p4 <= 10 p2 <= -25.763 -p2 <= 26.3681 0.23726 p1 + 0.97145 p2 <= -23.7259 -0.23207 p1 - 0.9727 p2 <= 24.4284 -p4 <= -7.6923 parameter set 28: p3 <= 180 -p4 <= 0 p2 <= -25.763 -p2 <= 26.3681 0.23726 p1 + 0.97145 p2 <= -23.7259 -0.23207 p1 - 0.9727 p2 <= 24.4284 p4 <= 7.6923 -p3 <= -166.6667 parameter set 29: -p3 <= -1 p3 <= 180 p4 <= 10 p2 <= -25.763 -p2 <= 26.3681 0.22602 p1 + 0.97412 p2 <= -23.7912 -0.23726 p1 - 0.97145 p2 <= 23.7259 -p4 <= -7.6923 parameter set 30: p3 <= 180 -p4 <= 0 p2 <= -25.763 -p2 <= 26.3681 0.22602 p1 + 0.97412 p2 <= -23.7912 -0.23726 p1 - 0.97145 p2 <= 23.7259 p4 <= 7.6923 -p3 <= -166.6667 parameter set 31: p1 <= 100 -p3 <= -1 p3 <= 180 p4 <= 10 p2 <= -25.763 -p2 <= 26.3681 -0.22602 p1 - 0.97412 p2 <= 23.7912 -p4 <= -7.6923 parameter set 32: p1 <= 100 p3 <= 180 -p4 <= 0 p2 <= -25.763 -p2 <= 26.3681 -0.22602 p1 - 0.97412 p2 <= 23.7912 p4 <= 7.6923 -p3 <= -166.6667 parameter set 33: -p1 <= -0.1 -p3 <= -1 p3 <= 180 p4 <= 10 p2 <= -26.3681 -p2 <= 26.929 0.24948 p1 + 0.96838 p2 <= -24.9483 -p4 <= -7.6923 parameter set 34: -p1 <= -0.1 p3 <= 180 -p4 <= 0 -p2 <= 26.929 p4 <= 7.6923 0.25497 p1 + 0.96695 p2 <= -25.4967 -p3 <= -166.6667 parameter set 35: -p1 <= -0.1 -p3 <= -1 -p4 <= 0 -p2 <= 26.929 p4 <= 7.6923 p3 <= 166.6667 0.99916 p1 + 0.04091 p2 <= -0.99916 parameter set 36: -p1 <= -0.1 p3 <= 180 -p4 <= 0 -p2 <= 26.929 p4 <= 7.6923 0.24299 p1 + 0.97003 p2 <= -25.5778 -0.25497 p1 - 0.96695 p2 <= 25.4967 -p3 <= -166.6667 parameter set 37: -p1 <= -0.1 p3 <= 180 -p4 <= 0 p2 <= -26.3681 -p2 <= 26.929 0.24948 p1 + 0.96838 p2 <= -24.9483 p4 <= 7.6923 -0.24299 p1 - 0.97003 p2 <= 25.5778 -p3 <= -166.6667 parameter set 38: -p3 <= -1 p3 <= 180 p4 <= 10 p2 <= -26.3681 -p2 <= 26.929 0.23773 p1 + 0.97133 p2 <= -25.0244 -0.24948 p1 - 0.96838 p2 <= 24.9483 -p4 <= -7.6923 parameter set 39: p3 <= 180 -p4 <= 0 p2 <= -26.3681 -p2 <= 26.929 0.23773 p1 + 0.97133 p2 <= -25.0244 -0.24948 p1 - 0.96838 p2 <= 24.9483 p4 <= 7.6923 -p3 <= -166.6667 parameter set 40: -p3 <= -1 p3 <= 180 p4 <= 10 p2 <= -26.3681 -p2 <= 26.929 0.24358 p1 + 0.96988 p2 <= -24.3576 -0.23773 p1 - 0.97133 p2 <= 25.0244 -p4 <= -7.6923 parameter set 41: p3 <= 180 -p4 <= 0 p2 <= -26.3681 -p2 <= 26.929 0.24358 p1 + 0.96988 p2 <= -24.3576 -0.23773 p1 - 0.97133 p2 <= 25.0244 p4 <= 7.6923 -p3 <= -166.6667 parameter set 42: -p3 <= -1 p3 <= 180 p4 <= 10 p2 <= -26.3681 -p2 <= 26.929 0.23207 p1 + 0.9727 p2 <= -24.4284 -0.24358 p1 - 0.96988 p2 <= 24.3576 -p4 <= -7.6923 parameter set 43: p3 <= 180 -p4 <= 0 p2 <= -26.3681 -p2 <= 26.929 0.23207 p1 + 0.9727 p2 <= -24.4284 -0.24358 p1 - 0.96988 p2 <= 24.3576 p4 <= 7.6923 -p3 <= -166.6667 parameter set 44: -p3 <= -1 p3 <= 180 p4 <= 10 p2 <= -26.3681 -p2 <= 26.929 0.23726 p1 + 0.97145 p2 <= -23.7259 -0.23207 p1 - 0.9727 p2 <= 24.4284 -p4 <= -7.6923 parameter set 45: p3 <= 180 -p4 <= 0 p2 <= -26.3681 -p2 <= 26.929 0.23726 p1 + 0.97145 p2 <= -23.7259 -0.23207 p1 - 0.9727 p2 <= 24.4284 p4 <= 7.6923 -p3 <= -166.6667 parameter set 46: -p3 <= -1 p3 <= 180 p4 <= 10 p2 <= -26.3681 -p2 <= 26.929 0.22602 p1 + 0.97412 p2 <= -23.7912 -0.23726 p1 - 0.97145 p2 <= 23.7259 -p4 <= -7.6923 parameter set 47: p3 <= 180 -p4 <= 0 p2 <= -26.3681 -p2 <= 26.929 0.22602 p1 + 0.97412 p2 <= -23.7912 -0.23726 p1 - 0.97145 p2 <= 23.7259 p4 <= 7.6923 -p3 <= -166.6667 parameter set 48: p1 <= 100 -p3 <= -1 p3 <= 180 p4 <= 10 p2 <= -26.3681 -p2 <= 26.929 -0.22602 p1 - 0.97412 p2 <= 23.7912 -p4 <= -7.6923 parameter set 49: p1 <= 100 p3 <= 180 -p4 <= 0 p2 <= -26.3681 -p2 <= 26.929 -0.22602 p1 - 0.97412 p2 <= 23.7912 p4 <= 7.6923 -p3 <= -166.6667 parameter set 50: -p1 <= -0.1 -p2 <= 50 -p3 <= -1 p3 <= 180 p4 <= 10 p2 <= -26.929 0.24948 p1 + 0.96838 p2 <= -24.9483 -p4 <= -7.6923 parameter set 51: -p1 <= -0.1 -p2 <= 50 p3 <= 180 -p4 <= 0 p4 <= 7.6923 0.26003 p1 + 0.9656 p2 <= -26.0026 -p3 <= -166.6667 parameter set 52: -p1 <= -0.1 -p2 <= 50 -p3 <= -1 -p4 <= 0 p4 <= 7.6923 0.26003 p1 + 0.9656 p2 <= -26.0026 p3 <= 166.6667 0.99916 p1 + 0.04091 p2 <= -0.99916 parameter set 53: -p1 <= -0.1 -p2 <= 50 p3 <= 180 -p4 <= 0 p4 <= 7.6923 0.25497 p1 + 0.96695 p2 <= -25.4967 0.24784 p1 + 0.9688 p2 <= -26.0888 -0.26003 p1 - 0.9656 p2 <= 26.0026 -p3 <= -166.6667 parameter set 54: -p1 <= -0.1 -p3 <= -1 -p4 <= 0 p4 <= 7.6923 0.24784 p1 + 0.9688 p2 <= -26.0888 -0.26003 p1 - 0.9656 p2 <= 26.0026 p3 <= 166.6667 0.99916 p1 + 0.04091 p2 <= -0.99916 parameter set 55: -p1 <= -0.1 p3 <= 180 -p4 <= 0 p2 <= -26.929 p4 <= 7.6923 0.25497 p1 + 0.96695 p2 <= -25.4967 -0.24784 p1 - 0.9688 p2 <= 26.0888 -p3 <= -166.6667 parameter set 56: -p1 <= -0.1 -p3 <= -1 -p4 <= 0 p2 <= -26.929 p4 <= 7.6923 -0.24784 p1 - 0.9688 p2 <= 26.0888 p3 <= 166.6667 0.99916 p1 + 0.04091 p2 <= -0.99916 parameter set 57: -p2 <= 50 p3 <= 180 -p4 <= 0 p4 <= 7.6923 -0.25497 p1 - 0.96695 p2 <= 25.4967 0.24784 p1 + 0.9688 p2 <= -26.0888 -p3 <= -166.6667 parameter set 58: -p2 <= 50 p3 <= 180 -p4 <= 0 p2 <= -26.929 0.24948 p1 + 0.96838 p2 <= -24.9483 p4 <= 7.6923 0.24299 p1 + 0.97003 p2 <= -25.5778 -0.25497 p1 - 0.96695 p2 <= 25.4967 -0.24784 p1 - 0.9688 p2 <= 26.0888 -p3 <= -166.6667 parameter set 59: p3 <= 180 -p4 <= 0 p2 <= -26.929 0.24948 p1 + 0.96838 p2 <= -24.9483 p4 <= 7.6923 -0.24299 p1 - 0.97003 p2 <= 25.5778 -p3 <= -166.6667 parameter set 60: -p2 <= 50 -p3 <= -1 p3 <= 180 p4 <= 10 p2 <= -26.929 0.23773 p1 + 0.97133 p2 <= -25.0244 -0.24948 p1 - 0.96838 p2 <= 24.9483 -p4 <= -7.6923 parameter set 61: -p2 <= 50 p3 <= 180 -p4 <= 0 -0.24948 p1 - 0.96838 p2 <= 24.9483 p4 <= 7.6923 0.24299 p1 + 0.97003 p2 <= -25.5778 -p3 <= -166.6667 parameter set 62: -p2 <= 50 p3 <= 180 -p4 <= 0 p2 <= -26.929 0.23773 p1 + 0.97133 p2 <= -25.0244 -0.24948 p1 - 0.96838 p2 <= 24.9483 p4 <= 7.6923 -0.24299 p1 - 0.97003 p2 <= 25.5778 -p3 <= -166.6667 parameter set 63: -p2 <= 50 -p3 <= -1 p3 <= 180 p4 <= 10 p2 <= -26.929 0.24358 p1 + 0.96988 p2 <= -24.3576 -0.23773 p1 - 0.97133 p2 <= 25.0244 -p4 <= -7.6923 parameter set 64: -p2 <= 50 p3 <= 180 -p4 <= 0 p2 <= -26.929 0.24358 p1 + 0.96988 p2 <= -24.3576 -0.23773 p1 - 0.97133 p2 <= 25.0244 p4 <= 7.6923 -p3 <= -166.6667 parameter set 65: p1 <= 100 -p2 <= 50 -p3 <= -1 p3 <= 180 p4 <= 10 p2 <= -26.929 0.23207 p1 + 0.9727 p2 <= -24.4284 -0.24358 p1 - 0.96988 p2 <= 24.3576 -p4 <= -7.6923 parameter set 66: p1 <= 100 -p2 <= 50 p3 <= 180 -p4 <= 0 p2 <= -26.929 0.23207 p1 + 0.9727 p2 <= -24.4284 -0.24358 p1 - 0.96988 p2 <= 24.3576 p4 <= 7.6923 -p3 <= -166.6667 parameter set 67: p1 <= 100 -p3 <= -1 p3 <= 180 p4 <= 10 p2 <= -26.929 0.23726 p1 + 0.97145 p2 <= -23.7259 -0.23207 p1 - 0.9727 p2 <= 24.4284 -p4 <= -7.6923 parameter set 68: p1 <= 100 p3 <= 180 -p4 <= 0 p2 <= -26.929 0.23726 p1 + 0.97145 p2 <= -23.7259 -0.23207 p1 - 0.9727 p2 <= 24.4284 p4 <= 7.6923 -p3 <= -166.6667 parameter set 69: p1 <= 100 -p3 <= -1 p3 <= 180 p4 <= 10 p2 <= -26.929 0.22602 p1 + 0.97412 p2 <= -23.7912 -0.23726 p1 - 0.97145 p2 <= 23.7259 -p4 <= -7.6923 parameter set 70: p1 <= 100 p3 <= 180 -p4 <= 0 p2 <= -26.929 0.22602 p1 + 0.97412 p2 <= -23.7912 -0.23726 p1 - 0.97145 p2 <= 23.7259 p4 <= 7.6923 -p3 <= -166.6667 parameter set 71: p1 <= 100 -p3 <= -1 p3 <= 180 p4 <= 10 p2 <= -26.929 -0.22602 p1 - 0.97412 p2 <= 23.7912 -p4 <= -7.6923 parameter set 72: p1 <= 100 p3 <= 180 -p4 <= 0 p2 <= -26.929 -0.22602 p1 - 0.97412 p2 <= 23.7912 p4 <= 7.6923 -p3 <= -166.6667 Computation time: 352.237 secs