Benchmark

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

Benchmark without description.

Benchmark
Size	299127
Compressed Size	40042
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	127

Query 1

Status	unknown
Inferred Status	None
Size	265170
Compressed Size	37665
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	135	or	2
and	188	=>	73	=	1289	forall	57
Int	123	div	1	+	6	-	53
*	9	<	1	<=	152	>	8
>=	110

Query 2

Status	unknown
Inferred Status	None
Size	265244
Compressed Size	37674
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	135	or	2
and	188	=>	73	=	1289	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 3

Status	unknown
Inferred Status	None
Size	265244
Compressed Size	37675
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	135	or	2
and	188	=>	73	=	1289	forall	57
Int	123	div	1	+	6	-	53
*	9	<	1	<=	152	>	8
>=	110

Query 4

Status	unknown
Inferred Status	None
Size	265250
Compressed Size	37680
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	135	or	2
and	188	=>	73	=	1289	forall	57
Int	123	div	1	+	6	-	53
*	9	<	1	<=	152	>	8
>=	110

Query 5

Status	unknown
Inferred Status	None
Size	265297
Compressed Size	37685
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	135	or	2
and	188	=>	73	=	1289	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 6

Status	unknown
Inferred Status	None
Size	265297
Compressed Size	37688
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	135	or	2
and	188	=>	73	=	1289	forall	57
Int	123	div	1	+	6	-	53
*	9	<	1	<=	152	>	8
>=	110

Query 7

Status	unknown
Inferred Status	None
Size	265265
Compressed Size	37681
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	135	or	2
and	188	=>	73	=	1289	forall	57
Int	123	div	1	+	6	-	53
*	9	<	1	<=	152	>	8
>=	110

Query 8

Status	unknown
Inferred Status	None
Size	265312
Compressed Size	37688
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	135	or	2
and	188	=>	73	=	1289	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 9

Status	unknown
Inferred Status	None
Size	267190
Compressed Size	37933
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 10

Status	unknown
Inferred Status	None
Size	267205
Compressed Size	37937
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 11

Status	unknown
Inferred Status	None
Size	267234
Compressed Size	37943
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 12

Status	unknown
Inferred Status	None
Size	267249
Compressed Size	37944
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 13

Status	unknown
Inferred Status	None
Size	267270
Compressed Size	37956
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 14

Status	unknown
Inferred Status	None
Size	267289
Compressed Size	37957
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 15

Status	unknown
Inferred Status	None
Size	267304
Compressed Size	37954
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 16

Status	unknown
Inferred Status	None
Size	267332
Compressed Size	37965
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 17

Status	unknown
Inferred Status	None
Size	267352
Compressed Size	37964
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 18

Status	unknown
Inferred Status	None
Size	267371
Compressed Size	37970
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 19

Status	unknown
Inferred Status	None
Size	267392
Compressed Size	37969
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 20

Status	unknown
Inferred Status	None
Size	267407
Compressed Size	37973
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 21

Status	unknown
Inferred Status	None
Size	267428
Compressed Size	37974
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 22

Status	unknown
Inferred Status	None
Size	267456
Compressed Size	37982
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 23

Status	unknown
Inferred Status	None
Size	267476
Compressed Size	37989
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 24

Status	unknown
Inferred Status	None
Size	267497
Compressed Size	37992
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 25

Status	unknown
Inferred Status	None
Size	267516
Compressed Size	37993
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 26

Status	unknown
Inferred Status	None
Size	267536
Compressed Size	37996
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 27

Status	unknown
Inferred Status	None
Size	267557
Compressed Size	37998
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 28

Status	unknown
Inferred Status	None
Size	267606
Compressed Size	38002
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 29

Status	unknown
Inferred Status	None
Size	267621
Compressed Size	38001
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 30

Status	unknown
Inferred Status	None
Size	267612
Compressed Size	38000
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 31

Status	unknown
Inferred Status	None
Size	267633
Compressed Size	38002
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 32

Status	unknown
Inferred Status	None
Size	267700
Compressed Size	38005
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 33

Status	unknown
Inferred Status	None
Size	267681
Compressed Size	38010
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 34

Status	unknown
Inferred Status	None
Size	267702
Compressed Size	38014
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 35

Status	unknown
Inferred Status	None
Size	267721
Compressed Size	38019
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 36

Status	unknown
Inferred Status	None
Size	267742
Compressed Size	38022
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 37

Status	unknown
Inferred Status	None
Size	267761
Compressed Size	38020
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 38

Status	unknown
Inferred Status	None
Size	267782
Compressed Size	38023
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 39

Status	unknown
Inferred Status	None
Size	267801
Compressed Size	38024
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 40

Status	unknown
Inferred Status	None
Size	267827
Compressed Size	38023
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 41

Status	unknown
Inferred Status	None
Size	267871
Compressed Size	38030
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 42

Status	unknown
Inferred Status	None
Size	267892
Compressed Size	38031
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 43

Status	unknown
Inferred Status	None
Size	267946
Compressed Size	38028
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 44

Status	unknown
Inferred Status	None
Size	267926
Compressed Size	38033
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 45

Status	unknown
Inferred Status	None
Size	267947
Compressed Size	38032
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 46

Status	unknown
Inferred Status	None
Size	267937
Compressed Size	38031
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 47

Status	unknown
Inferred Status	None
Size	267958
Compressed Size	38031
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 48

Status	unknown
Inferred Status	None
Size	268025
Compressed Size	38036
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 49

Status	unknown
Inferred Status	None
Size	268046
Compressed Size	38037
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 50

Status	unknown
Inferred Status	None
Size	268027
Compressed Size	38042
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 51

Status	unknown
Inferred Status	None
Size	268047
Compressed Size	38049
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 52

Status	unknown
Inferred Status	None
Size	268067
Compressed Size	38047
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 53

Status	unknown
Inferred Status	None
Size	268093
Compressed Size	38047
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 54

Status	unknown
Inferred Status	None
Size	268137
Compressed Size	38051
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 55

Status	unknown
Inferred Status	None
Size	268192
Compressed Size	38049
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 56

Status	unknown
Inferred Status	None
Size	268172
Compressed Size	38053
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 57

Status	unknown
Inferred Status	None
Size	268163
Compressed Size	38051
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 58

Status	unknown
Inferred Status	None
Size	268231
Compressed Size	38054
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	140	or	2
and	193	=>	75	=	1301	forall	57
Int	123	div	1	+	6	-	54
*	9	<	1	<=	152	>	8
>=	110

Query 59

Status	unknown
Inferred Status	None
Size	268476
Compressed Size	38084
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 60

Status	unknown
Inferred Status	None
Size	268491
Compressed Size	38084
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 61

Status	unknown
Inferred Status	None
Size	268520
Compressed Size	38094
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 62

Status	unknown
Inferred Status	None
Size	268535
Compressed Size	38095
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 63

Status	unknown
Inferred Status	None
Size	268556
Compressed Size	38107
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 64

Status	unknown
Inferred Status	None
Size	268605
Compressed Size	38109
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 65

Status	unknown
Inferred Status	None
Size	268600
Compressed Size	38099
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 66

Status	unknown
Inferred Status	None
Size	268619
Compressed Size	38117
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 67

Status	unknown
Inferred Status	None
Size	268668
Compressed Size	38119
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 68

Status	unknown
Inferred Status	None
Size	268664
Compressed Size	38110
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 69

Status	unknown
Inferred Status	None
Size	268698
Compressed Size	38132
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 70

Status	unknown
Inferred Status	None
Size	268742
Compressed Size	38139
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 71

Status	unknown
Inferred Status	None
Size	268740
Compressed Size	38129
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 72

Status	unknown
Inferred Status	None
Size	268758
Compressed Size	38146
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 73

Status	unknown
Inferred Status	None
Size	268784
Compressed Size	38144
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 74

Status	unknown
Inferred Status	None
Size	268804
Compressed Size	38143
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 75

Status	unknown
Inferred Status	None
Size	268848
Compressed Size	38154
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 76

Status	unknown
Inferred Status	None
Size	268868
Compressed Size	38157
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 77

Status	unknown
Inferred Status	None
Size	268888
Compressed Size	38159
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 78

Status	unknown
Inferred Status	None
Size	268884
Compressed Size	38150
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 79

Status	unknown
Inferred Status	None
Size	268906
Compressed Size	38151
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 80

Status	unknown
Inferred Status	None
Size	268926
Compressed Size	38152
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 81

Status	unknown
Inferred Status	None
Size	268944
Compressed Size	38167
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 82

Status	unknown
Inferred Status	None
Size	268964
Compressed Size	38170
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 83

Status	unknown
Inferred Status	None
Size	268984
Compressed Size	38172
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 84

Status	unknown
Inferred Status	None
Size	269010
Compressed Size	38169
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 85

Status	unknown
Inferred Status	None
Size	269054
Compressed Size	38176
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 86

Status	unknown
Inferred Status	None
Size	269074
Compressed Size	38177
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 87

Status	unknown
Inferred Status	None
Size	269094
Compressed Size	38179
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 88

Status	unknown
Inferred Status	None
Size	269114
Compressed Size	38181
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 89

Status	unknown
Inferred Status	None
Size	269134
Compressed Size	38184
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 90

Status	unknown
Inferred Status	None
Size	269159
Compressed Size	38176
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 91

Status	unknown
Inferred Status	None
Size	269150
Compressed Size	38173
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 92

Status	unknown
Inferred Status	None
Size	269170
Compressed Size	38174
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 93

Status	unknown
Inferred Status	None
Size	269192
Compressed Size	38176
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 94

Status	unknown
Inferred Status	None
Size	269258
Compressed Size	38180
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 95

Status	unknown
Inferred Status	None
Size	269230
Compressed Size	38187
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 96

Status	unknown
Inferred Status	None
Size	269250
Compressed Size	38189
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 97

Status	unknown
Inferred Status	None
Size	269270
Compressed Size	38194
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 98

Status	unknown
Inferred Status	None
Size	269290
Compressed Size	38196
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 99

Status	unknown
Inferred Status	None
Size	269316
Compressed Size	38194
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110

Query 100

Status	unknown
Inferred Status	None
Size	269360
Compressed Size	38200
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	140	or	2
and	193	=>	77	=	1306	forall	57
Int	123	div	1	+	6	-	58
*	9	<	9	<=	152	>	8
>=	110