Tool 2LS 0.6.0 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741 CPA-witness2test 1.6.1-svn 26773 CProver witness2test 0.1 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741
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.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB]
Date of execution 2017-11-30 11:20:26 CET 2017-12-01 07:32:03 CET 2017-12-01 08:01:50 CET 2017-12-01 08:11:41 CET 2017-12-01 08:15:34 CET 2017-12-01 04:23:32 CET 2017-12-01 07:36:49 CET
Run set 2ls.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-2ls.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-2ls.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-2ls.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-2ls.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-2ls.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-2ls.sv-comp18-correctness-witness.ReachSafety-Sequentialized
Options --graphml-witness witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/2ls.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -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 --full-output --validate ../../results-verified/2ls.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/2ls.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true --graphml-witness ../../results-verified/2ls.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/2ls.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/2ls.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy
systemc/kundu1_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .12  24 .77 error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .92 49 error (invalid witness file) 0 wit inspect .0013 .27 - wit inspect - wit inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .11  24 .83 error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect .88 51 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .10  23 .80 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .025 4.8 error (invalid witness file) 0 wit inspect .87 50 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .11  23 .67 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
systemc/pipeline_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     950 12000    error (invalid witness file) 0 wit inspect .51 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0015 .30 - wit inspect - wit inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .10  24 .64 error (invalid witness file) 0 wit inspect .56 46 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .93 49 error (invalid witness file) 0 wit inspect .0041 .29 - wit inspect - wit inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .12  24 .87 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
systemc/token_ring.03_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .12  24 .82 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .023 5.0 error (invalid witness file) 0 wit inspect 1.0  47 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
systemc/token_ring.04_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .12  25 .83 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .89 47 error (invalid witness file) 0 wit inspect .0011 .31 - wit inspect - wit inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .12  25 .99 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .13  26 1.1  error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0018 .26 - wit inspect - wit inspect
systemc/token_ring.07_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .12  26 1.1  error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .90 49 error (invalid witness file) 0 wit inspect .0020 .29 - wit inspect - wit inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .16  27 1.2  error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .92 50 error (invalid witness file) 0 wit inspect .0020 .27 - wit inspect - wit inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .15  27 1.1  error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
systemc/token_ring.10_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .18  27 1.2  error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .025 5.0 error (invalid witness file) 0 wit inspect 1.0  47 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .17  27 1.2  error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .86 50 error (invalid witness file) 0 wit inspect .0017 .29 - wit inspect - wit inspect
systemc/token_ring.12_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .16  28 1.6  error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .90 49 error (invalid witness file) 0 wit inspect .0019 .29 - wit inspect - wit inspect
systemc/token_ring.13_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .17  28 1.4  error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0014 .28 - wit inspect - wit inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .15  28 1.8  error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .87 48 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
systemc/token_ring.15_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .18  29 1.4  error (invalid witness file) 0 wit inspect .53 45 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0017 .29 - wit inspect - wit inspect
systemc/toy1_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .13  25 .73 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0019 .27 - wit inspect - wit inspect
systemc/toy2_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .12  24 .79 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0015 .32 - wit inspect - wit inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .11  24 .79 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
systemc/transmitter.02_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .11  24 .94 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .81 47 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
systemc/transmitter.03_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .094 24 .95 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .14  25 .88 error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect 1.2  49 error (invalid witness file) 0 wit inspect .0017 .27 - wit inspect - wit inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .12  25 .85 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0015 .27 - wit inspect - wit inspect
systemc/transmitter.06_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .15  26 .96 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .91 52 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .15  26 .94 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0040 .29 - wit inspect - wit inspect
systemc/transmitter.08_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .14  26 1.1  error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0011 .32 - wit inspect - wit inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .16  26 1.0  error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .87 50 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
systemc/transmitter.10_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .16  27 1.2  error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .85 50 error (invalid witness file) 0 wit inspect .0016 .28 - wit inspect - wit inspect
systemc/transmitter.11_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .17  28 1.1  error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .98 47 error (invalid witness file) 0 wit inspect .0014 .28 - wit inspect - wit inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .16  28 1.7  error (invalid witness file) 0 wit inspect .60 42 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .88 50 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
systemc/transmitter.13_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .19  28 1.3  error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0015 .28 - wit inspect - wit inspect
systemc/transmitter.15_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .20  28 1.3  error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .022 5.0 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0020 .26 - wit inspect - wit inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c error (6) 0 wit inspect .18  29 1.4  error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0014 .27 - wit inspect - wit inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c true 2 wit inspect .66  37 7.0  - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    6900 true 2 wit inspect 79     2900  
systemc/kundu_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .12  24 .65 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .023 4.9
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .13  27 .90 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .048 4.9
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .14  27 .88 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 41 error (2) 0 wit inspect .018 4.8
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .15  27 .78 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .018 4.8
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .13  27 .84 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 44 error (2) 0 wit inspect .025 4.9
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .13  27 .86 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 44 error (2) 0 wit inspect .019 4.9
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .11  23 .64 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .019 4.9
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .12  23 .80 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .042 5.0
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .10  24 .75 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .020 4.9
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     920 9100    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .019 4.8
systemc/token_ring.01_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .12  23 .69 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .052 4.8
systemc/token_ring.02_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .11  24 .88 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .020 4.9
systemc/token_ring.03_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .11  24 .91 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .020 4.9
systemc/token_ring.04_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .12  25 .84 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .019 4.9
systemc/token_ring.05_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .11  25 .99 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .023 4.8
systemc/token_ring.06_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .14  26 1.0  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 42 error (2) 0 wit inspect .018 4.8
systemc/token_ring.07_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .13  26 .90 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 44 error (2) 0 wit inspect .022 4.9
systemc/token_ring.08_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .14  26 .93 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.9
systemc/token_ring.09_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .15  27 1.0  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 42 error (2) 0 wit inspect .024 4.8
systemc/token_ring.10_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .16  27 1.3  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .019 5.0
systemc/token_ring.11_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .15  28 1.2  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 45 error (2) 0 wit inspect .019 4.8
systemc/token_ring.12_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .16  28 1.5  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .021 4.9
systemc/token_ring.13_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .19  28 1.5  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .020 4.9
systemc/toy_true-unreach-call_false-termination.cil.c error (6) 0 wit inspect .11  24 1.0  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 42 error (2) 0 wit inspect .036 4.9
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect .23  27 2.1  false(unreach-call) 1 wit inspect 4.9  270 false(unreach-call) 1 wit inspect 9.7   370   unknown 0 wit inspect 5.4  270 false(unreach-call) 1 wit inspect .97   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .24  27 2.1  false(unreach-call) 1 wit inspect 4.9  270 false(unreach-call) 1 wit inspect 9.8   370   unknown 0 wit inspect 5.0  270 false(unreach-call) 1 wit inspect .82   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect .65  49 7.9  false(unreach-call) 1 wit inspect 6.2  290 false(unreach-call) 1 wit inspect 14     540   unknown 0 wit inspect 5.8  280 false(unreach-call) 1 wit inspect 1.0    21    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .60  48 6.6  true -32 wit inspect 60    2100 false(unreach-call) 1 wit inspect 13     540   unknown 0 wit inspect 8.9  400 false(unreach-call) 1 wit inspect 1.0    20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect .61  49 7.6  false(unreach-call) 1 wit inspect 4.2  290 false(unreach-call) 1 wit inspect 14     530   unknown 0 wit inspect 6.1  280 false(unreach-call) 1 wit inspect .98   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .60  48 7.1  true -32 wit inspect 58    2300 false(unreach-call) 1 wit inspect 14     530   unknown 0 wit inspect 9.7  480 false(unreach-call) 1 wit inspect .82   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 1.4   84 18    timeout 0 wit inspect 93    2600 false(unreach-call) 1 wit inspect 18     900   unknown 0 wit inspect 15    530 false(unreach-call) 1 wit inspect .96   23    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.2   80 17    true -32 wit inspect 26    1800 false(unreach-call) 1 wit inspect 22     900   unknown 0 wit inspect 9.1  420 false(unreach-call) 1 wit inspect .95   23    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 1.6   85 18    true -32 wit inspect 5.1  280 true -32 wit inspect 15     610   unknown 0 wit inspect 6.8  320 true -32 wit inspect .88   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 1.9   85 19    true -32 wit inspect 5.7  280 true -32 wit inspect 14     590   unknown 0 wit inspect 10    440 true -32 wit inspect .79   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 1.5   88 17    true -32 wit inspect 5.7  270 true -32 wit inspect 26     870   unknown 0 wit inspect 12    540 true -32 wit inspect .80   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 1.6   87 22    true -32 wit inspect 5.4  270 true -32 wit inspect 15     590   unknown 0 wit inspect 11    470 true -32 wit inspect .99   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 1.4   62 18    true -32 wit inspect 9.4  430 true -32 wit inspect 6.4   280   unknown 0 wit inspect 5.0  280 false(unreach-call) 1 wit inspect .85   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.1   61 12    true -32 wit inspect 34    1500 true -32 wit inspect 9.0   340   unknown 0 wit inspect 6.1  220 false(unreach-call) 1 wit inspect .84   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .54  38 7.1  true -32 wit inspect 9.4  400 true -32 wit inspect 6.8   280   unknown 0 wit inspect 5.0  280 false(unreach-call) 1 wit inspect .76   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .49  35 4.4  timeout 0 wit inspect 93    2600 true -32 wit inspect 7.4   280   unknown 0 wit inspect 5.2  220 false(unreach-call) 1 wit inspect .83   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 2.0   68 21    true -32 wit inspect 9.1  410 true -32 wit inspect 7.2   290   unknown 0 wit inspect 6.2  270 false(unreach-call) 1 wit inspect .85   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 2.1   69 34    true -32 wit inspect 21    870 true -32 wit inspect 6.6   280   unknown 0 wit inspect 5.8  220 false(unreach-call) 1 wit inspect .77   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 1.4   63 18    true -32 wit inspect 9.1  400 true -32 wit inspect 6.5   280   unknown 0 wit inspect 5.2  270 false(unreach-call) 1 wit inspect .84   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.2   62 13    true -32 wit inspect 52    2000 true -32 wit inspect 8.7   340   unknown 0 wit inspect 5.3  220 false(unreach-call) 1 wit inspect .93   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     3200 10000    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .90 48 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 3.9   140 50    true -32 wit inspect 10    420 true -32 wit inspect 9.3   350   unknown 0 wit inspect 7.6  280 false(unreach-call) 1 wit inspect 1.0    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 3.4   130 39    true -32 wit inspect 13    410 true -32 wit inspect 9.0   390   unknown 0 wit inspect 5.8  280 false(unreach-call) 1 wit inspect 1.3    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 3.3   120 42    true -32 wit inspect 17    610 true -32 wit inspect 8.8   360   unknown 0 wit inspect 5.8  280 false(unreach-call) 1 wit inspect 1.0    21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 2.8   120 36    true -32 wit inspect 56    2300 true -32 wit inspect 6.9   360   unknown 0 wit inspect 7.9  380 false(unreach-call) 1 wit inspect 1.1    21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 67     240 860    true -32 wit inspect 11    410 true -32 wit inspect 11     390   unknown 0 wit inspect 5.7  280 false(unreach-call) 1 wit inspect 1.1    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 90     280 1100    true -32 wit inspect 16    610 true -32 wit inspect 9.1   370   unknown 0 wit inspect 8.5  280 false(unreach-call) 1 wit inspect 1.4    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 4.1   140 56    true -32 wit inspect 17    810 true -32 wit inspect 8.8   370   unknown 0 wit inspect 6.9  300 false(unreach-call) 1 wit inspect 1.2    21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 3.3   130 44    true -32 wit inspect 8.2  280 true -32 wit inspect 8.6   370   unknown 0 wit inspect 6.2  280 false(unreach-call) 1 wit inspect 1.0    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     2600 11000    error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .022 5.0 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 12     300 140    true -32 wit inspect 20    980 true -32 wit inspect 13     450   unknown 0 wit inspect 7.5  310 false(unreach-call) 1 wit inspect 1.5    25    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 11     290 130    true -32 wit inspect 13    460 true -32 wit inspect 11     450   unknown 0 wit inspect 8.2  340 false(unreach-call) 1 wit inspect 1.6    25    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 9.9   270 130    true -32 wit inspect 41    2000 true -32 wit inspect 12     450   unknown 0 wit inspect 9.8  500 false(unreach-call) 1 wit inspect 1.9    24    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 8.5   260 93    timeout 0 wit inspect 97    2900 true -32 wit inspect 14     490   unknown 0 wit inspect 17    670 false(unreach-call) 1 wit inspect 1.7    24    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900     660 11000    error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .83 48 error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     660 11000    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect 1.1  51 error (invalid witness file) 0 wit inspect .0015 .27 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 13     300 150    true -32 wit inspect 48    2000 true -32 wit inspect 12     460   unknown 0 wit inspect 11    480 false(unreach-call) 1 wit inspect 1.5    25    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 12     290 140    true -32 wit inspect 24    1100 true -32 wit inspect 11     470   unknown 0 wit inspect 8.3  330 false(unreach-call) 1 wit inspect 1.7    25    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     560 8600    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .95 49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit 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 .68  37 8.6  false(unreach-call) 1 wit inspect 5.1  280 true -32 wit inspect 6.0   250   unknown 0 wit inspect 5.8  270 false(unreach-call) 1 wit inspect .69   19    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .58  35 6.4  true -32 wit inspect 53    2200 true -32 wit inspect 5.9   250   unknown 0 wit inspect 5.3  220 false(unreach-call) 1 wit inspect .84   20    - wit inspect - wit 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 .65  39 7.7  false(unreach-call) 1 wit inspect 5.2  280 true -32 wit inspect 7.5   260   unknown 0 wit inspect 4.2  220 false(unreach-call) 1 wit inspect .69   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .62  38 8.2  true -32 wit inspect 52    2100 true -32 wit inspect 6.8   250   unknown 0 wit inspect 4.3  220 false(unreach-call) 1 wit inspect .71   20    - wit inspect - wit 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 1.9   56 26    false(unreach-call) 1 wit inspect 6.2  290 true -32 wit inspect 5.9   260   unknown 0 wit inspect 5.2  280 false(unreach-call) 1 wit inspect .77   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.7   53 22    true -32 wit inspect 87    2600 true -32 wit inspect 6.8   260   unknown 0 wit inspect 4.7  230 false(unreach-call) 1 wit inspect .73   20    - wit inspect - wit 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 1.7   57 23    false(unreach-call) 1 wit inspect 7.2  310 true -32 wit inspect 7.2   260   unknown 0 wit inspect 4.9  280 false(unreach-call) 1 wit inspect .83   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.7   54 22    true -32 wit inspect 40    1900 true -32 wit inspect 5.8   270   unknown 0 wit inspect 4.8  230 false(unreach-call) 1 wit inspect .79   20    - wit inspect - wit 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 6.6   92 83    false(unreach-call) 1 wit inspect 7.1  300 true -32 wit inspect 7.9   280   unknown 0 wit inspect 6.1  280 false(unreach-call) 1 wit inspect .81   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 7.0   91 97    timeout 0 wit inspect 93    2700 true -32 wit inspect 6.9   280   unknown 0 wit inspect 7.0  280 false(unreach-call) 1 wit inspect .81   21    - wit inspect - wit 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 9.0   93 110    false(unreach-call) 1 wit inspect 7.0  290 true -32 wit inspect 6.8   280   unknown 0 wit inspect 4.8  280 false(unreach-call) 1 wit inspect .80   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 7.3   93 110    true -32 wit inspect 78    2500 true -32 wit inspect 6.6   270   unknown 0 wit inspect 6.7  280 false(unreach-call) 1 wit inspect .80   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c false(unreach-call) 1 wit inspect 35     180 390    false(unreach-call) 1 wit inspect 8.9  320 true -32 wit inspect 7.8   290   unknown 0 wit inspect 6.1  290 false(unreach-call) 1 wit inspect .86   22    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 43     190 420    timeout 0 wit inspect 93    2700 true -32 wit inspect 7.3   290   unknown 0 wit inspect 5.7  280 false(unreach-call) 1 wit inspect .85   23    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c false(unreach-call) 1 wit inspect 38     180 500    false(unreach-call) 1 wit inspect 8.0  310 true -32 wit inspect 7.2   280   unknown 0 wit inspect 7.6  290 false(unreach-call) 1 wit inspect .99   22    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 38     180 490    timeout 0 wit inspect 94    2700 true -32 wit inspect 6.4   280   unknown 0 wit inspect 6.7  280 false(unreach-call) 1 wit inspect .83   22    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .59  36 6.8  true -32 wit inspect 5.0  270 true -32 wit inspect 6.8   250   unknown 0 wit inspect 4.2  260 false(unreach-call) 1 wit inspect .83   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .53  35 5.7  true -32 wit inspect 4.8  270 true -32 wit inspect 7.2   260   unknown 0 wit inspect 4.6  220 false(unreach-call) 1 wit inspect .89   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     2500 11000    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 1.1   52 15    false(unreach-call) 1 wit inspect 6.6  310 true -32 wit inspect 7.8   320   unknown 0 wit inspect 5.2  270 false(unreach-call) 1 wit inspect .86   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.0   45 12    true -32 wit inspect 5.7  280 true -32 wit inspect 5.7   250   unknown 0 wit inspect 5.9  230 false(unreach-call) 1 wit inspect .74   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     2100 10000    error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .71 49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 2.1   71 25    false(unreach-call) 1 wit inspect 7.4  300 true -32 wit inspect 7.9   330   unknown 0 wit inspect 5.7  280 false(unreach-call) 1 wit inspect .80   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 2.3   76 32    true -32 wit inspect 6.1  270 true -32 wit inspect 6.4   260   unknown 0 wit inspect 5.1  220 false(unreach-call) 1 wit inspect .98   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     1300 10000    error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .96 49 error (invalid witness file) 0 wit inspect .0037 .34 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c false(unreach-call) 1 wit inspect 4.5   97 58    false(unreach-call) 1 wit inspect 8.5  320 true -32 wit inspect 8.6   280   unknown 0 wit inspect 6.9  290 false(unreach-call) 1 wit inspect .99   23    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 3.9   87 48    true -32 wit inspect 6.6  280 true -32 wit inspect 6.6   280   unknown 0 wit inspect 6.6  290 false(unreach-call) 1 wit inspect .89   22    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     380 10000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect 1.1  51 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c false(unreach-call) 1 wit inspect 10     150 130    true -32 wit inspect 6.0  320 true -32 wit inspect 8.4   290   unknown 0 wit inspect 8.2  320 false(unreach-call) 1 wit inspect .91   24    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 9.1   120 140    true -32 wit inspect 7.1  320 true -32 wit inspect 6.5   280   unknown 0 wit inspect 6.4  320 false(unreach-call) 1 wit inspect .91   23    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900     380 13000    error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .84 50 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals_true-termination.c false(unreach-call) 1 wit inspect 18     170 220    true -32 wit inspect 7.0  330 true -32 wit inspect 9.3   300   unknown 0 wit inspect 7.5  330 false(unreach-call) 1 wit inspect .99   25    - wit