The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for incrementerencoder family
Download (113430 Kb)
Submitter:
Paolo Marin
Suite:
MillerMarin
Domain:
Formal Verification
Description:
Blackbox BMC encoding of various modifications of an IncrementerEncoder design which is constructed out of a configurable incrementer unit and a combinatorial logic puzzle. The instances contain about 500 gates and 20 latches.
Number of instances:
612
Results:
2020  Track 1
2019  Track 1
2018  Track 1
2018  Track 2
2017  Track 1
2017  Track 2
2016  Track 1
2016  Track 2
2016  Track 5
2016  Track 6
2016  Track 7
Instances:
incrementerenc01nonuniformdepth0
incrementerenc01nonuniformdepth1
incrementerenc01nonuniformdepth10
incrementerenc01nonuniformdepth11
incrementerenc01nonuniformdepth12
incrementerenc01nonuniformdepth13
incrementerenc01nonuniformdepth14
incrementerenc01nonuniformdepth15
incrementerenc01nonuniformdepth16
incrementerenc01nonuniformdepth17
incrementerenc01nonuniformdepth18
incrementerenc01nonuniformdepth19
incrementerenc01nonuniformdepth2
incrementerenc01nonuniformdepth20
incrementerenc01nonuniformdepth21
incrementerenc01nonuniformdepth22
incrementerenc01nonuniformdepth23
incrementerenc01nonuniformdepth24
incrementerenc01nonuniformdepth25
incrementerenc01nonuniformdepth26
incrementerenc01nonuniformdepth27
incrementerenc01nonuniformdepth28
incrementerenc01nonuniformdepth29
incrementerenc01nonuniformdepth3
incrementerenc01nonuniformdepth30
incrementerenc01nonuniformdepth31
incrementerenc01nonuniformdepth32
incrementerenc01nonuniformdepth33
incrementerenc01nonuniformdepth4
incrementerenc01nonuniformdepth5
incrementerenc01nonuniformdepth6
incrementerenc01nonuniformdepth7
incrementerenc01nonuniformdepth8
incrementerenc01nonuniformdepth9
incrementerenc01uniformdepth0
incrementerenc01uniformdepth1
incrementerenc01uniformdepth10
incrementerenc01uniformdepth11
incrementerenc01uniformdepth12
incrementerenc01uniformdepth13
incrementerenc01uniformdepth14
incrementerenc01uniformdepth15
incrementerenc01uniformdepth16
incrementerenc01uniformdepth17
incrementerenc01uniformdepth18
incrementerenc01uniformdepth19
incrementerenc01uniformdepth2
incrementerenc01uniformdepth20
incrementerenc01uniformdepth21
incrementerenc01uniformdepth22
incrementerenc01uniformdepth23
incrementerenc01uniformdepth24
incrementerenc01uniformdepth25
incrementerenc01uniformdepth26
incrementerenc01uniformdepth27
incrementerenc01uniformdepth28
incrementerenc01uniformdepth29
incrementerenc01uniformdepth3
incrementerenc01uniformdepth30
incrementerenc01uniformdepth31
incrementerenc01uniformdepth32
incrementerenc01uniformdepth33
incrementerenc01uniformdepth4
incrementerenc01uniformdepth5
incrementerenc01uniformdepth6
incrementerenc01uniformdepth7
incrementerenc01uniformdepth8
incrementerenc01uniformdepth9
incrementerenc02nonuniformdepth0
incrementerenc02nonuniformdepth1
incrementerenc02nonuniformdepth10
incrementerenc02nonuniformdepth11
incrementerenc02nonuniformdepth12
incrementerenc02nonuniformdepth13
incrementerenc02nonuniformdepth14
incrementerenc02nonuniformdepth15
incrementerenc02nonuniformdepth16
incrementerenc02nonuniformdepth17
incrementerenc02nonuniformdepth18
incrementerenc02nonuniformdepth19
incrementerenc02nonuniformdepth2
incrementerenc02nonuniformdepth20
incrementerenc02nonuniformdepth21
incrementerenc02nonuniformdepth22
incrementerenc02nonuniformdepth23
incrementerenc02nonuniformdepth24
incrementerenc02nonuniformdepth25
incrementerenc02nonuniformdepth26
incrementerenc02nonuniformdepth27
incrementerenc02nonuniformdepth28
incrementerenc02nonuniformdepth29
incrementerenc02nonuniformdepth3
incrementerenc02nonuniformdepth30
incrementerenc02nonuniformdepth31
incrementerenc02nonuniformdepth32
incrementerenc02nonuniformdepth33
incrementerenc02nonuniformdepth34
incrementerenc02nonuniformdepth35
incrementerenc02nonuniformdepth36
incrementerenc02nonuniformdepth37
incrementerenc02nonuniformdepth38
incrementerenc02nonuniformdepth39
incrementerenc02nonuniformdepth4
incrementerenc02nonuniformdepth40
incrementerenc02nonuniformdepth41
incrementerenc02nonuniformdepth42
incrementerenc02nonuniformdepth43
incrementerenc02nonuniformdepth44
incrementerenc02nonuniformdepth45
incrementerenc02nonuniformdepth46
incrementerenc02nonuniformdepth47
incrementerenc02nonuniformdepth48
incrementerenc02nonuniformdepth49
incrementerenc02nonuniformdepth5
incrementerenc02nonuniformdepth50
incrementerenc02nonuniformdepth51
incrementerenc02nonuniformdepth52
incrementerenc02nonuniformdepth53
incrementerenc02nonuniformdepth54
incrementerenc02nonuniformdepth55
incrementerenc02nonuniformdepth56
incrementerenc02nonuniformdepth57
incrementerenc02nonuniformdepth58
incrementerenc02nonuniformdepth59
incrementerenc02nonuniformdepth6
incrementerenc02nonuniformdepth60
incrementerenc02nonuniformdepth61
incrementerenc02nonuniformdepth62
incrementerenc02nonuniformdepth63
incrementerenc02nonuniformdepth64
incrementerenc02nonuniformdepth65
incrementerenc02nonuniformdepth7
incrementerenc02nonuniformdepth8
incrementerenc02nonuniformdepth9
incrementerenc02uniformdepth0
incrementerenc02uniformdepth1
incrementerenc02uniformdepth10
incrementerenc02uniformdepth11
incrementerenc02uniformdepth12
incrementerenc02uniformdepth13
incrementerenc02uniformdepth14
incrementerenc02uniformdepth15
incrementerenc02uniformdepth16
incrementerenc02uniformdepth17
incrementerenc02uniformdepth18
incrementerenc02uniformdepth19
incrementerenc02uniformdepth2
incrementerenc02uniformdepth20
incrementerenc02uniformdepth21
incrementerenc02uniformdepth22
incrementerenc02uniformdepth23
incrementerenc02uniformdepth24
incrementerenc02uniformdepth25
incrementerenc02uniformdepth26
incrementerenc02uniformdepth27
incrementerenc02uniformdepth28
incrementerenc02uniformdepth29
incrementerenc02uniformdepth3
incrementerenc02uniformdepth30
incrementerenc02uniformdepth31
incrementerenc02uniformdepth32
incrementerenc02uniformdepth33
incrementerenc02uniformdepth34
incrementerenc02uniformdepth35
incrementerenc02uniformdepth36
incrementerenc02uniformdepth37
incrementerenc02uniformdepth38
incrementerenc02uniformdepth39
incrementerenc02uniformdepth4
incrementerenc02uniformdepth40
incrementerenc02uniformdepth41
incrementerenc02uniformdepth42
incrementerenc02uniformdepth43
incrementerenc02uniformdepth44
incrementerenc02uniformdepth45
incrementerenc02uniformdepth46
incrementerenc02uniformdepth47
incrementerenc02uniformdepth48
incrementerenc02uniformdepth49
incrementerenc02uniformdepth5
incrementerenc02uniformdepth50
incrementerenc02uniformdepth51
incrementerenc02uniformdepth52
incrementerenc02uniformdepth53
incrementerenc02uniformdepth54
incrementerenc02uniformdepth55
incrementerenc02uniformdepth56
incrementerenc02uniformdepth57
incrementerenc02uniformdepth58
incrementerenc02uniformdepth59
incrementerenc02uniformdepth6
incrementerenc02uniformdepth60
incrementerenc02uniformdepth61
incrementerenc02uniformdepth62
incrementerenc02uniformdepth63
incrementerenc02uniformdepth64
incrementerenc02uniformdepth65
incrementerenc02uniformdepth7
incrementerenc02uniformdepth8
incrementerenc02uniformdepth9
incrementerenc03nonuniformdepth0
incrementerenc03nonuniformdepth1
incrementerenc03nonuniformdepth10
incrementerenc03nonuniformdepth11
incrementerenc03nonuniformdepth12
incrementerenc03nonuniformdepth13
incrementerenc03nonuniformdepth14
incrementerenc03nonuniformdepth15
incrementerenc03nonuniformdepth16
incrementerenc03nonuniformdepth17
incrementerenc03nonuniformdepth18
incrementerenc03nonuniformdepth19
incrementerenc03nonuniformdepth2
incrementerenc03nonuniformdepth20
incrementerenc03nonuniformdepth21
incrementerenc03nonuniformdepth22
incrementerenc03nonuniformdepth23
incrementerenc03nonuniformdepth24
incrementerenc03nonuniformdepth25
incrementerenc03nonuniformdepth26
incrementerenc03nonuniformdepth27
incrementerenc03nonuniformdepth28
incrementerenc03nonuniformdepth29
incrementerenc03nonuniformdepth3
incrementerenc03nonuniformdepth30
incrementerenc03nonuniformdepth31
incrementerenc03nonuniformdepth32
incrementerenc03nonuniformdepth33
incrementerenc03nonuniformdepth4
incrementerenc03nonuniformdepth5
incrementerenc03nonuniformdepth6
incrementerenc03nonuniformdepth7
incrementerenc03nonuniformdepth8
incrementerenc03nonuniformdepth9
incrementerenc03uniformdepth0
incrementerenc03uniformdepth1
incrementerenc03uniformdepth10
incrementerenc03uniformdepth11
incrementerenc03uniformdepth12
incrementerenc03uniformdepth13
incrementerenc03uniformdepth14
incrementerenc03uniformdepth15
incrementerenc03uniformdepth16
incrementerenc03uniformdepth17
incrementerenc03uniformdepth18
incrementerenc03uniformdepth19
incrementerenc03uniformdepth2
incrementerenc03uniformdepth20
incrementerenc03uniformdepth21
incrementerenc03uniformdepth22
incrementerenc03uniformdepth23
incrementerenc03uniformdepth24
incrementerenc03uniformdepth25
incrementerenc03uniformdepth26
incrementerenc03uniformdepth27
incrementerenc03uniformdepth28
incrementerenc03uniformdepth29
incrementerenc03uniformdepth3
incrementerenc03uniformdepth30
incrementerenc03uniformdepth31
incrementerenc03uniformdepth32
incrementerenc03uniformdepth33
incrementerenc03uniformdepth4
incrementerenc03uniformdepth5
incrementerenc03uniformdepth6
incrementerenc03uniformdepth7
incrementerenc03uniformdepth8
incrementerenc03uniformdepth9
incrementerenc04nonuniformdepth0
incrementerenc04nonuniformdepth1
incrementerenc04nonuniformdepth10
incrementerenc04nonuniformdepth11
incrementerenc04nonuniformdepth12
incrementerenc04nonuniformdepth13
incrementerenc04nonuniformdepth14
incrementerenc04nonuniformdepth15
incrementerenc04nonuniformdepth16
incrementerenc04nonuniformdepth17
incrementerenc04nonuniformdepth2
incrementerenc04nonuniformdepth3
incrementerenc04nonuniformdepth4
incrementerenc04nonuniformdepth5
incrementerenc04nonuniformdepth6
incrementerenc04nonuniformdepth7
incrementerenc04nonuniformdepth8
incrementerenc04nonuniformdepth9
incrementerenc04uniformdepth0
incrementerenc04uniformdepth1
incrementerenc04uniformdepth10
incrementerenc04uniformdepth11
incrementerenc04uniformdepth12
incrementerenc04uniformdepth13
incrementerenc04uniformdepth14
incrementerenc04uniformdepth15
incrementerenc04uniformdepth16
incrementerenc04uniformdepth17
incrementerenc04uniformdepth2
incrementerenc04uniformdepth3
incrementerenc04uniformdepth4
incrementerenc04uniformdepth5
incrementerenc04uniformdepth6
incrementerenc04uniformdepth7
incrementerenc04uniformdepth8
incrementerenc04uniformdepth9
incrementerenc05nonuniformdepth0
incrementerenc05nonuniformdepth1
incrementerenc05nonuniformdepth10
incrementerenc05nonuniformdepth11
incrementerenc05nonuniformdepth12
incrementerenc05nonuniformdepth13
incrementerenc05nonuniformdepth14
incrementerenc05nonuniformdepth15
incrementerenc05nonuniformdepth16
incrementerenc05nonuniformdepth17
incrementerenc05nonuniformdepth18
incrementerenc05nonuniformdepth19
incrementerenc05nonuniformdepth2
incrementerenc05nonuniformdepth20
incrementerenc05nonuniformdepth21
incrementerenc05nonuniformdepth22
incrementerenc05nonuniformdepth23
incrementerenc05nonuniformdepth24
incrementerenc05nonuniformdepth25
incrementerenc05nonuniformdepth26
incrementerenc05nonuniformdepth27
incrementerenc05nonuniformdepth28
incrementerenc05nonuniformdepth29
incrementerenc05nonuniformdepth3
incrementerenc05nonuniformdepth30
incrementerenc05nonuniformdepth31
incrementerenc05nonuniformdepth32
incrementerenc05nonuniformdepth33
incrementerenc05nonuniformdepth4
incrementerenc05nonuniformdepth5
incrementerenc05nonuniformdepth6
incrementerenc05nonuniformdepth7
incrementerenc05nonuniformdepth8
incrementerenc05nonuniformdepth9
incrementerenc05uniformdepth0
incrementerenc05uniformdepth1
incrementerenc05uniformdepth10
incrementerenc05uniformdepth11
incrementerenc05uniformdepth12
incrementerenc05uniformdepth13
incrementerenc05uniformdepth14
incrementerenc05uniformdepth15
incrementerenc05uniformdepth16
incrementerenc05uniformdepth17
incrementerenc05uniformdepth18
incrementerenc05uniformdepth19
incrementerenc05uniformdepth2
incrementerenc05uniformdepth20
incrementerenc05uniformdepth21
incrementerenc05uniformdepth22
incrementerenc05uniformdepth23
incrementerenc05uniformdepth24
incrementerenc05uniformdepth25
incrementerenc05uniformdepth26
incrementerenc05uniformdepth27
incrementerenc05uniformdepth28
incrementerenc05uniformdepth29
incrementerenc05uniformdepth3
incrementerenc05uniformdepth30
incrementerenc05uniformdepth31
incrementerenc05uniformdepth32
incrementerenc05uniformdepth33
incrementerenc05uniformdepth4
incrementerenc05uniformdepth5
incrementerenc05uniformdepth6
incrementerenc05uniformdepth7
incrementerenc05uniformdepth8
incrementerenc05uniformdepth9
incrementerenc06nonuniformdepth0
incrementerenc06nonuniformdepth1
incrementerenc06nonuniformdepth10
incrementerenc06nonuniformdepth11
incrementerenc06nonuniformdepth12
incrementerenc06nonuniformdepth13
incrementerenc06nonuniformdepth14
incrementerenc06nonuniformdepth15
incrementerenc06nonuniformdepth16
incrementerenc06nonuniformdepth17
incrementerenc06nonuniformdepth18
incrementerenc06nonuniformdepth19
incrementerenc06nonuniformdepth2
incrementerenc06nonuniformdepth20
incrementerenc06nonuniformdepth21
incrementerenc06nonuniformdepth22
incrementerenc06nonuniformdepth23
incrementerenc06nonuniformdepth24
incrementerenc06nonuniformdepth25
incrementerenc06nonuniformdepth26
incrementerenc06nonuniformdepth27
incrementerenc06nonuniformdepth28
incrementerenc06nonuniformdepth29
incrementerenc06nonuniformdepth3
incrementerenc06nonuniformdepth30
incrementerenc06nonuniformdepth31
incrementerenc06nonuniformdepth32
incrementerenc06nonuniformdepth33
incrementerenc06nonuniformdepth4
incrementerenc06nonuniformdepth5
incrementerenc06nonuniformdepth6
incrementerenc06nonuniformdepth7
incrementerenc06nonuniformdepth8
incrementerenc06nonuniformdepth9
incrementerenc06uniformdepth0
incrementerenc06uniformdepth1
incrementerenc06uniformdepth10
incrementerenc06uniformdepth11
incrementerenc06uniformdepth12
incrementerenc06uniformdepth13
incrementerenc06uniformdepth14
incrementerenc06uniformdepth15
incrementerenc06uniformdepth16
incrementerenc06uniformdepth17
incrementerenc06uniformdepth18
incrementerenc06uniformdepth19
incrementerenc06uniformdepth2
incrementerenc06uniformdepth20
incrementerenc06uniformdepth21
incrementerenc06uniformdepth22
incrementerenc06uniformdepth23
incrementerenc06uniformdepth24
incrementerenc06uniformdepth25
incrementerenc06uniformdepth26
incrementerenc06uniformdepth27
incrementerenc06uniformdepth28
incrementerenc06uniformdepth29
incrementerenc06uniformdepth3
incrementerenc06uniformdepth30
incrementerenc06uniformdepth31
incrementerenc06uniformdepth32
incrementerenc06uniformdepth33
incrementerenc06uniformdepth4
incrementerenc06uniformdepth5
incrementerenc06uniformdepth6
incrementerenc06uniformdepth7
incrementerenc06uniformdepth8
incrementerenc06uniformdepth9
incrementerenc07nonuniformdepth0
incrementerenc07nonuniformdepth1
incrementerenc07nonuniformdepth10
incrementerenc07nonuniformdepth11
incrementerenc07nonuniformdepth12
incrementerenc07nonuniformdepth13
incrementerenc07nonuniformdepth14
incrementerenc07nonuniformdepth15
incrementerenc07nonuniformdepth16
incrementerenc07nonuniformdepth17
incrementerenc07nonuniformdepth18
incrementerenc07nonuniformdepth19
incrementerenc07nonuniformdepth2
incrementerenc07nonuniformdepth20
incrementerenc07nonuniformdepth21
incrementerenc07nonuniformdepth22
incrementerenc07nonuniformdepth23
incrementerenc07nonuniformdepth24
incrementerenc07nonuniformdepth25
incrementerenc07nonuniformdepth26
incrementerenc07nonuniformdepth27
incrementerenc07nonuniformdepth28
incrementerenc07nonuniformdepth29
incrementerenc07nonuniformdepth3
incrementerenc07nonuniformdepth30
incrementerenc07nonuniformdepth31
incrementerenc07nonuniformdepth32
incrementerenc07nonuniformdepth33
incrementerenc07nonuniformdepth4
incrementerenc07nonuniformdepth5
incrementerenc07nonuniformdepth6
incrementerenc07nonuniformdepth7
incrementerenc07nonuniformdepth8
incrementerenc07nonuniformdepth9
incrementerenc07uniformdepth0
incrementerenc07uniformdepth1
incrementerenc07uniformdepth10
incrementerenc07uniformdepth11
incrementerenc07uniformdepth12
incrementerenc07uniformdepth13
incrementerenc07uniformdepth14
incrementerenc07uniformdepth15
incrementerenc07uniformdepth16
incrementerenc07uniformdepth17
incrementerenc07uniformdepth18
incrementerenc07uniformdepth19
incrementerenc07uniformdepth2
incrementerenc07uniformdepth20
incrementerenc07uniformdepth21
incrementerenc07uniformdepth22
incrementerenc07uniformdepth23
incrementerenc07uniformdepth24
incrementerenc07uniformdepth25
incrementerenc07uniformdepth26
incrementerenc07uniformdepth27
incrementerenc07uniformdepth28
incrementerenc07uniformdepth29
incrementerenc07uniformdepth3
incrementerenc07uniformdepth30
incrementerenc07uniformdepth31
incrementerenc07uniformdepth32
incrementerenc07uniformdepth33
incrementerenc07uniformdepth4
incrementerenc07uniformdepth5
incrementerenc07uniformdepth6
incrementerenc07uniformdepth7
incrementerenc07uniformdepth8
incrementerenc07uniformdepth9
incrementerenc08nonuniformdepth0
incrementerenc08nonuniformdepth1
incrementerenc08nonuniformdepth10
incrementerenc08nonuniformdepth11
incrementerenc08nonuniformdepth12
incrementerenc08nonuniformdepth13
incrementerenc08nonuniformdepth14
incrementerenc08nonuniformdepth15
incrementerenc08nonuniformdepth16
incrementerenc08nonuniformdepth17
incrementerenc08nonuniformdepth18
incrementerenc08nonuniformdepth19
incrementerenc08nonuniformdepth2
incrementerenc08nonuniformdepth20
incrementerenc08nonuniformdepth21
incrementerenc08nonuniformdepth22
incrementerenc08nonuniformdepth23
incrementerenc08nonuniformdepth24
incrementerenc08nonuniformdepth25
incrementerenc08nonuniformdepth26
incrementerenc08nonuniformdepth27
incrementerenc08nonuniformdepth28
incrementerenc08nonuniformdepth29
incrementerenc08nonuniformdepth3
incrementerenc08nonuniformdepth30
incrementerenc08nonuniformdepth31
incrementerenc08nonuniformdepth32
incrementerenc08nonuniformdepth33
incrementerenc08nonuniformdepth4
incrementerenc08nonuniformdepth5
incrementerenc08nonuniformdepth6
incrementerenc08nonuniformdepth7
incrementerenc08nonuniformdepth8
incrementerenc08nonuniformdepth9
incrementerenc08uniformdepth0
incrementerenc08uniformdepth1
incrementerenc08uniformdepth10
incrementerenc08uniformdepth11
incrementerenc08uniformdepth12
incrementerenc08uniformdepth13
incrementerenc08uniformdepth14
incrementerenc08uniformdepth15
incrementerenc08uniformdepth16
incrementerenc08uniformdepth17
incrementerenc08uniformdepth18
incrementerenc08uniformdepth19
incrementerenc08uniformdepth2
incrementerenc08uniformdepth20
incrementerenc08uniformdepth21
incrementerenc08uniformdepth22
incrementerenc08uniformdepth23
incrementerenc08uniformdepth24
incrementerenc08uniformdepth25
incrementerenc08uniformdepth26
incrementerenc08uniformdepth27
incrementerenc08uniformdepth28
incrementerenc08uniformdepth29
incrementerenc08uniformdepth3
incrementerenc08uniformdepth30
incrementerenc08uniformdepth31
incrementerenc08uniformdepth32
incrementerenc08uniformdepth33
incrementerenc08uniformdepth4
incrementerenc08uniformdepth5
incrementerenc08uniformdepth6
incrementerenc08uniformdepth7
incrementerenc08uniformdepth8
incrementerenc08uniformdepth9
incrementerenc09nonuniformdepth0
incrementerenc09nonuniformdepth1
incrementerenc09nonuniformdepth10
incrementerenc09nonuniformdepth11
incrementerenc09nonuniformdepth12
incrementerenc09nonuniformdepth13
incrementerenc09nonuniformdepth14
incrementerenc09nonuniformdepth15
incrementerenc09nonuniformdepth16
incrementerenc09nonuniformdepth17
incrementerenc09nonuniformdepth2
incrementerenc09nonuniformdepth3
incrementerenc09nonuniformdepth4
incrementerenc09nonuniformdepth5
incrementerenc09nonuniformdepth6
incrementerenc09nonuniformdepth7
incrementerenc09nonuniformdepth8
incrementerenc09nonuniformdepth9
incrementerenc09uniformdepth0
incrementerenc09uniformdepth1
incrementerenc09uniformdepth10
incrementerenc09uniformdepth11
incrementerenc09uniformdepth12
incrementerenc09uniformdepth13
incrementerenc09uniformdepth14
incrementerenc09uniformdepth15
incrementerenc09uniformdepth16
incrementerenc09uniformdepth17
incrementerenc09uniformdepth2
incrementerenc09uniformdepth3
incrementerenc09uniformdepth4
incrementerenc09uniformdepth5
incrementerenc09uniformdepth6
incrementerenc09uniformdepth7
incrementerenc09uniformdepth8
incrementerenc09uniformdepth9
Contact

Organization

Links

Citing QBFLIB