Benchmark

incremental/UFNIA/20190909-CLEARSY/0015/00221.smt2

Benchmark without description.

Benchmark
Size	52455
Compressed Size	5761
License	Creative Commons Attribution Non Commercial 4.0 International (CC-BY-NC-4.0)
Category	industrial
First Occurrence	2020-07-06
Generated By	David Deharbe, CLEARSY
Generated On	2019-09-09 00:00:00
Generator	bxml;pog;pog2smt (Atelier B)
Dolmen OK	1
strict Dolmen OK	1
check-sat calls	100

Query 1

Status	unknown
Inferred Status	None
Size	20784
Compressed Size	4030
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	7
=>	8	=	65	forall	2	Int	2

Query 2

Status	unknown
Inferred Status	None
Size	20859
Compressed Size	4048
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	7
=>	8	=	65	forall	2	Int	2

Query 3

Status	unknown
Inferred Status	None
Size	20860
Compressed Size	4054
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	8
=>	8	=	65	forall	2	Int	2

Query 4

Status	unknown
Inferred Status	None
Size	20908
Compressed Size	4057
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	8
=>	8	=	65	forall	2	Int	2

Query 5

Status	unknown
Inferred Status	None
Size	20903
Compressed Size	4059
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	8
=>	8	=	65	forall	2	Int	2

Query 6

Status	unknown
Inferred Status	None
Size	20922
Compressed Size	4062
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	8
=>	8	=	65	forall	2	Int	2

Query 7

Status	unknown
Inferred Status	None
Size	20970
Compressed Size	4070
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	8
=>	8	=	65	forall	2	Int	2

Query 8

Status	unknown
Inferred Status	None
Size	20989
Compressed Size	4072
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	8
=>	8	=	65	forall	2	Int	2

Query 9

Status	unknown
Inferred Status	None
Size	20984
Compressed Size	4072
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	8
=>	8	=	65	forall	2	Int	2

Query 10

Status	unknown
Inferred Status	None
Size	21004
Compressed Size	4075
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	8
=>	8	=	65	forall	2	Int	2

Query 11

Status	unknown
Inferred Status	None
Size	21053
Compressed Size	4084
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	8
=>	8	=	65	forall	2	Int	2

Query 12

Status	unknown
Inferred Status	None
Size	21073
Compressed Size	4088
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	8
=>	8	=	65	forall	2	Int	2

Query 13

Status	unknown
Inferred Status	None
Size	21069
Compressed Size	4089
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	8
=>	8	=	65	forall	2	Int	2

Query 14

Status	unknown
Inferred Status	None
Size	21089
Compressed Size	4091
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	8
=>	8	=	65	forall	2	Int	2

Query 15

Status	unknown
Inferred Status	None
Size	21138
Compressed Size	4099
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	8
=>	8	=	65	forall	2	Int	2

Query 16

Status	unknown
Inferred Status	None
Size	21158
Compressed Size	4103
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	8
=>	8	=	65	forall	2	Int	2

Query 17

Status	unknown
Inferred Status	None
Size	21000
Compressed Size	4080
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	7
=>	8	=	67	forall	2	Int	2

Query 18

Status	unknown
Inferred Status	None
Size	21048
Compressed Size	4091
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	7
=>	8	=	67	forall	2	Int	2

Query 19

Status	unknown
Inferred Status	None
Size	21049
Compressed Size	4098
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	8
=>	8	=	67	forall	2	Int	2

Query 20

Status	unknown
Inferred Status	None
Size	21097
Compressed Size	4104
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	8
=>	8	=	67	forall	2	Int	2

Query 21

Status	unknown
Inferred Status	None
Size	21092
Compressed Size	4102
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	8
=>	8	=	67	forall	2	Int	2

Query 22

Status	unknown
Inferred Status	None
Size	21111
Compressed Size	4104
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	8
=>	8	=	67	forall	2	Int	2

Query 23

Status	unknown
Inferred Status	None
Size	21159
Compressed Size	4114
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	8
=>	8	=	67	forall	2	Int	2

Query 24

Status	unknown
Inferred Status	None
Size	21178
Compressed Size	4115
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	8
=>	8	=	67	forall	2	Int	2

Query 25

Status	unknown
Inferred Status	None
Size	21173
Compressed Size	4113
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	8
=>	8	=	67	forall	2	Int	2

Query 26

Status	unknown
Inferred Status	None
Size	21193
Compressed Size	4116
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	8
=>	8	=	67	forall	2	Int	2

Query 27

Status	unknown
Inferred Status	None
Size	21242
Compressed Size	4127
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	8
=>	8	=	67	forall	2	Int	2

Query 28

Status	unknown
Inferred Status	None
Size	21262
Compressed Size	4129
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	8
=>	8	=	67	forall	2	Int	2

Query 29

Status	unknown
Inferred Status	None
Size	21258
Compressed Size	4131
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	8
=>	8	=	67	forall	2	Int	2

Query 30

Status	unknown
Inferred Status	None
Size	21278
Compressed Size	4133
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	8
=>	8	=	67	forall	2	Int	2

Query 31

Status	unknown
Inferred Status	None
Size	21327
Compressed Size	4142
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	8
=>	8	=	67	forall	2	Int	2

Query 32

Status	unknown
Inferred Status	None
Size	21347
Compressed Size	4147
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	47	and	8
=>	8	=	67	forall	2	Int	2

Query 33

Status	unknown
Inferred Status	None
Size	20323
Compressed Size	3978
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	47	and	6
=>	7	=	58	forall	1	Int	1

Query 34

Status	unknown
Inferred Status	None
Size	20310
Compressed Size	3973
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	47	and	5
=>	7	=	58	forall	1	Int	1

Query 35

Status	unknown
Inferred Status	None
Size	20355
Compressed Size	3987
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	47	and	6
=>	7	=	58	forall	1	Int	1

Query 36

Status	unknown
Inferred Status	None
Size	20342
Compressed Size	3978
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	47	and	5
=>	7	=	58	forall	1	Int	1

Query 37

Status	unknown
Inferred Status	None
Size	20385
Compressed Size	3986
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	47	and	6
=>	7	=	58	forall	1	Int	1

Query 38

Status	unknown
Inferred Status	None
Size	20372
Compressed Size	3981
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	47	and	5
=>	7	=	58	forall	1	Int	1

Query 39

Status	unknown
Inferred Status	None
Size	20415
Compressed Size	3991
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	47	and	6
=>	7	=	58	forall	1	Int	1

Query 40

Status	unknown
Inferred Status	None
Size	20402
Compressed Size	3986
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	47	and	5
=>	7	=	58	forall	1	Int	1

Query 41

Status	unknown
Inferred Status	None
Size	20445
Compressed Size	4001
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	47	and	6
=>	7	=	58	forall	1	Int	1

Query 42

Status	unknown
Inferred Status	None
Size	20433
Compressed Size	3994
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	47	and	5
=>	7	=	58	forall	1	Int	1

Query 43

Status	unknown
Inferred Status	None
Size	20479
Compressed Size	4003
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	47	and	6
=>	7	=	58	forall	1	Int	1

Query 44

Status	unknown
Inferred Status	None
Size	20467
Compressed Size	3998
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	47	and	5
=>	7	=	58	forall	1	Int	1

Query 45

Status	unknown
Inferred Status	None
Size	20511
Compressed Size	4008
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	47	and	6
=>	7	=	58	forall	1	Int	1

Query 46

Status	unknown
Inferred Status	None
Size	20499
Compressed Size	4005
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	47	and	5
=>	7	=	58	forall	1	Int	1

Query 47

Status	unknown
Inferred Status	None
Size	20444
Compressed Size	3995
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	47	and	5
=>	7	=	58	forall	1	Int	1

Query 48

Status	unknown
Inferred Status	None
Size	20489
Compressed Size	4003
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	47	and	5
=>	7	=	58	forall	1	Int	1

Query 49

Status	unknown
Inferred Status	None
Size	20559
Compressed Size	4016
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	47	and	6
=>	7	=	58	forall	1	Int	1

Query 50

Status	unknown
Inferred Status	None
Size	20547
Compressed Size	4013
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	47	and	5
=>	7	=	58	forall	1	Int	1

Query 51

Status	unknown
Inferred Status	None
Size	20637
Compressed Size	4034
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	47	and	5
=>	6	=	58	forall	1	Int	1

Query 52

Status	unknown
Inferred Status	None
Size	20682
Compressed Size	4046
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	47	and	5
=>	6	=	58	forall	1	Int	1

Query 53

Status	unknown
Inferred Status	None
Size	20698
Compressed Size	4050
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	47	and	6
=>	7	=	58	forall	1	Int	1

Query 54

Status	unknown
Inferred Status	None
Size	20743
Compressed Size	4058
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	47	and	6
=>	7	=	58	forall	1	Int	1

Query 55

Status	unknown
Inferred Status	None
Size	20820
Compressed Size	4066
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	47	and	6
=>	7	=	58	forall	1	Int	1

Query 56

Status	unknown
Inferred Status	None
Size	20518
Compressed Size	3996
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	47	and	5
=>	6	=	58	forall	1	Int	1

Query 57

Status	unknown
Inferred Status	None
Size	20563
Compressed Size	4011
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	47	and	5
=>	6	=	58	forall	1	Int	1

Query 58

Status	unknown
Inferred Status	None
Size	20633
Compressed Size	4032
Max. Term Depth	10
Asserts	11
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	47	and	6
=>	7	=	58	forall	1	Int	1

Query 59

Status	unknown
Inferred Status	None
Size	20678
Compressed Size	4044
Max. Term Depth	10
Asserts	11
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	47	and	6
=>	7	=	58	forall	1	Int	1

Query 60

Status	unknown
Inferred Status	None
Size	20678
Compressed Size	4035
Max. Term Depth	10
Asserts	16
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	47	and	5
=>	7	=	58	forall	1	Int	1

Query 61

Status	unknown
Inferred Status	None
Size	20723
Compressed Size	4046
Max. Term Depth	10
Asserts	16
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	47	and	5
=>	7	=	58	forall	1	Int	1

Query 62

Status	unknown
Inferred Status	None
Size	20800
Compressed Size	4050
Max. Term Depth	10
Asserts	16
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	47	and	5
=>	7	=	58	forall	1	Int	1

Query 63

Status	unknown
Inferred Status	None
Size	20699
Compressed Size	4046
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	47	and	5
=>	6	=	58	forall	1	Int	1

Query 64

Status	unknown
Inferred Status	None
Size	20744
Compressed Size	4057
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	47	and	5
=>	6	=	58	forall	1	Int	1

Query 65

Status	unknown
Inferred Status	None
Size	20760
Compressed Size	4062
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	47	and	6
=>	7	=	58	forall	1	Int	1

Query 66

Status	unknown
Inferred Status	None
Size	20805
Compressed Size	4070
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	47	and	6
=>	7	=	58	forall	1	Int	1

Query 67

Status	unknown
Inferred Status	None
Size	20882
Compressed Size	4080
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	47	and	6
=>	7	=	58	forall	1	Int	1

Query 68

Status	unknown
Inferred Status	None
Size	20582
Compressed Size	4004
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	47	and	5
=>	6	=	58	forall	1	Int	1

Query 69

Status	unknown
Inferred Status	None
Size	20627
Compressed Size	4019
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	47	and	5
=>	6	=	58	forall	1	Int	1

Query 70

Status	unknown
Inferred Status	None
Size	20697
Compressed Size	4040
Max. Term Depth	10
Asserts	11
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	47	and	6
=>	7	=	58	forall	1	Int	1

Query 71

Status	unknown
Inferred Status	None
Size	20742
Compressed Size	4050
Max. Term Depth	10
Asserts	11
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	47	and	6
=>	7	=	58	forall	1	Int	1

Query 72

Status	unknown
Inferred Status	None
Size	20740
Compressed Size	4047
Max. Term Depth	10
Asserts	16
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	47	and	5
=>	7	=	58	forall	1	Int	1

Query 73

Status	unknown
Inferred Status	None
Size	20785
Compressed Size	4057
Max. Term Depth	10
Asserts	16
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	47	and	5
=>	7	=	58	forall	1	Int	1

Query 74

Status	unknown
Inferred Status	None
Size	20862
Compressed Size	4063
Max. Term Depth	10
Asserts	16
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	47	and	5
=>	7	=	58	forall	1	Int	1

Query 75

Status	unknown
Inferred Status	None
Size	20765
Compressed Size	4051
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	47	and	5
=>	6	=	58	forall	1	Int	1

Query 76

Status	unknown
Inferred Status	None
Size	20810
Compressed Size	4065
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	47	and	5
=>	6	=	58	forall	1	Int	1

Query 77

Status	unknown
Inferred Status	None
Size	20826
Compressed Size	4067
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	47	and	6
=>	7	=	58	forall	1	Int	1

Query 78

Status	unknown
Inferred Status	None
Size	20871
Compressed Size	4075
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	47	and	6
=>	7	=	58	forall	1	Int	1

Query 79

Status	unknown
Inferred Status	None
Size	20948
Compressed Size	4083
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	47	and	6
=>	7	=	58	forall	1	Int	1

Query 80

Status	unknown
Inferred Status	None
Size	20646
Compressed Size	4012
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	47	and	5
=>	6	=	58	forall	1	Int	1

Query 81

Status	unknown
Inferred Status	None
Size	20691
Compressed Size	4026
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	47	and	5
=>	6	=	58	forall	1	Int	1

Query 82

Status	unknown
Inferred Status	None
Size	20761
Compressed Size	4049
Max. Term Depth	10
Asserts	11
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	47	and	6
=>	7	=	58	forall	1	Int	1

Query 83

Status	unknown
Inferred Status	None
Size	20806
Compressed Size	4059
Max. Term Depth	10
Asserts	11
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	47	and	6
=>	7	=	58	forall	1	Int	1

Query 84

Status	unknown
Inferred Status	None
Size	20806
Compressed Size	4052
Max. Term Depth	10
Asserts	16
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	47	and	5
=>	7	=	58	forall	1	Int	1

Query 85

Status	unknown
Inferred Status	None
Size	20851
Compressed Size	4061
Max. Term Depth	10
Asserts	16
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	47	and	5
=>	7	=	58	forall	1	Int	1

Query 86

Status	unknown
Inferred Status	None
Size	20928
Compressed Size	4068
Max. Term Depth	10
Asserts	16
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	47	and	5
=>	7	=	58	forall	1	Int	1

Query 87

Status	unknown
Inferred Status	None
Size	20829
Compressed Size	4060
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	47	and	5
=>	6	=	58	forall	1	Int	1

Query 88

Status	unknown
Inferred Status	None
Size	20874
Compressed Size	4073
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	47	and	5
=>	6	=	58	forall	1	Int	1

Query 89

Status	unknown
Inferred Status	None
Size	20890
Compressed Size	4075
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	47	and	6
=>	7	=	58	forall	1	Int	1

Query 90

Status	unknown
Inferred Status	None
Size	20935
Compressed Size	4084
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	47	and	6
=>	7	=	58	forall	1	Int	1

Query 91

Status	unknown
Inferred Status	None
Size	21012
Compressed Size	4092
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	47	and	6
=>	7	=	58	forall	1	Int	1

Query 92

Status	unknown
Inferred Status	None
Size	20710
Compressed Size	4020
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	47	and	5
=>	6	=	58	forall	1	Int	1

Query 93

Status	unknown
Inferred Status	None
Size	20755
Compressed Size	4032
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	47	and	5
=>	6	=	58	forall	1	Int	1

Query 94

Status	unknown
Inferred Status	None
Size	20825
Compressed Size	4059
Max. Term Depth	10
Asserts	11
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	47	and	6
=>	7	=	58	forall	1	Int	1

Query 95

Status	unknown
Inferred Status	None
Size	20870
Compressed Size	4068
Max. Term Depth	10
Asserts	11
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	47	and	6
=>	7	=	58	forall	1	Int	1

Query 96

Status	unknown
Inferred Status	None
Size	20870
Compressed Size	4061
Max. Term Depth	10
Asserts	16
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	47	and	5
=>	7	=	58	forall	1	Int	1

Query 97

Status	unknown
Inferred Status	None
Size	20915
Compressed Size	4070
Max. Term Depth	10
Asserts	16
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	47	and	5
=>	7	=	58	forall	1	Int	1

Query 98

Status	unknown
Inferred Status	None
Size	20992
Compressed Size	4074
Max. Term Depth	10
Asserts	16
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	47	and	5
=>	7	=	58	forall	1	Int	1

Query 99

Status	unknown
Inferred Status	None
Size	20847
Compressed Size	4062
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	47	and	6
=>	7	=	58	forall	1	Int	1

Query 100

Status	unknown
Inferred Status	None
Size	20835
Compressed Size	4052
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	239
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	47	and	5
=>	7	=	58	forall	1	Int	1