   BENCHMARK INFORMATION
benchmark definition:    test/test-sets/integration-nightly-sv-comp.xml
name:                    integration-nightly-sv-comp
run sets:                ReachSafety-Hardware
date:                    Thu, 2025-11-27 14:40:54 CET
tool:                    CPAchecker 4.2.1-1-gd03fdd4639+
tool executable:         bin/cpachecker
options:                 --heap 10000M --timelimit 900s --no-output-files --option cpa.arg.compressWitness=true --option counterexample.export.compressWitness=true
resource limits:
- memory:                15000.0 MB
- time:                  900 s
- cpu cores:             2
hardware requirements:
- cpu model:             5750
- cpu cores:             2
- memory:                15000.0 MB
------------------------------------------------------------



ReachSafety-Hardware
Run set 1 of 1 with options '--heap 10000M --timelimit 900s --no-output-files --option cpa.arg.compressWitness=true --option counterexample.export.compressWitness=true --svcomp26' and propertyfile 'None'

inputfile                                                                                       status                       cpu time   wall time        host
-------------------------------------------------------------------------------------------------------------------------------------------------------------
hardware-verification-array/btor2c-lazyMod.safe_arbitrated_fifos_n2d8w8.yml                     TIMEOUT                        903.31      880.72    krater39
hardware-verification-array/btor2c-lazyMod.safe_linked_list_fifo_n2d4.yml                       TIMEOUT                        903.11      881.62    krater32
hardware-verification-array/btor2c-lazyMod.unknown_ridecore_array.yml                           TIMEOUT                        903.79      737.70    krater30
hardware-verification-array/btor2c-lazyMod.unsafe_arbitrated_fifos_n2d8w8.yml                   TIMEOUT                        902.99      872.20    krater28
hardware-verification-array/btor2c-lazyMod.unsafe_linked_list_fifo_n2d4.yml                     TIMEOUT                        902.73      882.03    krater37
hardware-verification-array/btor2c-lazyMod.unsafe_ridecore_array.yml                            TIMEOUT                        904.09      737.80    krater27
hardware-verification-bv/btor2c-lazyMod.Heap.yml                                                TIMEOUT                        906.20      554.50    krater36
hardware-verification-bv/btor2c-lazyMod.Huffman_dec.yml                                         true                            36.14       18.32    krater16
hardware-verification-bv/btor2c-lazyMod.Huffman_enc.yml                                         true                             9.92        5.20    krater05
hardware-verification-bv/btor2c-lazyMod.adding.1.prop1-back-serstep.yml                         false(unreach-call)            157.07       82.88    krater22
hardware-verification-bv/btor2c-lazyMod.adding.1.prop1-func-interl.yml                          TIMEOUT                        906.38      456.69    krater34
hardware-verification-bv/btor2c-lazyMod.adding.2.prop1-back-serstep.yml                         false(unreach-call)            875.27      562.72    krater17
hardware-verification-bv/btor2c-lazyMod.adding.2.prop1-func-interl.yml                          TIMEOUT                        910.84      618.88    krater08
hardware-verification-bv/btor2c-lazyMod.adding.3.prop1-back-serstep.yml                         TIMEOUT                        902.19      604.01    krater21
hardware-verification-bv/btor2c-lazyMod.adding.3.prop1-func-interl.yml                          TIMEOUT                        910.78      620.34    krater25
hardware-verification-bv/btor2c-lazyMod.adding.4.prop1-back-serstep.yml                         TIMEOUT                        902.50      605.82    krater40
hardware-verification-bv/btor2c-lazyMod.adding.4.prop1-func-interl.yml                          TIMEOUT                        910.48      619.93    krater01
hardware-verification-bv/btor2c-lazyMod.adding.5.prop1-back-serstep.yml                         TIMEOUT                        902.21      619.06    krater02
hardware-verification-bv/btor2c-lazyMod.adding.5.prop1-func-interl.yml                          TIMEOUT                        910.65      619.86    krater09
hardware-verification-bv/btor2c-lazyMod.adding.6.prop1-back-serstep.yml                         TIMEOUT                        902.10      603.36    krater04
hardware-verification-bv/btor2c-lazyMod.adding.6.prop1-func-interl.yml                          TIMEOUT                        910.95      615.11    krater05
hardware-verification-bv/btor2c-lazyMod.anderson.1.prop1-back-serstep.yml                       false(unreach-call)            725.19      386.92    krater03
hardware-verification-bv/btor2c-lazyMod.anderson.1.prop1-func-interl.yml                        TIMEOUT                        902.72      574.33    krater36
hardware-verification-bv/btor2c-lazyMod.anderson.2.prop1-back-serstep.yml                       TIMEOUT                        902.84      552.54    krater25
hardware-verification-bv/btor2c-lazyMod.anderson.2.prop1-func-interl.yml                        TIMEOUT                        903.04      558.84    krater35
hardware-verification-bv/btor2c-lazyMod.anderson.3.prop1-back-serstep.yml                       false(unreach-call)            554.01      277.52    krater30
hardware-verification-bv/btor2c-lazyMod.anderson.3.prop1-func-interl.yml                        TIMEOUT                        903.33      551.27    krater02
hardware-verification-bv/btor2c-lazyMod.anderson.4.prop1-back-serstep.yml                       TIMEOUT                        903.15      550.87    krater08
hardware-verification-bv/btor2c-lazyMod.anderson.4.prop1-func-interl.yml                        TIMEOUT                        902.94      551.30    krater38
hardware-verification-bv/btor2c-lazyMod.anderson.5.prop1-back-serstep.yml                       false(unreach-call)            715.04      362.44    krater22
hardware-verification-bv/btor2c-lazyMod.anderson.5.prop1-func-interl.yml                        TIMEOUT                        903.52      548.65    krater35
hardware-verification-bv/btor2c-lazyMod.anderson.6.prop1-back-serstep.yml                       TIMEOUT                        903.03      530.80    krater32
hardware-verification-bv/btor2c-lazyMod.anderson.6.prop1-func-interl.yml                        TIMEOUT                        903.06      545.41    krater22
hardware-verification-bv/btor2c-lazyMod.anderson.7.prop1-back-serstep.yml                       TIMEOUT                        902.75      548.00    krater10
hardware-verification-bv/btor2c-lazyMod.anderson.7.prop1-func-interl.yml                        TIMEOUT                        902.45      565.61    krater07
hardware-verification-bv/btor2c-lazyMod.anderson.8.prop1-back-serstep.yml                       TIMEOUT                        903.32      547.03    krater09
hardware-verification-bv/btor2c-lazyMod.anderson.8.prop1-func-interl.yml                        TIMEOUT                        903.49      566.65    krater20
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w16_d128_e0.yml                       TIMEOUT                        904.48      538.05    krater08
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w16_d16_e0.yml                        TIMEOUT                        902.89      565.17    krater02
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w16_d32_e0.yml                        TIMEOUT                        903.26      546.26    krater40
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w16_d64_e0.yml                        TIMEOUT                        904.42      546.59    krater03
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w16_d8_e0.yml                         TIMEOUT                        902.66      569.40    krater27
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w32_d128_e0.yml                       TIMEOUT                        902.97      495.18    krater35
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w32_d16_e0.yml                        TIMEOUT                        902.91      563.82    krater04
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w32_d32_e0.yml                        TIMEOUT                        903.13      546.59    krater28
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w32_d64_e0.yml                        TIMEOUT                        903.58      539.88    krater35
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w32_d8_e0.yml                         TIMEOUT                        903.98      566.83    krater02
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w64_d128_e0.yml                       TIMEOUT                        905.20      500.39    krater14
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w64_d16_e0.yml                        TIMEOUT                        902.89      552.16    krater17
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w64_d32_e0.yml                        TIMEOUT                        903.71      497.73    krater39
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w64_d64_e0.yml                        TIMEOUT                        902.38      512.90    krater08
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w64_d8_e0.yml                         TIMEOUT                        902.46      467.88    krater27
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w8_d128_e0.yml                        TIMEOUT                        903.66      532.17    krater09
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w8_d16_e0.yml                         TIMEOUT                        902.84      567.11    krater16
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w8_d32_e0.yml                         TIMEOUT                        902.90      550.55    krater09
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w8_d64_e0.yml                         TIMEOUT                        903.56      546.57    krater22
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w8_d8_e0.yml                          TIMEOUT                        902.98      567.61    krater08
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n3_w16_d128_e0.yml                       TIMEOUT                        938.70      471.84    krater15
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n3_w16_d16_e0.yml                        TIMEOUT                        902.70      549.67    krater19
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n3_w16_d32_e0.yml                        TIMEOUT                        903.43      533.25    krater24
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n3_w16_d64_e0.yml                        TIMEOUT                        904.07      535.37    krater38
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n3_w16_d8_e0.yml                         TIMEOUT                        902.50      564.96    krater34
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n3_w32_d128_e0.yml                       TIMEOUT                        943.62      472.83    krater09
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n3_w32_d16_e0.yml                        TIMEOUT                        902.72      565.33    krater13
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n3_w32_d32_e0.yml                        TIMEOUT                        903.05      565.76    krater30
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n3_w32_d64_e0.yml                        TIMEOUT                        902.93      538.63    krater28
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n3_w32_d8_e0.yml                         TIMEOUT                        902.78      577.64    krater29
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n3_w8_d128_e0.yml                        TIMEOUT                        946.55      474.22    krater06
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n3_w8_d16_e0.yml                         TIMEOUT                        902.70      549.39    krater21
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n3_w8_d32_e0.yml                         TIMEOUT                        902.94      542.02    krater09
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n3_w8_d64_e0.yml                         TIMEOUT                        903.52      535.93    krater38
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n3_w8_d8_e0.yml                          TIMEOUT                        903.46      559.06    krater15
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n4_w16_d128_e0.yml                       TIMEOUT                        904.33      531.87    krater20
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n4_w16_d16_e0.yml                        TIMEOUT                        903.14      535.66    krater14
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n4_w16_d32_e0.yml                        TIMEOUT                        903.23      533.25    krater03
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n4_w16_d64_e0.yml                        TIMEOUT                        902.64      509.69    krater02
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n4_w16_d8_e0.yml                         TIMEOUT                        902.52      572.37    krater24
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n4_w32_d128_e0.yml                       TIMEOUT                        904.56      538.39    krater01
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n4_w32_d16_e0.yml                        TIMEOUT                        903.84      540.49    krater18
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n4_w32_d32_e0.yml                        TIMEOUT                        903.28      535.45    krater01
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n4_w32_d64_e0.yml                        TIMEOUT                        903.64      513.60    krater26
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n4_w32_d8_e0.yml                         TIMEOUT                        902.60      577.05    krater33
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n4_w8_d128_e0.yml                        TIMEOUT                        914.61      543.62    krater31
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n4_w8_d16_e0.yml                         TIMEOUT                        903.14      540.24    krater08
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n4_w8_d32_e0.yml                         TIMEOUT                        903.13      529.29    krater08
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n4_w8_d64_e0.yml                         TIMEOUT                        903.90      521.70    krater25
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n4_w8_d8_e0.yml                          TIMEOUT                        902.82      572.92    krater35
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n5_w16_d128_e0.yml                       TIMEOUT                        903.85      476.72    krater14
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n5_w16_d16_e0.yml                        TIMEOUT                        903.44      557.84    krater04
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n5_w16_d32_e0.yml                        TIMEOUT                        903.78      526.65    krater37
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n5_w16_d64_e0.yml                        TIMEOUT                        904.53      471.94    krater31
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n5_w16_d8_e0.yml                         TIMEOUT                        903.37      578.87    krater38
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n5_w8_d128_e0.yml                        TIMEOUT                        904.40      492.59    krater17
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n5_w8_d16_e0.yml                         TIMEOUT                        902.96      538.45    krater38
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n5_w8_d32_e0.yml                         TIMEOUT                        903.41      536.83    krater07
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n5_w8_d64_e0.yml                         TIMEOUT                        904.04      486.68    krater18
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n5_w8_d8_e0.yml                          TIMEOUT                        902.81      544.81    krater31
hardware-verification-bv/btor2c-lazyMod.at.1.prop1-back-serstep.yml                             TIMEOUT                        902.58      545.40    krater05
hardware-verification-bv/btor2c-lazyMod.at.1.prop1-func-interl.yml                              TIMEOUT                        902.73      541.02    krater32
hardware-verification-bv/btor2c-lazyMod.at.2.prop1-back-serstep.yml                             false(unreach-call)            746.65      386.10    krater10
hardware-verification-bv/btor2c-lazyMod.at.2.prop1-func-interl.yml                              TIMEOUT                        902.36      543.25    krater36
hardware-verification-bv/btor2c-lazyMod.at.3.prop1-back-serstep.yml                             TIMEOUT                        902.96      550.14    krater16
hardware-verification-bv/btor2c-lazyMod.at.3.prop1-func-interl.yml                              TIMEOUT                        903.02      539.42    krater14
hardware-verification-bv/btor2c-lazyMod.at.4.prop1-back-serstep.yml                             TIMEOUT                        902.94      532.73    krater09
hardware-verification-bv/btor2c-lazyMod.at.4.prop1-func-interl.yml                              TIMEOUT                        902.49      512.86    krater04
hardware-verification-bv/btor2c-lazyMod.at.5.prop1-back-serstep.yml                             TIMEOUT                        903.22      549.01    krater17
hardware-verification-bv/btor2c-lazyMod.at.5.prop1-func-interl.yml                              TIMEOUT                        902.67      517.84    krater29
hardware-verification-bv/btor2c-lazyMod.at.6.prop1-back-serstep.yml                             TIMEOUT                        903.09      549.76    krater26
hardware-verification-bv/btor2c-lazyMod.at.6.prop1-func-interl.yml                              TIMEOUT                        902.59      525.83    krater01
hardware-verification-bv/btor2c-lazyMod.at.7.prop1-back-serstep.yml                             TIMEOUT                        903.04      544.21    krater36
hardware-verification-bv/btor2c-lazyMod.at.7.prop1-func-interl.yml                              TIMEOUT                        902.70      465.51    krater06
hardware-verification-bv/btor2c-lazyMod.bakery.1.prop1-back-serstep.yml                         TIMEOUT                        901.77      581.63    krater21
hardware-verification-bv/btor2c-lazyMod.bakery.1.prop1-func-interl.yml                          TIMEOUT                        910.59      577.41    krater34
hardware-verification-bv/btor2c-lazyMod.bakery.2.prop1-back-serstep.yml                         false(unreach-call)            221.04      111.75    krater30
hardware-verification-bv/btor2c-lazyMod.bakery.2.prop1-func-interl.yml                          TIMEOUT                        910.84      558.39    krater22
hardware-verification-bv/btor2c-lazyMod.bakery.3.prop1-back-serstep.yml                         TIMEOUT                        902.81      533.35    krater27
hardware-verification-bv/btor2c-lazyMod.bakery.3.prop1-func-interl.yml                          TIMEOUT                        902.71      546.92    krater01
hardware-verification-bv/btor2c-lazyMod.bakery.4.prop1-back-serstep.yml                         false(unreach-call)            893.16      517.41    krater14
hardware-verification-bv/btor2c-lazyMod.bakery.4.prop1-func-interl.yml                          TIMEOUT                        902.42      549.52    krater02
hardware-verification-bv/btor2c-lazyMod.bakery.5.prop1-back-serstep.yml                         TIMEOUT                        902.85      572.80    krater10
hardware-verification-bv/btor2c-lazyMod.bakery.5.prop1-func-interl.yml                          TIMEOUT                        902.51      550.44    krater28
hardware-verification-bv/btor2c-lazyMod.bakery.6.prop1-back-serstep.yml                         TIMEOUT                        903.14      569.62    krater20
hardware-verification-bv/btor2c-lazyMod.bakery.6.prop1-func-interl.yml                          TIMEOUT                        902.37      546.84    krater04
hardware-verification-bv/btor2c-lazyMod.bakery.7.prop1-back-serstep.yml                         TIMEOUT                        902.61      572.78    krater21
hardware-verification-bv/btor2c-lazyMod.bakery.7.prop1-func-interl.yml                          TIMEOUT                        902.46      553.25    krater01
hardware-verification-bv/btor2c-lazyMod.bakery.8.prop1-back-serstep.yml                         TIMEOUT                        902.97      553.29    krater10
hardware-verification-bv/btor2c-lazyMod.bakery.8.prop1-func-interl.yml                          TIMEOUT                        902.84      551.11    krater30
hardware-verification-bv/btor2c-lazyMod.bit-vector.yml                                          true                             8.19        4.34    krater18
hardware-verification-bv/btor2c-lazyMod.blocks.2.prop1-back-serstep.yml                         TIMEOUT                        902.55      546.75    krater16
hardware-verification-bv/btor2c-lazyMod.blocks.2.prop1-func-interl.yml                          TIMEOUT                        902.59      546.14    krater01
hardware-verification-bv/btor2c-lazyMod.blocks.3.prop1-back-serstep.yml                         TIMEOUT                        903.47      541.43    krater30
hardware-verification-bv/btor2c-lazyMod.blocks.3.prop1-func-interl.yml                          TIMEOUT                        902.98      541.78    krater19
hardware-verification-bv/btor2c-lazyMod.blocks.4.prop1-back-serstep.yml                         TIMEOUT                        902.82      547.47    krater05
hardware-verification-bv/btor2c-lazyMod.blocks.4.prop1-func-interl.yml                          TIMEOUT                        902.74      545.52    krater34
hardware-verification-bv/btor2c-lazyMod.bridge.1.prop1-back-serstep.yml                         TIMEOUT                        902.89      549.08    krater16
hardware-verification-bv/btor2c-lazyMod.bridge.1.prop1-func-interl.yml                          TIMEOUT                        910.84      460.73    krater10
hardware-verification-bv/btor2c-lazyMod.bridge.2.prop1-back-serstep.yml                         TIMEOUT                        903.13      487.68    krater21
hardware-verification-bv/btor2c-lazyMod.bridge.2.prop1-func-interl.yml                          TIMEOUT                        902.29      543.58    krater13
hardware-verification-bv/btor2c-lazyMod.bridge.3.prop1-back-serstep.yml                         TIMEOUT                        911.32      460.26    krater36
hardware-verification-bv/btor2c-lazyMod.bridge.3.prop1-func-interl.yml                          TIMEOUT                        902.64      487.17    krater24
hardware-verification-bv/btor2c-lazyMod.brp.1.prop1-back-serstep.yml                            TIMEOUT                        902.93      572.21    krater30
hardware-verification-bv/btor2c-lazyMod.brp.1.prop1-func-interl.yml                             TIMEOUT                        910.54      547.79    krater02
hardware-verification-bv/btor2c-lazyMod.brp.2.prop1-back-serstep.yml                            TIMEOUT (false(unreach-call))      905.36      552.72    krater30
hardware-verification-bv/btor2c-lazyMod.brp.2.prop1-func-interl.yml                             TIMEOUT                        910.71      556.89    krater14
hardware-verification-bv/btor2c-lazyMod.brp.3.prop1-back-serstep.yml                            TIMEOUT                        910.36      555.53    krater19
hardware-verification-bv/btor2c-lazyMod.brp.3.prop1-func-interl.yml                             TIMEOUT                        902.36      547.30    krater36
hardware-verification-bv/btor2c-lazyMod.brp.4.prop1-back-serstep.yml                            false(unreach-call)            869.32      495.67    krater04
hardware-verification-bv/btor2c-lazyMod.brp.4.prop1-func-interl.yml                             TIMEOUT                        902.39      541.36    krater27
hardware-verification-bv/btor2c-lazyMod.brp.5.prop1-back-serstep.yml                            TIMEOUT                        902.86      542.21    krater18
hardware-verification-bv/btor2c-lazyMod.brp.5.prop1-func-interl.yml                             TIMEOUT                        902.13      547.41    krater26
hardware-verification-bv/btor2c-lazyMod.brp.6.prop1-back-serstep.yml                            TIMEOUT                        903.18      549.18    krater13
hardware-verification-bv/btor2c-lazyMod.brp.6.prop1-func-interl.yml                             TIMEOUT                        902.37      531.93    krater30
hardware-verification-bv/btor2c-lazyMod.brp2.1.prop1-back-serstep.yml                           TIMEOUT                        903.26      542.87    krater12
hardware-verification-bv/btor2c-lazyMod.brp2.1.prop1-func-interl.yml                            TIMEOUT                        902.57      547.59    krater27
hardware-verification-bv/btor2c-lazyMod.brp2.1.prop2-back-serstep.yml                           TIMEOUT                        903.52      543.49    krater29
hardware-verification-bv/btor2c-lazyMod.brp2.1.prop2-func-interl.yml                            TIMEOUT                        902.61      546.87    krater18
hardware-verification-bv/btor2c-lazyMod.brp2.1.prop3-back-serstep.yml                           TIMEOUT                        903.03      548.06    krater29
hardware-verification-bv/btor2c-lazyMod.brp2.1.prop3-func-interl.yml                            TIMEOUT                        903.08      544.21    krater18
hardware-verification-bv/btor2c-lazyMod.brp2.2.prop1-back-serstep.yml                           TIMEOUT                        903.51      541.43    krater14
hardware-verification-bv/btor2c-lazyMod.brp2.2.prop1-func-interl.yml                            TIMEOUT                        903.20      547.74    krater25
hardware-verification-bv/btor2c-lazyMod.brp2.2.prop2-back-serstep.yml                           TIMEOUT                        903.36      550.99    krater08
hardware-verification-bv/btor2c-lazyMod.brp2.2.prop2-func-interl.yml                            TIMEOUT                        902.73      488.49    krater40
hardware-verification-bv/btor2c-lazyMod.brp2.2.prop3-back-serstep.yml                           TIMEOUT                        902.85      516.66    krater10
hardware-verification-bv/btor2c-lazyMod.brp2.2.prop3-func-interl.yml                            TIMEOUT                        902.55      549.43    krater06
hardware-verification-bv/btor2c-lazyMod.brp2.3.prop1-back-serstep.yml                           TIMEOUT                        902.87      546.67    krater04
hardware-verification-bv/btor2c-lazyMod.brp2.3.prop1-func-interl.yml                            TIMEOUT                        902.60      547.35    krater17
hardware-verification-bv/btor2c-lazyMod.brp2.3.prop2-back-serstep.yml                           TIMEOUT                        902.68      545.64    krater13
hardware-verification-bv/btor2c-lazyMod.brp2.3.prop2-func-interl.yml                            TIMEOUT                        902.89      540.84    krater36
hardware-verification-bv/btor2c-lazyMod.brp2.3.prop3-back-serstep.yml                           TIMEOUT                        903.16      544.41    krater19
hardware-verification-bv/btor2c-lazyMod.brp2.3.prop3-func-interl.yml                            TIMEOUT                        902.71      548.64    krater29
hardware-verification-bv/btor2c-lazyMod.brp2.4.prop1-back-serstep.yml                           TIMEOUT                        903.06      522.32    krater12
hardware-verification-bv/btor2c-lazyMod.brp2.4.prop1-func-interl.yml                            TIMEOUT                        903.09      545.18    krater25
hardware-verification-bv/btor2c-lazyMod.brp2.4.prop2-back-serstep.yml                           TIMEOUT                        903.06      543.50    krater33
hardware-verification-bv/btor2c-lazyMod.brp2.4.prop2-func-interl.yml                            TIMEOUT                        902.53      515.40    krater30
hardware-verification-bv/btor2c-lazyMod.brp2.4.prop3-back-serstep.yml                           TIMEOUT                        902.84      543.29    krater03
hardware-verification-bv/btor2c-lazyMod.brp2.4.prop3-func-interl.yml                            TIMEOUT                        902.63      550.21    krater26
hardware-verification-bv/btor2c-lazyMod.brp2.5.prop1-back-serstep.yml                           TIMEOUT                        903.65      538.26    krater12
hardware-verification-bv/btor2c-lazyMod.brp2.5.prop1-func-interl.yml                            TIMEOUT                        902.70      546.36    krater17
hardware-verification-bv/btor2c-lazyMod.brp2.5.prop2-back-serstep.yml                           TIMEOUT                        903.30      541.94    krater19
hardware-verification-bv/btor2c-lazyMod.brp2.5.prop2-func-interl.yml                            TIMEOUT                        902.56      540.15    krater13
hardware-verification-bv/btor2c-lazyMod.brp2.5.prop3-back-serstep.yml                           TIMEOUT                        903.03      549.00    krater04
hardware-verification-bv/btor2c-lazyMod.brp2.5.prop3-func-interl.yml                            TIMEOUT                        903.08      552.65    krater13
hardware-verification-bv/btor2c-lazyMod.brp2.6.prop1-back-serstep.yml                           TIMEOUT                        903.43      521.91    krater28
hardware-verification-bv/btor2c-lazyMod.brp2.6.prop1-func-interl.yml                            TIMEOUT                        902.97      549.11    krater04
hardware-verification-bv/btor2c-lazyMod.brp2.6.prop2-back-serstep.yml                           TIMEOUT                        902.81      536.69    krater35
hardware-verification-bv/btor2c-lazyMod.brp2.6.prop2-func-interl.yml                            TIMEOUT                        902.92      507.45    krater30
hardware-verification-bv/btor2c-lazyMod.brp2.6.prop3-back-serstep.yml                           TIMEOUT                        903.04      546.69    krater08
hardware-verification-bv/btor2c-lazyMod.brp2.6.prop3-func-interl.yml                            TIMEOUT                        902.51      550.34    krater28
hardware-verification-bv/btor2c-lazyMod.bug-1.yml                                               true                             7.77        4.09    krater01
hardware-verification-bv/btor2c-lazyMod.cache_coherence_three.yml                               TIMEOUT                        904.26      552.46    krater18
hardware-verification-bv/btor2c-lazyMod.cache_coherence_two.yml                                 true                           496.82      249.56    krater32
hardware-verification-bv/btor2c-lazyMod.cal1.yml                                                TIMEOUT                        904.16      549.42    krater37
hardware-verification-bv/btor2c-lazyMod.cal10.yml                                               true                           238.91      119.86    krater04
hardware-verification-bv/btor2c-lazyMod.cal100.yml                                              TIMEOUT                        903.22      567.12    krater34
hardware-verification-bv/btor2c-lazyMod.cal101.yml                                              TIMEOUT                        904.56      577.26    krater40
hardware-verification-bv/btor2c-lazyMod.cal102.yml                                              TIMEOUT                        903.18      578.84    krater16
hardware-verification-bv/btor2c-lazyMod.cal103.yml                                              TIMEOUT                        903.15      580.43    krater22
hardware-verification-bv/btor2c-lazyMod.cal104.yml                                              TIMEOUT                        904.06      576.21    krater22
hardware-verification-bv/btor2c-lazyMod.cal105.yml                                              TIMEOUT                        904.37      576.17    krater16
hardware-verification-bv/btor2c-lazyMod.cal106.yml                                              TIMEOUT                        904.13      574.55    krater37
hardware-verification-bv/btor2c-lazyMod.cal107.yml                                              TIMEOUT                        904.31      569.13    krater03
hardware-verification-bv/btor2c-lazyMod.cal108.yml                                              TIMEOUT                        903.29      583.49    krater28
hardware-verification-bv/btor2c-lazyMod.cal109.yml                                              TIMEOUT                        904.13      574.92    krater35
hardware-verification-bv/btor2c-lazyMod.cal11.yml                                               true                           256.42      128.60    krater26
hardware-verification-bv/btor2c-lazyMod.cal110.yml                                              TIMEOUT                        904.39      575.25    krater16
hardware-verification-bv/btor2c-lazyMod.cal111.yml                                              TIMEOUT                        903.45      566.93    krater10
hardware-verification-bv/btor2c-lazyMod.cal112.yml                                              TIMEOUT                        904.20      571.74    krater39
hardware-verification-bv/btor2c-lazyMod.cal113.yml                                              TIMEOUT                        903.83      575.55    krater32
hardware-verification-bv/btor2c-lazyMod.cal114.yml                                              TIMEOUT                        903.70      575.40    krater29
hardware-verification-bv/btor2c-lazyMod.cal115.yml                                              TIMEOUT                        904.19      582.47    krater13
hardware-verification-bv/btor2c-lazyMod.cal116.yml                                              TIMEOUT                        904.13      579.84    krater14
hardware-verification-bv/btor2c-lazyMod.cal117.yml                                              TIMEOUT                        904.82      546.72    krater22
hardware-verification-bv/btor2c-lazyMod.cal118.yml                                              EXCEPTION                      502.19      294.37    krater16
hardware-verification-bv/btor2c-lazyMod.cal119.yml                                              EXCEPTION                       32.47       17.38    krater13
hardware-verification-bv/btor2c-lazyMod.cal12.yml                                               true                            11.34        5.90    krater38
hardware-verification-bv/btor2c-lazyMod.cal120.yml                                              EXCEPTION                       31.91       16.45    krater08
hardware-verification-bv/btor2c-lazyMod.cal121.yml                                              EXCEPTION                       33.26       17.22    krater31
hardware-verification-bv/btor2c-lazyMod.cal122.yml                                              EXCEPTION                       33.66       18.03    krater37
hardware-verification-bv/btor2c-lazyMod.cal123.yml                                              EXCEPTION                       32.80       16.90    krater05
hardware-verification-bv/btor2c-lazyMod.cal124.yml                                              EXCEPTION                       33.79       17.47    krater25
hardware-verification-bv/btor2c-lazyMod.cal125.yml                                              TIMEOUT                        903.96      565.47    krater39
hardware-verification-bv/btor2c-lazyMod.cal126.yml                                              TIMEOUT                        903.88      581.63    krater37
hardware-verification-bv/btor2c-lazyMod.cal127.yml                                              TIMEOUT                        904.00      572.25    krater10
hardware-verification-bv/btor2c-lazyMod.cal128.yml                                              TIMEOUT                        903.87      575.18    krater16
hardware-verification-bv/btor2c-lazyMod.cal129.yml                                              TIMEOUT                        904.07      577.25    krater16
hardware-verification-bv/btor2c-lazyMod.cal13.yml                                               true                            10.54        5.53    krater04
hardware-verification-bv/btor2c-lazyMod.cal130.yml                                              TIMEOUT                        903.02      571.21    krater06
hardware-verification-bv/btor2c-lazyMod.cal131.yml                                              TIMEOUT                        902.41      576.38    krater29
hardware-verification-bv/btor2c-lazyMod.cal132.yml                                              TIMEOUT                        903.98      572.78    krater32
hardware-verification-bv/btor2c-lazyMod.cal133.yml                                              TIMEOUT                        904.13      569.19    krater27
hardware-verification-bv/btor2c-lazyMod.cal134.yml                                              TIMEOUT                        903.86      581.18    krater14
hardware-verification-bv/btor2c-lazyMod.cal135.yml                                              TIMEOUT                        902.61      580.92    krater06
hardware-verification-bv/btor2c-lazyMod.cal136.yml                                              TIMEOUT                        903.55      579.74    krater29
hardware-verification-bv/btor2c-lazyMod.cal137.yml                                              TIMEOUT                        903.52      575.49    krater20
hardware-verification-bv/btor2c-lazyMod.cal138.yml                                              TIMEOUT                        904.36      582.08    krater23
hardware-verification-bv/btor2c-lazyMod.cal139.yml                                              TIMEOUT                        904.50      573.69    krater31
hardware-verification-bv/btor2c-lazyMod.cal14.yml                                               true                           193.21       97.08    krater21
hardware-verification-bv/btor2c-lazyMod.cal140.yml                                              TIMEOUT                        903.10      571.49    krater25
hardware-verification-bv/btor2c-lazyMod.cal141.yml                                              TIMEOUT                        904.00      576.63    krater19
hardware-verification-bv/btor2c-lazyMod.cal142.yml                                              TIMEOUT                        902.20      576.81    krater01
hardware-verification-bv/btor2c-lazyMod.cal143.yml                                              TIMEOUT                        902.89      583.69    krater23
hardware-verification-bv/btor2c-lazyMod.cal144.yml                                              TIMEOUT                        904.79      556.68    krater13
hardware-verification-bv/btor2c-lazyMod.cal145.yml                                              TIMEOUT                        904.14      577.70    krater25
hardware-verification-bv/btor2c-lazyMod.cal146.yml                                              EXCEPTION                       31.54       16.17    krater32
hardware-verification-bv/btor2c-lazyMod.cal147.yml                                              EXCEPTION                       34.66       17.88    krater40
hardware-verification-bv/btor2c-lazyMod.cal148.yml                                              EXCEPTION                       36.25       18.60    krater10
hardware-verification-bv/btor2c-lazyMod.cal149.yml                                              TIMEOUT                        903.97      573.37    krater05
hardware-verification-bv/btor2c-lazyMod.cal15.yml                                               true                           274.21      137.56    krater19
hardware-verification-bv/btor2c-lazyMod.cal150.yml                                              TIMEOUT                        904.06      577.84    krater02
hardware-verification-bv/btor2c-lazyMod.cal151.yml                                              TIMEOUT                        904.12      579.01    krater07
hardware-verification-bv/btor2c-lazyMod.cal152.yml                                              TIMEOUT                        904.46      579.40    krater15
hardware-verification-bv/btor2c-lazyMod.cal153.yml                                              TIMEOUT                        903.89      580.76    krater21
hardware-verification-bv/btor2c-lazyMod.cal154.yml                                              TIMEOUT                        904.42      575.38    krater34
hardware-verification-bv/btor2c-lazyMod.cal155.yml                                              TIMEOUT                        902.72      520.76    krater17
hardware-verification-bv/btor2c-lazyMod.cal156.yml                                              EXCEPTION                      460.81      231.88    krater25
hardware-verification-bv/btor2c-lazyMod.cal157.yml                                              TIMEOUT                        913.49      462.25    krater15
hardware-verification-bv/btor2c-lazyMod.cal158.yml                                              TIMEOUT                        903.75      546.81    krater20
hardware-verification-bv/btor2c-lazyMod.cal159.yml                                              TIMEOUT                        903.89      546.64    krater23
hardware-verification-bv/btor2c-lazyMod.cal16.yml                                               true                             9.96        5.19    krater38
hardware-verification-bv/btor2c-lazyMod.cal160.yml                                              TIMEOUT                        903.98      551.84    krater13
hardware-verification-bv/btor2c-lazyMod.cal161.yml                                              TIMEOUT                        904.23      544.59    krater26
hardware-verification-bv/btor2c-lazyMod.cal162.yml                                              TIMEOUT                        904.64      548.58    krater27
hardware-verification-bv/btor2c-lazyMod.cal163.yml                                              TIMEOUT                        903.59      550.18    krater34
hardware-verification-bv/btor2c-lazyMod.cal164.yml                                              TIMEOUT                        911.40      461.23    krater40
hardware-verification-bv/btor2c-lazyMod.cal165.yml                                              TIMEOUT                        903.96      544.72    krater39
hardware-verification-bv/btor2c-lazyMod.cal166.yml                                              TIMEOUT                        902.36      532.96    krater16
hardware-verification-bv/btor2c-lazyMod.cal167.yml                                              TIMEOUT                        904.01      545.24    krater01
hardware-verification-bv/btor2c-lazyMod.cal168.yml                                              TIMEOUT                        902.57      523.94    krater08
hardware-verification-bv/btor2c-lazyMod.cal169.yml                                              TIMEOUT                        902.96      544.61    krater14
hardware-verification-bv/btor2c-lazyMod.cal17.yml                                               true                            12.50        6.48    krater24
hardware-verification-bv/btor2c-lazyMod.cal170.yml                                              TIMEOUT                        902.23      540.28    krater31
hardware-verification-bv/btor2c-lazyMod.cal171.yml                                              TIMEOUT                        902.37      544.75    krater05
hardware-verification-bv/btor2c-lazyMod.cal172.yml                                              TIMEOUT                        902.76      539.36    krater17
hardware-verification-bv/btor2c-lazyMod.cal173.yml                                              TIMEOUT                        902.44      541.80    krater03
hardware-verification-bv/btor2c-lazyMod.cal174.yml                                              OUT OF MEMORY                  651.99      326.97    krater25
hardware-verification-bv/btor2c-lazyMod.cal175.yml                                              true                           686.83      344.29    krater13
hardware-verification-bv/btor2c-lazyMod.cal176.yml                                              EXCEPTION                      689.95      473.20    krater03
hardware-verification-bv/btor2c-lazyMod.cal177.yml                                              EXCEPTION                      702.08      481.62    krater05
hardware-verification-bv/btor2c-lazyMod.cal178.yml                                              true                           691.20      346.30    krater01
hardware-verification-bv/btor2c-lazyMod.cal179.yml                                              TIMEOUT                        903.67      542.36    krater04
hardware-verification-bv/btor2c-lazyMod.cal18.yml                                               true                            11.86        6.19    krater36
hardware-verification-bv/btor2c-lazyMod.cal180.yml                                              TIMEOUT                        904.18      541.70    krater04
hardware-verification-bv/btor2c-lazyMod.cal181.yml                                              true                            10.08        5.25    krater22
hardware-verification-bv/btor2c-lazyMod.cal182.yml                                              unknown                        361.89      222.33    krater01
hardware-verification-bv/btor2c-lazyMod.cal183.yml                                              unknown                        368.11      225.46    krater22
hardware-verification-bv/btor2c-lazyMod.cal184.yml                                              unknown                        351.98      217.43    krater40
hardware-verification-bv/btor2c-lazyMod.cal185.yml                                              TIMEOUT                        903.51      542.62    krater01
hardware-verification-bv/btor2c-lazyMod.cal186.yml                                              TIMEOUT                        903.44      542.18    krater06
hardware-verification-bv/btor2c-lazyMod.cal187.yml                                              EXCEPTION                      384.21      194.49    krater12
hardware-verification-bv/btor2c-lazyMod.cal188.yml                                              EXCEPTION                      421.12      212.02    krater30
hardware-verification-bv/btor2c-lazyMod.cal189.yml                                              TIMEOUT                        913.12      462.10    krater34
hardware-verification-bv/btor2c-lazyMod.cal19.yml                                               true                           245.36      123.07    krater18
hardware-verification-bv/btor2c-lazyMod.cal190.yml                                              EXCEPTION                      650.54      409.39    krater06
hardware-verification-bv/btor2c-lazyMod.cal191.yml                                              EXCEPTION                      360.06      181.71    krater29
hardware-verification-bv/btor2c-lazyMod.cal192.yml                                              EXCEPTION                      498.01      250.41    krater07
hardware-verification-bv/btor2c-lazyMod.cal193.yml                                              EXCEPTION                      347.13      174.86    krater29
hardware-verification-bv/btor2c-lazyMod.cal194.yml                                              TIMEOUT                        913.54      461.33    krater33
hardware-verification-bv/btor2c-lazyMod.cal195.yml                                              EXCEPTION                      399.01      200.88    krater04
hardware-verification-bv/btor2c-lazyMod.cal196.yml                                              EXCEPTION                      537.38      270.05    krater39
hardware-verification-bv/btor2c-lazyMod.cal197.yml                                              TIMEOUT                        914.07      462.23    krater15
hardware-verification-bv/btor2c-lazyMod.cal198.yml                                              EXCEPTION                      408.46      205.73    krater02
hardware-verification-bv/btor2c-lazyMod.cal199.yml                                              EXCEPTION                      377.92      190.50    krater12
hardware-verification-bv/btor2c-lazyMod.cal2.yml                                                TIMEOUT                        903.42      541.69    krater33
hardware-verification-bv/btor2c-lazyMod.cal20.yml                                               true                           200.69      100.89    krater15
hardware-verification-bv/btor2c-lazyMod.cal200.yml                                              EXCEPTION                      407.99      205.80    krater26
hardware-verification-bv/btor2c-lazyMod.cal201.yml                                              EXCEPTION                      378.87      191.44    krater20
hardware-verification-bv/btor2c-lazyMod.cal202.yml                                              TIMEOUT                        915.20      462.46    krater18
hardware-verification-bv/btor2c-lazyMod.cal203.yml                                              TIMEOUT                        913.81      461.14    krater37
hardware-verification-bv/btor2c-lazyMod.cal204.yml                                              EXCEPTION                      378.84      190.64    krater28
hardware-verification-bv/btor2c-lazyMod.cal205.yml                                              EXCEPTION                      421.12      211.95    krater29
hardware-verification-bv/btor2c-lazyMod.cal206.yml                                              EXCEPTION                      354.06      178.51    krater26
hardware-verification-bv/btor2c-lazyMod.cal207.yml                                              EXCEPTION                      401.40      201.92    krater30
hardware-verification-bv/btor2c-lazyMod.cal208.yml                                              TIMEOUT                        913.29      462.21    krater26
hardware-verification-bv/btor2c-lazyMod.cal209.yml                                              EXCEPTION                      881.78      577.28    krater24
hardware-verification-bv/btor2c-lazyMod.cal21.yml                                               true                           288.19      144.84    krater19
hardware-verification-bv/btor2c-lazyMod.cal210.yml                                              EXCEPTION                      702.93      489.81    krater22
hardware-verification-bv/btor2c-lazyMod.cal211.yml                                              EXCEPTION                      679.73      466.60    krater13
hardware-verification-bv/btor2c-lazyMod.cal212.yml                                              unknown                        349.83      215.40    krater15
hardware-verification-bv/btor2c-lazyMod.cal213.yml                                              unknown                        374.90      228.07    krater19
hardware-verification-bv/btor2c-lazyMod.cal214.yml                                              EXCEPTION                      292.07      150.15    krater35
hardware-verification-bv/btor2c-lazyMod.cal215.yml                                              unknown                        388.55      236.64    krater16
hardware-verification-bv/btor2c-lazyMod.cal216.yml                                              unknown                        379.77      232.77    krater36
hardware-verification-bv/btor2c-lazyMod.cal217.yml                                              unknown                        359.64      220.84    krater36
hardware-verification-bv/btor2c-lazyMod.cal218.yml                                              unknown                        385.73      236.18    krater36
hardware-verification-bv/btor2c-lazyMod.cal219.yml                                              unknown                        347.77      216.03    krater30
hardware-verification-bv/btor2c-lazyMod.cal22.yml                                               TIMEOUT                        902.49      550.56    krater06
hardware-verification-bv/btor2c-lazyMod.cal220.yml                                              unknown                        398.19      244.35    krater16
hardware-verification-bv/btor2c-lazyMod.cal221.yml                                              unknown                        371.68      226.65    krater24
hardware-verification-bv/btor2c-lazyMod.cal222.yml                                              unknown                        339.63      210.89    krater32
hardware-verification-bv/btor2c-lazyMod.cal223.yml                                              unknown                        350.70      216.44    krater09
hardware-verification-bv/btor2c-lazyMod.cal224.yml                                              unknown                        389.81      239.60    krater03
hardware-verification-bv/btor2c-lazyMod.cal225.yml                                              unknown                        397.78      243.02    krater18
hardware-verification-bv/btor2c-lazyMod.cal226.yml                                              unknown                        389.32      237.07    krater17
hardware-verification-bv/btor2c-lazyMod.cal227.yml                                              unknown                        379.67      234.79    krater31
hardware-verification-bv/btor2c-lazyMod.cal228.yml                                              unknown                        370.04      227.26    krater40
hardware-verification-bv/btor2c-lazyMod.cal229.yml                                              unknown                        350.36      216.08    krater37
hardware-verification-bv/btor2c-lazyMod.cal23.yml                                               TIMEOUT                        902.55      525.45    krater34
hardware-verification-bv/btor2c-lazyMod.cal230.yml                                              unknown                        381.10      229.73    krater06
hardware-verification-bv/btor2c-lazyMod.cal231.yml                                              unknown                        366.26      225.76    krater22
hardware-verification-bv/btor2c-lazyMod.cal232.yml                                              unknown                        371.45      226.18    krater18
hardware-verification-bv/btor2c-lazyMod.cal233.yml                                              unknown                        377.45      229.89    krater17
hardware-verification-bv/btor2c-lazyMod.cal234.yml                                              unknown                        367.57      226.68    krater08
hardware-verification-bv/btor2c-lazyMod.cal235.yml                                              unknown                        370.99      226.96    krater20
hardware-verification-bv/btor2c-lazyMod.cal24.yml                                               TIMEOUT                        902.44      525.31    krater29
hardware-verification-bv/btor2c-lazyMod.cal25.yml                                               true                            10.43        5.47    krater28
hardware-verification-bv/btor2c-lazyMod.cal26.yml                                               TIMEOUT                        902.21      537.35    krater09
hardware-verification-bv/btor2c-lazyMod.cal27.yml                                               TIMEOUT                        902.27      541.60    krater37
hardware-verification-bv/btor2c-lazyMod.cal28.yml                                               TIMEOUT                        902.90      538.51    krater21
hardware-verification-bv/btor2c-lazyMod.cal29.yml                                               TIMEOUT                        902.59      522.45    krater28
hardware-verification-bv/btor2c-lazyMod.cal3.yml                                                true                           235.27      118.04    krater18
hardware-verification-bv/btor2c-lazyMod.cal30.yml                                               TIMEOUT                        902.72      527.70    krater03
hardware-verification-bv/btor2c-lazyMod.cal31.yml                                               true                           666.01      333.97    krater34
hardware-verification-bv/btor2c-lazyMod.cal32.yml                                               TIMEOUT                        903.99      541.14    krater20
hardware-verification-bv/btor2c-lazyMod.cal33.yml                                               TIMEOUT                        902.37      531.89    krater10
hardware-verification-bv/btor2c-lazyMod.cal34.yml                                               TIMEOUT                        902.89      528.05    krater33
hardware-verification-bv/btor2c-lazyMod.cal35.yml                                               TIMEOUT                        903.05      526.09    krater12
hardware-verification-bv/btor2c-lazyMod.cal36.yml                                               TIMEOUT                        903.30      524.69    krater17
hardware-verification-bv/btor2c-lazyMod.cal37.yml                                               TIMEOUT                        903.25      546.40    krater18
hardware-verification-bv/btor2c-lazyMod.cal38.yml                                               TIMEOUT                        902.08      544.38    krater26
hardware-verification-bv/btor2c-lazyMod.cal39.yml                                               TIMEOUT                        902.48      545.14    krater36
hardware-verification-bv/btor2c-lazyMod.cal4.yml                                                TIMEOUT                        902.80      549.01    krater33
hardware-verification-bv/btor2c-lazyMod.cal40.yml                                               TIMEOUT                        902.94      545.05    krater36
hardware-verification-bv/btor2c-lazyMod.cal41.yml                                               true                           448.20      224.91    krater26
hardware-verification-bv/btor2c-lazyMod.cal42.yml                                               true                           444.82      222.98    krater02
hardware-verification-bv/btor2c-lazyMod.cal43.yml                                               EXCEPTION                      383.52      192.45    krater21
hardware-verification-bv/btor2c-lazyMod.cal44.yml                                               EXCEPTION                      175.65       99.65    krater31
hardware-verification-bv/btor2c-lazyMod.cal45.yml                                               EXCEPTION                      100.36       69.07    krater30
hardware-verification-bv/btor2c-lazyMod.cal46.yml                                               EXCEPTION                      387.82      194.62    krater06
hardware-verification-bv/btor2c-lazyMod.cal47.yml                                               EXCEPTION                       55.03       27.76    krater10
hardware-verification-bv/btor2c-lazyMod.cal48.yml                                               EXCEPTION                       83.51       57.20    krater24
hardware-verification-bv/btor2c-lazyMod.cal49.yml                                               EXCEPTION                      158.81       89.81    krater21
hardware-verification-bv/btor2c-lazyMod.cal5.yml                                                true                           650.47      326.41    krater26
hardware-verification-bv/btor2c-lazyMod.cal50.yml                                               EXCEPTION                      547.50      274.48    krater15
hardware-verification-bv/btor2c-lazyMod.cal51.yml                                               true                            12.15        6.28    krater38
hardware-verification-bv/btor2c-lazyMod.cal52.yml                                               EXCEPTION                      147.67       81.27    krater16
hardware-verification-bv/btor2c-lazyMod.cal53.yml                                               TIMEOUT                        902.75      501.06    krater35
hardware-verification-bv/btor2c-lazyMod.cal54.yml                                               true                            14.15        7.30    krater28
hardware-verification-bv/btor2c-lazyMod.cal55.yml                                               true                            13.55        7.02    krater07
hardware-verification-bv/btor2c-lazyMod.cal56.yml                                               TIMEOUT                        903.03      545.07    krater12
hardware-verification-bv/btor2c-lazyMod.cal57.yml                                               true                            11.19        5.83    krater18
hardware-verification-bv/btor2c-lazyMod.cal58.yml                                               true                            11.71        6.06    krater08
hardware-verification-bv/btor2c-lazyMod.cal59.yml                                               EXCEPTION                      595.87      298.48    krater17
hardware-verification-bv/btor2c-lazyMod.cal6.yml                                                true                           193.88       97.52    krater10
hardware-verification-bv/btor2c-lazyMod.cal60.yml                                               TIMEOUT                        904.24      549.90    krater31
hardware-verification-bv/btor2c-lazyMod.cal61.yml                                               TIMEOUT                        902.49      521.10    krater12
hardware-verification-bv/btor2c-lazyMod.cal62.yml                                               TIMEOUT                        901.88      515.22    krater03
hardware-verification-bv/btor2c-lazyMod.cal63.yml                                               TIMEOUT                        902.20      503.54    krater03
hardware-verification-bv/btor2c-lazyMod.cal64.yml                                               EXCEPTION                       55.66       28.80    krater25
hardware-verification-bv/btor2c-lazyMod.cal65.yml                                               EXCEPTION                       55.18       28.46    krater05
hardware-verification-bv/btor2c-lazyMod.cal66.yml                                               EXCEPTION                       63.55       32.66    krater04
hardware-verification-bv/btor2c-lazyMod.cal67.yml                                               TIMEOUT                        903.06      542.42    krater04
hardware-verification-bv/btor2c-lazyMod.cal68.yml                                               TIMEOUT                        902.37      519.24    krater22
hardware-verification-bv/btor2c-lazyMod.cal69.yml                                               TIMEOUT                        911.65      527.62    krater06
hardware-verification-bv/btor2c-lazyMod.cal7.yml                                                true                           496.30      248.93    krater35
hardware-verification-bv/btor2c-lazyMod.cal70.yml                                               EXCEPTION                       51.69       26.72    krater28
hardware-verification-bv/btor2c-lazyMod.cal71.yml                                               EXCEPTION                       55.91       28.78    krater28
hardware-verification-bv/btor2c-lazyMod.cal72.yml                                               EXCEPTION                       63.48       32.93    krater37
hardware-verification-bv/btor2c-lazyMod.cal73.yml                                               EXCEPTION                       64.36       33.10    krater27
hardware-verification-bv/btor2c-lazyMod.cal74.yml                                               TIMEOUT                        902.20      508.90    krater35
hardware-verification-bv/btor2c-lazyMod.cal75.yml                                               TIMEOUT                        902.55      520.78    krater18
hardware-verification-bv/btor2c-lazyMod.cal76.yml                                               TIMEOUT                        902.66      517.36    krater30
hardware-verification-bv/btor2c-lazyMod.cal77.yml                                               TIMEOUT                        903.41      535.03    krater24
hardware-verification-bv/btor2c-lazyMod.cal78.yml                                               TIMEOUT                        904.04      551.44    krater02
hardware-verification-bv/btor2c-lazyMod.cal79.yml                                               TIMEOUT                        902.06      505.56    krater26
hardware-verification-bv/btor2c-lazyMod.cal8.yml                                                true                           199.20       99.98    krater22
hardware-verification-bv/btor2c-lazyMod.cal80.yml                                               EXCEPTION                       54.56       28.13    krater20
hardware-verification-bv/btor2c-lazyMod.cal81.yml                                               EXCEPTION                       63.51       32.77    krater10
hardware-verification-bv/btor2c-lazyMod.cal82.yml                                               TIMEOUT                        902.71      518.25    krater17
hardware-verification-bv/btor2c-lazyMod.cal83.yml                                               TIMEOUT                        902.63      539.75    krater35
hardware-verification-bv/btor2c-lazyMod.cal84.yml                                               TIMEOUT                        903.98      539.98    krater39
hardware-verification-bv/btor2c-lazyMod.cal85.yml                                               TIMEOUT                        902.56      546.59    krater39
hardware-verification-bv/btor2c-lazyMod.cal86.yml                                               TIMEOUT                        903.76      547.32    krater24
hardware-verification-bv/btor2c-lazyMod.cal87.yml                                               TIMEOUT                        903.88      538.04    krater22
hardware-verification-bv/btor2c-lazyMod.cal88.yml                                               TIMEOUT                        905.80      515.96    krater27
hardware-verification-bv/btor2c-lazyMod.cal89.yml                                               TIMEOUT                        904.06      537.77    krater15
hardware-verification-bv/btor2c-lazyMod.cal9.yml                                                true                           159.98       80.31    krater07
hardware-verification-bv/btor2c-lazyMod.cal90.yml                                               TIMEOUT                        903.72      515.61    krater35
hardware-verification-bv/btor2c-lazyMod.cal91.yml                                               TIMEOUT                        904.68      508.43    krater23
hardware-verification-bv/btor2c-lazyMod.cal92.yml                                               TIMEOUT                        902.51      540.28    krater14
hardware-verification-bv/btor2c-lazyMod.cal93.yml                                               TIMEOUT                        904.47      548.81    krater37
hardware-verification-bv/btor2c-lazyMod.cal94.yml                                               TIMEOUT                        903.60      548.02    krater34
hardware-verification-bv/btor2c-lazyMod.cal95.yml                                               TIMEOUT                        903.83      548.22    krater08
hardware-verification-bv/btor2c-lazyMod.cal96.yml                                               EXCEPTION                       27.38       14.30    krater23
hardware-verification-bv/btor2c-lazyMod.cal97.yml                                               EXCEPTION                       27.22       14.74    krater01
hardware-verification-bv/btor2c-lazyMod.cal98.yml                                               EXCEPTION                       41.90       21.56    krater29
hardware-verification-bv/btor2c-lazyMod.cal99.yml                                               TIMEOUT                        904.65      571.55    krater17
hardware-verification-bv/btor2c-lazyMod.cambridge.1.prop1-back-serstep.yml                      TIMEOUT                        902.33      505.00    krater22
hardware-verification-bv/btor2c-lazyMod.cambridge.1.prop1-func-interl.yml                       TIMEOUT                        902.99      541.33    krater17
hardware-verification-bv/btor2c-lazyMod.cambridge.1.prop2-back-serstep.yml                      TIMEOUT                        904.70      514.53    krater37
hardware-verification-bv/btor2c-lazyMod.cambridge.1.prop2-func-interl.yml                       TIMEOUT                        903.27      539.98    krater19
hardware-verification-bv/btor2c-lazyMod.cambridge.2.prop1-back-serstep.yml                      TIMEOUT                        904.65      522.64    krater38
hardware-verification-bv/btor2c-lazyMod.cambridge.2.prop1-func-interl.yml                       TIMEOUT                        902.89      545.22    krater23
hardware-verification-bv/btor2c-lazyMod.cambridge.2.prop2-back-serstep.yml                      TIMEOUT                        903.86      518.05    krater15
hardware-verification-bv/btor2c-lazyMod.cambridge.2.prop2-func-interl.yml                       TIMEOUT                        902.81      542.07    krater29
hardware-verification-bv/btor2c-lazyMod.cambridge.3.prop1-back-serstep.yml                      TIMEOUT                        902.76      519.56    krater20
hardware-verification-bv/btor2c-lazyMod.cambridge.3.prop1-func-interl.yml                       TIMEOUT                        902.96      543.51    krater31
hardware-verification-bv/btor2c-lazyMod.cambridge.3.prop2-back-serstep.yml                      TIMEOUT                        903.04      535.53    krater21
hardware-verification-bv/btor2c-lazyMod.cambridge.3.prop2-func-interl.yml                       TIMEOUT                        903.67      545.25    krater09
hardware-verification-bv/btor2c-lazyMod.cambridge.4.prop1-back-serstep.yml                      TIMEOUT                        904.83      519.09    krater27
hardware-verification-bv/btor2c-lazyMod.cambridge.4.prop1-func-interl.yml                       TIMEOUT                        902.99      539.98    krater02
hardware-verification-bv/btor2c-lazyMod.cambridge.4.prop2-back-serstep.yml                      TIMEOUT                        904.06      518.16    krater39
hardware-verification-bv/btor2c-lazyMod.cambridge.4.prop2-func-interl.yml                       TIMEOUT                        903.79      540.22    krater40
hardware-verification-bv/btor2c-lazyMod.cambridge.5.prop1-back-serstep.yml                      TIMEOUT                        902.18      546.29    krater24
hardware-verification-bv/btor2c-lazyMod.cambridge.5.prop1-func-interl.yml                       TIMEOUT                        903.42      546.21    krater27
hardware-verification-bv/btor2c-lazyMod.cambridge.5.prop2-back-serstep.yml                      TIMEOUT                        902.51      557.84    krater07
hardware-verification-bv/btor2c-lazyMod.cambridge.5.prop2-func-interl.yml                       TIMEOUT                        903.09      539.11    krater23
hardware-verification-bv/btor2c-lazyMod.cambridge.6.prop1-back-serstep.yml                      TIMEOUT                        902.11      559.20    krater24
hardware-verification-bv/btor2c-lazyMod.cambridge.6.prop1-func-interl.yml                       TIMEOUT                        903.11      550.89    krater16
hardware-verification-bv/btor2c-lazyMod.cambridge.6.prop2-back-serstep.yml                      TIMEOUT                        902.22      556.82    krater32
hardware-verification-bv/btor2c-lazyMod.cambridge.6.prop2-func-interl.yml                       TIMEOUT                        903.64      538.17    krater19
hardware-verification-bv/btor2c-lazyMod.cambridge.7.prop1-back-serstep.yml                      TIMEOUT                        903.37      472.30    krater28
hardware-verification-bv/btor2c-lazyMod.cambridge.7.prop1-func-interl.yml                       TIMEOUT                        903.09      503.83    krater24
hardware-verification-bv/btor2c-lazyMod.cambridge.7.prop2-back-serstep.yml                      TIMEOUT                        905.68      522.73    krater16
hardware-verification-bv/btor2c-lazyMod.cambridge.7.prop2-func-interl.yml                       TIMEOUT                        903.38      523.48    krater10
hardware-verification-bv/btor2c-lazyMod.cav14_example.yml                                       true                            10.17        5.31    krater15
hardware-verification-bv/btor2c-lazyMod.cav14_example_v.yml                                     false(unreach-call)             76.97       38.79    krater15
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w128_d128_e0.yml                   TIMEOUT                        904.28      537.28    krater19
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w128_d16_e0.yml                    TIMEOUT                        903.23      583.04    krater29
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w128_d32_e0.yml                    TIMEOUT                        903.64      584.22    krater27
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w128_d64_e0.yml                    TIMEOUT                        904.15      576.71    krater21
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w128_d8_e0.yml                     TIMEOUT                        903.66      601.89    krater17
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w16_d128_e0.yml                    TIMEOUT                        903.44      540.54    krater20
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w16_d16_e0.yml                     TIMEOUT                        902.68      574.87    krater13
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w16_d32_e0.yml                     TIMEOUT                        902.93      549.27    krater23
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w16_d64_e0.yml                     TIMEOUT                        903.14      544.05    krater17
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w16_d8_e0.yml                      TIMEOUT                        904.42      600.59    krater09
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w32_d128_e0.yml                    TIMEOUT                        903.90      545.92    krater38
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w32_d16_e0.yml                     TIMEOUT                        903.10      578.92    krater04
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w32_d32_e0.yml                     TIMEOUT                        903.45      549.50    krater23
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w32_d64_e0.yml                     TIMEOUT                        903.47      544.11    krater18
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w32_d8_e0.yml                      false(unreach-call)            881.03      573.92    krater17
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w64_d128_e0.yml                    TIMEOUT                        904.01      539.08    krater36
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w64_d16_e0.yml                     TIMEOUT                        902.86      572.13    krater38
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w64_d32_e0.yml                     TIMEOUT                        903.21      549.97    krater22
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w64_d64_e0.yml                     TIMEOUT                        903.83      547.75    krater30
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w64_d8_e0.yml                      TIMEOUT                        903.60      597.84    krater37
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w8_d128_e0.yml                     TIMEOUT                        903.17      540.54    krater32
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w8_d16_e0.yml                      TIMEOUT                        903.01      578.65    krater28
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w8_d32_e0.yml                      TIMEOUT                        903.06      546.36    krater29
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w8_d64_e0.yml                      TIMEOUT                        903.38      541.94    krater22
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w8_d8_e0.yml                       false(unreach-call)            820.91      509.02    krater08
hardware-verification-bv/btor2c-lazyMod.client_server.yml                                       true                            26.77       14.19    krater08
hardware-verification-bv/btor2c-lazyMod.collision.1.prop1-back-serstep.yml                      TIMEOUT                        903.89      504.56    krater32
hardware-verification-bv/btor2c-lazyMod.collision.1.prop1-func-interl.yml                       TIMEOUT                        904.05      551.59    krater37
hardware-verification-bv/btor2c-lazyMod.collision.2.prop1-back-serstep.yml                      TIMEOUT                        903.72      555.19    krater17
hardware-verification-bv/btor2c-lazyMod.collision.2.prop1-func-interl.yml                       TIMEOUT                        903.94      548.92    krater25
hardware-verification-bv/btor2c-lazyMod.collision.3.prop1-back-serstep.yml                      TIMEOUT                        902.44      497.81    krater34
hardware-verification-bv/btor2c-lazyMod.collision.3.prop1-func-interl.yml                       TIMEOUT                        903.83      545.72    krater23
hardware-verification-bv/btor2c-lazyMod.collision.4.prop1-back-serstep.yml                      TIMEOUT                        905.08      524.70    krater21
hardware-verification-bv/btor2c-lazyMod.collision.4.prop1-func-interl.yml                       TIMEOUT                        903.90      548.11    krater29
hardware-verification-bv/btor2c-lazyMod.collision.5.prop1-back-serstep.yml                      TIMEOUT                        905.42      535.04    krater33
hardware-verification-bv/btor2c-lazyMod.collision.5.prop1-func-interl.yml                       TIMEOUT                        903.50      533.44    krater28
hardware-verification-bv/btor2c-lazyMod.collision.6.prop1-back-serstep.yml                      TIMEOUT                        904.30      459.86    krater03
hardware-verification-bv/btor2c-lazyMod.collision.6.prop1-func-interl.yml                       TIMEOUT                        903.79      544.01    krater15
hardware-verification-bv/btor2c-lazyMod.count2.yml                                              false(unreach-call)              9.66        5.06    krater21
hardware-verification-bv/btor2c-lazyMod.count4.yml                                              false(unreach-call)             11.20        6.22    krater16
hardware-verification-bv/btor2c-lazyMod.counter.yml                                             true                            11.04        5.74    krater28
hardware-verification-bv/btor2c-lazyMod.counter_v.yml                                           false(unreach-call)            290.78      145.79    krater27
hardware-verification-bv/btor2c-lazyMod.cyclic_scheduler.1.prop1-back-serstep.yml               TIMEOUT                        903.83      540.71    krater19
hardware-verification-bv/btor2c-lazyMod.cyclic_scheduler.1.prop1-func-interl.yml                TIMEOUT                        910.78      554.30    krater40
hardware-verification-bv/btor2c-lazyMod.cyclic_scheduler.2.prop1-back-serstep.yml               false(unreach-call)            751.68      377.77    krater19
hardware-verification-bv/btor2c-lazyMod.cyclic_scheduler.2.prop1-func-interl.yml                TIMEOUT                        903.84      542.52    krater05
hardware-verification-bv/btor2c-lazyMod.cyclic_scheduler.3.prop1-back-serstep.yml               TIMEOUT                        903.85      520.83    krater40
hardware-verification-bv/btor2c-lazyMod.cyclic_scheduler.3.prop1-func-interl.yml                TIMEOUT                        902.42      511.79    krater10
hardware-verification-bv/btor2c-lazyMod.cyclic_scheduler.4.prop1-back-serstep.yml               TIMEOUT                        903.68      536.86    krater23
hardware-verification-bv/btor2c-lazyMod.cyclic_scheduler.4.prop1-func-interl.yml                TIMEOUT                        902.62      534.67    krater37
hardware-verification-bv/btor2c-lazyMod.diagonal.yml                                            true                            12.06        6.26    krater31
hardware-verification-bv/btor2c-lazyMod.diagonal_v.yml                                          false(unreach-call)             48.87       26.69    krater32
hardware-verification-bv/btor2c-lazyMod.driving_phils.1.prop1-back-serstep.yml                  false(unreach-call)            158.82       79.90    krater26
hardware-verification-bv/btor2c-lazyMod.driving_phils.1.prop1-func-interl.yml                   false(unreach-call)             14.05        7.24    krater03
hardware-verification-bv/btor2c-lazyMod.driving_phils.2.prop1-back-serstep.yml                  false(unreach-call)            152.18       76.60    krater23
hardware-verification-bv/btor2c-lazyMod.driving_phils.2.prop1-func-interl.yml                   false(unreach-call)             16.58        8.54    krater16
hardware-verification-bv/btor2c-lazyMod.driving_phils.3.prop1-back-serstep.yml                  false(unreach-call)            256.48      129.27    krater07
hardware-verification-bv/btor2c-lazyMod.driving_phils.3.prop1-func-interl.yml                   false(unreach-call)             17.62        9.03    krater37
hardware-verification-bv/btor2c-lazyMod.driving_phils.4.prop1-back-serstep.yml                  false(unreach-call)            346.57      174.20    krater07
hardware-verification-bv/btor2c-lazyMod.driving_phils.4.prop1-func-interl.yml                   false(unreach-call)             19.32        9.85    krater25
hardware-verification-bv/btor2c-lazyMod.driving_phils.5.prop1-back-serstep.yml                  false(unreach-call)            220.40      110.83    krater18
hardware-verification-bv/btor2c-lazyMod.driving_phils.5.prop1-func-interl.yml                   false(unreach-call)             15.58        8.02    krater38
hardware-verification-bv/btor2c-lazyMod.dyn_partition.yml                                       false(unreach-call)             27.74       14.16    krater35
hardware-verification-bv/btor2c-lazyMod.elevator.1.prop1-back-serstep.yml                       TIMEOUT                        902.96      556.38    krater21
hardware-verification-bv/btor2c-lazyMod.elevator.1.prop1-func-interl.yml                        TIMEOUT                        911.31      460.10    krater19
hardware-verification-bv/btor2c-lazyMod.elevator.2.prop1-back-serstep.yml                       TIMEOUT                        902.93      558.34    krater26
hardware-verification-bv/btor2c-lazyMod.elevator.2.prop1-func-interl.yml                        TIMEOUT                        902.71      532.27    krater30
hardware-verification-bv/btor2c-lazyMod.elevator.3.prop1-back-serstep.yml                       TIMEOUT                        903.79      548.21    krater30
hardware-verification-bv/btor2c-lazyMod.elevator.3.prop1-func-interl.yml                        TIMEOUT                        902.91      543.43    krater25
hardware-verification-bv/btor2c-lazyMod.elevator.4.prop1-back-serstep.yml                       TIMEOUT                        902.92      547.91    krater13
hardware-verification-bv/btor2c-lazyMod.elevator.4.prop1-func-interl.yml                        TIMEOUT                        902.61      521.38    krater31
hardware-verification-bv/btor2c-lazyMod.elevator.5.prop1-back-serstep.yml                       TIMEOUT                        903.15      547.99    krater06
hardware-verification-bv/btor2c-lazyMod.elevator.5.prop1-func-interl.yml                        TIMEOUT                        903.03      533.74    krater06
hardware-verification-bv/btor2c-lazyMod.elevator_planning.1.prop1-back-serstep.yml              false(unreach-call)            846.81      513.99    krater21
hardware-verification-bv/btor2c-lazyMod.elevator_planning.1.prop1-func-interl.yml               TIMEOUT                        902.86      543.37    krater19
hardware-verification-bv/btor2c-lazyMod.elevator_planning.2.prop1-back-serstep.yml              TIMEOUT                        902.50      573.46    krater40
hardware-verification-bv/btor2c-lazyMod.elevator_planning.2.prop1-func-interl.yml               TIMEOUT                        903.10      545.70    krater18
hardware-verification-bv/btor2c-lazyMod.elevator_planning.3.prop1-back-serstep.yml              false(unreach-call)            732.31      396.75    krater28
hardware-verification-bv/btor2c-lazyMod.elevator_planning.3.prop1-func-interl.yml               TIMEOUT                        902.44      546.96    krater05
hardware-verification-bv/btor2c-lazyMod.eq_sdp_v1.yml                                           true                           281.94      141.65    krater10
hardware-verification-bv/btor2c-lazyMod.eq_sdp_v2.yml                                           true                           153.31       77.02    krater20
hardware-verification-bv/btor2c-lazyMod.eq_sdp_v3.yml                                           false(unreach-call)             24.57       12.56    krater30
hardware-verification-bv/btor2c-lazyMod.eq_sdp_v4.yml                                           true                           295.62      148.72    krater15
hardware-verification-bv/btor2c-lazyMod.eq_sdp_v5.yml                                           false(unreach-call)             27.37       13.97    krater40
hardware-verification-bv/btor2c-lazyMod.eq_sdp_v6.yml                                           true                           427.42      214.43    krater03
hardware-verification-bv/btor2c-lazyMod.eq_sdp_v7.yml                                           false(unreach-call)             31.88       16.18    krater36
hardware-verification-bv/btor2c-lazyMod.ethernet.yml                                            TIMEOUT                        904.04      581.40    krater14
hardware-verification-bv/btor2c-lazyMod.exit.1.prop1-back-serstep.yml                           TIMEOUT                        902.60      573.50    krater26
hardware-verification-bv/btor2c-lazyMod.exit.1.prop1-func-interl.yml                            TIMEOUT                        902.71      529.81    krater18
hardware-verification-bv/btor2c-lazyMod.exit.2.prop1-back-serstep.yml                           TIMEOUT                        903.62      559.97    krater38
hardware-verification-bv/btor2c-lazyMod.exit.2.prop1-func-interl.yml                            TIMEOUT                        902.89      509.72    krater37
hardware-verification-bv/btor2c-lazyMod.exit.3.prop1-back-serstep.yml                           TIMEOUT                        903.09      573.98    krater38
hardware-verification-bv/btor2c-lazyMod.exit.3.prop1-func-interl.yml                            TIMEOUT                        902.63      513.14    krater23
hardware-verification-bv/btor2c-lazyMod.exit.4.prop1-back-serstep.yml                           TIMEOUT                        903.75      566.94    krater26
hardware-verification-bv/btor2c-lazyMod.exit.4.prop1-func-interl.yml                            TIMEOUT                        902.53      515.46    krater02
hardware-verification-bv/btor2c-lazyMod.exit.5.prop1-back-serstep.yml                           TIMEOUT                        903.08      557.51    krater30
hardware-verification-bv/btor2c-lazyMod.exit.5.prop1-func-interl.yml                            TIMEOUT                        911.69      460.26    krater15
hardware-verification-bv/btor2c-lazyMod.extinction.1.prop1-back-serstep.yml                     TIMEOUT                        903.36      542.62    krater23
hardware-verification-bv/btor2c-lazyMod.extinction.1.prop1-func-interl.yml                      TIMEOUT                        903.90      532.84    krater09
hardware-verification-bv/btor2c-lazyMod.extinction.2.prop1-back-serstep.yml                     TIMEOUT                        903.58      532.61    krater21
hardware-verification-bv/btor2c-lazyMod.extinction.2.prop1-func-interl.yml                      TIMEOUT                        902.71      516.69    krater26
hardware-verification-bv/btor2c-lazyMod.extinction.3.prop1-back-serstep.yml                     TIMEOUT                        903.23      547.40    krater05
hardware-verification-bv/btor2c-lazyMod.extinction.3.prop1-func-interl.yml                      TIMEOUT                        904.21      519.43    krater03
hardware-verification-bv/btor2c-lazyMod.extinction.4.prop1-back-serstep.yml                     TIMEOUT                        905.29      552.01    krater27
hardware-verification-bv/btor2c-lazyMod.extinction.4.prop1-func-interl.yml                      TIMEOUT                        903.37      492.70    krater12
hardware-verification-bv/btor2c-lazyMod.factorial4even.yml                                      false(unreach-call)             22.31       11.39    krater03
hardware-verification-bv/btor2c-lazyMod.firewire_tree.1.prop1-back-serstep.yml                  TIMEOUT                        911.74      461.04    krater23
hardware-verification-bv/btor2c-lazyMod.firewire_tree.1.prop1-func-interl.yml                   TIMEOUT                        905.12      493.05    krater32
hardware-verification-bv/btor2c-lazyMod.firewire_tree.1.prop2-back-serstep.yml                  TIMEOUT                        904.06      542.50    krater28
hardware-verification-bv/btor2c-lazyMod.firewire_tree.1.prop2-func-interl.yml                   TIMEOUT                        904.82      499.73    krater22
hardware-verification-bv/btor2c-lazyMod.firewire_tree.1.prop3-back-serstep.yml                  TIMEOUT                        913.12      462.41    krater33
hardware-verification-bv/btor2c-lazyMod.firewire_tree.1.prop3-func-interl.yml                   TIMEOUT                        903.12      476.01    krater34
hardware-verification-bv/btor2c-lazyMod.firewire_tree.2.prop1-back-serstep.yml                  TIMEOUT                        904.33      530.29    krater24
hardware-verification-bv/btor2c-lazyMod.firewire_tree.2.prop1-func-interl.yml                   TIMEOUT                        903.48      543.57    krater12
hardware-verification-bv/btor2c-lazyMod.firewire_tree.2.prop2-back-serstep.yml                  TIMEOUT                        904.23      547.66    krater02
hardware-verification-bv/btor2c-lazyMod.firewire_tree.2.prop2-func-interl.yml                   TIMEOUT                        903.70      533.10    krater29
hardware-verification-bv/btor2c-lazyMod.firewire_tree.2.prop3-back-serstep.yml                  TIMEOUT                        904.53      534.41    krater33
hardware-verification-bv/btor2c-lazyMod.firewire_tree.2.prop3-func-interl.yml                   TIMEOUT                        903.66      545.94    krater25
hardware-verification-bv/btor2c-lazyMod.firewire_tree.3.prop1-back-serstep.yml                  TIMEOUT                        912.90      461.50    krater33
hardware-verification-bv/btor2c-lazyMod.firewire_tree.3.prop1-func-interl.yml                   TIMEOUT                        906.27      474.52    krater01
hardware-verification-bv/btor2c-lazyMod.firewire_tree.3.prop2-back-serstep.yml                  TIMEOUT                        904.84      532.75    krater02
hardware-verification-bv/btor2c-lazyMod.firewire_tree.3.prop2-func-interl.yml                   TIMEOUT                        905.63      495.08    krater36
hardware-verification-bv/btor2c-lazyMod.firewire_tree.3.prop3-back-serstep.yml                  TIMEOUT                        912.61      462.46    krater33
hardware-verification-bv/btor2c-lazyMod.firewire_tree.3.prop3-func-interl.yml                   TIMEOUT                        913.42      461.68    krater22
hardware-verification-bv/btor2c-lazyMod.firewire_tree.4.prop1-back-serstep.yml                  unknown                        348.26      215.47    krater08
hardware-verification-bv/btor2c-lazyMod.firewire_tree.4.prop1-func-interl.yml                   unknown                        427.62      297.16    krater34
hardware-verification-bv/btor2c-lazyMod.firewire_tree.4.prop2-back-serstep.yml                  unknown                        358.38      220.67    krater24
hardware-verification-bv/btor2c-lazyMod.firewire_tree.4.prop2-func-interl.yml                   unknown                        375.36      240.92    krater02
hardware-verification-bv/btor2c-lazyMod.firewire_tree.4.prop3-back-serstep.yml                  unknown                        357.09      220.03    krater03
hardware-verification-bv/btor2c-lazyMod.firewire_tree.4.prop3-func-interl.yml                   unknown                        378.95      246.17    krater25
hardware-verification-bv/btor2c-lazyMod.firewire_tree.5.prop1-back-serstep.yml                  unknown                        369.62      228.94    krater40
hardware-verification-bv/btor2c-lazyMod.firewire_tree.5.prop1-func-interl.yml                   unknown                        366.27      226.21    krater19
hardware-verification-bv/btor2c-lazyMod.firewire_tree.5.prop2-back-serstep.yml                  unknown                        352.94      217.76    krater12
hardware-verification-bv/btor2c-lazyMod.firewire_tree.5.prop2-func-interl.yml                   unknown                        363.07      224.00    krater18
hardware-verification-bv/btor2c-lazyMod.firewire_tree.5.prop3-back-serstep.yml                  unknown                        359.35      221.88    krater05
hardware-verification-bv/btor2c-lazyMod.firewire_tree.5.prop3-func-interl.yml                   unknown                        366.49      225.93    krater04
hardware-verification-bv/btor2c-lazyMod.fischer.1.prop1-back-serstep.yml                        TIMEOUT                        901.95      560.97    krater23
hardware-verification-bv/btor2c-lazyMod.fischer.1.prop1-func-interl.yml                         TIMEOUT                        902.12      524.22    krater16
hardware-verification-bv/btor2c-lazyMod.fischer.2.prop1-back-serstep.yml                        false(unreach-call)            771.36      416.82    krater07
hardware-verification-bv/btor2c-lazyMod.fischer.2.prop1-func-interl.yml                         TIMEOUT                        902.31      545.37    krater35
hardware-verification-bv/btor2c-lazyMod.fischer.3.prop1-back-serstep.yml                        TIMEOUT                        910.70      561.62    krater29
hardware-verification-bv/btor2c-lazyMod.fischer.3.prop1-func-interl.yml                         TIMEOUT                        902.41      554.78    krater36
hardware-verification-bv/btor2c-lazyMod.fischer.4.prop1-back-serstep.yml                        TIMEOUT                        903.25      552.30    krater40
hardware-verification-bv/btor2c-lazyMod.fischer.4.prop1-func-interl.yml                         TIMEOUT                        902.73      649.72    krater07
hardware-verification-bv/btor2c-lazyMod.fischer.5.prop1-back-serstep.yml                        TIMEOUT                        903.25      552.29    krater18
hardware-verification-bv/btor2c-lazyMod.fischer.5.prop1-func-interl.yml                         TIMEOUT                        902.67      544.63    krater28
hardware-verification-bv/btor2c-lazyMod.fischer.6.prop1-back-serstep.yml                        TIMEOUT                        902.98      554.46    krater37
hardware-verification-bv/btor2c-lazyMod.fischer.6.prop1-func-interl.yml                         TIMEOUT                        902.54      548.02    krater01
hardware-verification-bv/btor2c-lazyMod.fischer.7.prop1-back-serstep.yml                        TIMEOUT                        903.03      555.60    krater02
hardware-verification-bv/btor2c-lazyMod.fischer.7.prop1-func-interl.yml                         TIMEOUT                        902.82      549.85    krater29
hardware-verification-bv/btor2c-lazyMod.frogs.1.prop1-back-serstep.yml                          TIMEOUT                        903.14      543.50    krater02
hardware-verification-bv/btor2c-lazyMod.frogs.1.prop1-func-interl.yml                           TIMEOUT                        904.50      553.68    krater12
hardware-verification-bv/btor2c-lazyMod.frogs.2.prop1-back-serstep.yml                          TIMEOUT                        902.56      540.83    krater21
hardware-verification-bv/btor2c-lazyMod.frogs.2.prop1-func-interl.yml                           TIMEOUT                        903.92      553.03    krater39
hardware-verification-bv/btor2c-lazyMod.frogs.3.prop1-back-serstep.yml                          TIMEOUT                        903.18      517.05    krater20
hardware-verification-bv/btor2c-lazyMod.frogs.3.prop1-func-interl.yml                           TIMEOUT                        903.59      548.68    krater09
hardware-verification-bv/btor2c-lazyMod.frogs.4.prop1-back-serstep.yml                          TIMEOUT                        903.04      538.18    krater35
hardware-verification-bv/btor2c-lazyMod.frogs.4.prop1-func-interl.yml                           TIMEOUT                        903.39      551.05    krater28
hardware-verification-bv/btor2c-lazyMod.frogs.5.prop1-back-serstep.yml                          TIMEOUT                        903.48      537.06    krater17
hardware-verification-bv/btor2c-lazyMod.frogs.5.prop1-func-interl.yml                           TIMEOUT                        903.58      539.77    krater26
hardware-verification-bv/btor2c-lazyMod.gear.1.prop1-back-serstep.yml                           TIMEOUT                        902.94      485.22    krater03
hardware-verification-bv/btor2c-lazyMod.gear.1.prop1-func-interl.yml                            TIMEOUT                        902.97      535.37    krater04
hardware-verification-bv/btor2c-lazyMod.gear.1.prop2-back-serstep.yml                           TIMEOUT                        903.24      532.95    krater23
hardware-verification-bv/btor2c-lazyMod.gear.1.prop2-func-interl.yml                            TIMEOUT                        902.48      541.03    krater12
hardware-verification-bv/btor2c-lazyMod.gear.1.prop3-back-serstep.yml                           TIMEOUT                        903.40      546.67    krater29
hardware-verification-bv/btor2c-lazyMod.gear.1.prop3-func-interl.yml                            TIMEOUT                        902.52      542.86    krater23
hardware-verification-bv/btor2c-lazyMod.gear.1.prop4-back-serstep.yml                           TIMEOUT                        903.30      533.81    krater28
hardware-verification-bv/btor2c-lazyMod.gear.1.prop4-func-interl.yml                            TIMEOUT                        902.67      543.42    krater27
hardware-verification-bv/btor2c-lazyMod.gear.2.prop1-back-serstep.yml                           TIMEOUT                        903.67      549.29    krater03
hardware-verification-bv/btor2c-lazyMod.gear.2.prop1-func-interl.yml                            TIMEOUT                        902.55      547.64    krater38
hardware-verification-bv/btor2c-lazyMod.gear.2.prop2-back-serstep.yml                           TIMEOUT                        903.20      550.51    krater06
hardware-verification-bv/btor2c-lazyMod.gear.2.prop2-func-interl.yml                            TIMEOUT                        902.56      544.15    krater37
hardware-verification-bv/btor2c-lazyMod.gear.2.prop3-back-serstep.yml                           TIMEOUT                        903.39      533.67    krater15
hardware-verification-bv/btor2c-lazyMod.gear.2.prop3-func-interl.yml                            TIMEOUT                        902.65      532.11    krater24
hardware-verification-bv/btor2c-lazyMod.gear.2.prop4-back-serstep.yml                           TIMEOUT                        903.10      537.42    krater14
hardware-verification-bv/btor2c-lazyMod.gear.2.prop4-func-interl.yml                            TIMEOUT                        902.79      541.23    krater06
hardware-verification-bv/btor2c-lazyMod.h_Arbiter.yml                                           true                            76.53       38.55    krater40
hardware-verification-bv/btor2c-lazyMod.h_Barrel.yml                                            true                             8.55        4.50    krater16
hardware-verification-bv/btor2c-lazyMod.h_BufAl.yml                                             TIMEOUT                        903.67      561.70    krater15
hardware-verification-bv/btor2c-lazyMod.h_CRC.yml                                               false(unreach-call)             89.92       45.38    krater38
hardware-verification-bv/btor2c-lazyMod.h_Dekker.yml                                            TIMEOUT                        902.67      563.14    krater35
hardware-verification-bv/btor2c-lazyMod.h_FIFO.yml                                              false(unreach-call)            355.21      178.15    krater24
hardware-verification-bv/btor2c-lazyMod.h_FourbyFour.yml                                        TIMEOUT                        902.72      583.66    krater12
hardware-verification-bv/btor2c-lazyMod.h_Ibuf.yml                                              true                            33.35       20.25    krater29
hardware-verification-bv/btor2c-lazyMod.h_RCU.yml                                               TIMEOUT                        903.59      554.34    krater17
hardware-verification-bv/btor2c-lazyMod.h_Rrobin.yml                                            true                            13.09        6.78    krater27
hardware-verification-bv/btor2c-lazyMod.h_Spinner.yml                                           true                            10.14        5.33    krater37
hardware-verification-bv/btor2c-lazyMod.h_TicTacToe.yml                                         TIMEOUT                        903.86      547.07    krater20
hardware-verification-bv/btor2c-lazyMod.h_TreeArb.yml                                           TIMEOUT                        905.61      553.86    krater40
hardware-verification-bv/btor2c-lazyMod.h_Vending.yml                                           TIMEOUT                        904.80      554.41    krater23
hardware-verification-bv/btor2c-lazyMod.h_Vlunc.yml                                             true                            23.59       12.00    krater38
hardware-verification-bv/btor2c-lazyMod.h_Vsa16.yml                                             true                           683.02      342.97    krater40
hardware-verification-bv/btor2c-lazyMod.h_b02.yml                                               true                            19.61       10.06    krater09
hardware-verification-bv/btor2c-lazyMod.h_b03.yml                                               TIMEOUT                        906.14      558.07    krater36
hardware-verification-bv/btor2c-lazyMod.h_b04.yml                                               true                             8.57        4.53    krater23
hardware-verification-bv/btor2c-lazyMod.h_b05.yml                                               TIMEOUT                        905.94      556.66    krater36
hardware-verification-bv/btor2c-lazyMod.h_b06.yml                                               true                            10.13        5.25    krater26
hardware-verification-bv/btor2c-lazyMod.h_b07.yml                                               true                             7.58        3.99    krater02
hardware-verification-bv/btor2c-lazyMod.h_b08.yml                                               true                            21.95       11.19    krater19
hardware-verification-bv/btor2c-lazyMod.h_segments.yml                                          true                            16.10        8.26    krater31
hardware-verification-bv/btor2c-lazyMod.h_traffic_light_example.yml                             true                            14.58        7.54    krater10
hardware-verification-bv/btor2c-lazyMod.hanoi.1.prop1-back-serstep.yml                          TIMEOUT                        902.87      546.85    krater07
hardware-verification-bv/btor2c-lazyMod.hanoi.1.prop1-func-interl.yml                           TIMEOUT                        904.20      550.55    krater10
hardware-verification-bv/btor2c-lazyMod.hanoi.2.prop1-back-serstep.yml                          TIMEOUT                        902.82      545.23    krater21
hardware-verification-bv/btor2c-lazyMod.hanoi.2.prop1-func-interl.yml                           TIMEOUT                        904.05      548.60    krater16
hardware-verification-bv/btor2c-lazyMod.hanoi.3.prop1-back-serstep.yml                          TIMEOUT                        903.14      528.32    krater09
hardware-verification-bv/btor2c-lazyMod.hanoi.3.prop1-func-interl.yml                           TIMEOUT                        904.18      540.89    krater13
hardware-verification-bv/btor2c-lazyMod.hanoi.4.prop1-back-serstep.yml                          TIMEOUT                        903.40      539.11    krater05
hardware-verification-bv/btor2c-lazyMod.hanoi.4.prop1-func-interl.yml                           TIMEOUT                        904.09      553.34    krater23
hardware-verification-bv/btor2c-lazyMod.iprotocol.1.prop1-back-serstep.yml                      false(unreach-call)            620.69      311.66    krater12
hardware-verification-bv/btor2c-lazyMod.iprotocol.1.prop1-func-interl.yml                       false(unreach-call)            828.05      468.52    krater24
hardware-verification-bv/btor2c-lazyMod.iprotocol.2.prop1-back-serstep.yml                      false(unreach-call)            745.53      394.86    krater01
hardware-verification-bv/btor2c-lazyMod.iprotocol.2.prop1-func-interl.yml                       false(unreach-call)            817.96      454.46    krater10
hardware-verification-bv/btor2c-lazyMod.iprotocol.3.prop1-back-serstep.yml                      false(unreach-call)            771.72      395.86    krater04
hardware-verification-bv/btor2c-lazyMod.iprotocol.3.prop1-func-interl.yml                       false(unreach-call)            883.46      519.12    krater28
hardware-verification-bv/btor2c-lazyMod.iprotocol.4.prop1-back-serstep.yml                      false(unreach-call)            760.46      407.00    krater12
hardware-verification-bv/btor2c-lazyMod.iprotocol.4.prop1-func-interl.yml                       TIMEOUT                        903.66      545.74    krater18
hardware-verification-bv/btor2c-lazyMod.iprotocol.5.prop1-back-serstep.yml                      TIMEOUT                        902.43      540.68    krater01
hardware-verification-bv/btor2c-lazyMod.iprotocol.5.prop1-func-interl.yml                       TIMEOUT                        911.55      550.34    krater31
hardware-verification-bv/btor2c-lazyMod.iprotocol.6.prop1-back-serstep.yml                      TIMEOUT                        903.59      531.20    krater14
hardware-verification-bv/btor2c-lazyMod.iprotocol.6.prop1-func-interl.yml                       TIMEOUT                        910.82      562.18    krater31
hardware-verification-bv/btor2c-lazyMod.iprotocol.7.prop1-back-serstep.yml                      false(unreach-call)            699.10      353.09    krater35
hardware-verification-bv/btor2c-lazyMod.iprotocol.7.prop1-func-interl.yml                       TIMEOUT                        903.64      549.85    krater39
hardware-verification-bv/btor2c-lazyMod.itc99_b12.yml                                           TIMEOUT                        904.17      551.03    krater38
hardware-verification-bv/btor2c-lazyMod.itc99_b13.yml                                           true                            46.03       23.29    krater09
hardware-verification-bv/btor2c-lazyMod.krebs.1.prop1-back-serstep.yml                          false(unreach-call)            616.29      308.91    krater36
hardware-verification-bv/btor2c-lazyMod.krebs.1.prop1-func-interl.yml                           false(unreach-call)            405.51      203.22    krater39
hardware-verification-bv/btor2c-lazyMod.krebs.2.prop1-back-serstep.yml                          TIMEOUT                        903.13      578.67    krater25
hardware-verification-bv/btor2c-lazyMod.krebs.2.prop1-func-interl.yml                           TIMEOUT                        902.31      525.36    krater13
hardware-verification-bv/btor2c-lazyMod.krebs.3.prop1-back-serstep.yml                          TIMEOUT                        902.87      581.86    krater14
hardware-verification-bv/btor2c-lazyMod.krebs.3.prop1-func-interl.yml                           TIMEOUT                        902.07      542.84    krater05
hardware-verification-bv/btor2c-lazyMod.krebs.4.prop1-back-serstep.yml                          TIMEOUT                        903.26      579.78    krater36
hardware-verification-bv/btor2c-lazyMod.krebs.4.prop1-func-interl.yml                           TIMEOUT                        902.70      546.02    krater28
hardware-verification-bv/btor2c-lazyMod.lamport.1.prop1-back-serstep.yml                        TIMEOUT                        902.27      569.43    krater23
hardware-verification-bv/btor2c-lazyMod.lamport.1.prop1-func-interl.yml                         TIMEOUT                        902.12      542.70    krater35
hardware-verification-bv/btor2c-lazyMod.lamport.2.prop1-back-serstep.yml                        false(unreach-call)            810.84      448.30    krater39
hardware-verification-bv/btor2c-lazyMod.lamport.2.prop1-func-interl.yml                         TIMEOUT                        902.11      544.92    krater31
hardware-verification-bv/btor2c-lazyMod.lamport.3.prop1-back-serstep.yml                        false(unreach-call)            425.85      213.36    krater08
hardware-verification-bv/btor2c-lazyMod.lamport.3.prop1-func-interl.yml                         TIMEOUT                        902.15      547.39    krater23
hardware-verification-bv/btor2c-lazyMod.lamport.5.prop1-back-serstep.yml                        TIMEOUT                        902.93      552.04    krater31
hardware-verification-bv/btor2c-lazyMod.lamport.5.prop1-func-interl.yml                         TIMEOUT                        902.50      547.91    krater24
hardware-verification-bv/btor2c-lazyMod.lamport.6.prop1-back-serstep.yml                        TIMEOUT                        903.18      548.59    krater12
hardware-verification-bv/btor2c-lazyMod.lamport.6.prop1-func-interl.yml                         TIMEOUT                        902.56      539.22    krater13
hardware-verification-bv/btor2c-lazyMod.lamport.7.prop1-back-serstep.yml                        TIMEOUT                        902.88      552.33    krater07
hardware-verification-bv/btor2c-lazyMod.lamport.7.prop1-func-interl.yml                         TIMEOUT                        902.97      549.60    krater40
hardware-verification-bv/btor2c-lazyMod.lamport.8.prop1-back-serstep.yml                        TIMEOUT                        902.92      551.48    krater27
hardware-verification-bv/btor2c-lazyMod.lamport.8.prop1-func-interl.yml                         TIMEOUT                        902.72      545.59    krater33
hardware-verification-bv/btor2c-lazyMod.lamport_nonatomic.1.prop1-back-serstep.yml              TIMEOUT                        903.43      541.06    krater13
hardware-verification-bv/btor2c-lazyMod.lamport_nonatomic.1.prop1-func-interl.yml               TIMEOUT                        913.18      460.60    krater20
hardware-verification-bv/btor2c-lazyMod.lamport_nonatomic.2.prop1-back-serstep.yml              TIMEOUT                        902.87      542.75    krater24
hardware-verification-bv/btor2c-lazyMod.lamport_nonatomic.2.prop1-func-interl.yml               TIMEOUT                        911.41      460.11    krater28
hardware-verification-bv/btor2c-lazyMod.lamport_nonatomic.3.prop1-back-serstep.yml              TIMEOUT                        903.56      541.24    krater13
hardware-verification-bv/btor2c-lazyMod.lamport_nonatomic.3.prop1-func-interl.yml               TIMEOUT                        910.70      460.11    krater24
hardware-verification-bv/btor2c-lazyMod.lamport_nonatomic.4.prop1-back-serstep.yml              TIMEOUT                        903.72      532.81    krater27
hardware-verification-bv/btor2c-lazyMod.lamport_nonatomic.4.prop1-func-interl.yml               TIMEOUT                        911.67      460.36    krater27
hardware-verification-bv/btor2c-lazyMod.lamport_nonatomic.5.prop1-back-serstep.yml              TIMEOUT                        903.53      510.95    krater31
hardware-verification-bv/btor2c-lazyMod.lamport_nonatomic.5.prop1-func-interl.yml               TIMEOUT                        952.38      477.57    krater04
hardware-verification-bv/btor2c-lazyMod.lann.1.prop1-back-serstep.yml                           false(unreach-call)            373.69      187.30    krater27
hardware-verification-bv/btor2c-lazyMod.lann.1.prop1-func-interl.yml                            TIMEOUT                        902.20      546.07    krater03
hardware-verification-bv/btor2c-lazyMod.lann.2.prop1-back-serstep.yml                           TIMEOUT                        902.88      549.17    krater28
hardware-verification-bv/btor2c-lazyMod.lann.2.prop1-func-interl.yml                            TIMEOUT                        902.11      543.93    krater29
hardware-verification-bv/btor2c-lazyMod.lann.3.prop1-back-serstep.yml                           false(unreach-call)            775.99      416.45    krater10
hardware-verification-bv/btor2c-lazyMod.lann.3.prop1-func-interl.yml                            TIMEOUT                        902.27      540.57    krater20
hardware-verification-bv/btor2c-lazyMod.lann.4.prop1-back-serstep.yml                           TIMEOUT                        902.82      548.36    krater24
hardware-verification-bv/btor2c-lazyMod.lann.4.prop1-func-interl.yml                            TIMEOUT                        902.22      548.77    krater04
hardware-verification-bv/btor2c-lazyMod.lann.5.prop1-back-serstep.yml                           TIMEOUT                        903.09      552.64    krater38
hardware-verification-bv/btor2c-lazyMod.lann.5.prop1-func-interl.yml                            TIMEOUT                        902.55      542.38    krater31
hardware-verification-bv/btor2c-lazyMod.lann.6.prop1-back-serstep.yml                           false(unreach-call)            789.84      425.62    krater36
hardware-verification-bv/btor2c-lazyMod.lann.6.prop1-func-interl.yml                            TIMEOUT                        902.08      545.33    krater04
hardware-verification-bv/btor2c-lazyMod.lann.7.prop1-back-serstep.yml                           TIMEOUT                        904.32      520.34    krater20
hardware-verification-bv/btor2c-lazyMod.lann.7.prop1-func-interl.yml                            TIMEOUT                        902.06      549.14    krater01
hardware-verification-bv/btor2c-lazyMod.lann.8.prop1-back-serstep.yml                           TIMEOUT                        910.28      558.01    krater37
hardware-verification-bv/btor2c-lazyMod.lann.8.prop1-func-interl.yml                            TIMEOUT                        902.42      541.72    krater10
hardware-verification-bv/btor2c-lazyMod.leader_election.1.prop1-back-serstep.yml                TIMEOUT                        902.16      508.81    krater23
hardware-verification-bv/btor2c-lazyMod.leader_election.1.prop1-func-interl.yml                 TIMEOUT                        903.27      535.05    krater26
hardware-verification-bv/btor2c-lazyMod.leader_election.2.prop1-back-serstep.yml                TIMEOUT                        901.89      514.29    krater07
hardware-verification-bv/btor2c-lazyMod.leader_election.2.prop1-func-interl.yml                 TIMEOUT                        903.44      546.05    krater10
hardware-verification-bv/btor2c-lazyMod.leader_election.3.prop1-back-serstep.yml                TIMEOUT                        902.58      544.17    krater37
hardware-verification-bv/btor2c-lazyMod.leader_election.3.prop1-func-interl.yml                 TIMEOUT                        910.51      459.81    krater27
hardware-verification-bv/btor2c-lazyMod.leader_election.4.prop1-back-serstep.yml                TIMEOUT                        902.58      552.13    krater22
hardware-verification-bv/btor2c-lazyMod.leader_election.4.prop1-func-interl.yml                 TIMEOUT                        919.18      460.33    krater30
hardware-verification-bv/btor2c-lazyMod.leader_election.5.prop1-back-serstep.yml                TIMEOUT                        906.06      482.66    krater12
hardware-verification-bv/btor2c-lazyMod.leader_election.5.prop1-func-interl.yml                 TIMEOUT                        903.34      550.46    krater35
hardware-verification-bv/btor2c-lazyMod.leader_election.6.prop1-back-serstep.yml                TIMEOUT                        903.64      455.78    krater08
hardware-verification-bv/btor2c-lazyMod.leader_election.6.prop1-func-interl.yml                 TIMEOUT                        906.72      551.63    krater40
hardware-verification-bv/btor2c-lazyMod.leader_filters.1.prop1-back-serstep.yml                 TIMEOUT                        902.79      549.97    krater38
hardware-verification-bv/btor2c-lazyMod.leader_filters.1.prop1-func-interl.yml                  TIMEOUT                        902.64      544.87    krater14
hardware-verification-bv/btor2c-lazyMod.leader_filters.2.prop1-back-serstep.yml                 false(unreach-call)            384.04      192.98    krater14
hardware-verification-bv/btor2c-lazyMod.leader_filters.2.prop1-func-interl.yml                  TIMEOUT                        902.85      544.49    krater15
hardware-verification-bv/btor2c-lazyMod.leader_filters.3.prop1-back-serstep.yml                 TIMEOUT                        903.17      549.90    krater21
hardware-verification-bv/btor2c-lazyMod.leader_filters.3.prop1-func-interl.yml                  TIMEOUT                        902.66      545.06    krater32
hardware-verification-bv/btor2c-lazyMod.leader_filters.4.prop1-back-serstep.yml                 TIMEOUT                        902.89      551.63    krater07
hardware-verification-bv/btor2c-lazyMod.leader_filters.4.prop1-func-interl.yml                  TIMEOUT                        903.36      544.10    krater02
hardware-verification-bv/btor2c-lazyMod.leader_filters.5.prop1-back-serstep.yml                 TIMEOUT                        903.27      540.49    krater24
hardware-verification-bv/btor2c-lazyMod.leader_filters.5.prop1-func-interl.yml                  TIMEOUT                        903.35      558.36    krater39
hardware-verification-bv/btor2c-lazyMod.leader_filters.6.prop1-back-serstep.yml                 false(unreach-call)            682.06      341.64    krater08
hardware-verification-bv/btor2c-lazyMod.leader_filters.6.prop1-func-interl.yml                  TIMEOUT                        902.60      549.63    krater39
hardware-verification-bv/btor2c-lazyMod.leader_filters.7.prop1-back-serstep.yml                 TIMEOUT                        903.81      521.72    krater07
hardware-verification-bv/btor2c-lazyMod.leader_filters.7.prop1-func-interl.yml                  TIMEOUT                        903.06      554.32    krater04
hardware-verification-bv/btor2c-lazyMod.lifts.1.prop1-back-serstep.yml                          TIMEOUT                        910.18      494.27    krater04
hardware-verification-bv/btor2c-lazyMod.lifts.1.prop1-func-interl.yml                           TIMEOUT                        912.20      460.30    krater35
hardware-verification-bv/btor2c-lazyMod.lifts.2.prop1-back-serstep.yml                          TIMEOUT                        919.74      460.26    krater37
hardware-verification-bv/btor2c-lazyMod.lifts.2.prop1-func-interl.yml                           TIMEOUT                        912.02      460.04    krater01
hardware-verification-bv/btor2c-lazyMod.lifts.3.prop1-back-serstep.yml                          TIMEOUT                        914.06      460.49    krater40
hardware-verification-bv/btor2c-lazyMod.lifts.3.prop1-func-interl.yml                           TIMEOUT                        911.41      459.74    krater26
hardware-verification-bv/btor2c-lazyMod.lifts.4.prop1-back-serstep.yml                          TIMEOUT                        914.68      460.33    krater07
hardware-verification-bv/btor2c-lazyMod.lifts.4.prop1-func-interl.yml                           TIMEOUT                        911.89      459.89    krater20
hardware-verification-bv/btor2c-lazyMod.lifts.5.prop1-back-serstep.yml                          TIMEOUT                        914.15      461.87    krater18
hardware-verification-bv/btor2c-lazyMod.lifts.5.prop1-func-interl.yml                           TIMEOUT                        911.64      459.96    krater01
hardware-verification-bv/btor2c-lazyMod.lifts.6.prop1-back-serstep.yml                          TIMEOUT                        915.54      461.92    krater40
hardware-verification-bv/btor2c-lazyMod.lifts.6.prop1-func-interl.yml                           TIMEOUT                        913.01      460.26    krater06
hardware-verification-bv/btor2c-lazyMod.lifts.7.prop1-back-serstep.yml                          TIMEOUT                        905.88      546.97    krater22
hardware-verification-bv/btor2c-lazyMod.lifts.7.prop1-func-interl.yml                           TIMEOUT                        911.87      460.42    krater37
hardware-verification-bv/btor2c-lazyMod.lifts.8.prop1-back-serstep.yml                          TIMEOUT                        915.85      461.15    krater16
hardware-verification-bv/btor2c-lazyMod.lifts.8.prop1-func-interl.yml                           TIMEOUT                        915.80      459.90    krater25
hardware-verification-bv/btor2c-lazyMod.loyd.1.prop1-back-serstep.yml                           TIMEOUT                        902.63      547.63    krater39
hardware-verification-bv/btor2c-lazyMod.loyd.1.prop1-func-interl.yml                            TIMEOUT                        903.16      552.99    krater37
hardware-verification-bv/btor2c-lazyMod.loyd.2.prop1-back-serstep.yml                           TIMEOUT                        903.43      543.93    krater33
hardware-verification-bv/btor2c-lazyMod.loyd.2.prop1-func-interl.yml                            TIMEOUT                        903.61      549.49    krater22
hardware-verification-bv/btor2c-lazyMod.loyd.3.prop1-back-serstep.yml                           TIMEOUT                        903.04      546.52    krater05
hardware-verification-bv/btor2c-lazyMod.loyd.3.prop1-func-interl.yml                            TIMEOUT                        903.79      548.92    krater02
hardware-verification-bv/btor2c-lazyMod.lup.1.prop1-back-serstep.yml                            true                           235.03      118.03    krater14
hardware-verification-bv/btor2c-lazyMod.lup.1.prop1-func-interl.yml                             true                           124.49       65.24    krater25
hardware-verification-bv/btor2c-lazyMod.lup.2.prop1-back-serstep.yml                            TIMEOUT                        903.82      545.36    krater02
hardware-verification-bv/btor2c-lazyMod.lup.2.prop1-func-interl.yml                             true                           271.95      140.05    krater37
hardware-verification-bv/btor2c-lazyMod.lup.3.prop1-back-serstep.yml                            TIMEOUT                        903.79      538.13    krater34
hardware-verification-bv/btor2c-lazyMod.lup.3.prop1-func-interl.yml                             true                           284.57      146.31    krater39
hardware-verification-bv/btor2c-lazyMod.lup.4.prop1-back-serstep.yml                            TIMEOUT                        904.67      539.80    krater15
hardware-verification-bv/btor2c-lazyMod.lup.4.prop1-func-interl.yml                             true                           379.47      193.91    krater02
hardware-verification-bv/btor2c-lazyMod.mcs.1.prop1-back-serstep.yml                            TIMEOUT                        902.87      551.26    krater15
hardware-verification-bv/btor2c-lazyMod.mcs.1.prop1-func-interl.yml                             TIMEOUT                        902.29      544.30    krater20
hardware-verification-bv/btor2c-lazyMod.mcs.2.prop1-back-serstep.yml                            TIMEOUT                        903.16      547.13    krater16
hardware-verification-bv/btor2c-lazyMod.mcs.2.prop1-func-interl.yml                             TIMEOUT                        902.17      546.51    krater08
hardware-verification-bv/btor2c-lazyMod.mcs.3.prop1-back-serstep.yml                            TIMEOUT                        902.54      551.95    krater35
hardware-verification-bv/btor2c-lazyMod.mcs.3.prop1-func-interl.yml                             TIMEOUT                        902.33      540.36    krater38
hardware-verification-bv/btor2c-lazyMod.mcs.4.prop1-back-serstep.yml                            TIMEOUT                        902.75      553.76    krater33
hardware-verification-bv/btor2c-lazyMod.mcs.4.prop1-func-interl.yml                             TIMEOUT                        901.98      546.65    krater08
hardware-verification-bv/btor2c-lazyMod.mcs.5.prop1-back-serstep.yml                            TIMEOUT                        902.95      546.51    krater25
hardware-verification-bv/btor2c-lazyMod.mcs.5.prop1-func-interl.yml                             TIMEOUT                        902.69      540.84    krater25
hardware-verification-bv/btor2c-lazyMod.mcs.6.prop1-back-serstep.yml                            TIMEOUT                        902.80      550.99    krater15
hardware-verification-bv/btor2c-lazyMod.mcs.6.prop1-func-interl.yml                             TIMEOUT                        902.70      543.15    krater38
hardware-verification-bv/btor2c-lazyMod.miim.yml                                                TIMEOUT                        903.82      570.72    krater14
hardware-verification-bv/btor2c-lazyMod.mpeg.yml                                                TIMEOUT                        903.10      546.64    krater32
hardware-verification-bv/btor2c-lazyMod.msmie.1.prop1-back-serstep.yml                          TIMEOUT                        903.03      455.64    krater04
hardware-verification-bv/btor2c-lazyMod.msmie.1.prop1-func-interl.yml                           TIMEOUT                        902.37      553.06    krater22
hardware-verification-bv/btor2c-lazyMod.msmie.2.prop1-back-serstep.yml                          TIMEOUT                        903.79      538.31    krater07
hardware-verification-bv/btor2c-lazyMod.msmie.2.prop1-func-interl.yml                           TIMEOUT                        919.07      460.50    krater25
hardware-verification-bv/btor2c-lazyMod.msmie.3.prop1-back-serstep.yml                          TIMEOUT                        903.66      541.57    krater39
hardware-verification-bv/btor2c-lazyMod.msmie.3.prop1-func-interl.yml                           TIMEOUT                        911.70      460.44    krater19
hardware-verification-bv/btor2c-lazyMod.msmie.4.prop1-back-serstep.yml                          TIMEOUT                        948.33      475.43    krater26
hardware-verification-bv/btor2c-lazyMod.msmie.4.prop1-func-interl.yml                           TIMEOUT                        961.76      481.94    krater31
hardware-verification-bv/btor2c-lazyMod.mul1.yml                                                TIMEOUT                        903.15      583.32    krater21
hardware-verification-bv/btor2c-lazyMod.mul10.yml                                               TIMEOUT                        903.55      578.55    krater02
hardware-verification-bv/btor2c-lazyMod.mul11.yml                                               TIMEOUT                        903.14      574.61    krater01
hardware-verification-bv/btor2c-lazyMod.mul2.yml                                                TIMEOUT                        903.23      599.55    krater39
hardware-verification-bv/btor2c-lazyMod.mul4.yml                                                true                           100.26       50.51    krater23
hardware-verification-bv/btor2c-lazyMod.mul5.yml                                                false(unreach-call)             29.69       15.13    krater19
hardware-verification-bv/btor2c-lazyMod.mul6.yml                                                false(unreach-call)             66.69       33.83    krater06
hardware-verification-bv/btor2c-lazyMod.mul8.yml                                                TIMEOUT                        902.98      581.47    krater21
hardware-verification-bv/btor2c-lazyMod.mul9.yml                                                TIMEOUT                        902.60      579.93    krater20
hardware-verification-bv/btor2c-lazyMod.needham.1.prop1-back-serstep.yml                        false(unreach-call)            869.53      504.00    krater40
hardware-verification-bv/btor2c-lazyMod.needham.1.prop1-func-interl.yml                         TIMEOUT                        903.42      554.79    krater20
hardware-verification-bv/btor2c-lazyMod.needham.1.prop2-back-serstep.yml                        false(unreach-call)            754.87      394.63    krater25
hardware-verification-bv/btor2c-lazyMod.needham.1.prop2-func-interl.yml                         TIMEOUT                        902.69      547.96    krater26
hardware-verification-bv/btor2c-lazyMod.needham.1.prop3-back-serstep.yml                        false(unreach-call)            762.55      402.04    krater18
hardware-verification-bv/btor2c-lazyMod.needham.1.prop3-func-interl.yml                         TIMEOUT                        903.63      552.99    krater28
hardware-verification-bv/btor2c-lazyMod.needham.1.prop4-back-serstep.yml                        TIMEOUT                        902.56      548.23    krater03
hardware-verification-bv/btor2c-lazyMod.needham.1.prop4-func-interl.yml                         TIMEOUT                        903.16      550.99    krater13
hardware-verification-bv/btor2c-lazyMod.needham.2.prop1-back-serstep.yml                        TIMEOUT                        904.39      549.00    krater09
hardware-verification-bv/btor2c-lazyMod.needham.2.prop1-func-interl.yml                         TIMEOUT                        903.55      520.91    krater38
hardware-verification-bv/btor2c-lazyMod.needham.2.prop2-back-serstep.yml                        TIMEOUT                        904.47      540.94    krater33
hardware-verification-bv/btor2c-lazyMod.needham.2.prop2-func-interl.yml                         TIMEOUT                        903.94      522.12    krater24
hardware-verification-bv/btor2c-lazyMod.needham.2.prop3-back-serstep.yml                        TIMEOUT                        904.21      556.32    krater01
hardware-verification-bv/btor2c-lazyMod.needham.2.prop3-func-interl.yml                         TIMEOUT                        903.54      523.14    krater05
hardware-verification-bv/btor2c-lazyMod.needham.2.prop4-back-serstep.yml                        TIMEOUT                        904.13      547.79    krater07
hardware-verification-bv/btor2c-lazyMod.needham.2.prop4-func-interl.yml                         TIMEOUT                        903.83      528.40    krater20
hardware-verification-bv/btor2c-lazyMod.needham.3.prop1-back-serstep.yml                        TIMEOUT                        904.02      471.66    krater31
hardware-verification-bv/btor2c-lazyMod.needham.3.prop1-func-interl.yml                         TIMEOUT                        904.07      551.23    krater10
hardware-verification-bv/btor2c-lazyMod.needham.3.prop2-back-serstep.yml                        TIMEOUT                        903.80      496.60    krater13
hardware-verification-bv/btor2c-lazyMod.needham.3.prop2-func-interl.yml                         TIMEOUT                        903.90      540.36    krater36
hardware-verification-bv/btor2c-lazyMod.needham.3.prop3-back-serstep.yml                        TIMEOUT                        902.75      488.64    krater26
hardware-verification-bv/btor2c-lazyMod.needham.3.prop3-func-interl.yml                         TIMEOUT                        903.19      546.23    krater06
hardware-verification-bv/btor2c-lazyMod.needham.3.prop4-back-serstep.yml                        TIMEOUT                        903.92      503.35    krater16
hardware-verification-bv/btor2c-lazyMod.needham.3.prop4-func-interl.yml                         TIMEOUT                        902.33      533.41    krater40
hardware-verification-bv/btor2c-lazyMod.needham.4.prop1-back-serstep.yml                        TIMEOUT                        902.17      542.68    krater24
hardware-verification-bv/btor2c-lazyMod.needham.4.prop1-func-interl.yml                         TIMEOUT                        912.83      459.99    krater07
hardware-verification-bv/btor2c-lazyMod.needham.4.prop2-back-serstep.yml                        TIMEOUT                        904.09      510.14    krater39
hardware-verification-bv/btor2c-lazyMod.needham.4.prop2-func-interl.yml                         TIMEOUT                        912.22      459.77    krater27
hardware-verification-bv/btor2c-lazyMod.needham.4.prop3-back-serstep.yml                        TIMEOUT                        904.82      536.55    krater02
hardware-verification-bv/btor2c-lazyMod.needham.4.prop3-func-interl.yml                         TIMEOUT                        912.04      459.92    krater17
hardware-verification-bv/btor2c-lazyMod.needham.4.prop4-back-serstep.yml                        TIMEOUT                        904.26      556.02    krater34
hardware-verification-bv/btor2c-lazyMod.needham.4.prop4-func-interl.yml                         TIMEOUT                        910.21      459.66    krater05
hardware-verification-bv/btor2c-lazyMod.noninitstate.yml                                        false(unreach-call)              8.87        4.67    krater21
hardware-verification-bv/btor2c-lazyMod.paper_v3.yml                                            true                            11.34        5.88    krater30
hardware-verification-bv/btor2c-lazyMod.peg_solitaire.1.prop1-back-serstep.yml                  false(unreach-call)            855.75      516.04    krater33
hardware-verification-bv/btor2c-lazyMod.peg_solitaire.1.prop1-func-interl.yml                   TIMEOUT                        902.50      543.80    krater09
hardware-verification-bv/btor2c-lazyMod.peg_solitaire.2.prop1-back-serstep.yml                  TIMEOUT                        903.83      544.21    krater09
hardware-verification-bv/btor2c-lazyMod.peg_solitaire.2.prop1-func-interl.yml                   TIMEOUT                        902.96      463.73    krater09
hardware-verification-bv/btor2c-lazyMod.peg_solitaire.3.prop1-back-serstep.yml                  TIMEOUT                        962.86      483.18    krater12
hardware-verification-bv/btor2c-lazyMod.peg_solitaire.3.prop1-func-interl.yml                   TIMEOUT                        934.99      468.51    krater05
hardware-verification-bv/btor2c-lazyMod.peg_solitaire.4.prop1-back-serstep.yml                  TIMEOUT                        902.68      574.15    krater38
hardware-verification-bv/btor2c-lazyMod.peg_solitaire.4.prop1-func-interl.yml                   TIMEOUT                        902.63      545.34    krater20
hardware-verification-bv/btor2c-lazyMod.peg_solitaire.5.prop1-back-serstep.yml                  TIMEOUT                        904.25      545.09    krater07
hardware-verification-bv/btor2c-lazyMod.peg_solitaire.5.prop1-func-interl.yml                   TIMEOUT                        903.25      462.49    krater10
hardware-verification-bv/btor2c-lazyMod.peg_solitaire.6.prop1-back-serstep.yml                  TIMEOUT                        904.09      529.34    krater15
hardware-verification-bv/btor2c-lazyMod.peg_solitaire.6.prop1-func-interl.yml                   TIMEOUT                        902.66      514.16    krater09
hardware-verification-bv/btor2c-lazyMod.peterson.1.prop1-back-serstep.yml                       TIMEOUT                        902.88      538.12    krater19
hardware-verification-bv/btor2c-lazyMod.peterson.1.prop1-func-interl.yml                        TIMEOUT                        902.83      548.59    krater29
hardware-verification-bv/btor2c-lazyMod.peterson.2.prop1-back-serstep.yml                       false(unreach-call)            510.06      255.87    krater19
hardware-verification-bv/btor2c-lazyMod.peterson.2.prop1-func-interl.yml                        TIMEOUT                        902.77      544.57    krater06
hardware-verification-bv/btor2c-lazyMod.peterson.3.prop1-back-serstep.yml                       false(unreach-call)            161.65       81.16    krater37
hardware-verification-bv/btor2c-lazyMod.peterson.3.prop1-func-interl.yml                        TIMEOUT                        902.33      554.18    krater30
hardware-verification-bv/btor2c-lazyMod.peterson.4.prop1-back-serstep.yml                       TIMEOUT                        903.04      550.54    krater18
hardware-verification-bv/btor2c-lazyMod.peterson.4.prop1-func-interl.yml                        TIMEOUT                        902.76      549.38    krater08
hardware-verification-bv/btor2c-lazyMod.peterson.5.prop1-back-serstep.yml                       TIMEOUT                        903.43      551.94    krater32
hardware-verification-bv/btor2c-lazyMod.peterson.5.prop1-func-interl.yml                        TIMEOUT                        902.63      544.51    krater40
hardware-verification-bv/btor2c-lazyMod.peterson.6.prop1-back-serstep.yml                       false(unreach-call)            421.65      211.47    krater21
hardware-verification-bv/btor2c-lazyMod.peterson.6.prop1-func-interl.yml                        TIMEOUT                        902.53      548.05    krater36
hardware-verification-bv/btor2c-lazyMod.peterson.7.prop1-back-serstep.yml                       TIMEOUT                        903.01      546.46    krater17
hardware-verification-bv/btor2c-lazyMod.peterson.7.prop1-func-interl.yml                        TIMEOUT                        903.04      549.26    krater03
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.1.prop1-back-serstep.yml                   TIMEOUT                        902.50      527.87    krater12
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.1.prop1-func-interl.yml                    TIMEOUT                        911.20      459.80    krater24
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.1.prop2-back-serstep.yml                   TIMEOUT                        902.66      548.07    krater24
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.1.prop2-func-interl.yml                    TIMEOUT                        910.50      460.19    krater32
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.1.prop5-back-serstep.yml                   TIMEOUT                        903.13      550.05    krater40
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.1.prop5-func-interl.yml                    TIMEOUT                        910.45      459.77    krater09
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.1.prop6-back-serstep.yml                   TIMEOUT                        903.10      556.24    krater08
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.1.prop6-func-interl.yml                    TIMEOUT                        910.73      459.87    krater13
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.2.prop1-back-serstep.yml                   TIMEOUT                        902.65      537.58    krater05
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.2.prop1-func-interl.yml                    TIMEOUT                        911.63      460.18    krater18
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.2.prop2-back-serstep.yml                   TIMEOUT                        902.44      550.76    krater01
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.2.prop2-func-interl.yml                    TIMEOUT                        910.47      460.03    krater10
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.2.prop5-back-serstep.yml                   TIMEOUT                        902.91      542.61    krater32
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.2.prop5-func-interl.yml                    TIMEOUT                        911.17      459.90    krater32
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.2.prop6-back-serstep.yml                   TIMEOUT                        902.85      554.06    krater15
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.2.prop6-func-interl.yml                    TIMEOUT                        911.45      460.55    krater06
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.3.prop1-back-serstep.yml                   TIMEOUT                        907.11      556.04    krater12
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.3.prop1-func-interl.yml                    TIMEOUT                        911.57      460.58    krater25
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.3.prop2-back-serstep.yml                   TIMEOUT                        902.43      550.95    krater34
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.3.prop2-func-interl.yml                    TIMEOUT                        911.00      459.97    krater25
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.3.prop5-back-serstep.yml                   TIMEOUT                        903.88      548.93    krater31
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.3.prop5-func-interl.yml                    TIMEOUT                        911.44      460.06    krater34
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.3.prop6-back-serstep.yml                   TIMEOUT                        911.53      555.83    krater12
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.3.prop6-func-interl.yml                    TIMEOUT                        910.90      459.92    krater08
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.4.prop1-back-serstep.yml                   TIMEOUT                        902.65      528.84    krater07
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.4.prop1-func-interl.yml                    TIMEOUT                        910.88      459.91    krater19
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.4.prop2-back-serstep.yml                   TIMEOUT                        902.60      551.88    krater30
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.4.prop2-func-interl.yml                    TIMEOUT                        910.88      460.15    krater33
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.4.prop5-back-serstep.yml                   TIMEOUT                        902.67      545.34    krater22
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.4.prop5-func-interl.yml                    TIMEOUT                        911.06      460.11    krater05
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.4.prop6-back-serstep.yml                   TIMEOUT                        902.35      480.87    krater15
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.4.prop6-func-interl.yml                    TIMEOUT                        910.33      459.82    krater34
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.5.prop1-back-serstep.yml                   TIMEOUT                        902.34      550.68    krater26
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.5.prop1-func-interl.yml                    TIMEOUT                        915.14      460.07    krater29
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.5.prop2-back-serstep.yml                   TIMEOUT                        902.31      554.69    krater36
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.5.prop2-func-interl.yml                    TIMEOUT                        910.79      460.03    krater12
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.5.prop5-back-serstep.yml                   TIMEOUT                        902.63      556.95    krater02
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.5.prop5-func-interl.yml                    TIMEOUT                        910.21      458.69    krater33
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.5.prop6-back-serstep.yml                   TIMEOUT                        911.24      558.41    krater30
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.5.prop6-func-interl.yml                    TIMEOUT                        911.15      459.96    krater39
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.6.prop1-back-serstep.yml                   TIMEOUT                        902.84      553.70    krater28
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.6.prop1-func-interl.yml                    TIMEOUT                        912.10      460.12    krater35
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.6.prop2-back-serstep.yml                   TIMEOUT                        902.43      553.94    krater14
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.6.prop2-func-interl.yml                    TIMEOUT                        910.39      459.94    krater20
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.6.prop5-back-serstep.yml                   TIMEOUT                        902.71      549.31    krater30
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.6.prop5-func-interl.yml                    TIMEOUT                        910.83      460.06    krater13
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.6.prop6-back-serstep.yml                   TIMEOUT                        911.70      556.86    krater32
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.6.prop6-func-interl.yml                    TIMEOUT                        911.47      460.05    krater35
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.7.prop1-back-serstep.yml                   TIMEOUT                        903.94      556.77    krater07
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.7.prop1-func-interl.yml                    TIMEOUT                        911.15      460.07    krater08
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.7.prop2-back-serstep.yml                   TIMEOUT                        902.34      553.99    krater10
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.7.prop2-func-interl.yml                    TIMEOUT                        910.26      460.16    krater07
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.7.prop5-back-serstep.yml                   TIMEOUT                        902.77      521.28    krater36
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.7.prop5-func-interl.yml                    TIMEOUT                        910.95      460.13    krater06
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.7.prop6-back-serstep.yml                   TIMEOUT                        911.08      513.22    krater03
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.7.prop6-func-interl.yml                    TIMEOUT                        911.88      460.11    krater30
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.8.prop1-back-serstep.yml                   TIMEOUT                        902.64      508.51    krater12
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.8.prop1-func-interl.yml                    TIMEOUT                        911.31      460.24    krater09
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.8.prop2-back-serstep.yml                   TIMEOUT                        902.65      547.13    krater06
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.8.prop2-func-interl.yml                    TIMEOUT                        911.18      460.11    krater40
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.8.prop5-back-serstep.yml                   TIMEOUT                        903.76      539.22    krater24
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.8.prop5-func-interl.yml                    TIMEOUT                        910.92      460.00    krater15
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.8.prop6-back-serstep.yml                   TIMEOUT                        906.71      559.51    krater21
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.8.prop6-func-interl.yml                    TIMEOUT                        911.16      460.00    krater07
hardware-verification-bv/btor2c-lazyMod.pipeline.yml                                            true                            12.97        6.67    krater04
hardware-verification-bv/btor2c-lazyMod.pj_icram.yml                                            unknown                        617.57      405.97    krater09
hardware-verification-bv/btor2c-lazyMod.pj_icu.yml                                              true                           706.94      354.42    krater40
hardware-verification-bv/btor2c-lazyMod.plc.1.prop2-back-serstep.yml                            TIMEOUT                        903.58      544.56    krater38
hardware-verification-bv/btor2c-lazyMod.plc.1.prop2-func-interl.yml                             TIMEOUT                        912.39      460.46    krater16
hardware-verification-bv/btor2c-lazyMod.plc.2.prop2-back-serstep.yml                            TIMEOUT                        902.60      527.19    krater32
hardware-verification-bv/btor2c-lazyMod.plc.2.prop2-func-interl.yml                             TIMEOUT                        912.73      460.14    krater17
hardware-verification-bv/btor2c-lazyMod.plc.3.prop2-back-serstep.yml                            TIMEOUT                        902.30      538.67    krater19
hardware-verification-bv/btor2c-lazyMod.plc.3.prop2-func-interl.yml                             TIMEOUT                        912.62      460.15    krater27
hardware-verification-bv/btor2c-lazyMod.plc.4.prop2-back-serstep.yml                            TIMEOUT                        903.37      548.17    krater21
hardware-verification-bv/btor2c-lazyMod.plc.4.prop2-func-interl.yml                             TIMEOUT                        911.79      459.92    krater37
hardware-verification-bv/btor2c-lazyMod.pouring.1.prop1-back-serstep.yml                        TIMEOUT                        918.09      461.47    krater03
hardware-verification-bv/btor2c-lazyMod.pouring.1.prop1-func-interl.yml                         TIMEOUT                        937.20      471.22    krater15
hardware-verification-bv/btor2c-lazyMod.pouring.2.prop1-back-serstep.yml                        TIMEOUT                        910.61      480.45    krater13
hardware-verification-bv/btor2c-lazyMod.pouring.2.prop1-func-interl.yml                         TIMEOUT                        936.51      474.34    krater03
hardware-verification-bv/btor2c-lazyMod.production_cell.1.prop1-back-serstep.yml                false(unreach-call)             60.69       31.48    krater39
hardware-verification-bv/btor2c-lazyMod.production_cell.1.prop1-func-interl.yml                 false(unreach-call)             14.95        7.68    krater27
hardware-verification-bv/btor2c-lazyMod.production_cell.2.prop1-back-serstep.yml                TIMEOUT                        902.27      582.87    krater26
hardware-verification-bv/btor2c-lazyMod.production_cell.2.prop1-func-interl.yml                 TIMEOUT                        910.36      556.88    krater22
hardware-verification-bv/btor2c-lazyMod.production_cell.3.prop1-back-serstep.yml                false(unreach-call)             95.20       50.50    krater01
hardware-verification-bv/btor2c-lazyMod.production_cell.3.prop1-func-interl.yml                 false(unreach-call)             12.75        6.55    krater32
hardware-verification-bv/btor2c-lazyMod.production_cell.4.prop1-back-serstep.yml                TIMEOUT                        902.06      575.73    krater39
hardware-verification-bv/btor2c-lazyMod.production_cell.4.prop1-func-interl.yml                 TIMEOUT                        910.73      551.29    krater37
hardware-verification-bv/btor2c-lazyMod.production_cell.5.prop1-back-serstep.yml                false(unreach-call)            150.92       79.58    krater27
hardware-verification-bv/btor2c-lazyMod.production_cell.5.prop1-func-interl.yml                 false(unreach-call)             16.52        8.50    krater20
hardware-verification-bv/btor2c-lazyMod.production_cell.6.prop1-back-serstep.yml                false(unreach-call)            231.42      119.56    krater16
hardware-verification-bv/btor2c-lazyMod.production_cell.6.prop1-func-interl.yml                 false(unreach-call)             15.42        7.90    krater24
hardware-verification-bv/btor2c-lazyMod.protocols.1.prop1-back-serstep.yml                      false(unreach-call)             94.16       47.51    krater04
hardware-verification-bv/btor2c-lazyMod.protocols.1.prop1-func-interl.yml                       false(unreach-call)             77.68       39.13    krater10
hardware-verification-bv/btor2c-lazyMod.protocols.2.prop1-back-serstep.yml                      false(unreach-call)            104.01       52.35    krater15
hardware-verification-bv/btor2c-lazyMod.protocols.2.prop1-func-interl.yml                       false(unreach-call)             98.60       49.69    krater35
hardware-verification-bv/btor2c-lazyMod.protocols.3.prop1-back-serstep.yml                      false(unreach-call)            176.95       89.01    krater18
hardware-verification-bv/btor2c-lazyMod.protocols.3.prop1-func-interl.yml                       false(unreach-call)            272.03      136.63    krater36
hardware-verification-bv/btor2c-lazyMod.protocols.4.prop1-back-serstep.yml                      false(unreach-call)            221.76      111.63    krater08
hardware-verification-bv/btor2c-lazyMod.protocols.4.prop1-func-interl.yml                       false(unreach-call)            283.77      142.47    krater13
hardware-verification-bv/btor2c-lazyMod.protocols.5.prop1-back-serstep.yml                      false(unreach-call)            162.36       81.95    krater19
hardware-verification-bv/btor2c-lazyMod.protocols.5.prop1-func-interl.yml                       false(unreach-call)            282.11      141.63    krater12
hardware-verification-bv/btor2c-lazyMod.reader_writer.1.prop1-back-serstep.yml                  false(unreach-call)            316.31      161.97    krater23
hardware-verification-bv/btor2c-lazyMod.reader_writer.1.prop1-func-interl.yml                   false(unreach-call)            647.61      328.05    krater02
hardware-verification-bv/btor2c-lazyMod.reader_writer.2.prop1-back-serstep.yml                  TIMEOUT                        903.05      539.11    krater39
hardware-verification-bv/btor2c-lazyMod.reader_writer.2.prop1-func-interl.yml                   TIMEOUT                        902.65      520.82    krater14
hardware-verification-bv/btor2c-lazyMod.reader_writer.3.prop1-back-serstep.yml                  false(unreach-call)            717.06      359.26    krater30
hardware-verification-bv/btor2c-lazyMod.reader_writer.3.prop1-func-interl.yml                   TIMEOUT                        910.33      508.29    krater05
hardware-verification-bv/btor2c-lazyMod.recount4.yml                                            false(unreach-call)            545.77      276.17    krater37
hardware-verification-bv/btor2c-lazyMod.resistance.1.prop1-back-serstep.yml                     true                           124.34       62.44    krater09
hardware-verification-bv/btor2c-lazyMod.resistance.1.prop1-func-interl.yml                      true                            60.59       30.68    krater04
hardware-verification-bv/btor2c-lazyMod.resistance.1.prop2-back-serstep.yml                     true                           467.92      234.77    krater09
hardware-verification-bv/btor2c-lazyMod.resistance.1.prop2-func-interl.yml                      true                            73.34       38.82    krater29
hardware-verification-bv/btor2c-lazyMod.resistance.1.prop3-back-serstep.yml                     TIMEOUT                        902.78      572.89    krater31
hardware-verification-bv/btor2c-lazyMod.resistance.1.prop3-func-interl.yml                      true                            74.69       38.26    krater35
hardware-verification-bv/btor2c-lazyMod.resistance.2.prop1-back-serstep.yml                     false(unreach-call)            334.34      167.85    krater12
hardware-verification-bv/btor2c-lazyMod.resistance.2.prop1-func-interl.yml                      false(unreach-call)            136.19       69.26    krater14
hardware-verification-bv/btor2c-lazyMod.resistance.2.prop2-back-serstep.yml                     true                           619.41      310.42    krater16
hardware-verification-bv/btor2c-lazyMod.resistance.2.prop2-func-interl.yml                      true                            81.24       42.04    krater38
hardware-verification-bv/btor2c-lazyMod.resistance.2.prop3-back-serstep.yml                     TIMEOUT                        902.78      553.51    krater22
hardware-verification-bv/btor2c-lazyMod.resistance.2.prop3-func-interl.yml                      true                            77.61       39.67    krater07
hardware-verification-bv/btor2c-lazyMod.rether.1.prop1-back-serstep.yml                         TIMEOUT                        903.54      545.24    krater39
hardware-verification-bv/btor2c-lazyMod.rether.1.prop1-func-interl.yml                          TIMEOUT                        902.56      545.67    krater05
hardware-verification-bv/btor2c-lazyMod.rether.2.prop1-back-serstep.yml                         TIMEOUT                        903.80      545.98    krater38
hardware-verification-bv/btor2c-lazyMod.rether.2.prop1-func-interl.yml                          TIMEOUT                        903.29      541.43    krater12
hardware-verification-bv/btor2c-lazyMod.rether.3.prop1-back-serstep.yml                         TIMEOUT                        904.16      540.10    krater40
hardware-verification-bv/btor2c-lazyMod.rether.3.prop1-func-interl.yml                          TIMEOUT                        902.78      479.65    krater19
hardware-verification-bv/btor2c-lazyMod.rether.4.prop1-back-serstep.yml                         TIMEOUT                        904.01      550.43    krater19
hardware-verification-bv/btor2c-lazyMod.rether.4.prop1-func-interl.yml                          TIMEOUT                        911.30      459.80    krater31
hardware-verification-bv/btor2c-lazyMod.rether.5.prop1-back-serstep.yml                         TIMEOUT                        902.42      503.10    krater06
hardware-verification-bv/btor2c-lazyMod.rether.5.prop1-func-interl.yml                          TIMEOUT                        912.34      460.40    krater06
hardware-verification-bv/btor2c-lazyMod.rether.6.prop1-back-serstep.yml                         TIMEOUT                        904.22      561.61    krater06
hardware-verification-bv/btor2c-lazyMod.rether.6.prop1-func-interl.yml                          TIMEOUT                        911.78      459.96    krater03
hardware-verification-bv/btor2c-lazyMod.rether.7.prop1-back-serstep.yml                         TIMEOUT                        904.21      556.06    krater16
hardware-verification-bv/btor2c-lazyMod.rether.7.prop1-func-interl.yml                          TIMEOUT                        911.07      459.80    krater19
hardware-verification-bv/btor2c-lazyMod.rushhour.1.prop1-back-serstep.yml                       TIMEOUT                        962.10      481.96    krater08
hardware-verification-bv/btor2c-lazyMod.rushhour.1.prop1-func-interl.yml                        TIMEOUT                        903.34      555.44    krater22
hardware-verification-bv/btor2c-lazyMod.rushhour.2.prop1-back-serstep.yml                       TIMEOUT                        946.02      474.05    krater31
hardware-verification-bv/btor2c-lazyMod.rushhour.2.prop1-func-interl.yml                        TIMEOUT                        903.24      552.50    krater18
hardware-verification-bv/btor2c-lazyMod.rushhour.3.prop1-back-serstep.yml                       TIMEOUT                        962.95      609.78    krater18
hardware-verification-bv/btor2c-lazyMod.rushhour.3.prop1-func-interl.yml                        unknown                        348.24      215.53    krater36
hardware-verification-bv/btor2c-lazyMod.rushhour.4.prop1-back-serstep.yml                       TIMEOUT                        947.75      577.21    krater16
hardware-verification-bv/btor2c-lazyMod.rushhour.4.prop1-func-interl.yml                        unknown                        339.50      211.51    krater37
hardware-verification-bv/btor2c-lazyMod.safe_analog_estimation_convergence.yml                  TIMEOUT                        903.17      569.88    krater18
hardware-verification-bv/btor2c-lazyMod.safe_intersymbol_analog_estimation_convergence.yml      TIMEOUT                        911.52      460.10    krater16
hardware-verification-bv/btor2c-lazyMod.schedule_world.1.prop1-back-serstep.yml                 false(unreach-call)            510.37      256.10    krater20
hardware-verification-bv/btor2c-lazyMod.schedule_world.1.prop1-func-interl.yml                  false(unreach-call)            639.33      320.42    krater17
hardware-verification-bv/btor2c-lazyMod.schedule_world.2.prop1-back-serstep.yml                 false(unreach-call)            445.88      223.60    krater03
hardware-verification-bv/btor2c-lazyMod.schedule_world.2.prop1-func-interl.yml                  false(unreach-call)            180.89       91.07    krater25
hardware-verification-bv/btor2c-lazyMod.schedule_world.3.prop1-back-serstep.yml                 false(unreach-call)            377.31      189.23    krater28
hardware-verification-bv/btor2c-lazyMod.schedule_world.3.prop1-func-interl.yml                  false(unreach-call)            106.98       54.80    krater37
hardware-verification-bv/btor2c-lazyMod.sdlx.yml                                                TIMEOUT                        904.23      550.72    krater20
hardware-verification-bv/btor2c-lazyMod.seq.yml                                                 true                            12.89        6.67    krater01
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w128_d128_e0.yml                     TIMEOUT                        905.41      524.68    krater16
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w128_d16_e0.yml                      TIMEOUT                        903.07      582.17    krater30
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w128_d32_e0.yml                      TIMEOUT                        903.07      576.89    krater03
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w128_d64_e0.yml                      TIMEOUT                        903.40      568.41    krater10
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w128_d8_e0.yml                       TIMEOUT                        903.23      602.27    krater29
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w16_d128_e0.yml                      TIMEOUT                        903.85      515.59    krater33
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w16_d16_e0.yml                       TIMEOUT                        903.62      521.00    krater33
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w16_d32_e0.yml                       TIMEOUT                        903.12      546.64    krater06
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w16_d64_e0.yml                       TIMEOUT                        903.25      548.35    krater29
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w16_d8_e0.yml                        TIMEOUT                        902.60      564.28    krater15
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w32_d128_e0.yml                      TIMEOUT                        904.20      519.76    krater04
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w32_d16_e0.yml                       TIMEOUT                        903.23      555.13    krater34
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w32_d32_e0.yml                       TIMEOUT                        903.19      548.78    krater12
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w32_d64_e0.yml                       TIMEOUT                        903.58      546.47    krater39
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w32_d8_e0.yml                        TIMEOUT                        903.04      551.78    krater14
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w64_d128_e0.yml                      TIMEOUT                        903.94      513.77    krater15
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w64_d16_e0.yml                       TIMEOUT                        902.82      548.09    krater37
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w64_d32_e0.yml                       TIMEOUT                        903.37      550.80    krater25
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w64_d64_e0.yml                       TIMEOUT                        903.19      544.47    krater14
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w64_d8_e0.yml                        TIMEOUT                        903.18      577.28    krater34
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w8_d128_e0.yml                       TIMEOUT                        903.23      509.69    krater15
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w8_d16_e0.yml                        TIMEOUT                        903.35      547.70    krater35
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w8_d32_e0.yml                        TIMEOUT                        903.22      547.18    krater36
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w8_d64_e0.yml                        TIMEOUT                        902.87      546.07    krater10
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w8_d8_e0.yml                         TIMEOUT                        902.35      559.52    krater25
hardware-verification-bv/btor2c-lazyMod.sokoban.1.prop1-back-serstep.yml                        TIMEOUT                        904.41      500.48    krater38
hardware-verification-bv/btor2c-lazyMod.sokoban.1.prop1-func-interl.yml                         TIMEOUT                        904.00      518.49    krater10
hardware-verification-bv/btor2c-lazyMod.sokoban.2.prop1-back-serstep.yml                        TIMEOUT                        904.95      474.26    krater33
hardware-verification-bv/btor2c-lazyMod.sokoban.2.prop1-func-interl.yml                         TIMEOUT                        905.07      551.85    krater07
hardware-verification-bv/btor2c-lazyMod.sokoban.3.prop1-back-serstep.yml                        unknown                        359.09      223.05    krater27
hardware-verification-bv/btor2c-lazyMod.sokoban.3.prop1-func-interl.yml                         TIMEOUT                        914.56      547.93    krater07
hardware-verification-bv/btor2c-lazyMod.sw_ball2001.yml                                         true                           160.15       80.43    krater21
hardware-verification-bv/btor2c-lazyMod.sw_ball2004_1.yml                                       true                            29.12       15.04    krater22
hardware-verification-bv/btor2c-lazyMod.sw_ball2004_2.yml                                       true                           249.29      125.03    krater30
hardware-verification-bv/btor2c-lazyMod.sw_loop.yml                                             true                           113.73       57.24    krater04
hardware-verification-bv/btor2c-lazyMod.sw_loop_v.yml                                           false(unreach-call)            857.95      510.31    krater07
hardware-verification-bv/btor2c-lazyMod.sw_state_machine.yml                                    true                           259.00      130.01    krater29
hardware-verification-bv/btor2c-lazyMod.sw_sym_ex.yml                                           true                           166.80       83.84    krater37
hardware-verification-bv/btor2c-lazyMod.sw_sym_ex_v.yml                                         false(unreach-call)            109.83       55.29    krater02
hardware-verification-bv/btor2c-lazyMod.swap_three.yml                                          true                             8.79        4.59    krater19
hardware-verification-bv/btor2c-lazyMod.swap_two.yml                                            true                             7.95        4.20    krater17
hardware-verification-bv/btor2c-lazyMod.synabs.yml                                              true                            21.41       10.95    krater21
hardware-verification-bv/btor2c-lazyMod.synabs2.yml                                             false(unreach-call)             20.84       10.75    krater35
hardware-verification-bv/btor2c-lazyMod.synapse.1.prop1-back-serstep.yml                        TIMEOUT                        903.43      548.16    krater02
hardware-verification-bv/btor2c-lazyMod.synapse.1.prop1-func-interl.yml                         TIMEOUT                        911.94      460.21    krater23
hardware-verification-bv/btor2c-lazyMod.synapse.2.prop1-back-serstep.yml                        TIMEOUT                        903.78      548.19    krater31
hardware-verification-bv/btor2c-lazyMod.synapse.2.prop1-func-interl.yml                         TIMEOUT                        911.74      459.99    krater25
hardware-verification-bv/btor2c-lazyMod.synapse.3.prop1-back-serstep.yml                        TIMEOUT                        902.53      549.36    krater01
hardware-verification-bv/btor2c-lazyMod.synapse.3.prop1-func-interl.yml                         TIMEOUT                        911.61      459.87    krater29
hardware-verification-bv/btor2c-lazyMod.synapse.4.prop1-back-serstep.yml                        TIMEOUT                        902.25      546.89    krater14
hardware-verification-bv/btor2c-lazyMod.synapse.4.prop1-func-interl.yml                         TIMEOUT                        911.52      459.83    krater08
hardware-verification-bv/btor2c-lazyMod.synapse.5.prop1-back-serstep.yml                        TIMEOUT                        902.32      553.63    krater31
hardware-verification-bv/btor2c-lazyMod.synapse.5.prop1-func-interl.yml                         TIMEOUT                        911.54      459.87    krater18
hardware-verification-bv/btor2c-lazyMod.synapse.6.prop1-back-serstep.yml                        TIMEOUT                        903.01      550.68    krater26
hardware-verification-bv/btor2c-lazyMod.synapse.6.prop1-func-interl.yml                         TIMEOUT                        911.19      459.78    krater27
hardware-verification-bv/btor2c-lazyMod.synapse.7.prop1-back-serstep.yml                        TIMEOUT                        902.36      509.95    krater14
hardware-verification-bv/btor2c-lazyMod.synapse.7.prop1-func-interl.yml                         TIMEOUT                        911.91      460.10    krater39
hardware-verification-bv/btor2c-lazyMod.szymanski.1.prop1-back-serstep.yml                      TIMEOUT                        902.84      546.46    krater20
hardware-verification-bv/btor2c-lazyMod.szymanski.1.prop1-func-interl.yml                       TIMEOUT                        902.96      547.80    krater05
hardware-verification-bv/btor2c-lazyMod.szymanski.2.prop1-back-serstep.yml                      TIMEOUT                        902.84      544.87    krater19
hardware-verification-bv/btor2c-lazyMod.szymanski.2.prop1-func-interl.yml                       TIMEOUT                        902.96      530.92    krater20
hardware-verification-bv/btor2c-lazyMod.szymanski.3.prop1-back-serstep.yml                      TIMEOUT                        902.87      510.13    krater36
hardware-verification-bv/btor2c-lazyMod.szymanski.3.prop1-func-interl.yml                       TIMEOUT                        903.01      466.61    krater40
hardware-verification-bv/btor2c-lazyMod.szymanski.4.prop1-back-serstep.yml                      TIMEOUT                        903.26      494.24    krater17
hardware-verification-bv/btor2c-lazyMod.szymanski.4.prop1-func-interl.yml                       TIMEOUT                        902.96      464.24    krater17
hardware-verification-bv/btor2c-lazyMod.szymanski.5.prop1-back-serstep.yml                      TIMEOUT                        903.09      554.59    krater10
hardware-verification-bv/btor2c-lazyMod.szymanski.5.prop1-func-interl.yml                       TIMEOUT                        908.84      457.57    krater33
hardware-verification-bv/btor2c-lazyMod.telephony.1.prop1-back-serstep.yml                      TIMEOUT                        902.64      550.14    krater38
hardware-verification-bv/btor2c-lazyMod.telephony.1.prop1-func-interl.yml                       TIMEOUT                        903.53      546.44    krater12
hardware-verification-bv/btor2c-lazyMod.telephony.2.prop1-back-serstep.yml                      TIMEOUT                        903.27      535.31    krater38
hardware-verification-bv/btor2c-lazyMod.telephony.2.prop1-func-interl.yml                       TIMEOUT                        903.30      542.59    krater31
hardware-verification-bv/btor2c-lazyMod.telephony.3.prop1-back-serstep.yml                      TIMEOUT                        904.47      532.09    krater32
hardware-verification-bv/btor2c-lazyMod.telephony.3.prop1-func-interl.yml                       TIMEOUT                        903.25      505.33    krater01
hardware-verification-bv/btor2c-lazyMod.telephony.4.prop1-back-serstep.yml                      TIMEOUT                        902.59      542.32    krater25
hardware-verification-bv/btor2c-lazyMod.telephony.4.prop1-func-interl.yml                       TIMEOUT                        903.31      492.57    krater32
hardware-verification-bv/btor2c-lazyMod.telephony.5.prop1-back-serstep.yml                      TIMEOUT                        904.56      559.67    krater13
hardware-verification-bv/btor2c-lazyMod.telephony.5.prop1-func-interl.yml                       TIMEOUT                        911.29      459.75    krater13
hardware-verification-bv/btor2c-lazyMod.telephony.6.prop1-back-serstep.yml                      TIMEOUT                        904.63      456.01    krater07
hardware-verification-bv/btor2c-lazyMod.telephony.6.prop1-func-interl.yml                       TIMEOUT                        911.62      460.50    krater21
hardware-verification-bv/btor2c-lazyMod.telephony.7.prop1-back-serstep.yml                      TIMEOUT                        902.00      512.29    krater33
hardware-verification-bv/btor2c-lazyMod.telephony.7.prop1-func-interl.yml                       TIMEOUT                        903.31      463.30    krater23
hardware-verification-bv/btor2c-lazyMod.telephony.8.prop1-back-serstep.yml                      TIMEOUT                        902.14      557.09    krater21
hardware-verification-bv/btor2c-lazyMod.telephony.8.prop1-func-interl.yml                       TIMEOUT                        910.89      459.93    krater28
hardware-verification-bv/btor2c-lazyMod.toy_lock_4.yml                                          TIMEOUT                        902.78      554.15    krater32
hardware-verification-bv/btor2c-lazyMod.train-gate.1.prop1-back-serstep.yml                     TIMEOUT                        911.54      460.04    krater05
hardware-verification-bv/btor2c-lazyMod.train-gate.1.prop1-func-interl.yml                      TIMEOUT                        902.19      547.74    krater04
hardware-verification-bv/btor2c-lazyMod.train-gate.2.prop1-back-serstep.yml                     TIMEOUT                        903.27      548.00    krater33
hardware-verification-bv/btor2c-lazyMod.train-gate.2.prop1-func-interl.yml                      TIMEOUT                        902.44      544.25    krater32
hardware-verification-bv/btor2c-lazyMod.train-gate.3.prop1-back-serstep.yml                     TIMEOUT                        903.55      544.82    krater10
hardware-verification-bv/btor2c-lazyMod.train-gate.3.prop1-func-interl.yml                      TIMEOUT                        902.91      541.85    krater25
hardware-verification-bv/btor2c-lazyMod.train-gate.4.prop1-back-serstep.yml                     TIMEOUT                        902.88      548.45    krater09
hardware-verification-bv/btor2c-lazyMod.train-gate.4.prop1-func-interl.yml                      TIMEOUT                        902.57      533.44    krater27
hardware-verification-bv/btor2c-lazyMod.train-gate.5.prop1-back-serstep.yml                     TIMEOUT                        903.18      544.21    krater24
hardware-verification-bv/btor2c-lazyMod.train-gate.5.prop1-func-interl.yml                      TIMEOUT                        902.58      531.78    krater32
hardware-verification-bv/btor2c-lazyMod.train-gate.6.prop1-back-serstep.yml                     TIMEOUT                        903.33      537.25    krater32
hardware-verification-bv/btor2c-lazyMod.train-gate.6.prop1-func-interl.yml                      TIMEOUT                        902.65      544.65    krater01
hardware-verification-bv/btor2c-lazyMod.train-gate.7.prop1-back-serstep.yml                     TIMEOUT                        903.52      533.54    krater05
hardware-verification-bv/btor2c-lazyMod.train-gate.7.prop1-func-interl.yml                      TIMEOUT                        902.71      536.26    krater34
hardware-verification-bv/btor2c-lazyMod.twocount2.yml                                           false(unreach-call)             12.30        6.37    krater33
hardware-verification-bv/btor2c-lazyMod.twocount2c.yml                                          false(unreach-call)             14.08        7.25    krater23
hardware-verification-bv/btor2c-lazyMod.twocount32.yml                                          false(unreach-call)             19.14        9.81    krater17
hardware-verification-bv/btor2c-lazyMod.unknown_ridecore.yml                                    unknown                        685.30      459.31    krater23
hardware-verification-bv/btor2c-lazyMod.unsafe_analog_estimation_convergence.yml                false(unreach-call)            103.43       52.05    krater30
hardware-verification-bv/btor2c-lazyMod.unsafe_buggy_ridecore.yml                               unknown                        694.64      456.39    krater05
hardware-verification-bv/btor2c-lazyMod.unsafe_intersymbol_analog_estimation_convergence.yml    TIMEOUT                        911.82      460.27    krater29
hardware-verification-bv/btor2c-lazyMod.usb_phy.yml                                             TIMEOUT                        906.31      554.62    krater31
hardware-verification-bv/btor2c-lazyMod.v_DAIO.yml                                              TIMEOUT                        908.18      566.63    krater40
hardware-verification-bv/btor2c-lazyMod.v_FIFO.yml                                              false(unreach-call)            341.73      171.45    krater05
hardware-verification-bv/btor2c-lazyMod.v_Unidec.yml                                            false(unreach-call)            321.13      161.66    krater07
hardware-verification-bv/btor2c-lazyMod.v_non-pipelined-microprocessor.yml                      false(unreach-call)             13.48        6.95    krater04
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p01.yml                          true                            55.83       28.21    krater22
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p02.yml                          true                             7.49        3.96    krater33
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p03.yml                          true                            18.87        9.68    krater40
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p04.yml                          true                             7.93        4.17    krater14
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p05.yml                          true                             6.85        3.62    krater07
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p06.yml                          true                            31.96       16.21    krater04
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p07.yml                          true                            17.09        8.79    krater01
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p08.yml                          true                            12.14        6.22    krater01
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p09.yml                          true                            15.39        7.94    krater28
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p10.yml                          true                            35.46       18.14    krater35
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p11.yml                          true                            32.55       16.53    krater33
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p12.yml                          true                            24.24       12.39    krater03
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p13.yml                          true                            18.48        9.48    krater17
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p14.yml                          true                            16.51        8.49    krater20
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p15.yml                          true                            17.50        8.99    krater18
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p16.yml                          true                             8.59        4.58    krater33
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p17.yml                          true                             8.70        4.62    krater18
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p18.yml                          true                             8.55        4.47    krater02
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p19.yml                          true                            11.55        5.99    krater15
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p20.yml                          true                            12.36        6.39    krater21
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p21.yml                          true                             7.38        3.92    krater03
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p22.yml                          true                            21.43       10.93    krater15
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_pj_icu_icctl_p1.yml                        true                           459.25      230.29    krater03
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_pj_icu_icctl_p2.yml                        true                           540.14      270.66    krater09
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_pj_icu_icctl_p3.yml                        true                           154.53       77.64    krater38
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_pj_icu_icctl_p4.yml                        true                           617.72      309.80    krater04
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_sdlx_control.yml                           TIMEOUT                        903.49      544.98    krater35
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_usb_phy_1.yml                              TIMEOUT                        905.39      554.58    krater39
hardware-verification-bv/btor2c-lazyMod.vcegar_arrays_itc99_b12_p1.yml                          TIMEOUT                        904.33      552.64    krater27
hardware-verification-bv/btor2c-lazyMod.vcegar_arrays_itc99_b12_p2.yml                          TIMEOUT                        903.80      551.31    krater16
hardware-verification-bv/btor2c-lazyMod.vis_QF_BV_bcuvis32.yml                                  true                            21.20       10.85    krater06
hardware-verification-bv/btor2c-lazyMod.vis_QF_BV_fru32_p1.yml                                  false(unreach-call)             17.45        8.98    krater27
hardware-verification-bv/btor2c-lazyMod.vis_QF_BV_fru32_p2.yml                                  false(unreach-call)             17.67        9.12    krater02
hardware-verification-bv/btor2c-lazyMod.vis_QF_BV_fru32_p3.yml                                  false(unreach-call)             11.12        5.78    krater38
hardware-verification-bv/btor2c-lazyMod.vis_QF_BV_ibuf.yml                                      true                            38.98       23.15    krater20
hardware-verification-bv/btor2c-lazyMod.vis_QF_BV_rotate32.yml                                  false(unreach-call)             12.94        6.73    krater10
hardware-verification-bv/btor2c-lazyMod.vis_QF_BV_s1269b_p1.yml                                 true                            26.43       13.45    krater35
hardware-verification-bv/btor2c-lazyMod.vis_QF_BV_s1269b_p2.yml                                 true                            10.68        5.62    krater21
hardware-verification-bv/btor2c-lazyMod.vis_QF_BV_s1269b_p3.yml                                 true                            10.43        5.42    krater23
hardware-verification-bv/btor2c-lazyMod.vis_QF_BV_s1269b_p4.yml                                 false(unreach-call)             12.23        6.45    krater35
hardware-verification-bv/btor2c-lazyMod.vis_QF_BV_s1269b_p5.yml                                 true                            65.02       32.75    krater15
hardware-verification-bv/btor2c-lazyMod.vis_QF_BV_spinner32.yml                                 false(unreach-call)             15.96        8.22    krater35
hardware-verification-bv/btor2c-lazyMod.vis_QF_BV_vMiim_p1.yml                                  TIMEOUT                        902.97      545.97    krater05
hardware-verification-bv/btor2c-lazyMod.vis_QF_BV_vMiim_p2.yml                                  false(unreach-call)             82.33       41.46    krater01
hardware-verification-bv/btor2c-lazyMod.vis_QF_BV_vlunc.yml                                     true                            18.23        9.32    krater36
hardware-verification-bv/btor2c-lazyMod.vis_arrays_FIFOs.yml                                    false(unreach-call)            194.83       97.89    krater07
hardware-verification-bv/btor2c-lazyMod.vis_arrays_am2901.yml                                   TIMEOUT                        903.01      548.95    krater34
hardware-verification-bv/btor2c-lazyMod.vis_arrays_am2910_p1.yml                                TIMEOUT                        903.00      545.59    krater19
hardware-verification-bv/btor2c-lazyMod.vis_arrays_am2910_p2.yml                                true                           111.52       56.08    krater21
hardware-verification-bv/btor2c-lazyMod.vis_arrays_am2910_p3.yml                                true                           476.86      239.52    krater07
hardware-verification-bv/btor2c-lazyMod.vis_arrays_am2910_p4.yml                                true                           540.87      271.24    krater29
hardware-verification-bv/btor2c-lazyMod.vis_arrays_bpbs_p1.yml                                  false(unreach-call)             25.91       13.22    krater37
hardware-verification-bv/btor2c-lazyMod.vis_arrays_bpbs_p2.yml                                  false(unreach-call)             18.01        9.22    krater01
hardware-verification-bv/btor2c-lazyMod.vis_arrays_bpbs_p3.yml                                  false(unreach-call)             17.86        9.19    krater23
hardware-verification-bv/btor2c-lazyMod.vis_arrays_bpbs_p4.yml                                  false(unreach-call)             12.84        6.64    krater13
hardware-verification-bv/btor2c-lazyMod.vis_arrays_buf_bug.yml                                  TIMEOUT                        903.56      556.92    krater08
hardware-verification-bv/btor2c-lazyMod.vis_arrays_bufferAlloc.yml                              TIMEOUT                        904.01      549.84    krater40
hardware-verification-bv/btor2c-lazyMod.vis_arrays_field5.yml                                   TIMEOUT                        902.81      549.23    krater38
hardware-verification-bv/btor2c-lazyMod.vis_arrays_palu.yml                                     false(unreach-call)             30.99       15.84    krater09
hardware-verification-bv/btor2c-lazyMod.vis_arrays_two_p1.yml                                   TIMEOUT                        903.25      551.09    krater32
hardware-verification-bv/btor2c-lazyMod.vis_arrays_two_p2.yml                                   TIMEOUT                        903.38      552.59    krater21
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsa16a_p1.yml                                TIMEOUT                        903.54      553.48    krater34
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsa16a_p2.yml                                true                           118.27       59.54    krater03
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsa16a_p3.yml                                true                            10.66        5.57    krater08
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsa16a_p4.yml                                TIMEOUT                        902.85      547.64    krater26
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsa16a_p5.yml                                TIMEOUT                        903.50      538.60    krater03
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsa16a_p6.yml                                TIMEOUT                        903.02      549.32    krater18
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsa16a_p7.yml                                TIMEOUT                        903.22      549.74    krater22
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsa16a_p8.yml                                TIMEOUT                        903.17      545.03    krater19
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p01.yml                                 false(unreach-call)             12.92        6.68    krater33
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p02.yml                                 TIMEOUT                        904.14      568.09    krater28
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p03.yml                                 true                           116.89       58.95    krater27
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p04.yml                                 true                            11.97        6.21    krater35
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p05.yml                                 TIMEOUT                        903.59      546.98    krater06
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p06.yml                                 TIMEOUT                        903.05      563.85    krater09
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p07.yml                                 TIMEOUT                        902.96      547.15    krater34
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p08.yml                                 TIMEOUT                        903.42      542.45    krater30
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p09.yml                                 TIMEOUT                        903.30      550.06    krater35
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p10.yml                                 TIMEOUT                        903.99      550.23    krater14
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p11.yml                                 TIMEOUT                        903.02      546.91    krater19
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p12.yml                                 true                           454.34      228.19    krater38
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p13.yml                                 true                           217.32      109.19    krater38
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p14.yml                                 true                           223.52      112.42    krater12
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p15.yml                                 true                           610.94      306.53    krater20
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p16.yml                                 TIMEOUT                        902.77      558.57    krater33
hardware-verification-bv/btor2c-lazyMod.zaher.yml                                               true                            14.03        7.19    krater24
-------------------------------------------------------------------------------------------------------------------------------------------------------------
Run set 1                                                                                       done                             None        None           -

Statistics:           1224 Files
  correct:             248
    correct true:      130
    correct false:     118
  incorrect:             0
    incorrect true:      0
    incorrect false:     0
  unknown:             976
  Score:               378 (max: 1951)
