::VERICOMP
Problems
Solvers
Recommend
External links
Documentation
Register
Seems like you are using
NoScript
. Please keep in mind, that most features of this website rely on JavaScript.
Plot individual solutions
A1 DETEST
A2 DETEST
A3 DETEST
A4 DETEST
A5 DETEST
ARCH Benchmark 1
B1 DETEST
B2 DETEST
B3 DETEST
B4 DETEST
B5 DETEST
Bachman's Example
C1 DETEST
C2 DETEST
C3 DETEST
C4 DETEST
C5 DETEST
Class D DETEST
Damped vibrations
Double Pendulum
E1 DETEST
E2 DETEST
E3 DETEST
E4 DETEST
E5 DETEST
Harmonic Oscillator 1
Harmonic Oscillator 2
Lambert 1
Lambert 2
Lorenz 1 (Classic Form)
Lorenz 2 (Jordan NF)
Lotka-Volterra
Nonlinear Degree 3
Nonlinear Degree 4
Oil reservoir problem
Orbit Equations
Simple Linear 1
Simple Linear 2
Simple Nonlinear 1
Simple Nonlinear 2
Simple Nonlinear 3
Simple Stiff 1
Simplified ASM1
The Roessler Attractor
Two Compartment Model
68
69
30
31
117
125
45
115
76
109
110
111
112
113
73
104
105
36
37
26
27
83
24
25
64
65
124
50
51
74
43
44
126
127
128
129
28
29
62
63
86
87
88
89
90
91
92
16
17
14
108
18
19
32
33
52
53
34
35
75
114
54
55
38
39
48
49
8
85
66
67
120
22
23
98
99
100
101
102
103
130
131
77
106
107
116
132
78
93
118
119
56
57
1
2
9
70
71
81
82
46
47
12
13
58
59
15
84
121
122
123
60
61
10
11
VNODE-LP
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '10', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '15', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '20', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
{'method': 'HOE', 'order': '5', 'abs. tolerance': '1e-12', 'rel. tolerance': '1e-12', 'min. stepsize': '1e-05'}
DynIbex
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '1'}
{'arithmetic': 'Interval', 'method': '9', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '11', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '1'}
{'arithmetic': 'Interval', 'method': '9', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '11', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '1'}
{'arithmetic': 'Interval', 'method': '9', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '11', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '1'}
{'arithmetic': 'Interval', 'method': '9', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '11', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '1'}
{'arithmetic': 'Interval', 'method': '9', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '11', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '1'}
{'arithmetic': 'Interval', 'method': '9', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '11', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '1'}
{'arithmetic': 'Interval', 'method': '9', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '11', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '1'}
{'arithmetic': 'Interval', 'method': '9', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '11', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '1'}
{'arithmetic': 'Interval', 'method': '9', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '11', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '1'}
{'arithmetic': 'Interval', 'method': '9', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '11', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '1'}
{'arithmetic': 'Interval', 'method': '9', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '11', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '1'}
{'arithmetic': 'Interval', 'method': '9', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '11', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '1'}
{'arithmetic': 'Interval', 'method': '9', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '11', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '1'}
{'arithmetic': 'Interval', 'method': '9', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '11', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '1'}
{'arithmetic': 'Interval', 'method': '9', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '11', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '1'}
{'arithmetic': 'Interval', 'method': '9', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '11', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '1'}
{'arithmetic': 'Interval', 'method': '9', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '11', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '1'}
{'arithmetic': 'Interval', 'method': '9', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '11', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '1'}
{'arithmetic': 'Interval', 'method': '9', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '11', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '1'}
{'arithmetic': 'Interval', 'method': '9', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '11', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '1'}
{'arithmetic': 'Interval', 'method': '9', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '11', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '1'}
{'arithmetic': 'Interval', 'method': '9', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '11', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '1'}
{'arithmetic': 'Interval', 'method': '9', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '11', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '7', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '1'}
{'arithmetic': 'Interval', 'method': '9', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}
{'arithmetic': 'Interval', 'method': '11', 'abs. tolerance': '1e-12', 'initial stepsize': '1e-3', 'min. stepsize': '1e-5', 'monotonicity': '0'}