Tool CBMC Path 5.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-04 22:45:10 CET 2018-12-06 08:53:36 CET 2018-12-06 10:12:52 CET 2018-12-06 10:22:39 CET 2018-12-12 19:23:37 CET 2018-12-06 07:24:45 CET 2018-12-06 09:28:06 CET
Run set cbmc-path.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-cbmc-path.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-cbmc-path.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-cbmc-path.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-cbmc-path.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-cbmc-path.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-cbmc-path.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized
Options --graphml-witness witness.graphml -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/cbmc-path.2018-12-04_2245.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/cbmc-path.2018-12-04_2245.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/cbmc-path.2018-12-04_2245.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/cbmc-path.2018-12-04_2245.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -witness ../../results-verified/cbmc-path.2018-12-04_2245.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/cbmc-path.2018-12-04_2245.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 0 130     130     15000   1500    360      0      0 .60 .36 41 0   0   0 .024 .025 5.7 0    0   0 .94 .60 47 0   0     0 .0054 .0067 .54 0     0      - -
systemc/kundu2_false-unreach-call_false-termination.cil.c 1 .19  .18  14   1.8  .0082 0      -32 12    6.4  450 0   0   1 13     7.4   460   .62 0   1 5.8  3.2  280 0   .16  1 .69   .69   21    .12  0      - -
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c 1 .075 .067 9.8 .77 .0082 0      1 4.9  2.7  250 0   0   -32 8.2   5.0   300   .62 0   0 5.2  3.0  250 0   0     1 .61   .61   20    .086 .0082 - -
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c 1 .088 .077 9.3 .62 .0082 0      1 5.6  3.0  260 0   0   -32 7.8   4.4   310   .62 0   0 4.4  2.5  250 0   0     1 .63   .63   21    .098 0      - -
systemc/pipeline_false-unreach-call_false-termination.cil.c 0 86     86     15000   1000    .033  0      0 .65 .40 42 0   0   0 .022 .023 5.7 0    0   0 .94 .61 48 0   0     0 .0045 .0057 .54 0     0      - -
systemc/token_ring.01_false-unreach-call_false-termination.cil.c 0 100     100     15000   1200    220      .0041 0 .75 .46 40 0   0   0 .026 .028 5.6 0    0   0 .98 .64 48 0   0     0 .0029 .0040 .53 0     0      - -
systemc/token_ring.02_false-unreach-call_false-termination.cil.c 0 110     110     15000   1600    170      0      0 .91 .54 41 0   0   0 .024 .024 5.6 0    0   0 1.0  .66 49 0   0     0 .0056 .0068 .53 0     0      - -
systemc/token_ring.03_false-unreach-call_false-termination.cil.c 0 120     120     15000   1500    130      .0041 0 .58 .36 41 0   0   0 .028 .028 5.7 0    0   0 .95 .61 47 0   0     0 .0055 .0076 .53 0     0      - -
systemc/token_ring.04_false-unreach-call_false-termination.cil.c 0 190     190     15000   2300    58      .0041 0 .64 .40 40 0   0   0 .022 .022 5.6 0    0   0 .94 .61 47 0   0     0 .0048 .0062 .53 0     0      - -
systemc/token_ring.05_false-unreach-call_false-termination.cil.c 0 480     480     15000   6100    32      0      0 .73 .44 42 0   0   0 .022 .022 5.6 0    0   0 .96 .63 47 0   0     0 .0045 .0057 .53 0     0      - -
systemc/token_ring.06_false-unreach-call_false-termination.cil.c 0 230     230     15000   2900    1.3    0      0 .62 .38 40 0   0   0 .026 .026 5.6 0    0   0 1.1  .71 47 0   0     0 .0069 .0086 .52 0     0      - -
systemc/token_ring.07_false-unreach-call_false-termination.cil.c 0 160     160     15000   2400    .025  0      0 .65 .41 41 0   0   0 .022 .024 5.6 0    0   0 .94 .62 47 0   0     0 .0048 .0058 .53 0     0      - -
systemc/token_ring.08_false-unreach-call_false-termination.cil.c 0 120     120     15000   2000    .033  0      0 .74 .45 40 0   0   0 .021 .021 5.6 0    0   0 .93 .61 47 0   0     0 .0017 .0021 .53 0     0      - -
systemc/token_ring.09_false-unreach-call_false-termination.cil.c 0 98     98     15000   1200    .033  0      0 .71 .44 41 0   0   0 .021 .021 5.6 0    0   0 .93 .60 47 0   0     0 .0024 .0030 .52 0     0      - -
systemc/token_ring.10_false-unreach-call_false-termination.cil.c 0 86     86     15000   1000    .033  0      0 .61 .39 42 0   0   0 .026 .027 5.7 0    0   0 1.0  .68 48 0   0     0 .0053 .0068 .53 0     0      - -
systemc/token_ring.11_false-unreach-call_false-termination.cil.c 0 88     87     15000   1100    .033  0      0 .67 .42 42 0   0   0 .024 .026 5.6 0    0   0 .96 .61 48 0   0     0 .0056 .0072 .52 0     0      - -
systemc/token_ring.12_false-unreach-call_false-termination.cil.c 0 94     94     15000   1400    .033  0      0 .82 .50 42 0   0   0 .021 .022 5.6 0    0   0 1.0  .66 47 0   0     0 .0017 .0036 .48 0     0      - -
systemc/token_ring.13_false-unreach-call_false-termination.cil.c 0 90     90     15000   1100    .033  0      0 .69 .42 41 0   0   0 .023 .024 5.6 0    0   0 .92 .61 47 0   0     0 .0020 .0026 .53 0     0      - -
systemc/token_ring.14_false-unreach-call_false-termination.cil.c 0 94     94     15000   1100    .033  0      0 .65 .40 41 0   0   0 .022 .023 5.6 0    0   0 .93 .59 47 0   0     0 .0018 .0023 .53 0     0      - -
systemc/token_ring.15_false-unreach-call_false-termination.cil.c 0 91     90     15000   1000    .033  0      0 .77 .47 42 0   0   0 .020 .021 5.7 0    0   0 .95 .62 47 0   0     0 .0017 .0025 .53 0     0      - -
systemc/toy1_false-unreach-call_false-termination.cil.c 1 9.2   9.2   290   100    .38   0      -32 5.5  3.0  260 0   0   1 50     29     830   .62 0   1 6.8  3.7  290 0   .082 1 .66   .66   21    .10  0      - -
systemc/toy2_false-unreach-call_false-termination.cil.c 1 9.3   9.3   290   140    .38   0      -32 6.0  3.2  260 0   0   1 40     22     800   .66 0   1 6.7  3.6  290 0   .27  1 .67   .68   21    .098 .012  - -
systemc/transmitter.01_false-unreach-call_false-termination.cil.c 0 160     160     15000   2300    12      0      0 .62 .38 42 0   0   0 .026 .027 5.5 0    0   0 .97 .62 47 0   0     0 .0021 .0027 .53 0     0      - -
systemc/transmitter.02_false-unreach-call_false-termination.cil.c 0 130     130     15000   1900    47      .0041 0 .57 .35 40 0   0   0 .022 .023 5.6 0    0   0 .96 .62 47 0   0     0 .0020 .0022 .41 0     0      - -
systemc/transmitter.03_false-unreach-call_false-termination.cil.c 0 130     130     15000   1800    80      .0041 0 .77 .46 43 0   0   0 .026 .028 5.7 0    0   0 1.0  .66 48 0   0     0 .0033 .0041 .54 0     0      - -
systemc/transmitter.04_false-unreach-call_false-termination.cil.c 0 150     150     15000   1900    68      0      0 .70 .43 40 0   0   0 .021 .022 5.7 0    0   0 .93 .60 47 0   0     0 .0054 .0081 .53 0     0      - -
systemc/transmitter.05_false-unreach-call_false-termination.cil.c 0 390     390     15000   5300    150      0      0 .58 .36 40 0   0   0 .021 .022 5.6 0    0   0 .92 .60 47 0   0     0 .0022 .0036 .53 0     0      - -
systemc/transmitter.06_false-unreach-call_false-termination.cil.c 0 240     240     15000   3400    28      0      0 .74 .44 40 0   0   0 .021 .022 5.6 0    0   0 .99 .64 47 0   0     0 .0046 .0058 .54 0     0      - -
systemc/transmitter.07_false-unreach-call_false-termination.cil.c 0 170     170     15000   2400    .025  0      0 .59 .37 40 0   0   0 .024 .025 5.6 0    0   0 .90 .60 47 0   0     0 .0066 .013  .43 0     0      - -
systemc/transmitter.08_false-unreach-call_false-termination.cil.c 0 130     130     15000   1900    .033  0      0 .69 .42 41 0   0   0 .021 .021 5.6 0    0   0 .91 .60 47 0   0     0 .0043 .0049 .41 0     0      - -
systemc/transmitter.09_false-unreach-call_false-termination.cil.c 0 99     98     15000   1300    .033  0      0 .59 .37 41 0   0   0 .020 .021 5.7 0    0   0 .95 .61 47 0   0     0 .0050 .0061 .54 0     0      - -
systemc/transmitter.10_false-unreach-call_false-termination.cil.c 0 85     85     15000   1100    .033  0      0 .60 .36 40 0   0   0 .026 .027 5.6 0    0   0 .94 .61 47 0   0     0 .0046 .0058 .53 0     0      - -
systemc/transmitter.11_false-unreach-call_false-termination.cil.c 0 86     86     15000   980    .033  0      0 .77 .47 41 0   0   0 .022 .023 5.6 0    0   0 .98 .64 47 0   0     0 .0067 .0084 .53 0     0      - -
systemc/transmitter.12_false-unreach-call_false-termination.cil.c 0 92     91     15000   1300    .033  0      0 .73 .44 41 0   0   0 .026 .027 5.6 0    0   0 .95 .62 48 0   0     0 .0055 .0070 .54 0     0      - -
systemc/transmitter.13_false-unreach-call_false-termination.cil.c 0 90     89     15000   1000    .033  0      0 .73 .45 42 0   0   0 .024 .026 5.7 0    0   0 .93 .61 47 0   0     0 .0053 .0075 .40 0     0      - -
systemc/transmitter.15_false-unreach-call_false-termination.cil.c 1 .13  .13  12   1.3  .057  0      1 7.1  3.8  280 0   0   -32 11     6.6   340   .66 0   1 6.4  3.5  280 0   .25  1 .80   .80   21    .22  0      - -
systemc/transmitter.16_false-unreach-call_false-termination.cil.c 1 .14  .14  12   1.5  .061  0      1 7.6  4.1  270 0   0   -32 11     6.1   350   .66 0   1 6.4  3.6  280 0   .25  1 .81   .81   21    .24  0      - -
systemc/bist_cell_true-unreach-call_false-termination.cil.c 0 880     880     360   8700    .77   0      - - - - 0 .58 .35 41 0   0   0 .021 .022 5.6 0   0  
systemc/kundu_true-unreach-call_false-termination.cil.c 0 93     93     15000   1300    .033  0      - - - - 0 .68 .42 40 0   0   0 .026 .027 5.6 0   0  
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c 0 300     300     15000   4100    .025  0      - - - - 0 .85 .51 42 0   0   0 .025 .026 5.5 0   0  
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c 0 94     94     15000   1400    .033  .0041 - - - - 0 .72 .45 40 0   0   0 .020 .021 5.6 0   0  
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c 0 84     84     15000   1100    .029  .0041 - - - - 0 .76 .46 40 0   0   0 .020 .021 5.6 0   0  
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c 0 85     84     15000   930    .033  0      - - - - 0 .71 .44 41 0   0   0 .026 .027 5.6 0   0  
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c 0 84     84     15000   1200    .033  0      - - - - 0 .73 .45 40 0   0   0 .027 .027 5.6 0   0  
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c 0 110     110     15000   1400    270      .0041 - - - - 0 .69 .41 41 0   0   0 .021 .021 5.6 0   0  
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c 0 140     140     15000   1800    430      0      - - - - 0 .65 .40 41 0   0   0 .024 .025 5.6 0   0  
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c 0 400     400     15000   5000    .025  0      - - - - 0 .75 .46 41 0   0   0 .022 .022 5.6 0   0  
systemc/pipeline_true-unreach-call_false-termination.cil.c 0 87     86     15000   1100    .033  .0041 - - - - 0 .58 .36 40 0   0   0 .026 .027 5.6 0   0  
systemc/token_ring.01_true-unreach-call_false-termination.cil.c 0 110     110     15000   1400    240      .0041 - - - - 0 .76 .46 40 0   0   0 .021 .022 5.7 0   0  
systemc/token_ring.02_true-unreach-call_false-termination.cil.c 0 110     110     15000   1500    170      .0041 - - - - 0 .76 .47 40 0   0   0 .026 .027 5.6 0   0  
systemc/token_ring.03_true-unreach-call_false-termination.cil.c 0 120     120     15000   1700    130      0      - - - - 0 .61 .37 40 0   0   0 .026 .027 5.6 0   0  
systemc/token_ring.04_true-unreach-call_false-termination.cil.c 0 160     160     15000   2100    47      .0041 - - - - 0 .66 .41 40 0   0   0 .021 .022 5.6 0   0  
systemc/token_ring.05_true-unreach-call_false-termination.cil.c 0 410     410     15000   4400    9.5    0      - - - - 0 .59 .36 41 0   0   0 .022 .022 5.6 0   0  
systemc/token_ring.06_true-unreach-call_false-termination.cil.c 0 230     230     15000   2600    1.3    .0041 - - - - 0 .76 .46 41 0   0   0 .022 .023 5.6 0   0  
systemc/token_ring.07_true-unreach-call_false-termination.cil.c 0 160     160     15000   2100    .025  0      - - - - 0 .59 .35 41 0   0   0 .021 .023 5.6 0   0  
systemc/token_ring.08_true-unreach-call_false-termination.cil.c 0 120     120     15000   1800    .033  .0041 - - - - 0 .80 .48 41 0   0   0 .027 .027 5.6 0   0  
systemc/token_ring.09_true-unreach-call_false-termination.cil.c 0 98     98     15000   1500    .033  .0041 - - - - 0 .76 .46 42 0   0   0 .026 .027 5.7 0   0  
systemc/token_ring.10_true-unreach-call_false-termination.cil.c 0 86     85     15000   1300    .033  0      - - - - 0 .75 .47 40 0   0   0 .027 .027 5.6 0   0  
systemc/token_ring.11_true-unreach-call_false-termination.cil.c 0 87     87     15000   1100    .033  0      - - - - 0 .68 .41 40 0   0   0 .025 .026 5.5 0   0  
systemc/token_ring.12_true-unreach-call_false-termination.cil.c 0 94     93     15000   1100    .033  .0041 - - - - 0 .59 .37 41 0   0   0 .020 .021 5.6 0   0  
systemc/token_ring.13_true-unreach-call_false-termination.cil.c 0 90     89     15000   1300    .033  .0041 - - - - 0 .76 .47 41 0   0   0 .025 .026 5.6 0   0  
systemc/toy_true-unreach-call_false-termination.cil.c 0 91     91     15000   1200    .033  0      - - - - 0 .59 .41 41 0   0   0 .027 .029 5.6 0   0  
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c 0 100     100     15000   1400    86      0      0 .68 .41 42 0   0   0 .021 .022 5.7 0    0   0 .96 .62 47 0   0     0 .0042 .0048 .39 0     0      - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 100     100     15000   1400    86      0      0 .75 .47 42 0   0   0 .027 .027 5.6 0    0   0 .98 .64 47 0   0     0 .0058 .0069 .52 0     0      - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c 0 100     100     15000   1500    89      0      0 .65 .40 40 0   0   0 .020 .021 5.6 0    0   0 .95 .61 47 0   0     0 .0052 .0066 .53 0     0      - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c 0 100     100     15000   1300    89      .0041 0 .68 .41 40 0   0   0 .022 .023 5.6 0    0   0 .99 .64 47 0   0     0 .0016 .0020 .52 0     0      - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c 0 100     100     15000   1400    86      .0041 0 .76 .46 42 0   0   0 .021 .022 5.6 0    0   0 .97 .66 47 0   0     0 .0045 .0058 .53 0     0      - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c 0 100     100     15000   1300    85      0      0 .60 .37 40 0   0   0 .028 .028 5.6 0    0   0 .94 .61 47 0   0     0 .0016 .0021 .53 0     0      - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c 0 100     100     15000   1300    86      0      0 .73 .45 42 0   0   0 .023 .025 5.6 0    0   0 .97 .64 48 0   0     0 .0018 .0024 .52 0     0      - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c 0 100     100     15000   1300    85      .0041 0 .81 .50 42 0   0   0 .027 .027 5.6 0    0   0 .96 .62 47 0   0     0 .0064 .0082 .52 0     0      - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 0 110     110     15000   1400    140      .0041 0 .80 .48 41 0   0   0 .027 .027 5.5 0    0   0 1.0  .67 48 0   0     0 .0057 .0097 .53 0     0      - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 110     110     15000   1400    130      .0041 0 .66 .43 41 0   0   0 .020 .021 5.6 0    0   0 .91 .60 46 0   0     0 .0050 .0062 .53 0     0      - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 0 110     110     15000   1600    140      .0041 0 .75 .46 41 0   0   0 .021 .021 5.6 0    0   0 .98 .63 47 0   0     0 .0047 .0058 .40 0     0      - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 110     110     15000   1500    130      0      0 .76 .47 41 0   0   0 .021 .022 5.6 0    0   0 1.0  .66 47 0   0     0 .0061 .0089 .54 0     0      - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 0 97     97     15000   1400    .36   0      0 .63 .39 40 0   0   0 .021 .023 5.6 0    0   0 .93 .60 47 0   0     0 .0018 .0022 .52 0     0      - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 97     97     15000   1200    .33   0      0 .60 .36 41 0   0   0 .025 .028 5.6 0    0   0 .94 .61 47 0   0     0 .0018 .0024 .54 0     0      - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 0 96     96     15000   1100    .36   0      0 .85 .52 41 0   0   0 .022 .023 5.6 0    0   0 .95 .62 47 0   0     0 .0064 .0083 .52 0     0      - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 95     95     15000   1200    .33   0      0 .60 .38 40 0   0   0 .026 .027 5.8 0    0   0 .98 .63 47 0   0     0 .0029 .0047 .54 0     0      - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c 0 96     96     15000   1100    .37   .0041 0 .79 .48 41 0   0   0 .026 .027 5.6 0    0   0 .95 .61 47 0   0     0 .0016 .0021 .52 0     0      - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c 0 96     96     15000   1100    .34   0      0 .57 .36 41 0   0   0 .021 .022 5.6 0    0   0 1.0  .66 47 0   0     0 .0049 .0064 .53 0     0      - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c 0 97     96     15000   1100    .37   0      0 .59 .38 41 0   0   0 .022 .023 5.6 0    0   0 1.0  .67 47 0   0     0 .0045 .0055 .53 0     0      - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c 0 96     96     15000   1200    .33   0      0 .70 .43 40 0   0   0 .020 .020 5.6 0    0   0 .91 .59 47 0   0     0 .0052 .0063 .53 0     0      - -
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 95     95     15000   1300    .36   .0041 0 .61 .39 41 0   0   0 .025 .026 5.6 0    0   0 .99 .64 48 0   0     0 .0047 .0059 .53 0     0      - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 0 87     86     15000   1300    .033  0      0 .62 .37 41 0   0   0 .021 .022 5.6 0    0   0 1.0  .68 48 0   0     0 .0018 .0024 .52 0     0      - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 86     86     15000   1000    .033  0      0 .64 .39 41 0   0   0 .021 .022 5.6 0    0   0 .93 .61 47 0   0     0 .0061 .0088 .53 0     0      - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 0 86     85     15000   1300    .033  0      0 .77 .48 41 0   0   0 .025 .026 5.6 0    0   0 1.0  .66 48 0   0     0 .0058 .0075 .52 0     0      - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 86     86     15000   1100    .033  0      0 .73 .45 40 0   0   0 .021 .021 5.6 0    0   0 1.0  .63 47 0   0     0 .0032 .0041 .53 0     0      - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c 0 86     86     15000   1000    .033  0      0 .79 .47 42 0   0   0 .022 .023 5.6 0    0   0 .99 .66 48 0   0     0 .0052 .0067 .52 0     0      - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c 0 86     85     15000   1300    .033  0      0 .74 .45 41 0   0   0 .028 .029 5.6 0    0   0 1.0  .69 47 0   0     0 .0020 .0025 .53 0     0      - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c 0 87     86     15000   1000    .033  0      0 .73 .44 41 0   0   0 .022 .023 5.6 0    0   0 .95 .61 47 0   0     0 .0043 .0055 .52 0     0      - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c 0 89     89     15000   1100    .033  0      0 .61 .37 40 0   0   0 .021 .021 5.7 0    0   0 .93 .60 46 0   0     0 .0061 .0083 .53 0     0      - -
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 86     86     15000   1000    .033  0      0 .74 .44 41 0   0   0 .022 .023 5.6 0    0   0 .94 .62 47 0   0     0 .0037 .0054 .50 0     0      - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 0 110     110     15000   940    .033  0      0 .67 .42 40 0   0   0 .021 .021 5.6 0    0   0 .92 .61 46 0   0     0 .0028 .0036 .53 0     0      - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 110     110     15000   920    .029  0      0 .61 .38 42 0   0   0 .024 .025 5.6 0    0   0 .93 .62 46 0   0     0 .0034 .0063 .54 0     0      - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 0 110     110     15000   920    .033  0      0 .76 .47 40 0   0   0 .021 .021 5.6 0    0   0 .95 .63 47 0   0     0 .0055 .0067 .53 0     0      - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 110     110     15000   1200    .033  .0041 0 .74 .45 40 0   0   0 .021 .022 5.8 0    0   0 .93 .61 47 0   0     0 .0060 .0078 .53 0     0      - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c 0 110     110     15000   800    .033  0      0 .63 .39 41 0   0   0 .021 .021 5.6 0    0   0 .96 .61 47 0   0     0 .0022 .0029 .53 0     0      - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c 0 110     110     15000   820    .033  0      0 .68 .42 41 0   0   0 .021 .022 5.6 0    0   0 .95 .61 46 0   0     0 .0018 .0023 .52 0     0      - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c 0 110     110     15000   700    .033  0      0 .74 .45 40 0   0   0 .021 .022 5.6 0    0   0 .93 .61 46 0   0     0 .0032 .0042 .54 0     0      - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c 0 110     110     15000   880    .033  0      0 .58 .36 40 0   0   0 .021 .022 5.7 0    0   0 1.0  .66 48 0   0     0 .0022 .0029 .54 0     0      - -
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 110     110     15000   860    .029  .0041 0 .61 .37 40 0   0   0 .021 .022 5.7 0    0   0 .96 .62 47 0   0     0 .0030 .0039 .52 0     0      - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 0 870     880     13000   10000    4100      .0041 0 .73 .45 40 0   0   0 .021 .022 5.7 0    0   0 1.1  .67 49 0   0     0 .0063 .0082 .53 0     0      - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 490     490     15000   7300    2300      0      0 .64 .40 40 0   0   0 .022 .023 5.6 0    0   0 .96 .61 48 0   0     0 .0026 .0033 .54 0     0      - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 0 870     880     7900   10000    4000      .0082 0 .64 .39 41 0   0   0 .027 .027 5.6 0    0   0 .98 .64 49 0   0     0 .0056 .0073 .53 0     0      - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 870     880     13000   11000    4300      .0082 0 .78 .48 41 0   0   0 .025 .025 5.6 0    0   0 1.1  .70 47 0   0     0 .0057 .0068 .53 0     0      - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 0 180     180     15000   2500    620      0      0 .65 .41 40 0   0   0 .021 .021 5.6 0    0   0 .94 .61 46 0   0     0 .0054 .0070 .52 0     0      - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 160     160     15000   2400    470      0      0 .77 .48 41 0   0   0 .021 .022 5.6 0    0   0 .91 .59 47 0   0     0 .0056 .0070 .53 0     0      - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 0 220     220     15000   2700    870      .0041 0 .60 .37 40 0   0   0 .026 .026 5.6 0    0   0 .95 .62 47 0   0     0 .0017 .0022 .41 0     0      - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 180     180     15000   2500    630      0      0 .74 .45 41 0   0   0 .022 .023 5.6 0    0   0 1.0  .64 48 0   0     0 .0046 .0059 .54 0     0      - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 0 120     120     15000   1800    240      0      0 .71 .44 41 0   0   0 .023 .024 5.6 0    0   0 .92 .60 47 0   0     0 .0055 .0070 .53 0     0      - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 110     110     15000   1400    210      0      0 .75 .47 41 0   0   0 .023 .023 5.6 0    0   0 1.0  .64 48 0   0     0 .0049 .0062 .53 0     0      - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 0 120     120     15000   1700    270      0      0 .64 .39 41 0   0   0 .021 .022 5.6 0    0   0 .91 .60 47 0   0     0 .0055 .0076 .52 0     0      - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 120     120     15000   1400    220      .0041 0 .67 .42 41 0   0   0 .021 .021 5.6 0    0   0 .91 .60 47 0   0     0 .0014 .0016 .40 0     0      - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c 0 120     120     15000   1600    240      0      0 .73 .44 43 0   0   0 .021 .022 5.6 0    0   0 .94 .61 46 0   0     0 .0050 .0063 .52 0     0      - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 120     110     15000   1800    250      0      0 .59 .39 41 0   0   0 .022 .023 5.6 0    0   0 .96 .62 47 0   0     0 .0054 .0064 .54 0     0      - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c 0 120     120     15000   1700    240      .0041 0 .68 .43 40 0   0   0 .026 .027 5.6 0    0   0 .92 .59 47 0   0     0 .0015 .0020 .53 0     0      - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 120     120     15000   1300    250      .0041 0 .79 .48 40 0   0   0