Tool DIVINE 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-06 11:06:04 CET 2018-12-08 03:24:14 CET 2018-12-08 05:17:35 CET 2018-12-08 06:43:53 CET 2018-12-12 20:24:22 CET 2018-12-08 01:45:35 CET 2018-12-08 04:38:54 CET
Run set divine-smt.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-divine-smt.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-divine-smt.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-divine-smt.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-divine-smt.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-divine-smt.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-divine-smt.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/divine-smt.2018-12-06_1106.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/divine-smt.2018-12-06_1106.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/divine-smt.2018-12-06_1106.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/divine-smt.2018-12-06_1106.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -witness ../../results-verified/divine-smt.2018-12-06_1106.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/divine-smt.2018-12-06_1106.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 110    36    460 860   0      0      false(unreach-call) 1 wit inspect 16    8.6  440 0    0      true -32 --- inspect 9.6   5.6   310   .66 0     unknown 0 --- inspect 3.9  2.3  250 0   0     false(unreach-call) 1 --- inspect .61   .62   20    .090 0      - --- inspect - --- inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 39    23    440 400   0      0      false(unreach-call) 1 wit inspect 8.4  4.5  270 0    0      true -32 --- inspect 9.9   5.8   310   .66 0     unknown 0 --- inspect 5.3  3.0  250 0   0     false(unreach-call) 1 --- inspect .66   .66   20    .098 0      - --- inspect - --- inspect
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 10    9.1  430 120   0      0      false(unreach-call) 1 wit inspect 5.5  3.1  250 0    0      true -32 --- inspect 7.3   4.0   310   .66 0     unknown 0 --- inspect 3.7  2.2  240 0   0     false(unreach-call) 1 --- inspect .59   .59   20    .082 0      - --- inspect - --- inspect
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 9.7  9.1  430 130   0      0      false(unreach-call) 1 wit inspect 4.5  2.5  260 0    0      true -32 --- inspect 9.5   5.6   310   .66 0     unknown 0 --- inspect 4.9  2.9  250 0   0     false(unreach-call) 1 --- inspect .62   .63   20    .082 0      - --- inspect - --- inspect
systemc/pipeline_false-unreach-call_false-termination.cil.c unknown 0 --- inspect 150    87    450 1900   0      0      error (invalid witness file) 0 --- inspect .62 .39 40 0    0      error (2) 0 --- inspect .024 .024 5.6 0    0     error (invalid witness file) 0 --- inspect .95 .61 47 0   0     error (invalid witness file) 0 --- inspect .0017 .0020 .41 0     0      - --- inspect - --- inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 25    15    440 300   0      .0082 false(unreach-call) 1 wit inspect 7.8  4.2  270 0    0      true -32 --- inspect 7.9   4.9   300   .66 0     unknown 0 --- inspect 4.6  2.7  250 0   0     false(unreach-call) 1 --- inspect .60   .60   20    .086 0      - --- inspect - --- inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 47    22    450 400   0      0      false(unreach-call) 1 wit inspect 7.3  4.0  270 0    0      true -32 --- inspect 7.8   4.9   310   .66 0     unknown 0 --- inspect 4.9  2.8  250 0   0     error (2) 0 --- inspect .61   .61   20    .090 .0082 - --- inspect - --- inspect
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 87    37    450 840   0      0      false(unreach-call) 1 wit inspect 8.2  4.5  290 0    0      true -32 --- inspect 8.2   5.0   310   .66 0     unknown 0 --- inspect 5.0  2.9  250 0   0     error (2) 0 --- inspect .62   .62   20    .10  0      - --- inspect - --- inspect
systemc/token_ring.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 360    120    480 3100   0      0      false(unreach-call) 1 wit inspect 11    6.0  330 0    0      true -32 --- inspect 12     6.7   320   .66 0     unknown 0 --- inspect 5.6  3.2  250 0   0     error (2) 0 --- inspect .63   .63   20    .11  0      - --- inspect - --- inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    450 7000   .0041 0      error (invalid witness file) 0 --- inspect .75 .45 41 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .79 47 0   0     error (invalid witness file) 0 --- inspect .0015 .0024 .52 0     0      - --- inspect - --- inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    420 9500   .0041 0      error (invalid witness file) 0 --- inspect .73 .45 42 0    0      error (2) 0 --- inspect .024 .025 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .73 46 0   0     error (invalid witness file) 0 --- inspect .0019 .0025 .53 0     0      - --- inspect - --- inspect
systemc/token_ring.07_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 8900   .0041 0      error (invalid witness file) 0 --- inspect .75 .47 41 0    0      error (2) 0 --- inspect .025 .026 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .79 47 0   0     error (invalid witness file) 0 --- inspect .0058 .0089 .54 0     0      - --- inspect - --- inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    420 8400   .0041 0      error (invalid witness file) 0 --- inspect .74 .45 43 0    0      error (2) 0 --- inspect .026 .028 5.6 0    0     error (invalid witness file) 0 --- inspect .96 .61 46 0   0     error (invalid witness file) 0 --- inspect .0023 .0030 .53 0     0      - --- inspect - --- inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    420 8900   .0041 0      error (invalid witness file) 0 --- inspect .80 .49 41 0    0      error (2) 0 --- inspect .020 .021 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .75 47 0   0     error (invalid witness file) 0 --- inspect .0046 .0059 .52 0     0      - --- inspect - --- inspect
systemc/token_ring.10_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 8600   .0041 0      error (invalid witness file) 0 --- inspect .69 .42 42 0    0      error (2) 0 --- inspect .029 .031 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .79 48 0   0     error (invalid witness file) 0 --- inspect .0018 .0032 .54 0     0      - --- inspect - --- inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 7800   .016  0      error (invalid witness file) 0 --- inspect .61 .38 40 0    0      error (2) 0 --- inspect .027 .028 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 47 0   0     error (invalid witness file) 0 --- inspect .0058 .0074 .53 0     0      - --- inspect - --- inspect
systemc/token_ring.12_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 8500   .0041 0      error (invalid witness file) 0 --- inspect .76 .47 40 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .69 47 0   0     error (invalid witness file) 0 --- inspect .0060 .0075 .53 0     0      - --- inspect - --- inspect
systemc/token_ring.13_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 8600   .0041 0      error (invalid witness file) 0 --- inspect .77 .46 41 0    0      error (2) 0 --- inspect .027 .027 5.6 0    0     error (invalid witness file) 0 --- inspect .97 .64 47 0   0     error (invalid witness file) 0 --- inspect .0016 .0017 .39 0     0      - --- inspect - --- inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 9600   .0041 0      error (invalid witness file) 0 --- inspect .87 .52 42 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect .94 .62 47 0   0     error (invalid witness file) 0 --- inspect .0056 .0073 .53 0     0      - --- inspect - --- inspect
systemc/token_ring.15_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 9500   .0041 0      error (invalid witness file) 0 --- inspect .76 .48 41 0    0      error (2) 0 --- inspect .022 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.3  .81 48 0   0     error (invalid witness file) 0 --- inspect .0023 .0030 .40 0     0      - --- inspect - --- inspect
systemc/toy1_false-unreach-call_false-termination.cil.c error - divine failed with exitcode 1 0 --- inspect 1.3  1.3  170 15   0      0      error (invalid witness file) 0 --- inspect .76 .46 40 0    0      error (2) 0 --- inspect .025 .026 5.5 0    0     error (invalid witness file) 0 --- inspect 1.2  .78 48 0   0     error (invalid witness file) 0 --- inspect .0053 .0087 .48 0     0      - --- inspect - --- inspect
systemc/toy2_false-unreach-call_false-termination.cil.c error - divine failed with exitcode 1 0 --- inspect 1.2  1.3  170 16   0      0      error (invalid witness file) 0 --- inspect .59 .36 41 0    0      error (2) 0 --- inspect .038 .039 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .77 47 0   0     error (invalid witness file) 0 --- inspect .0039 .0055 .54 0     0      - --- inspect - --- inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 11    10    430 140   0      0      false(unreach-call) 1 wit inspect 5.7  3.1  260 0    0      true -32 --- inspect 9.1   5.0   310   .66 0     unknown 0 --- inspect 3.9  2.3  250 0   0     false(unreach-call) 1 --- inspect .60   .60   20    .082 0      - --- inspect - --- inspect
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 20    15    430 280   0      0      false(unreach-call) 1 wit inspect 6.2  3.4  260 0    .0082 true -32 --- inspect 9.8   5.7   310   .66 0     unknown 0 --- inspect 3.9  2.2  250 0   0     false(unreach-call) 1 --- inspect .64   .63   20    .090 0      - --- inspect - --- inspect
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 60    36    440 730   0      0      false(unreach-call) 1 wit inspect 6.5  3.5  270 0    0      true -32 --- inspect 9.9   5.5   310   .66 0     unknown 0 --- inspect 4.3  2.5  250 0   0     false(unreach-call) 1 --- inspect .62   .62   20    .10  0      - --- inspect - --- inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 200    110    460 2000   0      0      false(unreach-call) 1 wit inspect 7.0  3.8  270 0    0      true -32 --- inspect 8.6   5.2   310   .66 0     unknown 0 --- inspect 5.5  3.2  250 0   0     false(unreach-call) 1 --- inspect .63   .62   20    .11  0      - --- inspect - --- inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 720    370    490 7100   0      0      false(unreach-call) 1 wit inspect 6.6  3.6  280 0    0      true -32 --- inspect 10     5.9   300   .62 0     unknown 0 --- inspect 6.1  3.5  250 0   .070 false(unreach-call) 1 --- inspect .64   .64   20    .11  0      - --- inspect - --- inspect
systemc/transmitter.06_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 8500   .0041 0      error (invalid witness file) 0 --- inspect .77 .46 40 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .65 48 0   0     error (invalid witness file) 0 --- inspect .0049 .0061 .53 0     0      - --- inspect - --- inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 9300   .0041 0      error (invalid witness file) 0 --- inspect .76 .46 42 0    0      error (2) 0 --- inspect .026 .026 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 46 0   0     error (invalid witness file) 0 --- inspect .0046 .014  .53 0     0      - --- inspect - --- inspect
systemc/transmitter.08_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    420 8400   .0041 0      error (invalid witness file) 0 --- inspect .75 .47 40 0    0      error (2) 0 --- inspect .027 .028 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .75 47 0   0     error (invalid witness file) 0 --- inspect .0048 .0059 .53 0     0      - --- inspect - --- inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    420 8800   .0041 0      error (invalid witness file) 0 --- inspect .73 .45 41 0    0      error (2) 0 --- inspect .022 .024 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .71 47 0   0     error (invalid witness file) 0 --- inspect .0040 .0052 .53 0     0      - --- inspect - --- inspect
systemc/transmitter.10_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 9300   .0041 0      error (invalid witness file) 0 --- inspect .72 .45 40 0    0      error (2) 0 --- inspect .027 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .63 47 0   0     error (invalid witness file) 0 --- inspect .0046 .0057 .53 0     0      - --- inspect - --- inspect
systemc/transmitter.11_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 8800   .0041 0      error (invalid witness file) 0 --- inspect .77 .47 41 0    0      error (2) 0 --- inspect .022 .023 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .77 46 0   0     error (invalid witness file) 0 --- inspect .0044 .0054 .53 0     0      - --- inspect - --- inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 8400   .0041 0      error (invalid witness file) 0 --- inspect .74 .46 41 0    0      error (2) 0 --- inspect .022 .024 5.7 0    0     error (invalid witness file) 0 --- inspect .96 .61 46 0   0     error (invalid witness file) 0 --- inspect .0061 .0082 .53 0     0      - --- inspect - --- inspect
systemc/transmitter.13_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 9300   .0041 0      error (invalid witness file) 0 --- inspect .75 .45 41 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 47 0   0     error (invalid witness file) 0 --- inspect .0057 .0068 .53 0     0      - --- inspect - --- inspect
systemc/transmitter.15_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 9200   .0041 0      error (invalid witness file) 0 --- inspect .75 .45 40 0    0      error (2) 0 --- inspect .033 .034 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .80 48 0   0     error (invalid witness file) 0 --- inspect .0053 .0069 .53 0     0      - --- inspect - --- inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 10000   .0041 0      error (invalid witness file) 0 --- inspect .69 .43 43 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .79 47 0   0     error (invalid witness file) 0 --- inspect .0021 .0029 .53 0     0      - --- inspect - --- inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    2600 8500   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .69 .43 40 0   0   error (2) 0 --- inspect .027 .028 5.5 0    0    
systemc/kundu_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    510 7600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .44 41 0   0   error (2) 0 --- inspect .026 .027 5.8 0    0    
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 7200   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .38 40 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0    
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 6500   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .35 40 0   0   error (2) 0 --- inspect .024 .025 5.7 0    0    
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    420 7600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .47 40 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0    
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    420 7000   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .38 40 0   0   error (2) 0 --- inspect .031 .032 5.7 0    0    
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    420 6800   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .44 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    460 6600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .37 40 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0    
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    490 6600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .45 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    460 7000   .0041 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/pipeline_true-unreach-call_false-termination.cil.c unknown 0 --- inspect 160    90    450 2000   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .47 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0    
systemc/token_ring.01_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    430 6800   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .38 41 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0    
systemc/token_ring.02_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    450 7600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .38 41 0   0   error (2) 0 --- inspect .020 .020 5.6 0    0    
systemc/token_ring.03_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    490 6600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .37 41 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0    
systemc/token_ring.04_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    490 7800   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .47 43 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0    
systemc/token_ring.05_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    460 8600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .35 40 0   0   error (2) 0 --- inspect .020 .022 5.6 0    0    
systemc/token_ring.06_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    420 8800   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .45 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0    
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 9800   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .80 .48 43 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0    
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    420 8600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .37 41 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0    
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    420 8900   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .46 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0    
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    420 9400   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .38 41 0   0   error (2) 0 --- inspect .023 .024 5.7 0    0    
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 8000   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .69 .41 41 0   0   error (2) 0 --- inspect .025 .026 5.7 0    0    
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 8600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .45 40 0   0   error (2) 0 --- inspect .021 .023 5.6 0    0    
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 10000   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .39 40 0   0   error (2) 0 --- inspect .027 .028 5.5 0    0    
systemc/toy_true-unreach-call_false-termination.cil.c error - divine failed with exitcode 1 0 --- inspect 1.3  1.3  170 15   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .47 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0    
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 560    230    460 6000   0      0      false(unreach-call) 1 wit inspect 7.2  3.9  260 0    0      true -32 --- inspect 10     6.1   310   .66 0     unknown 0 --- inspect 4.4  2.5  250 0   .053 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 560    230    460 5800   0      0      false(unreach-call) 1 wit inspect 6.2  3.4  280 0    0      true -32 --- inspect 10     5.9   300   .66 0     unknown 0 --- inspect 5.1  2.9  250 0   0     true -32 --- inspect .68   .68   20    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c timeout 0 --- inspect 900    300    440 8600   .012  0      error (invalid witness file) 0 --- inspect .68 .42 42 0    0      error (2) 0 --- inspect .027 .029 5.8 0    0     error (invalid witness file) 0 --- inspect 1.2  .75 48 0   0     error (invalid witness file) 0 --- inspect .0053 .0063 .40 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    430    470 11000   .012  0      error (invalid witness file) 0 --- inspect .58 .35 40 0    0      error (2) 0 --- inspect .020 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .79 47 0   0     error (invalid witness file) 0 --- inspect .0018 .0023 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c timeout 0 --- inspect 900    290    440 10000   .0041 0      error (invalid witness file) 0 --- inspect .60 .38 42 0    0      error (2) 0 --- inspect .029 .030 5.5 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 47 0   0     error (invalid witness file) 0 --- inspect .0017 .0022 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    290    440 9300   .0041 0      error (invalid witness file) 0 --- inspect .74 .46 43 0    0      error (2) 0 --- inspect .025 .026 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .70 48 0   0     error (invalid witness file) 0 --- inspect .0050 .0062 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c timeout 0 --- inspect 900    230    420 9200   .0041 .11   error (invalid witness file) 0 --- inspect .77 .45 41 0    0      error (2) 0 --- inspect .024 .025 5.6 0    0     error (invalid witness file) 0 --- inspect 1.3  .84 48 0   0     error (invalid witness file) 0 --- inspect .0046 .0058 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    420 8700   .0041 0      error (invalid witness file) 0 --- inspect .63 .40 41 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .74 48 0   0     error (invalid witness file) 0 --- inspect .0047 .0058 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 --- inspect 900    230    400 9400   .0041 0      error (invalid witness file) 0 --- inspect .78 .49 40 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .69 47 0   0     error (invalid witness file) 0 --- inspect .0048 .0060 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 9300   .0041 0      error (invalid witness file) 0 --- inspect .60 .39 40 0    0      error (2) 0 --- inspect .028 .029 5.5 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 47 0   0     error (invalid witness file) 0 --- inspect .0047 .0061 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 --- inspect 900    230    400 8400   .0041 0      error (invalid witness file) 0 --- inspect .75 .45 41 0    0      error (2) 0 --- inspect .022 .023 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .68 47 0   0     error (invalid witness file) 0 --- inspect .0023 .0035 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 8800   .0041 0      error (invalid witness file) 0 --- inspect .82 .50 42 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .64 48 0   0     error (invalid witness file) 0 --- inspect .0046 .0058 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c timeout 0 --- inspect 900    230    390 9400   .0041 0      error (invalid witness file) 0 --- inspect .73 .45 41 0    0      error (2) 0 --- inspect .023 .024 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .78 47 0   0     error (invalid witness file) 0 --- inspect .0070 .010  .40 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 8800   .0041 0      error (invalid witness file) 0 --- inspect .63 .39 40 0    0      error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .75 47 0   0     error (invalid witness file) 0 --- inspect .0021 .0027 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c timeout 0 --- inspect 900    230    400 10000   .0041 0      error (invalid witness file) 0 --- inspect .64 .39 41 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .76 46 0   0     error (invalid witness file) 0 --- inspect .0056 .0072 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 9000   .0041 0      error (invalid witness file) 0 --- inspect .81 .49 42 0    0      error (2) 0 --- inspect .024 .025 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 47 0   0     error (invalid witness file) 0 --- inspect .0045 .0056 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c timeout 0 --- inspect 900    230    400 9100   .0041 0      error (invalid witness file) 0 --- inspect .75 .45 41 0    0      error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.4  .88 47 0   0     error (invalid witness file) 0 --- inspect .0055 .011  .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 8000   .0041 0      error (invalid witness file) 0 --- inspect .71 .43 41 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .74 47 0   0     error (invalid witness file) 0 --- inspect .0018 .0023 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c timeout 0 --- inspect 900    230    400 9000   .0041 0      error (invalid witness file) 0 --- inspect .80 .48 40 0    0      error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .69 48 0   0     error (invalid witness file) 0 --- inspect .0018 .0025 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 8800   .0041 0      error (invalid witness file) 0 --- inspect .79 .49 42 0    0      error (2) 0 --- inspect .024 .026 5.7 0    0     error (invalid witness file) 0 --- inspect 1.1  .72 46 0   0     error (invalid witness file) 0 --- inspect .0016 .0019 .39 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 9600   .0041 0      error (invalid witness file) 0 --- inspect .66 .40 40 0    0      error (2) 0 --- inspect .025 .026 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .78 48 0   0     error (invalid witness file) 0 --- inspect .0058 .0075 .41 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 --- inspect 900    230    390 8700   .0041 0      error (invalid witness file) 0 --- inspect .62 .38 42 0    0      error (2) 0 --- inspect .037 .038 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .74 47 0   0     error (invalid witness file) 0 --- inspect .0060 .016  .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 8600   .0041 0      error (invalid witness file) 0 --- inspect .78 .48 43 0    0      error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .74 47 0   0     error (invalid witness file) 0 --- inspect .0048 .0061 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c timeout 0 --- inspect 900    230    400 8300   .0041 0      error (invalid witness file) 0 --- inspect .66 .42 41 0    0      error (2) 0 --- inspect .027 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .79 47 0   0     error (invalid witness file) 0 --- inspect .0022 .0028 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 9500   .0041 0      error (invalid witness file) 0 --- inspect .74 .45 42 0    0      error (2) 0 --- inspect .022 .023 5.6 0    0     error (invalid witness file) 0 --- inspect .92 .60 47 0   0     error (invalid witness file) 0 --- inspect .0060 .0077 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c timeout 0 --- inspect 900    230    400 8100   .0041 0      error (invalid witness file) 0 --- inspect .79 .48 43 0    0      error (2) 0 --- inspect .022 .023 5.6 0    0     error (invalid witness file) 0 --- inspect .97 .64 46 0   0     error (invalid witness file) 0 --- inspect .0057 .0072 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 10000   .0041 0      error (invalid witness file) 0 --- inspect .79 .49 42 0    0      error (2) 0 --- inspect .021 .021 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .72 49 0   0     error (invalid witness file) 0 --- inspect .0018 .0022 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c timeout 0 --- inspect 900    230    400 8800   .0041 0      error (invalid witness file) 0 --- inspect .75 .47 41 0    0      error (2) 0 --- inspect .026 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.3  .79 48 0   0     error (invalid witness file) 0 --- inspect .0057 .0074 .39 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 8100   .0041 0      error (invalid witness file) 0 --- inspect .74 .45 40 0    0      error (2) 0 --- inspect .023 .024 5.6 0    0     error (invalid witness file) 0 --- inspect .95 .62 46 0   0     error (invalid witness file) 0 --- inspect .0016 .0025 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 8400   .0041 0      error (invalid witness file) 0 --- inspect .74 .46 41 0    0      error (2) 0 --- inspect .025 .026 5.7 0    0     error (invalid witness file) 0 --- inspect 1.0  .68 47 0   0     error (invalid witness file) 0 --- inspect .0016 .0020 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 --- inspect 900    230    390 8800   .0041 0      error (invalid witness file) 0 --- inspect .80 .49 42 0    0      error (2) 0 --- inspect .030 .031 5.7 0    0     error (invalid witness file) 0 --- inspect 1.1  .74 47 0   0     error (invalid witness file) 0 --- inspect .0056 .016  .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 9500   .0041 0      error (invalid witness file) 0 --- inspect .65 .41 40 0    0      error (2) 0 --- inspect .028 .030 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .68 48 0   0     error (invalid witness file) 0 --- inspect .0055 .0070 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 --- inspect 900    230    390 9800   .016  0      error (invalid witness file) 0 --- inspect .68 .41 40 0    0      error (2) 0 --- inspect .025 .026 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .67 47 0   0     error (invalid witness file) 0 --- inspect .0049 .0060 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 8800   .0041 0      error (invalid witness file) 0 --- inspect .70 .42 40 0    0      error (2) 0 --- inspect .023 .023 5.6 0    0     error (invalid witness file) 0 --- inspect .97 .63 47 0   0     error (invalid witness file) 0 --- inspect .0065 .0084 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c timeout 0 --- inspect 900    230    390 8100   .0041 0      error (invalid witness file) 0 --- inspect .77 .48 41 0    0      error (2) 0 --- inspect .026 .026 5.5 0    0     error (invalid witness file) 0 --- inspect 1.2  .78 47 0   0     error (invalid witness file) 0 --- inspect .0048 .0063 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 9500   .0041 0      error (invalid witness file) 0 --- inspect .76 .47 41 0    0      error (2) 0 --- inspect .021 .023 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 49 0   0     error (invalid witness file) 0 --- inspect .0064 .0080 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c timeout 0 --- inspect 900    230    390 8000   .0041 0      error (invalid witness file) 0 --- inspect .70 .42 41 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .70 47 0   0     error (invalid witness file) 0 --- inspect .0015 .0018 .40 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 9600   .0041 0      error (invalid witness file) 0 --- inspect .60 .37 42 0    0      error (2) 0 --- inspect .020 .021 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .70 47 0   0     error (invalid witness file) 0 --- inspect .0053 .0072 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 9500   .0041 0      error (invalid witness file) 0 --- inspect .64 .40 41 0    0      error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .74 47 0   0     error (invalid witness file) 0 --- inspect .0055 .0076 .52 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 380    130    470 3900   0      0      false(unreach-call) 1 wit inspect 18    11    430 0    0      true -32 --- inspect 10     6.0   310   .66 0     unknown 0 --- inspect 5.1  3.0  250 0   0     true -32 --- inspect .62   .63   20    .086 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 390    140    470 3400   0      0      false(unreach-call) 1 wit inspect 19    14    420 0    0      true -32 --- inspect 8.9   5.4   310   .62 0     unknown 0 --- inspect 4.4  2.6  250 0   .26  true -32 --- inspect .65   .65   20    .086 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 250    100    460 2600   0      0      false(unreach-call) 1 wit inspect 26    20    450 0    0      true -32 --- inspect 10     6.1   320   .66 0     unknown 0 --- inspect 5.4  3.1  250 0   0     true -32 --- inspect .61   .61   20    .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 310    120    460 3200   0      0      false(unreach-call) 1 wit inspect 52    46    530 0    0      true -32 --- inspect 7.7   4.8   320   .66 0     unknown 0 --- inspect 4.7  2.7  270 0   0     true -32 --- inspect .63   .63   20    .086 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 --- inspect 900    230    420 8200   .0041 0      error (invalid witness file) 0 --- inspect .76 .46 40 0    0      error (2) 0 --- inspect .023 .024 5.7 0    0     error (invalid witness file) 0 --- inspect 1.1  .70 47 0   0     error (invalid witness file) 0 --- inspect .0045 .0059 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    420 8500   .012  0      error (invalid witness file) 0 --- inspect .64 .39 41 0    0      error (2) 0 --- inspect .026 .027 5.8 0    0     error (invalid witness file) 0 --- inspect 1.2  .80 48 0   0     error (invalid witness file) 0 --- inspect .0050 .0065 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c timeout 0 --- inspect 900    320    460 8900   .012  0      error (invalid witness file) 0 --- inspect .66 .40 41 0    0      error (2) 0 --- inspect .024 .025 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 49 0   0     error (invalid witness file) 0 --- inspect .0050 .0065 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    420 8800   .0041 0      error (invalid witness file) 0 --- inspect .79 .47 41 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect .99 .65 46 0   0     error (invalid witness file) 0 --- inspect .0017 .0023 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 --- inspect 900    230    390 10000   .0041 0      error (invalid witness file) 0 --- inspect .66 .41 43 0    0      error (2) 0 --- inspect .026 .026 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .78 47 0   0     error (invalid witness file) 0 --- inspect .0055 .0063 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 8800   .0041 0      error (invalid witness file) 0 --- inspect .68 .43 40 0    0      error (2) 0 --- inspect .031 .032 5.7 0    0     error (invalid witness file) 0 --- inspect .97 .63 47 0   0     error (invalid witness file) 0 --- inspect .0038 .0050 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 --- inspect 900    230    390 9000   .0041 0      error (invalid witness file) 0 --- inspect .75 .45 40 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .77 48 0   0     error (invalid witness file) 0 --- inspect .0051 .0064 .40 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 9600   .0041 0      error (invalid witness file) 0 --- inspect .59 .36 40 0    0      error (2) 0 --- inspect .024 .025 5.7 0    0     error (invalid witness file) 0 --- inspect .95 .61 47 0   0     error (invalid witness file) 0 --- inspect .0054 .0064 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c timeout 0 --- inspect 900    230    390 8400   .0041 0      error (invalid witness file) 0 --- inspect .66 .40 41 0    0      error (2) 0 --- inspect .020 .022 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .73 46 0   0     error (invalid witness file) 0 --- inspect .0063 .0079 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 8900   .0041 0      error (invalid witness file) 0 --- inspect .80 .49 41 0    0      error (2) 0 --- inspect .021 .021 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .74 47 0   0     error (invalid witness file) 0 --- inspect .0051 .0063 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c timeout 0 --- inspect 900    230    390 10000   .0041 0      error (invalid witness file) 0 --- inspect .74 .45 40 0    0      error (2) 0 --- inspect .027 .028 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .79 47 0   0     error (invalid witness file) 0 ---