Tool VeriAbs 1.3.10 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-10 16:50:17 CET 2018-12-10 20:34:10 CET 2018-12-10 21:22:10 CET 2018-12-10 21:27:56 CET 2018-12-12 21:52:30 CET 2018-12-10 19:33:41 CET 2018-12-10 20:40:20 CET
Run set veriabs.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-veriabs.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-veriabs.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-veriabs.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-veriabs.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-veriabs.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-veriabs.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/veriabs.2018-12-10_1650.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/veriabs.2018-12-10_1650.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/veriabs.2018-12-10_1650.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/veriabs.2018-12-10_1650.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -witness ../../results-verified/veriabs.2018-12-10_1650.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/veriabs.2018-12-10_1650.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 36 20   740 380 .48 0      true -32 wit inspect 8.5  4.5  290 0   0      false(unreach-call) 1 --- inspect 18     9.5   620   .66 0      unknown 0 --- inspect 4.6  2.6  270 0      0      false(unreach-call) 1 --- inspect .69   .69   21    .12  0      - --- inspect - --- inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 40 23   730 440 .46 0      true -32 wit inspect 8.6  4.5  300 0   0      false(unreach-call) 1 --- inspect 12     7.0   460   .66 0      unknown 0 --- inspect 4.5  2.5  270 0      0      false(unreach-call) 1 --- inspect .73   .72   21    .13  0      - --- inspect - --- inspect
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 190 180   720 2300 .37 .0082 timeout 0 wit inspect 97    76    2500 0   0      true -32 --- inspect 9.5   5.6   310   .66 0      unknown 0 --- inspect 3.8  2.1  250 0      0      false(unreach-call) 1 --- inspect .62   .62   20    .086 0      - --- inspect - --- inspect
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 150 140   1000 2000 .45 0      timeout 0 wit inspect 97    75    2800 0   0      true -32 --- inspect 7.5   4.6   300   .66 0      unknown 0 --- inspect 5.0  2.8  250 0      0      false(unreach-call) 1 --- inspect .63   .63   20    .10  0      - --- inspect - --- inspect
systemc/pipeline_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 750 740   730 5500 .77 0      true -32 wit inspect 25    13    830 0   0      timeout 0 --- inspect 98     58     5900   1.6  .016  unknown 0 --- inspect 7.4  4.0  360 0      0      false(unreach-call) 1 --- inspect .85   .85   28    .14  .016  - --- inspect - --- inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 160 150   1300 1700 .49 0      true -32 wit inspect 6.3  3.4  280 0   .0082 false(unreach-call) 1 --- inspect 17     11     690   .62 .0082 unknown 0 --- inspect 4.4  2.4  270 0      0      false(unreach-call) 1 --- inspect .66   .65   21    .10  0      - --- inspect - --- inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 390 370   690 3200 .51 0      true -32 wit inspect 7.5  3.9  290 0   0      false(unreach-call) 1 --- inspect 29     17     860   .62 0      unknown 0 --- inspect 5.9  3.2  280 0      0      false(unreach-call) 1 --- inspect .68   .68   22    .11  0      - --- inspect - --- inspect
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 500 490   950 4200 .52 0      true -32 wit inspect 9.5  5.0  310 0   0      false(unreach-call) 1 --- inspect 44     25     1200   .62 .012  unknown 0 --- inspect 5.3  2.9  280 0      0      false(unreach-call) 1 --- inspect .70   .70   22    .13  0      - --- inspect - --- inspect
systemc/token_ring.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 650 630   730 5100 .59 .012  true -32 wit inspect 9.6  5.0  370 0   0      timeout 0 --- inspect 97     52     3800   .69 0      unknown 0 --- inspect 6.2  3.3  300 0      0      false(unreach-call) 1 --- inspect .75   .75   23    .14  0      - --- inspect - --- inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 860 850   1200 6200 .57 .46   true -32 wit inspect 9.3  4.9  430 0   0      false(unreach-call) 1 --- inspect 78     44     3200   .62 0      unknown 0 --- inspect 6.9  3.7  300 0      0      false(unreach-call) 1 --- inspect .76   .76   23    .15  .016  - --- inspect - --- inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 650 640   1200 5200 .49 0      true -32 wit inspect 10    5.4  410 0   0      timeout 0 --- inspect 97     56     3600   .64 0      unknown 0 --- inspect 5.9  3.2  300 0      0      false(unreach-call) 1 --- inspect .78   .78   23    .17  0      - --- inspect - --- inspect
systemc/token_ring.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 660 640   1200 5400 .65 0      true -32 wit inspect 11    5.6  440 0   0      timeout (false(unreach-call)) 0 --- inspect 90     54     4500   .62 0      unknown 0 --- inspect 6.1  3.3  310 0      0      false(unreach-call) 1 --- inspect .83   .82   23    .18  .016  - --- inspect - --- inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 670 650   1200 5700 .53 0      true -32 wit inspect 12    6.2  450 0   0      timeout 0 --- inspect 97     60     4500   .63 .020  unknown 0 --- inspect 6.4  3.5  310 0      0      false(unreach-call) 1 --- inspect .84   .83   24    .20  0      - --- inspect - --- inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 680 660   1300 5800 .74 0      true -32 wit inspect 14    7.1  480 0   0      timeout 0 --- inspect 97     62     4500   1.5  0      unknown 0 --- inspect 7.0  3.7  320 0      0      false(unreach-call) 1 --- inspect .88   .88   24    .21  0      - --- inspect - --- inspect
systemc/token_ring.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 690 670   1300 5800 .82 .025  true -32 wit inspect 15    7.6  500 0   0      timeout 0 --- inspect 97     61     4600   .70 0      unknown 0 --- inspect 8.5  4.5  320 0      0      false(unreach-call) 1 --- inspect .91   .91   25    .23  0      - --- inspect - --- inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 710 690   1300 7000 1.0  0      true -32 wit inspect 15    7.8  700 0   0      timeout 0 --- inspect 97     65     4600   .65 0      unknown 0 --- inspect 8.9  4.7  400 0      0      false(unreach-call) 1 --- inspect 1.1    1.1    30    .25  .025  - --- inspect - --- inspect
systemc/token_ring.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 730 700   1300 5800 .93 0      true -32 wit inspect 17    8.8  680 0   .0041 timeout 0 --- inspect 97     62     4600   .62 0      unknown 0 --- inspect 9.5  5.0  360 0      0      false(unreach-call) 1 --- inspect .99   .99   27    .25  0      - --- inspect - --- inspect
systemc/token_ring.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 740 720   1900 6400 .97 .029  true -32 wit inspect 16    8.2  670 0   0      timeout 0 --- inspect 97     64     4600   .66 0      unknown 0 --- inspect 8.6  4.6  370 0      0      false(unreach-call) 1 --- inspect 1.0    1.0    28    .27  0      - --- inspect - --- inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 730 700   1300 5500 .89 0      true -32 wit inspect 18    9.4  680 0   0      timeout 0 --- inspect 96     62     4500   .65 0      unknown 0 --- inspect 6.5  3.5  330 0      0      false(unreach-call) 1 --- inspect .99   .98   27    .25  0      - --- inspect - --- inspect
systemc/token_ring.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 740 720   1300 6200 .97 .025  true -32 wit inspect 21    11    700 0   0      timeout 0 --- inspect 97     66     4500   .66 0      unknown 0 --- inspect 9.7  5.1  370 0      0      false(unreach-call) 1 --- inspect 1.0    1.0    27    .27  0      - --- inspect - --- inspect
systemc/toy1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 490 470   710 3800 .41 0      true -32 wit inspect 8.2  4.3  340 0   0      false(unreach-call) 1 --- inspect 40     21     1000   .66 0      unknown 0 --- inspect 5.6  3.0  290 0      .012  false(unreach-call) 1 --- inspect .67   .67   22    .10  0      - --- inspect - --- inspect
systemc/toy2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 490 470   640 3500 .40 .012  true -32 wit inspect 8.2  4.3  330 0   0      false(unreach-call) 1 --- inspect 36     19     1100   .66 0      unknown 0 --- inspect 5.1  2.8  280 0      0      false(unreach-call) 1 --- inspect .68   .68   22    .10  0      - --- inspect - --- inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 100 85   1000 1000 .57 0      true -32 wit inspect 5.2  2.8  260 0   0      false(unreach-call) 1 --- inspect 18     10     510   .62 0      unknown 0 --- inspect 5.2  2.9  250 0      0      false(unreach-call) 1 --- inspect .65   .65   21    .10  0      - --- inspect - --- inspect
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 250 240   710 2600 .51 0      true -32 wit inspect 8.1  4.4  270 0   0      false(unreach-call) 1 --- inspect 30     17     850   .62 0      unknown 0 --- inspect 5.3  2.9  280 0      0      false(unreach-call) 1 --- inspect .68   .68   22    .11  .0082 - --- inspect - --- inspect
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 550 530   740 4100 .51 0      true -32 wit inspect 9.4  4.9  290 0   0      false(unreach-call) 1 --- inspect 54     29     1200   .66 0      unknown 0 --- inspect 5.1  2.8  280 0      0      false(unreach-call) 1 --- inspect .73   .73   22    .13  0      - --- inspect - --- inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 560 540   1000 4500 .51 0      true -32 wit inspect 9.9  5.1  340 0   0      false(unreach-call) 1 --- inspect 55     31     1600   .62 0      unknown 0 --- inspect 5.5  3.0  290 0      0      false(unreach-call) 1 --- inspect .73   .73   22    .14  0      - --- inspect - --- inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 730 710   720 8100 .56 0      true -32 wit inspect 8.9  4.7  390 0   0      false(unreach-call) 1 --- inspect 68     39     2100   .62 0      unknown 0 --- inspect 5.5  3.0  290 0      0      false(unreach-call) 1 --- inspect .75   .75   23    .15  0      - --- inspect - --- inspect
systemc/transmitter.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 650 630   1200 5000 .57 0      true -32 wit inspect 9.3  4.9  410 0   0      false(unreach-call) 1 --- inspect 86     49     2900   .62 0      unknown 0 --- inspect 5.7  3.1  290 0      0      false(unreach-call) 1 --- inspect .77   .76   22    .17  0      - --- inspect - --- inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 660 640   1200 5100 .63 .0041 true -32 wit inspect 13    6.7  410 0   .016  timeout 0 --- inspect 98     57     3500   1.5  0      unknown 0 --- inspect 6.3  3.4  300 0      0      false(unreach-call) 1 --- inspect .82   .82   23    .18  0      - --- inspect - --- inspect
systemc/transmitter.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 660 650   1200 5100 .69 0      true -32 wit inspect 11    5.5  420 0   0      timeout 0 --- inspect 97     58     4500   .65 0      unknown 0 --- inspect 6.7  3.6  310 0      0      false(unreach-call) 1 --- inspect .86   .88   24    .19  0      - --- inspect - --- inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 670 650   1300 6100 .73 0      true -32 wit inspect 15    7.7  450 0   0      timeout 0 --- inspect 97     60     4600   .65 .020  unknown 0 --- inspect 6.1  3.3  290 0      0      false(unreach-call) 1 --- inspect .89   .89   24    .21  0      - --- inspect - --- inspect
systemc/transmitter.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 680 660   1300 5500 .78 0      true -32 wit inspect 13    6.9  490 0   0      timeout 0 --- inspect 97     61     4600   1.4  0      unknown 0 --- inspect 6.2  3.4  290 0      0      false(unreach-call) 1 --- inspect .89   .90   25    .23  0      - --- inspect - --- inspect
systemc/transmitter.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 700 680   1300 4900 .84 .43   true -32 wit inspect 15    7.6  500 0   0      timeout 0 --- inspect 96     63     4600   .76 0      unknown 0 --- inspect 7.7  4.1  300 0      0      false(unreach-call) 1 --- inspect .92   .93   25    .24  0      - --- inspect - --- inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 710 690   1300 6900 .91 0      true -32 wit inspect 20    10    610 0   0      timeout 0 --- inspect 97     65     4600   .69 0      unknown 0 --- inspect 6.6  3.5  330 0      0      false(unreach-call) 1 --- inspect .97   .96   26    .25  0      - --- inspect - --- inspect
systemc/transmitter.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 730 710   1300 6000 .95 0      true -32 wit inspect 16    8.5  670 0   0      timeout 0 --- inspect 97     60     4500   .66 0      unknown 0 --- inspect 8.0  4.3  370 0      0      false(unreach-call) 1 --- inspect 1.0    1.0    27    .26  0      - --- inspect - --- inspect
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 730 710   1900 6800 .58 .0041 true -32 wit inspect 16    8.1  550 0   0      true -32 --- inspect 13     7.2   340   .66 0      unknown 0 --- inspect 6.5  3.6  280 0      0      false(unreach-call) 1 --- inspect .84   .84   21    .25  0      - --- inspect - --- inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 750 720   1900 6600 .59 0      true -32 wit inspect 17    8.9  650 0   0      true -32 --- inspect 11     6.7   360   .66 .029  unknown 0 --- inspect 5.2  2.9  280 0      0      false(unreach-call) 1 --- inspect .89   .88   21    .27  .029  - --- inspect - --- inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c true 2 wit inspect 78 35   3200 830 140    0      - --- inspect - --- inspect - --- inspect - --- inspect out of memory 0 --- inspect 590    520    7000 0   0     true 2 --- inspect 89     52     2000   .62 0    
systemc/kundu_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900 880   730 7700 .44 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .47 40 0   0     error (2) 0 --- inspect .022 .023 5.6 0    0    
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c true 2 wit inspect 94 37   4500 800 140    0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    650    6900 0   0     true 2 --- inspect 220     160     6300   .62 0    
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c true 2 wit inspect 90 37   4300 700 170    0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    630    6900 0   0     true 2 --- inspect 280     210     6600   .62 0    
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c true 2 wit inspect 91 37   4200 800 150    0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 910    630    7000 0   0     true 2 --- inspect 330     240     6500   .62 0    
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c true 2 wit inspect 86 37   4600 830 140    0      - --- inspect - --- inspect - --- inspect - --- inspect out of memory 0 --- inspect 650    510    7000 0   0     true 2 --- inspect 370     280     6600   .62 0    
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c true 2 wit inspect 88 37   4400 760 150    0      - --- inspect - --- inspect - --- inspect - --- inspect out of memory 0 --- inspect 650    510    7000 0   0     true 2 --- inspect 450     350     6700   .62 0    
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c unknown 0 --- inspect 410 390   730 3200 .48 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .38 41 0   0     error (2) 0 --- inspect .024 .025 5.6 0    0    
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c unknown 0 --- inspect 400 380   700 3500 .37 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .39 42 0   0     error (2) 0 --- inspect .024 .024 5.6 0    0    
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900 890   730 9400 .70 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .44 43 0   0     error (2) 0 --- inspect .021 .021 5.6 0    0    
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900 880   730 7200 .34 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .38 41 0   0     error (2) 0 --- inspect .020 .021 5.6 0    0    
systemc/token_ring.01_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900 880   720 10000 .99 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .37 42 0   0     error (2) 0 --- inspect .026 .026 5.6 0    0    
systemc/token_ring.02_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900 890   730 9000 .78 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .36 42 0   0     error (2) 0 --- inspect .020 .021 5.6 0    0    
systemc/token_ring.03_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900 880   1200 7700 .43 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .39 40 0   0     error (2) 0 --- inspect .020 .021 5.6 0    0    
systemc/token_ring.04_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900 880   740 9600 .32 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .39 42 0   0     error (2) 0 --- inspect .022 .022 5.6 0    0    
systemc/token_ring.05_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900 880   1200 8400 .44 .012  - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .46 41 0   0     error (2) 0 --- inspect .020 .021 5.7 0    0    
systemc/token_ring.06_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900 880   1200 7700 .48 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .47 40 0   0     error (2) 0 --- inspect .021 .023 5.7 0    0    
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900 880   1200 9700 .48 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .39 42 0   0     error (2) 0 --- inspect .020 .021 5.6 0    0    
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900 880   1200 6800 .50 .029  - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .41 41 0   0     error (2) 0 --- inspect .021 .023 5.6 0    0    
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900 880   1300 8100 .50 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    
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900 880   1300 7700 .39 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .37 41 0   0     error (2) 0 --- inspect .022 .022 5.6 0    0    
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900 880   1300 6500 .50 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .42 40 0   0     error (2) 0 --- inspect .020 .021 5.6 0    0    
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900 880   1300 9700 .41 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .39 41 0   0     error (2) 0 --- inspect .022 .023 5.7 0    0    
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900 880   1900 7600 .54 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .38 42 0   0     error (2) 0 --- inspect .021 .021 5.6 0    0    
systemc/toy_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900 880   690 7700 .32 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .38 41 0   0     error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 42 26   630 410 .41 0      true -32 wit inspect 9.9  5.2  420 0   0      false(unreach-call) 1 --- inspect 16     8.9   470   .66 0      unknown 0 --- inspect 4.8  2.7  260 0      .020  error (2) 0 --- inspect .72   .72   21    .049 0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 46 29   680 450 .32 0      true -32 wit inspect 8.7  4.6  330 0   .020  false(unreach-call) 1 --- inspect 15     8.4   520   .62 0      unknown 0 --- inspect 5.4  3.0  260 0      0      error (2) 0 --- inspect .73   .72   21    .049 0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c false(unreach-call) 0 wit inspect 43 26   680 460 .82 .0041 true -32 wit inspect 12    6.4  530 0   0      timeout 0 --- inspect 97     61     4600   .70 0      unknown 0 --- inspect 7.7  4.1  340 0      0      error (2) 0 --- inspect 1.0    1.0    28    .049 0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 46 29   680 520 .90 0      true -32 wit inspect 11    5.9  540 0   0      timeout 0 --- inspect 98     59     4600   .63 0      unknown 0 --- inspect 11    6.0  350 0      0      error (2) 0 --- inspect 1.0    1.0    29    .049 0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c false(unreach-call) 0 wit inspect 44 27   690 440 .85 0      true -32 wit inspect 13    6.6  530 0   0      timeout 0 --- inspect 97     61     4600   .66 .020  unknown 0 --- inspect 8.5  4.5  340 0      0      error (2) 0 --- inspect 1.0    1.0    28    .049 0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 47 30   660 480 .94 0      true -32 wit inspect 13    6.9  550 0   0      timeout 0 --- inspect 97     62     4600   .66 0      unknown 0 --- inspect 9.2  4.9  360 0      0      error (2) 0 --- inspect 1.1    1.1    29    .049 0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c false(unreach-call) 0 wit inspect 43 26   690 430 .82 .31   true -32 wit inspect 13    6.6  540 0   0      timeout 0 --- inspect 97     60     4600   .68 0      unknown 0 --- inspect 8.2  4.3  340 0      0      error (2) 0 --- inspect .99   .99   27    .049 0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 46 29   680 530 .89 0      true -32 wit inspect 11    5.8  540 0   0      timeout (false(unreach-call)) 0 --- inspect 96     62     4600   .62 0      unknown 0 --- inspect 8.6  4.6  350 0      0      error (2) 0 --- inspect 1.1    1.0    28    .049 0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 40 23   540 410 .72 .016  true -32 wit inspect 12    6.2  500 0   0      false(unreach-call) 1 --- inspect 71     42     4600   .62 0      unknown 0 --- inspect 7.6  4.1  350 0      0      error (2) 0 --- inspect .89   .89   26    .045 0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 37 20   390 350 .48 0      true -32 wit inspect 9.1  4.7  340 0   0      false(unreach-call) 1 --- inspect 49     27     2000   .62 0      unknown 0 --- inspect 6.7  3.6  300 0      0      error (2) 0 --- inspect .79   .79   23    .045 0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 39 23   400 450 .72 0      true -32 wit inspect 13    6.6  500 0   0      false(unreach-call) 1 --- inspect 74     51     4800   .62 0      unknown 0 --- inspect 9.3  5.0  340 0      0      error (2) 0 --- inspect .92   .93   26    .045 0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 37 20   440 360 .46 0      true -32 wit inspect 10    5.4  340 0   0      false(unreach-call) 1 --- inspect 44     24     1800   .66 0      unknown 0 --- inspect 5.4  2.9  270 0      0      error (2) 0 --- inspect .77   .76   23    .045 0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 35 20   710 390 .37 0      true -32 wit inspect 8.3  4.4  300 0   0      false(unreach-call) 1 --- inspect 49     32     980   .62 0      unknown 0 --- inspect 5.5  3.0  290 0      0      false(unreach-call) 1 --- inspect .78   .78   22    .16  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 36 21   680 380 .36 0      true -32 wit inspect 7.4  3.9  290 0   0      false(unreach-call) 1 --- inspect 46     28     810   .66 0      unknown 0 --- inspect 5.0  2.8  270 0      0      false(unreach-call) 1 --- inspect .78   .78   22    .11  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 38 20   710 380 .34 0      true -32 wit inspect 7.4  3.9  290 0   0      timeout 0 --- inspect 97     71     980   .70 0      unknown 0 --- inspect 5.1  2.8  280 0      0      false(unreach-call) 1 --- inspect .77   .78   21    .14  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 39 21   690 420 .32 0      true -32 wit inspect 6.7  3.6  270 0   0      false(unreach-call) 1 --- inspect 22     12     520   .62 0      unknown 0 --- inspect 4.7  2.6  260 0      .016  false(unreach-call) 1 --- inspect .79   .79   21    .16  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 38 20   690 370 .38 0      true -32 wit inspect 9.9  5.2  300 0   0      timeout 0 --- inspect 96     72     1400   1.3  0      unknown 0 --- inspect 5.4  2.9  290 0      0      false(unreach-call) 1 --- inspect .78   .78   22    .17  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 39 22   680 430 .36 .016  true -32 wit inspect 7.2  3.8  290 0   0      timeout 0 --- inspect 96     80     980   1.9  0      unknown 0 --- inspect 5.4  2.9  290 0      0      false(unreach-call) 1 --- inspect .79   .79   22    .16  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 38 20   720 410 .37 0      true -32 wit inspect 7.7  4.0  290 0   0      false(unreach-call) 1 --- inspect 82     56     1100   .62 .016  unknown 0 --- inspect 5.4  2.9  290 0      0      false(unreach-call) 1 --- inspect .79   .79   22    .17  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 38 21   680 380 .36 .0041 true -32 wit inspect 9.0  4.7  300 0   0      false(unreach-call) 1 --- inspect 62     39     920   .62 0      unknown 0 --- inspect 5.3  2.9  290 0      0      false(unreach-call) 1 --- inspect .77   .77   22    .16  .016  - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 89 73   680 980 .45 0      timeout 0 wit inspect 94    86    690 0   0      true -32 --- inspect 11     6.1   310   .66 0      false(unreach-call) 1 --- inspect 4.8  2.7  270 0      0      false(unreach-call) 1 --- inspect .65   .65   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 40 23   510 430 .50 0      true -32 wit inspect 11    5.6  460 0   0      timeout 0 --- inspect 97     68     1600   .65 0      unknown 0 --- inspect 6.7  3.6  300 0      0      false(unreach-call) 1 --- inspect 1.0    1.0    24    .33  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 41 25   680 430 .49 .0041 true -32 wit inspect 10    5.4  380 0   0      timeout 0 --- inspect 97     70     2000   .70 0      unknown 0 --- inspect 8.0  4.3  310 0      0      false(unreach-call) 1 --- inspect 1.1    1.1    24    .31  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 40 23   690 450 .42 0      true -32 wit inspect 13    6.7  450 0   0      true -32 --- inspect 11     6.6   380   .66 0      unknown 0 --- inspect 6.4  3.4  310 0      0      false(unreach-call) 1 --- inspect 1.0    1.1    23    .33  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 41 25   480 390 .45 0      true -32 wit inspect 9.7  5.1  380 0   0      true -32 --- inspect 12     7.0   370   .66 0      unknown 0 --- inspect 6.5  3.4  310 0      0      false(unreach-call) 1 --- inspect 1.0    1.1    23    .32  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 41 23   680 460 .52 0      true -32 wit inspect 11    5.9  450 0   0      true -32 --- inspect 13     7.8   370   .62 0      unknown 0 --- inspect 7.3  3.9  320 0      0      false(unreach-call) 1 --- inspect 1.1    1.1    24    .33  .033  - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 65 48   690 730 .50 .0041 true -32 wit inspect 9.8  5.1  380 0   0      true -32 --- inspect 11     6.3   370   .66 0      unknown 0 --- inspect 7.9  4.2  310 0      0      false(unreach-call) 1 --- inspect 1.1    1.1    24    .32  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 41 23   470 390 .51 0      true -32 wit inspect 12    6.0  450 0   0      true -32 --- inspect 12     6.9   380   .62 0      unknown 0 --- inspect 7.2  3.8  310 0      0      false(unreach-call) 1 --- inspect 1.1    1.1    24    .33  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 42 25   460 470 .49 0      true -32 wit inspect 9.6  5.0  370 0   0      true -32 --- inspect 11     6.4   380   .62 0      unknown 0 --- inspect 7.7  4.1  310 0      0      false(unreach-call) 1 --- inspect 1.1    1.0    24    .32  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900 890   690 11000 .63 0      error (invalid witness file) 0 --- inspect .77 .46 42 0   0      error (2) 0 --- inspect .026 .027 5.6 0    0      error (invalid witness file) 0 --- inspect .95 .61 47 0      0      error (invalid witness file) 0 --- inspect .0014 .0016 .41 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 57 36   700 550 .68 0      true -32 wit inspect 15    7.6  560 0   0      timeout 0 --- inspect 97     60     4300   .88 0      unknown 0 --- inspect 8.1  4.4  300 0      0      false(unreach-call) 1 --- inspect 1.6    1.7    27    .65  .057  - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 60 39   1200 690 .72 .17   true -32 wit inspect 14    7.2  520 0   0      timeout 0 --- inspect 97     58     4600   1.6  0      unknown 0 --- inspect 7.9  4.2  300 0      0      false(unreach-call) 1 --- inspect 1.6    1.6    28    .61  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 59 36   900 660 .69 .19   true -32 wit inspect 15    7.8  550 0   0      true -32 --- inspect 14     8.4   510   .66 0      unknown 0 --- inspect 10    5.3  310 0      0      false(unreach-call) 1 --- inspect 1.6    1.6    27    .66  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 61 39   700 570 .65 0      true -32 wit inspect 13    6.7  510 0   0      true -32 --- inspect 17     9.8   540   .66 0      unknown 0 --- inspect 7.7  4.1  290 0      0      false(unreach-call) 1 --- inspect 1.6    1.6    27    .62  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 59 36   710 580 .75 0      true -32 wit inspect 18    9.4  600 0   0      true -32 --- inspect 15     8.6   470   .66 0      unknown 0 --- inspect 7.8  4.2  310 0      0      false(unreach-call) 1 --- inspect 1.6    1.6    28    .66  .066  - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900 880   710 11000 .28 .066  error (invalid witness file) 0 --- inspect .60 .37 41 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0      error (invalid witness file) 0 --- inspect .92 .59 47 0      0      error (invalid witness file) 0 --- inspect .0018 .0025 .54 0     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 60 37   720 670 .74 0      true -32 wit inspect 15    7.7  540 0   0      true -32 --- inspect 16     9.2   530   .66 0      unknown 0 --- inspect 7.3  3.9  310 0      0      false(unreach-call) 1 --- inspect 1.6    1.6    28    .66  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 62 40   1200 620 .70 .0082 true -32 wit inspect 16    8.5  510 0   0      true -32 --- inspect 14     8.5   460   .66 0      unknown 0 --- inspect 7.1  3.8  320 0      0      false(unreach-call) 1 --- inspect 1.6    1.6    27    .62  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900 880   690 11000 .28 0      error (invalid witness file) 0 --- inspect .58 .35 41 0   0      error (2) 0 --- inspect .020 .021 5.6 0    0      error (invalid witness file) 0 --- inspect .99 .65 47 0      0      error (invalid witness file) 0 --- inspect .0050 .0068 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 33 18   710 340 .43 0      true -32 wit inspect 6.7  3.6  260 0   0      false(unreach-call) 1 --- inspect 10     5.9   370   .66 0      unknown 0 --- inspect 5.8  3.2  260 0      0      error (2) 0 --- inspect .67   .66   22    .041 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 32 16   1200 310 .41 0      true -32 wit inspect 6.3  3.4  280 0   0      false(unreach-call) 1 --- inspect 19     11     610   .62 0      unknown 0 --- inspect 4.7  2.6  260 0      0      error (2) 0 --- inspect .67   .67   22    .041 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 33 19   730 380 .36 0      true -32 wit inspect 6.5  3.5  260 0   0      false(unreach-call) 1 --- inspect 18     10     470   .66 0      unknown 0 --- inspect 6.0  3.3  260 0      0      error (2) 0 --- inspect .66   .66   22    .041 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 31 17   710 320 .41 0      true -32 wit inspect 7.3  4.0  260 0   0      false(unreach-call) 1 --- inspect 27     15     620   .66 0      unknown 0 --- inspect 4.7  2.6  280 0      0      error (2) 0 --- inspect .67   .66   22    .041 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 0 wit inspect 24 10   680 220 .50 0      true -32 wit inspect 8.2  4.2  310 0   0      timeout 0 --- inspect 97     74     1500   .66 0      unknown 0 --- inspect 5.4  2.9  270 0      0      error (2) 0 --- inspect .69   .69   23    .045 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 24 10   670 220 .47 0      true -32 wit inspect 8.3  4.4  300 0   0      timeout 0 --- inspect 97     74     1300   .63 0      unknown 0 --- inspect 6.0  3.2  290 0      0      error (2) 0 --- inspect .73   .72   23    .045 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 35 20   670 350 .42 0      true -32 wit inspect 7.5  4.0  280 0   0      false(unreach-call) 1 --- inspect 21     13     550   .62 0      unknown 0 --- inspect 5.7  3.1  290 0      0      error (2) 0 --- inspect .72   .72   22    .045 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 35 20   710 390 .40 0      true -32 wit inspect 7.1  3.7  300 0   0      false(unreach-call) 1 --- inspect 23     13     650   .66 0      unknown 0 --- inspect 5.1  2.8  270 0      0      error (2) 0 --- inspect .71   .71   22    .045 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 25 11   680 210 .59 0      true -32 wit inspect 11    5.9  340 0   0      timeout 0 --- inspect 97     73     2300   .63 0      unknown 0 --- inspect 6.4  3.4  310 0      0      error (2) 0 --- inspect .74   .74   24    .049 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 25 11   690 200 .55 0      true -32 wit inspect 8.4  4.4  310 0   0      timeout 0 --- inspect 97     72     2100   .68 .016  unknown 0 --- inspect 6.4  3.5  310 0      0      error (2) 0 --- inspect .74   .74   24    .049 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 36 20   680 380 .43 0      true -32 wit inspect 8.7  4.5  330 0   0      false(unreach-call) 1 --- inspect 57     36     1900   .62 0      unknown 0 --- inspect 5.9  3.2  290 0      0      error (2) 0 --- inspect .74   .74   23    .049 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 35 20   710 370 .46 .15   true -32 wit inspect 9.6  5.0  280 0   0      false(unreach-call) 1 --- inspect 35     20     970   .66 0      unknown 0 --- inspect 5.6  3.1  280 0      0      error (2) 0 --- inspect .75   .75   23    .049 0      - ---