Tool DepthK 3.1 CPAchecker 1.7-svn 29852 ULTIMATE Automizer 0.1.23-635dfa2a CPA-witness2test 1.7-svn 29852 CProver witness2test 0.1 CPAchecker 1.7-svn 29852 ULTIMATE Automizer 0.1.23-635dfa2a
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2 timelimit: 900 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon* [apollon001; apollon005; apollon039; apollon053; apollon087; apollon091] [apollon007; apollon009; apollon073; apollon078] apollon*
OS Linux 4.15.0-42-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2018-12-05 09:36:33 CET 2018-12-06 10:02:56 CET 2018-12-06 11:08:44 CET 2018-12-06 11:42:46 CET 2018-12-12 19:35:41 CET 2018-12-06 09:26:28 CET 2018-12-06 10:24:56 CET
Run set depthk.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-depthk.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-depthk.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-depthk.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-depthk.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-depthk.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-depthk.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized
Options -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc -setprop cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc -setprop cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc -setprop cpa.smg.deallocationFunctions=free,kfree,kfree_const -witness ../../results-verified/depthk.2018-12-05_0936.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/depthk.2018-12-05_0936.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true -witness ../../results-verified/depthk.2018-12-05_0936.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/depthk.2018-12-05_0936.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -witness ../../results-verified/depthk.2018-12-05_0936.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/depthk.2018-12-05_0936.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/ status score witness inspect witness cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
systemc/kundu1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 26    26    640 300   32    0      false(unreach-call) 1 wit inspect 9.0  4.8  320 0    0      true -32 --- inspect 7.8   4.8   310   .62 0   false(unreach-call) 1 --- inspect 6.7  3.7  310 0     0     false(unreach-call) 1 --- inspect .64   .64   21    .090 0      - --- inspect - --- inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 140    140    1100 1700   32    0      false(unreach-call) 1 wit inspect 6.6  3.5  270 0    0      true -32 --- inspect 8.1   5.0   310   .66 0   unknown 0 --- inspect 5.5  3.1  270 0     0     false(unreach-call) 1 --- inspect .64   .66   21    .082 0      - --- inspect - --- inspect
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .14 .14 35 1.5 .85 0      false(unreach-call) 1 wit inspect 4.6  2.6  250 0    0      true -32 --- inspect 7.5   4.7   300   .62 0   unknown 0 --- inspect 3.8  2.2  240 0     0     false(unreach-call) 1 --- inspect .62   .61   20    .082 0      - --- inspect - --- inspect
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .15 .15 35 1.8 1.0  0      false(unreach-call) 1 wit inspect 5.3  3.0  260 0    0      true -32 --- inspect 7.8   4.4   310   .66 0   unknown 0 --- inspect 3.9  2.3  250 0     0     false(unreach-call) 1 --- inspect .63   .62   20    .086 0      - --- inspect - --- inspect
systemc/pipeline_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 19    19    230 250   120    0      false(unreach-call) 1 wit inspect 12    6.2  410 0    0      true -32 --- inspect 8.8   5.0   310   .62 0   false(unreach-call) 1 --- inspect 11    5.9  470 0     0     false(unreach-call) 1 --- inspect .67   .69   21    .11  0      - --- inspect - --- inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 45    45    590 570   27    0      false(unreach-call) 1 wit inspect 7.6  4.1  270 0    0      true -32 --- inspect 8.1   4.9   300   .66 0   unknown 0 --- inspect 5.2  2.9  270 0     0     false(unreach-call) 1 --- inspect .62   .62   21    .086 .0082 - --- inspect - --- inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 81    81    880 1100   32    0      false(unreach-call) 1 wit inspect 7.0  3.7  300 0    0      true -32 --- inspect 9.8   5.7   310   .66 0   unknown 0 --- inspect 6.8  3.8  290 0     0     false(unreach-call) 1 --- inspect .63   .63   21    .090 0      - --- inspect - --- inspect
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 210    210    1200 2300   27    0      false(unreach-call) 1 wit inspect 9.1  4.9  280 0    0      true -32 --- inspect 8.5   4.8   310   .62 0   unknown 0 --- inspect 6.1  3.4  270 0     0     false(unreach-call) 1 --- inspect .68   .68   21    .11  0      - --- inspect - --- inspect
systemc/token_ring.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 310    310    1700 3500   32    0      false(unreach-call) 1 wit inspect 8.6  4.6  320 0    0      true -32 --- inspect 8.5   5.3   310   .62 0   unknown 0 --- inspect 9.1  4.9  420 0     0     false(unreach-call) 1 --- inspect .66   .69   21    .11  0      - --- inspect - --- inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 600    600    2100 6600   32    0      false(unreach-call) 1 wit inspect 11    5.6  350 0    0      true -32 --- inspect 9.0   5.1   310   .62 0   unknown 0 --- inspect 9.0  4.9  430 0     0     false(unreach-call) 1 --- inspect .65   .65   21    .12  0      - --- inspect - --- inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 760    760    2600 7500   27    0      false(unreach-call) 1 wit inspect 10    5.4  320 0    0      true -32 --- inspect 11     6.6   310   .66 0   unknown 0 --- inspect 9.3  5.0  420 0     0     false(unreach-call) 1 --- inspect .66   .66   21    .13  0      - --- inspect - --- inspect
systemc/token_ring.07_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    900    3100 7100   31    0      unknown 0 wit inspect 29    18    1100 .16 0      timeout 0 --- inspect 97     57     3500   1.7  0   unknown 0 --- inspect 1.0  .67 50 0     0     error (1) 0 --- inspect .076  .077  11    0     .016  - --- inspect - --- inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    900    3300 6700   31    0      unknown 0 wit inspect 34    22    1200 .18 0      timeout 0 --- inspect 98     59     2000   1.5  0   unknown 0 --- inspect .98 .63 49 0     0     error (1) 0 --- inspect .078  .079  12    0     0      - --- inspect - --- inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    900    4000 6600   31    0      unknown 0 wit inspect 36    23    1400 .20 0      timeout 0 --- inspect 96     60     3500   .86 0   unknown 0 --- inspect 1.0  .64 51 0     0     error (1) 0 --- inspect .069  .068  12    0     0      - --- inspect - --- inspect
systemc/token_ring.10_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    900    4700 7900   26    0      unknown 0 wit inspect 48    33    1600 .22 0      timeout 0 --- inspect 97     58     3100   1.6  0   unknown 0 --- inspect 1.0  .67 50 0     0     error (1) 0 --- inspect .068  .068  12    0     0      - --- inspect - --- inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    900    5400 7100   31    0      unknown 0 wit inspect 51    34    1600 .23 0      timeout 0 --- inspect 96     59     2100   .81 0   unknown 0 --- inspect .96 .62 49 0     0     error (1) 0 --- inspect .072  .072  12    0     0      - --- inspect - --- inspect
systemc/token_ring.12_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    900    6300 9400   31    0      unknown 0 wit inspect 46    32    1900 .25 0      timeout 0 --- inspect 98     60     3500   1.6  0   unknown 0 --- inspect .98 .63 50 0     0     error (1) 0 --- inspect .068  .068  11    0     0      - --- inspect - --- inspect
systemc/token_ring.13_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    900    7200 7000   31    0      unknown 0 wit inspect 57    40    2000 .27 0      timeout 0 --- inspect 97     59     2100   .72 0   unknown 0 --- inspect 1.0  .68 49 0     0     error (1) 0 --- inspect .073  .073  11    0     0      - --- inspect - --- inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    900    6300 7100   31    0      unknown 0 wit inspect 44    30    1900 .25 0      timeout 0 --- inspect 96     59     2600   1.9  0   unknown 0 --- inspect 1.0  .66 50 0     0     error (1) 0 --- inspect .079  .082  11    0     .025  - --- inspect - --- inspect
systemc/token_ring.15_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    900    7200 8000   31    0      unknown 0 wit inspect 51    34    2100 .27 0      timeout 0 --- inspect 98     58     1500   1.6  0   unknown 0 --- inspect .96 .62 50 0     0     error (1) 0 --- inspect .074  .074  11    0     0      - --- inspect - --- inspect
systemc/toy1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.7  1.7  47 25   62    0      false(unreach-call) 1 wit inspect 7.4  4.0  270 0    0      true -32 --- inspect 8.4   5.0   300   .66 0   false(unreach-call) 1 --- inspect 4.9  2.7  260 0     0     false(unreach-call) 1 --- inspect .66   .66   21    .098 0      - --- inspect - --- inspect
systemc/toy2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.4  1.4  46 17   52    0      false(unreach-call) 1 wit inspect 5.7  3.1  270 0    0      true -32 --- inspect 8.4   5.2   310   .62 0   false(unreach-call) 1 --- inspect 4.9  2.8  260 0     0     false(unreach-call) 1 --- inspect .63   .63   20    .098 0      - --- inspect - --- inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.3  5.3  230 75   32    0      false(unreach-call) 1 wit inspect 7.8  4.2  280 0    0      true -32 --- inspect 7.6   4.7   310   .66 0   false(unreach-call) 1 --- inspect 5.5  3.1  270 0     0     false(unreach-call) 1 --- inspect .61   .61   21    .082 0      - --- inspect - --- inspect
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 12    12    420 160   32    0      false(unreach-call) 1 wit inspect 7.4  4.0  280 0    0      true -32 --- inspect 8.0   5.0   310   .66 0   false(unreach-call) 1 --- inspect 6.4  3.5  290 0     0     false(unreach-call) 1 --- inspect .62   .62   21    .090 0      - --- inspect - --- inspect
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 27    27    660 330   32    0      false(unreach-call) 1 wit inspect 6.5  3.5  270 0    0      true -32 --- inspect 8.6   5.4   310   .62 0   false(unreach-call) 1 --- inspect 5.2  2.9  260 0     0     false(unreach-call) 1 --- inspect .62   .62   21    .10  0      - --- inspect - --- inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 62    62    970 630   27    0      false(unreach-call) 1 wit inspect 8.1  4.3  310 0    0      true -32 --- inspect 8.5   4.8   310   .66 0   false(unreach-call) 1 --- inspect 9.4  5.1  430 0     0     false(unreach-call) 1 --- inspect .65   .65   21    .11  0      - --- inspect - --- inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 130    130    1400 1200   31    0      false(unreach-call) 1 wit inspect 8.5  4.6  310 0    0      true -32 --- inspect 9.8   5.6   320   .66 0   false(unreach-call) 1 --- inspect 11    5.6  440 0     0     false(unreach-call) 1 --- inspect .66   .65   21    .12  0      - --- inspect - --- inspect
systemc/transmitter.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 240    240    1800 1800   32    0      false(unreach-call) 1 wit inspect 11    5.7  340 0    0      true -32 --- inspect 9.8   5.5   310   .66 0   false(unreach-call) 1 --- inspect 11    5.7  480 0     0     false(unreach-call) 1 --- inspect .70   .70   21    .13  0      - --- inspect - --- inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 410    410    2300 3400   27    0      false(unreach-call) 1 wit inspect 9.0  4.8  360 0    0      true -32 --- inspect 9.8   5.6   320   .62 0   false(unreach-call) 1 --- inspect 12    6.7  490 0     0     false(unreach-call) 1 --- inspect .70   .70   21    .14  0      - --- inspect - --- inspect
systemc/transmitter.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 680    680    2800 4700   32    0      false(unreach-call) 1 wit inspect 11    5.8  390 0    0      true -32 --- inspect 10     5.7   320   .66 0   false(unreach-call) 1 --- inspect 11    6.1  460 0     0     false(unreach-call) 1 --- inspect .67   .67   21    .14  0      - --- inspect - --- inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    900    3400 6000   26    0      unknown 0 wit inspect 27    16    860 .50 0      timeout 0 --- inspect 97     60     3100   .68 0   unknown 0 --- inspect 1.1  .71 50 0     0     error (1) 0 --- inspect .075  .076  11    0     0      - --- inspect - --- inspect
systemc/transmitter.10_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    900    4000 6100   31    0      unknown 0 wit inspect 30    17    950 .59 0      timeout 0 --- inspect 97     60     1600   1.6  0   unknown 0 --- inspect .97 .62 49 0     0     error (1) 0 --- inspect .10   .10   11    0     0      - --- inspect - --- inspect
systemc/transmitter.11_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    900    4700 4800   31    0      unknown 0 wit inspect 32    18    1200 .68 0      timeout 0 --- inspect 97     59     3400   1.8  0   unknown 0 --- inspect 1.0  .67 50 0     0     error (1) 0 --- inspect .067  .066  11    0     0      - --- inspect - --- inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    900    5400 6500   31    0      unknown 0 wit inspect 32    18    1000 .78 0      timeout 0 --- inspect 97     63     2800   1.6  0   unknown 0 --- inspect 1.0  .66 50 0     0     error (1) 0 --- inspect .092  .091  11    0     0      - --- inspect - --- inspect
systemc/transmitter.13_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    900    6300 6100   31    0      unknown 0 wit inspect 40    23    1500 .88 0      timeout 0 --- inspect 98     59     2300   1.2  0   unknown 0 --- inspect 1.1  .70 49 0     0     error (1) 0 --- inspect .080  .080  11    0     0      - --- inspect - --- inspect
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .18 .18 40 2.1 1.0  0      false(unreach-call) 1 wit inspect 6.0  3.3  270 0    0      true -32 --- inspect 11     6.3   350   .62 0   false(unreach-call) 1 --- inspect 5.0  2.8  260 0     0     error (2) 0 --- inspect .71   .72   20    .18  0      - --- inspect - --- inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .18 .17 40 2.2 1.0  0      false(unreach-call) 1 wit inspect 6.2  3.3  270 0    0      true -32 --- inspect 11     6.7   340   .62 0   false(unreach-call) 1 --- inspect 4.9  2.7  260 0     0     false(unreach-call) 1 --- inspect .71   .71   20    .20  0      - --- inspect - --- inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 1.7  1.4  75 19   31    0      - --- inspect - --- inspect - --- inspect - --- inspect out of memory 0 --- inspect 560    500    7000 0   0   true 2 --- inspect 71     43     2100   .62 0    
systemc/kundu_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 300    300    1200 2900   32    0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3700 0   0   out of memory 0 --- inspect 160     99     7000   .65 .033
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c unknown 0 --- inspect 900    900    2200 11000   350    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .38 40 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0    
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c unknown 0 --- inspect 900    900    2200 11000   350    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .38 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c unknown 0 --- inspect 900    900    2200 9600   320    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c unknown 0 --- inspect 900    900    2200 11000   340    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .39 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c unknown 0 --- inspect 900    900    2300 11000   320    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .46 42 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0    
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 34    33    510 420   26    0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 910    650    6900 0   0   true 2 --- inspect 30     18     630   .62 0    
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 110    110    440 1300   32    0      - --- inspect - --- inspect - --- inspect - --- inspect out of memory 0 --- inspect 720    630    7000 0   0   true 2 --- inspect 69     39     1300   .62 0    
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 5.3  5.0  320 58   32    0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    870    4900 0   0   true 2 --- inspect 22     13     480   .66 0    
systemc/pipeline_true-unreach-call_false-termination.cil.c unknown 0 --- inspect 900    900    2500 10000   330    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .46 40 0   0   error (2) 0 --- inspect .023 .023 5.6 0    0    
systemc/token_ring.01_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 86    85    570 1000   32    0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    870    4000 0   0   true 2 --- inspect 25     14     510   .62 0    
systemc/token_ring.02_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 290    290    860 3400   32    0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3500 0   0   true 2 --- inspect 46     26     910   .62 0    
systemc/token_ring.03_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    900    1200 11000   31    0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3300 0   0   true 2 --- inspect 84     47     1200   .62 0    
systemc/token_ring.04_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    900    1600 10000   31    0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    2800 0   0   true 2 --- inspect 130     80     5100   .62 0    
systemc/token_ring.05_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    900    2100 9400   31    0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3000 0   0   out of memory 0 --- inspect 160     110     7000   .64 0    
systemc/token_ring.06_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    900    2600 7800   31    0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    3100 0   0   true 2 --- inspect 150     94     6000   .62 0    
systemc/token_ring.07_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    900    3200 7700   31    0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3200 0   0   out of memory 0 --- inspect 180     110     7000   .77 0    
systemc/token_ring.08_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    900    3300 6600   31    0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3200 0   0   out of memory 0 --- inspect 230     150     7000   .65 0    
systemc/token_ring.09_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    900    4000 6100   31    0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3400 0   0   out of memory 0 --- inspect 220     140     7000   .71 0    
systemc/token_ring.10_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    900    4600 7500   31    0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3300 0   0   out of memory 0 --- inspect 170     110     7000   1.4  0    
systemc/token_ring.11_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    900    5400 6300   26    0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    3600 0   0   out of memory 0 --- inspect 200     130     7000   .66 0    
systemc/token_ring.12_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    900    6300 6600   31    0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3700 0   0   out of memory 0 --- inspect 160     110     7000   .68 0    
systemc/token_ring.13_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    900    7200 6900   31    0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    4100 0   0   out of memory 0 --- inspect 180     120     7000   .65 0    
systemc/toy_true-unreach-call_false-termination.cil.c unknown 0 --- inspect 900    900    730 13000   490    .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .39 40 0   0   error (2) 0 --- inspect .021 .021 5.7 0    0    
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect .20 .20 37 2.1 1.0  0      false(unreach-call) 1 wit inspect 6.0  3.3  270 0    0      true -32 --- inspect 9.1   5.2   310   .62 0   unknown 0 --- inspect 4.8  2.7  260 0     0     true -32 --- inspect .65   .65   20    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .17 .16 36 1.7 1.0  0      false(unreach-call) 1 wit inspect 6.5  3.5  270 0    0      true -32 --- inspect 9.3   5.3   320   .62 0   unknown 0 --- inspect 4.8  2.7  260 0     0     true -32 --- inspect .64   .64   20    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c false(unreach-call) 0 wit inspect .57 .56 38 7.5 31    0      true -32 wit inspect 5.5  3.0  260 0    0      true -32 --- inspect 8.9   5.4   310   .62 0   unknown 0 --- inspect 5.3  3.0  260 0     0     true -32 --- inspect .68   .70   21    .10  0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect .55 .54 38 6.3 31    0      true -32 wit inspect 5.2  2.8  260 0    0      true -32 --- inspect 9.3   5.6   320   .62 0   unknown 0 --- inspect 5.2  3.0  270 0     0     true -32 --- inspect .66   .66   21    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c false(unreach-call) 0 wit inspect .58 .57 38 7.3 31    0      true -32 wit inspect 5.6  3.0  290 0    0      true -32 --- inspect 9.6   5.4   320   .62 0   unknown 0 --- inspect 5.4  3.0  270 0     0     true -32 --- inspect .65   .65   21    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect .55 .54 38 7.8 31    0      true -32 wit inspect 6.2  3.3  270 0    0      true -32 --- inspect 9.3   5.2   310   .66 0   unknown 0 --- inspect 5.2  2.9  260 0     0     true -32 --- inspect .66   .66   21    .13  .020  - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c false(unreach-call) 0 wit inspect 2.1  2.1  39 30   120    0      true -32 wit inspect 7.1  3.8  260 0    0      true -32 --- inspect 9.3   5.2   310   .62 0   unknown 0 --- inspect 6.3  3.5  270 0     0     true -32 --- inspect .68   .68   21    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 2.1  2.1  39 30   120    0      true -32 wit inspect 6.4  3.5  260 0    0      true -32 --- inspect 9.9   5.6   320   .66 0   unknown 0 --- inspect 6.8  3.8  270 0     0     true -32 --- inspect .68   .68   21    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 1.5  1.5  38 17   77    0      true -32 wit inspect 6.9  3.7  310 0    0      true -32 --- inspect 8.6   4.9   310   .66 0   unknown 0 --- inspect 5.8  3.3  270 0     0     true -32 --- inspect .66   .68   21    .11  .016  - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 1.5  1.5  38 23   92    0      true -32 wit inspect 9.1  4.8  330 0    0      true -32 --- inspect 10     5.5   320   .62 0   unknown 0 --- inspect 5.9  3.3  280 0     0     true -32 --- inspect .65   .65   21    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 1.5  1.5  38 23   78    0      true -32 wit inspect 7.7  4.1  320 0    0      true -32 --- inspect 8.8   5.3   300   .62 0   unknown 0 --- inspect 6.1  3.4  280 0     0     true -32 --- inspect .66   .68   21    .11  .016  - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 1.5  1.5  38 19   92    0      true -32 wit inspect 7.7  4.0  320 0    0      true -32 --- inspect 9.2   5.6   310   .62 0   unknown 0 --- inspect 6.0  3.3  290 0     0     true -32 --- inspect .67   .67   21    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 1.7  1.6  40 23   92    0      false(unreach-call) 1 wit inspect 6.8  3.7  280 0    0      true -32 --- inspect 9.1   5.2   320   .62 0   unknown 0 --- inspect 4.8  2.8  260 0     0     true -32 --- inspect .64   .64   21    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.6  1.6  40 21   90    0      false(unreach-call) 1 wit inspect 6.8  3.7  280 0    0      true -32 --- inspect 8.9   5.0   310   .66 0   unknown 0 --- inspect 4.8  2.7  260 0     0     true -32 --- inspect .65   .65   21    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect .59 .58 38 7.5 26    0      true -32 wit inspect 7.1  3.8  270 0    0      true -32 --- inspect 9.2   5.3   310   .62 0   unknown 0 --- inspect 4.6  2.6  260 0     0     true -32 --- inspect .66   .66   21    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect .58 .58 38 7.8 31    0      true -32 wit inspect 8.0  4.3  270 0    0      true -32 --- inspect 9.2   5.6   310   .62 0   unknown 0 --- inspect 4.8  2.7  260 0     0     true -32 --- inspect .65   .65   21    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect 1.8  1.7  40 22   78    .0041 true -32 wit inspect 8.7  4.6  270 0    0      true -32 --- inspect 9.1   5.6   310   .62 0   unknown 0 --- inspect 4.9  2.8  260 0     0     true -32 --- inspect .65   .67   21    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 1.7  1.7  40 21   78    0      true -32 wit inspect 6.4  3.4  260 0    0      true -32 --- inspect 8.7   5.4   310   .62 0   unknown 0 --- inspect 6.2  3.5  270 0     0     true -32 --- inspect .65   .67   21    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect 1.7  1.7  40 22   92    0      true -32 wit inspect 7.6  4.1  270 0    0      true -32 --- inspect 8.9   5.4   310   .66 0   unknown 0 --- inspect 4.9  2.8  270 0     0     true -32 --- inspect .65   .65   21    .11  .016  - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 1.7  1.7  40 24   92    0      true -32 wit inspect 7.9  4.3  270 0    0      true -32 --- inspect 9.8   5.7   310   .62 0   unknown 0 --- inspect 4.9  2.8  270 0     0     true -32 --- inspect .66   .66   21    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 --- inspect 590    590    220 7300   3000    .0041 error (invalid witness file) 0 --- inspect .62 .38 40 0    0      error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .62 47 0     0     error (invalid witness file) 0 --- inspect .0015 .0020 .41 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 5.2  5.2  51 66   150    0      false(unreach-call) 1 wit inspect 11    6.1  330 0    0      true -32 --- inspect 11     6.3   360   .62 0   unknown 0 --- inspect 5.6  3.1  260 0     0     true -32 --- inspect .73   .73   21    .17  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.8  5.7  49 73   150    0      false(unreach-call) 1 wit inspect 9.8  5.3  340 0    0      true -32 --- inspect 12     7.1   350   .66 0   unknown 0 --- inspect 5.6  3.1  260 0     0     true -32 --- inspect .75   .77   21    .18  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 0 wit inspect 2.9  2.8  46 39   92    0      true -32 wit inspect 10    5.2  420 0    0      true -32 --- inspect 12     6.7   360   .66 0   unknown 0 --- inspect 6.0  3.4  280 0     0     true -32 --- inspect .74   .77   21    .14  .070  - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 2.9  2.9  46 37   92    0      true -32 wit inspect 9.1  4.8  380 0    0      true -32 --- inspect 11     6.2   360   .62 0   unknown 0 --- inspect 5.9  3.3  290 0     0     true -32 --- inspect .72   .72   21    .18  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 0 wit inspect 5.4  5.3  52 66   150    0      true -32 wit inspect 10    5.4  400 0    0      true -32 --- inspect 12     6.6   360   .62 0   unknown 0 --- inspect 6.0  3.3  290 0     0     true -32 --- inspect .78   .78   21    .18  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 5.3  5.3  51 67   150    0      true -32 wit inspect 9.0  4.8  380 0    0      true -32 --- inspect 12     6.9   370   .62 0   unknown 0 --- inspect 6.3  3.5  290 0     0     true -32 --- inspect .74   .74   21    .18  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 0 wit inspect 5.9  5.8  52 83   150    0      true -32 wit inspect 11    5.9  420 0    0      true -32 --- inspect 12     7.1   370   .62 0   unknown 0 --- inspect 6.2  3.4  290 0     0     true -32 --- inspect .73   .73   21    .18  .033  - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 5.6  5.6  50 67   130    0      true -32 wit inspect 9.6  5.0  380 0    0      true -32 --- inspect 12     6.6   360   .62 0   unknown 0 --- inspect 6.2  3.5  290 0     0     true -32 --- inspect .74   .74   21    .18  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 --- inspect 900    900    180 12000   1500    0      error (invalid witness file) 0 --- inspect .60 .37 41 0    0      error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect 1.1  .71 48 0     0     error (invalid witness file) 0 --- inspect .0044 .0049 .41 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 18    18    77 240   210    0      true -32 wit inspect 16    8.3  500 0    0      true -32 --- inspect 14     8.2   460   .62 0   unknown 0 --- inspect 8.5  4.6  320 0     0     true -32 --- inspect .89   .90   22    .31  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 18    18    76 250   210    0      true -32 wit inspect 14    7.5  480 0    0      true -32 --- inspect 16     9.0   510   .34 0   unknown 0 --- inspect 7.6  4.1  300 0     0     true -32 --- inspect .90   .90   22    .32  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 11    11    71 130   150    0      true -32 wit inspect 15    7.9  490 0    0      true -32 --- inspect 16     9.2   460   .62 0   unknown 0 --- inspect 7.5  4.1  290 0     0     true -32 --- inspect .90   .90   22    .32  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 11    11    71 140   150    0      true -32 wit inspect 14    7.1  470 0    0      true -32 --- inspect 15     8.7   510   .62 0   unknown 0 --- inspect 8.2  4.4  310 0     0     true -32 --- inspect .90   .90   22    .32  .066  - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 17    17    78 180   210    0      true -32 wit inspect 18    9.1  500 0    0      true -32 --- inspect 14     8.4   470   .62 0   unknown 0 --- inspect 9.0  4.9  320 0     0     true -32 --- inspect .98   1.0    22    .32  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 17    17    77 220   210    0      true -32 wit inspect 16    8.2  480 0    0      true -32 --- inspect 16     8.9   460   .66 0   unknown 0 --- inspect 8.1  4.4  310 0     0     true -32 --- inspect .92   .92   22    .32  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 17    17    79 190   210    0      true -32 wit inspect 20    10    490 0    0      true -32 --- inspect 15     8.7   460   .62 0   unknown 0 --- inspect 8.1  4.4  320 0     0     true -32 --- inspect .89   .90   22    .27  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 18    18    77 220   210    0      true -32 wit inspect 13    6.6  480 0    0      true -32 --- inspect 15     9.1   520   .66 0   unknown 0 --- inspect 7.9  4.4  300 0     0     true -32 --- inspect .91   .91   22    .32  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 --- inspect 900    900    140 12000   210    0      error (invalid witness file) 0 --- inspect .60 .36 40 0    0      error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .62 48 0     0     error (invalid witness file) 0 --- inspect .0031 .0039 .40 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 2.1  2.1  37 28   150    0      true -32 wit inspect 7.1  3.8  270 0    0      true -32 --- inspect 8.0   4.9   310   .66 0   unknown 0 --- inspect 4.5  2.6  260 0     0     false(unreach-call) 1 --- inspect .66   .69   21    .086 .012  - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 2.0  2.0  38 28   150    0      true -32 wit inspect 5.9  3.1  280 0    0      true -32 --- inspect 8.2   5.0   300   .62 0   unknown 0 --- inspect 4.7  2.7  270 0     0     false(unreach-call) 1 --- inspect .63   .64   21    .086 .012  - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 2.1  2.1  37 26   150    0      true -32 wit inspect 5.8  3.1  270 0    0      true -32 --- inspect 8.0   4.5   310   .62 0   unknown 0 --- inspect 4.7  2.7  260 0     0     false(unreach-call) 1 --- inspect .62   .62   21    .086 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 2.0  2.0  37 22   150    .0041 true -32 wit inspect 6.3  3.4  260 0    0      true -32 --- inspect 8.0   4.5   300   .62 0   unknown 0 --- inspect 4.7  2.6  270 0     0     false(unreach-call) 1 --- inspect .64   .64   21    .086 .012  - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 4.0  3.9  40 56   210    .0041 true -32 wit inspect 7.6  4.1  270 0    0      true -32 --- inspect 8.7   4.9   310   .66 0   unknown 0 --- inspect 5.0  2.8  260 0     0     false(unreach-call) 1 --- inspect .67   .67   21    .098 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 3.9  3.9  40 50   210    .0041 true -32 wit inspect 7.6  4.0  260 0    0      true -32 --- inspect 8.3   4.8   310   .62 0   unknown 0 --- inspect 5.1  2.9  260 0     0     false(unreach-call) 1 --- inspect .67   .67   21    .10  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 4.1  4.0  40 54   210    .0041 true -32 wit inspect 7.4  3.9  280 0    0      true -32 --- inspect 8.4   4.7   310   .62 0   unknown 0 --- inspect 5.0  2.8  270 0     0     false(unreach-call) 1 --- inspect .64   .64   21    .098 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 3.7  3.7  40 58   210    .0041 true -32 wit inspect 7.8  4.2  260 0    0      true -32 --- inspect 9.1   5.1   320   .62 0   unknown 0 --- inspect 5.3  3.0  280 0     0     false(unreach-call) 1 --- inspect .64   .64   21    .10  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 7.2  7.1  43 100   270    .0041 true -32 wit inspect 8.8  4.7  340 0    0      true -32 --- inspect 9.2   5.3   310   .66 0   unknown 0 --- inspect 5.3  3.0  270 0     0     false(unreach-call) 1 --- inspect .69   .69   21    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 7.1  7.0  42 97   270    .0041 true -32 wit inspect 7.3  3.9  290 0    0      true -32 --- inspect 9.6   5.4   320   .62 0   unknown 0 --- inspect 5.5  3.1  290 0     0     false(unreach-call) 1 --- inspect .66   .66   21    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 7.2  7.1  43 95   270    0      true -32 wit inspect 9.8  5.2  310 0    0      true -32 --- inspect 9.1   5.1   310   .62 0   unknown 0 --- inspect 5.4  3.1  270 0     0     false(unreach-call) 1 --- inspect .66   .66   21    .11  .016  - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1