   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:06:49 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.28      880.09    krater07
hardware-verification-array/btor2c-lazyMod.safe_linked_list_fifo_n2d4.yml                       TIMEOUT                        904.17      877.23    krater21
hardware-verification-array/btor2c-lazyMod.unknown_ridecore_array.yml                           TIMEOUT                        903.62      723.78    krater26
hardware-verification-array/btor2c-lazyMod.unsafe_arbitrated_fifos_n2d8w8.yml                   TIMEOUT                        903.41      875.40    krater02
hardware-verification-array/btor2c-lazyMod.unsafe_linked_list_fifo_n2d4.yml                     TIMEOUT                        903.62      878.14    krater05
hardware-verification-array/btor2c-lazyMod.unsafe_ridecore_array.yml                            TIMEOUT                        903.73      733.74    krater17
hardware-verification-bv/btor2c-lazyMod.Heap.yml                                                TIMEOUT                        904.83      558.29    krater19
hardware-verification-bv/btor2c-lazyMod.Huffman_dec.yml                                         true                            36.64       18.57    krater37
hardware-verification-bv/btor2c-lazyMod.Huffman_enc.yml                                         true                            12.01        6.32    krater18
hardware-verification-bv/btor2c-lazyMod.adding.1.prop1-back-serstep.yml                         false(unreach-call)            177.49       93.19    krater36
hardware-verification-bv/btor2c-lazyMod.adding.1.prop1-func-interl.yml                          TIMEOUT                        902.77      452.64    krater05
hardware-verification-bv/btor2c-lazyMod.adding.2.prop1-back-serstep.yml                         TIMEOUT                        902.72      586.39    krater40
hardware-verification-bv/btor2c-lazyMod.adding.2.prop1-func-interl.yml                          TIMEOUT                        911.16      618.70    krater25
hardware-verification-bv/btor2c-lazyMod.adding.3.prop1-back-serstep.yml                         TIMEOUT                        902.91      603.99    krater35
hardware-verification-bv/btor2c-lazyMod.adding.3.prop1-func-interl.yml                          TIMEOUT                        910.71      620.93    krater27
hardware-verification-bv/btor2c-lazyMod.adding.4.prop1-back-serstep.yml                         TIMEOUT                        902.52      605.11    krater04
hardware-verification-bv/btor2c-lazyMod.adding.4.prop1-func-interl.yml                          TIMEOUT                        910.25      616.36    krater18
hardware-verification-bv/btor2c-lazyMod.adding.5.prop1-back-serstep.yml                         TIMEOUT                        902.27      605.91    krater17
hardware-verification-bv/btor2c-lazyMod.adding.5.prop1-func-interl.yml                          TIMEOUT                        910.74      619.19    krater28
hardware-verification-bv/btor2c-lazyMod.adding.6.prop1-back-serstep.yml                         TIMEOUT                        902.24      603.64    krater14
hardware-verification-bv/btor2c-lazyMod.adding.6.prop1-func-interl.yml                          TIMEOUT                        910.88      616.91    krater17
hardware-verification-bv/btor2c-lazyMod.anderson.1.prop1-back-serstep.yml                       false(unreach-call)            693.15      364.55    krater09
hardware-verification-bv/btor2c-lazyMod.anderson.1.prop1-func-interl.yml                        TIMEOUT                        902.83      575.19    krater14
hardware-verification-bv/btor2c-lazyMod.anderson.2.prop1-back-serstep.yml                       TIMEOUT                        902.89      551.60    krater20
hardware-verification-bv/btor2c-lazyMod.anderson.2.prop1-func-interl.yml                        TIMEOUT                        902.81      559.42    krater16
hardware-verification-bv/btor2c-lazyMod.anderson.3.prop1-back-serstep.yml                       false(unreach-call)            558.05      279.58    krater21
hardware-verification-bv/btor2c-lazyMod.anderson.3.prop1-func-interl.yml                        TIMEOUT                        903.62      553.73    krater37
hardware-verification-bv/btor2c-lazyMod.anderson.4.prop1-back-serstep.yml                       TIMEOUT                        903.25      548.04    krater23
hardware-verification-bv/btor2c-lazyMod.anderson.4.prop1-func-interl.yml                        TIMEOUT                        903.22      555.69    krater17
hardware-verification-bv/btor2c-lazyMod.anderson.5.prop1-back-serstep.yml                       false(unreach-call)            730.70      369.95    krater25
hardware-verification-bv/btor2c-lazyMod.anderson.5.prop1-func-interl.yml                        TIMEOUT                        903.06      546.21    krater40
hardware-verification-bv/btor2c-lazyMod.anderson.6.prop1-back-serstep.yml                       TIMEOUT                        903.61      525.39    krater08
hardware-verification-bv/btor2c-lazyMod.anderson.6.prop1-func-interl.yml                        TIMEOUT                        902.85      547.24    krater28
hardware-verification-bv/btor2c-lazyMod.anderson.7.prop1-back-serstep.yml                       TIMEOUT                        902.76      542.10    krater21
hardware-verification-bv/btor2c-lazyMod.anderson.7.prop1-func-interl.yml                        TIMEOUT                        902.81      552.89    krater22
hardware-verification-bv/btor2c-lazyMod.anderson.8.prop1-back-serstep.yml                       TIMEOUT                        903.27      548.55    krater15
hardware-verification-bv/btor2c-lazyMod.anderson.8.prop1-func-interl.yml                        TIMEOUT                        903.77      550.36    krater12
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w16_d128_e0.yml                       TIMEOUT                        903.45      541.59    krater16
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w16_d16_e0.yml                        TIMEOUT                        902.48      563.10    krater09
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w16_d32_e0.yml                        TIMEOUT                        902.86      546.36    krater34
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w16_d64_e0.yml                        TIMEOUT                        903.85      534.73    krater05
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w16_d8_e0.yml                         TIMEOUT                        902.88      560.82    krater37
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w32_d128_e0.yml                       TIMEOUT                        904.23      525.39    krater12
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w32_d16_e0.yml                        TIMEOUT                        902.65      567.06    krater21
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w32_d32_e0.yml                        TIMEOUT                        903.37      543.39    krater03
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w32_d64_e0.yml                        TIMEOUT                        903.57      535.55    krater12
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w32_d8_e0.yml                         TIMEOUT                        903.12      567.03    krater14
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w64_d128_e0.yml                       TIMEOUT                        904.20      525.77    krater03
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w64_d16_e0.yml                        TIMEOUT                        902.52      577.78    krater34
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w64_d32_e0.yml                        TIMEOUT                        902.82      506.46    krater30
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w64_d64_e0.yml                        TIMEOUT                        902.61      512.07    krater40
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w64_d8_e0.yml                         TIMEOUT                        902.74      573.59    krater17
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w8_d128_e0.yml                        TIMEOUT                        903.82      543.92    krater10
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w8_d16_e0.yml                         TIMEOUT                        902.95      563.63    krater06
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w8_d32_e0.yml                         TIMEOUT                        902.98      546.11    krater18
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w8_d64_e0.yml                         TIMEOUT                        903.84      540.28    krater33
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n2_w8_d8_e0.yml                          TIMEOUT                        903.18      550.43    krater13
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n3_w16_d128_e0.yml                       TIMEOUT                        951.23      476.64    krater29
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n3_w16_d16_e0.yml                        TIMEOUT                        902.95      546.88    krater21
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n3_w16_d32_e0.yml                        TIMEOUT                        903.25      550.30    krater26
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n3_w16_d64_e0.yml                        TIMEOUT                        904.92      532.11    krater37
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n3_w16_d8_e0.yml                         TIMEOUT                        902.37      558.38    krater32
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n3_w32_d128_e0.yml                       TIMEOUT                        941.78      471.85    krater25
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n3_w32_d16_e0.yml                        TIMEOUT                        903.96      565.25    krater38
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n3_w32_d32_e0.yml                        TIMEOUT                        903.27      562.27    krater07
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n3_w32_d64_e0.yml                        TIMEOUT                        903.59      534.13    krater26
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n3_w32_d8_e0.yml                         TIMEOUT                        902.63      576.28    krater24
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n3_w8_d128_e0.yml                        TIMEOUT                        931.50      466.84    krater21
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n3_w8_d16_e0.yml                         TIMEOUT                        903.15      549.41    krater09
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n3_w8_d32_e0.yml                         TIMEOUT                        903.60      544.77    krater20
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n3_w8_d64_e0.yml                         TIMEOUT                        903.74      531.89    krater15
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n3_w8_d8_e0.yml                          TIMEOUT                        902.80      559.66    krater02
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n4_w16_d128_e0.yml                       TIMEOUT                        904.86      538.10    krater03
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n4_w16_d16_e0.yml                        TIMEOUT                        903.55      537.35    krater23
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n4_w16_d32_e0.yml                        TIMEOUT                        903.37      532.81    krater22
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n4_w16_d64_e0.yml                        TIMEOUT                        902.88      510.88    krater04
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n4_w16_d8_e0.yml                         TIMEOUT                        902.56      574.40    krater07
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n4_w32_d128_e0.yml                       TIMEOUT                        904.68      543.35    krater22
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n4_w32_d16_e0.yml                        TIMEOUT                        903.55      536.71    krater39
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n4_w32_d32_e0.yml                        TIMEOUT                        903.53      531.83    krater38
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n4_w32_d64_e0.yml                        TIMEOUT                        904.21      518.17    krater23
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n4_w32_d8_e0.yml                         TIMEOUT                        902.88      578.17    krater13
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n4_w8_d128_e0.yml                        TIMEOUT                        903.84      538.29    krater33
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n4_w8_d16_e0.yml                         TIMEOUT                        903.14      539.45    krater39
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n4_w8_d32_e0.yml                         TIMEOUT                        903.39      531.12    krater09
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n4_w8_d64_e0.yml                         TIMEOUT                        903.40      510.84    krater37
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n4_w8_d8_e0.yml                          TIMEOUT                        902.78      571.42    krater22
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n5_w16_d128_e0.yml                       TIMEOUT                        903.18      466.23    krater05
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n5_w16_d16_e0.yml                        TIMEOUT                        903.08      560.00    krater16
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n5_w16_d32_e0.yml                        TIMEOUT                        903.65      527.75    krater18
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n5_w16_d64_e0.yml                        TIMEOUT                        904.91      505.76    krater21
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n5_w16_d8_e0.yml                         TIMEOUT                        902.87      575.33    krater32
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n5_w8_d128_e0.yml                        TIMEOUT                        904.05      519.25    krater23
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n5_w8_d16_e0.yml                         TIMEOUT                        902.92      541.10    krater15
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n5_w8_d32_e0.yml                         TIMEOUT                        903.61      535.35    krater34
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n5_w8_d64_e0.yml                         TIMEOUT                        903.56      476.01    krater27
hardware-verification-bv/btor2c-lazyMod.arbitrated_top_n5_w8_d8_e0.yml                          TIMEOUT                        902.87      545.83    krater04
hardware-verification-bv/btor2c-lazyMod.at.1.prop1-back-serstep.yml                             TIMEOUT                        902.78      545.77    krater01
hardware-verification-bv/btor2c-lazyMod.at.1.prop1-func-interl.yml                              TIMEOUT                        902.22      544.87    krater36
hardware-verification-bv/btor2c-lazyMod.at.2.prop1-back-serstep.yml                             false(unreach-call)            783.78      416.35    krater40
hardware-verification-bv/btor2c-lazyMod.at.2.prop1-func-interl.yml                              TIMEOUT                        902.62      545.60    krater22
hardware-verification-bv/btor2c-lazyMod.at.3.prop1-back-serstep.yml                             TIMEOUT                        902.55      549.79    krater20
hardware-verification-bv/btor2c-lazyMod.at.3.prop1-func-interl.yml                              TIMEOUT                        902.83      544.67    krater09
hardware-verification-bv/btor2c-lazyMod.at.4.prop1-back-serstep.yml                             TIMEOUT                        902.96      533.47    krater12
hardware-verification-bv/btor2c-lazyMod.at.4.prop1-func-interl.yml                              TIMEOUT                        902.96      522.04    krater19
hardware-verification-bv/btor2c-lazyMod.at.5.prop1-back-serstep.yml                             TIMEOUT                        902.95      538.30    krater05
hardware-verification-bv/btor2c-lazyMod.at.5.prop1-func-interl.yml                              TIMEOUT                        902.78      524.79    krater05
hardware-verification-bv/btor2c-lazyMod.at.6.prop1-back-serstep.yml                             TIMEOUT                        903.21      549.19    krater26
hardware-verification-bv/btor2c-lazyMod.at.6.prop1-func-interl.yml                              TIMEOUT                        902.36      512.22    krater38
hardware-verification-bv/btor2c-lazyMod.at.7.prop1-back-serstep.yml                             TIMEOUT                        903.09      541.17    krater01
hardware-verification-bv/btor2c-lazyMod.at.7.prop1-func-interl.yml                              TIMEOUT                        902.82      461.38    krater06
hardware-verification-bv/btor2c-lazyMod.bakery.1.prop1-back-serstep.yml                         TIMEOUT                        901.96      581.59    krater34
hardware-verification-bv/btor2c-lazyMod.bakery.1.prop1-func-interl.yml                          TIMEOUT                        910.38      577.33    krater15
hardware-verification-bv/btor2c-lazyMod.bakery.2.prop1-back-serstep.yml                         false(unreach-call)            210.21      105.67    krater32
hardware-verification-bv/btor2c-lazyMod.bakery.2.prop1-func-interl.yml                          TIMEOUT                        910.95      579.09    krater14
hardware-verification-bv/btor2c-lazyMod.bakery.3.prop1-back-serstep.yml                         TIMEOUT                        903.33      533.44    krater03
hardware-verification-bv/btor2c-lazyMod.bakery.3.prop1-func-interl.yml                          TIMEOUT                        902.23      548.63    krater06
hardware-verification-bv/btor2c-lazyMod.bakery.4.prop1-back-serstep.yml                         TIMEOUT                        908.46      535.39    krater09
hardware-verification-bv/btor2c-lazyMod.bakery.4.prop1-func-interl.yml                          TIMEOUT                        902.78      547.09    krater15
hardware-verification-bv/btor2c-lazyMod.bakery.5.prop1-back-serstep.yml                         TIMEOUT                        902.98      576.59    krater10
hardware-verification-bv/btor2c-lazyMod.bakery.5.prop1-func-interl.yml                          TIMEOUT                        902.91      550.70    krater02
hardware-verification-bv/btor2c-lazyMod.bakery.6.prop1-back-serstep.yml                         TIMEOUT                        902.70      576.45    krater39
hardware-verification-bv/btor2c-lazyMod.bakery.6.prop1-func-interl.yml                          TIMEOUT                        902.98      550.18    krater30
hardware-verification-bv/btor2c-lazyMod.bakery.7.prop1-back-serstep.yml                         TIMEOUT                        903.12      573.87    krater30
hardware-verification-bv/btor2c-lazyMod.bakery.7.prop1-func-interl.yml                          TIMEOUT                        902.41      549.79    krater06
hardware-verification-bv/btor2c-lazyMod.bakery.8.prop1-back-serstep.yml                         TIMEOUT                        903.20      547.07    krater15
hardware-verification-bv/btor2c-lazyMod.bakery.8.prop1-func-interl.yml                          TIMEOUT                        902.63      548.64    krater35
hardware-verification-bv/btor2c-lazyMod.bit-vector.yml                                          true                             7.36        3.87    krater03
hardware-verification-bv/btor2c-lazyMod.blocks.2.prop1-back-serstep.yml                         TIMEOUT                        902.49      548.03    krater38
hardware-verification-bv/btor2c-lazyMod.blocks.2.prop1-func-interl.yml                          TIMEOUT                        902.86      549.13    krater04
hardware-verification-bv/btor2c-lazyMod.blocks.3.prop1-back-serstep.yml                         TIMEOUT                        902.67      544.48    krater21
hardware-verification-bv/btor2c-lazyMod.blocks.3.prop1-func-interl.yml                          TIMEOUT                        903.28      547.30    krater25
hardware-verification-bv/btor2c-lazyMod.blocks.4.prop1-back-serstep.yml                         TIMEOUT                        902.81      547.70    krater34
hardware-verification-bv/btor2c-lazyMod.blocks.4.prop1-func-interl.yml                          TIMEOUT                        903.32      542.16    krater04
hardware-verification-bv/btor2c-lazyMod.bridge.1.prop1-back-serstep.yml                         TIMEOUT                        902.51      553.78    krater13
hardware-verification-bv/btor2c-lazyMod.bridge.1.prop1-func-interl.yml                          TIMEOUT                        910.88      459.95    krater28
hardware-verification-bv/btor2c-lazyMod.bridge.2.prop1-back-serstep.yml                         TIMEOUT                        903.34      487.10    krater38
hardware-verification-bv/btor2c-lazyMod.bridge.2.prop1-func-interl.yml                          TIMEOUT                        902.52      557.39    krater20
hardware-verification-bv/btor2c-lazyMod.bridge.3.prop1-back-serstep.yml                         TIMEOUT                        903.82      543.81    krater19
hardware-verification-bv/btor2c-lazyMod.bridge.3.prop1-func-interl.yml                          TIMEOUT                        903.06      485.62    krater19
hardware-verification-bv/btor2c-lazyMod.brp.1.prop1-back-serstep.yml                            TIMEOUT                        903.19      569.58    krater14
hardware-verification-bv/btor2c-lazyMod.brp.1.prop1-func-interl.yml                             TIMEOUT                        902.29      538.70    krater17
hardware-verification-bv/btor2c-lazyMod.brp.2.prop1-back-serstep.yml                            false(unreach-call)            836.24      493.93    krater03
hardware-verification-bv/btor2c-lazyMod.brp.2.prop1-func-interl.yml                             TIMEOUT                        910.78      551.41    krater08
hardware-verification-bv/btor2c-lazyMod.brp.3.prop1-back-serstep.yml                            TIMEOUT                        910.25      550.26    krater27
hardware-verification-bv/btor2c-lazyMod.brp.3.prop1-func-interl.yml                             TIMEOUT                        902.07      537.53    krater01
hardware-verification-bv/btor2c-lazyMod.brp.4.prop1-back-serstep.yml                            TIMEOUT                        903.68      544.47    krater01
hardware-verification-bv/btor2c-lazyMod.brp.4.prop1-func-interl.yml                             TIMEOUT                        902.42      542.97    krater24
hardware-verification-bv/btor2c-lazyMod.brp.5.prop1-back-serstep.yml                            TIMEOUT                        903.12      531.11    krater17
hardware-verification-bv/btor2c-lazyMod.brp.5.prop1-func-interl.yml                             TIMEOUT                        902.34      547.78    krater25
hardware-verification-bv/btor2c-lazyMod.brp.6.prop1-back-serstep.yml                            TIMEOUT                        903.06      547.88    krater22
hardware-verification-bv/btor2c-lazyMod.brp.6.prop1-func-interl.yml                             TIMEOUT                        902.21      545.70    krater36
hardware-verification-bv/btor2c-lazyMod.brp2.1.prop1-back-serstep.yml                           TIMEOUT                        902.93      541.66    krater20
hardware-verification-bv/btor2c-lazyMod.brp2.1.prop1-func-interl.yml                            TIMEOUT                        903.28      549.51    krater30
hardware-verification-bv/btor2c-lazyMod.brp2.1.prop2-back-serstep.yml                           TIMEOUT                        902.94      544.91    krater10
hardware-verification-bv/btor2c-lazyMod.brp2.1.prop2-func-interl.yml                            TIMEOUT                        902.46      547.21    krater38
hardware-verification-bv/btor2c-lazyMod.brp2.1.prop3-back-serstep.yml                           TIMEOUT                        902.78      541.65    krater14
hardware-verification-bv/btor2c-lazyMod.brp2.1.prop3-func-interl.yml                            TIMEOUT                        902.94      548.32    krater40
hardware-verification-bv/btor2c-lazyMod.brp2.2.prop1-back-serstep.yml                           TIMEOUT                        903.04      540.48    krater02
hardware-verification-bv/btor2c-lazyMod.brp2.2.prop1-func-interl.yml                            TIMEOUT                        902.99      548.61    krater25
hardware-verification-bv/btor2c-lazyMod.brp2.2.prop2-back-serstep.yml                           TIMEOUT                        903.14      537.32    krater10
hardware-verification-bv/btor2c-lazyMod.brp2.2.prop2-func-interl.yml                            TIMEOUT                        903.02      548.28    krater34
hardware-verification-bv/btor2c-lazyMod.brp2.2.prop3-back-serstep.yml                           TIMEOUT                        902.17      508.85    krater23
hardware-verification-bv/btor2c-lazyMod.brp2.2.prop3-func-interl.yml                            TIMEOUT                        902.94      544.74    krater28
hardware-verification-bv/btor2c-lazyMod.brp2.3.prop1-back-serstep.yml                           TIMEOUT                        903.08      547.97    krater25
hardware-verification-bv/btor2c-lazyMod.brp2.3.prop1-func-interl.yml                            TIMEOUT                        902.98      551.31    krater37
hardware-verification-bv/btor2c-lazyMod.brp2.3.prop2-back-serstep.yml                           TIMEOUT                        903.32      540.91    krater25
hardware-verification-bv/btor2c-lazyMod.brp2.3.prop2-func-interl.yml                            TIMEOUT                        902.73      540.46    krater38
hardware-verification-bv/btor2c-lazyMod.brp2.3.prop3-back-serstep.yml                           TIMEOUT                        902.84      548.50    krater27
hardware-verification-bv/btor2c-lazyMod.brp2.3.prop3-func-interl.yml                            TIMEOUT                        902.91      532.47    krater26
hardware-verification-bv/btor2c-lazyMod.brp2.4.prop1-back-serstep.yml                           TIMEOUT                        902.83      504.87    krater06
hardware-verification-bv/btor2c-lazyMod.brp2.4.prop1-func-interl.yml                            TIMEOUT                        902.63      547.04    krater03
hardware-verification-bv/btor2c-lazyMod.brp2.4.prop2-back-serstep.yml                           TIMEOUT                        903.67      537.05    krater10
hardware-verification-bv/btor2c-lazyMod.brp2.4.prop2-func-interl.yml                            TIMEOUT                        902.44      509.92    krater06
hardware-verification-bv/btor2c-lazyMod.brp2.4.prop3-back-serstep.yml                           TIMEOUT                        903.04      546.51    krater36
hardware-verification-bv/btor2c-lazyMod.brp2.4.prop3-func-interl.yml                            TIMEOUT                        902.63      548.84    krater02
hardware-verification-bv/btor2c-lazyMod.brp2.5.prop1-back-serstep.yml                           TIMEOUT                        903.66      537.98    krater30
hardware-verification-bv/btor2c-lazyMod.brp2.5.prop1-func-interl.yml                            TIMEOUT                        902.48      549.06    krater17
hardware-verification-bv/btor2c-lazyMod.brp2.5.prop2-back-serstep.yml                           TIMEOUT                        903.43      548.33    krater21
hardware-verification-bv/btor2c-lazyMod.brp2.5.prop2-func-interl.yml                            TIMEOUT                        902.35      550.14    krater01
hardware-verification-bv/btor2c-lazyMod.brp2.5.prop3-back-serstep.yml                           TIMEOUT                        903.08      546.82    krater26
hardware-verification-bv/btor2c-lazyMod.brp2.5.prop3-func-interl.yml                            TIMEOUT                        902.78      540.95    krater37
hardware-verification-bv/btor2c-lazyMod.brp2.6.prop1-back-serstep.yml                           TIMEOUT                        903.01      525.66    krater24
hardware-verification-bv/btor2c-lazyMod.brp2.6.prop1-func-interl.yml                            TIMEOUT                        902.82      550.58    krater21
hardware-verification-bv/btor2c-lazyMod.brp2.6.prop2-back-serstep.yml                           TIMEOUT                        902.65      544.43    krater38
hardware-verification-bv/btor2c-lazyMod.brp2.6.prop2-func-interl.yml                            TIMEOUT                        902.58      510.19    krater27
hardware-verification-bv/btor2c-lazyMod.brp2.6.prop3-back-serstep.yml                           TIMEOUT                        902.85      546.42    krater29
hardware-verification-bv/btor2c-lazyMod.brp2.6.prop3-func-interl.yml                            TIMEOUT                        902.47      549.90    krater33
hardware-verification-bv/btor2c-lazyMod.bug-1.yml                                               true                             8.53        4.60    krater03
hardware-verification-bv/btor2c-lazyMod.cache_coherence_three.yml                               TIMEOUT                        904.26      562.42    krater24
hardware-verification-bv/btor2c-lazyMod.cache_coherence_two.yml                                 true                           485.19      243.65    krater33
hardware-verification-bv/btor2c-lazyMod.cal1.yml                                                TIMEOUT                        904.45      550.04    krater26
hardware-verification-bv/btor2c-lazyMod.cal10.yml                                               SEGMENTATION FAULT              38.59       19.64    krater17
hardware-verification-bv/btor2c-lazyMod.cal100.yml                                              SEGMENTATION FAULT             341.50      171.86    krater01
hardware-verification-bv/btor2c-lazyMod.cal101.yml                                              SEGMENTATION FAULT             346.06      174.24    krater15
hardware-verification-bv/btor2c-lazyMod.cal102.yml                                              SEGMENTATION FAULT             504.64      253.31    krater33
hardware-verification-bv/btor2c-lazyMod.cal103.yml                                              TIMEOUT                        904.39      573.50    krater22
hardware-verification-bv/btor2c-lazyMod.cal104.yml                                              TIMEOUT                        903.37      581.30    krater26
hardware-verification-bv/btor2c-lazyMod.cal105.yml                                              SEGMENTATION FAULT             508.29      255.01    krater23
hardware-verification-bv/btor2c-lazyMod.cal106.yml                                              TIMEOUT                        904.66      573.61    krater20
hardware-verification-bv/btor2c-lazyMod.cal107.yml                                              TIMEOUT                        903.45      579.74    krater18
hardware-verification-bv/btor2c-lazyMod.cal108.yml                                              SEGMENTATION FAULT             456.22      230.28    krater13
hardware-verification-bv/btor2c-lazyMod.cal109.yml                                              TIMEOUT                        904.11      579.22    krater24
hardware-verification-bv/btor2c-lazyMod.cal11.yml                                               SEGMENTATION FAULT              39.16       20.12    krater22
hardware-verification-bv/btor2c-lazyMod.cal110.yml                                              TIMEOUT                        904.45      569.03    krater01
hardware-verification-bv/btor2c-lazyMod.cal111.yml                                              SEGMENTATION FAULT             542.58      273.91    krater30
hardware-verification-bv/btor2c-lazyMod.cal112.yml                                              TIMEOUT                        903.47      580.10    krater12
hardware-verification-bv/btor2c-lazyMod.cal113.yml                                              TIMEOUT                        903.52      577.97    krater03
hardware-verification-bv/btor2c-lazyMod.cal114.yml                                              SEGMENTATION FAULT             301.61      151.58    krater37
hardware-verification-bv/btor2c-lazyMod.cal115.yml                                              SEGMENTATION FAULT             332.31      167.09    krater16
hardware-verification-bv/btor2c-lazyMod.cal116.yml                                              SEGMENTATION FAULT             324.03      162.73    krater03
hardware-verification-bv/btor2c-lazyMod.cal117.yml                                              SEGMENTATION FAULT             393.76      197.81    krater40
hardware-verification-bv/btor2c-lazyMod.cal118.yml                                              SEGMENTATION FAULT             396.05      198.98    krater30
hardware-verification-bv/btor2c-lazyMod.cal119.yml                                              EXCEPTION                       33.79       17.60    krater09
hardware-verification-bv/btor2c-lazyMod.cal12.yml                                               true                            11.53        6.01    krater28
hardware-verification-bv/btor2c-lazyMod.cal120.yml                                              EXCEPTION                       31.38       16.84    krater36
hardware-verification-bv/btor2c-lazyMod.cal121.yml                                              EXCEPTION                       33.19       17.18    krater26
hardware-verification-bv/btor2c-lazyMod.cal122.yml                                              EXCEPTION                       35.77       18.71    krater37
hardware-verification-bv/btor2c-lazyMod.cal123.yml                                              EXCEPTION                       35.76       18.44    krater18
hardware-verification-bv/btor2c-lazyMod.cal124.yml                                              EXCEPTION                       31.78       16.43    krater07
hardware-verification-bv/btor2c-lazyMod.cal125.yml                                              SEGMENTATION FAULT             551.76      276.70    krater35
hardware-verification-bv/btor2c-lazyMod.cal126.yml                                              TIMEOUT                        904.07      574.26    krater18
hardware-verification-bv/btor2c-lazyMod.cal127.yml                                              TIMEOUT                        903.93      582.41    krater01
hardware-verification-bv/btor2c-lazyMod.cal128.yml                                              SEGMENTATION FAULT             465.51      233.71    krater03
hardware-verification-bv/btor2c-lazyMod.cal129.yml                                              TIMEOUT                        903.99      582.30    krater09
hardware-verification-bv/btor2c-lazyMod.cal13.yml                                               true                            14.20        7.41    krater19
hardware-verification-bv/btor2c-lazyMod.cal130.yml                                              TIMEOUT                        903.57      575.66    krater20
hardware-verification-bv/btor2c-lazyMod.cal131.yml                                              SEGMENTATION FAULT             370.94      186.46    krater24
hardware-verification-bv/btor2c-lazyMod.cal132.yml                                              SEGMENTATION FAULT             419.58      212.33    krater10
hardware-verification-bv/btor2c-lazyMod.cal133.yml                                              SEGMENTATION FAULT             426.42      214.17    krater36
hardware-verification-bv/btor2c-lazyMod.cal134.yml                                              TIMEOUT                        903.47      576.64    krater40
hardware-verification-bv/btor2c-lazyMod.cal135.yml                                              SEGMENTATION FAULT             479.77      240.78    krater31
hardware-verification-bv/btor2c-lazyMod.cal136.yml                                              SEGMENTATION FAULT             488.44      245.21    krater07
hardware-verification-bv/btor2c-lazyMod.cal137.yml                                              SEGMENTATION FAULT             315.98      158.91    krater37
hardware-verification-bv/btor2c-lazyMod.cal138.yml                                              SEGMENTATION FAULT             345.59      174.35    krater02
hardware-verification-bv/btor2c-lazyMod.cal139.yml                                              SEGMENTATION FAULT             346.48      174.26    krater09
hardware-verification-bv/btor2c-lazyMod.cal14.yml                                               SEGMENTATION FAULT              42.14       21.48    krater23
hardware-verification-bv/btor2c-lazyMod.cal140.yml                                              SEGMENTATION FAULT             306.64      154.27    krater19
hardware-verification-bv/btor2c-lazyMod.cal141.yml                                              SEGMENTATION FAULT             336.95      169.15    krater19
hardware-verification-bv/btor2c-lazyMod.cal142.yml                                              SEGMENTATION FAULT             371.52      186.92    krater40
hardware-verification-bv/btor2c-lazyMod.cal143.yml                                              TIMEOUT                        904.71      573.84    krater29
hardware-verification-bv/btor2c-lazyMod.cal144.yml                                              SEGMENTATION FAULT             430.68      216.17    krater24
hardware-verification-bv/btor2c-lazyMod.cal145.yml                                              SEGMENTATION FAULT             446.65      224.25    krater21
hardware-verification-bv/btor2c-lazyMod.cal146.yml                                              EXCEPTION                       32.98       17.06    krater28
hardware-verification-bv/btor2c-lazyMod.cal147.yml                                              EXCEPTION                       37.10       19.02    krater35
hardware-verification-bv/btor2c-lazyMod.cal148.yml                                              EXCEPTION                       31.48       16.26    krater12
hardware-verification-bv/btor2c-lazyMod.cal149.yml                                              SEGMENTATION FAULT             324.27      162.96    krater38
hardware-verification-bv/btor2c-lazyMod.cal15.yml                                               SEGMENTATION FAULT              30.13       15.46    krater08
hardware-verification-bv/btor2c-lazyMod.cal150.yml                                              SEGMENTATION FAULT             350.71      177.45    krater20
hardware-verification-bv/btor2c-lazyMod.cal151.yml                                              SEGMENTATION FAULT             354.29      178.09    krater08
hardware-verification-bv/btor2c-lazyMod.cal152.yml                                              SEGMENTATION FAULT             305.08      153.46    krater10
hardware-verification-bv/btor2c-lazyMod.cal153.yml                                              SEGMENTATION FAULT             367.21      184.45    krater22
hardware-verification-bv/btor2c-lazyMod.cal154.yml                                              SEGMENTATION FAULT             363.40      182.57    krater39
hardware-verification-bv/btor2c-lazyMod.cal155.yml                                              SEGMENTATION FAULT             193.02       97.07    krater17
hardware-verification-bv/btor2c-lazyMod.cal156.yml                                              SEGMENTATION FAULT             117.54       60.55    krater32
hardware-verification-bv/btor2c-lazyMod.cal157.yml                                              TIMEOUT                        913.50      462.07    krater39
hardware-verification-bv/btor2c-lazyMod.cal158.yml                                              SEGMENTATION FAULT              74.21       37.85    krater33
hardware-verification-bv/btor2c-lazyMod.cal159.yml                                              SEGMENTATION FAULT              89.65       45.58    krater29
hardware-verification-bv/btor2c-lazyMod.cal16.yml                                               true                            10.44        5.43    krater36
hardware-verification-bv/btor2c-lazyMod.cal160.yml                                              SEGMENTATION FAULT              72.58       37.04    krater31
hardware-verification-bv/btor2c-lazyMod.cal161.yml                                              SEGMENTATION FAULT             232.07      121.11    krater38
hardware-verification-bv/btor2c-lazyMod.cal162.yml                                              SEGMENTATION FAULT              77.97       39.64    krater33
hardware-verification-bv/btor2c-lazyMod.cal163.yml                                              SEGMENTATION FAULT              74.12       37.72    krater19
hardware-verification-bv/btor2c-lazyMod.cal164.yml                                              SEGMENTATION FAULT             492.11      251.84    krater13
hardware-verification-bv/btor2c-lazyMod.cal165.yml                                              SEGMENTATION FAULT              74.87       38.08    krater05
hardware-verification-bv/btor2c-lazyMod.cal166.yml                                              SEGMENTATION FAULT             311.10      156.04    krater23
hardware-verification-bv/btor2c-lazyMod.cal167.yml                                              SEGMENTATION FAULT              58.92       30.21    krater29
hardware-verification-bv/btor2c-lazyMod.cal168.yml                                              SEGMENTATION FAULT             283.63      142.52    krater36
hardware-verification-bv/btor2c-lazyMod.cal169.yml                                              SEGMENTATION FAULT             307.33      154.35    krater30
hardware-verification-bv/btor2c-lazyMod.cal17.yml                                               true                             9.89        5.17    krater34
hardware-verification-bv/btor2c-lazyMod.cal170.yml                                              SEGMENTATION FAULT             306.61      154.00    krater22
hardware-verification-bv/btor2c-lazyMod.cal171.yml                                              SEGMENTATION FAULT             236.64      118.87    krater39
hardware-verification-bv/btor2c-lazyMod.cal172.yml                                              SEGMENTATION FAULT             236.85      118.91    krater38
hardware-verification-bv/btor2c-lazyMod.cal173.yml                                              SEGMENTATION FAULT             249.11      125.34    krater40
hardware-verification-bv/btor2c-lazyMod.cal174.yml                                              TIMEOUT                        903.53      542.44    krater28
hardware-verification-bv/btor2c-lazyMod.cal175.yml                                              SEGMENTATION FAULT             244.35      122.66    krater38
hardware-verification-bv/btor2c-lazyMod.cal176.yml                                              EXCEPTION                      666.15      456.94    krater07
hardware-verification-bv/btor2c-lazyMod.cal177.yml                                              EXCEPTION                      695.83      483.21    krater20
hardware-verification-bv/btor2c-lazyMod.cal178.yml                                              SEGMENTATION FAULT              30.42       15.58    krater40
hardware-verification-bv/btor2c-lazyMod.cal179.yml                                              TIMEOUT                        903.93      540.72    krater31
hardware-verification-bv/btor2c-lazyMod.cal18.yml                                               true                            11.84        6.15    krater12
hardware-verification-bv/btor2c-lazyMod.cal180.yml                                              TIMEOUT                        903.29      538.60    krater27
hardware-verification-bv/btor2c-lazyMod.cal181.yml                                              true                            10.43        5.45    krater38
hardware-verification-bv/btor2c-lazyMod.cal182.yml                                              unknown                        368.77      226.75    krater23
hardware-verification-bv/btor2c-lazyMod.cal183.yml                                              unknown                        370.19      228.09    krater06
hardware-verification-bv/btor2c-lazyMod.cal184.yml                                              unknown                        354.96      219.49    krater39
hardware-verification-bv/btor2c-lazyMod.cal185.yml                                              TIMEOUT                        903.73      542.93    krater06
hardware-verification-bv/btor2c-lazyMod.cal186.yml                                              TIMEOUT                        903.77      540.86    krater07
hardware-verification-bv/btor2c-lazyMod.cal187.yml                                              EXCEPTION                      391.40      197.43    krater13
hardware-verification-bv/btor2c-lazyMod.cal188.yml                                              EXCEPTION                      416.80      210.28    krater30
hardware-verification-bv/btor2c-lazyMod.cal189.yml                                              SEGMENTATION FAULT             115.39       59.23    krater10
hardware-verification-bv/btor2c-lazyMod.cal19.yml                                               SEGMENTATION FAULT              35.12       17.91    krater05
hardware-verification-bv/btor2c-lazyMod.cal190.yml                                              EXCEPTION                      486.84      245.21    krater40
hardware-verification-bv/btor2c-lazyMod.cal191.yml                                              EXCEPTION                      345.25      174.16    krater10
hardware-verification-bv/btor2c-lazyMod.cal192.yml                                              EXCEPTION                      528.14      265.56    krater31
hardware-verification-bv/btor2c-lazyMod.cal193.yml                                              EXCEPTION                      353.97      178.47    krater36
hardware-verification-bv/btor2c-lazyMod.cal194.yml                                              SEGMENTATION FAULT             106.24       54.39    krater31
hardware-verification-bv/btor2c-lazyMod.cal195.yml                                              EXCEPTION                      415.27      208.94    krater16
hardware-verification-bv/btor2c-lazyMod.cal196.yml                                              EXCEPTION                      534.89      269.07    krater14
hardware-verification-bv/btor2c-lazyMod.cal197.yml                                              SEGMENTATION FAULT             331.51      167.25    krater22
hardware-verification-bv/btor2c-lazyMod.cal198.yml                                              EXCEPTION                      403.94      203.17    krater35
hardware-verification-bv/btor2c-lazyMod.cal199.yml                                              EXCEPTION                      380.12      191.70    krater36
hardware-verification-bv/btor2c-lazyMod.cal2.yml                                                TIMEOUT                        903.68      539.97    krater07
hardware-verification-bv/btor2c-lazyMod.cal20.yml                                               SEGMENTATION FAULT              44.73       22.85    krater29
hardware-verification-bv/btor2c-lazyMod.cal200.yml                                              EXCEPTION                      406.63      204.79    krater34
hardware-verification-bv/btor2c-lazyMod.cal201.yml                                              EXCEPTION                      388.85      197.51    krater33
hardware-verification-bv/btor2c-lazyMod.cal202.yml                                              SEGMENTATION FAULT             388.40      195.87    krater13
hardware-verification-bv/btor2c-lazyMod.cal203.yml                                              SEGMENTATION FAULT             250.06      127.11    krater09
hardware-verification-bv/btor2c-lazyMod.cal204.yml                                              EXCEPTION                      403.16      203.66    krater33
hardware-verification-bv/btor2c-lazyMod.cal205.yml                                              EXCEPTION                      402.45      202.44    krater37
hardware-verification-bv/btor2c-lazyMod.cal206.yml                                              EXCEPTION                      381.80      192.69    krater32
hardware-verification-bv/btor2c-lazyMod.cal207.yml                                              EXCEPTION                      407.37      205.04    krater34
hardware-verification-bv/btor2c-lazyMod.cal208.yml                                              SEGMENTATION FAULT             253.71      128.75    krater31
hardware-verification-bv/btor2c-lazyMod.cal209.yml                                              TIMEOUT (EXCEPTION)            913.11      606.00    krater37
hardware-verification-bv/btor2c-lazyMod.cal21.yml                                               SEGMENTATION FAULT              30.99       15.87    krater30
hardware-verification-bv/btor2c-lazyMod.cal210.yml                                              EXCEPTION                      419.13      210.70    krater04
hardware-verification-bv/btor2c-lazyMod.cal211.yml                                              EXCEPTION                      639.45      417.09    krater03
hardware-verification-bv/btor2c-lazyMod.cal212.yml                                              unknown                        358.78      221.09    krater05
hardware-verification-bv/btor2c-lazyMod.cal213.yml                                              unknown                        373.40      227.45    krater38
hardware-verification-bv/btor2c-lazyMod.cal214.yml                                              EXCEPTION                      284.29      146.25    krater33
hardware-verification-bv/btor2c-lazyMod.cal215.yml                                              unknown                        362.61      222.40    krater06
hardware-verification-bv/btor2c-lazyMod.cal216.yml                                              unknown                        370.61      226.40    krater16
hardware-verification-bv/btor2c-lazyMod.cal217.yml                                              unknown                        373.43      232.22    krater09
hardware-verification-bv/btor2c-lazyMod.cal218.yml                                              unknown                        380.32      233.37    krater16
hardware-verification-bv/btor2c-lazyMod.cal219.yml                                              unknown                        341.50      213.54    krater10
hardware-verification-bv/btor2c-lazyMod.cal22.yml                                               SEGMENTATION FAULT              22.26       11.62    krater12
hardware-verification-bv/btor2c-lazyMod.cal220.yml                                              unknown                        381.70      231.29    krater16
hardware-verification-bv/btor2c-lazyMod.cal221.yml                                              unknown                        374.94      229.42    krater14
hardware-verification-bv/btor2c-lazyMod.cal222.yml                                              unknown                        350.37      216.23    krater40
hardware-verification-bv/btor2c-lazyMod.cal223.yml                                              unknown                        347.84      215.33    krater39
hardware-verification-bv/btor2c-lazyMod.cal224.yml                                              unknown                        397.24      245.11    krater22
hardware-verification-bv/btor2c-lazyMod.cal225.yml                                              unknown                        389.65      237.61    krater36
hardware-verification-bv/btor2c-lazyMod.cal226.yml                                              unknown                        390.34      238.58    krater25
hardware-verification-bv/btor2c-lazyMod.cal227.yml                                              unknown                        379.01      234.80    krater29
hardware-verification-bv/btor2c-lazyMod.cal228.yml                                              unknown                        381.73      236.88    krater19
hardware-verification-bv/btor2c-lazyMod.cal229.yml                                              unknown                        358.46      220.57    krater22
hardware-verification-bv/btor2c-lazyMod.cal23.yml                                               SEGMENTATION FAULT              48.12       24.57    krater25
hardware-verification-bv/btor2c-lazyMod.cal230.yml                                              unknown                        364.56      220.82    krater04
hardware-verification-bv/btor2c-lazyMod.cal231.yml                                              unknown                        349.63      215.82    krater37
hardware-verification-bv/btor2c-lazyMod.cal232.yml                                              unknown                        375.12      228.67    krater29
hardware-verification-bv/btor2c-lazyMod.cal233.yml                                              unknown                        366.18      224.18    krater17
hardware-verification-bv/btor2c-lazyMod.cal234.yml                                              unknown                        357.47      219.70    krater32
hardware-verification-bv/btor2c-lazyMod.cal235.yml                                              unknown                        370.96      227.85    krater04
hardware-verification-bv/btor2c-lazyMod.cal24.yml                                               SEGMENTATION FAULT              44.15       22.47    krater28
hardware-verification-bv/btor2c-lazyMod.cal25.yml                                               true                            11.86        6.19    krater04
hardware-verification-bv/btor2c-lazyMod.cal26.yml                                               TIMEOUT                        902.33      538.49    krater19
hardware-verification-bv/btor2c-lazyMod.cal27.yml                                               SEGMENTATION FAULT             320.59      161.39    krater22
hardware-verification-bv/btor2c-lazyMod.cal28.yml                                               SEGMENTATION FAULT             243.58      122.54    krater35
hardware-verification-bv/btor2c-lazyMod.cal29.yml                                               SEGMENTATION FAULT              36.77       18.81    krater26
hardware-verification-bv/btor2c-lazyMod.cal3.yml                                                SEGMENTATION FAULT              68.12       34.44    krater19
hardware-verification-bv/btor2c-lazyMod.cal30.yml                                               SEGMENTATION FAULT              66.50       33.69    krater01
hardware-verification-bv/btor2c-lazyMod.cal31.yml                                               SEGMENTATION FAULT             223.70      112.29    krater01
hardware-verification-bv/btor2c-lazyMod.cal32.yml                                               SEGMENTATION FAULT             179.77       90.61    krater09
hardware-verification-bv/btor2c-lazyMod.cal33.yml                                               TIMEOUT                        902.27      539.31    krater31
hardware-verification-bv/btor2c-lazyMod.cal34.yml                                               SEGMENTATION FAULT             376.60      188.83    krater16
hardware-verification-bv/btor2c-lazyMod.cal35.yml                                               SEGMENTATION FAULT             252.39      126.79    krater04
hardware-verification-bv/btor2c-lazyMod.cal36.yml                                               SEGMENTATION FAULT              77.03       38.94    krater23
hardware-verification-bv/btor2c-lazyMod.cal37.yml                                               SEGMENTATION FAULT              36.24       18.55    krater05
hardware-verification-bv/btor2c-lazyMod.cal38.yml                                               SEGMENTATION FAULT              34.50       17.65    krater22
hardware-verification-bv/btor2c-lazyMod.cal39.yml                                               SEGMENTATION FAULT              34.34       17.55    krater32
hardware-verification-bv/btor2c-lazyMod.cal4.yml                                                SEGMENTATION FAULT              55.71       28.32    krater19
hardware-verification-bv/btor2c-lazyMod.cal40.yml                                               SEGMENTATION FAULT              35.21       17.97    krater08
hardware-verification-bv/btor2c-lazyMod.cal41.yml                                               SEGMENTATION FAULT              41.62       21.20    krater08
hardware-verification-bv/btor2c-lazyMod.cal42.yml                                               SEGMENTATION FAULT              56.54       29.07    krater33
hardware-verification-bv/btor2c-lazyMod.cal43.yml                                               SEGMENTATION FAULT              79.07       40.02    krater14
hardware-verification-bv/btor2c-lazyMod.cal44.yml                                               SEGMENTATION FAULT              49.88       25.33    krater22
hardware-verification-bv/btor2c-lazyMod.cal45.yml                                               EXCEPTION                       68.83       34.89    krater14
hardware-verification-bv/btor2c-lazyMod.cal46.yml                                               SEGMENTATION FAULT              78.20       39.54    krater08
hardware-verification-bv/btor2c-lazyMod.cal47.yml                                               SEGMENTATION FAULT              46.73       23.87    krater37
hardware-verification-bv/btor2c-lazyMod.cal48.yml                                               SEGMENTATION FAULT              42.06       21.40    krater09
hardware-verification-bv/btor2c-lazyMod.cal49.yml                                               SEGMENTATION FAULT              52.85       26.83    krater18
hardware-verification-bv/btor2c-lazyMod.cal5.yml                                                SEGMENTATION FAULT              56.20       28.60    krater06
hardware-verification-bv/btor2c-lazyMod.cal50.yml                                               SEGMENTATION FAULT              46.53       23.66    krater02
hardware-verification-bv/btor2c-lazyMod.cal51.yml                                               true                            11.01        5.69    krater19
hardware-verification-bv/btor2c-lazyMod.cal52.yml                                               SEGMENTATION FAULT              40.77       20.83    krater12
hardware-verification-bv/btor2c-lazyMod.cal53.yml                                               TIMEOUT                        902.53      497.80    krater03
hardware-verification-bv/btor2c-lazyMod.cal54.yml                                               true                            12.51        6.49    krater32
hardware-verification-bv/btor2c-lazyMod.cal55.yml                                               true                            10.83        5.62    krater19
hardware-verification-bv/btor2c-lazyMod.cal56.yml                                               TIMEOUT                        903.12      541.96    krater14
hardware-verification-bv/btor2c-lazyMod.cal57.yml                                               true                            11.27        5.88    krater25
hardware-verification-bv/btor2c-lazyMod.cal58.yml                                               true                            10.79        5.65    krater28
hardware-verification-bv/btor2c-lazyMod.cal59.yml                                               SEGMENTATION FAULT             303.70      152.59    krater06
hardware-verification-bv/btor2c-lazyMod.cal6.yml                                                SEGMENTATION FAULT              90.33       45.55    krater17
hardware-verification-bv/btor2c-lazyMod.cal60.yml                                               SEGMENTATION FAULT             371.27      186.35    krater26
hardware-verification-bv/btor2c-lazyMod.cal61.yml                                               SEGMENTATION FAULT              45.99       23.81    krater36
hardware-verification-bv/btor2c-lazyMod.cal62.yml                                               SEGMENTATION FAULT             175.58       88.36    krater08
hardware-verification-bv/btor2c-lazyMod.cal63.yml                                               SEGMENTATION FAULT             198.90       99.90    krater37
hardware-verification-bv/btor2c-lazyMod.cal64.yml                                               EXCEPTION                       52.41       26.95    krater32
hardware-verification-bv/btor2c-lazyMod.cal65.yml                                               EXCEPTION                       51.76       26.67    krater19
hardware-verification-bv/btor2c-lazyMod.cal66.yml                                               EXCEPTION                       55.37       28.56    krater28
hardware-verification-bv/btor2c-lazyMod.cal67.yml                                               SEGMENTATION FAULT              94.53       47.88    krater35
hardware-verification-bv/btor2c-lazyMod.cal68.yml                                               SEGMENTATION FAULT             182.58       91.75    krater01
hardware-verification-bv/btor2c-lazyMod.cal69.yml                                               SEGMENTATION FAULT              98.99       49.97    krater38
hardware-verification-bv/btor2c-lazyMod.cal7.yml                                                SEGMENTATION FAULT              32.52       16.69    krater36
hardware-verification-bv/btor2c-lazyMod.cal70.yml                                               EXCEPTION                       54.06       27.96    krater35
hardware-verification-bv/btor2c-lazyMod.cal71.yml                                               EXCEPTION                       51.92       26.80    krater32
hardware-verification-bv/btor2c-lazyMod.cal72.yml                                               EXCEPTION                       60.02       30.83    krater22
hardware-verification-bv/btor2c-lazyMod.cal73.yml                                               EXCEPTION                       61.16       31.59    krater29
hardware-verification-bv/btor2c-lazyMod.cal74.yml                                               SEGMENTATION FAULT             140.44       71.00    krater13
hardware-verification-bv/btor2c-lazyMod.cal75.yml                                               SEGMENTATION FAULT             190.78       96.25    krater39
hardware-verification-bv/btor2c-lazyMod.cal76.yml                                               SEGMENTATION FAULT              47.14       23.99    krater05
hardware-verification-bv/btor2c-lazyMod.cal77.yml                                               SEGMENTATION FAULT              51.61       26.30    krater03
hardware-verification-bv/btor2c-lazyMod.cal78.yml                                               SEGMENTATION FAULT              51.94       26.70    krater23
hardware-verification-bv/btor2c-lazyMod.cal79.yml                                               SEGMENTATION FAULT              66.92       33.90    krater10
hardware-verification-bv/btor2c-lazyMod.cal8.yml                                                SEGMENTATION FAULT              41.03       20.92    krater25
hardware-verification-bv/btor2c-lazyMod.cal80.yml                                               EXCEPTION                       57.46       29.63    krater37
hardware-verification-bv/btor2c-lazyMod.cal81.yml                                               EXCEPTION                       57.38       29.45    krater26
hardware-verification-bv/btor2c-lazyMod.cal82.yml                                               SEGMENTATION FAULT             127.88       64.64    krater33
hardware-verification-bv/btor2c-lazyMod.cal83.yml                                               SEGMENTATION FAULT              99.87       50.44    krater05
hardware-verification-bv/btor2c-lazyMod.cal84.yml                                               SEGMENTATION FAULT             107.79       54.77    krater09
hardware-verification-bv/btor2c-lazyMod.cal85.yml                                               SEGMENTATION FAULT             109.82       55.59    krater40
hardware-verification-bv/btor2c-lazyMod.cal86.yml                                               SEGMENTATION FAULT             462.08      231.84    krater40
hardware-verification-bv/btor2c-lazyMod.cal87.yml                                               SEGMENTATION FAULT             269.70      136.97    krater13
hardware-verification-bv/btor2c-lazyMod.cal88.yml                                               SEGMENTATION FAULT             349.44      175.48    krater23
hardware-verification-bv/btor2c-lazyMod.cal89.yml                                               SEGMENTATION FAULT             248.16      124.67    krater10
hardware-verification-bv/btor2c-lazyMod.cal9.yml                                                SEGMENTATION FAULT              42.45       21.69    krater35
hardware-verification-bv/btor2c-lazyMod.cal90.yml                                               SEGMENTATION FAULT             405.32      203.34    krater22
hardware-verification-bv/btor2c-lazyMod.cal91.yml                                               SEGMENTATION FAULT              27.94       14.34    krater28
hardware-verification-bv/btor2c-lazyMod.cal92.yml                                               SEGMENTATION FAULT              56.57       28.77    krater08
hardware-verification-bv/btor2c-lazyMod.cal93.yml                                               TIMEOUT                        902.79      533.23    krater29
hardware-verification-bv/btor2c-lazyMod.cal94.yml                                               TIMEOUT                        903.29      546.05    krater27
hardware-verification-bv/btor2c-lazyMod.cal95.yml                                               TIMEOUT                        903.38      545.04    krater23
hardware-verification-bv/btor2c-lazyMod.cal96.yml                                               EXCEPTION                       33.02       17.31    krater17
hardware-verification-bv/btor2c-lazyMod.cal97.yml                                               EXCEPTION                       31.39       16.85    krater37
hardware-verification-bv/btor2c-lazyMod.cal98.yml                                               EXCEPTION                       26.03       13.51    krater03
hardware-verification-bv/btor2c-lazyMod.cal99.yml                                               SEGMENTATION FAULT             297.45      149.60    krater17
hardware-verification-bv/btor2c-lazyMod.cambridge.1.prop1-back-serstep.yml                      TIMEOUT                        902.86      489.50    krater27
hardware-verification-bv/btor2c-lazyMod.cambridge.1.prop1-func-interl.yml                       TIMEOUT                        903.49      542.66    krater12
hardware-verification-bv/btor2c-lazyMod.cambridge.1.prop2-back-serstep.yml                      TIMEOUT                        904.27      502.61    krater35
hardware-verification-bv/btor2c-lazyMod.cambridge.1.prop2-func-interl.yml                       TIMEOUT                        902.97      542.39    krater16
hardware-verification-bv/btor2c-lazyMod.cambridge.2.prop1-back-serstep.yml                      TIMEOUT                        904.01      497.98    krater03
hardware-verification-bv/btor2c-lazyMod.cambridge.2.prop1-func-interl.yml                       TIMEOUT                        903.19      539.66    krater07
hardware-verification-bv/btor2c-lazyMod.cambridge.2.prop2-back-serstep.yml                      TIMEOUT                        904.15      509.98    krater17
hardware-verification-bv/btor2c-lazyMod.cambridge.2.prop2-func-interl.yml                       TIMEOUT                        903.20      539.40    krater34
hardware-verification-bv/btor2c-lazyMod.cambridge.3.prop1-back-serstep.yml                      TIMEOUT                        902.30      530.49    krater28
hardware-verification-bv/btor2c-lazyMod.cambridge.3.prop1-func-interl.yml                       TIMEOUT                        903.02      546.31    krater20
hardware-verification-bv/btor2c-lazyMod.cambridge.3.prop2-back-serstep.yml                      TIMEOUT                        901.89      512.93    krater16
hardware-verification-bv/btor2c-lazyMod.cambridge.3.prop2-func-interl.yml                       TIMEOUT                        902.94      545.79    krater03
hardware-verification-bv/btor2c-lazyMod.cambridge.4.prop1-back-serstep.yml                      TIMEOUT                        903.91      523.80    krater01
hardware-verification-bv/btor2c-lazyMod.cambridge.4.prop1-func-interl.yml                       TIMEOUT                        903.86      544.28    krater27
hardware-verification-bv/btor2c-lazyMod.cambridge.4.prop2-back-serstep.yml                      TIMEOUT                        904.32      513.59    krater03
hardware-verification-bv/btor2c-lazyMod.cambridge.4.prop2-func-interl.yml                       TIMEOUT                        903.04      545.65    krater09
hardware-verification-bv/btor2c-lazyMod.cambridge.5.prop1-back-serstep.yml                      TIMEOUT                        902.08      556.43    krater35
hardware-verification-bv/btor2c-lazyMod.cambridge.5.prop1-func-interl.yml                       TIMEOUT                        903.70      547.59    krater31
hardware-verification-bv/btor2c-lazyMod.cambridge.5.prop2-back-serstep.yml                      TIMEOUT                        904.98      453.30    krater29
hardware-verification-bv/btor2c-lazyMod.cambridge.5.prop2-func-interl.yml                       TIMEOUT                        903.31      547.71    krater14
hardware-verification-bv/btor2c-lazyMod.cambridge.6.prop1-back-serstep.yml                      TIMEOUT                        902.19      551.61    krater13
hardware-verification-bv/btor2c-lazyMod.cambridge.6.prop1-func-interl.yml                       TIMEOUT                        903.26      514.02    krater23
hardware-verification-bv/btor2c-lazyMod.cambridge.6.prop2-back-serstep.yml                      TIMEOUT                        902.45      557.91    krater29
hardware-verification-bv/btor2c-lazyMod.cambridge.6.prop2-func-interl.yml                       TIMEOUT                        903.18      558.46    krater19
hardware-verification-bv/btor2c-lazyMod.cambridge.7.prop1-back-serstep.yml                      TIMEOUT                        903.45      477.50    krater34
hardware-verification-bv/btor2c-lazyMod.cambridge.7.prop1-func-interl.yml                       TIMEOUT                        902.67      514.09    krater26
hardware-verification-bv/btor2c-lazyMod.cambridge.7.prop2-back-serstep.yml                      TIMEOUT                        903.83      463.94    krater13
hardware-verification-bv/btor2c-lazyMod.cambridge.7.prop2-func-interl.yml                       TIMEOUT                        903.59      531.46    krater33
hardware-verification-bv/btor2c-lazyMod.cav14_example.yml                                       true                             9.60        5.04    krater30
hardware-verification-bv/btor2c-lazyMod.cav14_example_v.yml                                     false(unreach-call)             69.47       35.06    krater33
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w128_d128_e0.yml                   TIMEOUT                        903.95      532.73    krater25
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w128_d16_e0.yml                    TIMEOUT                        903.81      586.45    krater05
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w128_d32_e0.yml                    TIMEOUT                        902.99      580.44    krater26
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w128_d64_e0.yml                    TIMEOUT                        903.62      576.70    krater19
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w128_d8_e0.yml                     TIMEOUT                        903.48      602.43    krater18
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w16_d128_e0.yml                    TIMEOUT                        903.56      540.32    krater29
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w16_d16_e0.yml                     TIMEOUT                        903.70      575.94    krater09
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w16_d32_e0.yml                     TIMEOUT                        904.12      548.89    krater06
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w16_d64_e0.yml                     TIMEOUT                        903.35      546.65    krater02
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w16_d8_e0.yml                      false(unreach-call)            859.79      550.42    krater33
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w32_d128_e0.yml                    TIMEOUT                        904.19      530.06    krater29
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w32_d16_e0.yml                     TIMEOUT                        902.94      574.81    krater36
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w32_d32_e0.yml                     TIMEOUT                        903.73      548.63    krater15
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w32_d64_e0.yml                     TIMEOUT                        903.90      547.85    krater13
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w32_d8_e0.yml                      TIMEOUT                        903.25      598.55    krater31
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w64_d128_e0.yml                    TIMEOUT                        904.10      535.29    krater18
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w64_d16_e0.yml                     TIMEOUT                        902.88      574.32    krater12
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w64_d32_e0.yml                     TIMEOUT                        903.07      558.25    krater24
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w64_d64_e0.yml                     TIMEOUT                        903.25      548.30    krater36
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w64_d8_e0.yml                      TIMEOUT                        903.23      597.58    krater02
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w8_d128_e0.yml                     TIMEOUT                        903.43      541.62    krater39
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w8_d16_e0.yml                      TIMEOUT                        902.97      550.32    krater19
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w8_d32_e0.yml                      TIMEOUT                        902.96      548.67    krater20
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w8_d64_e0.yml                      TIMEOUT                        903.68      546.05    krater23
hardware-verification-bv/btor2c-lazyMod.circular_pointer_top_w8_d8_e0.yml                       false(unreach-call)            754.40      445.10    krater01
hardware-verification-bv/btor2c-lazyMod.client_server.yml                                       true                            27.51       15.96    krater18
hardware-verification-bv/btor2c-lazyMod.collision.1.prop1-back-serstep.yml                      TIMEOUT                        904.53      512.44    krater17
hardware-verification-bv/btor2c-lazyMod.collision.1.prop1-func-interl.yml                       TIMEOUT                        903.11      553.12    krater20
hardware-verification-bv/btor2c-lazyMod.collision.2.prop1-back-serstep.yml                      TIMEOUT                        903.53      550.73    krater08
hardware-verification-bv/btor2c-lazyMod.collision.2.prop1-func-interl.yml                       TIMEOUT                        903.29      549.80    krater10
hardware-verification-bv/btor2c-lazyMod.collision.3.prop1-back-serstep.yml                      TIMEOUT                        904.16      495.41    krater21
hardware-verification-bv/btor2c-lazyMod.collision.3.prop1-func-interl.yml                       TIMEOUT                        903.45      547.70    krater26
hardware-verification-bv/btor2c-lazyMod.collision.4.prop1-back-serstep.yml                      TIMEOUT                        904.48      522.87    krater08
hardware-verification-bv/btor2c-lazyMod.collision.4.prop1-func-interl.yml                       TIMEOUT                        904.33      553.52    krater32
hardware-verification-bv/btor2c-lazyMod.collision.5.prop1-back-serstep.yml                      TIMEOUT                        905.85      540.45    krater28
hardware-verification-bv/btor2c-lazyMod.collision.5.prop1-func-interl.yml                       TIMEOUT                        903.51      558.36    krater40
hardware-verification-bv/btor2c-lazyMod.collision.6.prop1-back-serstep.yml                      TIMEOUT                        904.21      455.92    krater18
hardware-verification-bv/btor2c-lazyMod.collision.6.prop1-func-interl.yml                       TIMEOUT                        904.98      541.69    krater37
hardware-verification-bv/btor2c-lazyMod.count2.yml                                              false(unreach-call)              8.48        4.47    krater37
hardware-verification-bv/btor2c-lazyMod.count4.yml                                              false(unreach-call)             10.97        5.76    krater39
hardware-verification-bv/btor2c-lazyMod.counter.yml                                             true                            10.31        6.10    krater09
hardware-verification-bv/btor2c-lazyMod.counter_v.yml                                           false(unreach-call)            288.77      145.17    krater31
hardware-verification-bv/btor2c-lazyMod.cyclic_scheduler.1.prop1-back-serstep.yml               TIMEOUT                        903.69      531.62    krater13
hardware-verification-bv/btor2c-lazyMod.cyclic_scheduler.1.prop1-func-interl.yml                TIMEOUT                        911.35      556.51    krater04
hardware-verification-bv/btor2c-lazyMod.cyclic_scheduler.2.prop1-back-serstep.yml               false(unreach-call)            741.63      374.36    krater37
hardware-verification-bv/btor2c-lazyMod.cyclic_scheduler.2.prop1-func-interl.yml                TIMEOUT                        910.41      555.53    krater01
hardware-verification-bv/btor2c-lazyMod.cyclic_scheduler.3.prop1-back-serstep.yml               TIMEOUT                        903.97      531.36    krater25
hardware-verification-bv/btor2c-lazyMod.cyclic_scheduler.3.prop1-func-interl.yml                TIMEOUT                        902.59      498.81    krater23
hardware-verification-bv/btor2c-lazyMod.cyclic_scheduler.4.prop1-back-serstep.yml               TIMEOUT                        903.88      535.17    krater18
hardware-verification-bv/btor2c-lazyMod.cyclic_scheduler.4.prop1-func-interl.yml                TIMEOUT                        902.24      548.42    krater26
hardware-verification-bv/btor2c-lazyMod.diagonal.yml                                            true                            12.04        6.25    krater09
hardware-verification-bv/btor2c-lazyMod.diagonal_v.yml                                          false(unreach-call)             35.94       20.38    krater03
hardware-verification-bv/btor2c-lazyMod.driving_phils.1.prop1-back-serstep.yml                  false(unreach-call)            155.02       77.85    krater29
hardware-verification-bv/btor2c-lazyMod.driving_phils.1.prop1-func-interl.yml                   false(unreach-call)             16.07        8.28    krater10
hardware-verification-bv/btor2c-lazyMod.driving_phils.2.prop1-back-serstep.yml                  false(unreach-call)            158.07       79.46    krater13
hardware-verification-bv/btor2c-lazyMod.driving_phils.2.prop1-func-interl.yml                   false(unreach-call)             15.20        7.83    krater17
hardware-verification-bv/btor2c-lazyMod.driving_phils.3.prop1-back-serstep.yml                  false(unreach-call)            267.82      134.54    krater23
hardware-verification-bv/btor2c-lazyMod.driving_phils.3.prop1-func-interl.yml                   false(unreach-call)             14.44        7.46    krater26
hardware-verification-bv/btor2c-lazyMod.driving_phils.4.prop1-back-serstep.yml                  false(unreach-call)            341.35      171.51    krater26
hardware-verification-bv/btor2c-lazyMod.driving_phils.4.prop1-func-interl.yml                   false(unreach-call)             17.01        8.74    krater25
hardware-verification-bv/btor2c-lazyMod.driving_phils.5.prop1-back-serstep.yml                  false(unreach-call)            261.04      131.42    krater08
hardware-verification-bv/btor2c-lazyMod.driving_phils.5.prop1-func-interl.yml                   false(unreach-call)             17.39        8.98    krater03
hardware-verification-bv/btor2c-lazyMod.dyn_partition.yml                                       false(unreach-call)             25.03       12.79    krater07
hardware-verification-bv/btor2c-lazyMod.elevator.1.prop1-back-serstep.yml                       TIMEOUT                        903.15      550.52    krater01
hardware-verification-bv/btor2c-lazyMod.elevator.1.prop1-func-interl.yml                        TIMEOUT                        911.40      460.18    krater27
hardware-verification-bv/btor2c-lazyMod.elevator.2.prop1-back-serstep.yml                       TIMEOUT                        902.89      574.04    krater34
hardware-verification-bv/btor2c-lazyMod.elevator.2.prop1-func-interl.yml                        TIMEOUT                        902.46      542.06    krater38
hardware-verification-bv/btor2c-lazyMod.elevator.3.prop1-back-serstep.yml                       TIMEOUT                        903.07      550.76    krater18
hardware-verification-bv/btor2c-lazyMod.elevator.3.prop1-func-interl.yml                        TIMEOUT                        902.30      539.94    krater12
hardware-verification-bv/btor2c-lazyMod.elevator.4.prop1-back-serstep.yml                       TIMEOUT                        902.79      551.81    krater32
hardware-verification-bv/btor2c-lazyMod.elevator.4.prop1-func-interl.yml                        TIMEOUT                        902.85      533.60    krater10
hardware-verification-bv/btor2c-lazyMod.elevator.5.prop1-back-serstep.yml                       TIMEOUT                        904.22      550.47    krater34
hardware-verification-bv/btor2c-lazyMod.elevator.5.prop1-func-interl.yml                        TIMEOUT                        904.54      526.67    krater32
hardware-verification-bv/btor2c-lazyMod.elevator_planning.1.prop1-back-serstep.yml              TIMEOUT (false(unreach-call))      903.85      571.83    krater04
hardware-verification-bv/btor2c-lazyMod.elevator_planning.1.prop1-func-interl.yml               TIMEOUT                        903.00      547.04    krater01
hardware-verification-bv/btor2c-lazyMod.elevator_planning.2.prop1-back-serstep.yml              TIMEOUT                        903.10      577.22    krater02
hardware-verification-bv/btor2c-lazyMod.elevator_planning.2.prop1-func-interl.yml               TIMEOUT                        902.83      550.00    krater15
hardware-verification-bv/btor2c-lazyMod.elevator_planning.3.prop1-back-serstep.yml              false(unreach-call)            739.36      405.19    krater15
hardware-verification-bv/btor2c-lazyMod.elevator_planning.3.prop1-func-interl.yml               TIMEOUT                        902.46      548.18    krater40
hardware-verification-bv/btor2c-lazyMod.eq_sdp_v1.yml                                           true                           258.53      130.24    krater05
hardware-verification-bv/btor2c-lazyMod.eq_sdp_v2.yml                                           true                           164.21       82.49    krater15
hardware-verification-bv/btor2c-lazyMod.eq_sdp_v3.yml                                           false(unreach-call)             23.24       11.91    krater14
hardware-verification-bv/btor2c-lazyMod.eq_sdp_v4.yml                                           true                           281.11      142.35    krater32
hardware-verification-bv/btor2c-lazyMod.eq_sdp_v5.yml                                           false(unreach-call)             23.23       11.88    krater12
hardware-verification-bv/btor2c-lazyMod.eq_sdp_v6.yml                                           true                           428.67      215.34    krater10
hardware-verification-bv/btor2c-lazyMod.eq_sdp_v7.yml                                           false(unreach-call)             28.97       14.74    krater02
hardware-verification-bv/btor2c-lazyMod.ethernet.yml                                            TIMEOUT                        903.52      578.96    krater19
hardware-verification-bv/btor2c-lazyMod.exit.1.prop1-back-serstep.yml                           TIMEOUT                        902.44      578.15    krater12
hardware-verification-bv/btor2c-lazyMod.exit.1.prop1-func-interl.yml                            TIMEOUT                        902.70      538.69    krater35
hardware-verification-bv/btor2c-lazyMod.exit.2.prop1-back-serstep.yml                           TIMEOUT                        903.44      565.61    krater14
hardware-verification-bv/btor2c-lazyMod.exit.2.prop1-func-interl.yml                            TIMEOUT                        902.54      511.36    krater08
hardware-verification-bv/btor2c-lazyMod.exit.3.prop1-back-serstep.yml                           TIMEOUT                        903.37      563.88    krater01
hardware-verification-bv/btor2c-lazyMod.exit.3.prop1-func-interl.yml                            TIMEOUT                        902.36      516.32    krater05
hardware-verification-bv/btor2c-lazyMod.exit.4.prop1-back-serstep.yml                           TIMEOUT                        903.13      554.45    krater17
hardware-verification-bv/btor2c-lazyMod.exit.4.prop1-func-interl.yml                            TIMEOUT                        902.56      510.81    krater02
hardware-verification-bv/btor2c-lazyMod.exit.5.prop1-back-serstep.yml                           TIMEOUT                        903.68      554.72    krater30
hardware-verification-bv/btor2c-lazyMod.exit.5.prop1-func-interl.yml                            TIMEOUT                        911.06      460.21    krater31
hardware-verification-bv/btor2c-lazyMod.extinction.1.prop1-back-serstep.yml                     TIMEOUT                        904.04      539.62    krater21
hardware-verification-bv/btor2c-lazyMod.extinction.1.prop1-func-interl.yml                      TIMEOUT                        903.33      533.27    krater10
hardware-verification-bv/btor2c-lazyMod.extinction.2.prop1-back-serstep.yml                     TIMEOUT                        904.30      531.16    krater30
hardware-verification-bv/btor2c-lazyMod.extinction.2.prop1-func-interl.yml                      TIMEOUT                        903.97      553.53    krater03
hardware-verification-bv/btor2c-lazyMod.extinction.3.prop1-back-serstep.yml                     TIMEOUT                        902.82      545.54    krater04
hardware-verification-bv/btor2c-lazyMod.extinction.3.prop1-func-interl.yml                      TIMEOUT                        903.58      523.42    krater19
hardware-verification-bv/btor2c-lazyMod.extinction.4.prop1-back-serstep.yml                     TIMEOUT                        904.41      553.09    krater14
hardware-verification-bv/btor2c-lazyMod.extinction.4.prop1-func-interl.yml                      TIMEOUT                        903.81      486.88    krater32
hardware-verification-bv/btor2c-lazyMod.factorial4even.yml                                      false(unreach-call)             19.34        9.89    krater26
hardware-verification-bv/btor2c-lazyMod.firewire_tree.1.prop1-back-serstep.yml                  TIMEOUT                        912.84      461.87    krater08
hardware-verification-bv/btor2c-lazyMod.firewire_tree.1.prop1-func-interl.yml                   TIMEOUT                        904.94      527.42    krater31
hardware-verification-bv/btor2c-lazyMod.firewire_tree.1.prop2-back-serstep.yml                  TIMEOUT                        903.30      457.48    krater03
hardware-verification-bv/btor2c-lazyMod.firewire_tree.1.prop2-func-interl.yml                   TIMEOUT                        903.37      475.49    krater33
hardware-verification-bv/btor2c-lazyMod.firewire_tree.1.prop3-back-serstep.yml                  TIMEOUT                        912.09      461.86    krater22
hardware-verification-bv/btor2c-lazyMod.firewire_tree.1.prop3-func-interl.yml                   TIMEOUT                        904.86      495.92    krater37
hardware-verification-bv/btor2c-lazyMod.firewire_tree.2.prop1-back-serstep.yml                  TIMEOUT                        904.32      534.31    krater34
hardware-verification-bv/btor2c-lazyMod.firewire_tree.2.prop1-func-interl.yml                   TIMEOUT                        915.75      460.83    krater40
hardware-verification-bv/btor2c-lazyMod.firewire_tree.2.prop2-back-serstep.yml                  TIMEOUT                        904.82      552.72    krater39
hardware-verification-bv/btor2c-lazyMod.firewire_tree.2.prop2-func-interl.yml                   TIMEOUT                        902.63      541.39    krater13
hardware-verification-bv/btor2c-lazyMod.firewire_tree.2.prop3-back-serstep.yml                  TIMEOUT                        903.29      513.57    krater35
hardware-verification-bv/btor2c-lazyMod.firewire_tree.2.prop3-func-interl.yml                   TIMEOUT                        903.80      543.17    krater17
hardware-verification-bv/btor2c-lazyMod.firewire_tree.3.prop1-back-serstep.yml                  TIMEOUT                        911.88      461.13    krater37
hardware-verification-bv/btor2c-lazyMod.firewire_tree.3.prop1-func-interl.yml                   TIMEOUT                        904.26      488.67    krater09
hardware-verification-bv/btor2c-lazyMod.firewire_tree.3.prop2-back-serstep.yml                  TIMEOUT                        903.30      461.70    krater35
hardware-verification-bv/btor2c-lazyMod.firewire_tree.3.prop2-func-interl.yml                   TIMEOUT                        903.70      483.50    krater19
hardware-verification-bv/btor2c-lazyMod.firewire_tree.3.prop3-back-serstep.yml                  TIMEOUT                        910.58      460.67    krater39
hardware-verification-bv/btor2c-lazyMod.firewire_tree.3.prop3-func-interl.yml                   TIMEOUT                        904.04      497.11    krater31
hardware-verification-bv/btor2c-lazyMod.firewire_tree.4.prop1-back-serstep.yml                  unknown                        364.78      225.13    krater23
hardware-verification-bv/btor2c-lazyMod.firewire_tree.4.prop1-func-interl.yml                   unknown                        394.87      257.05    krater29
hardware-verification-bv/btor2c-lazyMod.firewire_tree.4.prop2-back-serstep.yml                  unknown                        374.60      231.53    krater32
hardware-verification-bv/btor2c-lazyMod.firewire_tree.4.prop2-func-interl.yml                   unknown                        380.03      244.82    krater02
hardware-verification-bv/btor2c-lazyMod.firewire_tree.4.prop3-back-serstep.yml                  unknown                        362.28      223.83    krater12
hardware-verification-bv/btor2c-lazyMod.firewire_tree.4.prop3-func-interl.yml                   unknown                        395.95      261.25    krater25
hardware-verification-bv/btor2c-lazyMod.firewire_tree.5.prop1-back-serstep.yml                  unknown                        362.11      226.29    krater03
hardware-verification-bv/btor2c-lazyMod.firewire_tree.5.prop1-func-interl.yml                   unknown                        348.31      216.41    krater15
hardware-verification-bv/btor2c-lazyMod.firewire_tree.5.prop2-back-serstep.yml                  unknown                        355.52      220.29    krater38
hardware-verification-bv/btor2c-lazyMod.firewire_tree.5.prop2-func-interl.yml                   unknown                        351.23      217.47    krater02
hardware-verification-bv/btor2c-lazyMod.firewire_tree.5.prop3-back-serstep.yml                  unknown                        358.06      220.89    krater23
hardware-verification-bv/btor2c-lazyMod.firewire_tree.5.prop3-func-interl.yml                   unknown                        351.54      217.86    krater07
hardware-verification-bv/btor2c-lazyMod.fischer.1.prop1-back-serstep.yml                        TIMEOUT                        901.97      552.28    krater23
hardware-verification-bv/btor2c-lazyMod.fischer.1.prop1-func-interl.yml                         TIMEOUT                        902.11      558.92    krater33
hardware-verification-bv/btor2c-lazyMod.fischer.2.prop1-back-serstep.yml                        false(unreach-call)            756.92      400.64    krater40
hardware-verification-bv/btor2c-lazyMod.fischer.2.prop1-func-interl.yml                         TIMEOUT                        902.56      545.83    krater39
hardware-verification-bv/btor2c-lazyMod.fischer.3.prop1-back-serstep.yml                        TIMEOUT                        910.43      559.84    krater06
hardware-verification-bv/btor2c-lazyMod.fischer.3.prop1-func-interl.yml                         TIMEOUT                        902.67      548.26    krater36
hardware-verification-bv/btor2c-lazyMod.fischer.4.prop1-back-serstep.yml                        TIMEOUT                        902.88      551.26    krater18
hardware-verification-bv/btor2c-lazyMod.fischer.4.prop1-func-interl.yml                         TIMEOUT                        902.57      551.11    krater09
hardware-verification-bv/btor2c-lazyMod.fischer.5.prop1-back-serstep.yml                        TIMEOUT                        903.20      550.24    krater12
hardware-verification-bv/btor2c-lazyMod.fischer.5.prop1-func-interl.yml                         TIMEOUT                        902.75      549.64    krater40
hardware-verification-bv/btor2c-lazyMod.fischer.6.prop1-back-serstep.yml                        TIMEOUT                        902.46      555.14    krater23
hardware-verification-bv/btor2c-lazyMod.fischer.6.prop1-func-interl.yml                         TIMEOUT                        902.52      551.23    krater18
hardware-verification-bv/btor2c-lazyMod.fischer.7.prop1-back-serstep.yml                        TIMEOUT                        903.36      551.61    krater06
hardware-verification-bv/btor2c-lazyMod.fischer.7.prop1-func-interl.yml                         TIMEOUT                        902.56      545.81    krater33
hardware-verification-bv/btor2c-lazyMod.frogs.1.prop1-back-serstep.yml                          TIMEOUT                        903.22      538.61    krater22
hardware-verification-bv/btor2c-lazyMod.frogs.1.prop1-func-interl.yml                           TIMEOUT                        904.35      548.26    krater39
hardware-verification-bv/btor2c-lazyMod.frogs.2.prop1-back-serstep.yml                          TIMEOUT                        902.75      540.68    krater25
hardware-verification-bv/btor2c-lazyMod.frogs.2.prop1-func-interl.yml                           TIMEOUT                        904.82      541.79    krater15
hardware-verification-bv/btor2c-lazyMod.frogs.3.prop1-back-serstep.yml                          TIMEOUT                        902.86      529.50    krater08
hardware-verification-bv/btor2c-lazyMod.frogs.3.prop1-func-interl.yml                           TIMEOUT                        904.19      547.49    krater03
hardware-verification-bv/btor2c-lazyMod.frogs.4.prop1-back-serstep.yml                          TIMEOUT                        903.41      544.54    krater31
hardware-verification-bv/btor2c-lazyMod.frogs.4.prop1-func-interl.yml                           TIMEOUT                        903.14      552.03    krater14
hardware-verification-bv/btor2c-lazyMod.frogs.5.prop1-back-serstep.yml                          TIMEOUT                        903.93      541.01    krater20
hardware-verification-bv/btor2c-lazyMod.frogs.5.prop1-func-interl.yml                           TIMEOUT                        904.12      526.51    krater12
hardware-verification-bv/btor2c-lazyMod.gear.1.prop1-back-serstep.yml                           TIMEOUT                        902.91      506.71    krater21
hardware-verification-bv/btor2c-lazyMod.gear.1.prop1-func-interl.yml                            TIMEOUT                        902.84      545.70    krater28
hardware-verification-bv/btor2c-lazyMod.gear.1.prop2-back-serstep.yml                           TIMEOUT                        903.32      531.96    krater08
hardware-verification-bv/btor2c-lazyMod.gear.1.prop2-func-interl.yml                            TIMEOUT                        902.57      540.53    krater40
hardware-verification-bv/btor2c-lazyMod.gear.1.prop3-back-serstep.yml                           TIMEOUT                        903.25      536.37    krater12
hardware-verification-bv/btor2c-lazyMod.gear.1.prop3-func-interl.yml                            TIMEOUT                        902.85      533.02    krater18
hardware-verification-bv/btor2c-lazyMod.gear.1.prop4-back-serstep.yml                           TIMEOUT                        903.24      538.94    krater12
hardware-verification-bv/btor2c-lazyMod.gear.1.prop4-func-interl.yml                            TIMEOUT                        902.89      541.60    krater13
hardware-verification-bv/btor2c-lazyMod.gear.2.prop1-back-serstep.yml                           TIMEOUT                        903.04      539.63    krater14
hardware-verification-bv/btor2c-lazyMod.gear.2.prop1-func-interl.yml                            TIMEOUT                        902.72      544.02    krater01
hardware-verification-bv/btor2c-lazyMod.gear.2.prop2-back-serstep.yml                           TIMEOUT                        903.30      531.68    krater35
hardware-verification-bv/btor2c-lazyMod.gear.2.prop2-func-interl.yml                            TIMEOUT                        902.87      542.81    krater08
hardware-verification-bv/btor2c-lazyMod.gear.2.prop3-back-serstep.yml                           TIMEOUT                        903.37      531.74    krater14
hardware-verification-bv/btor2c-lazyMod.gear.2.prop3-func-interl.yml                            TIMEOUT                        902.68      533.03    krater04
hardware-verification-bv/btor2c-lazyMod.gear.2.prop4-back-serstep.yml                           TIMEOUT                        903.35      536.79    krater32
hardware-verification-bv/btor2c-lazyMod.gear.2.prop4-func-interl.yml                            TIMEOUT                        903.48      543.16    krater19
hardware-verification-bv/btor2c-lazyMod.h_Arbiter.yml                                           true                            82.87       41.81    krater35
hardware-verification-bv/btor2c-lazyMod.h_Barrel.yml                                            true                             8.67        4.52    krater04
hardware-verification-bv/btor2c-lazyMod.h_BufAl.yml                                             TIMEOUT                        903.55      562.25    krater09
hardware-verification-bv/btor2c-lazyMod.h_CRC.yml                                               false(unreach-call)             80.11       40.85    krater03
hardware-verification-bv/btor2c-lazyMod.h_Dekker.yml                                            TIMEOUT                        902.21      557.32    krater28
hardware-verification-bv/btor2c-lazyMod.h_FIFO.yml                                              false(unreach-call)            356.36      178.88    krater34
hardware-verification-bv/btor2c-lazyMod.h_FourbyFour.yml                                        TIMEOUT                        902.37      583.44    krater22
hardware-verification-bv/btor2c-lazyMod.h_Ibuf.yml                                              true                            26.45       16.92    krater30
hardware-verification-bv/btor2c-lazyMod.h_RCU.yml                                               TIMEOUT                        902.67      555.35    krater16
hardware-verification-bv/btor2c-lazyMod.h_Rrobin.yml                                            true                            14.33        7.42    krater39
hardware-verification-bv/btor2c-lazyMod.h_Spinner.yml                                           true                            12.71        6.66    krater13
hardware-verification-bv/btor2c-lazyMod.h_TicTacToe.yml                                         TIMEOUT                        903.79      537.55    krater24
hardware-verification-bv/btor2c-lazyMod.h_TreeArb.yml                                           TIMEOUT                        905.34      557.97    krater07
hardware-verification-bv/btor2c-lazyMod.h_Vending.yml                                           TIMEOUT                        904.73      553.00    krater29
hardware-verification-bv/btor2c-lazyMod.h_Vlunc.yml                                             true                            34.91       17.71    krater20
hardware-verification-bv/btor2c-lazyMod.h_Vsa16.yml                                             true                           687.50      344.80    krater02
hardware-verification-bv/btor2c-lazyMod.h_b02.yml                                               true                            15.87        8.20    krater14
hardware-verification-bv/btor2c-lazyMod.h_b03.yml                                               TIMEOUT                        905.92      554.56    krater17
hardware-verification-bv/btor2c-lazyMod.h_b04.yml                                               true                             8.18        4.34    krater27
hardware-verification-bv/btor2c-lazyMod.h_b05.yml                                               TIMEOUT                        904.95      548.22    krater28
hardware-verification-bv/btor2c-lazyMod.h_b06.yml                                               true                            13.32        6.92    krater29
hardware-verification-bv/btor2c-lazyMod.h_b07.yml                                               true                             7.73        4.10    krater08
hardware-verification-bv/btor2c-lazyMod.h_b08.yml                                               true                            22.17       11.31    krater31
hardware-verification-bv/btor2c-lazyMod.h_segments.yml                                          true                            14.99        7.74    krater32
hardware-verification-bv/btor2c-lazyMod.h_traffic_light_example.yml                             true                            14.99        7.75    krater06
hardware-verification-bv/btor2c-lazyMod.hanoi.1.prop1-back-serstep.yml                          TIMEOUT                        903.07      547.59    krater39
hardware-verification-bv/btor2c-lazyMod.hanoi.1.prop1-func-interl.yml                           TIMEOUT                        903.76      547.09    krater18
hardware-verification-bv/btor2c-lazyMod.hanoi.2.prop1-back-serstep.yml                          TIMEOUT                        902.71      546.75    krater13
hardware-verification-bv/btor2c-lazyMod.hanoi.2.prop1-func-interl.yml                           TIMEOUT                        904.30      541.13    krater26
hardware-verification-bv/btor2c-lazyMod.hanoi.3.prop1-back-serstep.yml                          TIMEOUT                        903.24      526.66    krater19
hardware-verification-bv/btor2c-lazyMod.hanoi.3.prop1-func-interl.yml                           TIMEOUT                        903.99      547.02    krater23
hardware-verification-bv/btor2c-lazyMod.hanoi.4.prop1-back-serstep.yml                          TIMEOUT                        903.33      536.64    krater28
hardware-verification-bv/btor2c-lazyMod.hanoi.4.prop1-func-interl.yml                           TIMEOUT                        903.48      553.94    krater02
hardware-verification-bv/btor2c-lazyMod.iprotocol.1.prop1-back-serstep.yml                      false(unreach-call)            640.15      320.81    krater31
hardware-verification-bv/btor2c-lazyMod.iprotocol.1.prop1-func-interl.yml                       false(unreach-call)            817.99      455.43    krater09
hardware-verification-bv/btor2c-lazyMod.iprotocol.2.prop1-back-serstep.yml                      false(unreach-call)            743.79      402.37    krater05
hardware-verification-bv/btor2c-lazyMod.iprotocol.2.prop1-func-interl.yml                       false(unreach-call)            831.24      470.32    krater24
hardware-verification-bv/btor2c-lazyMod.iprotocol.3.prop1-back-serstep.yml                      false(unreach-call)            768.24      402.54    krater19
hardware-verification-bv/btor2c-lazyMod.iprotocol.3.prop1-func-interl.yml                       false(unreach-call)            875.53      510.27    krater18
hardware-verification-bv/btor2c-lazyMod.iprotocol.4.prop1-back-serstep.yml                      false(unreach-call)            748.28      390.47    krater13
hardware-verification-bv/btor2c-lazyMod.iprotocol.4.prop1-func-interl.yml                       TIMEOUT (false(unreach-call))      906.19      547.88    krater21
hardware-verification-bv/btor2c-lazyMod.iprotocol.5.prop1-back-serstep.yml                      TIMEOUT                        902.78      540.80    krater12
hardware-verification-bv/btor2c-lazyMod.iprotocol.5.prop1-func-interl.yml                       TIMEOUT                        910.96      552.68    krater38
hardware-verification-bv/btor2c-lazyMod.iprotocol.6.prop1-back-serstep.yml                      TIMEOUT                        902.33      546.21    krater30
hardware-verification-bv/btor2c-lazyMod.iprotocol.6.prop1-func-interl.yml                       TIMEOUT (false(unreach-call))      902.42      540.98    krater21
hardware-verification-bv/btor2c-lazyMod.iprotocol.7.prop1-back-serstep.yml                      false(unreach-call)            758.21      385.78    krater14
hardware-verification-bv/btor2c-lazyMod.iprotocol.7.prop1-func-interl.yml                       TIMEOUT                        903.56      542.95    krater22
hardware-verification-bv/btor2c-lazyMod.itc99_b12.yml                                           TIMEOUT                        904.53      556.55    krater23
hardware-verification-bv/btor2c-lazyMod.itc99_b13.yml                                           true                            43.91       22.21    krater36
hardware-verification-bv/btor2c-lazyMod.krebs.1.prop1-back-serstep.yml                          false(unreach-call)            593.92      298.18    krater25
hardware-verification-bv/btor2c-lazyMod.krebs.1.prop1-func-interl.yml                           false(unreach-call)            444.18      224.08    krater38
hardware-verification-bv/btor2c-lazyMod.krebs.2.prop1-back-serstep.yml                          TIMEOUT                        902.91      577.41    krater39
hardware-verification-bv/btor2c-lazyMod.krebs.2.prop1-func-interl.yml                           TIMEOUT                        902.27      542.84    krater30
hardware-verification-bv/btor2c-lazyMod.krebs.3.prop1-back-serstep.yml                          TIMEOUT                        902.47      581.74    krater27
hardware-verification-bv/btor2c-lazyMod.krebs.3.prop1-func-interl.yml                           TIMEOUT                        902.17      547.21    krater18
hardware-verification-bv/btor2c-lazyMod.krebs.4.prop1-back-serstep.yml                          TIMEOUT                        902.74      580.87    krater30
hardware-verification-bv/btor2c-lazyMod.krebs.4.prop1-func-interl.yml                           TIMEOUT                        902.33      544.15    krater03
hardware-verification-bv/btor2c-lazyMod.lamport.1.prop1-back-serstep.yml                        TIMEOUT                        902.51      564.38    krater28
hardware-verification-bv/btor2c-lazyMod.lamport.1.prop1-func-interl.yml                         TIMEOUT                        902.16      544.26    krater23
hardware-verification-bv/btor2c-lazyMod.lamport.2.prop1-back-serstep.yml                        false(unreach-call)            847.61      483.60    krater09
hardware-verification-bv/btor2c-lazyMod.lamport.2.prop1-func-interl.yml                         TIMEOUT                        902.79      547.27    krater21
hardware-verification-bv/btor2c-lazyMod.lamport.3.prop1-back-serstep.yml                        false(unreach-call)            412.09      206.51    krater33
hardware-verification-bv/btor2c-lazyMod.lamport.3.prop1-func-interl.yml                         TIMEOUT                        901.95      550.06    krater32
hardware-verification-bv/btor2c-lazyMod.lamport.5.prop1-back-serstep.yml                        TIMEOUT                        902.63      552.24    krater24
hardware-verification-bv/btor2c-lazyMod.lamport.5.prop1-func-interl.yml                         TIMEOUT                        903.00      542.60    krater17
hardware-verification-bv/btor2c-lazyMod.lamport.6.prop1-back-serstep.yml                        TIMEOUT                        903.05      549.82    krater13
hardware-verification-bv/btor2c-lazyMod.lamport.6.prop1-func-interl.yml                         TIMEOUT                        902.53      548.18    krater13
hardware-verification-bv/btor2c-lazyMod.lamport.7.prop1-back-serstep.yml                        TIMEOUT                        903.16      549.80    krater10
hardware-verification-bv/btor2c-lazyMod.lamport.7.prop1-func-interl.yml                         TIMEOUT                        902.75      549.13    krater06
hardware-verification-bv/btor2c-lazyMod.lamport.8.prop1-back-serstep.yml                        TIMEOUT                        903.04      549.69    krater14
hardware-verification-bv/btor2c-lazyMod.lamport.8.prop1-func-interl.yml                         TIMEOUT                        902.91      549.62    krater38
hardware-verification-bv/btor2c-lazyMod.lamport_nonatomic.1.prop1-back-serstep.yml              TIMEOUT                        903.34      541.95    krater18
hardware-verification-bv/btor2c-lazyMod.lamport_nonatomic.1.prop1-func-interl.yml               TIMEOUT                        911.62      460.08    krater28
hardware-verification-bv/btor2c-lazyMod.lamport_nonatomic.2.prop1-back-serstep.yml              TIMEOUT                        903.29      544.72    krater37
hardware-verification-bv/btor2c-lazyMod.lamport_nonatomic.2.prop1-func-interl.yml               TIMEOUT                        911.48      459.95    krater22
hardware-verification-bv/btor2c-lazyMod.lamport_nonatomic.3.prop1-back-serstep.yml              TIMEOUT                        902.99      545.83    krater27
hardware-verification-bv/btor2c-lazyMod.lamport_nonatomic.3.prop1-func-interl.yml               TIMEOUT                        910.74      460.60    krater23
hardware-verification-bv/btor2c-lazyMod.lamport_nonatomic.4.prop1-back-serstep.yml              TIMEOUT                        903.70      546.04    krater26
hardware-verification-bv/btor2c-lazyMod.lamport_nonatomic.4.prop1-func-interl.yml               TIMEOUT                        911.78      460.52    krater08
hardware-verification-bv/btor2c-lazyMod.lamport_nonatomic.5.prop1-back-serstep.yml              TIMEOUT                        902.64      513.72    krater26
hardware-verification-bv/btor2c-lazyMod.lamport_nonatomic.5.prop1-func-interl.yml               TIMEOUT                        958.71      480.56    krater36
hardware-verification-bv/btor2c-lazyMod.lann.1.prop1-back-serstep.yml                           false(unreach-call)            339.66      170.29    krater16
hardware-verification-bv/btor2c-lazyMod.lann.1.prop1-func-interl.yml                            TIMEOUT                        902.04      548.94    krater19
hardware-verification-bv/btor2c-lazyMod.lann.2.prop1-back-serstep.yml                           TIMEOUT                        902.67      550.87    krater39
hardware-verification-bv/btor2c-lazyMod.lann.2.prop1-func-interl.yml                            TIMEOUT                        902.04      544.19    krater16
hardware-verification-bv/btor2c-lazyMod.lann.3.prop1-back-serstep.yml                           false(unreach-call)            804.53      440.77    krater23
hardware-verification-bv/btor2c-lazyMod.lann.3.prop1-func-interl.yml                            TIMEOUT                        902.25      546.94    krater24
hardware-verification-bv/btor2c-lazyMod.lann.4.prop1-back-serstep.yml                           TIMEOUT                        902.83      550.75    krater20
hardware-verification-bv/btor2c-lazyMod.lann.4.prop1-func-interl.yml                            TIMEOUT                        902.49      544.66    krater32
hardware-verification-bv/btor2c-lazyMod.lann.5.prop1-back-serstep.yml                           TIMEOUT                        903.04      549.49    krater07
hardware-verification-bv/btor2c-lazyMod.lann.5.prop1-func-interl.yml                            TIMEOUT                        902.36      547.47    krater12
hardware-verification-bv/btor2c-lazyMod.lann.6.prop1-back-serstep.yml                           false(unreach-call)            806.90      442.20    krater16
hardware-verification-bv/btor2c-lazyMod.lann.6.prop1-func-interl.yml                            TIMEOUT                        902.20      541.97    krater06
hardware-verification-bv/btor2c-lazyMod.lann.7.prop1-back-serstep.yml                           TIMEOUT                        903.11      540.27    krater19
hardware-verification-bv/btor2c-lazyMod.lann.7.prop1-func-interl.yml                            TIMEOUT                        902.30      542.98    krater32
hardware-verification-bv/btor2c-lazyMod.lann.8.prop1-back-serstep.yml                           TIMEOUT                        910.69      538.29    krater19
hardware-verification-bv/btor2c-lazyMod.lann.8.prop1-func-interl.yml                            TIMEOUT                        902.41      547.70    krater04
hardware-verification-bv/btor2c-lazyMod.leader_election.1.prop1-back-serstep.yml                TIMEOUT                        903.86      556.94    krater16
hardware-verification-bv/btor2c-lazyMod.leader_election.1.prop1-func-interl.yml                 TIMEOUT                        903.86      532.48    krater34
hardware-verification-bv/btor2c-lazyMod.leader_election.2.prop1-back-serstep.yml                TIMEOUT                        902.70      507.26    krater06
hardware-verification-bv/btor2c-lazyMod.leader_election.2.prop1-func-interl.yml                 TIMEOUT                        903.34      543.82    krater20
hardware-verification-bv/btor2c-lazyMod.leader_election.3.prop1-back-serstep.yml                TIMEOUT                        902.49      549.75    krater18
hardware-verification-bv/btor2c-lazyMod.leader_election.3.prop1-func-interl.yml                 TIMEOUT                        910.89      460.07    krater33
hardware-verification-bv/btor2c-lazyMod.leader_election.4.prop1-back-serstep.yml                TIMEOUT                        902.54      554.47    krater36
hardware-verification-bv/btor2c-lazyMod.leader_election.4.prop1-func-interl.yml                 TIMEOUT                        911.50      459.99    krater30
hardware-verification-bv/btor2c-lazyMod.leader_election.5.prop1-back-serstep.yml                TIMEOUT                        905.21      511.52    krater07
hardware-verification-bv/btor2c-lazyMod.leader_election.5.prop1-func-interl.yml                 TIMEOUT                        904.61      547.47    krater05
hardware-verification-bv/btor2c-lazyMod.leader_election.6.prop1-back-serstep.yml                TIMEOUT                        903.45      461.57    krater31
hardware-verification-bv/btor2c-lazyMod.leader_election.6.prop1-func-interl.yml                 TIMEOUT                        904.50      550.37    krater10
hardware-verification-bv/btor2c-lazyMod.leader_filters.1.prop1-back-serstep.yml                 TIMEOUT                        902.44      548.58    krater26
hardware-verification-bv/btor2c-lazyMod.leader_filters.1.prop1-func-interl.yml                  TIMEOUT                        902.80      544.67    krater12
hardware-verification-bv/btor2c-lazyMod.leader_filters.2.prop1-back-serstep.yml                 false(unreach-call)            387.64      194.58    krater29
hardware-verification-bv/btor2c-lazyMod.leader_filters.2.prop1-func-interl.yml                  TIMEOUT                        902.47      548.02    krater36
hardware-verification-bv/btor2c-lazyMod.leader_filters.3.prop1-back-serstep.yml                 TIMEOUT                        902.92      546.87    krater21
hardware-verification-bv/btor2c-lazyMod.leader_filters.3.prop1-func-interl.yml                  TIMEOUT                        902.76      544.10    krater06
hardware-verification-bv/btor2c-lazyMod.leader_filters.4.prop1-back-serstep.yml                 TIMEOUT                        903.23      552.63    krater08
hardware-verification-bv/btor2c-lazyMod.leader_filters.4.prop1-func-interl.yml                  TIMEOUT                        903.26      539.21    krater17
hardware-verification-bv/btor2c-lazyMod.leader_filters.5.prop1-back-serstep.yml                 TIMEOUT                        903.50      538.82    krater20
hardware-verification-bv/btor2c-lazyMod.leader_filters.5.prop1-func-interl.yml                  TIMEOUT                        902.42      550.01    krater26
hardware-verification-bv/btor2c-lazyMod.leader_filters.6.prop1-back-serstep.yml                 false(unreach-call)            749.57      377.36    krater33
hardware-verification-bv/btor2c-lazyMod.leader_filters.6.prop1-func-interl.yml                  TIMEOUT                        902.23      546.94    krater27
hardware-verification-bv/btor2c-lazyMod.leader_filters.7.prop1-back-serstep.yml                 TIMEOUT                        904.07      529.66    krater14
hardware-verification-bv/btor2c-lazyMod.leader_filters.7.prop1-func-interl.yml                  TIMEOUT                        902.89      544.14    krater19
hardware-verification-bv/btor2c-lazyMod.lifts.1.prop1-back-serstep.yml                          TIMEOUT                        911.15      468.88    krater15
hardware-verification-bv/btor2c-lazyMod.lifts.1.prop1-func-interl.yml                           TIMEOUT                        911.60      460.11    krater08
hardware-verification-bv/btor2c-lazyMod.lifts.2.prop1-back-serstep.yml                          TIMEOUT                        919.68      460.20    krater05
hardware-verification-bv/btor2c-lazyMod.lifts.2.prop1-func-interl.yml                           TIMEOUT                        911.97      460.21    krater25
hardware-verification-bv/btor2c-lazyMod.lifts.3.prop1-back-serstep.yml                          TIMEOUT                        914.78      460.47    krater29
hardware-verification-bv/btor2c-lazyMod.lifts.3.prop1-func-interl.yml                           TIMEOUT                        912.53      459.95    krater05
hardware-verification-bv/btor2c-lazyMod.lifts.4.prop1-back-serstep.yml                          TIMEOUT                        913.89      460.26    krater31
hardware-verification-bv/btor2c-lazyMod.lifts.4.prop1-func-interl.yml                           TIMEOUT                        912.53      460.12    krater33
hardware-verification-bv/btor2c-lazyMod.lifts.5.prop1-back-serstep.yml                          TIMEOUT                        913.92      460.28    krater17
hardware-verification-bv/btor2c-lazyMod.lifts.5.prop1-func-interl.yml                           TIMEOUT                        912.14      459.86    krater22
hardware-verification-bv/btor2c-lazyMod.lifts.6.prop1-back-serstep.yml                          TIMEOUT                        915.78      460.71    krater26
hardware-verification-bv/btor2c-lazyMod.lifts.6.prop1-func-interl.yml                           TIMEOUT                        912.20      459.94    krater28
hardware-verification-bv/btor2c-lazyMod.lifts.7.prop1-back-serstep.yml                          TIMEOUT                        904.82      553.62    krater09
hardware-verification-bv/btor2c-lazyMod.lifts.7.prop1-func-interl.yml                           TIMEOUT                        911.56      459.93    krater24
hardware-verification-bv/btor2c-lazyMod.lifts.8.prop1-back-serstep.yml                          TIMEOUT                        915.17      460.59    krater38
hardware-verification-bv/btor2c-lazyMod.lifts.8.prop1-func-interl.yml                           TIMEOUT                        916.14      459.93    krater24
hardware-verification-bv/btor2c-lazyMod.loyd.1.prop1-back-serstep.yml                           TIMEOUT                        902.23      553.59    krater38
hardware-verification-bv/btor2c-lazyMod.loyd.1.prop1-func-interl.yml                            TIMEOUT                        903.38      551.47    krater32
hardware-verification-bv/btor2c-lazyMod.loyd.2.prop1-back-serstep.yml                           TIMEOUT                        903.05      544.68    krater07
hardware-verification-bv/btor2c-lazyMod.loyd.2.prop1-func-interl.yml                            TIMEOUT                        903.57      549.53    krater27
hardware-verification-bv/btor2c-lazyMod.loyd.3.prop1-back-serstep.yml                           TIMEOUT                        903.32      546.95    krater01
hardware-verification-bv/btor2c-lazyMod.loyd.3.prop1-func-interl.yml                            TIMEOUT                        903.75      548.21    krater32
hardware-verification-bv/btor2c-lazyMod.lup.1.prop1-back-serstep.yml                            true                           234.60      119.54    krater18
hardware-verification-bv/btor2c-lazyMod.lup.1.prop1-func-interl.yml                             true                           109.89       57.63    krater10
hardware-verification-bv/btor2c-lazyMod.lup.2.prop1-back-serstep.yml                            TIMEOUT                        904.28      541.93    krater04
hardware-verification-bv/btor2c-lazyMod.lup.2.prop1-func-interl.yml                             true                           244.14      125.91    krater19
hardware-verification-bv/btor2c-lazyMod.lup.3.prop1-back-serstep.yml                            TIMEOUT                        903.92      543.23    krater15
hardware-verification-bv/btor2c-lazyMod.lup.3.prop1-func-interl.yml                             true                           331.88      170.24    krater29
hardware-verification-bv/btor2c-lazyMod.lup.4.prop1-back-serstep.yml                            TIMEOUT                        903.74      542.22    krater10
hardware-verification-bv/btor2c-lazyMod.lup.4.prop1-func-interl.yml                             true                           340.48      174.22    krater13
hardware-verification-bv/btor2c-lazyMod.mcs.1.prop1-back-serstep.yml                            TIMEOUT                        902.48      553.59    krater22
hardware-verification-bv/btor2c-lazyMod.mcs.1.prop1-func-interl.yml                             TIMEOUT                        902.04      542.44    krater40
hardware-verification-bv/btor2c-lazyMod.mcs.2.prop1-back-serstep.yml                            TIMEOUT                        902.58      546.74    krater08
hardware-verification-bv/btor2c-lazyMod.mcs.2.prop1-func-interl.yml                             TIMEOUT                        902.18      546.78    krater37
hardware-verification-bv/btor2c-lazyMod.mcs.3.prop1-back-serstep.yml                            TIMEOUT                        903.35      546.93    krater33
hardware-verification-bv/btor2c-lazyMod.mcs.3.prop1-func-interl.yml                             TIMEOUT                        902.26      539.14    krater07
hardware-verification-bv/btor2c-lazyMod.mcs.4.prop1-back-serstep.yml                            TIMEOUT                        902.98      551.98    krater05
hardware-verification-bv/btor2c-lazyMod.mcs.4.prop1-func-interl.yml                             TIMEOUT                        902.25      547.55    krater17
hardware-verification-bv/btor2c-lazyMod.mcs.5.prop1-back-serstep.yml                            TIMEOUT                        903.00      543.86    krater36
hardware-verification-bv/btor2c-lazyMod.mcs.5.prop1-func-interl.yml                             TIMEOUT                        902.76      541.81    krater25
hardware-verification-bv/btor2c-lazyMod.mcs.6.prop1-back-serstep.yml                            TIMEOUT                        902.80      550.28    krater36
hardware-verification-bv/btor2c-lazyMod.mcs.6.prop1-func-interl.yml                             TIMEOUT                        902.52      544.89    krater13
hardware-verification-bv/btor2c-lazyMod.miim.yml                                                TIMEOUT                        903.47      570.38    krater16
hardware-verification-bv/btor2c-lazyMod.mpeg.yml                                                TIMEOUT                        904.34      550.68    krater14
hardware-verification-bv/btor2c-lazyMod.msmie.1.prop1-back-serstep.yml                          TIMEOUT                        903.00      544.29    krater15
hardware-verification-bv/btor2c-lazyMod.msmie.1.prop1-func-interl.yml                           TIMEOUT                        902.64      554.55    krater40
hardware-verification-bv/btor2c-lazyMod.msmie.2.prop1-back-serstep.yml                          TIMEOUT                        903.69      535.80    krater34
hardware-verification-bv/btor2c-lazyMod.msmie.2.prop1-func-interl.yml                           TIMEOUT                        919.46      460.60    krater38
hardware-verification-bv/btor2c-lazyMod.msmie.3.prop1-back-serstep.yml                          TIMEOUT                        903.89      530.84    krater36
hardware-verification-bv/btor2c-lazyMod.msmie.3.prop1-func-interl.yml                           TIMEOUT                        911.16      462.19    krater20
hardware-verification-bv/btor2c-lazyMod.msmie.4.prop1-back-serstep.yml                          TIMEOUT                        944.60      473.44    krater18
hardware-verification-bv/btor2c-lazyMod.msmie.4.prop1-func-interl.yml                           TIMEOUT                        943.63      473.38    krater16
hardware-verification-bv/btor2c-lazyMod.mul1.yml                                                TIMEOUT                        902.76      580.91    krater28
hardware-verification-bv/btor2c-lazyMod.mul10.yml                                               TIMEOUT                        903.10      575.80    krater40
hardware-verification-bv/btor2c-lazyMod.mul11.yml                                               TIMEOUT                        903.19      574.33    krater06
hardware-verification-bv/btor2c-lazyMod.mul2.yml                                                TIMEOUT                        903.33      573.78    krater04
hardware-verification-bv/btor2c-lazyMod.mul4.yml                                                true                           117.68       59.16    krater07
hardware-verification-bv/btor2c-lazyMod.mul5.yml                                                false(unreach-call)             27.92       14.19    krater29
hardware-verification-bv/btor2c-lazyMod.mul6.yml                                                false(unreach-call)             59.44       30.00    krater27
hardware-verification-bv/btor2c-lazyMod.mul8.yml                                                TIMEOUT                        902.93      578.24    krater10
hardware-verification-bv/btor2c-lazyMod.mul9.yml                                                TIMEOUT                        903.37      573.46    krater08
hardware-verification-bv/btor2c-lazyMod.needham.1.prop1-back-serstep.yml                        false(unreach-call)            885.76      524.79    krater05
hardware-verification-bv/btor2c-lazyMod.needham.1.prop1-func-interl.yml                         TIMEOUT                        902.78      550.35    krater31
hardware-verification-bv/btor2c-lazyMod.needham.1.prop2-back-serstep.yml                        false(unreach-call)            755.10      392.85    krater14
hardware-verification-bv/btor2c-lazyMod.needham.1.prop2-func-interl.yml                         TIMEOUT                        903.06      543.18    krater30
hardware-verification-bv/btor2c-lazyMod.needham.1.prop3-back-serstep.yml                        false(unreach-call)            697.76      352.89    krater02
hardware-verification-bv/btor2c-lazyMod.needham.1.prop3-func-interl.yml                         TIMEOUT                        903.04      544.98    krater33
hardware-verification-bv/btor2c-lazyMod.needham.1.prop4-back-serstep.yml                        TIMEOUT                        902.43      539.48    krater08
hardware-verification-bv/btor2c-lazyMod.needham.1.prop4-func-interl.yml                         TIMEOUT                        903.53      542.24    krater29
hardware-verification-bv/btor2c-lazyMod.needham.2.prop1-back-serstep.yml                        TIMEOUT                        904.20      531.01    krater07
hardware-verification-bv/btor2c-lazyMod.needham.2.prop1-func-interl.yml                         TIMEOUT                        904.18      531.43    krater20
hardware-verification-bv/btor2c-lazyMod.needham.2.prop2-back-serstep.yml                        TIMEOUT                        903.81      541.00    krater02
hardware-verification-bv/btor2c-lazyMod.needham.2.prop2-func-interl.yml                         TIMEOUT                        903.05      511.68    krater37
hardware-verification-bv/btor2c-lazyMod.needham.2.prop3-back-serstep.yml                        TIMEOUT                        903.82      548.07    krater25
hardware-verification-bv/btor2c-lazyMod.needham.2.prop3-func-interl.yml                         TIMEOUT                        903.22      526.46    krater01
hardware-verification-bv/btor2c-lazyMod.needham.2.prop4-back-serstep.yml                        TIMEOUT                        904.47      535.76    krater33
hardware-verification-bv/btor2c-lazyMod.needham.2.prop4-func-interl.yml                         TIMEOUT                        903.36      526.29    krater19
hardware-verification-bv/btor2c-lazyMod.needham.3.prop1-back-serstep.yml                        TIMEOUT                        903.37      509.40    krater35
hardware-verification-bv/btor2c-lazyMod.needham.3.prop1-func-interl.yml                         TIMEOUT                        904.13      548.47    krater29
hardware-verification-bv/btor2c-lazyMod.needham.3.prop2-back-serstep.yml                        TIMEOUT                        904.27      510.19    krater27
hardware-verification-bv/btor2c-lazyMod.needham.3.prop2-func-interl.yml                         TIMEOUT                        903.63      545.28    krater20
hardware-verification-bv/btor2c-lazyMod.needham.3.prop3-back-serstep.yml                        TIMEOUT                        903.96      499.89    krater10
hardware-verification-bv/btor2c-lazyMod.needham.3.prop3-func-interl.yml                         TIMEOUT                        904.19      550.56    krater05
hardware-verification-bv/btor2c-lazyMod.needham.3.prop4-back-serstep.yml                        TIMEOUT                        902.81      478.84    krater30
hardware-verification-bv/btor2c-lazyMod.needham.3.prop4-func-interl.yml                         TIMEOUT                        903.06      551.16    krater18
hardware-verification-bv/btor2c-lazyMod.needham.4.prop1-back-serstep.yml                        TIMEOUT                        902.52      554.72    krater28
hardware-verification-bv/btor2c-lazyMod.needham.4.prop1-func-interl.yml                         TIMEOUT                        913.00      459.93    krater33
hardware-verification-bv/btor2c-lazyMod.needham.4.prop2-back-serstep.yml                        TIMEOUT                        904.37      510.84    krater31
hardware-verification-bv/btor2c-lazyMod.needham.4.prop2-func-interl.yml                         TIMEOUT                        912.53      459.81    krater05
hardware-verification-bv/btor2c-lazyMod.needham.4.prop3-back-serstep.yml                        TIMEOUT                        904.06      466.61    krater31
hardware-verification-bv/btor2c-lazyMod.needham.4.prop3-func-interl.yml                         TIMEOUT                        911.75      460.01    krater15
hardware-verification-bv/btor2c-lazyMod.needham.4.prop4-back-serstep.yml                        TIMEOUT                        904.68      550.57    krater17
hardware-verification-bv/btor2c-lazyMod.needham.4.prop4-func-interl.yml                         TIMEOUT                        913.90      459.83    krater23
hardware-verification-bv/btor2c-lazyMod.noninitstate.yml                                        false(unreach-call)              8.25        4.32    krater31
hardware-verification-bv/btor2c-lazyMod.paper_v3.yml                                            true                            11.92        6.18    krater34
hardware-verification-bv/btor2c-lazyMod.peg_solitaire.1.prop1-back-serstep.yml                  false(unreach-call)            857.48      517.38    krater13
hardware-verification-bv/btor2c-lazyMod.peg_solitaire.1.prop1-func-interl.yml                   TIMEOUT                        902.92      542.40    krater34
hardware-verification-bv/btor2c-lazyMod.peg_solitaire.2.prop1-back-serstep.yml                  TIMEOUT                        904.04      536.23    krater03
hardware-verification-bv/btor2c-lazyMod.peg_solitaire.2.prop1-func-interl.yml                   TIMEOUT                        902.89      508.31    krater09
hardware-verification-bv/btor2c-lazyMod.peg_solitaire.3.prop1-back-serstep.yml                  TIMEOUT                        942.53      472.73    krater27
hardware-verification-bv/btor2c-lazyMod.peg_solitaire.3.prop1-func-interl.yml                   TIMEOUT                        934.76      468.72    krater22
hardware-verification-bv/btor2c-lazyMod.peg_solitaire.4.prop1-back-serstep.yml                  TIMEOUT                        903.04      573.77    krater15
hardware-verification-bv/btor2c-lazyMod.peg_solitaire.4.prop1-func-interl.yml                   TIMEOUT                        902.46      540.03    krater34
hardware-verification-bv/btor2c-lazyMod.peg_solitaire.5.prop1-back-serstep.yml                  TIMEOUT                        904.30      556.35    krater24
hardware-verification-bv/btor2c-lazyMod.peg_solitaire.5.prop1-func-interl.yml                   TIMEOUT                        902.76      514.14    krater13
hardware-verification-bv/btor2c-lazyMod.peg_solitaire.6.prop1-back-serstep.yml                  TIMEOUT                        903.16      508.95    krater33
hardware-verification-bv/btor2c-lazyMod.peg_solitaire.6.prop1-func-interl.yml                   TIMEOUT                        902.91      519.81    krater39
hardware-verification-bv/btor2c-lazyMod.peterson.1.prop1-back-serstep.yml                       TIMEOUT                        902.74      538.79    krater27
hardware-verification-bv/btor2c-lazyMod.peterson.1.prop1-func-interl.yml                        TIMEOUT                        902.72      547.14    krater33
hardware-verification-bv/btor2c-lazyMod.peterson.2.prop1-back-serstep.yml                       false(unreach-call)            501.84      252.61    krater20
hardware-verification-bv/btor2c-lazyMod.peterson.2.prop1-func-interl.yml                        TIMEOUT                        902.33      548.28    krater27
hardware-verification-bv/btor2c-lazyMod.peterson.3.prop1-back-serstep.yml                       false(unreach-call)            164.57       82.61    krater37
hardware-verification-bv/btor2c-lazyMod.peterson.3.prop1-func-interl.yml                        TIMEOUT                        902.84      547.07    krater35
hardware-verification-bv/btor2c-lazyMod.peterson.4.prop1-back-serstep.yml                       TIMEOUT                        903.21      553.49    krater27
hardware-verification-bv/btor2c-lazyMod.peterson.4.prop1-func-interl.yml                        TIMEOUT                        902.55      546.82    krater17
hardware-verification-bv/btor2c-lazyMod.peterson.5.prop1-back-serstep.yml                       TIMEOUT                        910.54      558.76    krater36
hardware-verification-bv/btor2c-lazyMod.peterson.5.prop1-func-interl.yml                        TIMEOUT                        902.77      549.12    krater24
hardware-verification-bv/btor2c-lazyMod.peterson.6.prop1-back-serstep.yml                       false(unreach-call)            422.53      211.84    krater24
hardware-verification-bv/btor2c-lazyMod.peterson.6.prop1-func-interl.yml                        TIMEOUT                        902.88      549.82    krater08
hardware-verification-bv/btor2c-lazyMod.peterson.7.prop1-back-serstep.yml                       TIMEOUT                        902.64      551.52    krater26
hardware-verification-bv/btor2c-lazyMod.peterson.7.prop1-func-interl.yml                        TIMEOUT                        902.85      548.14    krater31
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.1.prop1-back-serstep.yml                   TIMEOUT                        903.03      546.65    krater15
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.1.prop1-func-interl.yml                    TIMEOUT                        910.89      460.02    krater16
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.1.prop2-back-serstep.yml                   TIMEOUT                        902.44      546.95    krater36
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.1.prop2-func-interl.yml                    TIMEOUT                        911.59      460.37    krater22
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.1.prop5-back-serstep.yml                   TIMEOUT                        902.65      548.65    krater30
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.1.prop5-func-interl.yml                    TIMEOUT                        910.48      460.08    krater15
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.1.prop6-back-serstep.yml                   TIMEOUT                        903.73      548.67    krater17
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.1.prop6-func-interl.yml                    TIMEOUT                        910.78      460.31    krater17
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.2.prop1-back-serstep.yml                   TIMEOUT                        902.80      548.20    krater03
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.2.prop1-func-interl.yml                    TIMEOUT                        911.16      460.05    krater25
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.2.prop2-back-serstep.yml                   TIMEOUT                        903.28      549.74    krater32
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.2.prop2-func-interl.yml                    TIMEOUT                        911.24      460.12    krater22
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.2.prop5-back-serstep.yml                   TIMEOUT                        903.63      527.39    krater07
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.2.prop5-func-interl.yml                    TIMEOUT                        912.38      461.23    krater30
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.2.prop6-back-serstep.yml                   TIMEOUT                        910.94      560.03    krater40
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.2.prop6-func-interl.yml                    TIMEOUT                        910.33      460.51    krater30
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.3.prop1-back-serstep.yml                   TIMEOUT                        904.15      550.08    krater09
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.3.prop1-func-interl.yml                    TIMEOUT                        910.40      462.61    krater30
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.3.prop2-back-serstep.yml                   TIMEOUT                        902.45      554.57    krater35
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.3.prop2-func-interl.yml                    TIMEOUT                        910.76      459.93    krater21
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.3.prop5-back-serstep.yml                   TIMEOUT                        903.88      553.21    krater35
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.3.prop5-func-interl.yml                    TIMEOUT                        911.60      459.84    krater16
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.3.prop6-back-serstep.yml                   TIMEOUT                        910.94      559.94    krater40
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.3.prop6-func-interl.yml                    TIMEOUT                        910.43      460.55    krater20
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.4.prop1-back-serstep.yml                   TIMEOUT                        902.61      530.64    krater10
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.4.prop1-func-interl.yml                    TIMEOUT                        911.05      460.01    krater02
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.4.prop2-back-serstep.yml                   TIMEOUT                        903.52      556.06    krater27
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.4.prop2-func-interl.yml                    TIMEOUT                        910.96      459.91    krater07
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.4.prop5-back-serstep.yml                   TIMEOUT                        905.85      555.27    krater09
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.4.prop5-func-interl.yml                    TIMEOUT                        910.70      460.22    krater30
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.4.prop6-back-serstep.yml                   TIMEOUT                        906.05      545.60    krater31
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.4.prop6-func-interl.yml                    TIMEOUT                        911.07      460.05    krater32
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.5.prop1-back-serstep.yml                   TIMEOUT                        902.93      542.73    krater22
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.5.prop1-func-interl.yml                    TIMEOUT                        911.11      460.02    krater39
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.5.prop2-back-serstep.yml                   TIMEOUT                        902.45      549.66    krater13
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.5.prop2-func-interl.yml                    TIMEOUT                        911.05      461.48    krater27
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.5.prop5-back-serstep.yml                   TIMEOUT                        902.42      554.13    krater21
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.5.prop5-func-interl.yml                    TIMEOUT                        911.15      459.77    krater22
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.5.prop6-back-serstep.yml                   TIMEOUT                        902.53      552.29    krater23
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.5.prop6-func-interl.yml                    TIMEOUT                        910.73      459.96    krater28
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.6.prop1-back-serstep.yml                   TIMEOUT                        902.92      554.45    krater04
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.6.prop1-func-interl.yml                    TIMEOUT                        918.62      461.52    krater38
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.6.prop2-back-serstep.yml                   TIMEOUT                        903.08      550.44    krater19
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.6.prop2-func-interl.yml                    TIMEOUT                        911.30      460.10    krater35
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.6.prop5-back-serstep.yml                   TIMEOUT                        902.66      548.84    krater38
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.6.prop5-func-interl.yml                    TIMEOUT                        910.41      460.95    krater27
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.6.prop6-back-serstep.yml                   TIMEOUT                        910.85      559.56    krater14
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.6.prop6-func-interl.yml                    TIMEOUT                        910.55      460.17    krater36
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.7.prop1-back-serstep.yml                   TIMEOUT                        904.73      556.52    krater30
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.7.prop1-func-interl.yml                    TIMEOUT                        911.76      460.15    krater30
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.7.prop2-back-serstep.yml                   TIMEOUT                        902.82      556.09    krater15
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.7.prop2-func-interl.yml                    TIMEOUT                        910.79      460.02    krater01
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.7.prop5-back-serstep.yml                   TIMEOUT                        902.90      509.88    krater39
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.7.prop5-func-interl.yml                    TIMEOUT                        910.64      459.86    krater09
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.7.prop6-back-serstep.yml                   TIMEOUT                        902.52      531.31    krater04
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.7.prop6-func-interl.yml                    TIMEOUT                        910.57      459.99    krater35
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.8.prop1-back-serstep.yml                   TIMEOUT                        904.30      555.17    krater40
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.8.prop1-func-interl.yml                    TIMEOUT                        911.24      460.19    krater39
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.8.prop2-back-serstep.yml                   TIMEOUT                        903.15      550.88    krater16
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.8.prop2-func-interl.yml                    TIMEOUT                        910.08      460.25    krater26
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.8.prop5-back-serstep.yml                   TIMEOUT                        903.99      556.32    krater27
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.8.prop5-func-interl.yml                    TIMEOUT                        910.31      461.11    krater15
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.8.prop6-back-serstep.yml                   TIMEOUT                        902.96      551.14    krater39
hardware-verification-bv/btor2c-lazyMod.pgm_protocol.8.prop6-func-interl.yml                    TIMEOUT                        911.34      459.86    krater21
hardware-verification-bv/btor2c-lazyMod.pipeline.yml                                            true                            14.22        7.39    krater40
hardware-verification-bv/btor2c-lazyMod.pj_icram.yml                                            SEGMENTATION FAULT             338.92      244.41    krater02
hardware-verification-bv/btor2c-lazyMod.pj_icu.yml                                              true                           698.85      350.68    krater07
hardware-verification-bv/btor2c-lazyMod.plc.1.prop2-back-serstep.yml                            TIMEOUT                        903.88      547.80    krater15
hardware-verification-bv/btor2c-lazyMod.plc.1.prop2-func-interl.yml                             TIMEOUT                        912.02      460.29    krater25
hardware-verification-bv/btor2c-lazyMod.plc.2.prop2-back-serstep.yml                            TIMEOUT                        902.70      534.03    krater05
hardware-verification-bv/btor2c-lazyMod.plc.2.prop2-func-interl.yml                             TIMEOUT                        911.86      460.42    krater38
hardware-verification-bv/btor2c-lazyMod.plc.3.prop2-back-serstep.yml                            TIMEOUT                        903.52      542.02    krater03
hardware-verification-bv/btor2c-lazyMod.plc.3.prop2-func-interl.yml                             TIMEOUT                        913.21      460.56    krater08
hardware-verification-bv/btor2c-lazyMod.plc.4.prop2-back-serstep.yml                            TIMEOUT                        902.69      538.52    krater33
hardware-verification-bv/btor2c-lazyMod.plc.4.prop2-func-interl.yml                             TIMEOUT                        912.07      460.65    krater10
hardware-verification-bv/btor2c-lazyMod.pouring.1.prop1-back-serstep.yml                        TIMEOUT                        918.02      462.47    krater31
hardware-verification-bv/btor2c-lazyMod.pouring.1.prop1-func-interl.yml                         TIMEOUT                        938.21      473.11    krater30
hardware-verification-bv/btor2c-lazyMod.pouring.2.prop1-back-serstep.yml                        TIMEOUT                        918.27      461.46    krater25
hardware-verification-bv/btor2c-lazyMod.pouring.2.prop1-func-interl.yml                         TIMEOUT                        938.73      471.89    krater37
hardware-verification-bv/btor2c-lazyMod.production_cell.1.prop1-back-serstep.yml                false(unreach-call)             64.12       33.12    krater35
hardware-verification-bv/btor2c-lazyMod.production_cell.1.prop1-func-interl.yml                 false(unreach-call)             13.75        7.10    krater37
hardware-verification-bv/btor2c-lazyMod.production_cell.2.prop1-back-serstep.yml                TIMEOUT                        901.82      575.31    krater22
hardware-verification-bv/btor2c-lazyMod.production_cell.2.prop1-func-interl.yml                 TIMEOUT                        910.44      558.07    krater34
hardware-verification-bv/btor2c-lazyMod.production_cell.3.prop1-back-serstep.yml                false(unreach-call)            120.10       62.27    krater37
hardware-verification-bv/btor2c-lazyMod.production_cell.3.prop1-func-interl.yml                 false(unreach-call)             15.63        8.02    krater23
hardware-verification-bv/btor2c-lazyMod.production_cell.4.prop1-back-serstep.yml                TIMEOUT                        902.11      579.92    krater40
hardware-verification-bv/btor2c-lazyMod.production_cell.4.prop1-func-interl.yml                 TIMEOUT                        910.61      551.92    krater25
hardware-verification-bv/btor2c-lazyMod.production_cell.5.prop1-back-serstep.yml                false(unreach-call)            130.63       69.00    krater40
hardware-verification-bv/btor2c-lazyMod.production_cell.5.prop1-func-interl.yml                 false(unreach-call)             14.31        7.39    krater21
hardware-verification-bv/btor2c-lazyMod.production_cell.6.prop1-back-serstep.yml                false(unreach-call)            149.17       75.02    krater33
hardware-verification-bv/btor2c-lazyMod.production_cell.6.prop1-func-interl.yml                 false(unreach-call)             18.29        9.36    krater19
hardware-verification-bv/btor2c-lazyMod.protocols.1.prop1-back-serstep.yml                      false(unreach-call)             86.12       43.36    krater02
hardware-verification-bv/btor2c-lazyMod.protocols.1.prop1-func-interl.yml                       false(unreach-call)             88.52       44.63    krater04
hardware-verification-bv/btor2c-lazyMod.protocols.2.prop1-back-serstep.yml                      false(unreach-call)            128.06       64.37    krater27
hardware-verification-bv/btor2c-lazyMod.protocols.2.prop1-func-interl.yml                       false(unreach-call)            103.50       52.09    krater36
hardware-verification-bv/btor2c-lazyMod.protocols.3.prop1-back-serstep.yml                      false(unreach-call)            210.52      106.32    krater19
hardware-verification-bv/btor2c-lazyMod.protocols.3.prop1-func-interl.yml                       false(unreach-call)            303.43      152.50    krater34
hardware-verification-bv/btor2c-lazyMod.protocols.4.prop1-back-serstep.yml                      false(unreach-call)            175.19       88.28    krater01
hardware-verification-bv/btor2c-lazyMod.protocols.4.prop1-func-interl.yml                       false(unreach-call)            275.69      138.24    krater37
hardware-verification-bv/btor2c-lazyMod.protocols.5.prop1-back-serstep.yml                      false(unreach-call)            188.41       94.78    krater30
hardware-verification-bv/btor2c-lazyMod.protocols.5.prop1-func-interl.yml                       false(unreach-call)            287.87      144.38    krater38
hardware-verification-bv/btor2c-lazyMod.reader_writer.1.prop1-back-serstep.yml                  false(unreach-call)            315.79      161.98    krater05
hardware-verification-bv/btor2c-lazyMod.reader_writer.1.prop1-func-interl.yml                   false(unreach-call)            634.10      320.61    krater02
hardware-verification-bv/btor2c-lazyMod.reader_writer.2.prop1-back-serstep.yml                  TIMEOUT                        902.54      537.61    krater01
hardware-verification-bv/btor2c-lazyMod.reader_writer.2.prop1-func-interl.yml                   TIMEOUT                        902.53      527.06    krater32
hardware-verification-bv/btor2c-lazyMod.reader_writer.3.prop1-back-serstep.yml                  false(unreach-call)            725.43      363.81    krater12
hardware-verification-bv/btor2c-lazyMod.reader_writer.3.prop1-func-interl.yml                   TIMEOUT                        910.54      503.68    krater24
hardware-verification-bv/btor2c-lazyMod.recount4.yml                                            false(unreach-call)            554.58      281.43    krater03
hardware-verification-bv/btor2c-lazyMod.resistance.1.prop1-back-serstep.yml                     true                           147.62       74.27    krater35
hardware-verification-bv/btor2c-lazyMod.resistance.1.prop1-func-interl.yml                      true                            59.93       30.46    krater12
hardware-verification-bv/btor2c-lazyMod.resistance.1.prop2-back-serstep.yml                     true                           496.66      249.15    krater37
hardware-verification-bv/btor2c-lazyMod.resistance.1.prop2-func-interl.yml                      true                            72.20       38.46    krater04
hardware-verification-bv/btor2c-lazyMod.resistance.1.prop3-back-serstep.yml                     TIMEOUT                        902.19      581.00    krater09
hardware-verification-bv/btor2c-lazyMod.resistance.1.prop3-func-interl.yml                      true                            79.53       40.26    krater12
hardware-verification-bv/btor2c-lazyMod.resistance.2.prop1-back-serstep.yml                     false(unreach-call)            348.37      174.80    krater35
hardware-verification-bv/btor2c-lazyMod.resistance.2.prop1-func-interl.yml                      false(unreach-call)            137.76       69.72    krater22
hardware-verification-bv/btor2c-lazyMod.resistance.2.prop2-back-serstep.yml                     true                           630.46      316.44    krater27
hardware-verification-bv/btor2c-lazyMod.resistance.2.prop2-func-interl.yml                      true                            83.39       43.39    krater26
hardware-verification-bv/btor2c-lazyMod.resistance.2.prop3-back-serstep.yml                     TIMEOUT                        902.95      531.58    krater10
hardware-verification-bv/btor2c-lazyMod.resistance.2.prop3-func-interl.yml                      true                            71.32       36.55    krater38
hardware-verification-bv/btor2c-lazyMod.rether.1.prop1-back-serstep.yml                         TIMEOUT                        904.17      541.02    krater29
hardware-verification-bv/btor2c-lazyMod.rether.1.prop1-func-interl.yml                          TIMEOUT                        903.02      548.48    krater14
hardware-verification-bv/btor2c-lazyMod.rether.2.prop1-back-serstep.yml                         TIMEOUT                        903.94      542.37    krater25
hardware-verification-bv/btor2c-lazyMod.rether.2.prop1-func-interl.yml                          TIMEOUT                        903.16      543.83    krater10
hardware-verification-bv/btor2c-lazyMod.rether.3.prop1-back-serstep.yml                         TIMEOUT                        903.76      536.23    krater02
hardware-verification-bv/btor2c-lazyMod.rether.3.prop1-func-interl.yml                          TIMEOUT                        902.98      491.70    krater05
hardware-verification-bv/btor2c-lazyMod.rether.4.prop1-back-serstep.yml                         TIMEOUT                        903.60      551.60    krater02
hardware-verification-bv/btor2c-lazyMod.rether.4.prop1-func-interl.yml                          TIMEOUT                        911.34      459.79    krater31
hardware-verification-bv/btor2c-lazyMod.rether.5.prop1-back-serstep.yml                         TIMEOUT                        902.68      472.99    krater38
hardware-verification-bv/btor2c-lazyMod.rether.5.prop1-func-interl.yml                          TIMEOUT                        911.90      460.68    krater03
hardware-verification-bv/btor2c-lazyMod.rether.6.prop1-back-serstep.yml                         TIMEOUT                        904.79      549.86    krater35
hardware-verification-bv/btor2c-lazyMod.rether.6.prop1-func-interl.yml                          TIMEOUT                        911.60      459.81    krater31
hardware-verification-bv/btor2c-lazyMod.rether.7.prop1-back-serstep.yml                         TIMEOUT                        904.20      532.33    krater08
hardware-verification-bv/btor2c-lazyMod.rether.7.prop1-func-interl.yml                          TIMEOUT                        911.79      459.94    krater37
hardware-verification-bv/btor2c-lazyMod.rushhour.1.prop1-back-serstep.yml                       TIMEOUT                        945.74      474.01    krater14
hardware-verification-bv/btor2c-lazyMod.rushhour.1.prop1-func-interl.yml                        TIMEOUT                        904.08      551.36    krater03
hardware-verification-bv/btor2c-lazyMod.rushhour.2.prop1-back-serstep.yml                       TIMEOUT                        933.28      467.80    krater28
hardware-verification-bv/btor2c-lazyMod.rushhour.2.prop1-func-interl.yml                        TIMEOUT                        904.91      550.50    krater14
hardware-verification-bv/btor2c-lazyMod.rushhour.3.prop1-back-serstep.yml                       TIMEOUT                        942.37      582.94    krater37
hardware-verification-bv/btor2c-lazyMod.rushhour.3.prop1-func-interl.yml                        unknown                        355.52      220.72    krater07
hardware-verification-bv/btor2c-lazyMod.rushhour.4.prop1-back-serstep.yml                       TIMEOUT                        962.82      606.64    krater07
hardware-verification-bv/btor2c-lazyMod.rushhour.4.prop1-func-interl.yml                        unknown                        340.38      212.40    krater36
hardware-verification-bv/btor2c-lazyMod.safe_analog_estimation_convergence.yml                  TIMEOUT                        902.91      571.95    krater04
hardware-verification-bv/btor2c-lazyMod.safe_intersymbol_analog_estimation_convergence.yml      TIMEOUT                        910.91      460.22    krater26
hardware-verification-bv/btor2c-lazyMod.schedule_world.1.prop1-back-serstep.yml                 false(unreach-call)            498.99      250.61    krater06
hardware-verification-bv/btor2c-lazyMod.schedule_world.1.prop1-func-interl.yml                  false(unreach-call)            640.01      320.72    krater05
hardware-verification-bv/btor2c-lazyMod.schedule_world.2.prop1-back-serstep.yml                 false(unreach-call)            423.74      212.51    krater34
hardware-verification-bv/btor2c-lazyMod.schedule_world.2.prop1-func-interl.yml                  false(unreach-call)            148.53       75.10    krater15
hardware-verification-bv/btor2c-lazyMod.schedule_world.3.prop1-back-serstep.yml                 false(unreach-call)            376.91      189.00    krater26
hardware-verification-bv/btor2c-lazyMod.schedule_world.3.prop1-func-interl.yml                  false(unreach-call)             90.22       45.55    krater12
hardware-verification-bv/btor2c-lazyMod.sdlx.yml                                                TIMEOUT                        904.38      550.57    krater25
hardware-verification-bv/btor2c-lazyMod.seq.yml                                                 true                            15.64        8.08    krater24
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w128_d128_e0.yml                     TIMEOUT                        904.71      519.46    krater16
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w128_d16_e0.yml                      TIMEOUT                        903.30      581.16    krater26
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w128_d32_e0.yml                      TIMEOUT                        903.54      577.61    krater12
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w128_d64_e0.yml                      TIMEOUT                        904.04      568.11    krater37
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w128_d8_e0.yml                       SEGMENTATION FAULT             269.10      135.00    krater18
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w16_d128_e0.yml                      TIMEOUT                        903.47      518.85    krater10
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w16_d16_e0.yml                       TIMEOUT                        903.05      519.96    krater10
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w16_d32_e0.yml                       TIMEOUT                        903.31      548.31    krater17
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w16_d64_e0.yml                       TIMEOUT                        903.10      545.76    krater20
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w16_d8_e0.yml                        SEGMENTATION FAULT             375.30      188.12    krater06
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w32_d128_e0.yml                      TIMEOUT                        904.51      531.45    krater24
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w32_d16_e0.yml                       TIMEOUT                        902.91      554.38    krater01
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w32_d32_e0.yml                       TIMEOUT                        903.73      549.52    krater29
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w32_d64_e0.yml                       TIMEOUT                        902.96      547.37    krater02
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w32_d8_e0.yml                        SEGMENTATION FAULT             360.78      180.98    krater12
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w64_d128_e0.yml                      TIMEOUT                        903.79      531.57    krater14
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w64_d16_e0.yml                       TIMEOUT                        903.07      546.57    krater36
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w64_d32_e0.yml                       TIMEOUT                        903.16      550.46    krater18
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w64_d64_e0.yml                       TIMEOUT                        903.46      544.72    krater20
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w64_d8_e0.yml                        SEGMENTATION FAULT             358.89      180.09    krater23
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w8_d128_e0.yml                       TIMEOUT                        904.23      512.10    krater39
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w8_d16_e0.yml                        TIMEOUT                        903.27      493.43    krater38
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w8_d32_e0.yml                        TIMEOUT                        902.89      545.16    krater29
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w8_d64_e0.yml                        TIMEOUT                        903.64      543.63    krater16
hardware-verification-bv/btor2c-lazyMod.shift_register_top_w8_d8_e0.yml                         SEGMENTATION FAULT             387.11      194.43    krater32
hardware-verification-bv/btor2c-lazyMod.sokoban.1.prop1-back-serstep.yml                        TIMEOUT                        904.22      465.04    krater08
hardware-verification-bv/btor2c-lazyMod.sokoban.1.prop1-func-interl.yml                         TIMEOUT                        904.07      559.48    krater05
hardware-verification-bv/btor2c-lazyMod.sokoban.2.prop1-back-serstep.yml                        TIMEOUT                        904.32      500.04    krater12
hardware-verification-bv/btor2c-lazyMod.sokoban.2.prop1-func-interl.yml                         TIMEOUT                        904.75      556.80    krater06
hardware-verification-bv/btor2c-lazyMod.sokoban.3.prop1-back-serstep.yml                        unknown                        363.68      224.46    krater33
hardware-verification-bv/btor2c-lazyMod.sokoban.3.prop1-func-interl.yml                         TIMEOUT                        914.75      462.09    krater06
hardware-verification-bv/btor2c-lazyMod.sw_ball2001.yml                                         true                           181.64       91.29    krater18
hardware-verification-bv/btor2c-lazyMod.sw_ball2004_1.yml                                       true                            29.23       14.93    krater39
hardware-verification-bv/btor2c-lazyMod.sw_ball2004_2.yml                                       true                           243.91      122.39    krater37
hardware-verification-bv/btor2c-lazyMod.sw_loop.yml                                             true                           102.75       51.87    krater13
hardware-verification-bv/btor2c-lazyMod.sw_loop_v.yml                                           false(unreach-call)            792.76      449.39    krater08
hardware-verification-bv/btor2c-lazyMod.sw_state_machine.yml                                    true                           267.19      134.12    krater32
hardware-verification-bv/btor2c-lazyMod.sw_sym_ex.yml                                           true                           149.81       75.28    krater01
hardware-verification-bv/btor2c-lazyMod.sw_sym_ex_v.yml                                         false(unreach-call)            104.14       52.35    krater06
hardware-verification-bv/btor2c-lazyMod.swap_three.yml                                          true                             9.01        4.72    krater16
hardware-verification-bv/btor2c-lazyMod.swap_two.yml                                            true                             8.03        5.39    krater15
hardware-verification-bv/btor2c-lazyMod.synabs.yml                                              true                            17.79        9.14    krater03
hardware-verification-bv/btor2c-lazyMod.synabs2.yml                                             false(unreach-call)             18.95        9.68    krater28
hardware-verification-bv/btor2c-lazyMod.synapse.1.prop1-back-serstep.yml                        TIMEOUT                        905.03      554.23    krater13
hardware-verification-bv/btor2c-lazyMod.synapse.1.prop1-func-interl.yml                         TIMEOUT                        912.01      461.22    krater15
hardware-verification-bv/btor2c-lazyMod.synapse.2.prop1-back-serstep.yml                        TIMEOUT                        903.29      549.44    krater35
hardware-verification-bv/btor2c-lazyMod.synapse.2.prop1-func-interl.yml                         TIMEOUT                        911.31      460.03    krater12
hardware-verification-bv/btor2c-lazyMod.synapse.3.prop1-back-serstep.yml                        TIMEOUT                        902.34      550.20    krater12
hardware-verification-bv/btor2c-lazyMod.synapse.3.prop1-func-interl.yml                         TIMEOUT                        912.02      459.92    krater04
hardware-verification-bv/btor2c-lazyMod.synapse.4.prop1-back-serstep.yml                        TIMEOUT                        902.40      540.83    krater06
hardware-verification-bv/btor2c-lazyMod.synapse.4.prop1-func-interl.yml                         TIMEOUT                        910.85      461.34    krater23
hardware-verification-bv/btor2c-lazyMod.synapse.5.prop1-back-serstep.yml                        TIMEOUT                        902.41      557.55    krater16
hardware-verification-bv/btor2c-lazyMod.synapse.5.prop1-func-interl.yml                         TIMEOUT                        910.81      459.89    krater05
hardware-verification-bv/btor2c-lazyMod.synapse.6.prop1-back-serstep.yml                        TIMEOUT                        904.76      548.75    krater33
hardware-verification-bv/btor2c-lazyMod.synapse.6.prop1-func-interl.yml                         TIMEOUT                        911.40      459.99    krater36
hardware-verification-bv/btor2c-lazyMod.synapse.7.prop1-back-serstep.yml                        TIMEOUT                        903.33      487.21    krater39
hardware-verification-bv/btor2c-lazyMod.synapse.7.prop1-func-interl.yml                         TIMEOUT                        910.91      459.95    krater21
hardware-verification-bv/btor2c-lazyMod.szymanski.1.prop1-back-serstep.yml                      TIMEOUT                        903.09      550.17    krater32
hardware-verification-bv/btor2c-lazyMod.szymanski.1.prop1-func-interl.yml                       TIMEOUT                        903.17      531.45    krater16
hardware-verification-bv/btor2c-lazyMod.szymanski.2.prop1-back-serstep.yml                      TIMEOUT                        902.84      547.69    krater09
hardware-verification-bv/btor2c-lazyMod.szymanski.2.prop1-func-interl.yml                       TIMEOUT                        903.29      524.04    krater33
hardware-verification-bv/btor2c-lazyMod.szymanski.3.prop1-back-serstep.yml                      TIMEOUT                        902.70      516.15    krater35
hardware-verification-bv/btor2c-lazyMod.szymanski.3.prop1-func-interl.yml                       TIMEOUT                        902.49      466.29    krater06
hardware-verification-bv/btor2c-lazyMod.szymanski.4.prop1-back-serstep.yml                      TIMEOUT                        903.05      510.77    krater32
hardware-verification-bv/btor2c-lazyMod.szymanski.4.prop1-func-interl.yml                       TIMEOUT                        902.92      464.56    krater02
hardware-verification-bv/btor2c-lazyMod.szymanski.5.prop1-back-serstep.yml                      TIMEOUT                        903.81      531.17    krater29
hardware-verification-bv/btor2c-lazyMod.szymanski.5.prop1-func-interl.yml                       TIMEOUT                        903.46      452.27    krater39
hardware-verification-bv/btor2c-lazyMod.telephony.1.prop1-back-serstep.yml                      TIMEOUT                        902.16      537.94    krater28
hardware-verification-bv/btor2c-lazyMod.telephony.1.prop1-func-interl.yml                       TIMEOUT                        902.97      536.98    krater24
hardware-verification-bv/btor2c-lazyMod.telephony.2.prop1-back-serstep.yml                      TIMEOUT                        902.84      538.61    krater24
hardware-verification-bv/btor2c-lazyMod.telephony.2.prop1-func-interl.yml                       TIMEOUT                        903.31      550.29    krater01
hardware-verification-bv/btor2c-lazyMod.telephony.3.prop1-back-serstep.yml                      TIMEOUT                        903.42      561.10    krater07
hardware-verification-bv/btor2c-lazyMod.telephony.3.prop1-func-interl.yml                       TIMEOUT                        903.22      503.26    krater25
hardware-verification-bv/btor2c-lazyMod.telephony.4.prop1-back-serstep.yml                      TIMEOUT                        903.18      530.76    krater40
hardware-verification-bv/btor2c-lazyMod.telephony.4.prop1-func-interl.yml                       TIMEOUT                        903.21      481.37    krater24
hardware-verification-bv/btor2c-lazyMod.telephony.5.prop1-back-serstep.yml                      TIMEOUT                        904.70      556.88    krater32
hardware-verification-bv/btor2c-lazyMod.telephony.5.prop1-func-interl.yml                       TIMEOUT                        910.63      459.63    krater04
hardware-verification-bv/btor2c-lazyMod.telephony.6.prop1-back-serstep.yml                      TIMEOUT                        910.58      457.78    krater38
hardware-verification-bv/btor2c-lazyMod.telephony.6.prop1-func-interl.yml                       TIMEOUT                        912.30      459.81    krater05
hardware-verification-bv/btor2c-lazyMod.telephony.7.prop1-back-serstep.yml                      TIMEOUT                        904.03      523.20    krater39
hardware-verification-bv/btor2c-lazyMod.telephony.7.prop1-func-interl.yml                       TIMEOUT                        903.36      463.84    krater12
hardware-verification-bv/btor2c-lazyMod.telephony.8.prop1-back-serstep.yml                      TIMEOUT                        902.44      548.68    krater04
hardware-verification-bv/btor2c-lazyMod.telephony.8.prop1-func-interl.yml                       TIMEOUT                        910.76      459.79    krater08
hardware-verification-bv/btor2c-lazyMod.toy_lock_4.yml                                          TIMEOUT                        903.21      565.76    krater28
hardware-verification-bv/btor2c-lazyMod.train-gate.1.prop1-back-serstep.yml                     TIMEOUT                        902.85      456.71    krater24
hardware-verification-bv/btor2c-lazyMod.train-gate.1.prop1-func-interl.yml                      TIMEOUT                        910.53      555.76    krater22
hardware-verification-bv/btor2c-lazyMod.train-gate.2.prop1-back-serstep.yml                     TIMEOUT                        903.39      543.63    krater34
hardware-verification-bv/btor2c-lazyMod.train-gate.2.prop1-func-interl.yml                      TIMEOUT                        902.64      546.53    krater28
hardware-verification-bv/btor2c-lazyMod.train-gate.3.prop1-back-serstep.yml                     TIMEOUT                        903.01      547.56    krater10
hardware-verification-bv/btor2c-lazyMod.train-gate.3.prop1-func-interl.yml                      TIMEOUT                        902.79      541.17    krater29
hardware-verification-bv/btor2c-lazyMod.train-gate.4.prop1-back-serstep.yml                     TIMEOUT                        902.99      549.62    krater35
hardware-verification-bv/btor2c-lazyMod.train-gate.4.prop1-func-interl.yml                      TIMEOUT                        903.19      526.48    krater36
hardware-verification-bv/btor2c-lazyMod.train-gate.5.prop1-back-serstep.yml                     TIMEOUT                        903.40      546.80    krater12
hardware-verification-bv/btor2c-lazyMod.train-gate.5.prop1-func-interl.yml                      TIMEOUT                        902.42      535.00    krater40
hardware-verification-bv/btor2c-lazyMod.train-gate.6.prop1-back-serstep.yml                     TIMEOUT                        903.62      532.03    krater13
hardware-verification-bv/btor2c-lazyMod.train-gate.6.prop1-func-interl.yml                      TIMEOUT                        903.09      532.09    krater20
hardware-verification-bv/btor2c-lazyMod.train-gate.7.prop1-back-serstep.yml                     TIMEOUT                        903.81      544.28    krater36
hardware-verification-bv/btor2c-lazyMod.train-gate.7.prop1-func-interl.yml                      TIMEOUT                        903.12      533.42    krater06
hardware-verification-bv/btor2c-lazyMod.twocount2.yml                                           false(unreach-call)             13.41        6.90    krater36
hardware-verification-bv/btor2c-lazyMod.twocount2c.yml                                          false(unreach-call)             14.55        7.50    krater22
hardware-verification-bv/btor2c-lazyMod.twocount32.yml                                          false(unreach-call)             17.70        9.15    krater25
hardware-verification-bv/btor2c-lazyMod.unknown_ridecore.yml                                    unknown                        753.84      515.01    krater31
hardware-verification-bv/btor2c-lazyMod.unsafe_analog_estimation_convergence.yml                false(unreach-call)             94.34       47.54    krater03
hardware-verification-bv/btor2c-lazyMod.unsafe_buggy_ridecore.yml                               unknown                        629.73      417.22    krater32
hardware-verification-bv/btor2c-lazyMod.unsafe_intersymbol_analog_estimation_convergence.yml    TIMEOUT                        911.68      460.06    krater01
hardware-verification-bv/btor2c-lazyMod.usb_phy.yml                                             TIMEOUT                        906.64      556.56    krater18
hardware-verification-bv/btor2c-lazyMod.v_DAIO.yml                                              TIMEOUT                        907.15      569.46    krater28
hardware-verification-bv/btor2c-lazyMod.v_FIFO.yml                                              false(unreach-call)            332.74      166.89    krater08
hardware-verification-bv/btor2c-lazyMod.v_Unidec.yml                                            false(unreach-call)            338.56      170.04    krater02
hardware-verification-bv/btor2c-lazyMod.v_non-pipelined-microprocessor.yml                      false(unreach-call)             13.23        6.83    krater04
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p01.yml                          true                            42.98       21.77    krater23
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p02.yml                          true                             7.28        3.88    krater04
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p03.yml                          true                            18.56        9.47    krater01
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p04.yml                          true                             8.43        4.44    krater03
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p05.yml                          true                             7.21        3.83    krater12
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p06.yml                          true                            31.60       16.06    krater07
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p07.yml                          true                            17.25        8.88    krater18
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p08.yml                          true                            15.70        8.18    krater14
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p09.yml                          true                            13.93        7.20    krater05
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p10.yml                          true                            39.54       20.03    krater13
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p11.yml                          true                            28.96       14.76    krater20
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p12.yml                          true                            20.98       10.79    krater12
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p13.yml                          true                            16.01        8.32    krater24
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p14.yml                          true                            13.42        7.19    krater22
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p15.yml                          true                            17.88        9.18    krater37
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p16.yml                          true                             7.53        3.98    krater06
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p17.yml                          true                             7.72        4.06    krater40
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p18.yml                          true                             7.75        4.08    krater20
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p19.yml                          true                            10.95        5.69    krater20
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p20.yml                          true                            13.80        7.15    krater03
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p21.yml                          true                             7.98        4.23    krater03
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_itc99_b13_p22.yml                          true                            19.67       10.06    krater40
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_pj_icu_icctl_p1.yml                        true                           416.98      209.12    krater01
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_pj_icu_icctl_p2.yml                        true                           640.03      321.57    krater20
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_pj_icu_icctl_p3.yml                        true                           149.72       75.18    krater21
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_pj_icu_icctl_p4.yml                        true                           611.37      306.53    krater24
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_sdlx_control.yml                           TIMEOUT                        903.62      554.14    krater15
hardware-verification-bv/btor2c-lazyMod.vcegar_QF_BV_usb_phy_1.yml                              TIMEOUT                        903.75      550.37    krater08
hardware-verification-bv/btor2c-lazyMod.vcegar_arrays_itc99_b12_p1.yml                          TIMEOUT                        904.47      550.45    krater31
hardware-verification-bv/btor2c-lazyMod.vcegar_arrays_itc99_b12_p2.yml                          TIMEOUT                        903.75      549.47    krater04
hardware-verification-bv/btor2c-lazyMod.vis_QF_BV_bcuvis32.yml                                  true                            22.72       11.58    krater02
hardware-verification-bv/btor2c-lazyMod.vis_QF_BV_fru32_p1.yml                                  false(unreach-call)             16.72        8.61    krater05
hardware-verification-bv/btor2c-lazyMod.vis_QF_BV_fru32_p2.yml                                  false(unreach-call)             17.80        9.12    krater24
hardware-verification-bv/btor2c-lazyMod.vis_QF_BV_fru32_p3.yml                                  false(unreach-call)             14.23        7.47    krater03
hardware-verification-bv/btor2c-lazyMod.vis_QF_BV_ibuf.yml                                      true                            32.80       19.87    krater03
hardware-verification-bv/btor2c-lazyMod.vis_QF_BV_rotate32.yml                                  false(unreach-call)             14.06        7.27    krater18
hardware-verification-bv/btor2c-lazyMod.vis_QF_BV_s1269b_p1.yml                                 true                            23.78       12.12    krater07
hardware-verification-bv/btor2c-lazyMod.vis_QF_BV_s1269b_p2.yml                                 true                             9.09        4.76    krater16
hardware-verification-bv/btor2c-lazyMod.vis_QF_BV_s1269b_p3.yml                                 true                            10.13        5.29    krater35
hardware-verification-bv/btor2c-lazyMod.vis_QF_BV_s1269b_p4.yml                                 false(unreach-call)             10.66        5.57    krater30
hardware-verification-bv/btor2c-lazyMod.vis_QF_BV_s1269b_p5.yml                                 true                            62.51       31.53    krater19
hardware-verification-bv/btor2c-lazyMod.vis_QF_BV_spinner32.yml                                 false(unreach-call)             17.37        9.08    krater23
hardware-verification-bv/btor2c-lazyMod.vis_QF_BV_vMiim_p1.yml                                  TIMEOUT                        903.58      550.60    krater21
hardware-verification-bv/btor2c-lazyMod.vis_QF_BV_vMiim_p2.yml                                  false(unreach-call)             77.85       39.22    krater10
hardware-verification-bv/btor2c-lazyMod.vis_QF_BV_vlunc.yml                                     true                            19.63       10.13    krater29
hardware-verification-bv/btor2c-lazyMod.vis_arrays_FIFOs.yml                                    false(unreach-call)            220.28      110.62    krater28
hardware-verification-bv/btor2c-lazyMod.vis_arrays_am2901.yml                                   TIMEOUT                        903.05      551.87    krater37
hardware-verification-bv/btor2c-lazyMod.vis_arrays_am2910_p1.yml                                TIMEOUT                        903.11      546.30    krater02
hardware-verification-bv/btor2c-lazyMod.vis_arrays_am2910_p2.yml                                true                           109.20       55.01    krater20
hardware-verification-bv/btor2c-lazyMod.vis_arrays_am2910_p3.yml                                true                           531.95      266.94    krater22
hardware-verification-bv/btor2c-lazyMod.vis_arrays_am2910_p4.yml                                true                           575.48      288.54    krater21
hardware-verification-bv/btor2c-lazyMod.vis_arrays_bpbs_p1.yml                                  false(unreach-call)             27.45       13.96    krater18
hardware-verification-bv/btor2c-lazyMod.vis_arrays_bpbs_p2.yml                                  false(unreach-call)             15.90       12.07    krater01
hardware-verification-bv/btor2c-lazyMod.vis_arrays_bpbs_p3.yml                                  false(unreach-call)             16.87        8.65    krater18
hardware-verification-bv/btor2c-lazyMod.vis_arrays_bpbs_p4.yml                                  false(unreach-call)             15.70        8.12    krater31
hardware-verification-bv/btor2c-lazyMod.vis_arrays_buf_bug.yml                                  TIMEOUT                        903.52      550.84    krater29
hardware-verification-bv/btor2c-lazyMod.vis_arrays_bufferAlloc.yml                              TIMEOUT                        903.39      553.55    krater23
hardware-verification-bv/btor2c-lazyMod.vis_arrays_field5.yml                                   TIMEOUT                        902.73      553.77    krater35
hardware-verification-bv/btor2c-lazyMod.vis_arrays_palu.yml                                     false(unreach-call)             34.04       17.39    krater26
hardware-verification-bv/btor2c-lazyMod.vis_arrays_two_p1.yml                                   TIMEOUT                        902.92      545.21    krater16
hardware-verification-bv/btor2c-lazyMod.vis_arrays_two_p2.yml                                   TIMEOUT                        903.53      548.57    krater35
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsa16a_p1.yml                                TIMEOUT                        903.96      552.34    krater35
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsa16a_p2.yml                                true                           120.00       60.38    krater37
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsa16a_p3.yml                                true                            10.40        5.40    krater32
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsa16a_p4.yml                                TIMEOUT                        903.26      552.76    krater34
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsa16a_p5.yml                                TIMEOUT                        904.21      541.90    krater33
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsa16a_p6.yml                                TIMEOUT                        903.04      542.89    krater03
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsa16a_p7.yml                                TIMEOUT                        903.09      550.28    krater28
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsa16a_p8.yml                                TIMEOUT                        902.98      545.41    krater34
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p01.yml                                 false(unreach-call)             13.19        7.73    krater29
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p02.yml                                 true                           658.11      329.94    krater34
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p03.yml                                 true                           108.28       54.42    krater20
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p04.yml                                 true                            11.54        5.96    krater39
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p05.yml                                 TIMEOUT                        903.44      549.63    krater24
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p06.yml                                 TIMEOUT                        902.82      563.20    krater29
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p07.yml                                 TIMEOUT                        902.99      545.12    krater07
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p08.yml                                 TIMEOUT                        903.69      547.15    krater04
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p09.yml                                 TIMEOUT                        903.46      551.35    krater09
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p10.yml                                 TIMEOUT                        903.00      546.62    krater04
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p11.yml                                 TIMEOUT                        903.22      549.45    krater32
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p12.yml                                 true                           420.07      210.84    krater29
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p13.yml                                 true                           227.54      114.20    krater37
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p14.yml                                 true                           239.97      121.02    krater19
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p15.yml                                 true                           603.32      302.61    krater19
hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p16.yml                                 TIMEOUT                        902.68      553.27    krater31
hardware-verification-bv/btor2c-lazyMod.zaher.yml                                               true                            15.54        7.99    krater14
-------------------------------------------------------------------------------------------------------------------------------------------------------------
Run set 1                                                                                       done                             None        None           -

Statistics:           1224 Files
  correct:             228
    correct true:      113
    correct false:     115
  incorrect:             0
    incorrect true:      0
    incorrect false:     0
  unknown:             996
  Score:               341 (max: 1951)
