Benchmark

incremental/QF_UFNIA/20190909-CLEARSY/0016/00677.smt2 

Benchmark without description.
Benchmark
Size25836
Compressed Size3214
License Creative Commons Attribution Non Commercial 4.0 International (CC-BY-NC-4.0)
Categoryindustrial
First Occurrence2020-07-06
Generated ByDavid Deharbe, CLEARSY
Generated On2019-09-09 00:00:00
Generatorbxml;pog;pog2smt (Atelier B)
Dolmen OK1
strict Dolmen OK1
check-sat calls42
Query 1
Status unknown
Inferred Status None
Size 12706
Compressed Size2508
Max. Term Depth5
Asserts 9
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not19 and4
=23 -2
Query 2
Status unknown
Inferred Status None
Size 13164
Compressed Size2593
Max. Term Depth7
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not19 and4
=23 -2
Query 3
Status unknown
Inferred Status None
Size 13130
Compressed Size2607
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not20 and4
=23 -2
Query 4
Status unknown
Inferred Status None
Size 13145
Compressed Size2609
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not20 and4
=23 -2
Query 5
Status unknown
Inferred Status None
Size 13111
Compressed Size2591
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not21 and4
=23 -2
Query 6
Status unknown
Inferred Status None
Size 13175
Compressed Size2612
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not20 and4
=23 -2
Query 7
Status unknown
Inferred Status None
Size 13141
Compressed Size2597
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not21 and4
=23 -2
Query 8
Status unknown
Inferred Status None
Size 13156
Compressed Size2599
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not21 and4
=23 -2
Query 9
Status unknown
Inferred Status None
Size 13044
Compressed Size2575
Max. Term Depth5
Asserts 14
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not19 and4
=23 -2
Query 10
Status unknown
Inferred Status None
Size 13185
Compressed Size2590
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not19 and4
=23 -2
Query 11
Status unknown
Inferred Status None
Size 13204
Compressed Size2599
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not19 and4
=23 -2
Query 12
Status unknown
Inferred Status None
Size 13223
Compressed Size2602
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not19 and4
=23 -2
Query 13
Status unknown
Inferred Status None
Size 13242
Compressed Size2610
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not19 and4
=23 -2
Query 14
Status unknown
Inferred Status None
Size 13240
Compressed Size2596
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not19 and4
=23 -2
Query 15
Status unknown
Inferred Status None
Size 13259
Compressed Size2599
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not19 and4
=23 -2
Query 16
Status unknown
Inferred Status None
Size 13278
Compressed Size2601
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not19 and4
=23 -2
Query 17
Status unknown
Inferred Status None
Size 13352
Compressed Size2623
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not19 and4
=23 -2
Query 18
Status unknown
Inferred Status None
Size 13426
Compressed Size2635
Max. Term Depth6
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not19 and4
=23 -2
Query 19
Status unknown
Inferred Status None
Size 13208
Compressed Size2606
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not20 and4
=23 -2
Query 20
Status unknown
Inferred Status None
Size 13228
Compressed Size2613
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not20 and4
=23 -2
Query 21
Status unknown
Inferred Status None
Size 13248
Compressed Size2619
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not20 and4
=23 -2
Query 22
Status unknown
Inferred Status None
Size 13247
Compressed Size2607
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not20 and4
=23 -2
Query 23
Status unknown
Inferred Status None
Size 13267
Compressed Size2608
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not20 and4
=23 -2
Query 24
Status unknown
Inferred Status None
Size 13342
Compressed Size2629
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not20 and4
=23 -2
Query 25
Status unknown
Inferred Status None
Size 13224
Compressed Size2611
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not20 and4
=23 -2
Query 26
Status unknown
Inferred Status None
Size 13244
Compressed Size2614
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not20 and4
=23 -2
Query 27
Status unknown
Inferred Status None
Size 13264
Compressed Size2622
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not20 and4
=23 -2
Query 28
Status unknown
Inferred Status None
Size 13263
Compressed Size2607
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not20 and4
=23 -2
Query 29
Status unknown
Inferred Status None
Size 13283
Compressed Size2609
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not20 and4
=23 -2
Query 30
Status unknown
Inferred Status None
Size 13358
Compressed Size2633
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not20 and4
=23 -2
Query 31
Status unknown
Inferred Status None
Size 13246
Compressed Size2610
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not21 and4
=23 -2
Query 32
Status unknown
Inferred Status None
Size 13245
Compressed Size2599
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not21 and4
=23 -2
Query 33
Status unknown
Inferred Status None
Size 13256
Compressed Size2613
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not20 and4
=23 -2
Query 34
Status unknown
Inferred Status None
Size 13276
Compressed Size2622
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not20 and4
=23 -2
Query 35
Status unknown
Inferred Status None
Size 13296
Compressed Size2628
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not20 and4
=23 -2
Query 36
Status unknown
Inferred Status None
Size 13295
Compressed Size2615
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not20 and4
=23 -2
Query 37
Status unknown
Inferred Status None
Size 13315
Compressed Size2617
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not20 and4
=23 -2
Query 38
Status unknown
Inferred Status None
Size 13390
Compressed Size2641
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not20 and4
=23 -2
Query 39
Status unknown
Inferred Status None
Size 13278
Compressed Size2616
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not21 and4
=23 -2
Query 40
Status unknown
Inferred Status None
Size 13277
Compressed Size2610
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not21 and4
=23 -2
Query 41
Status unknown
Inferred Status None
Size 13294
Compressed Size2621
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not21 and4
=23 -2
Query 42
Status unknown
Inferred Status None
Size 13293
Compressed Size2613
Max. Term Depth5
Asserts 16
Declared Functions115
Declared Constants120
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants10
Declared Datatypes0

Symbols

true6 Bool10 not21 and4
=23 -2