Tool CBMC 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*
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-04 22:48:40 CET 2018-12-06 08:59:15 CET 2018-12-06 10:10:50 CET 2018-12-06 10:22:39 CET 2018-12-12 19:29:48 CET 2018-12-06 07:35:27 CET 2018-12-06 09:23:57 CET
Run set cbmc.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-cbmc.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-cbmc.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-cbmc.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-cbmc.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-cbmc.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-cbmc.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized
Options --graphml-witness witness.graphml -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/cbmc.2018-12-04_2248.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/cbmc.2018-12-04_2248.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/cbmc.2018-12-04_2248.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/cbmc.2018-12-04_2248.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -witness ../../results-verified/cbmc.2018-12-04_2248.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/cbmc.2018-12-04_2248.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 3.4  3.4  62   49   .20   0      false(unreach-call) 1 wit inspect 7.2  3.8  300 0   0   false(unreach-call) 1 --- inspect 19     10     710   .62 0   false(unreach-call) 1 --- inspect 6.7  3.6  290 0     0     false(unreach-call) 1 --- inspect .68   .68   22    .11  0     - --- inspect - --- inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .26 .25 13   3.4 .0082 0      false(unreach-call) 1 wit inspect 6.1  3.2  280 0   0   false(unreach-call) 1 --- inspect 13     7.0   520   .66 0   false(unreach-call) 1 --- inspect 6.1  3.4  270 0     0     false(unreach-call) 1 --- inspect .69   .69   21    .12  0     - --- inspect - --- inspect
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .12 .11 10   1.4 .0082 0      false(unreach-call) 1 wit inspect 4.9  2.7  260 0   0   true -32 --- inspect 8.0   4.9   310   .62 0   unknown 0 --- inspect 5.1  2.9  280 0     0     false(unreach-call) 1 --- inspect .63   .63   21    .090 0     - --- inspect - --- inspect
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .11 .11 9.2 1.3 .0082 0      false(unreach-call) 1 wit inspect 5.1  2.8  260 0   0   true -32 --- inspect 9.7   5.3   310   .66 0   unknown 0 --- inspect 4.7  2.7  260 0     0     false(unreach-call) 1 --- inspect .63   .64   21    .098 0     - --- inspect - --- inspect
systemc/pipeline_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 18    18    320   260   .68   0      false(unreach-call) 1 wit inspect 12    6.5  520 0   0   timeout 0 --- inspect 96     56     5300   .77 0   false(unreach-call) 1 --- inspect 18    11    1000 0     0     false(unreach-call) 1 --- inspect .87   .87   28    .14  .016 - --- inspect - --- inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.5  1.5  49   22   .11   0      false(unreach-call) 1 wit inspect 5.9  3.2  270 0   0   false(unreach-call) 1 --- inspect 18     11     670   .62 0   unknown 0 --- inspect 5.4  3.1  270 0     0     false(unreach-call) 1 --- inspect .65   .64   21    .094 0     - --- inspect - --- inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 3.0  2.9  76   37   .13   0      false(unreach-call) 1 wit inspect 6.6  3.6  290 0   0   false(unreach-call) 1 --- inspect 35     19     730   .66 0   unknown 0 --- inspect 5.5  3.1  280 0     0     false(unreach-call) 1 --- inspect .65   .65   21    .11  0     - --- inspect - --- inspect
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.3  5.3  110   72   .18   0      false(unreach-call) 1 wit inspect 6.6  3.5  270 0   0   false(unreach-call) 1 --- inspect 43     24     1100   .62 0   unknown 0 --- inspect 6.2  3.4  290 0     0     false(unreach-call) 1 --- inspect .68   .69   22    .12  0     - --- inspect - --- inspect
systemc/token_ring.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 8.6  8.6  150   110   .21   0      false(unreach-call) 1 wit inspect 7.5  4.0  300 0   0   false(unreach-call) 1 --- inspect 67     38     1300   .62 0   unknown 0 --- inspect 7.2  3.9  290 0     0     false(unreach-call) 1 --- inspect .70   .70   22    .13  .012 - --- inspect - --- inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 14    14    190   140   .27   0      false(unreach-call) 1 wit inspect 11    5.7  310 0   0   false(unreach-call) 1 --- inspect 73     43     2500   .62 0   unknown 0 --- inspect 8.3  4.4  350 0     0     false(unreach-call) 1 --- inspect .72   .72   22    .14  0     - --- inspect - --- inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 20    20    250   250   .33   0      false(unreach-call) 1 wit inspect 8.9  4.7  320 0   0   timeout 0 --- inspect 96     55     3700   .79 0   unknown 0 --- inspect 9.0  4.8  410 0     0     false(unreach-call) 1 --- inspect .75   .75   23    .15  0     - --- inspect - --- inspect
systemc/token_ring.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 30    30    300   340   .39   0      false(unreach-call) 1 wit inspect 11    5.6  320 0   0   timeout 0 --- inspect 97     57     4500   1.7  0   unknown 0 --- inspect 11    5.7  450 0     0     false(unreach-call) 1 --- inspect .76   .76   24    .16  0     - --- inspect - --- inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 45    45    380   470   .39   0      false(unreach-call) 1 wit inspect 12    6.4  350 0   0   timeout 0 --- inspect 97     57     4500   .70 0   unknown 0 --- inspect 11    5.6  420 0     0     false(unreach-call) 1 --- inspect .79   .79   24    .18  0     - --- inspect - --- inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 64    64    440   660   .46   0      false(unreach-call) 1 wit inspect 12    6.1  410 0   0   timeout 0 --- inspect 97     57     4600   1.9  0   unknown 0 --- inspect 12    6.3  500 0     0     false(unreach-call) 1 --- inspect .82   .82   25    .19  0     - --- inspect - --- inspect
systemc/token_ring.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 88    88    530   740   .52   0      false(unreach-call) 1 wit inspect 14    7.5  420 0   0   timeout 0 --- inspect 97     59     4600   1.8  0   unknown 0 --- inspect 13    6.9  470 0     0     false(unreach-call) 1 --- inspect .84   .84   26    .20  .025 - --- inspect - --- inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 120    120    610   980   .59   0      false(unreach-call) 1 wit inspect 16    8.3  490 0   0   timeout 0 --- inspect 98     63     4600   .86 0   unknown 0 --- inspect 16    8.5  620 0     0     false(unreach-call) 1 --- inspect .87   .87   26    .21  0     - --- inspect - --- inspect
systemc/token_ring.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 150    150    700   1500   .66   0      false(unreach-call) 1 wit inspect 15    8.0  470 0   0   timeout 0 --- inspect 97     63     4600   1.7  0   unknown 0 --- inspect 15    8.0  600 0     0     false(unreach-call) 1 --- inspect .91   .93   27    .22  0     - --- inspect - --- inspect
systemc/token_ring.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 200    200    810   1400   .76   0      false(unreach-call) 1 wit inspect 12    6.4  480 0   0   timeout 0 --- inspect 96     61     4600   .68 0   unknown 0 --- inspect 18    11    840 0     0     false(unreach-call) 1 --- inspect .92   .92   28    .24  0     - --- inspect - --- inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 160    160    700   1200   .67   0      false(unreach-call) 1 wit inspect 14    7.6  500 0   0   timeout 0 --- inspect 97     65     4600   1.8  0   unknown 0 --- inspect 15    8.7  660 0     0     false(unreach-call) 1 --- inspect .90   .90   27    .22  0     - --- inspect - --- inspect
systemc/token_ring.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 200    200    810   1500   .76   0      false(unreach-call) 1 wit inspect 17    8.8  520 0   0   timeout 0 --- inspect 98     64     4600   1.4  0   unknown 0 --- inspect 18    11    960 0     0     false(unreach-call) 1 --- inspect .93   .93   28    .24  0     - --- inspect - --- inspect
systemc/toy1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 3.6  3.6  55   43   .19   0      false(unreach-call) 1 wit inspect 8.3  4.4  270 0   0   false(unreach-call) 1 --- inspect 35     19     1000   .62 0   false(unreach-call) 1 --- inspect 8.6  4.6  390 0     0     false(unreach-call) 1 --- inspect .68   .68   22    .10  .012 - --- inspect - --- inspect
systemc/toy2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 3.5  3.4  54   49   .18   0      false(unreach-call) 1 wit inspect 8.1  4.3  300 0   0   false(unreach-call) 1 --- inspect 35     18     980   .62 0   false(unreach-call) 1 --- inspect 8.1  4.4  360 0     0     false(unreach-call) 1 --- inspect .70   .70   22    .10  .012 - --- inspect - --- inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .11 .11 9.7 1.0 .0082 0      false(unreach-call) 1 wit inspect 6.1  3.3  260 0   0   false(unreach-call) 1 --- inspect 14     8.3   520   .66 0   false(unreach-call) 1 --- inspect 4.4  2.5  260 0     0     false(unreach-call) 1 --- inspect .63   .63   21    .090 0     - --- inspect - --- inspect
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .14 .14 9.5 1.5 .0082 0      false(unreach-call) 1 wit inspect 6.8  3.7  260 0   0   false(unreach-call) 1 --- inspect 22     13     680   .66 0   false(unreach-call) 1 --- inspect 5.5  3.1  270 0     0     false(unreach-call) 1 --- inspect .66   .66   21    .10  0     - --- inspect - --- inspect
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .19 .18 11   1.9 .0082 0      false(unreach-call) 1 wit inspect 7.0  3.7  270 0   0   false(unreach-call) 1 --- inspect 35     20     710   .62 0   false(unreach-call) 1 --- inspect 5.4  3.0  270 0     .074 false(unreach-call) 1 --- inspect .66   .66   21    .11  0     - --- inspect - --- inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .23 .22 13   2.7 .0082 0      false(unreach-call) 1 wit inspect 9.2  4.9  290 0   0   false(unreach-call) 1 --- inspect 51     29     1000   .62 0   false(unreach-call) 1 --- inspect 6.2  3.4  290 0     0     false(unreach-call) 1 --- inspect .69   .69   22    .13  0     - --- inspect - --- inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .30 .29 17   4.0 .0082 0      false(unreach-call) 1 wit inspect 8.4  4.5  300 0   0   false(unreach-call) 1 --- inspect 64     36     1600   .62 0   false(unreach-call) 1 --- inspect 7.0  3.8  290 0     0     false(unreach-call) 1 --- inspect .70   .70   22    .14  0     - --- inspect - --- inspect
systemc/transmitter.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .40 .39 21   4.4 .0082 0      false(unreach-call) 1 wit inspect 10    5.2  310 0   0   false(unreach-call) 1 --- inspect 81     47     2800   .62 0   false(unreach-call) 1 --- inspect 8.2  4.4  320 0     0     false(unreach-call) 1 --- inspect .73   .73   22    .15  0     - --- inspect - --- inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .50 .49 25   7.0 .0082 0      false(unreach-call) 1 wit inspect 8.5  4.5  320 0   0   timeout 0 --- inspect 97     55     3400   1.7  0   false(unreach-call) 1 --- inspect 9.4  5.0  390 0     0     false(unreach-call) 1 --- inspect .75   .74   23    .16  0     - --- inspect - --- inspect
systemc/transmitter.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .60 .59 30   8.0 .0082 0      false(unreach-call) 1 wit inspect 11    6.0  350 0   0   timeout 0 --- inspect 98     57     4300   .64 0   false(unreach-call) 1 --- inspect 9.3  5.0  440 0     0     false(unreach-call) 1 --- inspect .77   .78   23    .17  .020 - --- inspect - --- inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .75 .74 36   11   .0082 0      false(unreach-call) 1 wit inspect 11    6.0  350 0   0   timeout 0 --- inspect 98     58     4500   .62 0   false(unreach-call) 1 --- inspect 11    6.1  420 0     0     false(unreach-call) 1 --- inspect .80   .79   24    .18  0     - --- inspect - --- inspect
systemc/transmitter.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .91 .90 42   12   .0082 0      false(unreach-call) 1 wit inspect 13    6.7  400 0   0   timeout 0 --- inspect 98     60     4600   1.9  0   false(unreach-call) 1 --- inspect 13    6.7  500 0     0     false(unreach-call) 1 --- inspect .83   .83   25    .19  0     - --- inspect - --- inspect
systemc/transmitter.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.1  1.1  48   16   .0082 0      false(unreach-call) 1 wit inspect 12    6.1  440 0   0   timeout 0 --- inspect 96     61     4600   1.6  0   false(unreach-call) 1 --- inspect 12    6.9  500 0     0     false(unreach-call) 1 --- inspect .85   .85   25    .21  0     - --- inspect - --- inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.3  1.3  56   15   .0082 0      false(unreach-call) 1 wit inspect 14    7.3  460 0   0   timeout 0 --- inspect 97     60     4600   .87 0   false(unreach-call) 1 --- inspect 15    7.9  570 0     0     false(unreach-call) 1 --- inspect .90   .90   26    .22  0     - --- inspect - --- inspect
systemc/transmitter.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.6  1.6  62   20   .0082 0      false(unreach-call) 1 wit inspect 14    7.4  470 0   0   timeout 0 --- inspect 98     66     4500   2.3  0   false(unreach-call) 1 --- inspect 15    8.3  630 0     0     false(unreach-call) 1 --- inspect .90   .90   27    .23  0     - --- inspect - --- inspect
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.3  1.3  51   19   .0082 0      false(unreach-call) 1 wit inspect 8.0  4.3  300 0   0   true -32 --- inspect 14     7.7   350   .62 0   false(unreach-call) 1 --- inspect 6.9  3.7  290 0     .13  false(unreach-call) 1 --- inspect .79   .79   21    .22  0     - --- inspect - --- inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.4  1.4  54   18   .0082 0      false(unreach-call) 1 wit inspect 8.0  4.3  280 0   0   true -32 --- inspect 11     6.8   350   .62 0   false(unreach-call) 1 --- inspect 6.5  3.5  290 0     0     false(unreach-call) 1 --- inspect .80   .80   21    .24  0     - --- inspect - --- inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    1100   5000   23      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 40 0   0   error (2) 0 --- inspect .026 .028 5.6 0    0    
systemc/kundu_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    740   5800   12      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .46 41 0   0   error (2) 0 --- inspect .024 .026 5.7 0    0    
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    380   10000   7.3    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .41 41 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0    
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    490   7900   9.2    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .47 41 0   0   error (2) 0 --- inspect .026 .028 5.7 0    0    
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    510   8400   9.3    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 41 0   0   error (2) 0 --- inspect .024 .026 5.6 0    0    
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    520   10000   9.4    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .42 40 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0    
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    540   7900   9.5    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 40 0   0   error (2) 0 --- inspect .025 .027 5.6 0    0    
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    770   5800   27      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .45 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    780   7000   20      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .38 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0    
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 870    880    570   5300   20      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
systemc/pipeline_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    360   4500   6.4    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .79 .49 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0    
systemc/token_ring.01_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    640   6200   30      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .38 41 0   0   error (2) 0 --- inspect .025 .027 5.8 0    0    
systemc/token_ring.02_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 870    880    800   7600   25      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .38 41 0   0   error (2) 0 --- inspect .030 .032 5.6 0    0    
systemc/token_ring.03_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    680   9000   14      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .39 40 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0    
systemc/token_ring.04_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    880   8200   19      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .36 41 0   0   error (2) 0 --- inspect .027 .029 5.6 0    0    
systemc/token_ring.05_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 870    880    1100   8700   5.8    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 41 0   0   error (2) 0 --- inspect .028 .029 5.6 0    0    
systemc/token_ring.06_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    1200   7400   7.4    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .45 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0    
systemc/token_ring.07_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    390   4500   7.6    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .41 41 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0    
systemc/token_ring.08_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    480   6800   9.4    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .47 41 0   0   error (2) 0 --- inspect .023 .023 5.6 0    0    
systemc/token_ring.09_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    580   8700   11      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .40 42 0   0   error (2) 0 --- inspect .026 .027 5.7 0    0    
systemc/token_ring.10_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    580   6000   13      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .36 40 0   0   error (2) 0 --- inspect .020 .020 5.6 0    0    
systemc/token_ring.11_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    890   8200   15      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .45 40 0   0   error (2) 0 --- inspect .026 .027 5.5 0    0    
systemc/token_ring.12_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    860   9600   17      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 40 0   0   error (2) 0 --- inspect .027 .029 5.7 0    0    
systemc/token_ring.13_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    970   9100   20      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .41 40 0   0   error (2) 0 --- inspect .021 .024 5.6 0    0    
systemc/toy_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    790   9700   1.7    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .47 40 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0    
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect .22 .21 12   3.4 .0082 0      true -32 wit inspect 5.8  3.1  280 0   0   false(unreach-call) 1 --- inspect 20     11     470   .62 0   false(unreach-call) 1 --- inspect 5.9  3.2  290 0     .053 error (2) 0 --- inspect .73   .73   21    .049 0     - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .22 .21 13   2.2 .0082 0      true -32 wit inspect 6.8  3.6  290 0   0   false(unreach-call) 1 --- inspect 17     9.5   520   .66 0   false(unreach-call) 1 --- inspect 5.9  3.3  290 0     .053 error (2) 0 --- inspect .73   .75   21    .049 0     - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect .25 .24 14   2.7 .0082 0      true -32 wit inspect 6.4  3.4  300 0   0   false(unreach-call) 1 --- inspect 26     14     560   .66 0   false(unreach-call) 1 --- inspect 7.4  4.0  270 0     0     error (2) 0 --- inspect .76   .75   22    .049 0     - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .31 .30 14   2.8 .0082 0      true -32 wit inspect 8.8  4.6  300 0   0   false(unreach-call) 1 --- inspect 24     13     580   .62 0   false(unreach-call) 1 --- inspect 7.0  3.8  300 0     .20  error (2) 0 --- inspect .75   .75   22    .049 0     - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect .23 .22 14   3.3 .0082 0      true -32 wit inspect 8.3  4.4  300 0   0   false(unreach-call) 1 --- inspect 23     13     720   .62 0   false(unreach-call) 1 --- inspect 7.1  3.9  300 0     .098 error (2) 0 --- inspect .75   .74   22    .049 0     - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .26 .25 13   2.6 .0082 0      true -32 wit inspect 8.7  4.6  300 0   0   false(unreach-call) 1 --- inspect 23     13     730   .62 0   false(unreach-call) 1 --- inspect 6.9  3.7  300 0     .053 error (2) 0 --- inspect .79   .78   22    .049 0     - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 1.1  1.1  32   14   .46   0      true -32 wit inspect 10    5.4  340 0   0   false(unreach-call) 1 --- inspect 85     55     3900   .62 0   false(unreach-call) 1 --- inspect 10    5.4  390 0     0     error (2) 0 --- inspect .87   .87   25    .049 0     - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.0  1.0  32   12   .45   0      true -32 wit inspect 9.5  5.0  330 0   0   false(unreach-call) 1 --- inspect 75     44     3100   .62 0   false(unreach-call) 1 --- inspect 9.6  5.1  380 0     0     error (2) 0 --- inspect .87   .86   24    .049 0     - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect .65 .64 26   8.8 .28   0      true -32 wit inspect 23    12    540 0   0   false(unreach-call) 1 --- inspect 30     17     1400   .62 0   false(unreach-call) 1 --- inspect 10    5.4  450 0     0     error (2) 0 --- inspect .79   .79   23    .045 0     - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .65 .64 26   8.0 .26   0      true -32 wit inspect 15    7.8  470 0   0   false(unreach-call) 1 --- inspect 32     17     1400   .62 0   false(unreach-call) 1 --- inspect 9.8  5.2  450 0     0     error (2) 0 --- inspect .78   .78   22    .045 0     - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect .62 .61 26   9.5 .23   0      true -32 wit inspect 16    8.3  530 0   0   false(unreach-call) 1 --- inspect 32     18     1100   .62 0   false(unreach-call) 1 --- inspect 8.9  4.7  440 0     .066 error (2) 0 --- inspect .76   .76   22    .045 0     - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .67 .66 26   7.9 .22   0      true -32 wit inspect 15    7.5  370 0   0   false(unreach-call) 1 --- inspect 32     18     1000   .66 0   false(unreach-call) 1 --- inspect 9.3  5.0  440 0     .15  error (2) 0 --- inspect .75   .75   22    .045 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 .42 .41 15   5.8 .16   0      true -32 wit inspect 6.7  3.5  290 0   0   timeout 0 --- inspect 96     82     900   .65 0   false(unreach-call) 1 --- inspect 6.2  3.4  290 0     .15  false(unreach-call) 1 --- inspect .77   .76   22    .16  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .40 .39 15   4.7 .16   0      true -32 wit inspect 8.6  4.5  300 0   0   false(unreach-call) 1 --- inspect 34     20     620   .62 0   unknown 0 --- inspect 6.4  3.5  290 0     0     false(unreach-call) 1 --- inspect .77   .77   22    .16  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .15 .14 9.6 1.8 .0082 0      true -32 wit inspect 5.8  3.2  260 0   0   false(unreach-call) 1 --- inspect 46     30     730   .62 0   false(unreach-call) 1 --- inspect 5.6  3.1  280 0     .15  false(unreach-call) 1 --- inspect .77   .78   22    .17  .016 - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .15 .14 10   1.5 .0082 0      true -32 wit inspect 7.5  4.0  280 0   0   false(unreach-call) 1 --- inspect 43     28     840   .62 0   false(unreach-call) 1 --- inspect 5.5  3.1  270 0     .16  false(unreach-call) 1 --- inspect .76   .75   21    .16  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .39 .38 16   6.0 .17   0      true -32 wit inspect 6.8  3.6  290 0   0   timeout (false(unreach-call)) 0 --- inspect 91     78     900   .62 0   false(unreach-call) 1 --- inspect 6.2  3.4  290 0     .15  false(unreach-call) 1 --- inspect .77   .77   22    .17  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .39 .38 16   4.5 .16   0      true -32 wit inspect 8.2  4.4  290 0   0   false(unreach-call) 1 --- inspect 70     51     1000   .62 0   false(unreach-call) 1 --- inspect 6.4  3.5  290 0     .15  false(unreach-call) 1 --- inspect .78   .77   22    .16  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .44 .43 16   5.7 .16   0      true -32 wit inspect 8.6  4.5  290 0   0   false(unreach-call) 1 --- inspect 37     24     860   .62 0   false(unreach-call) 1 --- inspect 6.9  3.7  290 0     .15  false(unreach-call) 1 --- inspect .79   .78   22    .17  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .40 .39 16   6.2 .16   0      true -32 wit inspect 8.2  4.3  290 0   0   false(unreach-call) 1 --- inspect 85     67     1100   .62 0   false(unreach-call) 1 --- inspect 7.1  3.9  300 0     .20  false(unreach-call) 1 --- inspect .80   .81   22    .14  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    1200   6100   33      0      error (invalid witness file) 0 --- inspect .77 .47 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .62 48 0     0     error (invalid witness file) 0 --- inspect .0014 .0016 .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 1.1  1.1  26   16   .37   0      true -32 wit inspect 9.1  4.8  300 0   0   timeout 0 --- inspect 98     68     2400   1.4  0   false(unreach-call) 1 --- inspect 11    5.7  420 0     0     false(unreach-call) 1 --- inspect 1.0    1.0    24    .33  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.2  1.2  27   14   .36   0      true -32 wit inspect 9.8  5.2  340 0   0   timeout 0 --- inspect 97     70     1900   1.7  0   false(unreach-call) 1 --- inspect 14    7.6  470 0     .082 false(unreach-call) 1 --- inspect 1.1    1.1    24    .31  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 1.2  1.2  27   16   .32   0      true -32 wit inspect 9.2  4.8  330 0   0   true -32 --- inspect 12     7.2   370   .62 0   false(unreach-call) 1 --- inspect 8.9  4.8  330 0     0     false(unreach-call) 1 --- inspect 1.0    1.0    24    .33  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.2  1.2  26   16   .30   0      true -32 wit inspect 11    5.6  330 0   0   true -32 --- inspect 13     7.6   360   .66 0   false(unreach-call) 1 --- inspect 8.9  4.8  320 0     0     false(unreach-call) 1 --- inspect 1.0    1.0    24    .32  .033 - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 1.2  1.2  27   18   .39   0      true -32 wit inspect 13    6.7  340 0   0   true -32 --- inspect 13     7.6   380   .62 0   false(unreach-call) 1 --- inspect 9.8  5.2  370 0     .24  false(unreach-call) 1 --- inspect 1.1    1.1    25    .33  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.2  1.2  26   19   .36   0      true -32 wit inspect 11    5.8  340 0   0   true -32 --- inspect 15     8.3   370   .62 0   false(unreach-call) 1 --- inspect 10    5.4  400 0     0     false(unreach-call) 1 --- inspect 1.1    1.1    24    .32  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 1.3  1.2  26   18   .38   0      true -32 wit inspect 9.3  4.8  310 0   0   true -32 --- inspect 13     7.2   380   .66 0   false(unreach-call) 1 --- inspect 12    6.3  400 0     .23  false(unreach-call) 1 --- inspect 1.1    1.1    24    .33  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.4  1.4  26   16   .36   0      true -32 wit inspect 12    6.0  340 0   0   true -32 --- inspect 12     6.7   380   .66 0   false(unreach-call) 1 --- inspect 11    6.1  420 0     .20  false(unreach-call) 1 --- inspect 1.1    1.1    24    .32  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    780   7700   7.2    0      error (invalid witness file) 0 --- inspect .60 .38 41 0   0   error (2) 0 --- inspect .021 .023 5.7 0    0   error (invalid witness file) 0 --- inspect .98 .64 47 0     0     error (invalid witness file) 0 --- inspect .0043 .0054 .41 0     0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 10    10    63   140   1.8    0      true -32 wit inspect 14    7.2  500 0   0   timeout 0 --- inspect 97     63     4400   1.0  0   false(unreach-call) 1 --- inspect 19    11    700 0     .15  false(unreach-call) 1 --- inspect 1.6    1.6    28    .66  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 11    11    74   160   1.6    0      true -32 wit inspect 15    7.9  500 0   0   timeout 0 --- inspect 97     60     4500   1.6  0   false(unreach-call) 1 --- inspect 20    13    740 0     0     false(unreach-call) 1 --- inspect 1.6    1.6    28    .61  .057 - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 5.2  5.2  45   67   .66   0      true -32 wit inspect 14    7.1  490 0   0   true -32 --- inspect 15     8.5   460   .66 0   false(unreach-call) 1 --- inspect 15    8.0  560 0     .16  false(unreach-call) 1 --- inspect 1.7    1.7    27    .66  .066 - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.2  5.2  46   75   .63   0      true -32 wit inspect 11    5.8  490 0   0   true -32 --- inspect 17     9.6   460   .66 0   false(unreach-call) 1 --- inspect 16    8.6  560 0     .053 false(unreach-call) 1 --- inspect 1.6    1.7    27    .62  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 11    11    65   150   1.7    0      true -32 wit inspect 15    7.7  510 0   0   true -32 --- inspect 16     9.3   460   .66 0   false(unreach-call) 1 --- inspect 16    8.9  680 0     0     false(unreach-call) 1 --- inspect 1.6    1.6    28    .66  .066 - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 12    12    75   140   1.6    0      true -32 wit inspect 16    8.6  500 0   0   true -32 --- inspect 15     8.7   500   .62 0   false(unreach-call) 1 --- inspect 18    11    740 0     .11  false(unreach-call) 1 --- inspect 1.6    1.6    28    .62  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 11    11    64   160   1.8    0      true -32 wit inspect 16    8.6  500 0   0   true -32 --- inspect 16     9.3   510   .62 0   false(unreach-call) 1 --- inspect 23    13    730 0     0     false(unreach-call) 1 --- inspect 1.6    1.6    28    .66  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 12    12    75   170   1.7    0      true -32 wit inspect 14    7.4  500 0   0   true -32 --- inspect 15     8.5   510   .66 0   false(unreach-call) 1 --- inspect 22    13    700 0     .066 false(unreach-call) 1 --- inspect 1.6    1.6    28    .62  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    240   9200   .95   0      error (invalid witness file) 0 --- inspect .62 .38 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .62 47 0     0     error (invalid witness file) 0 --- inspect .0016 .0021 .53 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 .25 .24 10   3.1 .16   0      true -32 wit inspect 6.2  3.3  290 0   0   false(unreach-call) 1 --- inspect 30     18     730   .62 0   false(unreach-call) 1 --- inspect 6.6  3.6  290 0     .098 error (2) 0 --- inspect .69   .69   22    .041 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .25 .24 11   2.8 .14   0      true -32 wit inspect 5.7  3.0  290 0   0   false(unreach-call) 1 --- inspect 20     12     530   .62 0   false(unreach-call) 1 --- inspect 6.0  3.3  290 0     0     error (2) 0 --- inspect .66   .66   22    .041 0     - --- 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 .24 .23 10   2.7 .15   0      true -32 wit inspect 6.6  3.6  260 0   0   false(unreach-call) 1 --- inspect 12     6.4   360   .62 0   false(unreach-call) 1 --- inspect 5.5  3.1  280 0     .053 error (2) 0 --- inspect .66   .65   22    .041 .012 - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .24 .23 11   2.9 .14   0      true -32 wit inspect 7.0  3.7  270 0   0   false(unreach-call) 1 --- inspect 19     11     620   .62 0   false(unreach-call) 1 --- inspect 6.2  3.4  290 0     .053 error (2) 0 --- inspect .66   .66   22    .041 0     - --- 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 .70 .69 16   9.0 .46   0      true -32 wit inspect 7.3  3.9  300 0   0   timeout 0 --- inspect 97     80     1100   1.6  0   false(unreach-call) 1 --- inspect 7.2  3.9  280 0     .066 error (2) 0 --- inspect .70   .72   23    .045 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 .76 .74 21   10   .44   0      true -32 wit inspect 6.9  3.7  270 0   0   timeout 0 --- inspect 97     74     1400   1.5  0   false(unreach-call) 1 --- inspect 6.2  3.4  280 0     .17  error (2) 0 --- inspect .71   .71   23    .045 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 .73 .72 15   9.8 .45   0      true -32 wit inspect 7.5  3.9  300 0   0   false(unreach-call) 1 --- inspect 14     7.3   470   .66 0   false(unreach-call) 1 --- inspect 6.2  3.4  280 0     .053 error (2) 0 --- inspect .70   .70   23    .045 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 .78 .77 20   11   .43   0      true -32 wit inspect 8.8  4.6  300 0   0   false(unreach-call) 1 --- inspect 24     13     760   .62 0   false(unreach-call) 1 --- inspect 5.8  3.3  280 0     .39  error (2) 0 --- inspect .70   .70   23    .045 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 .96 .95 21   15   .62   0      true -32 wit inspect 8.1  4.2  320 0   0   timeout 0 --- inspect 97     72     2000   2.0  0   false(unreach-call) 1 --- inspect 6.5  3.6  300 0     0     error (2) 0 --- inspect .75   .75   24    .049 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 1.0  1.0  25   14   .59   0      true -32 wit inspect 10    5.2  320 0   0   timeout 0 --- inspect 97     65     2200   1.6  0   false(unreach-call) 1 --- inspect 8.1  4.4  320 0     .36  error (2) 0 --- inspect .75   .75   24    .049 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 .97 .96 21   14   .59   0      true -32 wit inspect 8.7  4.6  290 0   0   false(unreach-call) 1 --- inspect 17     9.5   550   .62 0   false(unreach-call) 1 --- inspect 8.5  4.6  290 0     .082 error (2) 0 --- inspect .77   .77   24    .049 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.0  1.0  23   13   .56   0      true -32 wit inspect 7.6  4.0  320 0   0   false(unreach-call) 1 --- inspect 23     12     620   .66 0   false(unreach-call) 1 --- inspect 6.7  3.7  290 0     .15  error (2) 0 --- inspect .74   .74   24    .049 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c false(unreach-call) 1 wit inspect 1.3  1.3  29   17   .79   0      true -32 wit inspect 7.5  4.0  330 0   0