Tool PeSCo 1.7-svn b8d6131600+ CPAchecker 1.7-svn 29852 ULTIMATE Automizer 0.1.23-635dfa2a CPA-witness2test 1.7-svn 29852 CProver witness2test 0.1 CPAchecker 1.7-svn 29852 ULTIMATE Automizer 0.1.23-635dfa2a
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2 timelimit: 900 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon* [apollon004; apollon069; apollon137; apollon154] [apollon004; apollon006; apollon021; apollon061; apollon109; apollon155] apollon*
OS Linux 4.15.0-42-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2018-12-06 12:44:04 CET 2018-12-08 07:39:30 CET 2018-12-08 12:16:42 CET 2018-12-08 13:32:07 CET 2018-12-12 20:37:42 CET 2018-12-08 05:07:50 CET 2018-12-08 09:11:31 CET
Run set pesco.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-pesco.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-pesco.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-pesco.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-pesco.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-pesco.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-pesco.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized
Options -svcomp19-pesco -heap 10000M -stack 2048k -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/pesco.2018-12-06_1244.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/pesco.2018-12-06_1244.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/pesco.2018-12-06_1244.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/pesco.2018-12-06_1244.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -witness ../../results-verified/pesco.2018-12-06_1244.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/pesco.2018-12-06_1244.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 21 6.1 1400 170 .11  0     false(unreach-call) 1 wit inspect 7.0  3.7  300 0   0   false(unreach-call) 1 --- inspect 18     9.9   710   .66 0     false(unreach-call) 1 --- inspect 5.4  3.0  280 0   0     false(unreach-call) 1 --- inspect .80   .79   23    .12  .0082 - --- inspect - --- inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 25 8.5 1300 200 .094 1.8   false(unreach-call) 1 wit inspect 7.2  3.8  300 0   0   false(unreach-call) 1 --- inspect 14     8.1   500   .62 0     false(unreach-call) 1 --- inspect 5.4  3.0  280 0   1.3   false(unreach-call) 1 --- inspect .79   .80   22    .13  0      - --- inspect - --- inspect
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 14 4.1 1200 98 .016 0     false(unreach-call) 1 wit inspect 4.4  2.4  260 0   0   false(unreach-call) 1 --- inspect 8.3   5.1   310   .66 0     false(unreach-call) 1 --- inspect 4.4  2.5  250 0   0     false(unreach-call) 1 --- inspect .63   .63   21    .086 0      - --- inspect - --- inspect
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 16 4.7 1200 130 .025 0     false(unreach-call) 1 wit inspect 4.7  2.6  260 0   0   false(unreach-call) 1 --- inspect 14     8.1   510   .62 0     false(unreach-call) 1 --- inspect 4.6  2.6  250 0   0     false(unreach-call) 1 --- inspect .67   .68   21    .10  0      - --- inspect - --- inspect
systemc/pipeline_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 130 79   3200 1300 1.3   0     false(unreach-call) 1 wit inspect 13    6.9  470 0   0   timeout 0 --- inspect 98     59     6200   1.5  0     false(unreach-call) 1 --- inspect 8.7  4.6  360 0   0     false(unreach-call) 1 --- inspect .96   .96   36    .15  0      - --- inspect - --- inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 24 5.7 1400 150 0     0     false(unreach-call) 1 wit inspect 6.4  3.4  290 0   0   false(unreach-call) 1 --- inspect 17     11     510   .62 0     false(unreach-call) 1 --- inspect 5.1  2.8  280 0   0     false(unreach-call) 1 --- inspect .67   .67   22    .10  0      - --- inspect - --- inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 36 8.3 1400 250 .10  0     false(unreach-call) 1 wit inspect 6.4  3.4  280 0   0   false(unreach-call) 1 --- inspect 29     16     590   .62 0     false(unreach-call) 1 --- inspect 5.8  3.2  290 0   0     false(unreach-call) 1 --- inspect .70   .70   23    .11  0      - --- inspect - --- inspect
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 49 13   2100 390 .14  0     false(unreach-call) 1 wit inspect 7.9  4.2  310 0   0   false(unreach-call) 1 --- inspect 50     28     880   .62 0     false(unreach-call) 1 --- inspect 5.7  3.1  280 0   0     false(unreach-call) 1 --- inspect .74   .74   23    .13  0      - --- inspect - --- inspect
systemc/token_ring.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 65 29   1900 610 .19  0     false(unreach-call) 1 wit inspect 9.2  4.9  340 0   0   false(unreach-call) 1 --- inspect 53     31     1400   .62 0     false(unreach-call) 1 --- inspect 5.9  3.2  280 0   0     false(unreach-call) 1 --- inspect .81   .81   24    .14  0      - --- inspect - --- inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 70 29   2300 590 .24  0     false(unreach-call) 1 wit inspect 9.8  5.1  340 0   0   false(unreach-call) 1 --- inspect 72     42     2400   .62 0     false(unreach-call) 1 --- inspect 6.9  3.7  300 0   0     false(unreach-call) 1 --- inspect .84   .83   26    .15  0      - --- inspect - --- inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 180 120   2600 2000 .30  0     false(unreach-call) 1 wit inspect 9.5  5.0  350 0   0   false(unreach-call) 1 --- inspect 85     51     3300   .62 0     false(unreach-call) 1 --- inspect 8.2  4.4  360 0   0     false(unreach-call) 1 --- inspect .89   .89   27    .17  0      - --- inspect - --- inspect
systemc/token_ring.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 350 290   2600 4800 .37  0     false(unreach-call) 1 wit inspect 11    5.8  390 0   0   timeout (false(unreach-call)) 0 --- inspect 96     59     4500   .62 0     false(unreach-call) 1 --- inspect 7.4  4.0  350 0   0     false(unreach-call) 1 --- inspect .94   .94   29    .18  0      - --- inspect - --- inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 500 430   2800 6700 .44  0     false(unreach-call) 1 wit inspect 15    7.7  460 0   0   timeout 0 --- inspect 97     58     4600   .71 0     false(unreach-call) 1 --- inspect 9.1  4.9  390 0   0     false(unreach-call) 1 --- inspect 1.1    1.1    30    .20  .020  - --- inspect - --- inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 200 140   2400 2400 .52  0     false(unreach-call) 1 wit inspect 16    8.1  480 0   0   timeout 0 --- inspect 97     60     4600   .77 0     false(unreach-call) 1 --- inspect 8.4  4.6  380 0   0     false(unreach-call) 1 --- inspect 1.1    1.1    32    .21  0      - --- inspect - --- inspect
systemc/token_ring.10_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 960 860   2900 13000 0     0     error (invalid witness file) 0 --- inspect .78 .48 44 0   0   error (invalid witness file) 0 --- inspect 5.6   3.0   270   .61 0     error (invalid witness file) 0 --- inspect 1.0  .66 50 0   0     error (invalid witness file) 0 --- inspect .0017 .0021 .53 0     0      - --- inspect - --- inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 760 680   3300 12000 .71  0     false(unreach-call) 1 wit inspect 16    8.4  620 0   0   timeout 0 --- inspect 96     60     4600   .77 0     false(unreach-call) 1 --- inspect 11    5.9  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 25 8.0 1500 210 0     0     false(unreach-call) 1 wit inspect 15    7.8  620 0   0   timeout 0 --- inspect 97     66     4600   1.5  0     false(unreach-call) 1 --- inspect 13    6.6  540 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 false(unreach-call) 1 wit inspect 27 8.9 1400 230 0     0     false(unreach-call) 1 wit inspect 17    9.1  650 0   0   timeout 0 --- inspect 96     63     4600   1.5  0     false(unreach-call) 1 --- inspect 10    5.4  580 0   0     false(unreach-call) 1 --- inspect 1.4    1.4    41    .27  0      - --- inspect - --- inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 26 8.2 1600 210 0     0     false(unreach-call) 1 wit inspect 18    9.4  650 0   0   timeout 0 --- inspect 97     65     4600   1.6  0     false(unreach-call) 1 --- inspect 10    5.3  510 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 27 8.9 1700 210 0     0     false(unreach-call) 1 wit inspect 18    9.5  670 0   0   timeout 0 --- inspect 97     66     4600   .74 0     false(unreach-call) 1 --- inspect 13    7.0  600 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 23 6.3 1400 170 .12  0     false(unreach-call) 1 wit inspect 7.8  4.2  270 0   0   false(unreach-call) 1 --- inspect 27     14     600   .62 0     false(unreach-call) 1 --- inspect 5.2  2.8  280 0   0     false(unreach-call) 1 --- inspect .71   .70   23    .11  .012  - --- inspect - --- inspect
systemc/toy2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 22 6.1 1400 150 .12  0     false(unreach-call) 1 wit inspect 7.8  4.1  290 0   0   false(unreach-call) 1 --- inspect 25     14     750   .66 0     false(unreach-call) 1 --- inspect 5.8  3.2  280 0   0     false(unreach-call) 1 --- inspect .71   .73   23    .11  0      - --- inspect - --- inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 17 5.0 1200 120 .045 0     false(unreach-call) 1 wit inspect 5.6  3.0  280 0   0   false(unreach-call) 1 --- inspect 18     10     520   .62 0     false(unreach-call) 1 --- inspect 4.5  2.5  260 0   0     false(unreach-call) 1 --- inspect .66   .66   21    .10  0      - --- inspect - --- inspect
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 19 5.4 1400 170 .070 0     false(unreach-call) 1 wit inspect 6.4  3.5  290 0   0   false(unreach-call) 1 --- inspect 25     15     570   .62 0     false(unreach-call) 1 --- inspect 5.4  3.0  280 0   0     false(unreach-call) 1 --- inspect .68   .68   22    .11  0      - --- inspect - --- inspect
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 23 6.7 1200 170 .10  0     false(unreach-call) 1 wit inspect 6.8  3.6  270 0   0   false(unreach-call) 1 --- inspect 31     18     840   .62 0     false(unreach-call) 1 --- inspect 5.6  3.1  290 0   0     false(unreach-call) 1 --- inspect .74   .74   23    .13  0      - --- inspect - --- inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 25 7.8 1600 230 .14  0     false(unreach-call) 1 wit inspect 7.3  3.9  290 0   0   false(unreach-call) 1 --- inspect 51     29     1200   .62 0     false(unreach-call) 1 --- inspect 6.0  3.3  300 0   0     false(unreach-call) 1 --- inspect .77   .77   23    .14  0      - --- inspect - --- inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 35 17   1400 300 .18  0     false(unreach-call) 1 wit inspect 8.5  4.5  320 0   0   false(unreach-call) 1 --- inspect 49     29     1700   .62 0     false(unreach-call) 1 --- inspect 6.6  3.6  300 0   0     false(unreach-call) 1 --- inspect .79   .79   24    .15  0      - --- inspect - --- inspect
systemc/transmitter.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 57 35   1600 570 .23  0     false(unreach-call) 1 wit inspect 8.5  4.5  300 0   0   false(unreach-call) 1 --- inspect 86     49     2600   .62 0     false(unreach-call) 1 --- inspect 6.3  3.5  290 0   0     false(unreach-call) 1 --- inspect .87   .88   25    .17  0      - --- inspect - --- inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 89 67   1600 960 .29  0     false(unreach-call) 1 wit inspect 10    5.5  340 0   0   timeout (false(unreach-call)) 0 --- inspect 95     57     3500   .62 0     false(unreach-call) 1 --- inspect 8.0  4.3  320 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 46 10   2100 320 .39  0     false(unreach-call) 1 wit inspect 10    5.5  400 0   0   timeout 0 --- inspect 97     58     4500   1.6  0     false(unreach-call) 1 --- inspect 11    5.9  380 0   0     false(unreach-call) 1 --- inspect 1.0    .99   29    .19  0      - --- inspect - --- inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 380 320   2800 4700 .47  0     false(unreach-call) 1 wit inspect 12    6.3  450 0   0   timeout 0 --- inspect 97     59     4600   1.8  0     false(unreach-call) 1 --- inspect 10    5.4  370 0   0     false(unreach-call) 1 --- inspect 1.0    1.0    31    .21  0      - --- inspect - --- inspect
systemc/transmitter.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 55 13   2000 430 .56  .090 false(unreach-call) 1 wit inspect 16    8.4  520 0   0   timeout 0 --- inspect 98     59     4600   1.8  0     false(unreach-call) 1 --- inspect 11    5.6  410 0   0     false(unreach-call) 1 --- inspect 1.1    1.1    33    .22  0      - --- inspect - --- inspect
systemc/transmitter.11_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 960 880   3500 15000 0     0     error (invalid witness file) 0 --- inspect .65 .40 43 0   0   error (invalid witness file) 0 --- inspect 5.4   3.0   270   .65 0     error (invalid witness file) 0 --- inspect 1.0  .64 50 0   0     error (invalid witness file) 0 --- inspect .0020 .0025 .52 0     0      - --- inspect - --- inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 27 9.6 1600 210 0     0     false(unreach-call) 1 wit inspect 13    6.9  570 0   0   timeout 0 --- inspect 98     64     4600   1.6  0     false(unreach-call) 1 --- inspect 11    5.8  430 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 30 12   1500 290 0     0     false(unreach-call) 1 wit inspect 17    8.9  630 0   0   timeout 0 --- inspect 97     66     4600   1.7  0     false(unreach-call) 1 --- inspect 9.2  4.9  480 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 29 9.7 1700 240 .094 0     false(unreach-call) 1 wit inspect 8.6  4.5  300 0   0   false(unreach-call) 1 --- inspect 71     42     1300   .62 0     false(unreach-call) 1 --- inspect 6.8  3.7  290 0   0     error (2) 0 --- inspect .87   .87   22    .25  0      - --- inspect - --- inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 29 9.1 1700 280 .10  0     false(unreach-call) 1 wit inspect 8.2  4.3  300 0   0   false(unreach-call) 1 --- inspect 83     50     1300   .62 0     false(unreach-call) 1 --- inspect 5.9  3.3  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 19 5.3 1400 150 0     0     - --- inspect - --- inspect - --- inspect - --- inspect out of memory 0 --- inspect 570    500    7000 0   0   true 2 --- inspect 71     43     2000   .62 0     
systemc/kundu_true-unreach-call_false-termination.cil.c true 2 wit inspect 27 9.9 1600 260 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3700 0   0   true 2 --- inspect 260     170     7000   .62 0     
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c true 2 wit inspect 20 6.0 1400 170 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 920    670    7000 0   0   true 2 --- inspect 270     200     6700   .62 0     
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c true 2 wit inspect 22 6.8 1200 190 0     0     - --- inspect - --- inspect - --- inspect - --- inspect out of memory 0 --- inspect 650    520    7000 0   0   true 2 --- inspect 280     210     6800   .62 0     
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c true 2 wit inspect 22 7.2 1200 190 0     0     - --- inspect - --- inspect - --- inspect - --- inspect out of memory 0 --- inspect 690    550    7000 0   0   true 2 --- inspect 300     220     6300   .62 0     
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c true 2 wit inspect 25 9.0 1300 200 0     0     - --- inspect - --- inspect - --- inspect - --- inspect out of memory 0 --- inspect 580    470    7000 0   0   true 2 --- inspect 360     270     6000   .62 0     
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c true 2 wit inspect 30 11   1800 270 0     0     - --- inspect - --- inspect - --- inspect - --- inspect out of memory 0 --- inspect 690    560    7000 0   0   true 2 --- inspect 450     340     6700   .62 0     
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 5.4 1200 150 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    660    6900 0   0   true 2 --- inspect 35     20     530   .66 0     
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c true 2 wit inspect 21 6.3 1300 180 0     0     - --- inspect - --- inspect - --- inspect - --- inspect out of memory 0 --- inspect 620    540    7000 0   0   true 2 --- inspect 84     47     1200   .62 0     
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c true 2 wit inspect 15 4.4 1200 110 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    870    5200 0   0   true 2 --- inspect 22     13     580   .66 0     
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 970 760   8200 8400 1.3   0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .85 .53 42 0   0   error (invalid witness file) 0 --- inspect 5.2   2.8   270   .65 0     
systemc/token_ring.01_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 5.0 1200 140 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    870    4000 0   0   true 2 --- inspect 34     19     710   .66 0     
systemc/token_ring.02_true-unreach-call_false-termination.cil.c true 2 wit inspect 20 6.4 1200 150 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3400 0   0   true 2 --- inspect 50     28     860   .62 0     
systemc/token_ring.03_true-unreach-call_false-termination.cil.c true 2 wit inspect 24 9.0 1300 190 0     .090 - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3200 0   0   true 2 --- inspect 71     40     960   .62 0     
systemc/token_ring.04_true-unreach-call_false-termination.cil.c true 2 wit inspect 37 22   1200 380 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    2900 0   0   true 2 --- inspect 160     100     5700   .62 0     
systemc/token_ring.05_true-unreach-call_false-termination.cil.c true 1 wit inspect 87 70   1500 970 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    2900 0   0   out of memory 0 --- inspect 210     140     7000   .70 0     
systemc/token_ring.06_true-unreach-call_false-termination.cil.c true 2 wit inspect 330 320   1600 4200 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3000 0   0   true 2 --- inspect 170     100     5400   .62 0     
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 960 470   5400 9900 0     0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .39 41 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0     
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 960 460   6000 7200 0     0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .47 41 0   0   error (2) 0 --- inspect .020 .022 5.7 0    0     
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 960 460   5900 8200 0     0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .36 42 0   0   error (invalid witness file) 0 --- inspect 5.9   3.4   260   .65 0     
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 960 440   6300 8600 0     0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .38 43 0   0   error (invalid witness file) 0 --- inspect 6.1   3.3   260   .65 0     
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 960 430   6800 7000 0     0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .37 40 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0     
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 910 890   2400 5300 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    4000 0   0   out of memory 0 --- inspect 180     120     7000   .66 0     
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 910 890   2400 7600 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    4300 0   0   out of memory 0 --- inspect 230     150     7000   .72 0     
systemc/toy_true-unreach-call_false-termination.cil.c true 2 wit inspect 65 49   1300 730 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3100 0   0   true 2 --- inspect 74     44     1500   .62 0     
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 23 7.4 1300 190 .078 0     false(unreach-call) 1 wit inspect 7.7  4.1  300 0   0   false(unreach-call) 1 --- inspect 11     6.2   390   .62 0     false(unreach-call) 1 --- inspect 5.5  3.0  290 0   0     error (2) 0 --- inspect .73   .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 19 6.6 1500 150 0     0     false(unreach-call) 1 wit inspect 6.9  3.7  300 0   0   false(unreach-call) 1 --- inspect 12     6.5   390   .66 0     false(unreach-call) 1 --- inspect 5.6  3.2  290 0   0     error (2) 0 --- inspect .74   .74   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 27 6.8 1300 190 .14  0     false(unreach-call) 1 wit inspect 8.3  4.4  320 0   0   false(unreach-call) 1 --- inspect 20     11     580   .66 0     false(unreach-call) 1 --- inspect 5.8  3.2  280 0   0     error (2) 0 --- inspect .79   .78   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 26 6.6 1300 200 .14  0     false(unreach-call) 1 wit inspect 8.2  4.3  320 0   0   false(unreach-call) 1 --- inspect 14     8.0   520   .62 0     false(unreach-call) 1 --- inspect 5.8  3.2  280 0   0     error (2) 0 --- inspect .81   .81   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 28 8.5 1300 210 .14  0     false(unreach-call) 1 wit inspect 8.9  4.7  320 0   0   false(unreach-call) 1 --- inspect 14     8.0   520   .66 0     false(unreach-call) 1 --- inspect 6.8  3.7  300 0   0     error (2) 0 --- inspect .80   .79   23    .049 .020  - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 20 7.2 1200 150 0     0     false(unreach-call) 1 wit inspect 9.0  4.8  290 0   0   false(unreach-call) 1 --- inspect 14     7.8   530   .66 0     false(unreach-call) 1 --- inspect 6.5  3.5  300 0   0     error (2) 0 --- inspect .81   .81   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 43 11   1400 340 .38  0     false(unreach-call) 1 wit inspect 12    6.3  440 0   0   false(unreach-call) 1 --- inspect 54     34     2400   .62 0     false(unreach-call) 1 --- inspect 8.6  4.6  360 0   0     error (2) 0 --- inspect .98   .99   29    .049 0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 50 12   1900 370 .36  0     false(unreach-call) 1 wit inspect 13    6.7  420 0   0   false(unreach-call) 1 --- inspect 21     11     810   .62 0     false(unreach-call) 1 --- inspect 9.4  5.0  360 0   0     error (2) 0 --- inspect .99   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 200 100   3400 1900 .32  0     false(unreach-call) 1 wit inspect 11    5.9  380 0   0   false(unreach-call) 1 --- inspect 20     11     870   .62 0     false(unreach-call) 1 --- inspect 7.8  4.2  360 0   0     error (2) 0 --- inspect .97   .98   27    .045 0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 250 110   3400 2300 .50  0     false(unreach-call) 1 wit inspect 15    7.8  560 0   0   false(unreach-call) 1 --- inspect 23     13     1200   .62 0     false(unreach-call) 1 --- inspect 9.3  5.0  350 0   0     error (2) 0 --- inspect 1.1    1.0    31    .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 180 84   3000 1600 .70  0     false(unreach-call) 1 wit inspect 16    8.1  600 0   0   false(unreach-call) 1 --- inspect 44     27     3400   .62 0     false(unreach-call) 1 --- inspect 9.5  5.1  410 0   0     error (2) 0 --- inspect 1.3    1.4    36    .070 0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 240 100   3400 1800 .46  0     false(unreach-call) 1 wit inspect 13    6.8  550 0   0   false(unreach-call) 1 --- inspect 31     18     1700   .62 0     false(unreach-call) 1 --- inspect 11    5.6  330 0   0     error (2) 0 --- inspect 1.0    1.0    31    .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 34 8.4 1400 250 .25  0     false(unreach-call) 1 wit inspect 9.2  4.9  310 0   0   true -32 --- inspect 9.4   5.2   310   .66 0     false(unreach-call) 1 --- inspect 6.1  3.3  300 0   0     false(unreach-call) 1 --- inspect .74   .74   23    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 22 6.1 1200 160 .12  0     false(unreach-call) 1 wit inspect 8.8  4.6  320 0   0   false(unreach-call) 1 --- inspect 39     25     750   .62 0     unknown 0 --- inspect 5.8  3.2  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 20 5.2 1200 140 0     0     false(unreach-call) 1 wit inspect 7.4  4.0  280 0   0   false(unreach-call) 1 --- inspect 46     32     790   .62 0     false(unreach-call) 1 --- inspect 5.8  3.2  290 0   0     false(unreach-call) 1 --- inspect .81   .81   22    .17  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 22 5.6 1200 180 .094 0     false(unreach-call) 1 wit inspect 7.7  4.1  320 0   0   false(unreach-call) 1 --- inspect 20     11     530   .62 0     false(unreach-call) 1 --- inspect 6.8  3.7  290 0   0     false(unreach-call) 1 --- inspect .78   .78   22    .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 29 7.0 1300 210 .15  0     false(unreach-call) 1 wit inspect 8.0  4.3  300 0   0   timeout 0 --- inspect 96     76     1200   1.7  0     false(unreach-call) 1 --- inspect 5.8  3.2  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 31 7.3 1300 190 .15  0     false(unreach-call) 1 wit inspect 8.0  4.2  320 0   0   timeout 0 --- inspect 97     73     1400   1.6  0     false(unreach-call) 1 --- inspect 8.1  4.4  300 0   0     false(unreach-call) 1 --- inspect .82   .81   24    .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 28 6.8 1300 210 .14  0     false(unreach-call) 1 wit inspect 9.4  5.0  320 0   0   timeout 0 --- inspect 97     73     1200   .77 0     false(unreach-call) 1 --- inspect 6.2  3.4  300 0   0     false(unreach-call) 1 --- inspect .81   .80   24    .17  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 30 7.1 1300 220 .15  0     false(unreach-call) 1 wit inspect 7.4  3.9  290 0   0   false(unreach-call) 1 --- inspect 51     33     1000   .62 0     false(unreach-call) 1 --- inspect 6.0  3.3  300 0   0     false(unreach-call) 1 --- inspect .81   .81   24    .16  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 930 440   5200 9900 0     0     timeout 0 --- inspect 97    84    2100 0   0   timeout 0 --- inspect 96     62     3800   1.5  0     unknown 0 --- inspect 1.4  .83 65 0   0     error (1) 0 --- inspect .11   .11   13    0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 48 13   1500 340 .29  0     false(unreach-call) 1 wit inspect 9.8  5.2  370 0   0   true -32 --- inspect 12     7.0   370   .66 0     false(unreach-call) 1 --- inspect 7.4  4.0  320 0   0     false(unreach-call) 1 --- inspect 1.0    1.1    27    .27  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 50 12   1600 400 .31  0     false(unreach-call) 1 wit inspect 11    5.6  410 0   0   true -32 --- inspect 13     7.3   370   .62 0     false(unreach-call) 1 --- inspect 7.7  4.1  310 0   0     false(unreach-call) 1 --- inspect 1.0    1.1    27    .26  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 33 8.2 1400 250 .25  0     false(unreach-call) 1 wit inspect 10    5.5  360 0   0   true -32 --- inspect 12     6.6   390   .62 0     false(unreach-call) 1 --- inspect 7.5  4.0  320 0   0     false(unreach-call) 1 --- inspect 1.1    1.1    26    .33  .033  - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 36 9.2 1400 300 .25  0     false(unreach-call) 1 wit inspect 10    5.4  370 0   0   true -32 --- inspect 11     6.3   380   .62 0     false(unreach-call) 1 --- inspect 7.6  4.1  310 0   0     false(unreach-call) 1 --- inspect 1.1    1.1    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 52 13   1600 390 .32  0     false(unreach-call) 1 wit inspect 11    5.6  420 0   0   true -32 --- inspect 13     7.6   380   .66 0     false(unreach-call) 1 --- inspect 7.6  4.1  300 0   0     false(unreach-call) 1 --- inspect 1.1    1.1    28    .33  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 51 13   1600 380 .33  0     false(unreach-call) 1 wit inspect 11    6.0  420 0   0   true -32 --- inspect 12     7.0   390   .62 0     false(unreach-call) 1 --- inspect 8.3  4.4  320 0   .098 false(unreach-call) 1 --- inspect 1.1    1.1    28    .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 55 13   2000 460 .31  .025 false(unreach-call) 1 wit inspect 11    5.8  400 0   0   true -32 --- inspect 12     6.6   390   .62 0     false(unreach-call) 1 --- inspect 7.5  4.0  300 0   0     false(unreach-call) 1 --- inspect 1.1    1.1    28    .33  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 56 15   1700 450 .32  0     false(unreach-call) 1 wit inspect 11    5.9  420 0   0   true -32 --- inspect 13     7.1   380   .62 0     false(unreach-call) 1 --- inspect 8.1  4.3  300 0   0     false(unreach-call) 1 --- inspect 1.2    1.2    28    .32  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 960 470   3700 11000 0     0     error (invalid witness file) 0 --- inspect .67 .43 43 0   0   error (invalid witness file) 0 --- inspect 5.6   3.0   270   .65 0     error (invalid witness file) 0 --- inspect .95 .61 49 0   0     error (invalid witness file) 0 --- inspect .0022 .0040 .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 110 39   2300 930 .62  0     false(unreach-call) 1 wit inspect 16    8.5  590 0   0   true -32 --- inspect 15     8.5   470   .62 0     false(unreach-call) 1 --- inspect 10    5.4  540 0   0     false(unreach-call) 1 --- inspect 1.6    1.6    35    .56  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 95 30   2200 850 .61  0     false(unreach-call) 1 wit inspect 14    7.2  570 0   0   true -32 --- inspect 15     8.7   540   .62 0     false(unreach-call) 1 --- inspect 9.5  5.1  520 0   0     false(unreach-call) 1 --- inspect 1.6    1.6    34    .53  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 73 23   2000 580 .51  0     false(unreach-call) 1 wit inspect 14    7.1  570 0   0   true -32 --- inspect 17     9.8   530   .62 0     false(unreach-call) 1 --- inspect 8.9  4.8  370 0   0     false(unreach-call) 1 --- inspect 1.7    1.8    32    .53  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 71 21   1900 540 .51  0     false(unreach-call) 1 wit inspect 15    7.8  550 0   0   true -32 --- inspect 16     9.3   460   .62 0     false(unreach-call) 1 --- inspect 9.0  4.9  370 0   0     false(unreach-call) 1 --- inspect 1.7    1.8    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 91 30   2100 740 .61  0     false(unreach-call) 1 wit inspect 15    7.7  580 0   0   true -32 --- inspect 16     9.1   530   .66 0     false(unreach-call) 1 --- inspect 9.4  5.0  400 0   0     false(unreach-call) 1 --- inspect 1.8    1.8    34    .67  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 92 30   2200 740 .61  0     false(unreach-call) 1 wit inspect 14    7.2  580 0   0   true -32 --- inspect 14     8.3   530   .62 0     false(unreach-call) 1 --- inspect 9.7  5.2  530 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 170 69   2900 1500 .60  0     false(unreach-call) 1 wit inspect 16    8.4  570 0   0   true -32 --- inspect 18     10     460   .62 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 120 44   2500 1000 .61  0     false(unreach-call) 1 wit inspect 16    8.7  570 0   0   true -32 --- inspect 15     9.0   520   .62 0     false(unreach-call) 1 --- inspect 10    5.5  410 0   0     false(unreach-call) 1 --- inspect 1.8    1.8    34    .63  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 920 430   5300 7700 0     0     timeout 0 wit inspect 93    84    860 0   0   timeout 0 --- inspect 98     64     3700   1.3  0     unknown 0 --- inspect 1.3  .79 59 0   0     error (1) 0 --- inspect .13   .13   17    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 26 6.3 1300 190 .13  0     false(unreach-call) 1 wit inspect 7.8  4.1  320 0   0   false(unreach-call) 1 --- inspect 25     15     720   .62 0     false(unreach-call) 1 --- inspect 6.5  3.6  270 0   0     error (2) 0 --- inspect .69   .69   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 31 7.2 1300 200 .13  0     false(unreach-call) 1 wit inspect 7.8  4.1  320 0   0   false(unreach-call) 1 --- inspect 36     21     700   .62 0     false(unreach-call) 1 --- inspect 6.3  3.4  290 0   0     error (2) 0 --- inspect .70   .70   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 27 6.4 1300 210 .12  0     false(unreach-call) 1 wit inspect 7.5  4.0  310 0   0   false(unreach-call) 1 --- inspect 16     8.8   530   .62 0     false(unreach-call) 1 --- inspect 5.6  3.1  270 0   0     error (2) 0 --- inspect .69   .69   23    .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 29 6.8 1300 220 .12  0     false(unreach-call) 1 wit inspect 7.8  4.2  310 0   0   false(unreach-call) 1 --- inspect 15     8.3   470   .62 0     false(unreach-call) 1 --- inspect 6.5  3.6  290 0   0     error (2) 0 --- inspect .70   .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 43 11   1500 350 .21  0     false(unreach-call) 1 wit inspect 9.3  4.9  330 0   0   false(unreach-call) 1 --- inspect 41     26     1100   .62 0     false(unreach-call) 1 --- inspect 6.0  3.3  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 42 9.9 1500 300 .21  0     false(unreach-call) 1 wit inspect 8.7  4.7  310 0   0   timeout 0 --- inspect 98     74     1400   1.8  0     false(unreach-call) 1 --- inspect 7.0  3.7  310 0   0     error (2) 0 --- inspect .76   .75   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 44 10   1500 300 .19  0     false(unreach-call) 1 wit inspect 8.2  4.4  300 0   0   false(unreach-call) 1 --- inspect 17     9.4   640   .66 0     false(unreach-call) 1 --- inspect 6.3  3.4  290 0   0     error (2) 0 --- inspect .78   .77   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 42 10   1500 290 .19  0     false(unreach-call) 1 wit inspect 8.8  4.7  300 0   0   false(unreach-call) 1 --- inspect 30     17     750   .62 0     false(unreach-call) 1 --- inspect 7.4  4.0  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 61 17   1600 470 .30  0     false(unreach-call) 1 wit inspect 9.5  5.1  360 0   0   false(unreach-call) 1 --- inspect 15     8.5   490   .66 0     false(unreach-call) 1 --- inspect 8.1  4.4  360 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 70 22   1800 570 .31  0     false(unreach-call) 1 wit inspect 11    5.6  370 0   0   timeout 0 --- inspect 97     74     2200   .76 .016 false(unreach-call) 1 --- inspect 7.8  4.2  350 0   0     error (2) 0 --- inspect .85   .85   28    .049 .016  - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 63 19   1700 480 .27  0     false(unreach-call) 1 wit inspect 9.9  5.2  350 0   0   false(unreach-call) 1 --- inspect 15     8.4   550   .66 0     false(unreach-call) 1 --- inspect 7.6  4.1  330 0   0     error (2) 0 --- inspect .80   .80   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 62 18   1700 490 .28  0     false(unreach-call) 1 wit inspect 11    5.8  380 0   0   false(unreach-call) 1 --- inspect 28     15     820   .66 0     false(unreach-call) 1 ---