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