Benchmark

incremental/UFNIA/20190906-CLEARSY/0002/00014.smt2

Benchmark without description.

Benchmark
Size	259146
Compressed Size	35685
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	162

Query 1

Status	unknown
Inferred Status	None
Size	200137
Compressed Size	30028
Max. Term Depth	75
Asserts	10
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	124	or	1
and	166	=>	42	=	1144	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 2

Status	unknown
Inferred Status	None
Size	200170
Compressed Size	30038
Max. Term Depth	75
Asserts	13
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	124	or	1
and	166	=>	41	=	1144	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 3

Status	unknown
Inferred Status	None
Size	200445
Compressed Size	30105
Max. Term Depth	75
Asserts	13
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	124	or	1
and	167	=>	42	=	1145	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 4

Status	unknown
Inferred Status	None
Size	200507
Compressed Size	30121
Max. Term Depth	75
Asserts	13
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	124	or	1
and	167	=>	42	=	1145	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 5

Status	unknown
Inferred Status	None
Size	200448
Compressed Size	30106
Max. Term Depth	75
Asserts	13
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	124	or	1
and	167	=>	42	=	1146	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 6

Status	unknown
Inferred Status	None
Size	200510
Compressed Size	30118
Max. Term Depth	75
Asserts	13
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	124	or	1
and	167	=>	42	=	1146	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 7

Status	unknown
Inferred Status	None
Size	200611
Compressed Size	30108
Max. Term Depth	75
Asserts	13
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	124	or	1
and	166	=>	42	=	1146	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 8

Status	unknown
Inferred Status	None
Size	200823
Compressed Size	30162
Max. Term Depth	75
Asserts	13
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	124	or	1
and	168	=>	42	=	1148	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 9

Status	unknown
Inferred Status	None
Size	200841
Compressed Size	30169
Max. Term Depth	75
Asserts	13
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	124	or	2
and	167	=>	42	=	1148	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 10

Status	unknown
Inferred Status	None
Size	200792
Compressed Size	30158
Max. Term Depth	75
Asserts	13
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	124	or	1
and	167	=>	42	=	1147	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 11

Status	unknown
Inferred Status	None
Size	200923
Compressed Size	30180
Max. Term Depth	75
Asserts	13
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	124	or	1
and	168	=>	42	=	1149	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 12

Status	unknown
Inferred Status	None
Size	200941
Compressed Size	30185
Max. Term Depth	75
Asserts	13
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	124	or	2
and	167	=>	42	=	1149	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 13

Status	unknown
Inferred Status	None
Size	200892
Compressed Size	30184
Max. Term Depth	75
Asserts	13
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	124	or	1
and	167	=>	42	=	1148	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 14

Status	unknown
Inferred Status	None
Size	201880
Compressed Size	30330
Max. Term Depth	75
Asserts	13
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	125	or	1
and	168	=>	44	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 15

Status	unknown
Inferred Status	None
Size	201931
Compressed Size	30338
Max. Term Depth	75
Asserts	13
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	125	or	1
and	168	=>	44	=	1150	forall	34
Int	54	div	1	+	4	-	41
*	9	<	1	<=	151	>	8
>=	109

Query 16

Status	unknown
Inferred Status	None
Size	201918
Compressed Size	30337
Max. Term Depth	75
Asserts	13
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	125	or	1
and	168	=>	44	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 17

Status	unknown
Inferred Status	None
Size	202052
Compressed Size	30387
Max. Term Depth	75
Asserts	13
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	125	or	1
and	169	=>	44	=	1151	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 18

Status	unknown
Inferred Status	None
Size	202071
Compressed Size	30390
Max. Term Depth	75
Asserts	13
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	125	or	1
and	169	=>	44	=	1151	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 19

Status	unknown
Inferred Status	None
Size	202090
Compressed Size	30389
Max. Term Depth	75
Asserts	13
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	125	or	1
and	169	=>	44	=	1151	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 20

Status	unknown
Inferred Status	None
Size	200638
Compressed Size	30115
Max. Term Depth	75
Asserts	13
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	124	or	1
and	166	=>	42	=	1144	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 21

Status	unknown
Inferred Status	None
Size	200679
Compressed Size	30121
Max. Term Depth	75
Asserts	13
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	124	or	1
and	166	=>	42	=	1144	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 22

Status	unknown
Inferred Status	None
Size	200749
Compressed Size	30168
Max. Term Depth	75
Asserts	13
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	124	or	1
and	167	=>	42	=	1144	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 23

Status	unknown
Inferred Status	None
Size	200837
Compressed Size	30183
Max. Term Depth	75
Asserts	13
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	124	or	1
and	167	=>	42	=	1145	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 24

Status	unknown
Inferred Status	None
Size	201622
Compressed Size	30232
Max. Term Depth	75
Asserts	13
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	125	or	1
and	170	=>	50	=	1159	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 25

Status	unknown
Inferred Status	None
Size	201641
Compressed Size	30243
Max. Term Depth	75
Asserts	13
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	125	or	1
and	170	=>	50	=	1159	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 26

Status	unknown
Inferred Status	None
Size	201786
Compressed Size	30298
Max. Term Depth	75
Asserts	13
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	125	or	1
and	171	=>	50	=	1160	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 27

Status	unknown
Inferred Status	None
Size	201805
Compressed Size	30301
Max. Term Depth	75
Asserts	13
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	125	or	1
and	171	=>	50	=	1160	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 28

Status	unknown
Inferred Status	None
Size	202059
Compressed Size	30378
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	127	or	1
and	168	=>	42	=	1154	forall	34
Int	54	div	1	+	4	-	39
*	9	<	1	<=	152	>	8
>=	110

Query 29

Status	unknown
Inferred Status	None
Size	202086
Compressed Size	30384
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	127	or	1
and	168	=>	42	=	1154	forall	34
Int	54	div	1	+	4	-	39
*	9	<	1	<=	152	>	8
>=	110

Query 30

Status	unknown
Inferred Status	None
Size	202181
Compressed Size	30393
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	127	or	1
and	168	=>	42	=	1154	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	152	>	8
>=	110

Query 31

Status	unknown
Inferred Status	None
Size	202230
Compressed Size	30412
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	127	or	1
and	168	=>	42	=	1154	forall	34
Int	54	div	1	+	4	-	39
*	9	<	1	<=	152	>	8
>=	110

Query 32

Status	unknown
Inferred Status	None
Size	202239
Compressed Size	30401
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	127	or	1
and	168	=>	42	=	1154	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	152	>	8
>=	110

Query 33

Status	unknown
Inferred Status	None
Size	202268
Compressed Size	30415
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	127	or	1
and	168	=>	42	=	1154	forall	34
Int	54	div	1	+	4	-	39
*	9	<	1	<=	152	>	8
>=	110

Query 34

Status	unknown
Inferred Status	None
Size	202282
Compressed Size	30412
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	127	or	1
and	168	=>	42	=	1155	forall	34
Int	54	div	1	+	4	-	39
*	9	<	1	<=	152	>	8
>=	110

Query 35

Status	unknown
Inferred Status	None
Size	202259
Compressed Size	30409
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	127	or	1
and	168	=>	42	=	1155	forall	34
Int	54	div	1	+	4	-	39
*	9	<	1	<=	152	>	8
>=	110

Query 36

Status	unknown
Inferred Status	None
Size	202592
Compressed Size	30460
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	127	or	1
and	168	=>	42	=	1156	forall	34
Int	54	div	1	+	4	-	39
*	9	<	1	<=	152	>	8
>=	110

Query 37

Status	unknown
Inferred Status	None
Size	202382
Compressed Size	30428
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	127	or	1
and	168	=>	42	=	1155	forall	34
Int	54	div	1	+	4	-	39
*	9	<	1	<=	152	>	8
>=	110

Query 38

Status	unknown
Inferred Status	None
Size	202848
Compressed Size	30470
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	127	or	1
and	168	=>	42	=	1155	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	153	>	8
>=	110

Query 39

Status	unknown
Inferred Status	None
Size	201426
Compressed Size	30252
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	124	or	1
and	167	=>	42	=	1152	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 40

Status	unknown
Inferred Status	None
Size	201453
Compressed Size	30256
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	124	or	1
and	167	=>	42	=	1152	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 41

Status	unknown
Inferred Status	None
Size	201476
Compressed Size	30267
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	124	or	1
and	167	=>	42	=	1152	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 42

Status	unknown
Inferred Status	None
Size	201503
Compressed Size	30268
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	124	or	1
and	167	=>	42	=	1152	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 43

Status	unknown
Inferred Status	None
Size	201917
Compressed Size	30306
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	6	Bool	29	not	127	or	1
and	167	=>	42	=	1158	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 44

Status	unknown
Inferred Status	None
Size	201944
Compressed Size	30313
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	6	Bool	29	not	127	or	1
and	167	=>	42	=	1158	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 45

Status	unknown
Inferred Status	None
Size	202650
Compressed Size	30403
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	6	Bool	29	not	127	or	3
and	171	=>	42	=	1169	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 46

Status	unknown
Inferred Status	None
Size	202736
Compressed Size	30401
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	6	Bool	29	not	127	or	3
and	170	=>	42	=	1169	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 47

Status	unknown
Inferred Status	None
Size	202004
Compressed Size	30322
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	6	Bool	29	not	127	or	1
and	167	=>	42	=	1158	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 48

Status	unknown
Inferred Status	None
Size	202031
Compressed Size	30327
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	6	Bool	29	not	127	or	1
and	167	=>	42	=	1158	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 49

Status	unknown
Inferred Status	None
Size	202873
Compressed Size	30421
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	6	Bool	29	not	127	or	4
and	170	=>	42	=	1170	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 50

Status	unknown
Inferred Status	None
Size	202892
Compressed Size	30420
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	6	Bool	29	not	127	or	3
and	171	=>	42	=	1170	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 51

Status	unknown
Inferred Status	None
Size	202666
Compressed Size	30383
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	125	or	1
and	168	=>	42	=	1162	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 52

Status	unknown
Inferred Status	None
Size	202694
Compressed Size	30395
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	125	or	1
and	168	=>	42	=	1162	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 53

Status	unknown
Inferred Status	None
Size	202718
Compressed Size	30394
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	125	or	1
and	168	=>	42	=	1162	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 54

Status	unknown
Inferred Status	None
Size	202746
Compressed Size	30405
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	125	or	1
and	168	=>	42	=	1162	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 55

Status	unknown
Inferred Status	None
Size	202770
Compressed Size	30399
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	125	or	1
and	168	=>	42	=	1162	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 56

Status	unknown
Inferred Status	None
Size	202798
Compressed Size	30409
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	125	or	1
and	168	=>	42	=	1162	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 57

Status	unknown
Inferred Status	None
Size	202859
Compressed Size	30412
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	125	or	1
and	168	=>	42	=	1162	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 58

Status	unknown
Inferred Status	None
Size	202879
Compressed Size	30418
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	125	or	1
and	168	=>	42	=	1162	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 59

Status	unknown
Inferred Status	None
Size	202911
Compressed Size	30419
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	125	or	1
and	168	=>	42	=	1163	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 60

Status	unknown
Inferred Status	None
Size	202973
Compressed Size	30423
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	125	or	1
and	168	=>	42	=	1163	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 61

Status	unknown
Inferred Status	None
Size	202953
Compressed Size	30430
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	125	or	1
and	168	=>	42	=	1163	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 62

Status	unknown
Inferred Status	None
Size	203021
Compressed Size	30433
Max. Term Depth	75
Asserts	21
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	125	or	1
and	168	=>	42	=	1163	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 63

Status	unknown
Inferred Status	None
Size	202203
Compressed Size	30336
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 64

Status	unknown
Inferred Status	None
Size	202196
Compressed Size	30331
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 65

Status	unknown
Inferred Status	None
Size	202248
Compressed Size	30347
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 66

Status	unknown
Inferred Status	None
Size	202268
Compressed Size	30346
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 67

Status	unknown
Inferred Status	None
Size	202288
Compressed Size	30351
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 68

Status	unknown
Inferred Status	None
Size	202281
Compressed Size	30343
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 69

Status	unknown
Inferred Status	None
Size	202301
Compressed Size	30343
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 70

Status	unknown
Inferred Status	None
Size	202342
Compressed Size	30346
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 71

Status	unknown
Inferred Status	None
Size	202373
Compressed Size	30358
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 72

Status	unknown
Inferred Status	None
Size	202400
Compressed Size	30362
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 73

Status	unknown
Inferred Status	None
Size	202415
Compressed Size	30366
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 74

Status	unknown
Inferred Status	None
Size	202409
Compressed Size	30360
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 75

Status	unknown
Inferred Status	None
Size	202432
Compressed Size	30364
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 76

Status	unknown
Inferred Status	None
Size	202451
Compressed Size	30366
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 77

Status	unknown
Inferred Status	None
Size	202621
Compressed Size	30377
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1151	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 78

Status	unknown
Inferred Status	None
Size	202763
Compressed Size	30383
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 79

Status	unknown
Inferred Status	None
Size	202552
Compressed Size	30385
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 80

Status	unknown
Inferred Status	None
Size	202573
Compressed Size	30390
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 81

Status	unknown
Inferred Status	None
Size	202588
Compressed Size	30393
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 82

Status	unknown
Inferred Status	None
Size	202609
Compressed Size	30395
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 83

Status	unknown
Inferred Status	None
Size	202630
Compressed Size	30397
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 84

Status	unknown
Inferred Status	None
Size	202651
Compressed Size	30399
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 85

Status	unknown
Inferred Status	None
Size	202672
Compressed Size	30400
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 86

Status	unknown
Inferred Status	None
Size	202668
Compressed Size	30394
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 87

Status	unknown
Inferred Status	None
Size	202689
Compressed Size	30396
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 88

Status	unknown
Inferred Status	None
Size	202708
Compressed Size	30397
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 89

Status	unknown
Inferred Status	None
Size	202729
Compressed Size	30398
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 90

Status	unknown
Inferred Status	None
Size	203026
Compressed Size	30414
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	41
*	9	<	1	<=	152	>	8
>=	109

Query 91

Status	unknown
Inferred Status	None
Size	202838
Compressed Size	30409
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 92

Status	unknown
Inferred Status	None
Size	202815
Compressed Size	30409
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 93

Status	unknown
Inferred Status	None
Size	202834
Compressed Size	30407
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 94

Status	unknown
Inferred Status	None
Size	203230
Compressed Size	30434
Max. Term Depth	75
Asserts	15
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	124	or	1
and	168	=>	43	=	1150	forall	34
Int	54	div	1	+	4	-	40
*	9	<	1	<=	151	>	8
>=	109

Query 95

Status	unknown
Inferred Status	None
Size	200676
Compressed Size	30110
Max. Term Depth	75
Asserts	16
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	125	or	1
and	166	=>	41	=	1144	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 96

Status	unknown
Inferred Status	None
Size	200696
Compressed Size	30112
Max. Term Depth	75
Asserts	16
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	125	or	1
and	166	=>	41	=	1144	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 97

Status	unknown
Inferred Status	None
Size	200689
Compressed Size	30101
Max. Term Depth	75
Asserts	16
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	125	or	1
and	166	=>	41	=	1144	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 98

Status	unknown
Inferred Status	None
Size	200730
Compressed Size	30107
Max. Term Depth	75
Asserts	16
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	125	or	1
and	166	=>	41	=	1144	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 99

Status	unknown
Inferred Status	None
Size	200766
Compressed Size	30116
Max. Term Depth	75
Asserts	16
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	125	or	1
and	166	=>	42	=	1144	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109

Query 100

Status	unknown
Inferred Status	None
Size	200786
Compressed Size	30120
Max. Term Depth	75
Asserts	16
Declared Functions	118
Declared Constants	1972
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	125	or	1
and	166	=>	42	=	1144	forall	34
Int	54	div	1	+	4	-	37
*	9	<	1	<=	150	>	8
>=	109