Tool VeriFuzz 1.0.0 CPAchecker 1.7-svn 29852 ULTIMATE Automizer 0.1.23-635dfa2a CPA-witness2test 1.7-svn 29852 CProver witness2test 0.1 CPAchecker 1.7-svn 29852 ULTIMATE Automizer 0.1.23-635dfa2a
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2 timelimit: 900 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.15.0-42-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2018-12-09 02:47:33 CET 2018-12-09 17:43:44 CET 2018-12-09 18:26:53 CET 2018-12-09 18:31:36 CET 2018-12-12 22:04:17 CET 2018-12-09 17:35:51 CET 2018-12-09 18:23:50 CET
Run set verifuzz.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-verifuzz.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-verifuzz.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-verifuzz.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-verifuzz.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-verifuzz.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-verifuzz.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized
Options -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc -setprop cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc -setprop cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc -setprop cpa.smg.deallocationFunctions=free,kfree,kfree_const -witness ../../results-verified/verifuzz.2018-12-09_0247.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/verifuzz.2018-12-09_0247.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/verifuzz.2018-12-09_0247.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/verifuzz.2018-12-09_0247.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -witness ../../results-verified/verifuzz.2018-12-09_0247.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/verifuzz.2018-12-09_0247.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 6.8 4.7 170 68 .75 0      false(unreach-call) 1 wit inspect 5.2  2.8  270 0   0      true -32 --- inspect 7.6   4.6   310   .62 0      false(unreach-call) 1 --- inspect 4.1  2.4  250 0   .0082 false(unreach-call) 1 --- inspect .61   .61   20    .090 0     - --- inspect - --- inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 4.3 2.5 170 50 .77 0      false(unreach-call) 1 wit inspect 5.3  2.9  260 0   .0082 true -32 --- inspect 8.2   4.9   320   .62 0      false(unreach-call) 1 --- inspect 4.5  2.5  260 0   0      false(unreach-call) 1 --- inspect .65   .65   20    .098 0     - --- inspect - --- inspect
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 6.4 4.6 160 85 .78 0      false(unreach-call) 1 wit inspect 4.5  2.4  260 0   0      true -32 --- inspect 7.1   4.5   310   .66 0      unknown 0 --- inspect 4.1  2.4  250 0   0      false(unreach-call) 1 --- inspect .61   .61   20    .082 0     - --- inspect - --- inspect
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 6.9 4.8 160 75 .81 0      false(unreach-call) 1 wit inspect 4.2  2.3  260 0   0      true -32 --- inspect 7.7   4.4   300   .62 0      unknown 0 --- inspect 4.0  2.3  250 0   0      false(unreach-call) 1 --- inspect .60   .60   20    .086 0     - --- inspect - --- inspect
systemc/pipeline_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.1 2.8 180 53 .77 .041  false(unreach-call) 1 wit inspect 10    5.4  450 0   0      true -32 --- inspect 7.8   4.9   310   .66 0      false(unreach-call) 1 --- inspect 12    6.0  460 0   0      false(unreach-call) 1 --- inspect .66   .66   20    .11  .016 - --- inspect - --- inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 23   21   160 330 .81 0      false(unreach-call) 1 wit inspect 5.0  2.8  270 0   0      true -32 --- inspect 7.9   4.9   310   .62 0      unknown 0 --- inspect 4.7  2.7  260 0   0      false(unreach-call) 1 --- inspect .60   .61   20    .086 0     - --- inspect - --- inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 15   14   170 210 .83 .0082 false(unreach-call) 1 wit inspect 6.7  3.6  290 0   0      true -32 --- inspect 8.1   4.6   310   .66 .0082 unknown 0 --- inspect 4.9  2.7  270 0   0      false(unreach-call) 1 --- inspect .62   .62   20    .090 0     - --- inspect - --- inspect
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 50   48   170 550 .86 0      false(unreach-call) 1 wit inspect 6.9  3.7  280 0   0      true -32 --- inspect 8.0   4.9   310   .66 0      unknown 0 --- inspect 5.0  2.8  270 0   0      false(unreach-call) 1 --- inspect .62   .62   20    .11  0     - --- inspect - --- inspect
systemc/token_ring.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 72   71   220 870 .89 45      false(unreach-call) 1 wit inspect 7.5  4.1  270 0   0      true -32 --- inspect 8.1   4.7   300   .66 0      unknown 0 --- inspect 5.2  2.9  270 0   0      false(unreach-call) 1 --- inspect .64   .64   20    .11  0     - --- inspect - --- inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 52   51   170 750 .91 0      false(unreach-call) 1 wit inspect 7.1  3.8  290 0   .020  true -32 --- inspect 8.7   5.3   310   .66 0      unknown 0 --- inspect 5.6  3.1  270 0   0      false(unreach-call) 1 --- inspect .64   .64   20    .12  0     - --- inspect - --- inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 56   54   170 720 .93 0      false(unreach-call) 1 wit inspect 7.0  3.7  280 0   0      true -32 --- inspect 9.1   5.6   310   .62 0      unknown 0 --- inspect 5.6  3.2  280 0   0      false(unreach-call) 1 --- inspect .67   .67   20    .13  0     - --- inspect - --- inspect
systemc/token_ring.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 77   76   170 920 1.0  0      false(unreach-call) 1 wit inspect 8.1  4.3  300 0   0      true -32 --- inspect 10     5.8   330   .66 0      unknown 0 --- inspect 6.1  3.4  280 0   0      false(unreach-call) 1 --- inspect .66   .66   20    .14  0     - --- inspect - --- inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 80   79   170 980 1.1  .43   false(unreach-call) 1 wit inspect 7.9  4.2  320 0   0      true -32 --- inspect 9.9   5.5   320   .66 0      unknown 0 --- inspect 6.4  3.5  280 0   .020  false(unreach-call) 1 --- inspect .66   .66   20    .15  0     - --- inspect - --- inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 67   66   180 820 1.1  0      false(unreach-call) 1 wit inspect 8.4  4.5  360 0   0      true -32 --- inspect 9.6   5.4   320   .62 0      unknown 0 --- inspect 6.5  3.6  280 0   0      false(unreach-call) 1 --- inspect .67   .67   20    .16  0     - --- inspect - --- inspect
systemc/token_ring.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 530   540   180 8700 1.4  0      false(unreach-call) 1 wit inspect 9.7  5.2  450 0   0      true -32 --- inspect 11     6.0   340   .66 0      unknown 0 --- inspect 7.5  4.1  360 0   0      false(unreach-call) 1 --- inspect .69   .69   21    .16  0     - --- inspect - --- inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 460   470   180 5700 1.4  .39   false(unreach-call) 1 wit inspect 9.2  4.9  450 0   0      true -32 --- inspect 10     5.8   330   .62 0      unknown 0 --- inspect 7.2  3.9  340 0   0      false(unreach-call) 1 --- inspect .72   .71   20    .18  0     - --- inspect - --- inspect
systemc/token_ring.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 190   190   190 2500 1.2  0      false(unreach-call) 1 wit inspect 9.8  5.2  450 0   0      true -32 --- inspect 10     6.0   340   .66 0      unknown 0 --- inspect 7.7  4.2  380 0   0      false(unreach-call) 1 --- inspect .69   .69   20    .18  0     - --- inspect - --- inspect
systemc/token_ring.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 310   310   190 4400 1.3  0      false(unreach-call) 1 wit inspect 10    5.5  460 0   0      true -32 --- inspect 10     6.0   330   .66 0      unknown 0 --- inspect 7.9  4.2  420 0   0      false(unreach-call) 1 --- inspect .71   .72   20    .20  0     - --- inspect - --- inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 680   690   190 8700 1.7  0      false(unreach-call) 1 wit inspect 17    9.1  560 0   0      true -32 --- inspect 10     5.9   330   .62 0      unknown 0 --- inspect 11    5.9  480 0   .025  false(unreach-call) 1 --- inspect .73   .73   21    .18  0     - --- inspect - --- inspect
systemc/token_ring.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 420   420   230 5500 1.6  47      false(unreach-call) 1 wit inspect 10    5.5  460 0   0      true -32 --- inspect 11     5.9   340   .66 0      unknown 0 --- inspect 8.1  4.4  420 0   0      false(unreach-call) 1 --- inspect .70   .70   21    .20  0     - --- inspect - --- inspect
systemc/toy1_false-unreach-call_false-termination.cil.c error (1) 0 --- inspect 4.6 2.7 170 45 .48 0      error (invalid witness file) 0 --- inspect .76 .46 40 0   0      error (2) 0 --- inspect .020 .020 5.6 0    0      error (invalid witness file) 0 --- inspect .92 .60 47 0   0      error (invalid witness file) 0 --- inspect .0018 .0023 .53 0     0     - --- inspect - --- inspect
systemc/toy2_false-unreach-call_false-termination.cil.c error (1) 0 --- inspect 4.4 2.5 180 44 .48 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 .93 .58 47 0   0      error (invalid witness file) 0 --- inspect .0018 .0022 .53 0     0     - --- inspect - --- inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 6.6 4.5 170 70 .72 .0082 false(unreach-call) 1 wit inspect 4.6  2.6  260 0   0      true -32 --- inspect 7.4   4.1   310   .66 0      false(unreach-call) 1 --- inspect 3.9  2.2  250 0   0      false(unreach-call) 1 --- inspect .60   .59   20    .082 0     - --- inspect - --- inspect
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 6.5 4.6 170 73 .74 .11   false(unreach-call) 1 wit inspect 4.9  2.7  250 0   0      true -32 --- inspect 7.2   4.5   300   .66 0      false(unreach-call) 1 --- inspect 4.3  2.4  260 0   0      false(unreach-call) 1 --- inspect .66   .68   20    .090 0     - --- inspect - --- inspect
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 6.9 4.8 170 76 .78 0      false(unreach-call) 1 wit inspect 5.5  3.0  270 0   0      true -32 --- inspect 8.2   5.1   310   .66 0      false(unreach-call) 1 --- inspect 4.8  2.7  270 0   0      false(unreach-call) 1 --- inspect .62   .62   20    .10  .012 - --- inspect - --- inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 7.0 4.8 170 83 1.3  0      false(unreach-call) 1 wit inspect 5.9  3.2  270 0   0      true -32 --- inspect 8.6   5.2   320   .62 0      false(unreach-call) 1 --- inspect 5.0  2.8  270 0   0      false(unreach-call) 1 --- inspect .62   .62   20    .11  0     - --- inspect - --- inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 7.1 5.0 170 77 .90 0      false(unreach-call) 1 wit inspect 6.6  3.6  280 0   0      true -32 --- inspect 8.1   5.0   310   .66 0      false(unreach-call) 1 --- inspect 5.3  2.9  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 7.1 5.1 170 92 .92 0      false(unreach-call) 1 wit inspect 6.9  3.7  290 0   0      true -32 --- inspect 9.1   5.6   310   .62 0      false(unreach-call) 1 --- inspect 5.6  3.1  270 0   0      false(unreach-call) 1 --- inspect .63   .63   20    .13  0     - --- inspect - --- inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 7.4 5.3 180 83 .95 0      false(unreach-call) 1 wit inspect 7.1  3.8  300 0   0      true -32 --- inspect 9.0   5.0   310   .66 0      false(unreach-call) 1 --- inspect 5.6  3.0  280 0   0      false(unreach-call) 1 --- inspect .64   .64   20    .13  0     - --- inspect - --- inspect
systemc/transmitter.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 7.2 5.0 180 76 .91 0      false(unreach-call) 1 wit inspect 8.2  4.4  320 0   0      true -32 --- inspect 9.4   5.7   320   .66 0      false(unreach-call) 1 --- inspect 6.0  3.3  270 0   0      false(unreach-call) 1 --- inspect .66   .66   20    .14  0     - --- inspect - --- inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 7.4 5.3 180 93 1.0  0      false(unreach-call) 1 wit inspect 8.5  4.5  350 0   0      true -32 --- inspect 9.4   5.7   320   .66 0      false(unreach-call) 1 --- inspect 6.5  3.6  290 0   0      false(unreach-call) 1 --- inspect .67   .67   20    .15  0     - --- inspect - --- inspect
systemc/transmitter.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 7.6 5.2 180 84 1.0  0      false(unreach-call) 1 wit inspect 9.1  4.8  390 0   0      true -32 --- inspect 10     5.7   320   .62 0      false(unreach-call) 1 --- inspect 6.8  3.7  320 0   0      false(unreach-call) 1 --- inspect .68   .68   20    .16  .020 - --- inspect - --- inspect
systemc/transmitter.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 7.8 5.3 180 92 1.1  0      false(unreach-call) 1 wit inspect 9.8  5.2  440 0   0      true -32 --- inspect 10     6.0   330   .66 .025  false(unreach-call) 1 --- inspect 7.1  3.8  350 0   0      false(unreach-call) 1 --- inspect .70   .70   21    .17  0     - --- inspect - --- inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 8.0 5.4 180 90 1.2  0      false(unreach-call) 1 wit inspect 9.6  5.1  440 0   0      true -32 --- inspect 11     6.3   340   .66 0      false(unreach-call) 1 --- inspect 7.3  4.0  380 0   .025  false(unreach-call) 1 --- inspect .69   .69   21    .18  0     - --- inspect - --- inspect
systemc/transmitter.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 16   13   190 210 1.2  0      false(unreach-call) 1 wit inspect 10    5.5  450 0   0      true -32 --- inspect 11     6.3   340   .66 0      false(unreach-call) 1 --- inspect 8.0  4.3  420 0   0      false(unreach-call) 1 --- inspect .69   .69   21    .19  0     - --- inspect - --- inspect
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 8.1 5.6 190 90 1.1  0      false(unreach-call) 1 wit inspect 6.1  3.3  270 0   0      true -32 --- inspect 10     6.2   330   .66 0      false(unreach-call) 1 --- inspect 5.4  3.0  270 0   0      false(unreach-call) 1 --- inspect .71   .71   20    .19  0     - --- inspect - --- inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 8.2 5.6 190 84 1.2  0      false(unreach-call) 1 wit inspect 5.7  3.1  270 0   0      true -32 --- inspect 10     5.8   340   .66 0      false(unreach-call) 1 --- inspect 5.5  3.1  270 0   0      false(unreach-call) 1 --- inspect .71   .71   20    .20  0     - --- inspect - --- inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900   920   170 11000 .86 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .39 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
systemc/kundu_true-unreach-call_false-termination.cil.c error (1) 0 --- inspect 880   880   170 12000 1.3  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .43 40 0   0   error (2) 0 --- inspect .019 .020 5.6 0   0  
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c error (1) 0 --- inspect 870   880   190 10000 1.0  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .36 42 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c error (1) 0 --- inspect 870   880   190 9900 1.0  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .80 .48 42 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c error (1) 0 --- inspect 870   880   200 11000 1.1  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .37 40 0   0   error (2) 0 --- inspect .019 .020 5.6 0   0  
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c error (1) 0 --- inspect 870   880   200 11000 1.0  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .37 40 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c error (1) 0 --- inspect 870   880   190 13000 1.1  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .79 .48 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c error (1) 0 --- inspect 870   880   160 9900 .91 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .44 42 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c error (1) 0 --- inspect 870   880   170 11000 .86 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .67 .42 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0   0  
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c error (1) 0 --- inspect 860   880   170 11000 .85 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .35 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
systemc/pipeline_true-unreach-call_false-termination.cil.c error (1) 0 --- inspect 890   880   180 12000 1.4  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .37 40 0   0   error (2) 0 --- inspect .019 .020 5.6 0   0  
systemc/token_ring.01_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900   910   170 12000 .88 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .84 .50 42 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
systemc/token_ring.02_true-unreach-call_false-termination.cil.c error (1) 0 --- inspect 870   880   170 11000 1.1  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .80 .48 42 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
systemc/token_ring.03_true-unreach-call_false-termination.cil.c error (1) 0 --- inspect 880   880   220 10000 .94 45      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .42 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
systemc/token_ring.04_true-unreach-call_false-termination.cil.c error (1) 0 --- inspect 880   880   170 11000 1.0  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .67 .40 42 0   0   error (2) 0 --- inspect .019 .020 5.6 0   0  
systemc/token_ring.05_true-unreach-call_false-termination.cil.c error (1) 0 --- inspect 880   880   170 13000 1.3  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .47 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
systemc/token_ring.06_true-unreach-call_false-termination.cil.c error (1) 0 --- inspect 880   880   170 11000 1.4  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .81 .50 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
systemc/token_ring.07_true-unreach-call_false-termination.cil.c error (1) 0 --- inspect 880   880   170 13000 1.2  .13   - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .35 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
systemc/token_ring.08_true-unreach-call_false-termination.cil.c error (1) 0 --- inspect 880   880   180 14000 1.4  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .69 .42 42 0   0   error (2) 0 --- inspect .021 .021 5.6 0   0  
systemc/token_ring.09_true-unreach-call_false-termination.cil.c error (1) 0 --- inspect 880   880   190 11000 1.4  .020  - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .47 40 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
systemc/token_ring.10_true-unreach-call_false-termination.cil.c error (1) 0 --- inspect 880   880   230 12000 1.7  47      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
systemc/token_ring.11_true-unreach-call_false-termination.cil.c error (1) 0 --- inspect 880   880   190 12000 1.6  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .81 .49 41 0   0   error (2) 0 --- inspect .020 .022 5.6 0   0  
systemc/token_ring.12_true-unreach-call_false-termination.cil.c error (1) 0 --- inspect 880   880   190 11000 1.6  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .47 42 0   0   error (2) 0 --- inspect .021 .022 5.6 0   0  
systemc/token_ring.13_true-unreach-call_false-termination.cil.c error (1) 0 --- inspect 880   880   190 12000 1.6  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .40 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0   0  
systemc/toy_true-unreach-call_false-termination.cil.c error (1) 0 --- inspect 4.6 2.6 180 48 .48 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .40 41 0   0   error (2) 0 --- inspect .020 .021 5.7 0   0  
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 5.4 3.2 170 56 1.1  0      false(unreach-call) 1 wit inspect 5.9  3.2  270 0   0      true -32 --- inspect 9.0   5.0   310   .66 0      false(unreach-call) 1 --- inspect 4.6  2.6  260 0   0      false(unreach-call) 1 --- inspect .64   .64   20    .13  0     - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 7.1 5.1 170 89 .93 .020  false(unreach-call) 1 wit inspect 5.8  3.1  270 0   0      true -32 --- inspect 8.4   5.1   310   .66 0      false(unreach-call) 1 --- inspect 4.4  2.5  260 0   0      false(unreach-call) 1 --- inspect .64   .64   20    .13  0     - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 4.9 2.9 170 48 .82 0      false(unreach-call) 1 wit inspect 6.2  3.4  280 0   0      true -32 --- inspect 8.8   4.9   310   .66 0      false(unreach-call) 1 --- inspect 4.7  2.6  270 0   0      false(unreach-call) 1 --- inspect .66   .66   20    .13  0     - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 7.8 5.6 170 90 .90 0      false(unreach-call) 1 wit inspect 9.2  4.9  370 0   0      true -32 --- inspect 8.6   5.2   310   .66 0      false(unreach-call) 1 --- inspect 5.4  3.0  270 0   0      false(unreach-call) 1 --- inspect .65   .65   21    .13  .020 - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 5.0 2.9 170 50 .82 .020  false(unreach-call) 1 wit inspect 6.8  3.6  280 0   0      true -32 --- inspect 8.7   4.9   310   .62 0      false(unreach-call) 1 --- inspect 4.9  2.8  270 0   0      false(unreach-call) 1 --- inspect .64   .64   21    .13  .020 - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 7.0 4.8 170 87 .82 0      false(unreach-call) 1 wit inspect 6.2  3.3  280 0   0      true -32 --- inspect 8.6   5.2   310   .66 0      false(unreach-call) 1 --- inspect 4.9  2.8  270 0   0      false(unreach-call) 1 --- inspect .64   .64   20    .13  .020 - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 7.7 5.3 170 84 .90 0      false(unreach-call) 1 wit inspect 9.2  4.9  410 0   0      true -32 --- inspect 10     5.6   320   .66 0      false(unreach-call) 1 --- inspect 5.4  3.0  280 0   0      false(unreach-call) 1 --- inspect .65   .65   21    .13  0     - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 16   14   170 180 .89 0      false(unreach-call) 1 wit inspect 10    5.3  450 0   0      true -32 --- inspect 8.8   4.9   310   .66 0      false(unreach-call) 1 --- inspect 5.6  3.1  270 0   0      false(unreach-call) 1 --- inspect .65   .65   21    .13  0     - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 6.0 3.9 160 59 .90 0      false(unreach-call) 1 wit inspect 6.7  3.6  280 0   0      true -32 --- inspect 8.5   5.3   320   .62 0      false(unreach-call) 1 --- inspect 5.1  2.9  270 0   0      false(unreach-call) 1 --- inspect .64   .64   20    .11  0     - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 7.6 5.5 170 81 .90 .016  false(unreach-call) 1 wit inspect 7.1  3.8  290 0   .016  true -32 --- inspect 8.9   5.3   310   .66 0      false(unreach-call) 1 --- inspect 5.0  2.8  270 0   0      false(unreach-call) 1 --- inspect .65   .65   20    .11  .016 - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 14   12   170 160 .91 0      false(unreach-call) 1 wit inspect 7.9  4.3  300 0   0      true -32 --- inspect 8.6   5.2   310   .62 0      false(unreach-call) 1 --- inspect 5.4  3.0  270 0   .016  false(unreach-call) 1 --- inspect .64   .64   21    .11  .016 - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 19   17   170 210 .91 0      false(unreach-call) 1 wit inspect 7.4  4.0  280 0   0      true -32 --- inspect 8.3   5.1   310   .62 0      false(unreach-call) 1 --- inspect 4.7  2.6  260 0   0      false(unreach-call) 1 --- inspect .64   .64   20    .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 4.9 2.7 170 45 1.1  0      false(unreach-call) 1 wit inspect 6.8  3.6  290 0   0      true -32 --- inspect 8.5   5.2   310   .62 0      false(unreach-call) 1 --- inspect 4.7  2.6  270 0   0      false(unreach-call) 1 --- inspect .66   .66   20    .11  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.1 2.9 170 52 1.1  0      false(unreach-call) 1 wit inspect 6.9  3.7  290 0   0      true -32 --- inspect 8.1   5.0   310   .62 0      false(unreach-call) 1 --- inspect 4.9  2.7  260 0   0      false(unreach-call) 1 --- inspect .64   .67   20    .086 0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 4.9 2.8 180 46 .75 .016  false(unreach-call) 1 wit inspect 6.3  3.4  280 0   0      true -32 --- inspect 8.7   5.3   310   .62 0      false(unreach-call) 1 --- inspect 4.7  2.7  260 0   0      false(unreach-call) 1 --- inspect .63   .63   20    .11  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 4.9 2.6 180 58 .75 0      false(unreach-call) 1 wit inspect 8.0  4.3  280 0   .090  true -32 --- inspect 8.1   5.0   310   .66 0      false(unreach-call) 1 --- inspect 4.7  2.7  270 0   0      false(unreach-call) 1 --- inspect .65   .65   20    .11  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 4.7 2.5 170 50 .75 .016  false(unreach-call) 1 wit inspect 8.2  4.4  360 0   0      true -32 --- inspect 8.5   5.2   310   .62 0      false(unreach-call) 1 --- inspect 4.7  2.7  260 0   .098  false(unreach-call) 1 --- inspect .64   .64   21    .11  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 4.9 2.8 170 46 .75 0      false(unreach-call) 1 wit inspect 8.4  4.5  370 0   0      true -32 --- inspect 8.5   5.1   320   .66 .016  false(unreach-call) 1 --- inspect 5.1  2.8  260 0   0      false(unreach-call) 1 --- inspect .64   .65   20    .11  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 5.2 2.8 180 56 .82 0      false(unreach-call) 1 wit inspect 7.1  3.8  310 0   0      true -32 --- inspect 8.3   4.6   310   .66 .016  false(unreach-call) 1 --- inspect 4.6  2.6  270 0   0      false(unreach-call) 1 --- inspect .64   .64   20    .11  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.0 2.8 180 54 .82 0      false(unreach-call) 1 wit inspect 7.5  4.1  310 0   0      true -32 --- inspect 8.4   4.7   310   .66 0      false(unreach-call) 1 --- inspect 4.7  2.6  270 0   0      false(unreach-call) 1 --- inspect .65   .65   21    .11  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 4.9 2.7 170 47 .75 0      timeout 0 wit inspect 92    86    740 0   0      true -32 --- inspect 8.5   5.2   310   .62 0      false(unreach-call) 1 --- inspect 4.8  2.7  260 0   0      false(unreach-call) 1 --- inspect .63   .63   20    .11  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 5.5 3.3 180 62 .93 0      false(unreach-call) 1 wit inspect 10    5.3  430 0   .025  true -32 --- inspect 11     6.0   340   .62 0      false(unreach-call) 1 --- inspect 5.4  3.0  280 0   .23   false(unreach-call) 1 --- inspect .70   .70   21    .17  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.7 3.4 180 61 .94 .029  false(unreach-call) 1 wit inspect 10    5.4  440 0   0      true -32 --- inspect 11     6.3   350   .66 0      false(unreach-call) 1 --- inspect 5.4  3.0  270 0   0      false(unreach-call) 1 --- inspect .70   .70   21    .18  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 5.5 3.3 190 65 .96 0      false(unreach-call) 1 wit inspect 9.8  5.2  450 0   0      true -32 --- inspect 11     6.6   350   .62 0      false(unreach-call) 1 --- inspect 5.5  3.1  270 0   0      false(unreach-call) 1 --- inspect .70   .71   21    .18  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.5 3.4 190 67 .96 0      false(unreach-call) 1 wit inspect 9.8  5.2  450 0   0      true -32 --- inspect 11     6.4   350   .62 0      false(unreach-call) 1 --- inspect 5.4  3.0  270 0   0      false(unreach-call) 1 --- inspect .71   .73   21    .18  .033 - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 5.5 3.3 190 56 .96 .045  false(unreach-call) 1 wit inspect 11    6.2  450 0   0      true -32 --- inspect 11     6.6   340   .62 0      false(unreach-call) 1 --- inspect 5.4  3.0  270 0   0      false(unreach-call) 1 --- inspect .70   .71   21    .18  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.6 3.4 230 65 .96 49      false(unreach-call) 1 wit inspect 12    6.4  460 0   .033  true -32 --- inspect 11     6.6   350   .62 0      false(unreach-call) 1 --- inspect 5.9  3.3  270 0   0      false(unreach-call) 1 --- inspect .71   .71   21    .18  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 23   21   190 250 1.0  0      false(unreach-call) 1 wit inspect 9.6  5.2  450 0   0      true -32 --- inspect 11     6.0   350   .62 0      false(unreach-call) 1 --- inspect 5.5  3.1  270 0   0      false(unreach-call) 1 --- inspect .70   .70   21    .18  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 29   27   240 350 1.0  46      false(unreach-call) 1 wit inspect 10    5.4  450 0   0      true -32 --- inspect 11     6.3   340   .62 0      false(unreach-call) 1 --- inspect 5.6  3.1  280 0   .098  false(unreach-call) 1 --- inspect .72   .72   21    .18  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.4 3.3 190 56 .96 0      timeout 0 wit inspect 93    87    900 0   1.2    true -32 --- inspect 10     6.1   350   .66 0      false(unreach-call) 1 --- inspect 5.6  3.1  270 0   0      false(unreach-call) 1 --- inspect .71   .71   20    .18  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 8.6 5.9 220 110 1.3  0      false(unreach-call) 1 wit inspect 14    7.5  490 0   0      true -32 --- inspect 13     7.9   490   .66 0      false(unreach-call) 1 --- inspect 6.8  3.7  320 0   0      false(unreach-call) 1 --- inspect .81   .81   21    .31  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 8.8 5.9 210 96 1.3  0      false(unreach-call) 1 wit inspect 14    7.4  470 0   0      true -32 --- inspect 14     8.3   460   .66 0      false(unreach-call) 1 --- inspect 6.8  3.7  310 0   0      false(unreach-call) 1 --- inspect .83   .83   21    .32  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 9.0 6.1 220 110 1.3  0      false(unreach-call) 1 wit inspect 15    7.8  490 0   0      true -32 --- inspect 15     8.8   460   .62 0      false(unreach-call) 1 --- inspect 6.8  3.7  320 0   .15   false(unreach-call) 1 --- inspect .80   .80   21    .32  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 8.8 6.0 220 100 1.3  0      false(unreach-call) 1 wit inspect 14    7.7  500 0   0      true -32 --- inspect 13     7.9   470   .62 0      false(unreach-call) 1 --- inspect 6.7  3.7  320 0   .066  false(unreach-call) 1 --- inspect .82   .82   21    .33  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 9.0 6.1 230 96 1.3  0      false(unreach-call) 1 wit inspect 17    9.2  540 0   0      true -32 --- inspect 13     7.8   460   .66 0      false(unreach-call) 1 --- inspect 6.6  3.6  310 0   0      false(unreach-call) 1 --- inspect .81   .81   21    .32  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 8.9 6.2 220 96 1.3  .066  false(unreach-call) 1 wit inspect 17    9.2  520 0   0      true -32 --- inspect 13     7.7   470   .66 0      false(unreach-call) 1 --- inspect 6.7  3.6  320 0   0      false(unreach-call) 1 --- inspect .82   .82   21    .33  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 390   390   230 4500 1.8  0      false(unreach-call) 1 wit inspect 15    8.3  490 0   0      true -32 --- inspect 14     7.9   470   .66 0      false(unreach-call) 1 --- inspect 7.0  3.8  310 0   0      false(unreach-call) 1 --- inspect .82   .83   21    .32  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 360   370   220 5800 1.8  0      false(unreach-call) 1 wit inspect 18    9.5  490 0   0      true -32 --- inspect 14     8.4   470   .62 0      false(unreach-call) 1 --- inspect 6.7  3.7  310 0   0      false(unreach-call) 1 --- inspect .85   .85   21    .33  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 9.1 6.1 230 100 1.3  0      timeout 0 wit inspect 95    87    790 0   0      true -32 --- inspect 14     8.3   480   .66 0      false(unreach-call) 1 --- inspect 6.7  3.6  320 0   .037  false(unreach-call) 1 --- inspect .84   .84   21    .32  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 4.3 2.7 170 47 .92 0      false(unreach-call) 1 wit inspect 6.7  3.6  280 0   0      true -32 --- inspect 7.6   4.7   310   .66 0      false(unreach-call) 1 --- inspect 4.2  2.4  260 0   0      false(unreach-call) 1 --- inspect .63   .62   20    .086 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 7.9 6.2 170 81 .78 .012  false(unreach-call) 1 wit inspect 7.6  4.1  320 0   0      true -32 --- inspect 7.7   4.8   310   .66 .012  false(unreach-call) 1 --- inspect 4.5  2.6  260 0   0      false(unreach-call) 1 --- inspect .62   .62   20    .086 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 4.4 2.5 160 47 .68 0      false(unreach-call) 1 wit inspect 6.1  3.3  270 0   .012  true -32 --- inspect 8.2   4.6   310   .66 0      false(unreach-call) 1 --- inspect 4.4  2.5  260 0   .43   false(unreach-call) 1 --- inspect .64   .64   20    .086 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 4.4 2.6 170 48 .92 0      false(unreach-call) 1 wit inspect 5.9  3.2  270 0   0      true -32 --- inspect 7.6   4.7   300   .62 0      false(unreach-call) 1 --- inspect 4.3  2.5  260 0   0      false(unreach-call) 1 --- inspect .62   .62   20    .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 5.5 3.5 170 49 .81 0      false(unreach-call) 1 wit inspect 8.1  4.4  350 0   0      true -32 --- inspect 7.9   4.5   310   .66 .012  false(unreach-call) 1 --- inspect 4.4  2.5  260 0   0      false(unreach-call) 1 --- inspect .63   .63   20    .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 4.9 2.7 170 46 .95 0      false(unreach-call) 1 wit inspect 7.6  4.1  340 0   0      true -32 --- inspect 8.1   4.6   320   .66 0      false(unreach-call) 1 --- inspect 4.4  2.5  260 0   0      false(unreach-call) 1 --- inspect .65   .65   20    .10  .012 - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 4.6 2.6 170 45 .71 0      false(unreach-call) 1 wit inspect 6.6  3.5  280 0   .012  true -32 --- inspect 7.7   4.8   310   .62 0      false(unreach-call) 1 --- inspect 4.5  2.5  260 0   0      false(unreach-call) 1 --- inspect .62   .62   20    .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 4.7 2.7 170 46 .71 0      false(unreach-call) 1 wit inspect 6.9  3.7  280 0   0      true -32 --- inspect 8.8   4.9   310   .62 0      false(unreach-call) 1 --- inspect 6.2  3.5  260 0   0      false(unreach-call) 1 --- inspect .63   .64   20    .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 4.9 2.9 180 49 .97 0      false(unreach-call) 1 wit inspect 8.7  4.7  440 0   0      true -32 --- inspect 8.7   4.9   310   .66 0      false(unreach-call) 1 --- inspect 4.7  2.6  260 0   0      false(unreach-call) 1 --- inspect .64   .66   20    .11  0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.2 3.0 170 51 .98 0      false(unreach-call) 1 wit inspect 9.1  4.9  400 0   0      true -32 --- inspect 8.5   4.8   310   .66 0      false(unreach-call) 1 --- inspect 5.0  2.8  260 0   0      false(unreach-call) 1 --- inspect .66   .67   20    .11  0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 4.8 2.8 170 52 .73 0      false(unreach-call) 1 wit inspect 8.0  4.2  340 0   0      true -32 --- inspect 8.5   4.8   320   .62 0      false(unreach-call) 1 --- inspect 4.9  2.7  270 0   0      false(unreach-call) 1 --- inspect .63   .63   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 4.9 2.6 170 48 .74 0      false(unreach-call) 1 wit inspect 7.6  4.1  340 0   .016  true -32 --- inspect 8.5   5.1   310   .66 0      false(unreach-call) 1 --- inspect 4.8  2.7  260 0   .27   false(unreach-call) 1 --- inspect .69   .69   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 5.2 2.9 180 56 1.0  0      false(unreach-call) 1 wit inspect 10    5.5  440 0   0      true -32 --- inspect 8.9   5.4   320   .62 0      false(unreach-call) 1 --- inspect 4.7  2.7  260 0   0      false(unreach-call) 1 --- inspect .69   .69   20    .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 5.1 2.8 180 45 1.0  0      false(unreach-call) 1 wit inspect 11    5.7  460 0   0      true -32 --- inspect 9.0   5.5   320   .66 0      false(unreach-call) 1 --- inspect 5.0  2.8  270 0   0      false(unreach-call) 1 --- inspect .64   .64   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 5.0 2.7 180 52 .76 0      false(unreach-call) 1 wit inspect 9.9  5.2  420 0   0      true -32 --- inspect 9.1   5.1   310   .62 0      false(unreach-call) 1 --- inspect 4.8  2.7  270 0   0      false(unreach-call) 1 --- inspect .64   .64   20    .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 4.9 2.7 180 44 .76 0      false(unreach-call) 1 wit inspect 8.5  4.5  390 0   0      true -32 --- inspect 8.6   5.2   310   .66 0      false(unreach-call) 1 --- inspect 4.9  2.8  270 0   0      false(unreach-call) 1 --- inspect .65   .65   20    .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 4.3 2.5 160 47 .68 0      false(unreach-call) 1 wit inspect 7.4  4.0  320 0   0      true -32 --- inspect 8.0   4.9   310   .66 0      false(unreach-call) 1 --- inspect 4.2  2.4  260 0   0      false(unreach-call) 1 --- inspect .61   .61   20    .082 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 4.3 2.5 170 41 .68 .0082 false(unreach-call) 1 wit inspect 7.3  4.0  320 0   0      true -32 --- inspect 7.3   4.2   320   .66 0      false(unreach-call) 1 --- inspect 4.1  2.3  260 0   .30   false(unreach-call) 1 --- inspect .64   .64   20    .082 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 4.1 2.4 160 40 .67 .10   timeout 0 --- inspect 97    82    5200 0   0      true -32 --- inspect 8.1   4.6   310   .62 0      false(unreach-call) 1 --- inspect 4.4  2.5  260 0   0      false(unreach-call) 1 --- inspect .62   .62   20    .082 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 32   31   210 440 .76 45      timeout 0 wit inspect 93    86    620 0   0      true -32 --- inspect 7.8   4.9   310   .62 0      false(unreach-call) 1 --- inspect 4.6  2.6  260 0   .012  false(unreach-call) 1 --- inspect .63   .64   20    .086 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 27   26   170 310 .77 0      timeout 0 wit inspect 93    86    590 0   0      true -32 --- inspect 8.1   5.0   310   .62 0      false(unreach-call) 1 --- inspect 4.4  2.5  260 0   0      false(unreach-call) 1 --- inspect .62   .63   20    .090 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 4.7 3.0 220 52 .69 46      timeout 0 --- inspect 97    63    3300 0   .012  true -32 --- inspect 8.4   5.1   310   .62 0      false(unreach-call) 1 --- inspect 4.5  2.5  260 0   0      false(unreach-call) 1 --- inspect .63   .63   20    .090 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 21   19   180 240 .79 0      false(unreach-call) 1 wit inspect 23    16    450 0   .016  true -32 --- inspect 8.9   4.9   310   .66 0      false(unreach-call) 1 --- inspect 4.5  2.5  260 0   0      false(unreach-call) 1 --- inspect .62   .62   20    .10  .016 - --- inspect - --- inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 130   130   170 1700 .84 0      false(unreach-call) 1 wit inspect 29    21    470 0   0      true -32 --- inspect 7.7   4.8   310   .66 0      false(unreach-call) 1 --- inspect 4.5  2.5  260 0   0      false(unreach-call) 1 --- inspect .62   .62   20    .10  0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 4.7 2.7 170 56 .72 0      timeout 0 wit inspect 93    86    740 0   0      true -32 --- inspect 8.0   4.9   310   .66 0      false(unreach-call) 1 --- inspect 4.6  2.6  260 0   0      false(unreach-call) 1 --- inspect .64   .64   20    .10  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 310   320   180 3800 1.2  0      timeout 0 wit inspect 93    87    650 0   0      true -32 --- inspect 8.7   5.3   310   .66 0      false(unreach-call) 1 --- inspect 4.6  2.6  260 0   .15   false(unreach-call) 1 --- inspect .63   .63   20    .11  0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.3 3.3 180 54 .87 0      timeout 0 wit inspect 93    86    590 0   0      true -32 --- inspect 8.5   5.2   310   .66 0      false(unreach-call) 1 --- inspect 4.7  2.6  260 0   .23   false(unreach-call) 1 --- inspect .64   .67   20    .11  0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 4.7 2.5 180 44 .74 0      timeout 0 wit inspect 93    87    620 0   0      true -32 --- inspect 8.2   5.0   310   .66 0      false(unreach-call) 1 --- inspect 4.6  2.6  260 0   0      false(unreach-call) 1 --- inspect .65   .66   20    .086 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 12   9.9 180 140 .84 0      timeout 0 wit inspect 94    85    740 0   0      true -32 --- inspect 8.6   5.2   320   .66 0      false(unreach-call) 1 --- inspect 4.7  2.7  270 0   0      false(unreach-call) 1 --- inspect .64   .64   20    .13  0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.1 2.7 180 55 .76 0      timeout 0 wit inspect 94    85    750 0   0      true -32 --- inspect 8.6   5.3   310   .66 0      false(unreach-call) 1 --- inspect 5.0  2.8  270 0   0      false(unreach-call) 1 --- inspect .67   .67   21    .13  0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 4.7 2.6 180 50 .76 0      timeout 0 wit inspect 93    85    790 0   0      true -32 --- inspect 8.6   5.3   310   .66 0      false(unreach-call) 1 --- inspect 4.8  2.7  260 0   0      false(unreach-call) 1 --- inspect .65   .65   20    .13  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 260   270   190 3400 1.2  0      timeout 0 wit inspect 94    85    690 0   .58   true -32 --- inspect 8.5   4.8   310   .62 0      false(unreach-call) 1 --- inspect 4.9  2.8  270 0   0      false(unreach-call) 1 --- inspect .65   .65   21    .14  0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 4.9 2.8 190 44 .79 0      timeout 0 wit inspect 93    87    570 0   0      true -32 --- inspect 8.8   5.0   310   .66 0      false(unreach-call) 1 --- inspect 5.0  2.8  270 0   0      false(unreach-call) 1 --- inspect .66   .68   21    .14  0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr.8_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.0 2.8 190 56 .79 0      timeout 0 wit inspect 93    86    600 0   0      true -32 --- inspect 8.9   4.9   310   .66 0      false(unreach-call) 1 --- inspect 4.8  2.7  260 0   0      false(unreach-call) 1 --- inspect .68   .68   21    .14  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 4.8 2.8 170 51 1.2  0      false(unreach-call) 1 wit inspect 6.3  3.4  280 0   0      true -32 --- inspect 8.5   5.2   310   .66 0      false(unreach-call) 1 --- inspect 4.8  2.7  260 0   0      false(unreach-call) 1 --- inspect .66   .66   20    .11  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.1 2.9 180 46 1.2  0      false(unreach-call) 1 wit inspect 6.5  3.4  280 0   .025  true -32 --- inspect 9.1   5.1   310   .66 0      false(unreach-call) 1 --- inspect 4.8  2.7  270 0   0      false(unreach-call) 1 --- inspect .65   .65   20    .12  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 4.7 2.6 170 43 .77 .0082 false(unreach-call) 1 wit inspect 6.3  3.4  280 0   0      true -32 --- inspect 9.0   5.0   310   .66 0      false(unreach-call) 1 --- inspect 5.0  2.8  260 0   0      false(unreach-call) 1 --- 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) 1 wit inspect 5.0 2.8 180 48 .77 0      false(unreach-call) 1 wit inspect 6.3  3.4  280 0   0      true -32 --- inspect 9.3   5.3   320   .62 0      false(unreach-call) 1 --- inspect 4.9  2.7  270 0   0      false(unreach-call) 1 --- inspect .65   .65   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) 1 wit inspect 4.9 2.9 180 53 .77 0      false(unreach-call) 1 wit inspect 7.2  3.9  280 0   0      true -32 --- inspect 8.6   4.9   320   .66 0      false(unreach-call) 1 --- inspect 4.9  2.8  260 0   0      false(unreach-call) 1 --- inspect .63   .63   20    .11  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 4.8 2.6 170 43 .77 0      false(unreach-call) 1 wit inspect 6.8  3.7  280 0   0      true -32 --- inspect 8.5   5.3   310   .66 0      false(unreach-call) 1 --- inspect 5.1  2.8  270 0   .15   false(unreach-call) 1 --- inspect .64   .64   20    .12  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 5.2 3.1 170 54 .84 .041  false(unreach-call) 1 wit inspect 6.7  3.5  280 0   0      true -32 --- inspect 8.7   5.3   320   .66 0      false(unreach-call) 1 --- inspect 4.9  2.7  270 0   0      false(unreach-call) 1 --- inspect .65   .68   20    .11  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.1 3.0 170 57 .84 0      false(unreach-call) 1 wit inspect 6.8  3.6  300 0   0      true -32 --- inspect 9.4   5.7   310   .62 0      false(unreach-call) 1 --- inspect 4.9  2.7  260 0   0      false(unreach-call) 1 --- inspect .67   .67   20    .12  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 4.9 2.6 180 47 .77 0      timeout 0 wit inspect 95    87    600 0   0      true -32 --- inspect 8.5   5.3   310   .62 0      false(unreach-call) 1 --- inspect 5.0  2.8  270 0   .016  false(unreach-call) 1 --- inspect .66   .66   20    .12  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 5.5 3.4 190 56 .96 0      false(unreach-call) 1 wit inspect 8.7  4.7  420 0   0      true -32 --- inspect 10     6.1   340   .66 0      false(unreach-call) 1 --- inspect 5.7  3.1  280 0   0      false(unreach-call) 1 --- inspect .69   .69   21    .18  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.9 3.4 190 59 .97 0      false(unreach-call) 1 wit inspect 8.6  4.6  420 0   0      true -32 --- inspect 11     6.3   350   .66 0      false(unreach-call) 1 --- inspect 5.5  3.0  270 0   .15   false(unreach-call) 1 --- inspect .70   .70   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) 1 wit inspect 5.7 3.4 190 61 .99 0      false(unreach-call) 1 wit inspect 9.5  5.0  400 0   0      true -32 --- inspect 12     6.6   350   .66 0      false(unreach-call) 1 --- inspect 5.7  3.1  270 0   0      false(unreach-call) 1 --- inspect .70   .70   21    .19  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.8 3.8 240 65 .99 47      false(unreach-call) 1 wit inspect 8.6  4.6  390 0   0      true -32 --- inspect 10     5.7   340   .66 0      false(unreach-call) 1 --- inspect 5.4  3.0  270 0   0      false(unreach-call) 1 --- inspect .73   .73   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) 1 wit inspect 5.7 3.5 190 60 .99 0      false(unreach-call) 1 wit inspect 11    5.8  460 0   0      true -32 --- inspect 11     6.4   340   .66 0      false(unreach-call) 1 --- inspect 6.0  3.3  270 0   0      false(unreach-call) 1 --- inspect .70   .70   21    .19  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.6 3.5 190 59 .99 .41   false(unreach-call) 1 wit inspect 9.9  5.4  440 0   0      true -32 --- inspect 11     6.2   350   .66 0      false(unreach-call) 1 --- inspect 5.8  3.2  280 0   0      false(unreach-call) 1 --- inspect .71   .71   21    .19  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 26   24   190 320 1.1  0      false(unreach-call) 1 wit inspect 9.2  5.0  430 0   0      true -32 --- inspect 11     6.6   350   .66 0      false(unreach-call) 1 --- inspect 5.6  3.1  270 0   0      false(unreach-call) 1 --- inspect .70   .70   21    .19  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 26   24   200 310 1.1  0      false(unreach-call) 1 wit inspect 9.3  5.0  430 0   0      true -32 --- inspect 10     6.1   350   .66 0      false(unreach-call) 1 --- inspect 5.7  3.1  280 0   0      false(unreach-call) 1 --- inspect .71   .71   21    .19  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.7 3.5 190 70 .99 .037  timeout 0 wit inspect 96    83    720 0   0      true -32 --- inspect 12     6.9   350   .66 0      false(unreach-call) 1 --- inspect 5.6  3.1  270 0   0      false(unreach-call) 1 --- inspect .71   .71   21    .19  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 8.9 6.2 220 97 1.3  0      false(unreach-call) 1 wit inspect 12    6.3  480 0   0      true -32 --- inspect 14     8.3   480   .66 0      false(unreach-call) 1 --- inspect 6.8  3.7  320 0   .098  false(unreach-call) 1 --- inspect .84   .84   21    .32  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 8.9 6.1 220 110 1.3  0      false(unreach-call) 1 wit inspect 11    6.0  490 0   0      true -32 --- inspect 14     8.0   470   .66 .17   false(unreach-call) 1 --- inspect 6.8  3.7  330 0   0      false(unreach-call) 1 --- inspect .82   .82   21    .33  .061 - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 9.2 6.4 250 110 1.4  0      false(unreach-call) 1 wit inspect 12    6.5  500 0   .070  true -32 --- inspect 14     7.9   490   .62 0      false(unreach-call) 1 --- inspect 7.0  3.8  320 0   0      false(unreach-call) 1 --- inspect .83   .82   21    .33  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 9.2 6.3 220 110 1.4  0      false(unreach-call) 1 wit inspect 13    6.6  500 0   0      true -32 --- inspect 14     8.0   490   .66 0      false(unreach-call) 1 --- inspect 6.7  3.6  330 0   0      false(unreach-call) 1 --- inspect .83   .83   21    .34  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 9.3 6.3 240 100 1.4  0      false(unreach-call) 1 wit inspect 13    7.7  520 0   0      true -32 --- inspect 13     7.7   500   .66 0      false(unreach-call) 1 --- inspect 7.2  3.9  330 0   .070  false(unreach-call) 1 --- inspect .82   .82   21    .33  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 9.4 6.3 250 98 1.4  0      false(unreach-call) 1 wit inspect 16    9.2  540 0   0      true -32 --- inspect 14     7.7   480   .62 0      false(unreach-call) 1 --- inspect 7.2  3.9  330 0   .070  false(unreach-call) 1 --- inspect .85   .85   21    .34  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 390   390   230 6000 1.8  0      false(unreach-call) 1 wit inspect 14    7.7  500 0   0      true -32 --- inspect 14     8.4   470   .66 0      false(unreach-call) 1 --- inspect 6.9  3.8  320 0   .098  false(unreach-call) 1 --- inspect .86   .86   21    .33  .070 - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 370   370   230 5000 1.9  0      false(unreach-call) 1 wit inspect 13    7.0  490 0   0      true -32 --- inspect 13     7.6   510   .62 0      false(unreach-call) 1 --- inspect 6.9  3.8  330 0   0      false(unreach-call) 1 --- inspect .83   .83   21    .34  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 9.3 6.3 230 110 1.4  0      timeout 0 wit inspect 95    87    760 0   0      true -32 --- inspect 15     8.9   470   .62 0      false(unreach-call) 1 --- inspect 7.1  3.9  330 0   .070  false(unreach-call) 1 --- inspect .87   .90   21    .34  .070 - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c error (1) 0 --- inspect 870   880   990 12000 2.0  .0082 error (invalid witness file) 0 --- inspect .64 .43 42 0   0      error (2) 0 --- inspect .019 .020 5.6 0    0      error (invalid witness file) 0 --- inspect .89 .57 46 0   0      error (invalid witness file) 0 --- inspect .0017 .0026 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c error (1) 0 --- inspect 870   880   4500 10000 8.7  0      error (invalid witness file) 0 --- inspect .64 .39 42 0   0      error (2) 0 --- inspect .021 .023 5.6 0    0      error (invalid witness file) 0 --- inspect .89 .58 46 0   0      error (invalid witness file) 0 --- inspect .0059 .0077 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c error (1) 0 --- inspect 870   880   990 12000 1.8  0      error (invalid witness file) 0 --- inspect .61 .37 42 0   0      error (2) 0 --- inspect .020 .020 5.7 0    0      error (invalid witness file) 0 --- inspect .93 .60 47 0   0      error (invalid witness file) 0 --- inspect .0018 .0029 .41 0     0     - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c error (1) 0 --- inspect 870   880   4500 12000 9.6  .61   error (invalid witness file) 0 --- inspect .60 .36 41 0   0      error (2) 0 --- inspect .020 .020 5.6 0    0      error (invalid witness file) 0 --- inspect .95 .60 48 0   0      error (invalid witness file) 0 --- inspect .0017 .0022 .41 0     0     - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c error (1) 0 --- inspect 860   880   1000 13000 2.0  .078  error (invalid witness file) 0 --- inspect .58 .36 41 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0      error (invalid witness file) 0 --- inspect .92 .60 47 0   0      error (invalid witness file) 0 --- inspect .0026 .0032 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c error (1) 0 --- inspect 870   880   5200 11000 10    0      error (invalid witness file) 0 --- inspect .61 .36 42 0   0      error (2) 0 --- inspect .020 .020 5.6 0    0      error (invalid witness file) 0 --- inspect .93 .61 47 0   0      error (invalid witness file) 0 --- inspect .0042 .0053 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c error (1) 0 --- inspect 870   880   1000 12000 2.2  0      error (invalid witness file) 0 --- inspect .57 .36 41 0   0      error (2) 0 --- inspect .021 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .94 .60 47 0   0      error (invalid witness file) 0 --- inspect .0046 .0058 .40 0     0     - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c error (1) 0 --- inspect 870   880   5100 11000 11    0      error (invalid witness file) 0 --- inspect .59 .38 40 0   0      error (2) 0 --- inspect .021 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .90 .57 47 0   0      error (invalid witness file) 0 --- inspect .0018 .0024 .40 0     0     - --- inspect - --- inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c error (1) 0 --- inspect 870   880   1100 12000 4.4  .033  error (invalid witness file) 0 --- inspect .59 .37 43 0   0      error (2) 0 --- inspect .021 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .91 .59 47 0   0      error (invalid witness file) 0 --- inspect .0037 .0047 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c error (1) 0 --- inspect 870   880   1800 12000 8.4  0      error (invalid witness file) 0 --- inspect .60 .38 40 0   0      error (2) 0 --- inspect .020 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .90 .58 46 0   0      error (invalid witness file) 0 --- inspect .0049 .0059 .54 0     0     - --- inspect - --- inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c error (1) 0 --- inspect 870   880   970 11000 1.9  .0041 error (invalid witness file) 0 --- inspect .60 .38 41 0   0      error (2) 0 --- inspect .020 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .92 .59 47 0   0      error (invalid witness file) 0 --- inspect .0043 .0063 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c error (1) 0 --- inspect 870   880   4300 9700 8.9  .082  error (invalid witness file) 0 --- inspect .59 .37 41 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 .0057 .0068 .40 0     0     - --- inspect - --- inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c error (1) 0 --- inspect 870   880   980 10000 1.8  0      error (invalid witness file) 0 --- inspect .57 .36 41 0   0      error (2) 0 --- inspect .020 .021 5.7 0    0      error (invalid witness file) 0 --- inspect .91 .58 47 0   0      error (invalid witness file) 0 --- inspect .0017 .0021 .41 0     0     - --- inspect - --- inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c error (1) 0 --- inspect 870   880   4400 10000 9.4  .025  error (invalid witness file) 0 --- inspect .59 .36 43 0   0      error (2) 0 --- inspect .021 .022 5.5 0    0      error (invalid witness file) 0 --- inspect .93 .58 47 0   0      error (invalid witness file) 0 --- inspect .0017 .0022 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c error (1) 0 --- inspect 870   880   1000 13000 2.4  .098  error (invalid witness file) 0 --- inspect .59 .36 41 0   0      error (2) 0 --- inspect .021 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .90 .57 47 0   0      error (invalid witness file) 0 --- inspect .0020 .0026 .52 0     0     - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c error (1) 0 --- inspect 870   880   3900 10000 2.4  .0041 error (invalid witness file) 0 --- inspect .61 .37 42 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0      error (invalid witness file) 0 --- inspect .92 .59 47 0   0      error (invalid witness file) 0 --- inspect .0017 .0020 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c error (1) 0 --- inspect 870   880   1000 11000 2.4  .0082 error (invalid witness file) 0 --- inspect .59 .36 40 0   0      error (2) 0 --- inspect .019 .020 5.6 0    0      error (invalid witness file) 0 --- inspect .91 .57 46 0   0      error (invalid witness file) 0 --- inspect .0014 .0024 .40 0     0     - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c error (1) 0 --- inspect 870   880   3900 11000 2.5  .0082 error (invalid witness file) 0 --- inspect .62 .38 41 0   0      error (2) 0 --- inspect .019 .020 5.6 0    0      error (invalid witness file) 0 --- inspect .94 .62 48 0   0      error (invalid witness file) 0 --- inspect .0039 .0050 .52 0     0     - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c error (1) 0 --- inspect 870   880   1100 10000 3.4  0      error (invalid witness file) 0 --- inspect .61 .38 40 0   0      error (2) 0 --- inspect .020 .020 5.6 0    0      error (invalid witness file) 0 --- inspect .89 .57 47 0   0      error (invalid witness file) 0 --- inspect .0016 .0026 .52 0     0     - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c error (1) 0 --- inspect 870   880   4200 10000 3.2  0      error (invalid witness file) 0 --- inspect .59 .37 41 0   0      error (2) 0 --- inspect .020 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .92 .59 47 0   0      error (invalid witness file) 0 --- inspect .0019 .0024 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c error (1) 0 --- inspect 870   880   520 10000 2.7  .012  error (invalid witness file) 0 --- inspect .60 .37 40 0   0      error (2) 0 --- inspect .025 .027 5.6 0    0      error (invalid witness file) 0 --- inspect .96 .61 48 0   0      error (invalid witness file) 0 --- inspect .0018 .0082 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c error (1) 0 --- inspect 870   880   780 11000 2.6  .12   error (invalid witness file) 0 --- inspect .58 .36 41 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0      error (invalid witness file) 0 --- inspect .92 .60 47 0   0      error (invalid witness file) 0 --- inspect .0055 .0071 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c error (1) 0 --- inspect 860   880   1000 13000 1.6  45      error (invalid witness file) 0 --- inspect .60 .37 40 0   0      error (2) 0 --- inspect .021 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .93 .59 48 0   0      error (invalid witness file) 0 --- inspect .0015 .0020 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c error (1) 0 --- inspect 870   880   3800 12000 1.8  .0082 error (invalid witness file) 0 --- inspect .60 .38 42 0   0      error (2) 0 --- inspect .025 .026 5.6 0    0      error (invalid witness file) 0 --- inspect .90 .57 47 0   0      error (invalid witness file) 0 --- inspect .0026 .0036 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c error (1) 0 --- inspect 870   880   980 12000 2.2  .0041 error (invalid witness file) 0 --- inspect .58 .36 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 .0053 .0074 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c error (1) 0 --- inspect 870   880   3800 11000 2.0  .0082 error (invalid witness file) 0 --- inspect .60 .36 41 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 .0050 .0061 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c error (1) 0 --- inspect 860   880   170 12000 1.1  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .36 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0   0  
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c error (1) 0 --- inspect 880   880   170 11000 1.5  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .67 .40 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c error (1) 0 --- inspect 870   880   170 11000 1.1  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .67 .41 42 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c error (1) 0 --- inspect 870   880   170 10000 1.5  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .38 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c error (1) 0 --- inspect 860   880   180 12000 .87 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c error (1) 0 --- inspect 860   880   170 12000 .80 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .42 40 0   0   error (2) 0 --- inspect .021 .021 5.7 0   0  
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c error (1) 0 --- inspect 870   880   190 11000 1.5  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .41 40 0   0   error (2) 0 --- inspect .019 .020 5.6 0   0  
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c error (1) 0 --- inspect 870   880   190 10000 1.4  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .35 41 0   0   error (2) 0 --- inspect .021 .021 5.7 0   0  
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c error (1) 0 --- inspect 870   880   230 11000 1.7  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .37 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c error (1) 0 --- inspect 870   880   230 13000 1.9  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .45 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 --- inspect 900   920   170 13000 .88 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .45 40 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900   920   170 11000 .93 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .44 42 0   0   error (2) 0 --- inspect .019 .020 5.6 0   0  
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 --- inspect 900   920   170 11000 .93 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .80 .49 42 0   0   error (2) 0 --- inspect .022 .022 5.6 0   0  
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900   920   170 13000 .72 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .42 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c error (1) 0 --- inspect 870   880   180 9900 .83 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .67 .42 40 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c error (1) 0 --- inspect 870   880   170 11000 .84 .041  - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .43 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0   0  
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c error (1) 0 --- inspect 860   880   180 10000 .88 .020  - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .46 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c error (1) 0 --- inspect 870   880   180 13000 .84 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .37 40 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 --- inspect 900   920   160 11000 .88 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .48 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900   920   210 12000 .87 45      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .45 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 --- inspect 900   920   170 12000 .98 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .48 41 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900   920   170 12000 1.1  .041  - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 41 0   0   error (2) 0 --- inspect .022 .024 5.6 0   0  
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 --- inspect 900   920   170 12000 1.1  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .42 42 0   0   error (2) 0 --- inspect .019 .020 5.6 0   0  
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c error (1) 0 --- inspect 860   880   170 12000 .72 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .37 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c error (1) 0 --- inspect 860   880   180 10000 1.2  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .45 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c error (1) 0 --- inspect 860   880   180 13000 1.3  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c error (1) 0 --- inspect 860   880   180 13000 1.3  .025  - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .46 41 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c error (1) 0 --- inspect 870   880   190 12000 1.1  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .38 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c error (1) 0 --- inspect 870   880   190 12000 1.2  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .47 42 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c error (1) 0 --- inspect 870   880   190 11000 1.3  .029  - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .38 41 0   0   error (2) 0 --- inspect .020 .021 5.7 0   0  
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c error (1) 0 --- inspect 870   880   180 12000 .99 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .36 40 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c error (1) 0 --- inspect 870   880   180 10000 .93 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .45 41 0   0   error (2) 0 --- inspect .019 .020 5.6 0   0  
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c error (1) 0 --- inspect 870   880   190 8400 1.2  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .37 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c error (1) 0 --- inspect 870   880   190 12000 1.4  .037  - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .47 40 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c error (1) 0 --- inspect 870   880   230 11000 1.8  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .45 42 0   0   error (2) 0 --- inspect .020 .021 5.5 0   0  
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c error (1) 0 --- inspect 870   880   230 11000 1.8  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .42 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0   0  
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c error (1) 0 --- inspect 870   880   990 14000 2.0  .0082 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .43 40 0   0   error (2) 0 --- inspect .019 .021 5.6 0   0  
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c error (1) 0 --- inspect 870   880   4500 11000 8.8  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .46 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c error (1) 0 --- inspect 870   880   1100 12000 2.3  48      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .42 43 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c error (1) 0 --- inspect 870   880   5100 12000 9.8  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .79 .48 41 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c error (1) 0 --- inspect 870   880   900 10000 4.5  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .48 40 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c error (1) 0 --- inspect 870   880   890 11000 4.5  .033  - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .36 40 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c error (1) 0 --- inspect 870   880   1800 11000 7.3  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .40 42 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c error (1) 0 --- inspect 870   880   2800 10000 12    .016  - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .42 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c error (1) 0 --- inspect 870   880   970 13000 1.8  .0082 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .36 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c error (1) 0 --- inspect 870   880   4300 12000 8.0  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c error (1) 0 --- inspect 870   880   970 12000 1.8  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .45 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c error (1) 0 --- inspect 870   880   4400 10000 9.3  .0082 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .69 .42 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c error (1) 0 --- inspect 870   880   980 10000 1.9  .070  - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c error (1) 0 --- inspect 870   880   4400 10000 9.0  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .46 42 0   0   error (2) 0 --- inspect .021 .021 5.6 0   0  
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c error (1) 0 --- inspect 870   880   990 11000 2.3  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .80 .50 42 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c error (1) 0 --- inspect 870   880   3900 12000 2.1  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .43 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0   0  
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c error (1) 0 --- inspect 870   880   1100 8500 3.2  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .43 41 0   0   error (2) 0 --- inspect .020 .021 5.7 0   0  
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c error (1) 0 --- inspect 870   880   4200 12000 3.1  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .44 41 0   0   error (2) 0 --- inspect .019 .020 5.6 0   0  
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c error (1) 0 --- inspect 870   880   1100 12000 3.4  .0082 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .38 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c error (1) 0 --- inspect 870   880   4300 10000 3.0  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .39 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c error (1) 0 --- inspect 870   880   580 10000 2.5  47      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .46 41 0   0   error (2) 0 --- inspect .019 .021 5.7 0   0  
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c error (1) 0 --- inspect 870   880   520 11000 2.7  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .47 40 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c error (1) 0 --- inspect 870   880   820 10000 2.8  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .69 .42 42 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c error (1) 0 --- inspect 870   880   280 11000 2.5  .033  - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .46 41 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c error (1) 0 --- inspect 870   880   960 11000 1.9  .086  - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .39 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c error (1) 0 --- inspect 870   880   3800 11000 1.9  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c error (1) 0 --- inspect 870   880   970 12000 1.8  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .47 42 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c error (1) 0 --- inspect 870   880   3800 12000 2.0  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .45 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c error (1) 0 --- inspect 870   880   970 11000 2.0  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 40 0   0   error (2) 0 --- inspect .019 .020 5.6 0   0  
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c error (1) 0 --- inspect 870   880   3800 11000 2.1  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .69 .42 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0   0  
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 11   8.8 220 120 .87 0      false(unreach-call) 1 wit inspect 6.6  3.6  280 0   0      true -32 --- inspect 8.2   4.7   300   .66 .016  false(unreach-call) 1 --- inspect 4.5  2.5  260 0   0      error (2) 0 --- inspect .64   .64   20    .13  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 22   19   410 250 1.2  .0082 false(unreach-call) 1 wit inspect 6.8  3.6  290 0   0      true -32 --- inspect 12     6.8   410   .66 0      false(unreach-call) 1 --- inspect 5.7  3.1  270 0   0      error (2) 0 --- inspect .79   .79   20    .25  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 13   10   380 140 1.1  0      false(unreach-call) 1 wit inspect 7.0  3.7  280 0   0      true -32 --- inspect 11     6.4   370   .62 0      false(unreach-call) 1 --- inspect 5.7  3.2  270 0   .88   error (2) 0 --- inspect .74   .76   20    .20  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 17   15   230 200 .87 0      false(unreach-call) 1 wit inspect 6.3  3.3  270 0   .34   true -32 --- inspect 8.5   5.1   310   .62 0      false(unreach-call) 1 --- inspect 4.8  2.7  270 0   .016  error (2) 0 --- inspect .66   .66   20    .13  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 31   28   410 370 1.2  .037  false(unreach-call) 1 wit inspect 6.8  3.6  280 0   0      true -32 --- inspect 11     6.8   450   .66 39      false(unreach-call) 1 --- inspect 5.7  3.1  270 0   0      error (2) 0 --- inspect .84   .84   20    .25  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 27   24   380 320 1.1  0      false(unreach-call) 1 wit inspect 6.6  3.5  280 0   0      true -32 --- inspect 10     5.8   350   .62 0      false(unreach-call) 1 --- inspect 5.5  3.0  270 0   0      error (2) 0 --- inspect .74   .74   20    .20  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 6.2 4.0 250 62 .88 0      false(unreach-call) 1 wit inspect 6.1  3.3  280 0   0      true -32 --- inspect 8.8   5.3   320   .66 0      false(unreach-call) 1 --- inspect 4.9  2.8  270 0   0      error (2) 0 --- inspect .65   .65   20    .13  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 8.4 5.9 320 90 .96 45      false(unreach-call) 1 wit inspect 6.2  3.3  280 0   0      true -32 --- inspect 9.8   5.9   320   .66 0      false(unreach-call) 1 --- inspect 5.2  2.9  270 0   0      error (2) 0 --- inspect .71   .74   20    .17  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 7.5 5.3 270 87 .93 0      false(unreach-call) 1 wit inspect 6.2  3.3  280 0   0      true -32 --- inspect 10     5.5   320   .66 0      false(unreach-call) 1 --- inspect 5.2  2.9  270 0   0      error (2) 0 --- inspect .72   .73   20    .16  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 6.1 3.8 250 75 .88 0      false(unreach-call) 1 wit inspect 6.1  3.3  280 0   0      true -32 --- inspect 8.3   4.7   310   .66 0      false(unreach-call) 1 --- inspect 4.7  2.6  250 0   0      error (2) 0 --- inspect .67   .67   20    .13  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 8.5 5.8 270 95 .96 0      false(unreach-call) 1 wit inspect 6.4  3.4  280 0   0      true -32 --- inspect 9.6   5.7   330   .62 0      false(unreach-call) 1 --- inspect 5.1  2.8  270 0   0      error (2) 0 --- inspect .71   .70   20    .18  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 7.5 5.2 270 95 .93 0      false(unreach-call) 1 wit inspect 6.1  3.2  280 0   0      true -32 --- inspect 9.3   5.6   320   .66 0      false(unreach-call) 1 --- inspect 5.3  2.9  270 0   0      error (2) 0 --- inspect .73   .74   20    .16  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 6.4 4.0 260 73 .88 .016  false(unreach-call) 1 wit inspect 6.7  3.6  290 0   0      true -32 --- inspect 8.3   5.1   320   .66 0      false(unreach-call) 1 --- inspect 4.6  2.6  260 0   0      error (2) 0 --- inspect .65   .65   20    .13  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 19   16   410 220 1.2  0      false(unreach-call) 1 wit inspect 7.1  3.7  280 0   0      true -32 --- inspect 12     7.0   400   .62 0      false(unreach-call) 1 --- inspect 5.9  3.2  280 0   0      error (2) 0 --- inspect .81   .81   20    .25  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 13   9.4 410 130 1.1  0      false(unreach-call) 1 wit inspect 6.9  3.7  280 0   0      true -32 --- inspect 11     6.3   370   .62 0      false(unreach-call) 1 --- inspect 5.5  3.1  280 0   0      error (2) 0 --- inspect .74   .74   20    .20  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 6.3 3.9 250 70 .88 0      false(unreach-call) 1 wit inspect 6.5  3.5  270 0   0      true -32 --- inspect 9.0   5.5   310   .66 0      false(unreach-call) 1 --- inspect 4.7  2.7  270 0   0      error (2) 0 --- inspect .66   .66   21    .13  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 20   17   450 270 1.2  46      false(unreach-call) 1 wit inspect 6.9  3.7  280 0   0      true -32 --- inspect 11     6.7   420   .62 0      false(unreach-call) 1 --- inspect 5.8  3.2  270 0   .16   error (2) 0 --- inspect .80   .80   20    .25  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 12   9.5 410 140 1.1  0      false(unreach-call) 1 wit inspect 7.2  3.8  280 0   0      true -32 --- inspect 10     6.0   360   .66 0      false(unreach-call) 1 --- inspect 5.4  3.0  270 0   0      error (2) 0 --- inspect .74   .74   21    .20  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 50   48   250 610 .89 0      false(unreach-call) 1 wit inspect 6.6  3.5  280 0   0      true -32 --- inspect 8.8   5.2   310   .62 0      false(unreach-call) 1 --- inspect 6.5  3.6  270 0   0      error (2) 0 --- inspect .66   .66   20    .13  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 49   47   400 570 1.2  0      false(unreach-call) 1 wit inspect 7.0  3.7  280 0   0      true -32 --- inspect 11     6.7   400   .62 0      false(unreach-call) 1 --- inspect 5.6  3.1  270 0   0      error (2) 0 --- inspect .78   .78   20    .25  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 12   9.7 380 140 1.1  0      false(unreach-call) 1 wit inspect 7.1  3.8  290 0   0      true -32 --- inspect 10     5.9   360   .66 0      false(unreach-call) 1 --- inspect 5.6  3.1  270 0   .029  error (2) 0 --- inspect .73   .73   21    .20  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 290   300   250 3500 .94 0      false(unreach-call) 1 wit inspect 6.4  3.4  280 0   0      true -32 --- inspect 8.4   4.7   310   .66 0      false(unreach-call) 1 --- inspect 4.7  2.6  260 0   0      error (2) 0 --- inspect .66   .66   20    .13  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 150   150   420 1600 1.2  0      false(unreach-call) 1 wit inspect 6.9  3.7  280 0   0      true -32 --- inspect 12     6.7   400   .62 0      false(unreach-call) 1 --- inspect 5.6  3.1  270 0   0      error (2) 0 --- inspect .79   .79   21    .25  .037 - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 18   15   370 200 1.1  0      false(unreach-call) 1 wit inspect 6.8  3.7  280 0   0      true -32 --- inspect 11     6.3   360   .66 .029  false(unreach-call) 1 --- inspect 5.3  2.9  270 0   0      error (2) 0 --- inspect .77   .78   21    .20  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 31   28   280 350 1.1  0      false(unreach-call) 1 wit inspect 8.6  4.6  380 0   0      true -32 --- inspect 11     6.7   360   .62 0      false(unreach-call) 1 --- inspect 5.5  3.0  270 0   0      error (2) 0 --- inspect .76   .76   21    .21  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   1300 10000 1.6  .033  error (invalid witness file) 0 --- inspect .59 .37 40 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 .0029 .0039 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 790   810   700 11000 2.0  0      false(unreach-call) 1 wit inspect 9.8  5.1  410 0   0      true -32 --- inspect 14     8.2   510   .62 0      unknown 0 --- inspect 6.9  3.8  280 0   0      error (1) 0 --- inspect .85   .86   21    .066 .066 - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 12   9.4 270 130 1.1  0      false(unreach-call) 1 wit inspect 8.9  4.7  410 0   0      true -32 --- inspect 11     6.3   360   .62 0      false(unreach-call) 1 --- inspect 5.5  3.0  270 0   0      error (2) 0 --- inspect .73   .73   21    .21  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   1300 12000 1.5  .033  error (invalid witness file) 0 --- inspect .58 .37 41 0   0      error (2) 0 --- inspect .020 .020 5.6 0    0      error (invalid witness file) 0 --- inspect .94 .60 48 0   0      error (invalid witness file) 0 --- inspect .0060 .0099 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 620   630   700 7500 1.8  .033  false(unreach-call) 1 wit inspect 9.4  4.9  390 0   .066  true -32 --- inspect 16     8.8   510   .66 0      unknown 0 --- inspect 7.1  3.9  280 0   0      error (1) 0 --- inspect .86   .86   21    .066 0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 9.9 7.1 270 110 1.1  0      false(unreach-call) 1 wit inspect 8.7  4.6  360 0   0      true -32 --- inspect 11     6.3   360   .66 0      false(unreach-call) 1 --- inspect 5.6  3.1  270 0   0      error (2) 0 --- inspect .77   .77   21    .21  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 53   50   680 670 1.5  0      false(unreach-call) 1 wit inspect 8.6  4.6  370 0   0      true -32 --- inspect 13     7.8   470   .66 0      unknown 0 --- inspect 6.7  3.7  280 0   0      error (1) 0 --- inspect .79   .79   21    .057 0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 43   40   620 650 1.4  0      false(unreach-call) 1 wit inspect 9.7  5.1  370 0   0      true -32 --- inspect 14     8.0   460   .66 0      unknown 0 --- inspect 6.6  3.6  270 0   0      error (1) 0 --- inspect .80   .80   21    .053 0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 9.6 6.9 270 110 1.1  0      false(unreach-call) 1 wit inspect 8.3  4.4  380 0   .29   true -32 --- inspect 11     6.2   370   .62 0      false(unreach-call) 1 --- inspect 5.4  3.0  270 0   1.3    error (2) 0 --- inspect .77   .77   21    .21  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 56   52   680 670 1.5  0      false(unreach-call) 1 wit inspect 8.9  4.7  370 0   0      true -32 --- inspect 15     8.4   470   .62 0      unknown 0 --- inspect 6.7  3.7  280 0   0      error (1) 0 --- inspect .81   .81   21    .057 0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 45   42   640 560 1.4  0      false(unreach-call) 1 wit inspect 8.7  4.6  370 0   0      true -32 --- inspect 13     7.4   510   .66 0      unknown 0 --- inspect 6.3  3.4  280 0   0      error (1) 0 --- inspect .77   .77   21    .053 0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 9.7 7.0 270 120 1.1  0      false(unreach-call) 1 wit inspect 9.3  4.9  450 0   0      true -32 --- inspect 12     6.7   370   .62 0      false(unreach-call) 1 --- inspect 5.5  3.0  280 0   0      error (2) 0 --- inspect .76   .76   21    .21  .033 - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   1200 10000 1.6  .033  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 .91 .58 47 0   0      error (invalid witness file) 0 --- inspect .0017 .0022 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 400   400   690 4700 1.9  .033  false(unreach-call) 1 wit inspect 9.7  5.1  400 0   0      true -32 --- inspect 15     8.7   460   .62 0      unknown 0 --- inspect 6.8  3.7  280 0   0      error (1) 0 --- inspect .85   .85   21    .066 0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 9.5 6.8 270 100 1.1  0      false(unreach-call) 1 wit inspect 9.2  4.9  440 0   0      true -32 --- inspect 11     6.0   370   .66 0      false(unreach-call) 1 --- inspect 5.4  3.0  280 0   0      error (2) 0 --- inspect .74   .74   21    .21  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   1200 12000 1.7  .12   error (invalid witness file) 0 --- inspect .58 .35 41 0   0      error (2) 0 --- inspect .021 .021 5.6 0    0      error (invalid witness file) 0 --- inspect 1.0  .66 47 0   0      error (invalid witness file) 0 --- inspect .0049 .0068 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error (1) 0 --- inspect 870   880   700 9400 1.5  .033  error (invalid witness file) 0 --- inspect .59 .36 41 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 .0024 .0031 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 130   130   280 1500 1.2  0      false(unreach-call) 1 wit inspect 8.8  4.6  390 0   0      true -32 --- inspect 10     5.7   360   .66 0      false(unreach-call) 1 --- inspect 5.7  3.1  280 0   0      error (2) 0 --- inspect .77   .77   21    .21  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   1200 11000 1.6  0      error (invalid witness file) 0 --- inspect .61 .38 40 0   0      error (2) 0 --- inspect .020 .021 5.6 0    0      error (invalid witness file) 0 --- inspect 1.0  .64 47 0   0      error (invalid witness file) 0 --- inspect .0018 .0022 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 500   510   740 6900 1.9  45      false(unreach-call) 1 wit inspect 9.5  5.1  390 0   0      true -32 --- inspect 14     8.0   500   .66 0      unknown 0 --- inspect 6.7  3.6  270 0   0      error (1) 0 --- inspect .83   .83   21    .066 0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (1) 0 --- inspect 870   880   270 10000 1.0  0      error (invalid witness file) 0 --- inspect .60 .37 40 0   0      error (2) 0 --- inspect .020 .021 5.8 0    0      error (invalid witness file) 0 --- inspect .92 .59 47 0   0      error (invalid witness file) 0 --- inspect .0050 .0067 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   1200 13000 1.6  0      error (invalid witness file) 0 --- inspect .62 .38 42 0   0      error (2) 0 --- inspect .020 .030 5.6 0    0      error (invalid witness file) 0 --- inspect .91 .59 46 0   0      error (invalid witness file) 0 --- inspect .0017 .0023 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error (1) 0 --- inspect 870   880   710 12000 1.4  .033  error (invalid witness file) 0 --- inspect .60 .36 40 0   0      error (2) 0 --- inspect .021 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .94 .60 48 0   0      error (invalid witness file) 0 --- inspect .0018 .0022 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 32   29   410 350 1.6  0      false(unreach-call) 1 wit inspect 12    6.4  480 0   0      true -32 --- inspect 15     8.6   530   .66 0      false(unreach-call) 1 --- inspect 6.6  3.6  270 0   0      error (2) 0 --- inspect .91   .91   21    .38  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 29   24   1200 320 2.5  0      false(unreach-call) 1 wit inspect 13    7.1  480 0   .13   true -32 --- inspect 20     12     640   .66 0      unknown 0 --- inspect 8.8  4.8  320 0   0      error (1) 0 --- inspect 1.1    1.1    22    .13  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 18   15   440 220 1.7  .041  false(unreach-call) 1 wit inspect 12    6.1  470 0   0      true -32 --- inspect 15     8.7   510   .62 0      false(unreach-call) 1 --- inspect 6.6  3.6  280 0   0      error (2) 0 --- inspect .92   .92   21    .38  .070 - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   1400 10000 2.0  .033  error (invalid witness file) 0 --- inspect .67 .41 41 0   0      error (2) 0 --- inspect .020 .020 5.6 0    0      error (invalid witness file) 0 --- inspect .98 .63 48 0   0      error (invalid witness file) 0 --- inspect .0016 .0022 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c error (1) 0 --- inspect 870   880   1300 12000 1.9  .033  error (invalid witness file) 0 --- inspect .58 .35 41 0   0      error (2) 0 --- inspect .022 .024 5.6 0    0      error (invalid witness file) 0 --- inspect .90 .59 47 0   0      error (invalid witness file) 0 --- inspect .0017 .0022 .54 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 18   15   440 220 1.7  0      false(unreach-call) 1 wit inspect 12    6.2  460 0   0      true -32 --- inspect 14     7.9   460   .66 0      false(unreach-call) 1 --- inspect 6.4  3.5  270 0   0      error (2) 0 --- inspect .93   .93   21    .39  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   1500 11000 2.1  .033  error (invalid witness file) 0 --- inspect .69 .42 41 0   0      error (2) 0 --- inspect .020 .021 5.7 0    0      error (invalid witness file) 0 --- inspect .92 .58 47 0   0      error (invalid witness file) 0 --- inspect .0058 .0072 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error (1) 0 --- inspect 870   880   1300 12000 1.9  .033  error (invalid witness file) 0 --- inspect .60 .37 41 0   0      error (2) 0 --- inspect .024 .024 5.6 0    0      error (invalid witness file) 0 --- inspect .94 .61 48 0   0      error (invalid witness file) 0 --- inspect .0017 .0021 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 18   15   440 220 1.7  0      false(unreach-call) 1 wit inspect 13    7.0  510 0   0      true -32 --- inspect 14     8.3   540   .66 0      false(unreach-call) 1 --- inspect 6.5  3.6  270 0   0      error (2) 0 --- inspect .93   .93   21    .38  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 24   19   1300 310 2.6  0      false(unreach-call) 1 wit inspect 15    8.0  570 0   0      true -32 --- inspect 21     12     490   .66 0      unknown 0 --- inspect 8.5  4.6  330 0   0      error (1) 0 --- inspect 1.1    1.1    22    .13  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c error (1) 0 --- inspect 870   880   2500 12000 3.9  0      error (invalid witness file) 0 --- inspect .58 .35 41 0   0      error (2) 0 --- inspect .024 .025 5.5 0    0      error (invalid witness file) 0 --- inspect .91 .58 47 0   0      error (invalid witness file) 0 --- inspect .0018 .0023 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 380   380   470 5800 2.0  47      false(unreach-call) 1 wit inspect 12    6.3  480 0   .070  true -32 --- inspect 14     8.5   470   .66 0      false(unreach-call) 1 --- inspect 6.6  3.6  270 0   0      error (2) 0 --- inspect .91   .91   21    .38  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 110   110   1200 1500 2.7  0      false(unreach-call) 1 wit inspect 14    7.5  490 0   0      true -32 --- inspect 19     11     630   .66 0      unknown 0 --- inspect 8.2  4.5  310 0   0      error (1) 0 --- inspect 1.1    1.1    22    .13  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 false(unreach-call) 1 wit inspect 6.5 4.7 240 65 .79 45      false(unreach-call) 1 wit inspect 8.7  4.6  380 0   0      true -32 --- inspect 8.1   4.5   310   .62 0      false(unreach-call) 1 --- inspect 4.3  2.5  260 0   0      error (2) 0 --- inspect .64   .64   20    .090 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 error (1) 0 --- inspect 860   880   280 11000 .92 .029  error (invalid witness file) 0 --- inspect .61 .38 42 0   0      error (2) 0 --- inspect .020 .020 5.6 0    0      error (invalid witness file) 0 --- inspect .95 .62 47 0   0      error (invalid witness file) 0 --- inspect .0058 .0081 .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 false(unreach-call) 1 wit inspect 6.1 3.9 300 68 .91 47      false(unreach-call) 1 wit inspect 7.3  3.9  310 0   .0082 true -32 --- inspect 8.6   4.8   310   .66 0      false(unreach-call) 1 --- inspect 4.5  2.6  260 0   0      error (2) 0 --- inspect .66   .66   20    .13  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 error (1) 0 --- inspect 870   880   440 10000 1.1  0      error (invalid witness file) 0 --- inspect .60 .38 41 0   0      error (2) 0 --- inspect .020 .020 5.6 0    0      error (invalid witness file) 0 --- inspect .90 .59 47 0   0      error (invalid witness file) 0 --- inspect .0017 .0024 .52 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 false(unreach-call) 1 wit inspect 21   19   190 240 .71 0      false(unreach-call) 1 wit inspect 46    32    1900 0   .0082 true -32 --- inspect 7.7   4.3   320   .62 0      false(unreach-call) 1 --- inspect 4.3  2.5  260 0   0      error (2) 0 --- inspect .64   .64   20    .098 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   920   270 13000 .96 0      error (invalid witness file) 0 --- inspect .64 .39 41 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0      error (invalid witness file) 0 --- inspect .92 .60 47 0   0      error (invalid witness file) 0 --- inspect .0017 .0023 .53 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 false(unreach-call) 1 wit inspect 6.2 3.9 250 67 .81 0      false(unreach-call) 1 wit inspect 64    45    1900 0   0      true -32 --- inspect 8.9   5.1   310   .62 0      false(unreach-call) 1 --- inspect 4.6  2.6  260 0   0      error (2) 0 --- inspect .66   .66   20    .13  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c error (1) 0 --- inspect 870   880   440 12000 1.1  0      error (invalid witness file) 0 --- inspect .58 .35 40 0   0      error (2) 0 --- inspect .020 .020 5.6 0    0      error (invalid witness file) 0 --- inspect .94 .61 46 0   0      error (invalid witness file) 0 --- inspect .0051 .0062 .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 false(unreach-call) 1 wit inspect 5.4 3.3 190 57 .89 0      false(unreach-call) 1 wit inspect 6.0  3.2  270 0   0      true -32 --- inspect 7.6   4.7   310   .66 0      false(unreach-call) 1 --- inspect 4.3  2.4  260 0   0      error (2) 0 --- inspect .62   .62   20    .090 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 error (1) 0 --- inspect 860   880   270 10000 .71 0      error (invalid witness file) 0 --- inspect .60 .36 41 0   0      error (2) 0 --- inspect .020 .020 5.6 0    0      error (invalid witness file) 0 --- inspect .94 .61 47 0   0      error (invalid witness file) 0 --- inspect .0039 .0050 .53 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 false(unreach-call) 1 wit inspect 11   9.0 260 120 .89 0      false(unreach-call) 1 wit inspect 6.2  3.3  280 0   0      true -32 --- inspect 8.7   5.2   320   .66 0      false(unreach-call) 1 --- inspect 4.6  2.6  260 0   0      error (2) 0 --- inspect .65   .65   21    .13  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 error (1) 0 --- inspect 870   880   450 11000 1.2  .14   error (invalid witness file) 0 --- inspect .58 .37 40 0   0      error (2) 0 --- inspect .023 .024 5.6 0    0      error (invalid witness file) 0 --- inspect .95 .61 49 0   0      error (invalid witness file) 0 --- inspect .0013 .0016 .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 false(unreach-call) 1 wit inspect 5.3 3.4 190 54 .82 0      false(unreach-call) 1 wit inspect 6.1  3.2  270 0   0      true -32 --- inspect 7.8   4.8   320   .66 0      false(unreach-call) 1 --- inspect 4.4  2.5  260 0   0      error (2) 0 --- inspect .64   .66   20    .090 0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900   920   280 12000 1.0  0      error (invalid witness file) 0 --- inspect .62 .38 42 0   0      error (2) 0 --- inspect .020 .022 5.7 0    0      error (invalid witness file) 0 --- inspect .86 .56 46 0   0      error (invalid witness file) 0 --- inspect .0049 .0062 .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 false(unreach-call) 1 wit inspect 6.0 3.7 250 59 .81 0      false(unreach-call) 1 wit inspect 6.3  3.4  280 0   .016  true -32 --- inspect 8.6   5.1   310   .66 0      false(unreach-call) 1 --- inspect 4.5  2.6  260 0   0      error (2) 0 --- inspect .66   .66   20    .13  .016 - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+sep-reducer.c error (1) 0 --- inspect 870   880   420 13000 1.0  0      error (invalid witness file) 0 --- inspect .62 .38 41 0   0      error (2) 0 --- inspect .021 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .97 .62 47 0   0      error (invalid witness file) 0 --- inspect .0024 .0027 .39 0     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 false(unreach-call) 1 wit inspect 150   150   360 1900 1.3  0      false(unreach-call) 1 wit inspect 8.6  4.6  400 0   0      true -32 --- inspect 11     6.2   380   .66 0      false(unreach-call) 1 --- inspect 5.4  3.0  270 0   0      error (2) 0 --- inspect .76   .76   20    .24  .037 - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 5.9 3.8 210 65 .82 .52   false(unreach-call) 1 wit inspect 11    6.1  420 0   0      true -32 --- inspect 7.8   4.3   310   .66 0      false(unreach-call) 1 --- inspect 4.4  2.5  260 0   .012  error (2) 0 --- inspect .62   .62   20    .11  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 false(unreach-call) 1 wit inspect 62   57   1100 720 3.6  0      false(unreach-call) 1 wit inspect 79    69    1000 0   0      true -32 --- inspect 17     9.9   540   .66 0      false(unreach-call) 1 --- inspect 9.3  5.0  450 0   0      error (2) 0 --- inspect 1.5    1.5    33    1.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 false(unreach-call) 1 wit inspect 6.7 4.3 260 82 1.0  0      false(unreach-call) 1 wit inspect 10    5.5  430 0   0      true -32 --- inspect 8.8   4.9   310   .66 0      false(unreach-call) 1 --- inspect 4.8  2.7  260 0   0      error (2) 0 --- inspect .69   .69   20    .14  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 false(unreach-call) 1 wit inspect 190   180   1500 2500 9.2  .082  false(unreach-call) 1 wit inspect 33    20    1800 0   0      true -32 --- inspect 36     20     810   .62 0      false(unreach-call) 1 --- inspect 24    17    1700 0   0      error (2) 0 --- inspect 2.9    2.9    70    2.7   0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 6.1 3.9 210 67 .84 0      false(unreach-call) 1 wit inspect 29    17    1200 0   0      true -32 --- inspect 8.4   4.7   320   .66 0      false(unreach-call) 1 --- inspect 5.0  2.8  260 0   0      error (2) 0 --- inspect .64   .64   20    .11  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   910 12000 2.4  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 .91 .58 47 0   0      error (invalid witness file) 0 --- inspect .0018 .0020 .39 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 false(unreach-call) 1 wit inspect 6.6 4.4 260 69 .85 0      timeout 0 wit inspect 93    76    1800 0   0      true -32 --- inspect 8.3   5.1   310   .66 0      false(unreach-call) 1 --- inspect 4.9  2.7  260 0   0      error (2) 0 --- inspect .72   .72   20    .14  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c error (1) 0 --- inspect 870   880   1300 12000 6.1  0      error (invalid witness file) 0 --- inspect .66 .41 40 0   0      error (2) 0 --- inspect .021 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .92 .58 47 0   0      error (invalid witness file) 0 --- inspect .0018 .0024 .52 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 false(unreach-call) 1 wit inspect 5.9 3.9 200 65 .87 0      false(unreach-call) 1 wit inspect 6.4  3.4  280 0   0      true -32 --- inspect 8.3   4.6   310   .66 0      false(unreach-call) 1 --- inspect 4.4  2.5  260 0   0      error (2) 0 --- inspect .62   .62   20    .11  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 false(unreach-call) 1 wit inspect 22   18   430 250 2.0  0      false(unreach-call) 1 wit inspect 8.8  4.7  350 0   0      true -32 --- inspect 15     8.8   520   .62 0      false(unreach-call) 1 --- inspect 6.1  3.4  280 0   0      error (2) 0 --- inspect 1.0    1.0    21    .54  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 false(unreach-call) 1 wit inspect 6.5 4.3 260 67 .92 0      false(unreach-call) 1 wit inspect 6.8  3.6  290 0   0      true -32 --- inspect 8.7   4.9   320   .62 0      false(unreach-call) 1 --- inspect 4.8  2.7  260 0   0      error (2) 0 --- inspect .67   .68   20    .10  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 false(unreach-call) 1 wit inspect 120   120   1000 1800 5.7  .041  false(unreach-call) 1 wit inspect 15    7.9  740 0   0      true -32 --- inspect 21     12     670   .66 .23   false(unreach-call) 1 --- inspect 9.9  5.6  690 0   0      error (2) 0 --- inspect 1.8    1.8    40    1.3   0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 5.9 3.8 210 68 .86 0      false(unreach-call) 1 wit inspect 7.1  3.9  280 0   0      true -32 --- inspect 8.3   5.1   320   .62 0      false(unreach-call) 1 --- inspect 4.5  2.5  260 0   0      error (2) 0 --- inspect .64   .65   20    .086 0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 44   41   420 540 1.9  0      false(unreach-call) 1 wit inspect 8.6  4.6  320 0   0      true -32 --- inspect 14     8.4   460   .62 0      false(unreach-call) 1 --- inspect 6.4  3.5  280 0   0      error (2) 0 --- inspect 1.0    1.0    20    .54  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 13   11   260 170 .82 0      false(unreach-call) 1 wit inspect 7.1  3.7  290 0   0      true -32 --- inspect 9.0   5.4   320   .66 0      false(unreach-call) 1 --- inspect 4.7  2.6  260 0   0      error (2) 0 --- inspect .67   .66   20    .14  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 150   140   920 2100 4.6  .033  false(unreach-call) 1 wit inspect 12    6.8  690 0   0      true -32 --- inspect 22     13     590   .66 0      false(unreach-call) 1 --- inspect 10    5.8  670 0   0      error (2) 0 --- inspect 1.8    1.8    39    1.2   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 false(unreach-call) 1 wit inspect 6.7 4.5 250 78 .87 .016  false(unreach-call) 1 wit inspect 10    5.3  440 0   0      true -32 --- inspect 8.1   5.0   310   .66 0      false(unreach-call) 1 --- inspect 4.6  2.6  260 0   0      error (2) 0 --- inspect .65   .65   21    .12  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 false(unreach-call) 1 wit inspect 310   300   1300 3800 11    0      false(unreach-call) 1 wit inspect 34    23    2300 0   .094  true -32 --- inspect 35     20     820   .62 0      false(unreach-call) 1 --- inspect 31    22    2000 0   0      error (2) 0 --- inspect 3.2    3.2    86    1.4   .49  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 12   9.7 260 150 1.1  0      false(unreach-call) 1 wit inspect 9.6  5.0  440 0   0      true -32 --- inspect 9.6   5.4   320   .62 0      false(unreach-call) 1 --- inspect 4.9  2.8  270 0   0      error (2) 0 --- inspect .68   .68   20    .16  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 140   140   250 1800 .83 0      false(unreach-call) 1 wit inspect 57    41    2000 0   0      true -32 --- inspect 8.5   4.8   310   .66 0      false(unreach-call) 1 --- inspect 4.7  2.6  270 0   0      error (2) 0 --- inspect .70   .71   21    .13  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   1300 11000 7.3  0      error (invalid witness file) 0 --- inspect .60 .36 41 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0      error (invalid witness file) 0 --- inspect .93 .60 46 0   0      error (invalid witness file) 0 --- inspect .0058 .0074 .52 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 false(unreach-call) 1 wit inspect 7.2 4.8 260 79 .97 0      timeout 0 wit inspect 96    77    2100 0   0      true -32 --- inspect 9.6   5.3   320   .66 0      false(unreach-call) 1 --- inspect 5.1  2.8  270 0   0      error (2) 0 --- inspect .68   .68   20    .16  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 error (1) 0 --- inspect 870   880   360 9900 1.2  .041  error (invalid witness file) 0 --- inspect .64 .40 40 0   0      error (2) 0 --- inspect .020 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .88 .56 47 0   0      error (invalid witness file) 0 --- inspect .0017 .0021 .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 false(unreach-call) 1 wit inspect 6.4 4.2 250 81 .91 0      false(unreach-call) 1 wit inspect 7.1  3.8  310 0   0      true -32 --- inspect 8.2   5.1   320   .66 0      false(unreach-call) 1 --- inspect 4.9  2.7  270 0   0      error (2) 0 --- inspect .68   .68   20    .12  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 false(unreach-call) 1 wit inspect 400   400   1100 4700 5.2  .033  false(unreach-call) 1 wit inspect 18    9.6  740 0   0      true -32 --- inspect 21     12     580   .62 0      false(unreach-call) 1 --- inspect 10    5.8  680 0   0      error (2) 0 --- inspect 1.8    1.8    43    1.5   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 false(unreach-call) 1 wit inspect 18   16   260 230 .97 0      false(unreach-call) 1 wit inspect 7.7  4.1  340 0   0      true -32 --- inspect 9.6   5.4   320   .62 0      false(unreach-call) 1 --- inspect 4.9  2.7  260 0   0      error (2) 0 --- inspect .68   .68   21    .15  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 false(unreach-call) 1 wit inspect 210   200   2400 2700 20    .033  false(unreach-call) 1 wit inspect 59    46    4000 0   0      true -32 --- inspect 43     25     1100   .62 0      false(unreach-call) 1 --- inspect 48    39    4000 0   0      error (2) 0 --- inspect 4.6    4.6    110    6.1   0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 6.3 4.3 250 71 .90 0      false(unreach-call) 1 wit inspect 7.6  4.1  310 0   0      true -32 --- inspect 8.2   4.6   310   .66 0      false(unreach-call) 1 --- inspect 4.8  2.7  260 0   0      error (2) 0 --- inspect .67   .66   20    .12  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 290   290   1100 3800 5.0  .033  false(unreach-call) 1 wit inspect 14    7.6  710 0   0      true -32 --- inspect 21     12     580   .66 0      false(unreach-call) 1 --- inspect 9.5  5.4  650 0   .21   error (2) 0 --- inspect 1.7    1.7    41    1.5   0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 49   47   250 670 .86 0      false(unreach-call) 1 wit inspect 8.6  4.6  330 0   0      true -32 --- inspect 9.0   5.5   320   .62 0      false(unreach-call) 1 --- inspect 5.1  2.8  270 0   0      error (2) 0 --- inspect .68   .68   20    .15  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 260   260   2400 3000 18    .057  false(unreach-call) 1 wit inspect 54    42    3900 0   0      true -32 --- inspect 42     24     1100   .62 0      false(unreach-call) 1 --- inspect 46    37    3700 0   0      error (2) 0 --- inspect 4.5    4.5    110    4.5   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 false(unreach-call) 1 wit inspect 11   8.5 260 140 .89 0      timeout 0 wit inspect 93    86    600 0   0      true -32 --- inspect 8.8   5.3   310   .66 0      false(unreach-call) 1 --- inspect 4.9  2.8  270 0   0      error (2) 0 --- inspect .65   .65   20    .13  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 false(unreach-call) 1 wit inspect 12   9.7 270 140 1.0  0      timeout 0 wit inspect 94    87    580 0   0      true -32 --- inspect 9.5   5.8   320   .66 0      false(unreach-call) 1 --- inspect 5.1  2.8  270 0   0      error (2) 0 --- inspect .71   .71   20    .18  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 34   32   260 510 .81 0      false(unreach-call) 1 wit inspect 63    47    2100 0   .016  true -32 --- inspect 8.5   5.1   320   .66 0      false(unreach-call) 1 --- inspect 4.9  2.7  270 0   0      error (2) 0 --- inspect .67   .68   20    .14  .016 - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 41   40   270 540 .94 0      false(unreach-call) 1 wit inspect 52    35    2100 0   0      true -32 --- inspect 9.2   5.5   320   .66 0      false(unreach-call) 1 --- inspect 5.1  2.8  270 0   0      error (2) 0 --- inspect .73   .75   20    .18  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 error (1) 0 --- inspect 860   880   400 12000 1.3  0      error (invalid witness file) 0 --- inspect .58 .35 40 0   0      error (2) 0 --- inspect .021 .022 5.7 0    0      error (invalid witness file) 0 --- inspect .92 .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.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 7.5 5.2 260 86 .94 .016  false(unreach-call) 1 wit inspect 9.1  4.8  380 0   0      true -32 --- inspect 8.7   5.3   320   .66 0      false(unreach-call) 1 --- inspect 5.1  2.8  270 0   0      error (2) 0 --- inspect .68   .68   20    .13  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 false(unreach-call) 1 wit inspect 8.8 6.6 270 100 1.1  0      false(unreach-call) 1 wit inspect 9.1  4.8  420 0   0      true -32 --- inspect 9.7   5.8   330   .66 0      false(unreach-call) 1 --- inspect 5.3  2.9  270 0   0      error (2) 0 --- inspect .73   .73   20    .17  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 7.2 4.9 250 95 .94 0      false(unreach-call) 1 wit inspect 9.1  4.7  390 0   0      true -32 --- inspect 8.6   5.3   310   .66 0      false(unreach-call) 1 --- inspect 4.8  2.7  270 0   0      error (2) 0 --- inspect .66   .66   20    .13  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 8.4 6.1 260 88 .94 0      false(unreach-call) 1 wit inspect 8.7  4.7  440 0   0      true -32 --- inspect 9.9   5.9   320   .66 0      false(unreach-call) 1 --- inspect 5.1  2.9  270 0   0      error (2) 0 --- inspect .73   .73   20    .17  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 40   39   180 560 .76 0      false(unreach-call) 1 wit inspect 5.7  3.1  270 0   0      true -32 --- inspect 7.3   4.5   310   .66 0      false(unreach-call) 1 --- inspect 4.1  2.3  260 0   0      error (2) 0 --- inspect .61   .61   20    .086 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   920   270 11000 .94 0      error (invalid witness file) 0 --- inspect .58 .36 40 0   0      error (2) 0 --- inspect .020 .021 5.7 0    0      error (invalid witness file) 0 --- inspect .91 .59 47 0   0      error (invalid witness file) 0 --- inspect .0051 .0067 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 11   9.5 230 130 .82 0      false(unreach-call) 1 wit inspect 6.2  3.3  270 0   0      true -32 --- inspect 8.3   4.7   320   .62 0      false(unreach-call) 1 --- inspect 4.5  2.5  260 0   0      error (2) 0 --- inspect .63   .63   20    .11  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+sep-reducer.c timeout 0 --- inspect 900   920   260 13000 .97 0      error (invalid witness file) 0 --- inspect .60 .37 41 0   0      error (2) 0 --- inspect .019 .020 5.6 0    0      error (invalid witness file) 0 --- inspect .92 .60 47 0   0      error (invalid witness file) 0 --- inspect .0018 .0023 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (1) 0 --- inspect 880   880   180 13000 .54 0      error (invalid witness file) 0 --- inspect .59 .36 40 0   0      error (2) 0 --- inspect .021 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .91 .60 47 0   0      error (invalid witness file) 0 --- inspect .0042 .0062 .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   920   260 13000 .93 0      error (invalid witness file) 0 --- inspect .58 .36 41 0   0      error (2) 0 --- inspect .021 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .92 .60 47 0   0      error (invalid witness file) 0 --- inspect .0052 .0071 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 5.4 3.2 230 54 .80 0      false(unreach-call) 1 wit inspect 6.4  3.4  300 0   .012  true -32 --- inspect 8.0   4.9   310   .66 0      false(unreach-call) 1 --- inspect 4.5  2.5  260 0   0      error (2) 0 --- inspect .65   .65   20    .11  .012 - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c timeout 0 --- inspect 900   920   260 12000 .96 .029  error (invalid witness file) 0 --- inspect .60 .36 42 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 .0018 .0022 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 32   30   190 400 .78 0      false(unreach-call) 1 wit inspect 6.6  3.5  280 0   0      true -32 --- inspect 8.1   4.6   310   .66 0      false(unreach-call) 1 --- inspect 4.4  2.5  260 0   .0082 error (2) 0 --- inspect .67   .67   20    .090 0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 860   880   270 13000 .90 .049  error (invalid witness file) 0 --- inspect .59 .37 41 0   0      error (2) 0 --- inspect .023 .025 5.6 0    0      error (invalid witness file) 0 --- inspect .95 .61 47 0   0      error (invalid witness file) 0 --- inspect .0056 .0072 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 160   160   250 2200 .89 0      false(unreach-call) 1 wit inspect 6.8  3.7  290 0   0      true -32 --- inspect 8.6   4.9   320   .62 0      false(unreach-call) 1 --- inspect 4.4  2.5  260 0   0      error (2) 0 --- inspect .64   .65   20    .12  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+sep-reducer.c error (1) 0 --- inspect 860   880   340 10000 .94 0      error (invalid witness file) 0 --- inspect .58 .36 41 0   0      error (2) 0 --- inspect .020 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .91 .59 47 0   0      error (invalid witness file) 0 --- inspect .0016 .0024 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (1) 0 --- inspect 860   880   200 11000 .78 0      error (invalid witness file) 0 --- inspect .59 .37 41 0   0      error (2) 0 --- inspect .020 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .91 .57 49 0   0      error (invalid witness file) 0 --- inspect .0046 .0056 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 860   880   270 11000 .85 0      error (invalid witness file) 0 --- inspect .60 .36 41 0   0      error (2) 0 --- inspect .020 .020 5.6 0    0      error (invalid witness file) 0 --- inspect .91 .57 46 0   0      error (invalid witness file) 0 --- inspect .0033 .0043 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error (1) 0 --- inspect 860   880   260 11000 .75 0      error (invalid witness file) 0 --- inspect .59 .36 42 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0      error (invalid witness file) 0 --- inspect .91 .58 47 0   0      error (invalid witness file) 0 --- inspect .0018 .0030 .48 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c error (1) 0 --- inspect 860   880   290 10000 .92 .061  error (invalid witness file) 0 --- inspect .55 .35 40 0   0      error (2) 0 --- inspect .020 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .90 .60 47 0   0      error (invalid witness file) 0 --- inspect .0018 .0025 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c false(unreach-call) 1 wit inspect 140   140   260 2100 1.1  0      timeout 0 wit inspect 93    86    560 0   0      true -32 --- inspect 9.5   5.7   320   .62 0      false(unreach-call) 1 --- inspect 5.0  2.8  270 0   0      error (2) 0 --- inspect .70   .73   20    .16  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 6.0 3.9 210 64 .82 .012  false(unreach-call) 1 wit inspect 7.6  4.0  330 0   0      true -32 --- inspect 8.1   5.0   320   .66 0      false(unreach-call) 1 --- inspect 4.6  2.6  260 0   0      error (2) 0 --- inspect .63   .64   20    .11  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 160   160   420 2000 2.2  0      false(unreach-call) 1 wit inspect 9.1  4.8  400 0   0      true -32 --- inspect 15     9.0   470   .62 0      false(unreach-call) 1 --- inspect 6.1  3.4  280 0   0      error (2) 0 --- inspect 1.0    1.0    21    .53  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 40   38   260 550 .82 0      false(unreach-call) 1 wit inspect 7.9  4.2  350 0   .0041 true -32 --- inspect 8.7   4.9   320   .66 0      false(unreach-call) 1 --- inspect 4.8  2.7  270 0   0      error (2) 0 --- inspect .65   .65   20    .13  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 66   61   830 730 3.5  0      false(unreach-call) 1 wit inspect 11    6.0  540 0   0      true -32 --- inspect 18     10     520   .66 0      false(unreach-call) 1 --- inspect 7.5  4.2  390 0   0      error (2) 0 --- inspect 1.3    1.3    29    .82  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c error (1) 0 --- inspect 860   880   300 9400 1.2  0      error (invalid witness file) 0 --- inspect .62 .38 41 0   0      error (2) 0 --- inspect .020 .020 5.6 0    0      error (invalid witness file) 0 --- inspect .94 .60 48 0   0      error (invalid witness file) 0 --- inspect .0052 .0065 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 6.0 3.8 210 59 .82 0      false(unreach-call) 1 wit inspect 7.4  3.9  330 0   0      true -32 --- inspect 8.4   4.6   320   .66 0      false(unreach-call) 1 --- inspect 4.4  2.5  260 0   0      error (2) 0 --- inspect .64   .64   20    .11  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   410 12000 1.6  0      error (invalid witness file) 0 --- inspect .56 .34 41 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0      error (invalid witness file) 0 --- inspect .94 .62 48 0   0      error (invalid witness file) 0 --- inspect .0022 .0028 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 6.8 4.6 260 82 .89 0      false(unreach-call) 1 wit inspect 8.5  4.5  320 0   0      true -32 --- inspect 8.8   5.3   310   .66 0      false(unreach-call) 1 --- inspect 4.8  2.7  270 0   0      error (2) 0 --- inspect .70   .70   20    .13  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 59   55   730 780 3.1  0      false(unreach-call) 1 wit inspect 9.9  5.3  470 0   .13   true -32 --- inspect 17     10     520   .62 0      false(unreach-call) 1 --- inspect 7.1  4.0  370 0   0      error (2) 0 --- inspect 1.3    1.3    27    .76  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.p+lhb-reducer.c false(unreach-call) 1 wit inspect 600   610   400 8600 1.7  0      timeout 0 wit inspect 93    83    570 0   0      true -32 --- inspect 12     6.7   400   .66 0      false(unreach-call) 1 --- inspect 5.6  3.1  280 0   0      error (2) 0 --- inspect .81   .81   20    .24  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 210   210   250 2400 1.1  0      false(unreach-call) 1 wit inspect 8.2  4.4  400 0   0      true -32 --- inspect 7.8   4.4   310   .66 0      false(unreach-call) 1 --- inspect 5.0  2.8  260 0   0      error (2) 0 --- inspect .64   .64   20    .11  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 150   150   970 2100 3.7  .061  false(unreach-call) 1 wit inspect 12    6.5  600 0   0      true -32 --- inspect 20     11     500   .62 0      false(unreach-call) 1 --- inspect 8.1  4.5  430 0   .16   error (2) 0 --- inspect 1.5    1.5    34    .97  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 7.6 5.7 300 87 .94 45      false(unreach-call) 1 wit inspect 8.7  4.6  440 0   0      true -32 --- inspect 8.8   5.3   320   .66 0      false(unreach-call) 1 --- inspect 4.9  2.8  270 0   0      error (2) 0 --- inspect .68   .68   20    .15  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 230   230   1400 2700 7.5  .033  false(unreach-call) 1 wit inspect 17    9.6  1200 0   0      true -32 --- inspect 31     17     770   .62 0      false(unreach-call) 1 --- inspect 12    7.6  910 0   .30   error (2) 0 --- inspect 2.3    2.3    53    2.1   0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c error (1) 0 --- inspect 860   880   280 11000 1.1  0      error (invalid witness file) 0 --- inspect .59 .37 42 0   0      error (2) 0 --- inspect .020 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .93 .59 47 0   0      error (invalid witness file) 0 --- inspect .0054 .0071 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (1) 0 --- inspect 860   880   240 12000 .81 0      error (invalid witness file) 0 --- inspect .58 .36 42 0   0      error (2) 0 --- inspect .020 .020 5.6 0    0      error (invalid witness file) 0 --- inspect .97 .62 47 0   .029  error (invalid witness file) 0 --- inspect .0017 .0022 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   880 11000 2.7  0      error (invalid witness file) 0 --- inspect .58 .37 40 0   0      error (2) 0 --- inspect .020 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .92 .59 48 0   0      error (invalid witness file) 0 --- inspect .0015 .0019 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 7.7 5.5 260 84 .93 .020  false(unreach-call) 1 wit inspect 8.5  4.5  390 0   0      true -32 --- inspect 9.0   5.0   330   .66 0      false(unreach-call) 1 --- inspect 4.7  2.6  260 0   0      error (2) 0 --- inspect .68   .68   20    .15  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c error (1) 0 --- inspect 870   880   1200 14000 5.5  .033  error (invalid witness file) 0 --- inspect .59 .36 40 0   0      error (2) 0 --- inspect .020 .022 5.6 0    0      error (invalid witness file) 0 --- inspect 1.3  .83 47 0   0      error (invalid witness file) 0 --- inspect .0015 .0019 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 280   290   260 3700 1.2  .070  false(unreach-call) 1 wit inspect 9.2  4.9  440 0   0      true -32 --- inspect 9.2   5.5   310   .62 0      false(unreach-call) 1 --- inspect 4.8  2.7  270 0   0      error (2) 0 --- inspect .66   .66   20    .13  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 810   830   1300 10000 7.6  .033  false(unreach-call) 1 wit inspect 19    11    1200 0   0      true -32 --- inspect 27     15     650   .62 0      false(unreach-call) 1 --- inspect 13    8.0  960 0   0      error (2) 0 --- inspect 2.4    2.4    61    2.3   0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 8.3 6.2 270 97 .97 0      false(unreach-call) 1 wit inspect 10    5.3  450 0   0      true -32 --- inspect 9.2   5.5   330   .66 0      false(unreach-call) 1 --- inspect 5.2  2.9  270 0   0      error (2) 0 --- inspect .71   .71   20    .16  .020 - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 520   520   2400 6700 19    .37   false(unreach-call) 1 wit inspect 50    36    3500 0   0      true -32 --- inspect 41     24     1000   .62 0      false(unreach-call) 1 --- inspect 43    33    3400 0   0      error (2) 0 --- inspect 4.5    4.5    100    4.4   0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (1) 0 --- inspect 860   880   250 11000 .82 0      error (invalid witness file) 0 --- inspect .60 .38 41 0   0      error (2) 0 --- inspect .020 .020 5.6 0    0      error (invalid witness file) 0 --- inspect .87 .57 46 0   0      error (invalid witness file) 0 --- inspect .0058 .0069 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   1300 10000 5.6  .033  error (invalid witness file) 0 --- inspect .67 .41 41 0   0      error (2) 0 --- inspect .021 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .90 .59 47 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.UNBOUNDED.pals.c.v+nlh-reducer.c error (1) 0 --- inspect 860   880   270 12000 .84 0      error (invalid witness file) 0 --- inspect .60 .38 40 0   0      error (2) 0 --- inspect .021 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .92 .59 47 0   0      error (invalid witness file) 0 --- inspect .0018 .0023 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c error (1) 0 --- inspect 870   880   2400 11000 12    .033  error (invalid witness file) 0 --- inspect .60 .37 41 0   0      error (2) 0 --- inspect .021 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .95 .61 48 0   0      error (invalid witness file) 0 --- inspect .0018 .0022 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 21   19   260 240 .89 0      false(unreach-call) 1 wit inspect 10    5.3  450 0   0      true -32 --- inspect 8.6   5.2   320   .66 .016  false(unreach-call) 1 --- inspect 5.0  2.8  270 0   0      error (2) 0 --- inspect .68   .68   20    .13  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 630   640   2400 7300 17    .033  false(unreach-call) 1 wit inspect 46    32    3800 0   0      true -32 --- inspect 37     22     900   .62 .61   false(unreach-call) 1 --- inspect 36    26    3600 0   0      error (2) 0 --- inspect 4.3    4.3    110    5.7   0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 11   8.3 270 130 1.0  0      false(unreach-call) 1 wit inspect 10    5.5  460 0   0      true -32 --- inspect 10     6.0   330   .66 0      false(unreach-call) 1 --- inspect 5.4  2.9  270 0   0      error (2) 0 --- inspect .70   .70   21    .17  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (1) 0 --- inspect 860   880   260 11000 .85 0      error (invalid witness file) 0 --- inspect .59 .36 41 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0      error (invalid witness file) 0 --- inspect .93 .62 48 0   0      error (invalid witness file) 0 --- inspect .0025 .0035 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   2300 11000 12    .033  error (invalid witness file) 0 --- inspect .56 .35 40 0   0      error (2) 0 --- inspect .021 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .93 .59 47 0   0      error (invalid witness file) 0 --- inspect .0059 .0075 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error (1) 0 --- inspect 860   880   280 11000 .90 0      error (invalid witness file) 0 --- inspect .58 .36 42 0   0      error (2) 0 --- inspect .021 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .90 .58 48 0   0      error (invalid witness file) 0 --- inspect .0018 .0023 .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 false(unreach-call) 1 wit inspect 71   71   300 970 .96 46      false(unreach-call) 1 wit inspect 6.7  3.6  300 0   .016  true -32 --- inspect 8.8   5.5   310   .62 0      false(unreach-call) 1 --- inspect 4.8  2.7  270 0   .016  error (2) 0 --- inspect .68   .68   20    .13  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 43   41   460 490 1.3  45      false(unreach-call) 1 wit inspect 7.5  3.9  280 0   0      true -32 --- inspect 13     7.5   430   .62 0      false(unreach-call) 1 --- inspect 6.0  3.3  270 0   0      error (2) 0 --- inspect .84   .84   20    .26  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 35   32   400 430 1.3  .033  false(unreach-call) 1 wit inspect 7.7  4.0  290 0   0      true -32 --- inspect 11     6.4   370   .66 0      false(unreach-call) 1 --- inspect 5.7  3.1  280 0   0      error (2) 0 --- inspect .75   .75   20    .22  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 18   16   250 270 .87 0      false(unreach-call) 1 wit inspect 26    16    1200 0   0      true -32 --- inspect 8.7   5.3   320   .66 0      false(unreach-call) 1 --- inspect 5.0  2.8  270 0   0      error (2) 0 --- inspect .68   .68   20    .13  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 180   180   410 2500 1.3  0      false(unreach-call) 1 wit inspect 7.4  3.9  280 0   0      true -32 --- inspect 12     6.9   430   .62 0      false(unreach-call) 1 --- inspect 6.0  3.3  280 0   0      error (2) 0 --- inspect .82   .81   21    .26  .041 - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 60   59   400 830 1.1  0      false(unreach-call) 1 wit inspect 26    16    1100 0   0      true -32 --- inspect 12     6.4   380   .62 0      false(unreach-call) 1 --- inspect 5.6  3.1  270 0   0      error (2) 0 --- inspect .75   .75   20    .22  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 20   18   250 210 .88 .23   false(unreach-call) 1 wit inspect 7.1  3.7  290 0   .016  true -32 --- inspect 8.7   4.9   310   .66 0      false(unreach-call) 1 --- inspect 4.9  2.8  270 0   0      error (2) 0 --- inspect .66   .68   20    .13  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 20   18   270 240 .93 0      false(unreach-call) 1 wit inspect 7.2  3.8  280 0   0      true -32 --- inspect 9.4   5.7   320   .66 .025  false(unreach-call) 1 --- inspect 5.5  3.0  280 0   0      error (2) 0 --- inspect .70   .70   21    .17  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 24   22   250 280 .88 0      false(unreach-call) 1 wit inspect 24    15    1100 0   0      true -32 --- inspect 8.8   5.3   320   .66 0      false(unreach-call) 1 --- inspect 5.0  2.8  270 0   0      error (2) 0 --- inspect .68   .68   20    .13  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 11   8.8 270 130 .97 .025  false(unreach-call) 1 wit inspect 6.7  3.6  300 0   0      true -32 --- inspect 10     6.0   340   .66 0      false(unreach-call) 1 --- inspect 5.3  2.9  270 0   0      error (2) 0 --- inspect .73   .73   21    .18  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 39   37   270 420 .93 0      false(unreach-call) 1 wit inspect 6.5  3.4  280 0   0      true -32 --- inspect 9.8   5.9   330   .66 0      false(unreach-call) 1 --- inspect 5.3  3.0  270 0   0      error (2) 0 --- inspect .73   .73   21    .17  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 50   49   260 540 .88 0      false(unreach-call) 1 wit inspect 7.1  3.8  320 0   .0041 true -32 --- inspect 8.4   5.1   310   .62 0      false(unreach-call) 1 --- inspect 5.0  2.8  270 0   0      error (2) 0 --- inspect .66   .66   20    .13  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 27   24   410 320 1.3  0      false(unreach-call) 1 wit inspect 9.3  4.9  410 0   0      true -32 --- inspect 12     7.1   420   .66 0      false(unreach-call) 1 --- inspect 6.0  3.3  270 0   0      error (2) 0 --- inspect .84   .84   20    .26  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 50   48   400 650 1.1  0      false(unreach-call) 1 wit inspect 7.5  4.0  310 0   0      true -32 --- inspect 10     6.0   380   .66 0      false(unreach-call) 1 --- inspect 5.6  3.1  270 0   0      error (2) 0 --- inspect .75   .76   20    .22  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 56   55   250 610 .88 0      false(unreach-call) 1 wit inspect 27    16    1200 0   0      true -32 --- inspect 8.8   5.3   310   .66 0      false(unreach-call) 1 --- inspect 4.9  2.7  270 0   0      error (2) 0 --- inspect .67   .67   20    .13  .016 - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 69   67   420 850 1.3  0      false(unreach-call) 1 wit inspect 7.3  3.9  300 0   0      true -32 --- inspect 12     7.1   420   .66 0      false(unreach-call) 1 --- inspect 5.8  3.2  270 0   .14   error (2) 0 --- inspect .82   .83   20    .27  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 65   64   400 790 1.1  0      false(unreach-call) 1 wit inspect 33    20    1100 0   0      true -32 --- inspect 11     6.6   390   .66 0      false(unreach-call) 1 --- inspect 5.5  3.0  270 0   0      error (2) 0 --- inspect .76   .76   20    .22  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 130   130   270 1600 .98 .016  false(unreach-call) 1 wit inspect 7.3  3.9  290 0   0      true -32 --- inspect 8.8   4.9   310   .66 0      false(unreach-call) 1 --- inspect 4.6  2.6  260 0   0      error (2) 0 --- inspect .65   .65   20    .13  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 34   31   410 470 1.4  0      false(unreach-call) 1 wit inspect 7.1  3.8  280 0   0      true -32 --- inspect 12     7.4   420   .62 0      false(unreach-call) 1 --- inspect 5.7  3.2  280 0   0      error (2) 0 --- inspect .81   .81   21    .26  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 35   33   450 430 1.1  46      false(unreach-call) 1 wit inspect 7.5  4.0  300 0   0      true -32 --- inspect 11     6.4   380   .66 0      false(unreach-call) 1 --- inspect 5.7  3.2  280 0   0      error (2) 0 --- inspect .75   .77   20    .21  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (1) 0 --- inspect 870   880   260 10000 .66 0      error (invalid witness file) 0 --- inspect .59 .36 42 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 .0032 .0041 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 790   810   420 12000 1.5  0      false(unreach-call) 1 wit inspect 7.5  4.0  290 0   0      true -32 --- inspect 12     7.3   420   .62 0      false(unreach-call) 1 --- inspect 5.5  3.1  270 0   0      error (2) 0 --- inspect .81   .81   20    .26  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 570   580   410 7400 1.1  0      false(unreach-call) 1 wit inspect 29    17    1100 0   .033  true -32 --- inspect 11     6.3   370   .66 0      false(unreach-call) 1 --- inspect 5.5  3.1  270 0   0      error (2) 0 --- inspect .75   .75   21    .21  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 15   13   280 200 1.1  0      false(unreach-call) 1 wit inspect 9.4  5.0  440 0   0      true -32 --- inspect 11     6.0   370   .66 0      false(unreach-call) 1 --- inspect 5.5  3.1  280 0   0      error (2) 0 --- inspect .74   .74   20    .22  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 440   440   700 5500 2.0  .033  false(unreach-call) 1 wit inspect 11    5.6  450 0   0      true -32 --- inspect 16     9.2   520   .66 0      unknown 0 --- inspect 7.3  3.9  280 0   0      error (1) 0 --- inspect .88   .88   21    .070 0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 75   74   280 860 1.1  .45   false(unreach-call) 1 wit inspect 9.0  4.8  430 0   0      true -32 --- inspect 11     6.7   370   .62 0      false(unreach-call) 1 --- inspect 5.8  3.2  280 0   .25   error (2) 0 --- inspect .75   .74   21    .22  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 230   230   1200 3500 2.3  .033  false(unreach-call) 1 wit inspect 13    6.9  450 0   .23   true -32 --- inspect 20     11     480   .62 0      unknown 0 --- inspect 7.9  4.3  340 0   0      error (1) 0 --- inspect 1.1    1.1    21    .098 0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error (1) 0 --- inspect 870   880   720 10000 1.5  0      error (invalid witness file) 0 --- inspect .59 .35 41 0   0      error (2) 0 --- inspect .020 .022 5.6 0    0      error (invalid witness file) 0 --- inspect .94 .60 47 0   0      error (invalid witness file) 0 --- inspect .0018 .0024 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 11   7.9 270 120 1.2  0      false(unreach-call) 1 wit inspect 9.7  5.1  440 0   0      true -32 --- inspect 11     6.3   380   .62 0      false(unreach-call) 1 --- inspect 5.6  3.1  280 0   .033  error (2) 0 --- inspect .75   .76   21    .22  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 160   160   680 2200 1.6  .061  false(unreach-call) 1 wit inspect 9.5  5.0  440 0   0      true -32 --- inspect 16     9.0   510   .62 0      unknown 0 --- inspect 6.7  3.6  280 0   0      error (1) 0 --- inspect .89   .89   21    .061 0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 60   56   690 860 1.5  0      false(unreach-call) 1 wit inspect 9.6  5.1  440 0   0      true -32 --- inspect 14     8.0   460   .62 0      unknown 0 --- inspect 6.8  3.7  270 0   0      error (1) 0 --- inspect .80   .80   21    .057 0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 11   8.0 270 120 1.2  0      false(unreach-call) 1 wit inspect 36    23    1600 0   0      true -32 --- inspect 11     6.3   380   .66 0      false(unreach-call) 1 --- inspect 5.6  3.1  280 0   0      error (2) 0 --- inspect .75   .75   21    .22  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   680 9800 1.2  .033  error (invalid witness file) 0 --- inspect .62 .37 40 0   0      error (2) 0 --- inspect .020 .020 5.6 0    0      error (invalid witness file) 0 --- inspect .91 .58 48 0   0      error (invalid witness file) 0 --- inspect .0013 .0014 .40 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 63   59   680 720 1.5  0      false(unreach-call) 1 wit inspect 9.5  5.1  440 0   0      true -32 --- inspect 14     8.3   460   .62 0      unknown 0 --- inspect 7.0  3.8  280 0   0      error (1) 0 --- inspect .83   .84   21    .057 0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 11   8.0 270 130 1.2  0      false(unreach-call) 1 wit inspect 10    5.4  450 0   0      true -32 --- inspect 11     6.2   390   .66 0      false(unreach-call) 1 --- inspect 5.7  3.1  270 0   0      error (2) 0 --- inspect .74   .74   21    .22  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   1200 11000 1.8  .033  error (invalid witness file) 0 --- inspect .60 .37 41 0   0      error (2) 0 --- inspect .020 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .96 .61 48 0   0      error (invalid witness file) 0 --- inspect .0016 .0022 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c error (1) 0 --- inspect 870   880   810 11000 1.6  .033  error (invalid witness file) 0 --- inspect .59 .37 42 0   0      error (2) 0 --- inspect .021 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .95 .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.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 10   7.3 280 130 1.2  0      false(unreach-call) 1 wit inspect 40    25    1800 0   .033  true -32 --- inspect 11     6.5   370   .66 0      false(unreach-call) 1 --- inspect 5.7  3.2  280 0   0      error (2) 0 --- inspect .76   .76   21    .22  .033 - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 360   360   1200 4300 2.4  .033  false(unreach-call) 1 wit inspect 12    6.0  500 0   0      error (7) 0 --- inspect 18     10     300   .71 0      unknown 0 --- inspect 8.0  4.4  350 0   0      error (1) 0 --- inspect 1.0    1.0    21    .098 0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 440   450   830 6400 2.0  .033  false(unreach-call) 1 wit inspect 40    26    2000 0   0      error (7) 0 --- inspect 16     9.5   300   .71 0      unknown 0 --- inspect 7.3  3.9  280 0   0      error (1) 0 --- inspect .88   .88   21    .070 .074 - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 16   13   270 180 1.2  .033  false(unreach-call) 1 wit inspect 10    5.6  440 0   0      true -32 --- inspect 11     6.4   390   .62 0      false(unreach-call) 1 --- inspect 5.7  3.1  270 0   0      error (2) 0 --- inspect .75   .75   21    .22  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   1300 10000 2.1  0      error (invalid witness file) 0 --- inspect .62 .37 42 0   0      error (2) 0 --- inspect .021 .023 5.6 0    0      error (invalid witness file) 0 --- inspect .92 .60 49 0   0      error (invalid witness file) 0 --- inspect .0022 .0037 .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 error (1) 0 --- inspect 870   880   690 12000 1.5  0      error (invalid witness file) 0 --- inspect .69 .46 40 0   0      error (2) 0 --- inspect .020 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .96 .62 48 0   0      error (invalid witness file) 0 --- inspect .0015 .0019 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (1) 0 --- inspect 870   880   270 12000 1.0  0      error (invalid witness file) 0 --- inspect .60 .39 41 0   0      error (2) 0 --- inspect .020 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .93 .58 47 0   0      error (invalid witness file) 0 --- inspect .0023 .0029 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   1200 10000 1.9  0      error (invalid witness file) 0 --- inspect .61 .36 41 0   0      error (2) 0 --- inspect .019 .020 5.6 0    0      error (invalid witness file) 0 --- inspect .99 .63 47 0   0      error (invalid witness file) 0 --- inspect .0055 .0069 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error (1) 0 --- inspect 870   880   730 13000 1.4  0      error (invalid witness file) 0 --- inspect .59 .37 41 0   0      error (2) 0 --- inspect .020 .020 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-reduced/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 24   21   440 280 1.6  0      false(unreach-call) 1 wit inspect 15    8.5  520 0   0      true -32 --- inspect 13     7.5   470   .62 0      false(unreach-call) 1 --- inspect 6.7  3.7  270 0   .074  error (2) 0 --- inspect .93   .93   21    .39  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 87   69   4700 900 12    0      false(unreach-call) 1 wit inspect 42    30    3600 0   0      true -32 --- inspect 43     25     1200   .62 0      unknown 0 --- inspect 32    24    3000 0   .59   error (1) 0 --- inspect 3.5    3.5    35    .58  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 30   26   1200 360 2.9  0      false(unreach-call) 1 wit inspect 16    8.8  610 0   0      true -32 --- inspect 22     12     640   .62 0      unknown 0 --- inspect 9.5  5.0  350 0   0      error (1) 0 --- inspect 1.1    1.1    22    .14  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 20   16   440 230 1.7  0      false(unreach-call) 1 wit inspect 13    7.2  490 0   0      true -32 --- inspect 14     8.3   460   .62 0      false(unreach-call) 1 --- inspect 6.4  3.5  270 0   .070  error (2) 0 --- inspect .96   .96   21    .39  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   2300 10000 2.1  .17   error (invalid witness file) 0 --- inspect .63 .39 40 0   0      error (2) 0 --- inspect .020 .020 5.6 0    0      error (invalid witness file) 0 --- inspect .93 .58 47 0   0      error (invalid witness file) 0 --- inspect .0042 .0053 .41 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 250   240   1900 3000 2.6  .033  false(unreach-call) 1 wit inspect 16    8.3  550 0   0      error (7) 0 --- inspect 18     10     300   .75 0      unknown 0 --- inspect 9.9  5.4  370 0   0      error (1) 0 --- inspect 1.2    1.2    22    .13  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 20   16   440 230 1.7  0      false(unreach-call) 1 wit inspect 50    36    2100 0   .070  true -32 --- inspect 14     8.4   520   .62 0      false(unreach-call) 1 --- inspect 6.7  3.7  270 0   0      error (2) 0 --- inspect .95   .95   21    .39  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   2300 12000 2.1  .033  error (invalid witness file) 0 --- inspect .60 .37 41 0   0      error (2) 0 --- inspect .020 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .91 .58 47 0   0      error (invalid witness file) 0 --- inspect .0017 .0022 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error (1) 0 --- inspect 870   880   2000 10000 2.0  0      error (invalid witness file) 0 --- inspect .63 .40 41 0   0      error (2) 0 --- inspect .021 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .91 .59 46 0   0      error (invalid witness file) 0 --- inspect .0018 .0023 .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 false(unreach-call) 1 wit inspect 19   16   430 230 1.7  0      false(unreach-call) 1 wit inspect 16    9.2  550 0   0      true -32 --- inspect 14     8.4   470   .66 0      false(unreach-call) 1 --- inspect 6.8  3.7  280 0   0      error (2) 0 --- inspect .94   .95   21    .40  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 87   68   4700 910 13    0      false(unreach-call) 1 wit inspect 42    30    3500 0   0      true -32 --- inspect 49     29     1200   .62 0      unknown 0 --- inspect 31    22    3300 0   0      error (1) 0 --- inspect 3.5    3.5    35    .58  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 25   21   1200 360 2.7  0      false(unreach-call) 1 wit inspect 18    10    610 0   0      true -32 --- inspect 21     12     640   .62 0      unknown 0 --- inspect 9.9  5.3  360 0   0      error (1) 0 --- inspect 1.1    1.1    22    .14  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c error (1) 0 --- inspect 870   880   3000 11000 4.1  0      error (invalid witness file) 0 --- inspect .59 .36 40 0   0      error (2) 0 --- inspect .020 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .93 .59 47 0   0      error (invalid witness file) 0 --- inspect .0017 .0026 .54 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 110   110   480 1500 1.8  47      false(unreach-call) 1 wit inspect 16    8.4  500 0   0      true -32 --- inspect 15     8.5   460   .66 .074  false(unreach-call) 1 --- inspect 6.8  3.7  280 0   0      error (2) 0 --- inspect .95   .96   21    .40  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 380   370   4700 4500 14    0      false(unreach-call) 1 wit inspect 40    29    3600 0   0      true -32 --- inspect 50     29     1200   .62 0      unknown 0 --- inspect 34    25    3300 0   0      error (1) 0 --- inspect 3.5    3.5    35    .59  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 390   400   1200 4600 3.3  0      false(unreach-call) 1 wit inspect 17    9.0  570 0   0      true -32 --- inspect 21     12     680   .62 0      unknown 0 --- inspect 9.4  5.0  350 0   0      error (1) 0 --- inspect 1.1    1.1    22    .14  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c error (1) 0 --- inspect 870   880   250 11000 1.0  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .44 42 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   400 12000 .97 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .38 40 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c error (1) 0 --- inspect 870   880   400 11000 1.1  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .43 42 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (1) 0 --- inspect 870   880   260 11000 .88 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   410 14000 1.0  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0   0  
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error (1) 0 --- inspect 870   880   400 10000 .98 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .36 40 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.p+lhb-reducer.c error (1) 0 --- inspect 870   880   1200 12000 1.8  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .41 40 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c error (1) 0 --- inspect 870   880   270 13000 1.2  .070  - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .80 .48 42 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   1200 9700 1.6  .033  - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .42 40 0   0   error (2) 0 --- inspect .020 .020 5.7 0   0  
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c error (1) 0 --- inspect 870   880   1200 13000 1.9  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .46 42 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (1) 0 --- inspect 870   880   280 12000 1.0  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .40 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   1300 11000 1.8  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .45 42 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c error (1) 0 --- inspect 860   880   190 11000 .83 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .69 .41 42 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 860   880   320 12000 .86 46      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .44 40 0   0   error (2) 0 --- inspect .020 .021 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 error (1) 0 --- inspect 860   880   260 12000 .94 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .67 .42 41 0   0   error (2) 0 --- inspect .020 .021 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 error (1) 0 --- inspect 870   880   460 12000 1.2  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .45 40 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (1) 0 --- inspect 860   880   190 10000 .76 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .47 42 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 860   880   320 10000 .83 46      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .85 .51 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error (1) 0 --- inspect 860   880   260 11000 .80 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .45 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c error (1) 0 --- inspect 870   880   440 11000 1.0  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .46 42 0   0   error (2) 0 --- inspect .020 .021 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 error (1) 0 --- inspect 860   880   210 11000 .87 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .39 41 0   0   error (2) 0 --- inspect .019 .020 5.6 0   0  
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   1100 11000 2.9  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .40 40 0   0   error (2) 0 --- inspect .020 .021 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 error (1) 0 --- inspect 860   880   300 10000 1.0  45      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0   0  
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+sep-reducer.c error (1) 0 --- inspect 870   880   1500 11000 7.3  .033  - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .38 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (1) 0 --- inspect 860   880   210 13000 .75 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .43 42 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   910 9400 2.2  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .35 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0   0  
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error (1) 0 --- inspect 870   880   260 11000 .84 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 41 0   0   error (2) 0 --- inspect .019 .020 5.6 0   0  
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c error (1) 0 --- inspect 870   880   1300 11000 6.2  .033  - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .41 40 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c error (1) 0 --- inspect 870   880   280 13000 1.0  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .37 40 0   0   error (2) 0 --- inspect .020 .020 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 error (1) 0 --- inspect 860   880   260 10000 .77 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .79 .47 42 0   0   error (2) 0 --- inspect .019 .020 5.7 0   0  
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c error (1) 0 --- inspect 860   880   260 12000 1.0  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .69 .42 40 0   0   error (2) 0 --- inspect .020 .021 5.8 0   0  
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (1) 0 --- inspect 860   880   260 11000 .83 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .37 40 0   0   error (2) 0 --- inspect .019 .020 5.6 0   0  
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error (1) 0 --- inspect 860   880   260 10000 .91 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .38 40 0   0   error (2) 0 --- inspect .020 .021 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 error (1) 0 --- inspect 860   880   260 11000 .91 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .82 .49 41 0   0   error (2) 0 --- inspect .020 .021 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 error (1) 0 --- inspect 860   880   270 13000 1.1  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .45 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0   0  
seq-mthreaded-reduced/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (1) 0 --- inspect 860   880   260 12000 .89 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .43 40 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c error (1) 0 --- inspect 860   880   180 12000 .92 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .43 42 0   0   error (2) 0 --- inspect .020 .021 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   920   260 9800 .90 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .80 .49 43 0   0   error (2) 0 --- inspect .025 .025 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c error (1) 0 --- inspect 860   880   220 11000 .85 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .81 .49 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+sep-reducer.c timeout 0 --- inspect 900   920   260 12000 .94 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .46 40 0   0   error (2) 0 --- inspect .021 .022 5.7 0   0  
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (1) 0 --- inspect 880   880   180 12000 .51 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .40 40 0   0   error (2) 0 --- inspect .020 .020 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   920   260 14000 .94 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error (1) 0 --- inspect 860   880   220 12000 .75 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .57 .36 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c timeout 0 --- inspect 900   920   260 11000 .86 .12   - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .42 42 0   0   error (2) 0 --- inspect .021 .021 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c error (1) 0 --- inspect 870   880   190 11000 1.0  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .42 42 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 860   880   270 10000 .67 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .43 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c error (1) 0 --- inspect 860   880   250 12000 .87 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .57 .36 40 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+sep-reducer.c error (1) 0 --- inspect 860   880   320 12000 .96 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .46 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (1) 0 --- inspect 860   880   190 10000 .74 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .41 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 error (1) 0 --- inspect 860   880   270 11000 .83 .029  - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 41 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error (1) 0 --- inspect 860   880   250 11000 .81 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .38 41 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+sep-reducer.c error (1) 0 --- inspect 860   880   290 11000 .94 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .46 43 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.p+lhb-reducer.c error (1) 0 --- inspect 870   880   310 11000 1.4  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .44 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+cfa-reducer.c error (1) 0 --- inspect 860   880   210 12000 1.1  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 41 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 error (1) 0 --- inspect 870   880   430 12000 2.1  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .41 40 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c error (1) 0 --- inspect 860   880   260 11000 1.1  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .45 42 0   0   error (2) 0 --- inspect .019 .020 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+sep-reducer.c error (1) 0 --- inspect 870   880   830 10000 3.1  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .79 .48 42 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (1) 0 --- inspect 860   880   210 11000 .74 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .42 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   420 12000 1.4  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .79 .48 41 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error (1) 0 --- inspect 860   880   260 11000 .84 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .43 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c error (1) 0 --- inspect 870   880   730 13000 2.0  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .38 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.p+lhb-reducer.c error (1) 0 --- inspect 860   880   270 11000 1.6  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .43 40 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c error (1) 0 --- inspect 860   880   230 12000 1.0  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .81 .49 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   960 9800 3.0  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .42 41 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c error (1) 0 --- inspect 860   880   260 11000 1.3  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .42 42 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+sep-reducer.c error (1) 0 --- inspect 870   880   1400 9900 7.2  .033  - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .47 42 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c error (1) 0 --- inspect 860   880   300 11000 .96 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .37 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (1) 0 --- inspect 860   880   230 10000 .62 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .45 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   880 11000 2.3  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .57 .35 40 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+nlh-reducer.c error (1) 0 --- inspect 860   880   260 11000 .85 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .41 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c error (1) 0 --- inspect 870   880   1200 14000 5.2  .033  - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .57 .35 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c.v+cfa-reducer.c error (1) 0 --- inspect 860   880   260 11000 1.3  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .44 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   1300 11000 5.5  .033  - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .37 41 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c.v+nlh-reducer.c error (1) 0 --- inspect 860   880   270 11000 1.2  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .79 .49 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (1) 0 --- inspect 860   880   250 11000 .79 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .42 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error (1) 0 --- inspect 860   880   270 11000 .85 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .35 40 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c error (1) 0 --- inspect 870   880   260 12000 1.2  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .40 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 860   880   410 11000 1.3  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .44 42 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c error (1) 0 --- inspect 870   880   440 11000 .95 45      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 41 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   420 10000 1.1  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .44 41 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error (1) 0 --- inspect 870   880   400 10000 1.0  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .45 43 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c error (1) 0 --- inspect 870   880   270 12000 1.3  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .44 42 0   0   error (2) 0 --- inspect .020 .022 5.6 0   0  
seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   1200 13000 2.1  .033  - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .43 42 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c error (1) 0 --- inspect 870   880   800 11000 1.5  .033  - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .80 .50 43 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (1) 0 --- inspect 870   880   270 10000 1.0  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .44 42 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error (1) 0 --- inspect 870   880   1200 10000 1.8  .033  - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .39 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-pthread/cs_fib_false-unreach-call.i error (1) 0 --- inspect 870   880   180 12000 .95 .012  error (invalid witness file) 0 --- inspect .59 .35 41 0   0      error (2) 0 --- inspect .019 .020 5.6 0    0      error (invalid witness file) 0 --- inspect .96 .61 48 0   0      error (invalid witness file) 0 --- inspect .0018 .0023 .41 0     0     - --- inspect - --- inspect
seq-pthread/cs_fib_longer_false-unreach-call.i error (1) 0 --- inspect 870   880   180 13000 .79 0      error (invalid witness file) 0 --- inspect .57 .35 41 0   0      error (2) 0 --- inspect .020 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .89 .57 47 0   0      error (invalid witness file) 0 --- inspect .0017 .0022 .52 0     0     - --- inspect - --- inspect
seq-pthread/cs_lazy_false-unreach-call_true-termination.i error (1) 0 --- inspect 870   880   180 9400 1.0  0      error (invalid witness file) 0 --- inspect .61 .38 41 0   0      error (2) 0 --- inspect .019 .020 5.6 0    0      error (invalid witness file) 0 --- inspect .90 .59 47 0   0      error (invalid witness file) 0 --- inspect .0046 .0055 .53 0     0     - --- inspect - --- inspect
seq-pthread/cs_queue_false-unreach-call.i error (1) 0 --- inspect 870   880   240 12000 1.7  46      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 .90 .57 47 0   0      error (invalid witness file) 0 --- inspect .0048 .0060 .53 0     0     - --- inspect - --- inspect
seq-pthread/cs_read_write_lock_false-unreach-call.i error (1) 0 --- inspect 870   880   170 10000 1.1  0      error (invalid witness file) 0 --- inspect .57 .36 40 0   0      error (2) 0 --- inspect .020 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .92 .58 47 0   0      error (invalid witness file) 0 --- inspect .0015 .0020 .52 0     0     - --- inspect - --- inspect
seq-pthread/cs_stack_false-unreach-call.i error (1) 0 --- inspect 870   880   190 11000 1.7  0      error (invalid witness file) 0 --- inspect .57 .36 41 0   0      error (2) 0 --- inspect .020 .021 5.7 0    0      error (invalid witness file) 0 --- inspect .96 .61 47 0   0      error (invalid witness file) 0 --- inspect .0018 .0023 .53 0     0     - --- inspect - --- inspect
seq-pthread/cs_stateful_false-unreach-call_true-termination.i error (1) 0 --- inspect 870   880   170 10000 .96 0      error (invalid witness file) 0 --- inspect .59 .35 42 0   0      error (2) 0 --- inspect .020 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .91 .58 47 0   0      error (invalid witness file) 0 --- inspect .0048 .0060 .54 0     0     - --- inspect - --- inspect
seq-pthread/cs_dekker_true-unreach-call.i error (1) 0 --- inspect 880   880   180 12000 1.6  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .38 40 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-pthread/cs_fib_longer_true-unreach-call.i error (1) 0 --- inspect 870   880   180 11000 .97 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .47 40 0   0   error (2) 0 --- inspect .019 .021 5.7 0   0  
seq-pthread/cs_fib_true-unreach-call.i error (1) 0 --- inspect 870   880   180 11000 .95 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .35 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-pthread/cs_lamport_true-unreach-call.i error (1) 0 --- inspect 880   880   190 10000 1.7  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .79 .49 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0   0  
seq-pthread/cs_peterson_true-unreach-call.i error (1) 0 --- inspect 880   880   180 12000 1.5  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .45 42 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-pthread/cs_queue_true-unreach-call.i error (1) 0 --- inspect 870   880   200 10000 1.8  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .46 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-pthread/cs_read_write_lock_true-unreach-call.i error (1) 0 --- inspect 870   880   180 11000 .97 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .67 .41 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-pthread/cs_stack_true-unreach-call.i error (1) 0 --- inspect 870   880   190 11000 1.6  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .46 42 0   0   error (2) 0 --- inspect .020 .021 5.7 0   0  
seq-pthread/cs_stateful_true-unreach-call.i error (1) 0 --- inspect 870   880   180 14000 1.1  .053  - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 40 0   0   error (2) 0 --- inspect .019 .020 5.6 0   0  
seq-pthread/cs_sync_true-unreach-call.i timeout 0 --- inspect 900   910   180 11000 .85 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .36 40 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-pthread/cs_szymanski_true-unreach-call.i error (1) 0 --- inspect 880   880   180 11000 1.5  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .38 41 0   0   error (2) 0 --- inspect .019 .020 5.6 0   0  
seq-pthread/cs_time_var_mutex_true-unreach-call.i error (1) 0 --- inspect 870   880   180 10000 1.3  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .38 41 0   0   error (2) 0 --- inspect .020 .020 5.6 0   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 300 270000 280000 360000 3500000 1100 1300 400 274 5900 4200 180000 0   3.7 400 -9504 3500 2100 120000 190 40 400 258 2100 1200 120000 0   7.2 400 135 260 260 6900 87 1.4  189 0 130 80 7700 0   0   189 0 3.8 3.9 1100 0   0  
    correct results 300 300 23000 23000 120000 300000 500 830 274 274 3400 2000 150000 0   1.9 0 258 258 1600 950 91000 0   6.5 135 135 92 92 2800 21 .41 0 0
        correct true 0 0 0 0 0 0 0
        correct false 300 300 23000 23000 120000 300000 500 830 274 274 3400 2000 150000 0   1.9 0 258 258 1600 950 91000 0   6.5 135 135 92 92 2800 21 .41 0 0
    incorrect results 0 0 297 -9504 3500 2000 120000 190 40 0 0 0 0
        incorrect true 0 0 297 -9504 3500 2000 120000 190 40 0 0 0 0
        incorrect false 0 0 0 0 0 0 0
score (589 tasks, max score: 778) 300 274 -9504 258 135 0 0
Run set verifuzz.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-verifuzz.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-verifuzz.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-verifuzz.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-verifuzz.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-verifuzz.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-verifuzz.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized