Tool ESBMC version 6.0.0 64-bit x86_64 linux 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* [apollon004; apollon069; apollon137; apollon154] 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:03:31 CET 2018-12-08 04:49:09 CET 2018-12-08 07:45:10 CET 2018-12-08 09:00:44 CET 2018-12-12 20:28:15 CET 2018-12-08 02:16:29 CET 2018-12-08 05:09:23 CET
Run set esbmc-kind.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-esbmc-kind.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-esbmc-kind.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-esbmc-kind.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-esbmc-kind.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-esbmc-kind.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-esbmc-kind.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized
Options -s kinduction -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/esbmc-kind.2018-12-06_1103.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/esbmc-kind.2018-12-06_1103.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/esbmc-kind.2018-12-06_1103.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/esbmc-kind.2018-12-06_1103.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -witness ../../results-verified/esbmc-kind.2018-12-06_1103.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/esbmc-kind.2018-12-06_1103.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 .19  .19  27 2.6  .85 0     false(unreach-call) 1 wit inspect 6.9  3.8  270 0   0      true -32 --- inspect 7.5   4.7   300   .62 0   false(unreach-call) 1 --- inspect 4.6  2.6  260 0     0     false(unreach-call) 1 --- inspect .63   .64   20    .090 0      - --- inspect - --- inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .32  .32  28 3.6  1.0  0     false(unreach-call) 1 wit inspect 5.9  3.2  280 0   0      true -32 --- inspect 8.2   5.0   310   .62 0   unknown 0 --- inspect 4.8  2.7  260 0     0     false(unreach-call) 1 --- inspect .62   .62   21    .098 0      - --- inspect - --- inspect
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .091 .092 27 .87 1.0  0     false(unreach-call) 1 wit inspect 4.4  2.4  250 0   0      true -32 --- inspect 7.6   4.2   310   .62 0   unknown 0 --- inspect 3.9  2.3  250 0     0     false(unreach-call) 1 --- inspect .59   .59   20    .082 .0082 - --- inspect - --- inspect
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .11  .11  27 .93 1.0  0     false(unreach-call) 1 wit inspect 4.6  2.5  260 0   0      true -32 --- inspect 7.7   4.7   310   .62 0   unknown 0 --- inspect 3.9  2.3  250 0     0     false(unreach-call) 1 --- inspect .62   .62   20    .086 0      - --- inspect - --- inspect
systemc/pipeline_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 9.3   9.3   290 100    1.0  0     false(unreach-call) 1 wit inspect 12    6.4  400 0   0      true -32 --- inspect 8.3   4.8   310   .62 0   false(unreach-call) 1 --- inspect 11    6.0  450 0     0     false(unreach-call) 1 --- inspect .66   .66   21    .11  .016  - --- inspect - --- inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .28  .28  28 3.7  1.0  0     false(unreach-call) 1 wit inspect 5.2  2.9  260 0   0      true -32 --- inspect 8.4   5.1   310   .66 0   unknown 0 --- inspect 4.2  2.4  260 0     0     false(unreach-call) 1 --- inspect .61   .61   20    .086 0      - --- inspect - --- inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .39  .39  29 4.6  1.0  0     false(unreach-call) 1 wit inspect 5.4  3.0  260 0   0      true -32 --- inspect 8.1   4.9   310   .62 0   unknown 0 --- inspect 4.6  2.6  270 0     0     false(unreach-call) 1 --- inspect .61   .63   20    .090 0      - --- inspect - --- inspect
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .51  .51  30 6.1  1.0  0     false(unreach-call) 1 wit inspect 6.1  3.3  270 0   .012  true -32 --- inspect 9.3   5.5   310   .62 0   unknown 0 --- inspect 4.7  2.7  260 0     0     false(unreach-call) 1 --- inspect .62   .62   20    .10  .012  - --- inspect - --- inspect
systemc/token_ring.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .59  .59  36 6.9  1.0  0     false(unreach-call) 1 wit inspect 6.7  3.6  270 0   0      true -32 --- inspect 10     5.6   310   .62 0   unknown 0 --- inspect 5.0  2.8  260 0     0     false(unreach-call) 1 --- inspect .62   .63   20    .11  0      - --- inspect - --- inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .73  .73  42 8.7  1.0  0     false(unreach-call) 1 wit inspect 7.0  3.8  280 0   0      true -32 --- inspect 8.4   4.8   310   .66 0   unknown 0 --- inspect 5.4  3.0  270 0     0     false(unreach-call) 1 --- inspect .64   .64   21    .12  0      - --- inspect - --- inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .84  .84  47 11    .85 0     false(unreach-call) 1 wit inspect 7.4  4.0  290 0   0      true -32 --- inspect 8.6   5.2   310   .66 0   unknown 0 --- inspect 5.5  3.1  280 0     0     false(unreach-call) 1 --- inspect .65   .65   21    .13  .016  - --- inspect - --- inspect
systemc/token_ring.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.0   1.0   54 17    .85 0     false(unreach-call) 1 wit inspect 9.2  4.9  290 0   0      true -32 --- inspect 10     5.6   310   .62 0   unknown 0 --- inspect 7.1  3.9  270 0     0     false(unreach-call) 1 --- inspect .67   .67   21    .14  0      - --- inspect - --- inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.2   1.2   60 19    1.0  0     false(unreach-call) 1 wit inspect 9.1  4.8  320 0   0      true -32 --- inspect 11     6.0   320   .62 0   unknown 0 --- inspect 5.9  3.2  270 0     0     false(unreach-call) 1 --- inspect .66   .66   21    .15  0      - --- inspect - --- inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.4   1.4   69 18    1.0  0     false(unreach-call) 1 wit inspect 8.9  4.7  350 0   0      true -32 --- inspect 10     5.8   340   .62 0   unknown 0 --- inspect 6.4  3.5  300 0     0     false(unreach-call) 1 --- inspect .68   .68   21    .16  0      - --- inspect - --- inspect
systemc/token_ring.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.7   1.7   76 21    1.0  0     false(unreach-call) 1 wit inspect 9.4  5.0  380 0   0      true -32 --- inspect 13     7.6   320   .66 0   unknown 0 --- inspect 6.9  3.8  330 0     0     false(unreach-call) 1 --- inspect .70   .70   21    .16  0      - --- inspect - --- inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.9   1.9   86 24    1.0  0     false(unreach-call) 1 wit inspect 10    5.3  430 0   0      true -32 --- inspect 12     7.1   330   .62 0   unknown 0 --- inspect 7.9  4.3  370 0     0     false(unreach-call) 1 --- inspect .73   .72   21    .18  .025  - --- inspect - --- inspect
systemc/token_ring.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 2.3   2.3   97 31    1.0  0     false(unreach-call) 1 wit inspect 12    6.1  450 0   0      true -32 --- inspect 11     6.6   340   .62 0   unknown 0 --- inspect 8.4  4.6  410 0     0     false(unreach-call) 1 --- inspect .70   .70   21    .18  0      - --- inspect - --- inspect
systemc/token_ring.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 2.6   2.6   110 34    .85 0     false(unreach-call) 1 wit inspect 13    7.0  460 0   0      true -32 --- inspect 11     6.4   350   .62 0   unknown 0 --- inspect 8.8  4.8  430 0     0     false(unreach-call) 1 --- inspect .71   .71   21    .20  0      - --- inspect - --- inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 2.3   2.3   97 24    .85 0     false(unreach-call) 1 wit inspect 12    6.5  440 0   0      true -32 --- inspect 11     6.1   330   .62 0   unknown 0 --- inspect 7.9  4.3  420 0     0     false(unreach-call) 1 --- inspect .70   .70   21    .18  0      - --- inspect - --- inspect
systemc/token_ring.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 2.6   2.6   110 34    1.0  0     false(unreach-call) 1 wit inspect 11    5.9  450 0   0      true -32 --- inspect 13     7.3   330   .62 0   unknown 0 --- inspect 8.1  4.4  420 0     0     false(unreach-call) 1 --- inspect .72   .73   21    .20  0      - --- inspect - --- inspect
systemc/toy1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .20  .20  28 2.8  1.0  0     false(unreach-call) 1 wit inspect 7.1  3.8  270 0   0      true -32 --- inspect 8.2   4.7   300   .66 0   false(unreach-call) 1 --- inspect 5.1  2.9  270 0     0     false(unreach-call) 1 --- inspect .62   .62   20    .098 0      - --- inspect - --- inspect
systemc/toy2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .20  .20  28 2.4  1.0  0     false(unreach-call) 1 wit inspect 7.0  3.7  270 0   0      true -32 --- inspect 8.3   4.7   310   .62 0   false(unreach-call) 1 --- inspect 5.1  2.8  260 0     0     false(unreach-call) 1 --- inspect .62   .62   20    .098 0      - --- inspect - --- inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .13  .13  27 1.4  1.0  0     false(unreach-call) 1 wit inspect 4.9  2.7  260 0   0      true -32 --- inspect 7.5   4.3   300   .66 0   false(unreach-call) 1 --- inspect 4.0  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 .17  .17  28 1.7  1.0  0     false(unreach-call) 1 wit inspect 5.0  2.8  260 0   .0082 true -32 --- inspect 8.2   4.6   310   .62 0   false(unreach-call) 1 --- inspect 4.6  2.6  260 0     0     false(unreach-call) 1 --- inspect .60   .60   20    .090 0      - --- inspect - --- inspect
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .22  .22  28 2.4  .85 0     false(unreach-call) 1 wit inspect 5.7  3.2  260 0   0      true -32 --- inspect 8.1   4.9   310   .62 0   false(unreach-call) 1 --- inspect 5.0  2.8  260 0     0     false(unreach-call) 1 --- inspect .61   .61   20    .10  0      - --- inspect - --- inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .25  .25  29 2.5  1.0  0     false(unreach-call) 1 wit inspect 6.8  3.7  260 0   0      true -32 --- inspect 9.1   5.2   310   .62 0   false(unreach-call) 1 --- inspect 5.3  2.9  270 0     0     false(unreach-call) 1 --- inspect .63   .63   20    .11  0      - --- inspect - --- inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .33  .33  34 4.3  .85 0     false(unreach-call) 1 wit inspect 6.3  3.4  270 0   0      true -32 --- inspect 10     5.8   310   .66 0   false(unreach-call) 1 --- inspect 5.0  2.8  260 0     0     false(unreach-call) 1 --- inspect .63   .63   20    .12  0      - --- inspect - --- inspect
systemc/transmitter.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .42  .42  39 4.5  1.0  0     false(unreach-call) 1 wit inspect 8.0  4.3  280 0   0      true -32 --- inspect 8.8   5.1   320   .62 0   false(unreach-call) 1 --- inspect 5.7  3.1  270 0     0     false(unreach-call) 1 --- inspect .64   .64   20    .13  0      - --- inspect - --- inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .52  .52  46 6.0  1.0  0     false(unreach-call) 1 wit inspect 7.5  4.0  280 0   0      true -32 --- inspect 9.5   5.3   310   .62 0   false(unreach-call) 1 --- inspect 6.0  3.3  270 0     0     false(unreach-call) 1 --- inspect .65   .65   21    .13  0      - --- inspect - --- inspect
systemc/transmitter.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .63  .63  52 8.2  1.0  0     false(unreach-call) 1 wit inspect 7.9  4.2  290 0   0      true -32 --- inspect 10     5.8   320   .66 0   false(unreach-call) 1 --- inspect 6.3  3.5  280 0     0     false(unreach-call) 1 --- inspect .67   .67   21    .14  .020  - --- inspect - --- inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .82  .82  59 10    1.0  0     false(unreach-call) 1 wit inspect 8.4  4.5  330 0   0      true -32 --- inspect 9.9   6.0   330   .62 0   false(unreach-call) 1 --- inspect 6.8  3.6  330 0     0     false(unreach-call) 1 --- inspect .68   .68   21    .15  0      - --- inspect - --- inspect
systemc/transmitter.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.0   1.0   68 13    1.0  0     false(unreach-call) 1 wit inspect 8.8  4.7  360 0   0      true -32 --- inspect 12     6.8   330   .66 0   false(unreach-call) 1 --- inspect 7.3  3.9  370 0     0     false(unreach-call) 1 --- inspect .67   .67   21    .16  .020  - --- inspect - --- inspect
systemc/transmitter.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.2   1.2   76 14    1.0  0     false(unreach-call) 1 wit inspect 9.6  5.1  390 0   0      true -32 --- inspect 12     6.7   330   .62 0   false(unreach-call) 1 --- inspect 8.4  4.5  370 0     0     false(unreach-call) 1 --- inspect .68   .68   21    .17  .025  - --- inspect - --- inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.5   1.5   86 16    1.0  0     false(unreach-call) 1 wit inspect 9.9  5.2  460 0   0      true -32 --- inspect 12     7.1   330   .62 0   false(unreach-call) 1 --- inspect 11    5.7  430 0     0     false(unreach-call) 1 --- inspect .68   .68   21    .18  0      - --- inspect - --- inspect
systemc/transmitter.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.7   1.7   95 21    1.0  0     false(unreach-call) 1 wit inspect 10    5.6  440 0   0      true -32 --- inspect 11     6.8   350   .62 0   false(unreach-call) 1 --- inspect 8.0  4.3  420 0     0     false(unreach-call) 1 --- inspect .71   .71   21    .19  .029  - --- inspect - --- inspect
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .31  .31  44 3.8  1.0  0     false(unreach-call) 1 wit inspect 6.3  3.4  270 0   0      true -32 --- inspect 11     6.5   330   .62 0   false(unreach-call) 1 --- inspect 4.7  2.7  260 0     0     error (2) 0 --- inspect .69   .69   20    .19  .029  - --- inspect - --- inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .33  .33  48 4.1  1.0  0     false(unreach-call) 1 wit inspect 6.2  3.3  270 0   0      true -32 --- inspect 13     7.6   340   .66 0   false(unreach-call) 1 --- inspect 5.3  3.0  260 0     0     false(unreach-call) 1 --- inspect .70   .70   20    .20  .029  - --- inspect - --- inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900     900     3000 11000    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .44 41 0   0   error (2) 0 --- inspect .025 .026 5.7 0    0    
systemc/kundu_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900     900     1500 10000    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 41 0   0   error (2) 0 --- inspect .024 .024 5.6 0    0    
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900     900     2200 10000    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 41 0   0   error (2) 0 --- inspect .024 .024 5.6 0    0    
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900     900     2400 9400    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .41 40 0   0   error (2) 0 --- inspect .023 .024 5.7 0    0    
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900     900     2800 9200    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .57 .36 42 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0    
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900     900     2600 8500    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .46 41 0   0   error (2) 0 --- inspect .020 .022 5.6 0    0    
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900     900     2200 8600    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .47 42 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0    
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900     900     1600 12000    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .81 .53 41 0   0   error (2) 0 --- inspect .021 .023 5.8 0    0    
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900     900     1000 12000    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .42 44 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0    
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c true 2 wit inspect .80  .80  40 9.5  .85 0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    870    4700 0   0   true 2 --- inspect 27     16     570   .62 0    
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900     900     3500 8400    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .41 42 0   0   error (2) 0 --- inspect .028 .029 5.6 0    0    
systemc/token_ring.01_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900     900     1600 12000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .46 42 0   0   error (2) 0 --- inspect .027 .027 5.5 0    0    
systemc/token_ring.02_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900     900     1100 9900    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 41 0   0   error (2) 0 --- inspect .027 .029 5.6 0    0    
systemc/token_ring.03_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900     900     550 12000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .43 40 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0    
systemc/token_ring.04_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900     900     990 14000    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 40 0   0   error (2) 0 --- inspect .025 .025 5.6 0    0    
systemc/token_ring.05_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900     900     960 12000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .82 .51 40 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0    
systemc/token_ring.06_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900     900     870 11000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .38 41 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0    
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900     900     720 12000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .46 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0    
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900     900     870 11000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .45 42 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0    
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900     900     1000 10000    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .48 41 0   0   error (2) 0 --- inspect .025 .025 5.6 0    0    
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900     900     770 11000    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .44 41 0   0   error (2) 0 --- inspect .026 .028 5.6 0    0    
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900     900     870 11000    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .47 41 0   0   error (2) 0 --- inspect .028 .029 5.6 0    0    
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900     900     990 11000    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .46 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0    
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900     900     1100 11000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .41 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0    
systemc/toy_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900     900     700 12000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .46 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 .12  .12  29 1.6  1.0  0     false(unreach-call) 1 wit inspect 6.3  3.4  270 0   0      true -32 --- inspect 9.3   5.7   310   .62 0   unknown 0 --- inspect 4.8  2.7  260 0     0     true -32 --- inspect .65   .65   20    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .12  .12  29 1.3  1.0  0     false(unreach-call) 1 wit inspect 5.9  3.2  270 0   0      true -32 --- inspect 9.5   5.3   310   .62 0   unknown 0 --- inspect 5.0  2.8  260 0     0     true -32 --- inspect .65   .66   20    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c false(unreach-call) 0 wit inspect .24  .24  29 2.2  1.0  0     true -32 wit inspect 6.9  3.7  270 0   0      true -32 --- inspect 9.3   5.6   310   .66 0   unknown 0 --- inspect 5.2  3.0  270 0     0     true -32 --- inspect .66   .66   21    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect .21  .21  29 3.3  1.0  0     true -32 wit inspect 6.1  3.3  260 0   0      true -32 --- inspect 9.4   5.3   320   .62 0   unknown 0 --- inspect 5.4  3.0  260 0     0     true -32 --- inspect .66   .66   21    .13  .020  - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c false(unreach-call) 0 wit inspect .19  .19  29 2.5  1.0  0     true -32 wit inspect 5.9  3.2  270 0   0      true -32 --- inspect 10     5.8   310   .62 0   unknown 0 --- inspect 5.4  3.0  270 0     0     true -32 --- inspect .70   .69   21    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect .20  .20  29 2.1  1.0  0     true -32 wit inspect 5.4  3.0  260 0   0      true -32 --- inspect 9.6   5.8   310   .62 0   unknown 0 --- inspect 5.5  3.1  270 0     0     true -32 --- inspect .66   .66   21    .13  .020  - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c false(unreach-call) 0 wit inspect .48  .48  29 6.1  .85 0     true -32 wit inspect 6.3  3.4  260 0   0      true -32 --- inspect 9.9   5.9   320   .62 0   unknown 0 --- inspect 6.3  3.5  270 0     0     true -32 --- inspect .68   .68   21    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect .46  .45  29 5.6  1.0  0     true -32 wit inspect 6.0  3.2  260 0   0      true -32 --- inspect 9.8   5.9   320   .62 0   unknown 0 --- inspect 6.4  3.6  270 0     0     true -32 --- inspect .71   .70   21    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect .43  .43  29 5.3  1.0  0     true -32 wit inspect 8.2  4.4  330 0   0      true -32 --- inspect 9.6   5.4   320   .62 0   unknown 0 --- inspect 7.4  4.1  280 0     0     true -32 --- inspect .67   .67   21    .11  .016  - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect .43  .42  29 5.8  1.0  0     true -32 wit inspect 8.8  4.7  320 0   0      true -32 --- inspect 9.1   5.2   310   .62 0   unknown 0 --- inspect 7.0  3.8  290 0     0     true -32 --- inspect .67   .67   21    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect .42  .42  29 5.4  .85 0     true -32 wit inspect 8.9  4.7  320 0   0      true -32 --- inspect 9.6   5.4   320   .62 0   unknown 0 --- inspect 5.8  3.2  270 0     0     true -32 --- inspect .65   .65   21    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect .41  .41  29 5.6  1.0  0     true -32 wit inspect 7.6  4.1  320 0   0      true -32 --- inspect 9.2   5.3   310   .62 0   unknown 0 --- inspect 6.0  3.3  270 0     0     true -32 --- inspect .66   .66   21    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .49  .49  29 5.9  1.0  0     false(unreach-call) 1 wit inspect 7.7  4.1  290 0   0      true -32 --- inspect 9.1   5.4   310   .62 0   unknown 0 --- inspect 4.6  2.6  260 0     0     true -32 --- inspect .65   .64   21    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .52  .52  29 6.0  .85 0     false(unreach-call) 1 wit inspect 8.4  4.5  290 0   0      true -32 --- inspect 9.2   5.2   320   .62 0   unknown 0 --- inspect 5.2  2.9  260 0     0     true -32 --- inspect .65   .65   21    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect .20  .20  29 2.0  1.0  0     true -32 wit inspect 9.2  4.9  270 0   0      true -32 --- inspect 9.2   5.2   310   .62 0   unknown 0 --- inspect 4.7  2.6  270 0     0     true -32 --- inspect .66   .66   21    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect .21  .21  29 2.1  .85 0     true -32 wit inspect 8.0  4.2  290 0   0      true -32 --- inspect 10     5.7   310   .66 0   unknown 0 --- inspect 4.8  2.7  270 0     0     true -32 --- inspect .67   .67   21    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect .52  .52  30 6.6  .85 0     true -32 wit inspect 7.2  3.8  270 0   0      true -32 --- inspect 9.3   5.2   310   .62 0   unknown 0 --- inspect 4.7  2.7  260 0     0     true -32 --- inspect .67   .67   21    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect .53  .52  30 6.5  .85 0     true -32 wit inspect 8.3  4.4  270 0   0      true -32 --- inspect 11     6.1   310   .66 0   unknown 0 --- inspect 4.9  2.8  270 0     0     true -32 --- inspect .66   .66   21    .11  .016  - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect .53  .53  30 6.3  1.0  0     true -32 wit inspect 7.8  4.1  270 0   0      true -32 --- inspect 10     5.8   320   .62 0   unknown 0 --- inspect 4.9  2.8  270 0     0     true -32 --- inspect .65   .64   21    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect .52  .52  30 6.5  1.0  0     true -32 wit inspect 6.9  3.7  270 0   0      true -32 --- inspect 8.9   5.5   320   .62 0   unknown 0 --- inspect 4.9  2.8  270 0     0     true -32 --- inspect .65   .65   21    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900     900     3600 10000    1.0  0     error (invalid witness file) 0 --- inspect .59 .37 41 0   0      error (2) 0 --- inspect .024 .025 5.7 0    0   error (invalid witness file) 0 --- inspect .93 .60 47 0     0     error (invalid witness file) 0 --- inspect .0054 .0063 .52 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.5   1.5   49 22    .85 0     false(unreach-call) 1 wit inspect 10    5.6  360 0   0      true -32 --- inspect 12     7.0   350   .62 0   unknown 0 --- inspect 5.9  3.2  280 0     0     true -32 --- inspect .74   .74   21    .17  .029  - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.5   1.5   50 24    .85 0     false(unreach-call) 1 wit inspect 12    6.2  350 0   0      true -32 --- inspect 12     6.9   350   .62 0   unknown 0 --- inspect 5.8  3.2  290 0     0     true -32 --- inspect .73   .72   21    .18  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 0 wit inspect 1.2   1.2   53 16    1.0  0     true -32 wit inspect 10    5.3  420 0   0      true -32 --- inspect 13     7.1   360   .62 0   unknown 0 --- inspect 5.6  3.1  290 0     0     true -32 --- inspect .72   .72   21    .18  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 1.2   1.2   53 18    1.0  0     true -32 wit inspect 9.7  5.1  350 0   0      true -32 --- inspect 12     6.8   360   .62 0   unknown 0 --- inspect 5.8  3.1  280 0     0     true -32 --- inspect .74   .76   21    .12  .033  - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 0 wit inspect 1.6   1.6   53 24    .85 0     true -32 wit inspect 12    6.2  420 0   0      true -32 --- inspect 13     7.5   350   .62 0   unknown 0 --- inspect 6.1  3.4  290 0     0     true -32 --- inspect .76   .76   21    .18  .033  - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 1.6   1.6   52 22    1.0  0     true -32 wit inspect 9.2  4.8  380 0   0      true -32 --- inspect 12     6.8   370   .62 0   unknown 0 --- inspect 6.3  3.5  290 0     0     true -32 --- inspect .77   .77   21    .18  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 0 wit inspect 1.9   1.9   53 24    1.0  0     true -32 wit inspect 10    5.3  400 0   0      true -32 --- inspect 11     6.6   370   .62 0   unknown 0 --- inspect 6.4  3.5  290 0     0     true -32 --- inspect .73   .73   21    .18  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 2.0   2.0   53 24    1.0  0     true -32 wit inspect 9.0  4.7  360 0   0      true -32 --- inspect 14     7.4   360   .62 0   unknown 0 --- inspect 5.9  3.3  280 0     0     true -32 --- inspect .73   .73   21    .18  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900     900     780 11000    1.0  0     error (invalid witness file) 0 --- inspect .72 .44 42 0   0      error (2) 0 --- inspect .022 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .59 47 0     0     error (invalid witness file) 0 --- inspect .0049 .0059 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 6.5   6.5   150 77    1.0  0     true -32 wit inspect 16    8.5  490 0   0      true -32 --- inspect 14     8.5   480   .62 0   unknown 0 --- inspect 8.0  4.3  320 0     0     true -32 --- inspect .88   .88   22    .31  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 6.5   6.5   150 90    1.0  0     true -32 wit inspect 14    7.5  480 0   0      true -32 --- inspect 15     8.9   490   .62 0   unknown 0 --- inspect 7.3  4.0  290 0     0     true -32 --- inspect .92   .96   22    .32  .057  - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 5.8   5.8   160 74    .85 0     true -32 wit inspect 16    8.1  480 0   0      true -32 --- inspect 18     10     520   .66 0   unknown 0 --- inspect 7.6  4.1  310 0     0     true -32 --- inspect .90   .90   22    .32  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 5.6   5.6   160 66    .85 0     true -32 wit inspect 13    6.6  480 0   0      true -32 --- inspect 17     9.6   520   .62 0   unknown 0 --- inspect 8.0  4.3  320 0     0     true -32 --- inspect .90   .89   22    .32  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 7.1   7.1   160 89    1.0  0     true -32 wit inspect 16    8.3  500 0   0      true -32 --- inspect 15     8.8   520   .62 0   unknown 0 --- inspect 7.7  4.2  320 0     0     true -32 --- inspect .91   .91   23    .32  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 7.0   7.0   160 79    1.0  0     true -32 wit inspect 14    7.1  490 0   0      true -32 --- inspect 18     10     470   .66 0   unknown 0 --- inspect 8.3  4.5  330 0     0     true -32 --- inspect .95   .95   23    .32  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 7.1   7.1   160 92    1.0  0     true -32 wit inspect 15    8.0  480 0   0      true -32 --- inspect 16     9.5   520   .62 0   unknown 0 --- inspect 8.7  4.7  290 0     0     true -32 --- inspect .90   .90   22    .32  .066  - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 7.0   7.0   160 110    .85 .066 true -32 wit inspect 13    6.9  490 0   0      true -32 --- inspect 13     8.1   530   .62 0   unknown 0 --- inspect 7.4  4.0  290 0     0     true -32 --- inspect .90   .90   22    .32  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900     900     220 13000    .86 0     error (invalid witness file) 0 --- inspect .62 .38 40 0   0      error (2) 0 --- inspect .023 .024 5.5 0    0   error (invalid witness file) 0 --- inspect .93 .60 48 0     0     error (invalid witness file) 0 --- inspect .0043 .0071 .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 .37  .37  27 4.2  .85 0     true -32 wit inspect 6.9  3.7  260 0   0      true -32 --- inspect 9.5   5.6   310   .62 0   unknown 0 --- inspect 4.8  2.7  270 0     0     false(unreach-call) 1 --- inspect .62   .62   21    .086 .012  - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .36  .36  28 5.1  1.0  0     true -32 wit inspect 6.4  3.4  260 0   0      true -32 --- inspect 8.3   5.1   310   .62 0   unknown 0 --- inspect 4.9  2.8  270 0     0     false(unreach-call) 1 --- inspect .63   .63   21    .086 .012  - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .36  .36  27 4.1  1.0  0     true -32 wit inspect 6.5  3.5  260 0   0      true -32 --- inspect 9.3   5.5   310   .62 0   unknown 0 --- inspect 4.6  2.7  250 0     0     false(unreach-call) 1 --- inspect .63   .63   21    .086 .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 .40  .40  27 5.1  .85 0     true -32 wit inspect 7.5  4.0  260 0   0      true -32 --- inspect 8.7   4.8   310   .62 0   unknown 0 --- inspect 4.5  2.6  260 0     0     false(unreach-call) 1 --- inspect .64   .64   21    .086 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 .67  .67  28 10    1.0  0     true -32 wit inspect 9.0  4.8  280 0   0      true -32 --- inspect 9.1   5.1   310   .62 0   unknown 0 --- inspect 4.9  2.8  270 0     0     false(unreach-call) 1 --- inspect .64   .64   21    .098 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .68  .68  28 8.5  1.0  0     true -32 wit inspect 6.6  3.5  280 0   0      true -32 --- inspect 8.7   5.0   310   .62 0   unknown 0 --- inspect 6.4  3.6  260 0     0     false(unreach-call) 1 --- inspect .64   .64   21    .10  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect .95  .95  28 12    1.0  0     true -32 wit inspect 7.2  3.9  270 0   0      true -32 --- inspect 8.4   5.2   320   .62 0   unknown 0 --- inspect 4.9  2.8  260 0     0     false(unreach-call) 1 --- inspect .63   .63   21    .098 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .75  .75  28 10    .85 0     true -32 wit inspect 7.5  4.1  260 0   0      true -32 --- inspect 8.8   5.4   320   .66 0   unknown 0 --- inspect 5.0  2.9  260 0     0     false(unreach-call) 1 --- inspect .66   .66   21    .10  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 1.5   1.5   32 18    1.0  0     true -32 wit inspect 11    5.5  350 0   0      true -32 --- inspect 8.9   5.4   310   .62 0   unknown 0 --- inspect 5.7  3.2  280 0     0     false(unreach-call) 1 --- inspect .66   .66   21    .11  .016  - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.6   1.6   33 19    1.0  0     true -32 wit inspect 9.0  4.8  290 0   0      true -32 --- inspect 9.3   5.2   310   .62 0   unknown 0 --- inspect 5.9  3.2  290 0     0     false(unreach-call) 1 --- inspect .69   .69   21    .11  .016  - --- 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 1.4   1.4   31 18    1.0  0     true -32 wit inspect 9.6  5.1  320 0   0      true -32 --- inspect 9.1   5.2   310   .62 0   unknown 0 --- inspect 5.6  3.1  280 0     0     false(unreach-call) 1 --- inspect .66   .66   21    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.5   1.5   32 21    .85 0     true -32 wit inspect 8.2  4.4  270 0   0      true -32 --- inspect 9.2   5.6   310   .62 0   unknown 0 --- inspect 5.4  3.0  280 0     0     false(unreach-call) 1 --- inspect .66   .66   21    .11  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 3.8   3.8   40 50    .85 0     true -32 wit inspect 12    6.4  450 0   0      true -32 --- inspect 9.7   5.5   310   .62 0   unknown 0 --- inspect 6.2  3.4  300 0     0     false(unreach-call) 1 --- inspect .68   .68   21    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 3.1   3.1   41 34    1.0  0     true -32 wit inspect 9.8  5.2  300 0   0      true -32 --- inspect 9.4   5.6   320   .62 0   unknown 0 --- inspect 6.0  3.3  260 0     0     false(unreach-call) 1 --- inspect .69   .69   21    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c false(unreach-call) 1 wit inspect 4.4   4.4   39 52    1.0  0     true -32 wit inspect 9.8  5.1  420 0   0      true -32 --- inspect 11     6.6   310   .62 0   unknown 0 --- inspect 6.0  3.3  290 0     0     false(unreach-call) 1 --- inspect .71   .71   21    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 3.7   3.7   40 43    1.0  0     true -32 wit inspect 8.9  4.7  300 0   0      true -32 --- inspect 9.2   5.6   320   .62 0   unknown 0 --- inspect 5.5  3.1  260 0     0     false(unreach-call) 1 --- inspect .68   .68   21    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .31  .31  27 3.2  .85 0     true -32 wit inspect 6.3  3.4  270 0   0      true -32 --- inspect 9.0   5.0   310   .66 0   unknown 0 --- inspect 4.5  2.6  250 0     0     false(unreach-call) 1 --- inspect .61   .61   21    .082 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .28  .28  27 4.7  1.0  0     true -32 wit inspect 5.1  2.8  270 0   0      true -32 --- inspect 9.8   5.7   310   .62 0   unknown 0 --- inspect 4.5  2.6  260 0     0     false(unreach-call) 1 --- inspect .63   .62   21    .082 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900     900     1200 11000    .86 0     error (invalid witness file) 0 --- inspect .76 .47 41 0   0      error (2) 0 --- inspect .028 .029 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .61 47 0     0     error (invalid witness file) 0 --- inspect .0022 .0028 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect .50  .50  28 6.2  1.0  0     true -32 wit inspect 6.6  3.5  260 0   0      true -32 --- inspect 8.7   5.2   310   .62 0   unknown 0 --- inspect 4.8  2.7  260 0     0     false(unreach-call) 1 --- inspect .65   .65   21    .086 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .50  .50  27 7.2  .85 0     true -32 wit inspect 6.0  3.2  280 0   0      true -32 --- inspect 8.1   4.5   310   .66 0   unknown 0 --- inspect 5.1  2.8  270 0     0     false(unreach-call) 1 --- inspect .64   .64   21    .090 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900     900     750 11000    .86 0     error (invalid witness file) 0 --- inspect .67 .41 40 0   0      error (2) 0 --- inspect .027 .029 5.7 0    0   error (invalid witness file) 0 --- inspect .90 .58 47 0     0     error (invalid witness file) 0 --- inspect .0049 .0058 .39 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect .90  .90  29 13    .85 0     true -32 wit inspect 6.7  3.6  260 0   0      true -32 --- inspect 8.8   4.9   310   .62 0   unknown 0 --- inspect 5.6  3.1  280 0     0     false(unreach-call) 1 --- inspect .68   .68   21    .10  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .92  .92  30 11    1.0  0     true -32 wit inspect 6.7  3.6  290 0   0      true -32 --- inspect 9.3   5.1   310   .66 0   unknown 0 --- inspect 5.7  3.2  280 0     0     false(unreach-call) 1 --- inspect .66   .66   21    .10  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900     900     490 11000    1.0  0     error (invalid witness file) 0 --- inspect .68 .41 40 0   0      error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .60 47 0     0     error (invalid witness file) 0 --- inspect .0042 .0048 .40 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c false(unreach-call) 1 wit inspect 1.6   1.6   35 19    .85 0     true -32 wit inspect 7.1  3.8  290 0   0      true -32 --- inspect 10     5.6   310   .62 0   unknown 0 --- inspect 6.0  3.3  290 0     0     false(unreach-call) 1 --- inspect .68   .68   21    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.6   1.6   36 23    1.0  0     true -32 wit inspect 7.3  3.9  290 0   0      true -32 --- inspect 8.9   5.4   310   .62 0   unknown 0 --- inspect 6.4  3.5  290 0     0     false(unreach-call) 1 --- inspect .68   .68   21    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900     900     340 13000    .86 0     error (invalid witness file) 0 --- inspect .77 .48 42 0   0      error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .60 49 0     0     error (invalid witness file) 0 --- inspect .0060 .0083 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c false(unreach-call) 1 wit inspect 3.5   3.5   43 39    .85 0     true -32 wit inspect 7.6  4.1  300 0   0      true -32 --- inspect 9.1   5.4   310   .62 0   unknown 0 --- inspect 6.6  3.7  300 0     0     false(unreach-call) 1 --- inspect .71   .71   21    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 3.5   3.5   44 46    .85 0     true -32 wit inspect 7.5  3.9  300 0   0      true -32 --- inspect 10     5.8   320   .62 0   unknown 0 --- inspect 7.2  4.0  310 0     0     false(unreach-call) 1 --- inspect .72   .72   22    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900     900     250 12000    1.0  0     error (invalid witness file) 0 --- inspect .59 .39 40 0   0      error (2) 0 --- inspect .021 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .60 47 0     0     error (invalid witness file) 0 --- inspect .0016 .0023 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals_true-termination.c false(unreach-call) 1 wit inspect 9.4   9.4   53 120    1.0  0     true -32 wit inspect 8.2  4.3  310 0   0      true -32 --- inspect 9.5   5.9   320   .62 0   unknown 0 --- inspect 7.2  3.9  320 0     0     false(unreach-call) 1 --- inspect .75   .74   22    .14  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 9.4   9.4   53 110    1.0  0     true -32 wit inspect 8.8  4.6  320 0   0      true -32 --- inspect 12     6.7   310   .66 0   unknown 0 --- inspect 7.4  4.0  320 0     0     false(unreach-call) 1 --- inspect .74   .76   22    .14  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.8_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900     900     210 11000    1.0  0     error (invalid witness file) 0 --- inspect .59 .36 41 0   0      error (2) 0 --- inspect .026 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .63 47 0     0     error (invalid witness file) 0 --- inspect .0050 .0077 .66 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .56  .56  30 6.2  1.0  0     false(unreach-call) 1 wit inspect 6.7  3.6  280 0   0      true -32 --- inspect 10     5.9   310   .62 0   unknown 0 --- inspect 5.0  2.8  270 0     0     true -32 --- inspect .65   .65   21    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .52  .52  30 7.4  1.0  0     false(unreach-call) 1 wit inspect 7.6  4.1  280 0   0      true -32 --- inspect 9.4   5.3   310   .66 0   unknown 0 --- inspect 4.9  2.8  270 0     0     true -32 --- inspect .66   .66   21    .12  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect .19  .19  29 2.2  .85 0     true -32 wit inspect 8.0  4.2  310 0   0      true -32 --- inspect 9.3   5.5   320   .62 0   unknown 0 --- inspect 4.8  2.7  270 0     0     true -32 --- inspect .64   .64   21    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect .21  .21  29 2.1  .85 0     true -32 wit inspect 7.8  4.1  270 0   0      true -32 --- inspect 9.3   5.7   310   .62 0   unknown 0 --- inspect 5.1  2.9  260 0     0     true -32 --- inspect .66   .66   21    .12  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect .55  .55  30 6.8  .85 0     true -32 wit inspect 8.9  4.7  290 0   0      true -32 --- inspect 9.2   5.6   310   .62 0   unknown 0 --- inspect 5.2  2.9  270 0     0     true -32 --- inspect .66   .67   21    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect .54  .54  30 6.8  1.0  0     true -32 wit inspect 7.7  4.1  260 0   0      true -32 --- inspect 8.9   5.1   320   .62 0   unknown 0 --- inspect 4.9  2.8  270 0     0     true -32 --- inspect .67   .67   21    .12  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect .54  .54  30 7.4  1.0  0     true -32 wit inspect 7.9  4.2  280 0   0      true -32 --- inspect 9.0   5.1   310   .62 0   unknown 0 --- inspect 5.1  2.9  270 0     0     true -32 --- inspect .66   .66   21    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect .53  .54  30 6.7  1.0  0     true -32 wit inspect 7.9  4.2  280 0   0      true -32 --- inspect 10     6.0   320   .62 0   unknown 0 --- inspect 5.3  2.9  270 0     0     true -32 --- inspect .69   .68   21    .12  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900     900     3300 9800    1.0  0     error (invalid witness file) 0 --- inspect .66 .41 41 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .64 48 0     0     error (invalid witness file) 0 --- inspect .0019 .0024 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 1.6   1.6   52 21    1.0  0     false(unreach-call) 1 wit inspect 9.2  4.9  360 0   0      true -32 --- inspect 14     8.3   360   .62 0   unknown 0 --- inspect 6.0  3.3  280 0     0     true -32 --- inspect .73   .73   21    .18  .029  - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.6   1.6   51 19    .85 0     false(unreach-call) 1 wit inspect 11    5.6  360 0   0      true -32 --- inspect 12     6.9   370   .62 0   unknown 0 --- inspect 6.0  3.3  290 0     0     true -32 --- inspect .73   .73   21    .18  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 0 wit inspect 1.3   1.3   55 17    1.0  0     true -32 wit inspect 11    5.6  430 0   .037  true -32 --- inspect 12     6.9   370   .66 0   unknown 0 --- inspect 5.8  3.3  270 0     0     true -32 --- inspect .77   .77   21    .19  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 1.3   1.3   55 19    1.0  0     true -32 wit inspect 9.1  4.8  370 0   0      true -32 --- inspect 12     7.0   370   .62 0   unknown 0 --- inspect 5.5  3.1  270 0     0     true -32 --- inspect .74   .74   21    .19  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 0 wit inspect 1.7   1.7   55 19    1.0  0     true -32 wit inspect 13    6.9  440 0   0      true -32 --- inspect 12     7.2   360   .62 0   unknown 0 --- inspect 6.0  3.3  290 0     0     true -32 --- inspect .73   .73   21    .19  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 1.8   1.8   54 22    1.0  0     true -32 wit inspect 9.6  5.1  380 0   0      true -32 --- inspect 12     6.5   370   .66 0   unknown 0 --- inspect 5.8  3.2  260 0     0     true -32 --- inspect .76   .76   21    .19  .037  - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 0 wit inspect 1.7   1.8   55 22    .85 0     true -32 wit inspect 11    5.9  430 0   0      true -32 --- inspect 13     7.4   360   .62 0   unknown 0 --- inspect 6.0  3.4  270 0     0     true -32 --- inspect .73   .73   21    .19  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 1.7   1.7   55 23    .85 0     true -32 wit inspect 11    5.5  400 0   0      true -32 --- inspect 12     6.5   370   .62 0   unknown 0 --- inspect 6.0  3.3  290 0     0     true -32 --- inspect .74   .74   21    .19  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900     900     810 10000    .86 0     error (invalid witness file) 0 --- inspect .59 .36 41 0   0      error (2) 0 --- inspect .022 .024 5.7 0    0   error (invalid witness file) 0 --- inspect 1.0  .65 48 0     0     error (invalid witness file) 0 --- inspect .0049 .0060 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 7.0   7.0   150 80    .85 0     false(unreach-call) 1 wit inspect 16    8.3  490 0   0      true -32 --- inspect 17     9.8   510   .62 0   unknown 0 --- inspect 7.4  4.0  310 0     0     true -32 --- inspect .88   .88   22    .32  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 6.9   6.9   150 89    .85 0     false(unreach-call) 1 wit inspect 14    7.5  510 0   0      true -32 --- inspect 15     8.9   460   .62 0   unknown 0 --- inspect 7.6  4.1  300 0     0     true -32 --- inspect .91   .91   22    .32  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 6.0   6.0   160 79    1.0  0     true -32 wit inspect 16    8.5  550 0   0      true -32 --- inspect 16     9.6   520   .62 0   unknown 0 --- inspect 8.1  4.4  300 0     0     true -32 --- inspect .89   .89   22    .33  .070  - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 6.0   6.0   160 69    .85 0     true -32 wit inspect 16    8.3  480 0   0      true -32 --- inspect 15     8.9   510   .62 0   unknown 0 --- inspect 8.3  4.5  300 0     0     true -32 --- inspect .91   .91   22    .34  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 7.5   7.5   160 84    .85 0     true -32 wit inspect 17    9.0  550 0   0      true -32 --- inspect 16     9.1   470   .62 0   unknown 0 --- inspect 7.9  4.3  290 0     0     true -32 --- inspect .91   .91   22    .33  .070  - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 7.5   7.5   160 87    1.0  0     true -32 wit inspect 14    7.3  480 0   0      true -32 --- inspect 17     9.4   540   .62 0   unknown 0 --- inspect 7.4  4.1  290 0     0     true -32 --- inspect .92   .92   22    .34  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 7.8   7.8   160 89    .85 0     true -32 wit inspect 17    8.7  540 0   0      true -32 --- inspect 16     9.6   540   .62 0   unknown 0 --- inspect 7.5  4.1  300 0     0     true -32 --- inspect .93   .93   22    .33  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 7.8   7.8   160 91    .85 0     true -32 wit inspect 13    6.8  480 0   0      true -32 --- inspect 16     9.0   540   .62 0   unknown 0 --- inspect 9.0  4.8  290 0     0     true -32 --- inspect .92   .92   22    .34  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900     900     220 12000    .86 0     error (invalid witness file) 0 --- inspect .66 .40 42 0   0      error (2) 0 --- inspect .027 .028 5.7 0    0   error (invalid witness file) 0 --- inspect .97 .62 48 0     0     error (invalid witness file) 0 --- inspect .0017 .0021 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c false(unreach-call) 0 wit inspect 34     34     330 430    1.0  0     timeout 0 wit inspect 96    74    2300 0   0      true -32 --- inspect 22     13     540   .62 0   unknown 0 --- inspect 8.9  4.7  400 0     .098 error (2) 0 --- inspect 1.0    1.0    22    .48  0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c timeout 0 --- inspect 900     900     2100 9900    .86 0     error (invalid witness file) 0 --- inspect .72 .43 40 0   0      error (2) 0 --- inspect .022 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .60 48 0     0     error (invalid witness file) 0 --- inspect .0016 .0021 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c false(unreach-call) 0 wit inspect 27     27     270 330    .85 0     timeout 0 wit inspect 97    72    2200 0   0      true -32 --- inspect 26     16     590   .62 0   unknown 0 --- inspect 8.6  4.6  380 0     0     error (2) 0 --- inspect 1.0    1.0    22    .49  0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c timeout 0 --- inspect 900     900     2100 11000    .86 0     error (invalid witness file) 0 --- inspect .76 .48 41 0   0      error (2) 0 --- inspect .022 .025 5.7 0    0   error (invalid witness file) 0 --- inspect .96 .62 48 0     0     error (invalid witness file) 0 --- inspect .0017 .0020 .39 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c false(unreach-call) 0 wit inspect 110     110     520 1300    .85 0     timeout 0 wit inspect 97    74    2100 0   0      true -32 --- inspect 30     18     760   .62 0   unknown 0 --- inspect 12    6.1  490 0     .098 error (2) 0 --- inspect 1.2    1.2    24    .61  0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c timeout 0 --- inspect 900     900     2400 8800    .86 0     error (invalid witness file) 0 --- inspect .68 .41 41 0   0      error (2) 0 --- inspect .027 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .63 47 0     0     error (invalid witness file) 0 --- inspect .0016 .0018 .39 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c false(unreach-call) 0 wit inspect 53     53     390 600    1.0  0     timeout 0 wit inspect 96    75    2200 0   0      true -32 --- inspect 28     16     770   .62 0   unknown 0 --- inspect 11    5.8  490 0     0     error (2) 0 --- inspect 1.2    1.2    24    .60  0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c timeout 0 --- inspect 900     900     2200 8500    .86 0     error (invalid witness file) 0 --- inspect .61 .37 40 0   0      error (2) 0 --- inspect .023 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .60 48 0     0     error (invalid witness file) 0 --- inspect .0052 .0063 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c timeout 0 --- inspect 900     900     1100 11000    1.0  0     error (invalid witness file) 0 --- inspect .74 .46 42 0   0      error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .61 47 0     0     error (invalid witness file) 0 --- inspect .0050 .0062 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c timeout 0 --- inspect 900     900     1600 11000    .86 0     error (invalid witness file) 0 --- inspect .74 .46 40 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .64 47 0     0     error (invalid witness file) 0 --- inspect .0044 .0056 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c timeout 0 --- inspect 900     900     1200 7700    1.0  0     error (invalid witness file) 0 --- inspect .63 .39 42 0   0      error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .61 47 0     0     error (invalid witness file) 0 --- inspect .0020 .0026 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c timeout 0 --- inspect 900     900     2900 9300    1.0  0     error (invalid witness file) 0 --- inspect .61 .37 42 0   0      error (2) 0 --- inspect .022 .024 5.7 0    0   error (invalid witness file) 0 --- inspect .95 .61 48 0     0     error (invalid witness file) 0 --- inspect .0054 .0066 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c timeout 0 --- inspect 900     900     1200 7600    .86 0     error (invalid witness file) 0 --- inspect .72 .43 40 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 .0048 .0061 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c timeout 0 --- inspect 900     900     1800 8900    1.0  0     error (invalid witness file) 0 --- inspect .59 .37 41 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .99 .64 49 0     0     error (invalid witness file) 0 --- inspect .0048 .0062 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c false(unreach-call) 0 wit inspect 6.4   6.4   170 79    .85 0     timeout 0 wit inspect 97    69    2100 0   0      true -32 --- inspect 28     17     720   .62 0   unknown 0 --- inspect 11    5.9  480 0     0     error (2) 0 --- inspect 1.2    1.2    26    .63  0      - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c timeout 0 --- inspect 900     900     1800 10000    .86 0     error (invalid witness file) 0 --- inspect .65 .39 42 0   0      error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .99 .67 47 0     0     error (invalid witness file) 0 --- inspect .0065 .0084 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c false(unreach-call) 0 wit inspect 6.2   6.2   170 77    .85 0     timeout 0 wit inspect 96    74    2200 0   0      true -32 --- inspect 27     17     650   .62 0   unknown 0 --- inspect 11    5.6  480 0     0     error (2) 0 --- inspect 1.2    1.2    26    .65  0      - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c false(unreach-call) 0 wit inspect 390     390     1200 4500    .85 0     out of memory 0 --- inspect 79    64    7000 0   0      true -32 --- inspect 31     18     610   .62 0   unknown 0 --- inspect 10    5.3  470 0     .098 error (2) 0 --- inspect 1.2    1.2    26    .65  .11   - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c false(unreach-call) 0 wit inspect 12     12     240 130    1.0  0     timeout 0 wit inspect 97    73    2100 0   0      true -32 --- inspect 30     19     930   .62 0   unknown 0 --- inspect 11    5.8  500 0     0     error (2) 0 --- inspect 1.4    1.4    38    .97  .0082 - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c timeout 0 --- inspect 900     900     2000 9200    .86 0     error (invalid witness file) 0 --- inspect .62 .39 40 0   0      error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .60 46 0     0     error (invalid witness file) 0 --- inspect .0016 .0021 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c false(unreach-call) 1 wit inspect 28     28     360 350    .85 0     true -32 wit inspect 15    7.8  660 0   0      true -32 --- inspect 40     25     730   .62 0   unknown 0 --- inspect 33    21    1700 0     0     false(unreach-call) 1 --- inspect 1.5    1.5    26    .71  0      - --- inspect - --- inspect
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c false(unreach-call) 1 wit inspect 96     96     490 1200    1.0  0     true -32 wit inspect 21    11    840 0   0      true -32 --- inspect 42     29     710   .62 0   timeout 0 --- inspect 8.8  130    380 .066 0     false(unreach-call) 1 --- inspect 1.8    1.8    33    .73  0      - --- inspect - --- inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c false(unreach-call) 0 wit inspect 13     13     130 200    .85 0     timeout 0 wit inspect 97    88    4200 0   0      true -32 --- inspect 29     17     570   .62 0   unknown 0 --- inspect 14    7.5  530 0     .098 error (2) 0 --- inspect .99   .99   22    .47  0      - --- inspect - --- inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c false(unreach-call) 0 wit inspect 65     65     310 720    1.0  0     out of memory 0 --- inspect 81    67    7000 0   0      true -32 --- inspect 26     16     540   .62 0   unknown 0 --- inspect 21    12    950 0     0     error (2) 0 --- inspect 1.3    1.3    27    .48  0      - --- inspect - --- inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c false(unreach-call) 0 wit inspect 15     15     150 190    1.0  0     timeout 0 wit inspect 98    74    2400 0   0      true -32 --- inspect 25     16     560   .62 0   unknown 0 --- inspect 9.8  5.3  470 0     0     error (2) 0 --- inspect 1.1    1.1    23    .56  0      - --- inspect - --- inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c timeout 0 --- inspect 900     900     1300 9300    1.0  0     error (invalid witness file) 0 --- inspect .63 .39 41 0   0      error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .62 47 0     0     error (invalid witness file) 0 --- inspect .0055 .0068 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c true 2 wit inspect 1.4   1.4   34 17    .85 0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 260    240    970 0   0   timeout 0 --- inspect 960     770     6900   .64 0    
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900     900     3400 13000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .36 40 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0    
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect .29  .29  29 3.5  .85 0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 130    110    2200 0   0   true 2 --- inspect 300     230     3500   .62 0    
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect .28  .28  29 3.5  .85 0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3800 0   0   true 2 --- inspect 290     220     3800   .62 0    
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .86  .86  30 12    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 38    30    530 0   0   out of memory 0 --- inspect 170     110     7000   .64 0    
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900     900     3600 12000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .67 .40 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0    
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 1 wit inspect 30     30     62 380    .85 0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    790 0   0   out of memory 0 --- inspect 230     150     7000   .63 .033
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900     900     800 11000    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .37 42 0   0   error (2) 0 --- inspect .026 .028 5.7 0    0    
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 --- inspect 900     900     220 11000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .46 40 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0    
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900     900     230 14000    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .43 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0    
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .42  .42  27 5.6  1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 21    13    480 0   0   out of memory 0 --- inspect 220     150     7000   .63 0    
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900     900     1100 12000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .82 .51 42 0   0   error (2) 0 --- inspect .028 .029 5.6 0    0    
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect .86  .86  28 11    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 68    57    560 0   0   out of memory 0 --- inspect 170     110     7000   .63 0    
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900     900     630 14000    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .69 .42 41 0   0   error (2) 0 --- inspect .039 .040 5.6 0    0    
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 2.5   2.5   33 40    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 300    290    730 0   0   out of memory 0 --- inspect 170     110     7000   .64 0    
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900     900     310 11000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .69 .42 40 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0    
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c true 1 wit inspect 7.2   7.2   42 93    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    1100 0   0   out of memory 0 --- inspect 150     99     7000   .65 0    
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900     900     210 11000    1.0  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    
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .32  .32  27 4.0  1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 16    9.9  440 0   0   timeout 0 --- inspect 960     870     3500   .63 0    
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900     900     1200 11000    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .39 40 0   0   error (2) 0 --- inspect .025 .027 5.7 0    0    
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect .70  .70  28 11    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 32    25    530 0   0   out of memory 0 --- inspect 220     150     7000   .63 0    
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900     900     760 11000    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .80 .49 41 0   0   error (2) 0 --- inspect .028 .029 5.6 0    0    
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 1.3   1.3   28 16    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 87    77    630 0   0   out of memory 0 --- inspect 250     170     7000   .64 0    
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900     900     490 12000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 40 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0    
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c true 2 wit inspect 3.9   3.9   35 59    .85 0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 260    250    750 0   0   out of memory 0 --- inspect 350     240     7000   .67 0    
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900     900     350 11000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .38 43 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0    
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c true 1 wit inspect 9.1   9.1   45 110    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    1200 0   0   out of memory 0 --- inspect 260     170     7000   .62 0    
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900     900     250 11000    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .45 40 0   0   error (2) 0 --- inspect .032 .033 5.6 0    0    
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c true 1 wit inspect 16     16     56 190    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    1400 0   0   out of memory 0 --- inspect 210     130     7000   .71 0    
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900     900     210 11000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .46 41 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0    
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .91  .91  30 16    .85 0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 41    31    540 0   0   out of memory 0 --- inspect 160     100     7000   .66 0    
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900     900     3400 8700    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .48 43 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0    
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 1 wit inspect 29     29     64 370    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    860 0   0   out of memory 0 --- inspect 160     110     7000   .63 0    
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900     900     830 14000    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .42 40 0   0   error (2) 0 --- inspect .021 .023 5.7 0    0    
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 --- inspect 900     900     230 11000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .37 41 0   0   error (2) 0 --- inspect .025 .027 5.8 0    0    
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900     900     230 11000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .44 40 0   0   error (2) 0 --- inspect .028 .029 5.6 0    0    
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c true 1 wit inspect 78     78     270 1200    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 910    900    6300 0   0   timeout 0 --- inspect 960     940     1400   .63 0    
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c timeout 0 --- inspect 900     900     2300 9300    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .38 40 0   0   error (2) 0 --- inspect .021 .023 5.7 0    0    
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c false(unreach-call) -16 wit inspect 120     120     620 1400    .85 0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 960    850    5400 0   0   true 2 --- inspect 32     18     680   .66 0    
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c timeout 0 --- inspect 900     900     2300 8100    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .38 42 0   0   error (2) 0 --- inspect .027 .028 5.7 0    0    
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c timeout 0 --- inspect 900     900     1200 9600    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .39 40 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0    
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c timeout 0 --- inspect 900     900     1300 12000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .48 42 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0    
seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c timeout 0 --- inspect 900     900     1800 9900    .85 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .45 42 0   0   error (2) 0 --- inspect .028 .030 5.6 0    0    
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c timeout 0 --- inspect 900     900     2400 11000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .79 .48 41 0   0   error (2) 0 --- inspect .028 .029 5.6 0    0    
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c timeout 0 --- inspect 900     900     1200 7100    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .69 .42 40 0   0   error (2) 0 --- inspect .023 .023 5.6 0    0    
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c timeout 0 --- inspect 900     900     2700 10000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .45 41 0   0   error (2) 0 --- inspect .021 .024 5.6 0    0    
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c timeout 0 --- inspect 900     900     1000 10000    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .37 42 0   0   error (2) 0 --- inspect .028 .029 5.7 0    0    
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c timeout 0 --- inspect 900     900     2100 9200    .85 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .45 41 0   0   error (2) 0 --- inspect .027 .029 5.6 0    0    
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c true 1 wit inspect 33     33     170 430    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 910    900    6000 0   0   timeout 0 --- inspect 960     940     1400   .68 0    
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c timeout 0 --- inspect 900     900     1900 7900    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 40 0   0   error (2) 0 --- inspect .026 .028 5.7 0    0    
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c true 1 wit inspect 13     13     170 160    .85 0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 910    890    5400 0   0   timeout 0 --- inspect 960     950     590   .63 0    
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c true 1 wit inspect 390     390     910 4500    .85 0     - --- inspect - --- inspect - --- inspect - --- inspect out of memory 0 --- inspect 98    75    7000 0   0   timeout 0 --- inspect 960     950     590   .63 0    
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c false(unreach-call) -16 wit inspect 15     15     240 190    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 750    670    3500 0   0   true 2 --- inspect 41     23     840   .66 0    
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c timeout 0 --- inspect 900     900     2100 8600    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .37 40 0   0   error (2) 0 --- inspect .022 .023 5.7 0    0    
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c false(unreach-call) -16 wit inspect 11     11     250 120    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 170    130    2200 0   0   true 2 --- inspect 37     21     950   .66 0    
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c timeout 0 --- inspect 900     900     2100 9400    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .46 40 0   0   error (2) 0 --- inspect .026 .027 5.7 0    0    
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c true 1 wit inspect 43     43     370 510    .85 0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 910    890    2600 0   0   timeout 0 --- inspect 960     950     720   .63 0    
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c true 1 wit inspect 35     35     370 480    .85 0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 910    890    2600 0   0   timeout 0 --- inspect 960     950     760   1.8  0    
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c true 1 wit inspect 100     100     500 1200    .85 0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 910    890    3600 0   0   timeout 0 --- inspect 960     950     730   .64 0    
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c true 1 wit inspect 300     300     690 3300    .85 0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 910    890    4500 0   0   timeout 0 --- inspect 960     950     690   .63 0    
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c true 1 wit inspect 13     13     130 160    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 910    900    6100 0   0   timeout 0 --- inspect 960     950     570   .64 0    
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c true 1 wit inspect 540     540     870 6100    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect out of memory 0 --- inspect 79    63    7000 0   0   timeout 0 --- inspect 960     950     580   .63 0    
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c true 1 wit inspect 14     14     140 200    .85 0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 910    900    5100 0   0   timeout 0 --- inspect 960     940     610   .63 0    
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c true 1 wit inspect 170     170     530 2400    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect out of memory 0 --- inspect 88    70    7000 0   0   timeout 0 --- inspect 960     950     580   .63 0    
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c true 1 wit inspect 17     17     150 230    .85 0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 910    890    5200 0   0   timeout 0 --- inspect 960     950     600   .64 0    
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c true 1 wit inspect 150     150     510 2000    .85 0     - --- inspect - --- inspect - --- inspect - --- inspect out of memory 0 --- inspect 90    72    7000 0   0   timeout 0 --- inspect 960     950     570   .65 0    
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 410     410     15000 3100    .85 0     error (invalid witness file) 0 --- inspect .62 .39 41 0   0      error (2) 0 --- inspect .030 .033 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .61 48 0     0     error (invalid witness file) 0 --- inspect .0019 .0024 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 140     140     15000 1500    1.0  0     error (invalid witness file) 0 --- inspect .60 .39 41 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .61 48 0     0     error (invalid witness file) 0 --- inspect .0046 .0058 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 140     140     15000 1700    1.0  0     error (invalid witness file) 0 --- inspect .59 .38 41 0   0      error (2) 0 --- inspect .027 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .89 .59 46 0     0     error (invalid witness file) 0 --- inspect .0055 .0070 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900     900     10000 6400    1.0  0     error (invalid witness file) 0 --- inspect .62 .38 40 0   0      error (2) 0 --- inspect .026 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .61 47 0     0     error (invalid witness file) 0 --- inspect .0055 .011  .48 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 190     190     15000 2500    1.0  0     error (invalid witness file) 0 --- inspect .63 .38 40 0   0      error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .90 .60 46 0     0     error (invalid witness file) 0 --- inspect .0044 .0057 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 190     190     15000 1900    1.0  0     error (invalid witness file) 0 --- inspect .67 .42 41 0   0      error (2) 0 --- inspect .025 .026 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .65 48 0     0     error (invalid witness file) 0 --- inspect .0047 .0057 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 400     400     15000 4200    .85 0     error (invalid witness file) 0 --- inspect .64 .39 41 0   0      error (2) 0 --- inspect .022 .023 5.7 0    0   error (invalid witness file) 0 --- inspect .98 .62 48 0     0     error (invalid witness file) 0 --- inspect .0018 .0025 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 87     87     15000 1000    1.0  0     error (invalid witness file) 0 --- inspect .68 .42 42 0   0      error (2) 0 --- inspect .025 .026 5.7 0    0   error (invalid witness file) 0 --- inspect .92 .59 47 0     0     error (invalid witness file) 0 --- inspect .0046 .0057 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 100     100     15000 1400    .86 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 .94 .60 48 0     0     error (invalid witness file) 0 --- inspect .0053 .0068 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900     900     10000 6600    .86 0     error (invalid witness file) 0 --- inspect .58 .38 41 0   0      error (2) 0 --- inspect .021 .023 5.7 0    0   error (invalid witness file) 0 --- inspect .97 .64 48 0     0     error (invalid witness file) 0 --- inspect .0017 .0023 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 87     87     15000 1000    .86 0     error (invalid witness file) 0 --- inspect .77 .48 41 0   0      error (2) 0 --- inspect .024 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .60 48 0     0     error (invalid witness file) 0 --- inspect .0023 .0042 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 100     100     15000 1200    1.0  0     error (invalid witness file) 0 --- inspect .65 .40 41 0   0      error (2) 0 --- inspect .023 .024 5.7 0    0   error (invalid witness file) 0 --- inspect .91 .59 47 0     0     error (invalid witness file) 0 --- inspect .0049 .0057 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 390     390     15000 4100    .85 0     error (invalid witness file) 0 --- inspect .67 .42 40 0   0      error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .60 47 0     0     error (invalid witness file) 0 --- inspect .0045 .0056 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 220     220     15000 2700    1.0  0     error (invalid witness file) 0 --- inspect .60 .40 41 0   0      error (2) 0 --- inspect .021 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .59 47 0     0     error (invalid witness file) 0 --- inspect .0052 .0068 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900     900     7800 10000    .86 0     error (invalid witness file) 0 --- inspect .64 .38 42 0   0      error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .90 .60 46 0     0     error (invalid witness file) 0 --- inspect .0056 .0068 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900     900     10000 7200    .86 0     error (invalid witness file) 0 --- inspect .62 .37 42 0   0      error (2) 0 --- inspect .024 .025 5.7 0    0   error (invalid witness file) 0 --- inspect .96 .63 48 0     0     error (invalid witness file) 0 --- inspect .0039 .0045 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 190     190     15000 2400    1.0  0     error (invalid witness file) 0 --- inspect .62 .39 40 0   0      error (2) 0 --- inspect .026 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .60 47 0     0     error (invalid witness file) 0 --- inspect .0050 .0061 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 190     190     15000 2000    .85 0     error (invalid witness file) 0 --- inspect .64 .39 42 0   0      error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .62 48 0     0     error (invalid witness file) 0 --- inspect .0062 .0079 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 420     410     15000 3200    .85 0     error (invalid witness file) 0 --- inspect .60 .37 42 0   0      error (2) 0 --- inspect .025 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .62 48 0     0     error (invalid witness file) 0 --- inspect .0038 .0048 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 140     140     15000 1700    1.0  0     error (invalid witness file) 0 --- inspect .75 .46 41 0   0      error (2) 0 --- inspect .020 .022 5.7 0    0   error (invalid witness file) 0 --- inspect .94 .61 48 0     0     error (invalid witness file) 0 --- inspect .0049 .0061 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 140     140     15000 1500    1.0  0     error (invalid witness file) 0 --- inspect .62 .39 41 0   0      error (2) 0 --- inspect .021 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .62 46 0     0     error (invalid witness file) 0 --- inspect .0022 .0029 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900     900     10000 5900    .86 0     error (invalid witness file) 0 --- inspect .58 .36 40 0   0      error (2) 0 --- inspect .023 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .61 47 0     0     error (invalid witness file) 0 --- inspect .0054 .0065 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 190     190     15000 2400    .85 0     error (invalid witness file) 0 --- inspect .62 .38 40 0   0      error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .67 48 0     0     error (invalid witness file) 0 --- inspect .0021 .0027 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 190     190     15000 2000    1.0  0     error (invalid witness file) 0 --- inspect .65 .40 41 0   0      error (2) 0 --- inspect .022 .025 5.8 0    0   error (invalid witness file) 0 --- inspect .96 .63 49 0     0     error (invalid witness file) 0 --- inspect .0042 .0048 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 420     420     15000 3600    .85 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 .91 .61 47 0     0     error (invalid witness file) 0 --- inspect .0019 .0024 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 61     61     15000 810    .93 0     error (invalid witness file) 0 --- inspect .72 .43 40 0   0      error (2) 0 --- inspect .028 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .62 49 0     0     error (invalid witness file) 0 --- inspect .0046 .0057 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 28     28     15000 330    .93 0     error (invalid witness file) 0 --- inspect .74 .45 40 0   0      error (2) 0 --- inspect .026 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .63 48 0     0     error (invalid witness file) 0 --- inspect .0044 .0056 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900     900     9600 6600    .86 0     error (invalid witness file) 0 --- inspect .65 .39 41 0   0      error (2) 0 --- inspect .022 .024 5.7 0    0   error (invalid witness file) 0 --- inspect .98 .62 48 0     0     error (invalid witness file) 0 --- inspect .0057 .0069 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 83     83     15000 1100    1.0  0     error (invalid witness file) 0 --- inspect .63 .39 41 0   0      error (2) 0 --- inspect .021 .023 5.8 0    0   error (invalid witness file) 0 --- inspect .96 .61 49 0     0     error (invalid witness file) 0 --- inspect .0016 .0018 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 57     56     15000 670    1.1  0     error (invalid witness file) 0 --- inspect .76 .47 41 0   0      error (2) 0 --- inspect .022 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .59 46 0     0     error (invalid witness file) 0 --- inspect .0048 .0054 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 430     430     15000 3100    1.0  0     error (invalid witness file) 0 --- inspect .70 .43 41 0   0      error (2) 0 --- inspect .022 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .60 47 0     0     error (invalid witness file) 0 --- inspect .0046 .0051 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 89     88     15000 1200    1.0  0     error (invalid witness file) 0 --- inspect .66 .40 40 0   0      error (2) 0 --- inspect .022 .024 5.7 0    0   error (invalid witness file) 0 --- inspect 1.0  .64 48 0     0     error (invalid witness file) 0 --- inspect .0018 .0025 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 100     100     15000 1100    1.0  0     error (invalid witness file) 0 --- inspect .76 .47 41 0   0      error (2) 0 --- inspect .023 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .59 46 0     0     error (invalid witness file) 0 --- inspect .0054 .0071 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900     900     9700 7200    .86 0     error (invalid witness file) 0 --- inspect .59 .37 40 0   0      error (2) 0 --- inspect .027 .029 5.5 0    0   error (invalid witness file) 0 --- inspect 1.0  .64 48 0     0     error (invalid witness file) 0 --- inspect .0046 .0055 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 88     87     15000 1000    1.0  0     error (invalid witness file) 0 --- inspect .62 .37 41 0   0      error (2) 0 --- inspect .029 .029 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .64 49 0     0     error (invalid witness file) 0 --- inspect .0049 .0065 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 100     100     15000 1400    1.0  0     error (invalid witness file) 0 --- inspect .64 .40 42 0   0      error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .62 48 0     0     error (invalid witness file) 0 --- inspect .0044 .0058 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 410     410     15000 3900    1.0  0     error (invalid witness file) 0 --- inspect .60 .37 40 0   0      error (2) 0 --- inspect .022 .023 5.7 0    0   error (invalid witness file) 0 --- inspect .90 .59 47 0     0     error (invalid witness file) 0 --- inspect .0022 .0028 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 39     39     15000 560    1.1  0     error (invalid witness file) 0 --- inspect .68 .42 41 0   0      error (2) 0 --- inspect .023 .023 5.6 0    0   error (invalid witness file) 0 --- inspect 1.1  .73 47 0     0     error (invalid witness file) 0 --- inspect .0049 .0064 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 240     240     15000 2700    .85 0     error (invalid witness file) 0 --- inspect .66 .42 41 0   0      error (2) 0 --- inspect .021 .023 5.7 0    0   error (invalid witness file) 0 --- inspect .93 .59 47 0     0     error (invalid witness file) 0 --- inspect .0056 .0085 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900     900     9400 5700    1.0  0     error (invalid witness file) 0 --- inspect .62 .39 41 0   0      error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .61 48 0     0     error (invalid witness file) 0 --- inspect .0021 .0027 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 68     68     15000 760    .86 0     error (invalid witness file) 0 --- inspect .64 .39 43 0   0      error (2) 0 --- inspect .023 .024 5.7 0    0   error (invalid witness file) 0 --- inspect .89 .57 46 0     0     error (invalid witness file) 0 --- inspect .0016 .0020 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 58     58     15000 840    1.1  0     error (invalid witness file) 0 --- inspect .61 .37 40 0   0      error (2) 0 --- inspect .023 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .63 48 0     0     error (invalid witness file) 0 --- inspect .0049 .0060 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 400     400     15000 3700    1.0  0     error (invalid witness file) 0 --- inspect .64 .40 40 0   0      error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect 1.1  .69 48 0     0     error (invalid witness file) 0 --- inspect .0046 .0078 .67 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 60     59     15000 770    1.1  0     error (invalid witness file) 0 --- inspect .60 .38 40 0   0      error (2) 0 --- inspect .027 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .59 46 0     0     error (invalid witness file) 0 --- inspect .0050 .0060 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 28     28     15000 370    1.1  0     error (invalid witness file) 0 --- inspect .73 .47 40 0   0      error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 49 0     0     error (invalid witness file) 0 --- inspect .0023 .0030 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900     900     9600 6900    1.0  0     error (invalid witness file) 0 --- inspect .75 .46 40 0   0      error (2) 0 --- inspect .022 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .61 49 0     0     error (invalid witness file) 0 --- inspect .0014 .0018 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 82     81     15000 990    .86 0     error (invalid witness file) 0 --- inspect .65 .39 40 0   0      error (2) 0 --- inspect .026 .027 5.8 0    0   error (invalid witness file) 0 --- inspect .93 .61 48 0     0     error (invalid witness file) 0 --- inspect .0052 .0073 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 57     57     15000 760    .92 0     error (invalid witness file) 0 --- inspect .69 .42 40 0   0      error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .63 48 0     0     error (invalid witness file) 0 --- inspect .0045 .0065 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 440     440     15000 3100    1.0  0     error (invalid witness file) 0 --- inspect .72 .43 42 0   0      error (2) 0 --- inspect .023 .025 5.6 0    0   error (invalid witness file) 0 --- inspect 1.1  .69 47 0     0     error (invalid witness file) 0 --- inspect .0048 .0059 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 93     93     15000 1000    1.0  0     error (invalid witness file) 0 --- inspect .68 .42 41 0   0      error (2) 0 --- inspect .024 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .90 .58 47 0     0     error (invalid witness file) 0 --- inspect .0021 .0029 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 430     430     15000 3600    .85 0     error (invalid witness file) 0 --- inspect .61 .38 43 0   0      error (2) 0 --- inspect .022 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .67 48 0     0     error (invalid witness file) 0 --- inspect .0055 .0070 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 150     150     15000 1800    1.0  0     error (invalid witness file) 0 --- inspect .76 .46 40 0   0      error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .63 48 0     0     error (invalid witness file) 0 --- inspect .0053 .0065 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 150     150     15000 1700    1.0  0     error (invalid witness file) 0 --- inspect .61 .37 40 0   0      error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .60 46 0     0     error (invalid witness file) 0 --- inspect .0052 .0067 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900     900     9000 6000    .85 0     error (invalid witness file) 0 --- inspect .60 .38 40 0   0      error (2) 0 --- inspect .027 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .61 47 0     0     error (invalid witness file) 0 --- inspect .0053 .0063 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 150     140     15000 1700    1.0  0     error (invalid witness file) 0 --- inspect .61 .39 41 0   0      error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .60 47 0     0     error (invalid witness file) 0 --- inspect .0058 .0073 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 160     150     15000 2400    .86 0     error (invalid witness file) 0 --- inspect .63 .39 41 0   0      error (2) 0 --- inspect .026 .027 5.7 0    0   error (invalid witness file) 0 --- inspect .93 .61 47 0     0     error (invalid witness file) 0 --- inspect .0049 .0059 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 440     430     15000 3400    1.0  0     error (invalid witness file) 0 --- inspect .68 .41 40 0   0      error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .90 .57 47 0     0     error (invalid witness file) 0 --- inspect .0053 .0063 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 90     90     15000 950    .90 0     error (invalid witness file) 0 --- inspect .67 .41 41 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .88 .56 47 0     0     error (invalid witness file) 0 --- inspect .0046 .0056 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c out of memory 0 --- inspect 600     600     15000 5600    1.0  0     error (invalid witness file) 0 --- inspect .63 .39 41 0   0      error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .62 47 0     0     error (invalid witness file) 0 --- inspect .0055 .0079 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 430     430     15000 3500    1.0  0     error (invalid witness file) 0 --- inspect .71 .43 40 0   0      error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .90 .58 47 0     0     error (invalid witness file) 0 --- inspect .0040 .0064 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 530     530     15000 6400    1.0  0     error (invalid witness file) 0 --- inspect .60 .38 41 0   0      error (2) 0 --- inspect .022 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .62 50 0     0     error (invalid witness file) 0 --- inspect .0015 .0020 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 59     59     15000 550    .94 0     error (invalid witness file) 0 --- inspect .60 .37 40 0   0      error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .62 48 0     0     error (invalid witness file) 0 --- inspect .0044 .0056 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 730     730     15000 8500    1.0  0     error (invalid witness file) 0 --- inspect .59 .37 40 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .63 48 0     0     error (invalid witness file) 0 --- inspect .0059 .0098 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 890     890     15000 9800    1.0  0     error (invalid witness file) 0 --- inspect .63 .38 41 0   0      error (2) 0 --- inspect .027 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .61 48 0     0     error (invalid witness file) 0 --- inspect .0054 .0067 .39 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+sep-reducer.c timeout 0 --- inspect 900     900     9800 8400    .86 0     error (invalid witness file) 0 --- inspect .69 .41 42 0   0      error (2) 0 --- inspect .024 .025 5.7 0    0   error (invalid witness file) 0 --- inspect .93 .62 47 0     0     error (invalid witness file) 0 --- inspect .0037 .0048 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 58     57     15000 680    1.1  0     error (invalid witness file) 0 --- inspect .61 .38 41 0   0      error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .61 47 0     0     error (invalid witness file) 0 --- inspect .0019 .0024 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900     900     11000 11000    1.0  0     error (invalid witness file) 0 --- inspect .64 .39 43 0   0      error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .65 49 0     0     error (invalid witness file) 0 --- inspect .0019 .0026 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900     900     11000 11000    1.0  0     error (invalid witness file) 0 --- inspect .64 .41 41 0   0      error (2) 0 --- inspect .024 .026 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .65 48 0     0     error (invalid witness file) 0 --- inspect .0019 .0026 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c timeout 0 --- inspect 900     900     1700 5800    .86 0     error (invalid witness file) 0 --- inspect .61 .37 40 0   0      error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .89 .58 46 0     0     error (invalid witness file) 0 --- inspect .0056 .0070 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 60     59     15000 600    1.0  0     error (invalid witness file) 0 --- inspect .73 .44 42 0   0      error (2) 0 --- inspect .022 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .89 .57 46 0     0     error (invalid witness file) 0 --- inspect .0046 .0057 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 460     460     15000 5300    .85 0     error (invalid witness file) 0 --- inspect .59 .37 40 0   0      error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .89 .58 46 0     0     error (invalid witness file) 0 --- inspect .0053 .0066 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 450     450     15000 5400    1.0  0     error (invalid witness file) 0 --- inspect .62 .37 41 0   0      error (2) 0 --- inspect .027 .028 5.7 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 48 0     0     error (invalid witness file) 0 --- inspect .0053 .0065 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+sep-reducer.c timeout 0 --- inspect 900     900     7200 11000    .86 0     error (invalid witness file) 0 --- inspect .60 .37 40 0   0      error (2) 0 --- inspect .025 .025 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .64 47 0     0     error (invalid witness file) 0 --- inspect .0015 .0017 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 59     59     15000 630    .93 0     error (invalid witness file) 0 --- inspect .63 .39 41 0   0      error (2) 0 --- inspect .025 .026 5.7 0    0   error (invalid witness file) 0 --- inspect .96 .62 48 0     0     error (invalid witness file) 0 --- inspect .0055 .0071 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 760     760     15000 9500    .86 0     error (invalid witness file) 0 --- inspect .59 .37 40 0   0      error (2) 0 --- inspect .025 .027 5.7 0    0   error (invalid witness file) 0 --- inspect .90 .60 46 0     0     error (invalid witness file) 0 --- inspect .0019 .0025 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 750     750     15000 9500    .86 0     error (invalid witness file) 0 --- inspect .66 .40 40 0   0      error (2) 0 --- inspect .032 .034 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .58 47 0     0     error (invalid witness file) 0 --- inspect .0019 .0024 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+sep-reducer.c false(unreach-call) 0 wit inspect 290     290     4300 2300    1.0  0     true -32 wit inspect 54    32    1800 0   0      true -32 --- inspect 18     11     520   .62 0   unknown 0 --- inspect 8.0  4.5  380 0     0     error (2) 0 --- inspect 1.3    1.3    25    .72  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.p+lhb-reducer.c out of memory 0 --- inspect 180     180     15000 1900    .86 0     error (invalid witness file) 0 --- inspect .59 .37 41 0   0      error (2) 0 --- inspect .035 .038 5.5 0    0   error (invalid witness file) 0 --- inspect .99 .65 48 0     0     error (invalid witness file) 0 --- inspect .0046 .0058 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 56     56     15000 710    1.1  0     error (invalid witness file) 0 --- inspect .63 .39 41 0   0      error (2) 0 --- inspect .024 .025 5.7 0    0   error (invalid witness file) 0 --- inspect .91 .60 47 0     0     error (invalid witness file) 0 --- inspect .0044 .0061 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 96     96     15000 1000    .86 0     error (invalid witness file) 0 --- inspect .63 .39 40 0   0      error (2) 0 --- inspect .022 .024 5.7 0    0   error (invalid witness file) 0 --- inspect .99 .64 48 0     0     error (invalid witness file) 0 --- inspect .0052 .0065 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 88     88     15000 1100    .88 0     error (invalid witness file) 0 --- inspect .66 .41 42 0   0      error (2) 0 --- inspect .023 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .60 47 0     0     error (invalid witness file) 0 --- inspect .0055 .0068 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+sep-reducer.c timeout 0 --- inspect 900     900     8700 6300    .86 0     error (invalid witness file) 0 --- inspect .60 .36 40 0   0      error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .62 47 0     0     error (invalid witness file) 0 --- inspect .0057 .0074 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 71     71     15000 650    .86 0     error (invalid witness file) 0 --- inspect .61 .38 40 0   0      error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .64 48 0     0     error (invalid witness file) 0 --- inspect .0050 .0064 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 93     93     15000 1200    .86 0     error (invalid witness file) 0 --- inspect .61 .36 40 0   0      error (2) 0 --- inspect .022 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .64 47 0     0     error (invalid witness file) 0 --- inspect .0019 .0026 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 76     76     15000 940    .86 0     error (invalid witness file) 0 --- inspect .60 .37 40 0   0      error (2) 0 --- inspect .022 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .90 .58 47 0     0     error (invalid witness file) 0 --- inspect .0031 .0035 .39 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c timeout 0 --- inspect 900     900     5600 5700    .86 0     error (invalid witness file) 0 --- inspect .62 .37 40 0   0      error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .58 46 0     0     error (invalid witness file) 0 --- inspect .0019 .0025 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 59     58     15000 510    1.1  0     error (invalid witness file) 0 --- inspect .59 .36 41 0   0      error (2) 0 --- inspect .021 .022 5.7 0    0   error (invalid witness file) 0 --- inspect .98 .64 48 0     0     error (invalid witness file) 0 --- inspect .0061 .0081 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 62     61     15000 760    1.1  0     error (invalid witness file) 0 --- inspect .74 .45 40 0   0      error (2) 0 --- inspect .021 .023 5.7 0    0   error (invalid witness file) 0 --- inspect .93 .60 47 0     0     error (invalid witness file) 0 --- inspect .0055 .0071 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 87     87     15000 970    1.0  0     error (invalid witness file) 0 --- inspect .64 .40 40 0   0      error (2) 0 --- inspect .024 .026 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 46 0     0     error (invalid witness file) 0 --- inspect .0033 .0043 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+sep-reducer.c timeout 0 --- inspect 900     900     9700 6100    .85 0     error (invalid witness file) 0 --- inspect .61 .38 41 0   0      error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 48 0     0     error (invalid witness file) 0 --- inspect .0048 .0061 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 69     69     15000 740    1.0  0     error (invalid witness file) 0 --- inspect .59 .37 40 0   0      error (2) 0 --- inspect .027 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .59 46 0     0     error (invalid witness file) 0 --- inspect .0022 .0028 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 60     60     15000 770    1.0  0     error (invalid witness file) 0 --- inspect .59 .37 40 0   0      error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .61 48 0     0     error (invalid witness file) 0 --- inspect .0045 .0059 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 76     76     15000 1000    1.0  0     error (invalid witness file) 0 --- inspect .74 .44 40 0   0      error (2) 0 --- inspect .022 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .61 48 0     0     error (invalid witness file) 0 --- inspect .0069 .0088 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+sep-reducer.c timeout 0 --- inspect 900     900     2300 6400    1.0  0     error (invalid witness file) 0 --- inspect .65 .40 40 0   0      error (2) 0 --- inspect .025 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .88 .59 47 0     0     error (invalid witness file) 0 --- inspect .0049 .0068 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 220     220     15000 2700    1.0  0     error (invalid witness file) 0 --- inspect .66 .41 40 0   0      error (2) 0 --- inspect .022 .024 5.7 0    0   error (invalid witness file) 0 --- inspect .94 .60 48 0     0     error (invalid witness file) 0 --- inspect .0018 .0023 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 600     600     15000 6300    .85 0     error (invalid witness file) 0 --- inspect .66 .40 42 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .99 .64 47 0     0     error (invalid witness file) 0 --- inspect .0063 .0081 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 160     160     15000 1900    .86 0     error (invalid witness file) 0 --- inspect .64 .40 41 0   0      error (2) 0 --- inspect .021 .022 5.7 0    0   error (invalid witness file) 0 --- inspect 1.0  .65 47 0     0     error (invalid witness file) 0 --- inspect .0022 .0028 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 270     270     15000 2700    .85 0     error (invalid witness file) 0 --- inspect .69 .43 41 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .58 47 0     0     error (invalid witness file) 0 --- inspect .0017 .0019 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 530     530     15000 5900    .85 0     error (invalid witness file) 0 --- inspect .63 .38 40 0   0      error (2) 0 --- inspect .022 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .57 47 0     0     error (invalid witness file) 0 --- inspect .0060 .0082 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 160     160     15000 2000    1.0  0     error (invalid witness file) 0 --- inspect .69 .43 40 0   0      error (2) 0 --- inspect .024 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .60 47 0     0     error (invalid witness file) 0 --- inspect .0045 .0059 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c out of memory 0 --- inspect 58     58     15000 780    1.1  0     error (invalid witness file) 0 --- inspect .59 .36 41 0   0      error (2) 0 --- inspect .021 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .61 48 0     0     error (invalid witness file) 0 --- inspect .0062 .0081 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 220     220     15000 2400    1.0  0     error (invalid witness file) 0 --- inspect .58 .36 41 0   0      error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .89 .57 46 0     0     error (invalid witness file) 0 --- inspect .0049 .0055 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 130     130     15000 1300    1.0  0     error (invalid witness file) 0 --- inspect .66 .40 41 0   0      error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .62 47 0     0     error (invalid witness file) 0 --- inspect .0062 .0084 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 170     170     15000 1800    .86 0     error (invalid witness file) 0 --- inspect .61 .37 40 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.1  .71 47 0     0     error (invalid witness file) 0 --- inspect .0028 .0032 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+sep-reducer.c out of memory 0 --- inspect 360     360     15000 4900    .85 0     error (invalid witness file) 0 --- inspect .61 .38 41 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .62 47 0     0     error (invalid witness file) 0 --- inspect .0050 .0061 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 280     280     15000 2700    1.0  0     error (invalid witness file) 0 --- inspect .61 .38 40 0   0      error (2) 0 --- inspect .022 .024 5.7 0    0   error (invalid witness file) 0 --- inspect .92 .59 47 0     0     error (invalid witness file) 0 --- inspect .0049 .0064 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 120     120     15000 1300    1.0  0     error (invalid witness file) 0 --- inspect .60 .38 40 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .62 48 0     0     error (invalid witness file) 0 --- inspect .0042 .0048 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 170     170     15000 2200    1.0  0     error (invalid witness file) 0 --- inspect .63 .38 42 0   0      error (2) 0 --- inspect .021 .022 5.7 0    0   error (invalid witness file) 0 --- inspect .89 .59 46 0     0     error (invalid witness file) 0 --- inspect .0014 .0017 .39 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+sep-reducer.c timeout 0 --- inspect 900     900     14000 9600    .85 0     error (invalid witness file) 0 --- inspect .71 .45 40 0   0      error (2) 0 --- inspect .024 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .59 46 0     0     error (invalid witness file) 0 --- inspect .0015 .0020 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 430     430     15000 3600    .85 0     error (invalid witness file) 0 --- inspect .65 .39 40 0   0      error (2) 0 --- inspect .027 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .90 .60 46 0     0     error (invalid witness file) 0 --- inspect .0019 .0025 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 150     150     15000 1600    .86 0     error (invalid witness file) 0 --- inspect .73 .45 40 0   0      error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .64 48 0     0     error (invalid witness file) 0 --- inspect .0058 .0075 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 720     720     15000 5300    1.0  0     error (invalid witness file) 0 --- inspect .63 .38 41 0   0      error (2) 0 --- inspect .027 .029 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 46 0     0     error (invalid witness file) 0 --- inspect .0013 .0015 .39 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 140     140     15000 1600    1.0  0     error (invalid witness file) 0 --- inspect .66 .40 41 0   0      error (2) 0 --- inspect .027 .029 5.6 0    0   error (invalid witness file) 0 --- inspect .90 .59 46 0     0     error (invalid witness file) 0 --- inspect .0018 .0023 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c.p+lhb-reducer.c out of memory 0 --- inspect 54     54     15000 590    1.1  0     error (invalid witness file) 0 --- inspect .61 .38 41 0   0      error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .64 47 0     0     error (invalid witness file) 0 --- inspect .0031 .0053 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 430     430     15000 3800    1.0  0     error (invalid witness file) 0 --- inspect .75 .46 41 0   0      error (2) 0 --- inspect .021 .022 5.7 0    0   error (invalid witness file) 0 --- inspect 1.0  .63 48 0     0     error (invalid witness file) 0 --- inspect .0019 .0024 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 140     140     15000 1600    1.0  0     error (invalid witness file) 0 --- inspect .71 .43 41 0   0      error (2) 0 --- inspect .026 .028 5.7 0    0   error (invalid witness file) 0 --- inspect .90 .60 46 0     0     error (invalid witness file) 0 --- inspect .0054 .0066 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 710     710     15000 5400    1.0  0     error (invalid witness file) 0 --- inspect .70 .43 41 0   0      error (2) 0 --- inspect .024 .025 5.8 0    0   error (invalid witness file) 0 --- inspect 1.0  .67 48 0     0     error (invalid witness file) 0 --- inspect .0045 .0059 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 140     140     15000 1900    .86 0     error (invalid witness file) 0 --- inspect .59 .37 40 0   0      error (2) 0 --- inspect .023 .025 5.8 0    0   error (invalid witness file) 0 --- inspect .94 .61 48 0     0     error (invalid witness file) 0 --- inspect .0048 .0060 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900     900     4300 12000    1.0  0     error (invalid witness file) 0 --- inspect .63 .39 40 0   0      error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .64 48 0     0     error (invalid witness file) 0 --- inspect .0017 .0022 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900     900     2700 12000    1.0  0     error (invalid witness file) 0 --- inspect .64 .38 40 0   0      error (2) 0 --- inspect .022 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .59 46 0     0     error (invalid witness file) 0 --- inspect .0053 .0070 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900     900     3000 11000    1.0  0     error (invalid witness file) 0 --- inspect .62 .38 40 0   0      error (2) 0 --- inspect .027 .027 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .67 46 0     0     error (invalid witness file) 0 --- inspect .0046 .0056 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+sep-reducer.c false(unreach-call) 0 wit inspect 2.8   2.8   130 37    .85 0     true -32 wit inspect 7.3  3.9  270 0   0      true -32 --- inspect 12     6.4   370   .66 0   unknown 0 --- inspect 5.9  3.2  270 0     0     error (2) 0 --- inspect .79   .81   21    .22  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900     900     3900 10000    .85 0     error (invalid witness file) 0 --- inspect .62 .39 41 0   0      error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .61 47 0     0     error (invalid witness file) 0 --- inspect .0019 .0025 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900     900     2500 12000    1.0  0     error (invalid witness file) 0 --- inspect .72 .45 42 0   0      error (2) 0 --- inspect .021 .022 5.7 0    0   error (invalid witness file) 0 --- inspect .95 .61 48 0     0     error (invalid witness file) 0 --- inspect .0048 .0059 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900     900     2400 12000    1.0  0     error (invalid witness file) 0 --- inspect .66 .41 41 0   0      error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .59 47 0     0     error (invalid witness file) 0 --- inspect .0014 .0023 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c false(unreach-call) 0 wit inspect 2.4   2.4   110 28    1.0  0     true -32 wit inspect 6.2  3.3  260 0   0      true -32 --- inspect 13     7.7   340   .62 0   unknown 0 --- inspect 5.6  3.1  270 0     0     error (2) 0 --- inspect .76   .76   21    .21  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 100     100     15000 1000    1.0  0     error (invalid witness file) 0 --- inspect .62 .38 42 0   0      error (2) 0 --- inspect .024 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .90 .60 46 0     0     error (invalid witness file) 0 --- inspect .0018 .0020 .39 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900     900     3400 11000    .86 0     error (invalid witness file) 0 --- inspect .61 .37 41 0   0      error (2) 0 --- inspect .025 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .64 48 0     0     error (invalid witness file) 0 --- inspect .0053 .0065 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900     900     12000 9800    .86 0     error (invalid witness file) 0 --- inspect .61 .38 40 0   0      error (2) 0 --- inspect .021 .022 5.7 0    0   error (invalid witness file) 0 --- inspect .89 .59 46 0     0     error (invalid witness file) 0 --- inspect .0051 .0061 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+sep-reducer.c false(unreach-call) 0 wit inspect 830     830     2500 12000    1.0  0     true -32 wit inspect 10    5.4  290 0   0      true -32 --- inspect 15     8.9   500   .62 0   unknown 0 --- inspect 7.7  4.3  300 0     0     error (2) 0 --- inspect .98   .98   21    .41  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 96     96     15000 1300    1.0  0     error (invalid witness file) 0 --- inspect .60 .38 40 0   0      error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .59 46 0     0     error (invalid witness file) 0 --- inspect .0045 .0059 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900     900     3700 11000    .86 0     error (invalid witness file) 0 --- inspect .80 .49 42 0   0      error (2) 0 --- inspect .021 .022 5.8 0    0   error (invalid witness file) 0 --- inspect .94 .60 48 0     0     error (invalid witness file) 0 --- inspect .0022 .0028 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900     900     7500 12000    1.0  0     error (invalid witness file) 0 --- inspect .65 .39 41 0   0      error (2) 0 --- inspect .022 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .59 46 0     0     error (invalid witness file) 0 --- inspect .0023 .0029 .39 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c false(unreach-call) 0 wit inspect 310     310     1700 3800    .85 0     true -32 wit inspect 8.7  4.6  290 0   0      true -32 --- inspect 15     8.4   470   .62 0   unknown 0 --- inspect 7.4  4.1  280 0     0     error (2) 0 --- inspect .94   .94   21    .39  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c out of memory 0 --- inspect 260     260     15000 3200    1.0  0     error (invalid witness file) 0 --- inspect .71 .43 41 0   0      error (2) 0 --- inspect .028 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .62 48 0     0     error (invalid witness file) 0 --- inspect .0020 .0025 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 59     59     15000 850    1.0  0     error (invalid witness file) 0 --- inspect .62 .38 42 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 48 0     0     error (invalid witness file) 0 --- inspect .0050 .0062 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900     900     4500 9800    1.0  0     error (invalid witness file) 0 --- inspect .70 .43 41 0   0      error (2) 0 --- inspect .023 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .61 48 0     0     error (invalid witness file) 0 --- inspect .0054 .0076 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 46     45     15000 520    .91 0     error (invalid witness file) 0 --- inspect .63 .38 40 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .89 .58 46 0     0     error (invalid witness file) 0 --- inspect .0023 .0029 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+sep-reducer.c timeout 0 --- inspect 900     900     6800 10000    .86 0     error (invalid witness file) 0 --- inspect .62 .37 40 0   0      error (2) 0 --- inspect .028 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .61 48 0     0     error (invalid witness file) 0 --- inspect .0046 .0058 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c out of memory 0 --- inspect 220     220     15000 2400    .85 0     error (invalid witness file) 0 --- inspect .60 .37 41 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .60 49 0     0     error (invalid witness file) 0 --- inspect .0048 .0065 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 59     59     15000 700    1.1  0     error (invalid witness file) 0 --- inspect .62 .39 40 0   0      error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .61 48 0     0     error (invalid witness file) 0 --- inspect .0045 .0056 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900     900     5200 10000    .86 0     error (invalid witness file) 0 --- inspect .65 .40 40 0   0      error (2) 0 --- inspect .022 .023 5.7 0    0   error (invalid witness file) 0 --- inspect .89 .60 47 0     0     error (invalid witness file) 0 --- inspect .0050 .0065 .55 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900     900     11000 10000    1.0  0     error (invalid witness file) 0 --- inspect .61 .39 41 0   0      error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .61 48 0     0     error (invalid witness file) 0 --- inspect .0023 .0029 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c out of memory 0 --- inspect 580     580     15000 5400    .85 0     error (invalid witness file) 0 --- inspect .71 .44 40 0   0      error (2) 0 --- inspect .028 .029 5.6 0    0   error (invalid witness file) 0 --- inspect 1.2  .76 48 0     0     error (invalid witness file) 0 --- inspect .0062 .0079 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.p+lhb-reducer.c out of memory 0 --- inspect 410     410     15000 3200    1.0  0     error (invalid witness file) 0 --- inspect .60 .37 41 0   0      error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .65 47 0     0     error (invalid witness file) 0 --- inspect .0053 .0070 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 110     110     15000 1300    .86 0     error (invalid witness file) 0 --- inspect .63 .39 41 0   0      error (2) 0 --- inspect .023 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .60 47 0     0     error (invalid witness file) 0 --- inspect .0018 .0023 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900     900     6100 14000    1.0  0     error (invalid witness file) 0 --- inspect .68 .42 43 0   0      error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .61 48 0     0     error (invalid witness file) 0 --- inspect .0020 .0025 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 48     48     15000 590    1.1  0     error (invalid witness file) 0 --- inspect .63 .38 40 0   0      error (2) 0 --- inspect .030 .031 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .60 46 0     0     error (invalid witness file) 0 --- inspect .0041 .0052 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+sep-reducer.c timeout 0 --- inspect 900     900     8300 12000    .86 0     error (invalid witness file) 0 --- inspect .71 .43 40 0   0      error (2) 0 --- inspect .022 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .62 48 0     0     error (invalid witness file) 0 --- inspect .0017 .0028 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c out of memory 0 --- inspect 400     400     15000 3900    1.0  0     error (invalid witness file) 0 --- inspect .71 .44 41 0   0      error (2) 0 --- inspect .022 .023 5.7 0    0   error (invalid witness file) 0 --- inspect .90 .59 46 0     0     error (invalid witness file) 0 --- inspect .0021 .0030 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 130     130     15000 1500    .86 0     error (invalid witness file) 0 --- inspect .69 .42 40 0   0      error (2) 0 --- inspect .021 .023 5.7 0    0   error (invalid witness file) 0 --- inspect .97 .62 48 0     0     error (invalid witness file) 0 --- inspect .0046 .0056 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900     900     6100 12000    .86 0     error (invalid witness file) 0 --- inspect .62 .37 42 0   0      error (2) 0 --- inspect .024 .025 5.7 0    0   error (invalid witness file) 0 --- inspect .96 .62 48 0     0     error (invalid witness file) 0 --- inspect .0047 .0059 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900     900     15000 12000    1.0  0     error (invalid witness file) 0 --- inspect .71 .44 41 0   0      error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect 1.1  .67 46 0     0     error (invalid witness file) 0 --- inspect .0017 .0019 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c timeout 0 --- inspect 900     900     7500 10000    1.0  0     error (invalid witness file) 0 --- inspect .63 .39 40 0   0      error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .59 48 0     0     error (invalid witness file) 0 --- inspect .0047 .0059 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 220     220     15000 2700    .85 0     error (invalid witness file) 0 --- inspect .71 .44 43 0   0      error (2) 0 --- inspect .022 .023 5.7 0    0   error (invalid witness file) 0 --- inspect .96 .61 47 0     0     error (invalid witness file) 0 --- inspect .0028 .0035 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900     900     8800 11000    1.0  0     error (invalid witness file) 0 --- inspect .60 .37 41 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .58 46 0     0     error (invalid witness file) 0 --- inspect .0053 .0071 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 67     66     15000 730    1.0  0     error (invalid witness file) 0 --- inspect .59 .36 41 0   0      error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .61 48 0     0     error (invalid witness file) 0 --- inspect .0056 .0072 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+sep-reducer.c out of memory 0 --- inspect 520     520     15000 6000    .85 0     error (invalid witness file) 0 --- inspect .68 .41 42 0   0      error (2) 0 --- inspect .022 .023 5.7 0    0   error (invalid witness file) 0 --- inspect .94 .61 48 0     0     error (invalid witness file) 0 --- inspect .0049 .0064 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 250     250     15000 2600    1.0  0     error (invalid witness file) 0 --- inspect .66 .40 41 0   0      error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .64 48 0     0     error (invalid witness file) 0 --- inspect .0042 .0047 .39 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900     900     8400 11000    1.0  0     error (invalid witness file) 0 --- inspect .61 .37 40 0   0      error (2) 0 --- inspect .025 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .88 .58 46 0     0     error (invalid witness file) 0 --- inspect .0018 .0023 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 65     64     15000 930    .92 0     error (invalid witness file) 0 --- inspect .62 .38 40 0   0      error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .64 48 0     0     error (invalid witness file) 0 --- inspect .0050 .0060 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c timeout 0 --- inspect 900     900     12000 9400    .85 0     error (invalid witness file) 0 --- inspect .75 .45 40 0   0      error (2) 0 --- inspect .023 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .63 46 0     0     error (invalid witness file) 0 --- inspect .0037 .0052 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 430     430     15000 3800    .85 0     error (invalid witness file) 0 --- inspect .60 .37 40 0   0      error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .63 48 0     0     error (invalid witness file) 0 --- inspect .0022 .0028 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900     900     14000 9800    .86 0     error (invalid witness file) 0 --- inspect .64 .40 42 0   0      error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .59 47 0     0     error (invalid witness file) 0 --- inspect .0037 .0047 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 170     170     15000 2100    1.0  0     error (invalid witness file) 0 --- inspect .62 .38 41 0   0      error (2) 0 --- inspect .021 .023 5.7 0    0   error (invalid witness file) 0 --- inspect .96 .61 48 0     0     error (invalid witness file) 0 --- inspect .0014 .0016 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 460     460     15000 3500    .85 0     error (invalid witness file) 0 --- inspect .70 .42 40 0   0      error (2) 0 --- inspect .025 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .61 48 0     0     error (invalid witness file) 0 --- inspect .0049 .0063 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900     900     11000 9900    .86 0     error (invalid witness file) 0 --- inspect .73 .45 40 0   0      error (2) 0 --- inspect .027 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .59 47 0     0     error (invalid witness file) 0 --- inspect .0050 .0060 .42 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 170     170     15000 2100    .85 0     error (invalid witness file) 0 --- inspect .74 .45 40 0   0      error (2) 0 --- inspect .021 .023 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .67 47 0     0     error (invalid witness file) 0 --- inspect .0055 .0069 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 420     420     15000 3100    1.0  0     error (invalid witness file) 0 --- inspect .61 .38 40 0   0      error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .62 47 0     0     error (invalid witness file) 0 --- inspect .0063 .0082 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 210     210     15000 2600    .86 0     error (invalid witness file) 0 --- inspect .62 .38 40 0   0      error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .61 47 0     0     error (invalid witness file) 0 --- inspect .0054 .0064 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 210     200     15000 2900    .85 0     error (invalid witness file) 0 --- inspect .76 .47 40 0   0      error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .63 48 0     0     error (invalid witness file) 0 --- inspect .0018 .0024 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900     900     10000 7600    .86 0     error (invalid witness file) 0 --- inspect .67 .41 40 0   0      error (2) 0 --- inspect .024 .025 5.7 0    0   error (invalid witness file) 0 --- inspect .93 .59 46 0     0     error (invalid witness file) 0 --- inspect .0017 .0027 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 200     200     15000 2300    .85 0     error (invalid witness file) 0 --- inspect .65 .40 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 .0047 .0060 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 190     190     15000 2700    1.0  0     error (invalid witness file) 0 --- inspect .58 .36 41 0   0      error (2) 0 --- inspect .023 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .90 .59 46 0     0     error (invalid witness file) 0 --- inspect .0018 .0021 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 430     430     15000 3500    .85 0     error (invalid witness file) 0 --- inspect .70 .43 40 0   0      error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .60 46 0     0     error (invalid witness file) 0 --- inspect .0015 .0018 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 100     100     15000 1100    .86 0     error (invalid witness file) 0 --- inspect .68 .42 40 0   0      error (2) 0 --- inspect .024 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .59 46 0     0     error (invalid witness file) 0 --- inspect .0017 .0024 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900     900     10000 8500    1.0  0     error (invalid witness file) 0 --- inspect .72 .43 41 0   0      error (2) 0 --- inspect .024 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .99 .66 48 0     0     error (invalid witness file) 0 --- inspect .0023 .0029 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 87     87     15000 1300    1.0  0     error (invalid witness file) 0 --- inspect .59 .36 40 0   0      error (2) 0 --- inspect .028 .030 5.7 0    0   error (invalid witness file) 0 --- inspect .93 .59 48 0     0     error (invalid witness file) 0 --- inspect .0023 .0030 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 100     100     15000 1500    1.0  0     error (invalid witness file) 0 --- inspect .75 .46 41 0   0      error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .59 46 0     0     error (invalid witness file) 0 --- inspect .0053 .0064 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 440     440     15000 2500    .85 0     error (invalid witness file) 0 --- inspect .69 .43 40 0   0      error (2) 0 --- inspect .022 .024 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 48 0     0     error (invalid witness file) 0 --- inspect .0020 .0026 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 280     280     15000 3300    1.0  0     error (invalid witness file) 0 --- inspect .63 .38 40 0   0      error (2) 0 --- inspect .025 .026 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .65 46 0     0     error (invalid witness file) 0 --- inspect .0034 .0044 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900     900     11000 11000    .86 0     error (invalid witness file) 0 --- inspect .66 .41 41 0   0      error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .68 48 0     0     error (invalid witness file) 0 --- inspect .0022 .0027 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900     900     9900 6400    1.0  0     error (invalid witness file) 0 --- inspect .60 .36 40 0   0      error (2) 0 --- inspect .021 .022 5.7 0    0   error (invalid witness file) 0 --- inspect .94 .61 48 0     0     error (invalid witness file) 0 --- inspect .0056 .0067 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 200     200     15000 2600    .85 0     error (invalid witness file) 0 --- inspect .61 .38 40 0   0      error (2) 0 --- inspect .024 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .63 48 0     0     error (invalid witness file) 0 --- inspect .0049 .0063 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 200     190     15000 2700    1.0  0     error (invalid witness file) 0 --- inspect .77 .49 41 0   0      error (2) 0 --- inspect .021 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .65 48 0     0     error (invalid witness file) 0 --- inspect .0050 .0063 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 440     440     15000 2900    1.0  0     error (invalid witness file) 0 --- inspect .62 .38 40 0   0      error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .62 48 0     0     error (invalid witness file) 0 --- inspect .0023 .0033 .43 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 210     210     15000 2900    1.0  0     error (invalid witness file) 0 --- inspect .70 .43 41 0   0      error (2) 0 --- inspect .022 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .59 47 0     0     error (invalid witness file) 0 --- inspect .0062 .0080 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 210     200     15000 2400    1.0  0     error (invalid witness file) 0 --- inspect .61 .38 41 0   0      error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .59 47 0     0     error (invalid witness file) 0 --- inspect .0023 .0028 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900     900     10000 5900    .86 0     error (invalid witness file) 0 --- inspect .65 .40 40 0   0      error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .63 48 0     0     error (invalid witness file) 0 --- inspect .0019 .0025 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 200     200     15000 2400    .85 0     error (invalid witness file) 0 --- inspect .66 .41 40 0   0      error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .60 47 0     0     error (invalid witness file) 0 --- inspect .0020 .0022 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 190     190     15000 2600    1.0  0     error (invalid witness file) 0 --- inspect .75 .46 41 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .61 47 0     0     error (invalid witness file) 0 --- inspect .0018 .0023 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 440     440     15000 3500    .85 0     error (invalid witness file) 0 --- inspect .59 .36 41 0   0      error (2) 0 --- inspect .024 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .62 48 0     0     error (invalid witness file) 0 --- inspect .0045 .0056 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 32     32     15000 470    1.1  0     error (invalid witness file) 0 --- inspect .63 .39 42 0   0      error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .62 49 0     0     error (invalid witness file) 0 --- inspect .0043 .0048 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900     900     9800 8700    1.0  0     error (invalid witness file) 0 --- inspect .61 .38 43 0   0      error (2) 0 --- inspect .022 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .90 .59 46 0     0     error (invalid witness file) 0 --- inspect .0047 .0057 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 89     88     15000 1200    1.0  0     error (invalid witness file) 0 --- inspect .64 .40 41 0   0      error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .61 48 0     0     error (invalid witness file) 0 --- inspect .0037 .0048 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 60     60     15000 700    1.0  0     error (invalid witness file) 0 --- inspect .75 .46 41 0   0      error (2) 0 --- inspect .027 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .63 47 0     0     error (invalid witness file) 0 --- inspect .0049 .0063 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 430     430     15000 3100    .85 0     error (invalid witness file) 0 --- inspect .59 .37 41 0   0      error (2) 0 --- inspect .026 .027 5.5 0    0   error (invalid witness file) 0 --- inspect 1.0  .67 47 0     0     error (invalid witness file) 0 --- inspect .0018 .0023 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 88     88     15000 1100    .86 0     error (invalid witness file) 0 --- inspect .62 .38 42 0   0      error (2) 0 --- inspect .027 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .61 48 0     0     error (invalid witness file) 0 --- inspect .0047 .0057 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 100     100     15000 1400    1.0  0     error (invalid witness file) 0 --- inspect .60 .37 41 0   0      error (2) 0 --- inspect .027 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .90 .60 46 0     0     error (invalid witness file) 0 --- inspect .0033 .0045 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900     900     9600 6700    .86 0     error (invalid witness file) 0 --- inspect .66 .40 41 0   0      error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .63 47 0     0     error (invalid witness file) 0 --- inspect .0021 .0028 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 89     89     15000 1300    .87 0     error (invalid witness file) 0 --- inspect .66 .41 41 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .63 47 0     0     error (invalid witness file) 0 --- inspect .0046 .0056 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 100     100     15000 1100    .86 0     error (invalid witness file) 0 --- inspect .73 .45 40 0   0      error (2) 0 --- inspect .027 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .90 .60 47 0     0     error (invalid witness file) 0 --- inspect .0019 .0024 .44 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 430     430     15000 4500    .85 0     error (invalid witness file) 0 --- inspect .64 .38 40 0   0      error (2) 0 --- inspect .025 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .61 48 0     0     error (invalid witness file) 0 --- inspect .0035 .0045 .39 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 45     44     15000 530    .93 0     error (invalid witness file) 0 --- inspect .61 .38 40 0   0      error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .63 48 0     0     error (invalid witness file) 0 --- inspect .0032 .0037 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 290     290     15000 4200    1.0  0     error (invalid witness file) 0 --- inspect .60 .37 42 0   0      error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .60 47 0     0     error (invalid witness file) 0 --- inspect .0053 .0071 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900     900     9500 7000    .86 0     error (invalid witness file) 0 --- inspect .65 .39 41 0   0      error (2) 0 --- inspect .023 .025 5.6 0    0   error (invalid witness file) 0 --- inspect 1.1  .70 46 0     0     error (invalid witness file) 0 --- inspect .0051 .0072 .50 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 74     74     15000 1000    .86 0     error (invalid witness file) 0 --- inspect .65 .40 41 0   0      error (2) 0 --- inspect .029 .030 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .63 48 0     0     error (invalid witness file) 0 --- inspect .0054 .0067 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 61     61     15000 690    .87 0     error (invalid witness file) 0 --- inspect .73 .44 40 0   0      error (2) 0 --- inspect .023 .024 5.8 0    0   error (invalid witness file) 0 --- inspect .95 .63 48 0     0     error (invalid witness file) 0 --- inspect .0019 .0024 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 430     430     15000 4100    1.0  0     error (invalid witness file) 0 --- inspect .68 .41 41 0   0      error (2) 0 --- inspect .027 .028 5.6 0    0   error (invalid witness file) 0 --- inspect 1.1  .69 46 0     0     error (invalid witness file) 0 --- inspect .0044 .0056 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 66     65     15000 940    .87 0     error (invalid witness file) 0 --- inspect .62 .43 41 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .62 49 0     0     error (invalid witness file) 0 --- inspect .0050 .0061 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 31     31     15000 350    1.1  0     error (invalid witness file) 0 --- inspect .63 .39 41 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .63 48 0     0     error (invalid witness file) 0 --- inspect .0069 .0099 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900     900     9800 7800    1.0  0     error (invalid witness file) 0 --- inspect .66 .41 40 0   0      error (2) 0 --- inspect .026 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .63 48 0     0     error (invalid witness file) 0 --- inspect .0021 .0027 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 88     88     15000 950    1.0  0     error (invalid witness file) 0 --- inspect .59 .36 40 0   0      error (2) 0 --- inspect .028 .029 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .67 47 0     0     error (invalid witness file) 0 --- inspect .0019 .0027 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 60     59     15000 740    1.1  0     error (invalid witness file) 0 --- inspect .73 .46 40 0   0      error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .60 48 0     0     error (invalid witness file) 0 --- inspect .0017 .0023 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 450     450     15000 3400    1.0  0     error (invalid witness file) 0 --- inspect .66 .39 40 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 47 0     0     error (invalid witness file) 0 --- inspect .0042 .0047 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 590     590     15000 6900    .85 0     error (invalid witness file) 0 --- inspect .62 .39 41 0   0      error (2) 0 --- inspect .024 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .59 47 0     0     error (invalid witness file) 0 --- inspect .0021 .0028 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 130     130     15000 1600    .86 0     error (invalid witness file) 0 --- inspect .63 .39 41 0   0      error (2) 0 --- inspect .022 .024 5.7 0    0   error (invalid witness file) 0 --- inspect .98 .64 48 0     0     error (invalid witness file) 0 --- inspect .0047 .0062 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 450     450     15000 3300    1.0  0     error (invalid witness file) 0 --- inspect .75 .46 41 0   0      error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .63 47 0     0     error (invalid witness file) 0 --- inspect .0065 .0084 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 160     160     15000 1900    .85 0     error (invalid witness file) 0 --- inspect .61 .38 40 0   0      error (2) 0 --- inspect .023 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .90 .59 47 0     0     error (invalid witness file) 0 --- inspect .0045 .0056 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 170     170     15000 2300    .86 0     error (invalid witness file) 0 --- inspect .65 .39 41 0   0      error (2) 0 --- inspect .026 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .60 47 0     0     error (invalid witness file) 0 --- inspect .0050 .0066 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900     900     8900 6400    .86 0     error (invalid witness file) 0 --- inspect .63 .39 40 0   0      error (2) 0 --- inspect .021 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .61 48 0     0     error (invalid witness file) 0 --- inspect .0059 .0071 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 160     160     15000 2200    .86 0     error (invalid witness file) 0 --- inspect .59 .38 40 0   0      error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .59 47 0     0     error (invalid witness file) 0 --- inspect .0052 .0064 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 170     170     15000 2300    1.0  0     error (invalid witness file) 0 --- inspect .60 .38 42 0   0      error (2) 0 --- inspect .022 .024 5.7 0    0   error (invalid witness file) 0 --- inspect .90 .58 47 0     0     error (invalid witness file) 0 --- inspect .0043 .0061 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 460     460     15000 3400    1.0  0     error (invalid witness file) 0 --- inspect .68 .41 40 0   0      error (2) 0 --- inspect .026 .027 5.7 0    0   error (invalid witness file) 0 --- inspect .99 .64 48 0     0     error (invalid witness file) 0 --- inspect .0019 .0023 .43 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 590     590     15000 7400    .85 0     error (invalid witness file) 0 --- inspect .65 .40 41 0   0      error (2) 0 --- inspect .025 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .63 48 0     0     error (invalid witness file) 0 --- inspect .0018 .0024 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 130     130     15000 1700    .86 0     error (invalid witness file) 0 --- inspect .68 .40 42 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .59 49 0     0     error (invalid witness file) 0 --- inspect .0017 .0023 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c out of memory 0 --- inspect 660     660     15000 6000    .85 0     error (invalid witness file) 0 --- inspect .57 .35 40 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .67 48 0     0     error (invalid witness file) 0 --- inspect .0050 .0061 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 460     460     15000 3600    .85 0     error (invalid witness file) 0 --- inspect .63 .38 41 0   0      error (2) 0 --- inspect .021 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .64 49 0     0     error (invalid witness file) 0 --- inspect .0023 .0031 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 600     600     15000 7900    .85 0     error (invalid witness file) 0 --- inspect .58 .35 40 0   0      error (2) 0 --- inspect .030 .031 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .61 47 0     0     error (invalid witness file) 0 --- inspect .0056 .0068 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 130     130     15000 1700    1.0  0     error (invalid witness file) 0 --- inspect .66 .40 42 0   0      error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .62 49 0     0     error (invalid witness file) 0 --- inspect .0014 .0018 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 410     410     15000 3300    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 40 0   0   error (2) 0 --- inspect .036 .038 5.7 0    0    
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 140     140     15000 1800    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .48 41 0   0   error (2) 0 --- inspect .026 .028 5.6 0    0    
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 140     140     15000 1700    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .38 40 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0    
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900     900     10000 7000    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .67 .42 41 0   0   error (2) 0 --- inspect .024 .024 5.6 0    0    
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 200     200     15000 2100    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .44 41 0   0   error (2) 0 --- inspect .025 .025 5.6 0    0    
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 190     190     15000 2100    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .45 41 0   0   error (2) 0 --- inspect .021 .021 5.7 0    0    
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.p+lhb-reducer.c out of memory 0 --- inspect 540     540     15000 4500    .85 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .80 .48 41 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0    
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 420     420     15000 3200    .85 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 42 0   0   error (2) 0 --- inspect .031 .032 5.6 0    0    
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 60     60     15000 810    1.1  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .69 .43 42 0   0   error (2) 0 --- inspect .028 .028 5.6 0    0    
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c timeout 0 --- inspect 900     900     8900 7500    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .40 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900     900     9500 6600    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 41 0   0   error (2) 0 --- inspect .022 .023 5.7 0    0    
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 83     82     15000 1100    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .48 41 0   0   error (2) 0 --- inspect .021 .022 5.7 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 59     59     15000 570    .93 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .38 41 0   0   error (2) 0 --- inspect .020 .021 5.7 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 740     740     15000 8100    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .44 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 900     900     15000 11000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .40 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+sep-reducer.c timeout 0 --- inspect 900     900     9500 7100    .85 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .45 40 0   0   error (2) 0 --- inspect .023 .024 5.7 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 59     59     15000 580    .93 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .43 42 0   0   error (2) 0 --- inspect .026 .027 5.5 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900     900     11000 11000    .87 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .44 40 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900     900     11000 11000    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .40 41 0   0   error (2) 0 --- inspect .026 .026 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c timeout 0 --- inspect 900     900     1700 6300    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .38 43 0   0   error (2) 0 --- inspect .024 .026 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 57     57     15000 620    .93 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .46 42 0   0   error (2) 0 --- inspect .021 .023 5.7 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 96     96     15000 1100    .87 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .39 41 0   0   error (2) 0 --- inspect .026 .026 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 88     88     15000 1000    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .39 40 0   0   error (2) 0 --- inspect .023 .025 5.7 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+sep-reducer.c timeout 0 --- inspect 900     900     9300 9600    .85 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .86 .52 41 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 73     72     15000 690    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .79 .49 41 0   0   error (2) 0 --- inspect .026 .027 5.7 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 94     93     15000 1300    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .49 41 0   0   error (2) 0 --- inspect .028 .029 5.7 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 77     76     15000 950    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .39 41 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c timeout 0 --- inspect 900     900     5600 5800    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .38 42 0   0   error (2) 0 --- inspect .025 .026 5.7 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c out of memory 0 --- inspect 380     380     15000 3200    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .38 40 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 210     210     15000 2500    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .40 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 160     160     15000 1900    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .44 42 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 270     270     15000 2900    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .47 42 0   0   error (2) 0 --- inspect .031 .032 5.7 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 160     160     15000 2300    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .38 40 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 420     420     15000 3000    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .41 43 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 150     150     15000 1500    .85 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .47 41 0   0   error (2) 0 --- inspect .026 .027 5.5 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 720     720     15000 5300    .85 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .41 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900     900     4200 11000    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .40 40 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900     900     2900 12000    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .47 41 0   0   error (2) 0 --- inspect .026 .027 5.8 0    0    
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900     900     2900 13000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .45 40 0   0   error (2) 0 --- inspect .022 .024 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+sep-reducer.c true 2 wit inspect 4.1   4.1   130 56    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 16    8.9  500 0   0   timeout 0 --- inspect 960     870     5700   .64 0    
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900     900     3900 10000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .83 .51 41 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900     900     2500 12000    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .37 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900     900     2400 11000    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .37 42 0   0   error (2) 0 --- inspect .026 .027 5.8 0    0    
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c true 2 wit inspect 15     15     300 200    .85 0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 25    17    550 0   0   timeout 0 --- inspect 960     850     6000   .71 0    
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 100     100     15000 1400    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .43 41 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900     900     3400 11000    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .46 40 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900     900     12000 11000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .38 40 0   0   error (2) 0 --- inspect .021 .023 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+sep-reducer.c timeout 0 --- inspect 900     900     2600 12000    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .37 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 96     96     15000 1000    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .39 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900     900     3700 11000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .41 42 0   0   error (2) 0 --- inspect .024 .026 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900     900     7500 11000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 40 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c timeout 0 --- inspect 900     900     2500 8400    .85 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .45 41 0   0   error (2) 0 --- inspect .036 .037 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c out of memory 0 --- inspect 250     250     15000 2900    .85 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .36 40 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 60     60     15000 670    .87 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .42 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900     900     4500 11000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .47 41 0   0   error (2) 0 --- inspect .028 .029 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 46     45     15000 540    1.1  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .38 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+sep-reducer.c timeout 0 --- inspect 900     900     6800 12000    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .44 42 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 60     59     15000 680    1.1  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .45 40 0   0   error (2) 0 --- inspect .032 .033 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900     900     5100 12000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .46 41 0   0   error (2) 0 --- inspect .028 .028 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900     900     11000 11000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .45 40 0   0   error (2) 0 --- inspect .025 .025 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c out of memory 0 --- inspect 570     570     15000 6200    .85 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .46 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.p+lhb-reducer.c out of memory 0 --- inspect 410     410     15000 3000    .85 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .39 40 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 110     110     15000 1300    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .37 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900     900     6100 9900    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 48     48     15000 620    1.1  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .37 40 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+sep-reducer.c timeout 0 --- inspect 900     900     8600 9900    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .41 42 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c out of memory 0 --- inspect 650     650     15000 4700    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .79 .48 41 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 130     130     15000 1600    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .67 .42 40 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900     900     6000 11000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .39 40 0   0   error (2) 0 --- inspect .028 .029 5.7 0    0    
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900     900     15000 11000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .39 41 0   0   error (2) 0 --- inspect .020 .020 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c timeout 0 --- inspect 900     900     7400 11000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .37 41 0   0   error (2) 0 --- inspect .029 .030 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 220     220     15000 2600    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .45 40 0   0   error (2) 0 --- inspect .025 .025 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900     900     8800 11000    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .44 43 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 66     66     15000 810    .94 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .38 40 0   0   error (2) 0 --- inspect .021 .023 5.7 0    0    
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 250     250     15000 2900    .85 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .39 40 0   0   error (2) 0 --- inspect .041 .043 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 64     64     15000 740    1.1  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .46 41 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0    
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 430     430     15000 2900    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .41 41 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0    
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 210     210     15000 2400    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .41 40 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0    
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 200     200     15000 2400    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .46 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0    
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 200     190     15000 2400    .85 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .46 42 0   0   error (2) 0 --- inspect .028 .030 5.6 0    0    
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 190     190     15000 2400    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .44 41 0   0   error (2) 0 --- inspect .028 .030 5.6 0    0    
seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 430     430     15000 3800    .85 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 41 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0    
seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 66     66     15000 740    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .48 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0    
seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 32     32     15000 380    1.1  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .44 42 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0    
seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900     900     9400 6400    .86 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .79 .47 42 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0    
seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 91     90     15000 1100    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .41 43 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-pthread/cs_fib_false-unreach-call.i true -32 wit inspect .31  .31  52 4.5  1.0  0     timeout 0 wit inspect 92    72    1700 0   0      timeout 0 --- inspect 97     87     610   1.6  0   unknown 0 --- inspect 1.0  .67 51 0     0     error (1) 0 --- inspect .078  .079  11    0     0      - --- inspect - --- inspect
seq-pthread/cs_fib_longer_false-unreach-call.i true -32 wit inspect .23  .23  31 2.9  1.0  0     timeout 0 wit inspect 92    78    1300 0   0      timeout 0 --- inspect 97     75     910   1.4  0   unknown 0 --- inspect .96 .61 49 0     0     error (1) 0 --- inspect .068  .068  12    0     0      - --- inspect - --- inspect
seq-pthread/cs_lazy_false-unreach-call_true-termination.i true -32 wit inspect .19  .19  28 2.6  1.0  0     timeout 0 wit inspect 92    84    870 0   0      timeout 0 --- inspect 97     76     1100   .69 0   unknown 0 --- inspect 1.0  .66 50 0     0     error (1) 0 --- inspect .075  .075  12    0     .033  - --- inspect - --- inspect
seq-pthread/cs_queue_false-unreach-call.i witness invalid (false(unreach-call)) 0 --- inspect 55     55     150 650    .85 0     error (invalid witness file) 0 --- inspect .64 .39 42 0   0      error (2) 0 --- inspect .025 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .90 .59 46 0     0     error (invalid witness file) 0 --- inspect .0018 .0023 .53 0     0      - --- inspect - --- inspect
seq-pthread/cs_read_write_lock_false-unreach-call.i witness invalid (false(unreach-call)) 0 --- inspect 1.6   1.6   47 22    1.0  0     error (invalid witness file) 0 --- inspect .62 .39 41 0   0      error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .62 47 0     0     error (invalid witness file) 0 --- inspect .0048 .0067 .52 0     0      - --- inspect - --- inspect
seq-pthread/cs_stack_false-unreach-call.i witness invalid (false(unreach-call)) 0 --- inspect 8.1   8.1   80 100    .85 0     error (invalid witness file) 0 --- inspect .61 .37 41 0   0      error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .90 .59 46 0     0     error (invalid witness file) 0 --- inspect .0049 .0062 .40 0     0      - --- inspect - --- inspect
seq-pthread/cs_stateful_false-unreach-call_true-termination.i true -32 wit inspect .16  .16  29 1.9  1.0  0     timeout 0 wit inspect 92    82    900 0   0      timeout 0 --- inspect 96     70     1700   1.7  0   unknown 0 --- inspect .99 .65 49 0     0     error (1) 0 --- inspect .11   .11   11    0     0      - --- inspect - --- inspect
seq-pthread/cs_dekker_true-unreach-call.i true 1 wit inspect .19  .19  30 2.1  .85 0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    1500 0   0   timeout 0 --- inspect 960     910     3300   .70 0    
seq-pthread/cs_fib_longer_true-unreach-call.i true 1 wit inspect .24  .24  31 3.1  1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3400 0   0   timeout 0 --- inspect 960     910     2400   .63 0    
seq-pthread/cs_fib_true-unreach-call.i true 1 wit inspect .21  .21  30 2.6  .85 0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    2400 0   0   timeout 0 --- inspect 960     920     2300   .65 0    
seq-pthread/cs_lamport_true-unreach-call.i true 1 wit inspect .19  .19  30 2.2  .85 0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    1500 0   0   timeout 0 --- inspect 960     880     3000   .80 0    
seq-pthread/cs_peterson_true-unreach-call.i true 1 wit inspect .18  .18  29 2.3  .85 0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    1500 0   0   timeout 0 --- inspect 960     910     2700   .73 0    
seq-pthread/cs_queue_true-unreach-call.i true 1 wit inspect 1.4   1.4   140 17    1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3000 0   0   timeout 0 --- inspect 960     950     740   .64 0    
seq-pthread/cs_read_write_lock_true-unreach-call.i true 1 wit inspect .23  .23  29 2.7  .85 0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    1600 0   0   error (7) 0 --- inspect 20     12     320   .75 0    
seq-pthread/cs_stack_true-unreach-call.i true 1 wit inspect .42  .42  40 6.0  1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3000 0   0   error (7) 0 --- inspect 750     670     3500   .68 0    
seq-pthread/cs_stateful_true-unreach-call.i true 1 wit inspect .16  .16  29 1.8  1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    1600 0   0   timeout 0 --- inspect 960     890     3300   .70 0    
seq-pthread/cs_sync_true-unreach-call.i true 1 wit inspect .19  .19  29 2.5  1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3400 0   0   timeout 0 --- inspect 960     880     3800   .70 0    
seq-pthread/cs_szymanski_true-unreach-call.i true 1 wit inspect .18  .18  30 2.5  1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    1400 0   0   timeout 0 --- inspect 960     910     1300   1.5  0    
seq-pthread/cs_time_var_mutex_true-unreach-call.i true 1 wit inspect .20  .20  30 2.4  1.0  0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    1200 0   0   timeout 0 --- inspect 960     880     3500   .68 0    
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)
total 589 -36 210000    210000    4200000 2300000 560   .066 400 -2607 2800 1900 97000 0   .057 400 -4576 2200 1400 60000 95 0   400 19 1200 810 57000 .066 .39 400 -1854 110 110 3200 29   .94 189 30 30000 29000 140000 0   0   189 12 31000 29000 160000 34   .033
    correct results 94 109 280    280    5500 3500 90   0     49 49 410 220 16000 0   .020 0 19 19 120 65 5800 0     0    66 66 45 46 1400 9.2 .27 15 30 2200 2000 15000 0   0   6 12 730 520 10000 3.8 0    
        correct true 15 30 34    34    830 460 14   0     0 0 0 0 15 30 2200 2000 15000 0   0   6 12 730 520 10000 3.8 0    
        correct false 79 79 240    240    4700 3000 76   0     49 49 410 220 16000 0   .020 0 19 19 120 65 5800 0     0    66 66 45 46 1400 9.2 .27 0 0
    correct-unconfimed results 95 31 4300    4300    23000 52000 89   .066 0 0 0 0 0 0
        correct-unconfirmed true 31 31 2000    2000    6500 24000 29   0     0 0 0 0 0 0
        correct-unconfirmed false 64 0 2300    2300    16000 28000 60   .066 0 0 0 0 0 0
    incorrect results 7 -176 140    140    1200 1800 6.9 0     83 -2656 840 450 31000 0   .037 143 -4576 1800 1100 54000 90 0   0 60 -1920 45 45 1300 11   .50 0 0
        incorrect true 4 -128 .90 .90 140 12 4.0 0     83 -2656 840 450 31000 0   .037 143 -4576 1800 1100 54000 90 0   0 60 -1920 45 45 1300 11   .50 0 0
        incorrect false 3 -48 140    140    1100 1700 2.9 0     0 0 0 0 0 0
score (589 tasks, max score: 778) -36 -2607 -4576 19 -1854 30 12
Run set esbmc-kind.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-esbmc-kind.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-esbmc-kind.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-esbmc-kind.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-esbmc-kind.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-esbmc-kind.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-esbmc-kind.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized