Benchmark

incremental/UFNIA/20190906-CLEARSY/0000/00346.smt2

Benchmark without description.

Benchmark
Size	116809
Compressed Size	17305
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-06 00:00:00
Generator	bxml;pog;pog2smt (Atelier B)
Dolmen OK	1
strict Dolmen OK	1
check-sat calls	56

Query 1

Status	unknown
Inferred Status	None
Size	99795
Compressed Size	16033
Max. Term Depth	34
Asserts	14
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	52
Declared Datatypes	0

Symbols

true	6	Bool	52	not	74	and	27
=>	43	=	687	forall	37	exists	1
Int	49	div	1	+	16	-	25
<	5	<=	18	>	5	>=	24

Query 2

Status	unknown
Inferred Status	None
Size	99972
Compressed Size	16049
Max. Term Depth	34
Asserts	14
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	52
Declared Datatypes	0

Symbols

true	6	Bool	52	not	75	and	28
=>	43	=	688	forall	37	exists	1
Int	49	div	1	+	17	-	25
<	5	<=	18	>	6	>=	24

Query 3

Status	unknown
Inferred Status	None
Size	99879
Compressed Size	16045
Max. Term Depth	34
Asserts	14
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	52
Declared Datatypes	0

Symbols

true	6	Bool	52	not	73	and	27
=>	43	=	687	forall	37	exists	1
Int	49	div	1	+	16	-	25
<	5	<=	18	>	5	>=	24

Query 4

Status	unknown
Inferred Status	None
Size	99878
Compressed Size	16043
Max. Term Depth	34
Asserts	14
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	52
Declared Datatypes	0

Symbols

true	6	Bool	52	not	73	and	27
=>	43	=	686	forall	37	exists	1
Int	49	div	1	+	16	-	26
<	5	<=	18	>	5	>=	24

Query 5

Status	unknown
Inferred Status	None
Size	99905
Compressed Size	16045
Max. Term Depth	34
Asserts	14
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	52
Declared Datatypes	0

Symbols

true	6	Bool	52	not	73	and	27
=>	43	=	686	forall	37	exists	1
Int	49	div	1	+	16	-	25
<	5	<=	18	>	5	>=	24

Query 6

Status	unknown
Inferred Status	None
Size	100195
Compressed Size	16063
Max. Term Depth	34
Asserts	14
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	52
Declared Datatypes	0

Symbols

true	6	Bool	52	not	76	and	29
=>	43	=	692	forall	37	exists	1
Int	49	div	1	+	18	-	25
<	5	<=	18	>	7	>=	24

Query 7

Status	unknown
Inferred Status	None
Size	99945
Compressed Size	16046
Max. Term Depth	34
Asserts	14
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	52
Declared Datatypes	0

Symbols

true	6	Bool	52	not	73	and	27
=>	43	=	687	forall	37	exists	1
Int	49	div	1	+	16	-	27
<	5	<=	18	>	5	>=	24

Query 8

Status	unknown
Inferred Status	None
Size	99964
Compressed Size	16047
Max. Term Depth	34
Asserts	14
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	52
Declared Datatypes	0

Symbols

true	6	Bool	52	not	73	and	27
=>	43	=	687	forall	37	exists	1
Int	49	div	1	+	16	-	25
<	5	<=	18	>	5	>=	24

Query 9

Status	unknown
Inferred Status	None
Size	99982
Compressed Size	16049
Max. Term Depth	34
Asserts	14
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	52
Declared Datatypes	0

Symbols

true	6	Bool	52	not	73	and	27
=>	43	=	687	forall	37	exists	1
Int	49	div	1	+	16	-	25
<	5	<=	18	>	5	>=	24

Query 10

Status	unknown
Inferred Status	None
Size	100033
Compressed Size	16057
Max. Term Depth	34
Asserts	14
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	52
Declared Datatypes	0

Symbols

true	6	Bool	52	not	73	and	27
=>	43	=	687	forall	37	exists	1
Int	49	div	1	+	18	-	26
<	5	<=	18	>	5	>=	24

Query 11

Status	unknown
Inferred Status	None
Size	100047
Compressed Size	16057
Max. Term Depth	34
Asserts	14
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	52
Declared Datatypes	0

Symbols

true	6	Bool	52	not	73	and	27
=>	43	=	687	forall	37	exists	1
Int	49	div	1	+	18	-	26
<	5	<=	18	>	5	>=	24

Query 12

Status	unknown
Inferred Status	None
Size	100064
Compressed Size	16059
Max. Term Depth	34
Asserts	14
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	52
Declared Datatypes	0

Symbols

true	6	Bool	52	not	73	and	27
=>	43	=	686	forall	37	exists	1
Int	49	div	1	+	18	-	25
<	5	<=	18	>	5	>=	25

Query 13

Status	unknown
Inferred Status	None
Size	100089
Compressed Size	16074
Max. Term Depth	34
Asserts	14
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	52
Declared Datatypes	0

Symbols

true	6	Bool	52	not	73	and	27
=>	43	=	686	forall	37	exists	1
Int	49	div	1	+	16	-	25
<	5	<=	18	>	5	>=	24

Query 14

Status	unknown
Inferred Status	None
Size	100154
Compressed Size	16083
Max. Term Depth	34
Asserts	14
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	52
Declared Datatypes	0

Symbols

true	6	Bool	52	not	73	and	27
=>	43	=	687	forall	37	exists	1
Int	49	div	1	+	17	-	25
<	5	<=	18	>	5	>=	24

Query 15

Status	unknown
Inferred Status	None
Size	100208
Compressed Size	16098
Max. Term Depth	34
Asserts	14
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	52
Declared Datatypes	0

Symbols

true	6	Bool	52	not	73	and	27
=>	43	=	686	forall	37	exists	1
Int	49	div	1	+	18	-	25
<	5	<=	19	>	5	>=	24

Query 16

Status	unknown
Inferred Status	None
Size	100272
Compressed Size	16120
Max. Term Depth	34
Asserts	14
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	52
Declared Datatypes	0

Symbols

true	6	Bool	52	not	74	and	27
=>	43	=	687	forall	37	exists	1
Int	49	div	1	+	16	-	25
<	5	<=	18	>	5	>=	24

Query 17

Status	unknown
Inferred Status	None
Size	100303
Compressed Size	16126
Max. Term Depth	34
Asserts	14
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	52
Declared Datatypes	0

Symbols

true	6	Bool	52	not	73	and	27
=>	43	=	687	forall	37	exists	1
Int	49	div	1	+	16	-	26
<	5	<=	18	>	5	>=	24

Query 18

Status	unknown
Inferred Status	None
Size	100340
Compressed Size	16130
Max. Term Depth	34
Asserts	14
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	52
Declared Datatypes	0

Symbols

true	6	Bool	52	not	73	and	27
=>	43	=	687	forall	37	exists	1
Int	49	div	1	+	17	-	26
<	5	<=	18	>	5	>=	24

Query 19

Status	unknown
Inferred Status	None
Size	100341
Compressed Size	16131
Max. Term Depth	34
Asserts	14
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	52
Declared Datatypes	0

Symbols

true	6	Bool	52	not	73	and	27
=>	43	=	687	forall	37	exists	1
Int	49	div	1	+	16	-	25
<	5	<=	18	>	5	>=	24

Query 20

Status	unknown
Inferred Status	None
Size	100362
Compressed Size	16133
Max. Term Depth	34
Asserts	14
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	52
Declared Datatypes	0

Symbols

true	6	Bool	52	not	73	and	27
=>	43	=	687	forall	37	exists	1
Int	49	div	1	+	16	-	25
<	5	<=	18	>	5	>=	24

Query 21

Status	unknown
Inferred Status	None
Size	100392
Compressed Size	16139
Max. Term Depth	34
Asserts	14
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	52
Declared Datatypes	0

Symbols

true	6	Bool	52	not	73	and	27
=>	43	=	687	forall	37	exists	1
Int	49	div	1	+	17	-	25
<	5	<=	18	>	5	>=	24

Query 22

Status	unknown
Inferred Status	None
Size	100411
Compressed Size	16138
Max. Term Depth	34
Asserts	14
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	52
Declared Datatypes	0

Symbols

true	6	Bool	52	not	73	and	27
=>	43	=	686	forall	37	exists	1
Int	49	div	1	+	17	-	25
<	5	<=	18	>	5	>=	25

Query 23

Status	unknown
Inferred Status	None
Size	100486
Compressed Size	16148
Max. Term Depth	34
Asserts	14
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	52
Declared Datatypes	0

Symbols

true	6	Bool	52	not	73	and	27
=>	43	=	686	forall	37	exists	1
Int	49	div	1	+	19	-	25
<	6	<=	18	>	5	>=	24

Query 24

Status	unknown
Inferred Status	None
Size	100467
Compressed Size	16149
Max. Term Depth	34
Asserts	14
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	52
Declared Datatypes	0

Symbols

true	6	Bool	52	not	73	and	27
=>	43	=	686	forall	37	exists	1
Int	49	div	1	+	16	-	25
<	5	<=	18	>	5	>=	24

Query 25

Status	unknown
Inferred Status	None
Size	100528
Compressed Size	16164
Max. Term Depth	34
Asserts	14
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	52
Declared Datatypes	0

Symbols

true	6	Bool	52	not	73	and	27
=>	43	=	687	forall	37	exists	1
Int	49	div	1	+	17	-	25
<	5	<=	18	>	5	>=	24

Query 26

Status	unknown
Inferred Status	None
Size	98817
Compressed Size	15855
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	74	and	26
=>	43	=	679	forall	37	exists	1
Int	49	div	1	+	15	-	23
<	5	<=	18	>	4	>=	24

Query 27

Status	unknown
Inferred Status	None
Size	98863
Compressed Size	15878
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	73	and	26
=>	43	=	678	forall	37	exists	1
Int	49	div	1	+	15	-	23
<	5	<=	18	>	4	>=	24

Query 28

Status	unknown
Inferred Status	None
Size	98867
Compressed Size	15870
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	74	and	26
=>	43	=	679	forall	37	exists	1
Int	49	div	1	+	15	-	23
<	5	<=	18	>	4	>=	24

Query 29

Status	unknown
Inferred Status	None
Size	98907
Compressed Size	15881
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	73	and	26
=>	43	=	678	forall	37	exists	1
Int	49	div	1	+	15	-	23
<	5	<=	18	>	4	>=	24

Query 30

Status	unknown
Inferred Status	None
Size	98911
Compressed Size	15876
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	74	and	26
=>	43	=	679	forall	37	exists	1
Int	49	div	1	+	15	-	23
<	5	<=	18	>	4	>=	24

Query 31

Status	unknown
Inferred Status	None
Size	98951
Compressed Size	15887
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	73	and	26
=>	43	=	678	forall	37	exists	1
Int	49	div	1	+	15	-	23
<	5	<=	18	>	4	>=	24

Query 32

Status	unknown
Inferred Status	None
Size	98956
Compressed Size	15893
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	73	and	26
=>	43	=	678	forall	37	exists	1
Int	49	div	1	+	15	-	23
<	5	<=	18	>	4	>=	24

Query 33

Status	unknown
Inferred Status	None
Size	99007
Compressed Size	15897
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	73	and	26
=>	43	=	678	forall	37	exists	1
Int	49	div	1	+	15	-	23
<	5	<=	18	>	4	>=	24

Query 34

Status	unknown
Inferred Status	None
Size	99020
Compressed Size	15895
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	73	and	26
=>	43	=	678	forall	37	exists	1
Int	49	div	1	+	15	-	23
<	5	<=	18	>	4	>=	24

Query 35

Status	unknown
Inferred Status	None
Size	99032
Compressed Size	15901
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	73	and	26
=>	43	=	678	forall	37	exists	1
Int	49	div	1	+	15	-	23
<	5	<=	18	>	4	>=	24

Query 36

Status	unknown
Inferred Status	None
Size	99075
Compressed Size	15911
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	73	and	26
=>	43	=	678	forall	37	exists	1
Int	49	div	1	+	15	-	23
<	5	<=	18	>	4	>=	24

Query 37

Status	unknown
Inferred Status	None
Size	99095
Compressed Size	15915
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	73	and	26
=>	43	=	678	forall	37	exists	1
Int	49	div	1	+	15	-	23
<	5	<=	18	>	4	>=	24

Query 38

Status	unknown
Inferred Status	None
Size	99080
Compressed Size	15913
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	73	and	26
=>	43	=	678	forall	37	exists	1
Int	49	div	1	+	15	-	23
<	5	<=	18	>	4	>=	24

Query 39

Status	unknown
Inferred Status	None
Size	99139
Compressed Size	15916
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	73	and	26
=>	43	=	678	forall	37	exists	1
Int	49	div	1	+	15	-	23
<	5	<=	18	>	4	>=	24

Query 40

Status	unknown
Inferred Status	None
Size	99152
Compressed Size	15920
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	73	and	26
=>	43	=	678	forall	37	exists	1
Int	49	div	1	+	15	-	23
<	5	<=	18	>	4	>=	24

Query 41

Status	unknown
Inferred Status	None
Size	99199
Compressed Size	15927
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	73	and	26
=>	43	=	678	forall	37	exists	1
Int	49	div	1	+	15	-	23
<	5	<=	18	>	4	>=	24

Query 42

Status	unknown
Inferred Status	None
Size	99186
Compressed Size	15922
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	73	and	26
=>	43	=	678	forall	37	exists	1
Int	49	div	1	+	15	-	23
<	5	<=	18	>	4	>=	24

Query 43

Status	unknown
Inferred Status	None
Size	99221
Compressed Size	15933
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	73	and	26
=>	43	=	678	forall	37	exists	1
Int	49	div	1	+	15	-	23
<	5	<=	18	>	4	>=	24

Query 44

Status	unknown
Inferred Status	None
Size	99245
Compressed Size	15932
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	73	and	26
=>	43	=	678	forall	37	exists	1
Int	49	div	1	+	15	-	23
<	5	<=	18	>	4	>=	24

Query 45

Status	unknown
Inferred Status	None
Size	99258
Compressed Size	15935
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	73	and	26
=>	43	=	678	forall	37	exists	1
Int	49	div	1	+	15	-	23
<	5	<=	18	>	4	>=	24

Query 46

Status	unknown
Inferred Status	None
Size	99305
Compressed Size	15941
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	73	and	26
=>	43	=	678	forall	37	exists	1
Int	49	div	1	+	15	-	23
<	5	<=	18	>	4	>=	24

Query 47

Status	unknown
Inferred Status	None
Size	99291
Compressed Size	15934
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	73	and	26
=>	43	=	678	forall	37	exists	1
Int	49	div	1	+	15	-	23
<	5	<=	18	>	4	>=	24

Query 48

Status	unknown
Inferred Status	None
Size	99324
Compressed Size	15943
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	73	and	26
=>	43	=	678	forall	37	exists	1
Int	49	div	1	+	15	-	23
<	5	<=	18	>	4	>=	24

Query 49

Status	unknown
Inferred Status	None
Size	99371
Compressed Size	15949
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	73	and	26
=>	43	=	678	forall	37	exists	1
Int	49	div	1	+	15	-	23
<	5	<=	18	>	4	>=	24

Query 50

Status	unknown
Inferred Status	None
Size	99347
Compressed Size	15940
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	74	and	26
=>	43	=	679	forall	37	exists	1
Int	49	div	1	+	15	-	23
<	5	<=	18	>	4	>=	24

Query 51

Status	unknown
Inferred Status	None
Size	99377
Compressed Size	15945
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	73	and	26
=>	43	=	678	forall	37	exists	1
Int	49	div	1	+	15	-	23
<	5	<=	18	>	4	>=	24

Query 52

Status	unknown
Inferred Status	None
Size	99419
Compressed Size	15955
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	73	and	26
=>	43	=	678	forall	37	exists	1
Int	49	div	1	+	15	-	23
<	5	<=	18	>	4	>=	24

Query 53

Status	unknown
Inferred Status	None
Size	99434
Compressed Size	15963
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	73	and	26
=>	43	=	678	forall	37	exists	1
Int	49	div	1	+	15	-	23
<	5	<=	18	>	4	>=	24

Query 54

Status	unknown
Inferred Status	None
Size	99458
Compressed Size	15956
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	73	and	26
=>	43	=	678	forall	37	exists	1
Int	49	div	1	+	15	-	23
<	5	<=	18	>	4	>=	24

Query 55

Status	unknown
Inferred Status	None
Size	99463
Compressed Size	15954
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	73	and	26
=>	43	=	678	forall	37	exists	1
Int	49	div	1	+	16	-	23
<	5	<=	18	>	4	>=	24

Query 56

Status	unknown
Inferred Status	None
Size	99517
Compressed Size	15964
Max. Term Depth	34
Asserts	23
Declared Functions	119
Declared Constants	1194
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	73	and	26
=>	43	=	678	forall	37	exists	1
Int	49	div	1	+	15	-	23
<	5	<=	18	>	4	>=	24