xref: /dports/math/boolector/boolector-3.2.2/test/log/arraycond7.btor

1 array 1 1
2 array 1 1
3 array 1 1
4 const 1 0
5 const 1 1
6 read 1 1 4
7 read 1 1 5
8 read 1 2 4
9 read 1 2 5
10 read 1 3 4
11 read 1 3 5
12 var 1
13 var 1
14 and 1 -12 -13
15 var 1
16 var 1
17 and 1 15 16
18 acond 1 1 14 2 1
19 acond 1 1 17 3 18
20 read 1 19 4
21 read 1 19 5
22 and 1 -6 -7
23 and 1 6 7
24 and 1 -22 -23
25 and 1 -8 -9
26 and 1 8 9
27 and 1 -25 -26
28 and 1 -10 -11
29 and 1 10 11
30 and 1 -28 -29
31 and 1 20 21
32 and 1 24 27
33 and 1 30 31
34 and 1 32 33
35 root 1 34