Tool ESBMC ESBMC version 4.6.0 64-bit x86_64 linux 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* [apollon073; apollon077; apollon078; apollon119; apollon130] apollon* [apollon077; apollon078; apollon091; apollon114] 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] CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [4; 8], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33554 MB; 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-12-01 12:59:33 CET 2017-12-02 09:20:19 CET 2017-12-02 10:53:45 CET 2017-12-02 11:06:16 CET 2017-12-02 11:21:21 CET 2017-12-02 06:57:43 CET 2017-12-02 09:56:59 CET
Run set esbmc-kind.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-esbmc-kind.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-esbmc-kind.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-esbmc-kind.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-esbmc-kind.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-esbmc-kind.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-esbmc-kind.sv-comp18-correctness-witness.ReachSafety-Sequentialized
Options -s kinduction -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/esbmc-kind.2017-12-01_1259.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/esbmc-kind.2017-12-01_1259.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/esbmc-kind.2017-12-01_1259.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/esbmc-kind.2017-12-01_1259.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/esbmc-kind.2017-12-01_1259.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/esbmc-kind.2017-12-01_1259.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 false(unreach-call) 1 wit inspect 2.1  32 18   true -32 wit inspect 9.1  440 true -32 wit inspect 5.7   250   unknown 0 wit inspect 2.6  220 false(unreach-call) 1 wit inspect .61   19    - wit inspect - wit inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.1  30 7.4 true -32 wit inspect 17    430 true -32 wit inspect 4.1   250   unknown 0 wit inspect 2.7  210 false(unreach-call) 1 wit inspect .62   18    - wit inspect - wit inspect
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .14 29 1.5 false(unreach-call) 1 wit inspect 4.4  270 true -32 wit inspect 5.2   240   unknown 0 wit inspect 3.1  210 false(unreach-call) 1 wit inspect .59   18    - wit inspect - wit inspect
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .17 29 1.7 false(unreach-call) 1 wit inspect 2.5  270 true -32 wit inspect 5.3   240   unknown 0 wit inspect 2.2  210 false(unreach-call) 1 wit inspect .60   18    - wit inspect - wit inspect
systemc/pipeline_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 13    220 110   false(unreach-call) 1 wit inspect 9.2  320 true -32 wit inspect 6.3   280   unknown 0 wit inspect 11    500 false(unreach-call) 1 wit inspect .67   19    - wit inspect - wit inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.3  33 16   false(unreach-call) 1 wit inspect 4.9  270 true -32 wit inspect 3.9   240   unknown 0 wit inspect 3.5  220 false(unreach-call) 1 wit inspect .62   18    - wit inspect - wit inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 2.1  38 18   false(unreach-call) 1 wit inspect 5.1  270 true -32 wit inspect 6.2   250   unknown 0 wit inspect 2.7  220 false(unreach-call) 1 wit inspect .61   18    - wit inspect - wit inspect
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 2.5  47 25   false(unreach-call) 1 wit inspect 5.7  270 true -32 wit inspect 4.4   270   unknown 0 wit inspect 2.8  210 false(unreach-call) 1 wit inspect .66   18    - wit inspect - wit inspect
systemc/token_ring.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 3.6  55 37   false(unreach-call) 1 wit inspect 6.0  280 true -32 wit inspect 7.6   270   unknown 0 wit inspect 3.0  220 false(unreach-call) 1 wit inspect .63   18    - wit inspect - wit inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.2  65 49   false(unreach-call) 1 wit inspect 3.7  290 true -32 wit inspect 4.5   280   unknown 0 wit inspect 3.3  220 false(unreach-call) 1 wit inspect .65   19    - wit inspect - wit inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 6.1  74 60   false(unreach-call) 1 wit inspect 4.2  290 true -32 wit inspect 6.5   280   unknown 0 wit inspect 4.7  230 false(unreach-call) 1 wit inspect .66   19    - wit inspect - wit inspect
systemc/token_ring.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 6.9  88 79   false(unreach-call) 1 wit inspect 4.2  290 true -32 wit inspect 7.2   290   unknown 0 wit inspect 3.9  320 false(unreach-call) 1 wit inspect .67   19    - wit inspect - wit inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 9.4  100 79   false(unreach-call) 1 wit inspect 8.3  300 true -32 wit inspect 5.1   300   unknown 0 wit inspect 5.9  260 false(unreach-call) 1 wit inspect .72   19    - wit inspect - wit inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 8.5  120 98   false(unreach-call) 1 wit inspect 4.5  300 true -32 wit inspect 8.0   310   unknown 0 wit inspect 6.1  320 false(unreach-call) 1 wit inspect .69   19    - wit inspect - wit inspect
systemc/token_ring.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 15    140 140   false(unreach-call) 1 wit inspect 5.9  450 true -32 wit inspect 7.8   310   unknown 0 wit inspect 8.4  400 false(unreach-call) 1 wit inspect .74   20    - wit inspect - wit inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 11    150 120   false(unreach-call) 1 wit inspect 8.3  340 true -32 wit inspect 5.2   320   unknown 0 wit inspect 4.7  320 false(unreach-call) 1 wit inspect .72   19    - wit inspect - wit inspect
systemc/token_ring.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 14    170 120   false(unreach-call) 1 wit inspect 5.3  370 true -32 wit inspect 5.1   320   unknown 0 wit inspect 7.7  350 false(unreach-call) 1 wit inspect .73   19    - wit inspect - wit inspect
systemc/token_ring.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 15    190 160   false(unreach-call) 1 wit inspect 5.6  410 true -32 wit inspect 7.9   340   unknown 0 wit inspect 8.0  380 false(unreach-call) 1 wit inspect .73   19    - wit inspect - wit inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 13    170 160   false(unreach-call) 1 wit inspect 5.7  370 true -32 wit inspect 5.1   330   unknown 0 wit inspect 5.1  350 false(unreach-call) 1 wit inspect .73   19    - wit inspect - wit inspect
systemc/token_ring.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 14    190 140   false(unreach-call) 1 wit inspect 5.6  400 true -32 wit inspect 7.5   340   unknown 0 wit inspect 5.2  380 false(unreach-call) 1 wit inspect .74   19    - wit inspect - wit inspect
systemc/toy1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.7  34 17   false(unreach-call) 1 wit inspect 3.3  280 true -32 wit inspect 6.0   260   unknown 0 wit inspect 2.9  220 false(unreach-call) 1 wit inspect .64   18    - wit inspect - wit inspect
systemc/toy2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.8  34 17   false(unreach-call) 1 wit inspect 4.7  270 true -32 wit inspect 5.9   260   unknown 0 wit inspect 3.1  220 false(unreach-call) 1 wit inspect .65   18    - wit inspect - wit inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .39 29 3.5 false(unreach-call) 1 wit inspect 2.5  270 true -32 wit inspect 5.5   240   unknown 0 wit inspect 3.2  210 false(unreach-call) 1 wit inspect .63   18    - wit inspect - wit inspect
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .50 30 4.5 false(unreach-call) 1 wit inspect 4.1  270 true -32 wit inspect 5.7   250   unknown 0 wit inspect 2.5  210 false(unreach-call) 1 wit inspect .64   19    - wit inspect - wit inspect
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .66 30 5.8 false(unreach-call) 1 wit inspect 4.5  270 true -32 wit inspect 4.2   260   unknown 0 wit inspect 3.7  220 false(unreach-call) 1 wit inspect .65   18    - wit inspect - wit inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .82 30 6.0 false(unreach-call) 1 wit inspect 3.3  270 true -32 wit inspect 4.4   260   unknown 0 wit inspect 2.9  220 false(unreach-call) 1 wit inspect .62   18    - wit inspect - wit inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .92 31 9.5 false(unreach-call) 1 wit inspect 5.3  280 true -32 wit inspect 6.2   270   unknown 0 wit inspect 3.0  220 false(unreach-call) 1 wit inspect .63   18    - wit inspect - wit inspect
systemc/transmitter.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.1  31 10   false(unreach-call) 1 wit inspect 6.4  280 true -32 wit inspect 4.8   290   unknown 0 wit inspect 3.1  230 false(unreach-call) 1 wit inspect .64   18    - wit inspect - wit inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.2  32 9.6 false(unreach-call) 1 wit inspect 5.6  280 true -32 wit inspect 7.9   280   unknown 0 wit inspect 4.8  230 false(unreach-call) 1 wit inspect .70   19    - wit inspect - wit inspect
systemc/transmitter.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.4  33 12   false(unreach-call) 1 wit inspect 4.1  290 true -32 wit inspect 5.0   290   unknown 0 wit inspect 3.5  230 false(unreach-call) 1 wit inspect .67   18    - wit inspect - wit inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.6  35 15   false(unreach-call) 1 wit inspect 4.2  300 true -32 wit inspect 7.7   300   unknown 0 wit inspect 3.7  260 false(unreach-call) 1 wit inspect .67   18    - wit inspect - wit inspect
systemc/transmitter.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.9  37 16   false(unreach-call) 1 wit inspect 4.4  300 true -32 wit inspect 5.4   320   unknown 0 wit inspect 3.8  260 false(unreach-call) 1 wit inspect .69   19    - wit inspect - wit inspect
systemc/transmitter.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 2.1  40 18   false(unreach-call) 1 wit inspect 4.6  310 true -32 wit inspect 7.4   320   unknown 0 wit inspect 4.1  270 false(unreach-call) 1 wit inspect .69   18    - wit inspect - wit inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 2.3  43 20   false(unreach-call) 1 wit inspect 7.6  340 true -32 wit inspect 7.5   320   unknown 0 wit inspect 6.2  260 false(unreach-call) 1 wit inspect .73   19    - wit inspect - wit inspect
systemc/transmitter.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 2.4  46 19   false(unreach-call) 1 wit inspect 5.2  370 true -32 wit inspect 8.0   330   unknown 0 wit inspect 4.8  340 false(unreach-call) 1 wit inspect .73   19    - wit inspect - wit inspect
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .57 43 6.2 false(unreach-call) 1 wit inspect 3.1  270 true -32 wit inspect 7.8   330   unknown 0 wit inspect 2.9  220 false(unreach-call) 1 wit inspect .69   18    - wit inspect - wit inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .63 44 7.2 false(unreach-call) 1 wit inspect 3.3  270 true -32 wit inspect 5.1   340   unknown 0 wit inspect 2.7  220 false(unreach-call) 1 wit inspect .73   18    - wit inspect - wit inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    2700 8200   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 4.9
systemc/kundu_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    1500 10000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .026 4.9
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    2300 9400   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .024 5.0
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    2300 9300   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .019 4.9
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    2400 9100   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .019 4.9
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    2400 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .019 4.9
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    2600 8800   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.8
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    1400 9800   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .022 4.9
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    1100 9400   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 41 error (2) 0 wit inspect .019 4.8
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    3700 7500   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .019 5.0
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    2500 9000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .018 4.9
systemc/token_ring.01_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    1500 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .024 5.0
systemc/token_ring.02_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    910 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .73 45 error (2) 0 wit inspect .021 4.8
systemc/token_ring.03_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    630 10000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .024 4.9
systemc/token_ring.04_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    850 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 43 error (2) 0 wit inspect .019 4.9
systemc/token_ring.05_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    790 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 42 error (2) 0 wit inspect .019 4.9
systemc/token_ring.06_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    1000 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 44 error (2) 0 wit inspect .024 4.8
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    870 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .018 4.9
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    690 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 42 error (2) 0 wit inspect .019 5.0
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    800 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .019 5.0
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    930 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.8
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    1100 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .021 4.8
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    1200 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .018 4.8
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    1300 10000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .019 4.9
systemc/toy_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    800 13000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .49 43 error (2) 0 wit inspect .020 5.0
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 1.9  31 19   false(unreach-call) 1 wit inspect 5.6  280 true -32 wit inspect 7.4   290   unknown 0 wit inspect 4.2  260 true -32 wit inspect .65   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.9  31 17   false(unreach-call) 1 wit inspect 5.8  280 true -32 wit inspect 4.8   290   unknown 0 wit inspect 2.9  260 true -32 wit inspect .65   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 3.3  31 30   false(unreach-call) 1 wit inspect 6.4  270 true -32 wit inspect 6.7   280   unknown 0 wit inspect 3.2  270 true -32 wit inspect .66   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 4.1  31 30   false(unreach-call) 1 wit inspect 3.7  290 true -32 wit inspect 6.7   290   unknown 0 wit inspect 3.1  270 true -32 wit inspect .70   19    - 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 3.2  31 27   false(unreach-call) 1 wit inspect 4.9  280 true -32 wit inspect 6.8   280   unknown 0 wit inspect 3.1  270 true -32 wit inspect .67   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 2.9  31 32   false(unreach-call) 1 wit inspect 6.1  280 true -32 wit inspect 6.6   280   unknown 0 wit inspect 3.2  270 true -32 wit inspect .70   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 13    33 110   false(unreach-call) 1 wit inspect 5.2  300 true -32 wit inspect 6.9   300   unknown 0 wit inspect 6.1  280 true -32 wit inspect .71   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 14    32 110   false(unreach-call) 1 wit inspect 5.2  320 true -32 wit inspect 4.6   280   unknown 0 wit inspect 4.2  280 true -32 wit inspect .73   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 3.0  31 24   false(unreach-call) 1 wit inspect 4.1  300 true -32 wit inspect 7.1   290   unknown 0 wit inspect 3.6  280 true -32 wit inspect .64   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 2.7  31 32   false(unreach-call) 1 wit inspect 4.1  300 true -32 wit inspect 4.7   290   unknown 0 wit inspect 3.6  280 true -32 wit inspect .64   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 5.0  31 47   false(unreach-call) 1 wit inspect 4.1  290 true -32 wit inspect 7.5   280   unknown 0 wit inspect 5.6  280 true -32 wit inspect .69   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.4  31 44   false(unreach-call) 1 wit inspect 4.0  300 true -32 wit inspect 6.4   280   unknown 0 wit inspect 3.8  290 true -32 wit inspect .66   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect 2.6  31 30   true -32 wit inspect 5.7  270 true -32 wit inspect 4.6   280   unknown 0 wit inspect 2.6  220 true -32 wit inspect .65   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 3.0  31 27   true -32 wit inspect 4.7  270 true -32 wit inspect 4.9   270   unknown 0 wit inspect 2.7  210 true -32 wit inspect .65   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect 2.7  31 26   true -32 wit inspect 29    650 true -32 wit inspect 4.6   280   unknown 0 wit inspect 2.7  220 true -32 wit inspect .64   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 3.0  31 25   timeout 0 wit inspect 93    2600 true -32 wit inspect 6.5   280   unknown 0 wit inspect 3.7  220 true -32 wit inspect .65   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect 3.9  31 28   true -32 wit inspect 13    460 true -32 wit inspect 4.5   280   unknown 0 wit inspect 2.9  260 true -32 wit inspect .69   18    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 3.7  31 35   true -32 wit inspect 89    2900 true -32 wit inspect 6.7   270   unknown 0 wit inspect 2.9  260 true -32 wit inspect .66   18    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect 4.5  31 35   true -32 wit inspect 18    580 true -32 wit inspect 4.4   290   unknown 0 wit inspect 2.8  220 true -32 wit inspect .65   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 3.9  31 37   timeout 0 wit inspect 93    2800 true -32 wit inspect 6.8   280   unknown 0 wit inspect 2.9  220 true -32 wit inspect .66   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    3400 9900   error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 0 wit inspect 7.7  37 65   true -32 wit inspect 3.9  270 true -32 wit inspect 8.5   370   unknown 0 wit inspect 3.4  270 true -32 wit inspect .75   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 7.3  37 63   true -32 wit inspect 7.7  270 true -32 wit inspect 8.3   340   unknown 0 wit inspect 3.6  290 true -32 wit inspect .73   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 0 wit inspect 7.4  34 81   true -32 wit inspect 58    2000 true -32 wit inspect 6.3   360   unknown 0 wit inspect 3.5  270 true -32 wit inspect .73   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 9.1  36 59   timeout 0 wit inspect 98    3100 true -32 wit inspect 5.6   360   unknown 0 wit inspect 3.4  280 true -32 wit inspect .73   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 0 wit inspect 11    38 85   true -32 wit inspect 37    2100 true -32 wit inspect 8.5   360   unknown 0 wit inspect 3.5  270 true -32 wit inspect .75   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 9.9  38 96   timeout 0 wit inspect 93    2700 true -32 wit inspect 8.1   360   unknown 0 wit inspect 3.7  280 true -32 wit inspect .78   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 0 wit inspect 10    39 86   true -32 wit inspect 28    1700 true -32 wit inspect 7.9   380   unknown 0 wit inspect 3.6  280 true -32 wit inspect .77   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 11    41 83   timeout 0 wit inspect 93    2700 true -32 wit inspect 8.1   360   unknown 0 wit inspect 5.0  270 true -32 wit inspect .75   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    770 12000   error (invalid witness file) 0 wit inspect .61 44 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 23    63 140   timeout 0 wit inspect 93    2600 true -32 wit inspect 12     450   unknown 0 wit inspect 4.6  290 true -32 wit inspect .90   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 22    63 170   timeout 0 wit inspect 94    2300 true -32 wit inspect 12     460   unknown 0 wit inspect 6.7  290 true -32 wit inspect .89   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 21    58 160   timeout 0 wit inspect 93    2800 true -32 wit inspect 13     460   unknown 0 wit inspect 4.3  280 true -32 wit inspect .90   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 20    57 180   timeout 0 wit inspect 94    2800 true -32 wit inspect 11     450   unknown 0 wit inspect 4.4  280 true -32 wit inspect .90   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 28    66 210   timeout 0 wit inspect 93    2600 true -32 wit inspect 12     450   unknown 0 wit inspect 6.9  290 true -32 wit inspect .92   21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 25    66 190   timeout 0 wit inspect 94    2600 true -32 wit inspect 11     460   unknown 0 wit inspect 4.6  290 true -32 wit inspect .95   21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 22    65 160   timeout 0 wit inspect 93    2600 true -32 wit inspect 13     470   unknown 0 wit inspect 6.8  280 true -32 wit inspect .93   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 21    64 210   timeout 0 wit inspect 96    2600 true -32 wit inspect 11     450   unknown 0 wit inspect 4.6  290 true -32 wit inspect .91   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    140 13000   error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .024 5.0 error (invalid witness file) 0 wit inspect .67 50 error (invalid witness file) 0 wit inspect .0031 .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 3.3  29 27   true -32 wit inspect 11    440 true -32 wit inspect 4.3   260   unknown 0 wit inspect 3.8  220 false(unreach-call) 1 wit inspect .62   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 3.1  29 25   timeout 0 wit inspect 94    2500 true -32 wit inspect 5.8   250   unknown 0 wit inspect 3.7  220 false(unreach-call) 1 wit inspect .67   19    - 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 2.9  29 29   true -32 wit inspect 8.8  420 true -32 wit inspect 4.1   250   unknown 0 wit inspect 3.9  220 false(unreach-call) 1 wit inspect .63   19    - 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 3.2  30 24   timeout 0 wit inspect 93    3300 true -32 wit inspect 4.0   250   unknown 0 wit inspect 3.7  220 false(unreach-call) 1 wit inspect .63   19    - 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 5.3  30 43   true -32 wit inspect 26    910 true -32 wit inspect 4.3   260   unknown 0 wit inspect 2.8  220 false(unreach-call) 1 wit inspect .68   19    - 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 5.4  30 46   timeout 0 wit inspect 93    2700 true -32 wit inspect 4.3   260   unknown 0 wit inspect 4.1  220 false(unreach-call) 1 wit inspect .64   19    - 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 5.1  31 43   true -32 wit inspect 14    440 true -32 wit inspect 6.1   260   unknown 0 wit inspect 2.8  220 false(unreach-call) 1 wit inspect .64   19    - 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 4.5  30 45   timeout 0 wit inspect 94    2600 true -32 wit inspect 6.6   270   unknown 0 wit inspect 4.2  220 false(unreach-call) 1 wit inspect .65   19    - 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 8.1  33 71   true -32 wit inspect 40    1300 true -32 wit inspect 4.8   280   unknown 0 wit inspect 3.3  270 false(unreach-call) 1 wit inspect .67   19    - 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 9.4  35 73   timeout 0 wit inspect 93    2600 true -32 wit inspect 4.7   280   unknown 0 wit inspect 3.3  270 false(unreach-call) 1 wit inspect .71   19    - 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 8.1  32 74   true -32 wit inspect 20    970 true -32 wit inspect 4.6   270   unknown 0 wit inspect 3.1  270 false(unreach-call) 1 wit inspect .67   19    - 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.8  32 65   timeout 0 wit inspect 98    3600 true -32 wit inspect 6.5   260   unknown 0 wit inspect 3.3  270 false(unreach-call) 1 wit inspect .68   19    - 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 14    41 130   true -32 wit inspect 34    1900 true -32 wit inspect 6.7   280   unknown 0 wit inspect 3.5  280 false(unreach-call) 1 wit inspect .73   19    - 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 12    40 100   timeout 0 wit inspect 93    2500 true -32 wit inspect 7.3   280   unknown 0 wit inspect 5.5  270 false(unreach-call) 1 wit inspect .69   19    - 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 13    40 100   true -32 wit inspect 49    2000 true -32 wit inspect 4.6   280   unknown 0 wit inspect 3.5  270 false(unreach-call) 1 wit inspect .68   19    - 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 12    38 110   timeout 0 wit inspect 98    5500 true -32 wit inspect 5.1   280   unknown 0 wit inspect 3.6  270 false(unreach-call) 1 wit inspect .71   19    - 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 3.2  29 24   true -32 wit inspect 3.4  260 true -32 wit inspect 3.8   250   unknown 0 wit inspect 2.6  220 false(unreach-call) 1 wit inspect .62   19    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 2.9  29 29   true -32 wit inspect 5.1  270 true -32 wit inspect 3.9   240   unknown 0 wit inspect 2.6  220 false(unreach-call) 1 wit inspect .63   19    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    1200 11000   error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0012 .26 - 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 4.9  30 44   true -32 wit inspect 4.0  270 true -32 wit inspect 6.4   270   unknown 0 wit inspect 4.1  220 false(unreach-call) 1 wit inspect .64   19    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 4.8  30 35   true -32 wit inspect 6.0  270 true -32 wit inspect 4.1   250   unknown 0 wit inspect 4.3  260 false(unreach-call) 1 wit inspect .66   19    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    740 11000   error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .79 49 error (invalid witness file) 0 wit inspect .0028 .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 7.6  30 63   true -32 wit inspect 9.7  360 true -32 wit inspect 6.6   270   unknown 0 wit inspect 4.6  270 false(unreach-call) 1 wit inspect .68   19    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 6.9  30 68   true -32 wit inspect 8.2  350 true -32 wit inspect 6.4   260   unknown 0 wit inspect 3.0  220 false(unreach-call) 1 wit inspect .66   19    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    500 12000   error (invalid witness file) 0 wit inspect .42 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0011 .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 11    36 130   true -32 wit inspect 7.1  440 true -32 wit inspect 6.3   270   unknown 0 wit inspect 3.3  270 false(unreach-call) 1 wit inspect .69   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 11    35 97   true -32 wit inspect 12    410 true -32 wit inspect 6.4   270   unknown 0 wit inspect 3.5  280 false(unreach-call) 1 wit inspect .69   19    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    340 11000   error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0011 .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 17    43 160   true -32 wit inspect 19    580 true -32 wit inspect 6.6   280   unknown 0 wit inspect 5.2  280 false(unreach-call) 1 wit inspect .71   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 13    41 210   true -32 wit inspect 11    600 true -32 wit