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* [apollon010; apollon035; apollon045; apollon077; apollon078; apollon138] [apollon007; apollon077; apollon078; apollon143] 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-12-01 08:49:27 CET 2017-12-01 22:53:44 CET 2017-12-01 23:38:04 CET 2017-12-01 23:47:42 CET 2017-12-01 23:55:24 CET 2017-12-01 22:20:30 CET 2017-12-01 23:01:53 CET
Run set esbmc-incr.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-esbmc-incr.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-esbmc-incr.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-esbmc-incr.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-esbmc-incr.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-esbmc-incr.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-esbmc-incr.sv-comp18-correctness-witness.ReachSafety-Sequentialized
Options -s incr -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/esbmc-incr.2017-12-01_0849.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-incr.2017-12-01_0849.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/esbmc-incr.2017-12-01_0849.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-incr.2017-12-01_0849.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/esbmc-incr.2017-12-01_0849.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/esbmc-incr.2017-12-01_0849.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 1.3  29 15   true -32 wit inspect 16    440 true -32 wit inspect 5.3   240   unknown 0 wit inspect 2.7  220 false(unreach-call) 1 wit inspect .61   18    - wit inspect - wit inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.6  31 13   true -32 wit inspect 12    430 true -32 wit inspect 6.4   250   unknown 0 wit inspect 4.1  220 false(unreach-call) 1 wit inspect .62   19    - wit inspect - wit inspect
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .16 29 1.3 false(unreach-call) 1 wit inspect 3.5  260 true -32 wit inspect 4.2   240   unknown 0 wit inspect 3.2  210 false(unreach-call) 1 wit inspect .62   18    - wit inspect - wit inspect
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .13 29 1.3 false(unreach-call) 1 wit inspect 4.7  260 true -32 wit inspect 4.1   260   unknown 0 wit inspect 3.2  210 false(unreach-call) 1 wit inspect .61   18    - wit inspect - wit inspect
systemc/pipeline_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 11    160 120   false(unreach-call) 1 wit inspect 10    330 true -32 wit inspect 6.6   270   unknown 0 wit inspect 10    490 false(unreach-call) 1 wit inspect .66   19    - wit inspect - wit inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .95 30 7.9 false(unreach-call) 1 wit inspect 4.7  270 true -32 wit inspect 5.6   250   unknown 0 wit inspect 3.5  210 false(unreach-call) 1 wit inspect .60   18    - wit inspect - wit inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.3  31 11   false(unreach-call) 1 wit inspect 4.8  270 true -32 wit inspect 6.4   270   unknown 0 wit inspect 3.9  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 1.7  33 13   false(unreach-call) 1 wit inspect 4.5  270 true -32 wit inspect 6.1   260   unknown 0 wit inspect 4.0  220 false(unreach-call) 1 wit inspect .63   18    - wit inspect - wit inspect
systemc/token_ring.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 2.0  37 19   false(unreach-call) 1 wit inspect 4.8  280 true -32 wit inspect 6.1   260   unknown 0 wit inspect 4.2  220 false(unreach-call) 1 wit inspect .63   19    - wit inspect - wit inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 2.4  42 25   false(unreach-call) 1 wit inspect 5.2  280 true -32 wit inspect 7.0   280   unknown 0 wit inspect 4.6  220 false(unreach-call) 1 wit inspect .63   19    - wit inspect - wit inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 2.9  48 30   false(unreach-call) 1 wit inspect 6.5  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 3.8  54 34   false(unreach-call) 1 wit inspect 6.0  290 true -32 wit inspect 7.3   290   unknown 0 wit inspect 5.0  230 false(unreach-call) 1 wit inspect .66   19    - wit inspect - wit inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 4.2  61 38   false(unreach-call) 1 wit inspect 7.0  300 true -32 wit inspect 7.8   290   unknown 0 wit inspect 5.5  260 false(unreach-call) 1 wit inspect .70   19    - wit inspect - wit inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 4.8  67 48   false(unreach-call) 1 wit inspect 7.2  300 true -32 wit inspect 8.1   300   unknown 0 wit inspect 4.2  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 5.7  75 51   false(unreach-call) 1 wit inspect 7.5  310 true -32 wit inspect 5.4   310   unknown 0 wit inspect 4.5  320 false(unreach-call) 1 wit inspect .71   19    - wit inspect - wit inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 6.8  83 52   false(unreach-call) 1 wit inspect 7.9  350 true -32 wit inspect 7.5   320   unknown 0 wit inspect 7.0  330 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 7.7  93 72   false(unreach-call) 1 wit inspect 8.5  370 true -32 wit inspect 9.2   320   unknown 0 wit inspect 5.2  340 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 9.0  100 79   false(unreach-call) 1 wit inspect 8.7  400 true -32 wit inspect 7.8   330   unknown 0 wit inspect 8.2  390 false(unreach-call) 1 wit inspect .74   19    - wit inspect - wit inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 7.3  93 72   false(unreach-call) 1 wit inspect 9.0  380 true -32 wit inspect 7.6   330   unknown 0 wit inspect 7.5  340 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 8.4  100 84   false(unreach-call) 1 wit inspect 8.4  400 true -32 wit inspect 7.6   330   unknown 0 wit inspect 5.2  380 false(unreach-call) 1 wit inspect .77   19    - wit inspect - wit inspect
systemc/toy1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.2  30 9.4 false(unreach-call) 1 wit inspect 5.2  280 true -32 wit inspect 5.7   250   unknown 0 wit inspect 4.0  220 false(unreach-call) 1 wit inspect .62   18    - wit inspect - wit inspect
systemc/toy2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.0  30 9.5 false(unreach-call) 1 wit inspect 6.1  270 true -32 wit inspect 5.9   250   unknown 0 wit inspect 4.0  220 false(unreach-call) 1 wit inspect .62   18    - wit inspect - wit inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .56 29 4.0 false(unreach-call) 1 wit inspect 4.6  260 true -32 wit inspect 5.4   240   unknown 0 wit inspect 3.3  210 false(unreach-call) 1 wit inspect .60   19    - wit inspect - wit inspect
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .65 29 5.6 false(unreach-call) 1 wit inspect 4.0  270 true -32 wit inspect 4.4   250   unknown 0 wit inspect 4.4  220 false(unreach-call) 1 wit inspect .61   18    - wit inspect - wit inspect
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.1  30 10   false(unreach-call) 1 wit inspect 4.3  270 true -32 wit inspect 5.9   260   unknown 0 wit inspect 3.9  220 false(unreach-call) 1 wit inspect .63   18    - wit inspect - wit inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.4  32 11   false(unreach-call) 1 wit inspect 4.7  270 true -32 wit inspect 4.4   270   unknown 0 wit inspect 4.2  220 false(unreach-call) 1 wit inspect .64   18    - wit inspect - wit inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.5  36 13   false(unreach-call) 1 wit inspect 5.1  280 true -32 wit inspect 4.4   280   unknown 0 wit inspect 4.3  220 false(unreach-call) 1 wit inspect .64   18    - wit inspect - wit inspect
systemc/transmitter.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 2.6  41 19   false(unreach-call) 1 wit inspect 5.5  280 true -32 wit inspect 6.8   280   unknown 0 wit inspect 4.7  230 false(unreach-call) 1 wit inspect .64   19    - wit inspect - wit inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 2.3  47 26   false(unreach-call) 1 wit inspect 7.2  290 true -32 wit inspect 6.7   280   unknown 0 wit inspect 5.3  230 false(unreach-call) 1 wit inspect .68   19    - wit inspect - wit inspect
systemc/transmitter.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 3.0  53 31   false(unreach-call) 1 wit inspect 6.8  290 true -32 wit inspect 7.8   290   unknown 0 wit inspect 5.3  270 false(unreach-call) 1 wit inspect .68   19    - wit inspect - wit inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 4.4  59 37   false(unreach-call) 1 wit inspect 6.8  300 true -32 wit inspect 7.4   310   unknown 0 wit inspect 6.3  320 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 4.6  66 38   false(unreach-call) 1 wit inspect 8.2  300 true -32 wit inspect 7.1   300   unknown 0 wit inspect 7.0  330 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 4.0  75 35   false(unreach-call) 1 wit inspect 8.3  310 true -32 wit inspect 8.1   330   unknown 0 wit inspect 6.5  260 false(unreach-call) 1 wit inspect .72   19    - wit inspect - wit inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 6.1  83 62   false(unreach-call) 1 wit inspect 7.9  360 true -32 wit inspect 7.9   330   unknown 0 wit inspect 8.4  440 false(unreach-call) 1 wit inspect .72   19    - wit inspect - wit inspect
systemc/transmitter.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.9  92 48   false(unreach-call) 1 wit inspect 8.3  390 true -32 wit inspect 7.9   330   unknown 0 wit inspect 7.6  350 false(unreach-call) 1 wit inspect .75   19    - wit inspect - wit inspect
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .15 34 1.6 false(unreach-call) 1 wit inspect 5.0  280 true -32 wit inspect 7.5   340   unknown 0 wit inspect 2.7  220 error (2) 0 wit inspect .71   18    - wit inspect - wit inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .16 35 2.1 false(unreach-call) 1 wit inspect 5.5  280 true -32 wit inspect 11     350   unknown 0 wit inspect 3.8  220 error (2) 0 wit inspect .70   18    - wit inspect - wit inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    2800 8600   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.9
systemc/kundu_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    1400 10000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .018 5.0
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    2200 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .020 4.9
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    2300 8100   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 42 error (2) 0 wit inspect .019 4.8
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    2700 8900   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 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    2500 9800   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .020 5.0
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    2900 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 44 error (2) 0 wit inspect .020 4.8
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    1500 9500   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .76 43 error (2) 0 wit inspect .018 5.0
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    1100 10000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 46 error (2) 0 wit inspect .019 4.8
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    3900 8200   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 42 error (2) 0 wit inspect .020 4.9
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    2300 9800   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .019 5.0
systemc/token_ring.01_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    1500 9800   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .022 4.8
systemc/token_ring.02_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 .65 41 error (2) 0 wit inspect .019 4.9
systemc/token_ring.03_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    550 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .020 4.9
systemc/token_ring.04_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    980 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .021 4.8
systemc/token_ring.05_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    940 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .019 4.9
systemc/token_ring.06_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    850 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .025 4.8
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    710 9600   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .018 4.8
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    850 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .024 4.8
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    990 9900   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 44 error (2) 0 wit inspect .018 4.8
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    750 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .018 4.9
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    850 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .024 4.9
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    960 9400   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 45 error (2) 0 wit inspect .022 4.9
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    1100 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .020 5.0
systemc/toy_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900    690 13000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .020 4.8
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 1.5  31 12   false(unreach-call) 1 wit inspect 5.1  280 true -32 wit inspect 7.0   290   unknown 0 wit inspect 4.0  260 true -32 wit inspect .66   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.4  31 11   false(unreach-call) 1 wit inspect 5.3  280 true -32 wit inspect 6.9   280   unknown 0 wit inspect 2.7  220 true -32 wit inspect .66   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.4  31 47   false(unreach-call) 1 wit inspect 6.1  280 true -32 wit inspect 6.8   290   unknown 0 wit inspect 4.7  270 true -32 wit inspect .67   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 33   false(unreach-call) 1 wit inspect 7.3  280 true -32 wit inspect 7.3   290   unknown 0 wit inspect 4.4  270 true -32 wit inspect .66   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 4.4  31 36   false(unreach-call) 1 wit inspect 7.0  280 true -32 wit inspect 5.8   290   unknown 0 wit inspect 4.6  270 true -32 wit inspect .68   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 3.9  31 43   false(unreach-call) 1 wit inspect 6.9  280 true -32 wit inspect 8.9   290   unknown 0 wit inspect 4.6  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 11    31 80   false(unreach-call) 1 wit inspect 9.1  310 true -32 wit inspect 4.6   280   unknown 0 wit inspect 4.0  310 true -32 wit inspect .70   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 12    31 86   false(unreach-call) 1 wit inspect 7.4  300 true -32 wit inspect 4.6   290   unknown 0 wit inspect 6.0  310 true -32 wit inspect .70   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 7.2  31 51   false(unreach-call) 1 wit inspect 9.0  310 true -32 wit inspect 6.9   280   unknown 0 wit inspect 4.2  320 true -32 wit inspect .67   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 8.0  31 61   false(unreach-call) 1 wit inspect 8.2  300 true -32 wit inspect 6.6   280   unknown 0 wit inspect 4.3  320 true -32 wit inspect .68   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 3.4  31 28   false(unreach-call) 1 wit inspect 7.2  290 true -32 wit inspect 6.5   280   unknown 0 wit inspect 5.2  270 true -32 wit inspect .65   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 3.1  31 30   false(unreach-call) 1 wit inspect 5.7  290 true -32 wit inspect 6.3   280   unknown 0 wit inspect 5.2  280 true -32 wit inspect .65   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 3.0  31 23   true -32 wit inspect 5.5  270 true -32 wit inspect 6.7   270   unknown 0 wit inspect 3.9  220 true -32 wit inspect .64   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 24   true -32 wit inspect 5.4  270 true -32 wit inspect 7.1   280   unknown 0 wit inspect 4.2  240 true -32 wit inspect .66   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 3.6  31 26   true -32 wit inspect 32    670 true -32 wit inspect 4.7   290   unknown 0 wit inspect 2.8  260 true -32 wit inspect .65   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 2.6  31 40   timeout 0 wit inspect 93    2600 true -32 wit inspect 6.4   280   unknown 0 wit inspect 2.7  220 true -32 wit inspect .66   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 4.2  31 34   true -32 wit inspect 18    470 true -32 wit inspect 6.7   280   unknown 0 wit inspect 4.3  260 true -32 wit inspect .65   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 3.9  31 34   timeout 0 wit inspect 93    2600 true -32 wit inspect 6.4   280   unknown 0 wit inspect 3.0  240 true -32 wit inspect .65   19    - 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.3  31 35   true -32 wit inspect 20    600 true -32 wit inspect 4.6   280   unknown 0 wit inspect 4.2  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    2500 true -32 wit inspect 4.4   280   unknown 0 wit inspect 3.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    3500 9800   error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0010 .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.5  41 79   true -32 wit inspect 5.6  260 true -32 wit inspect 8.4   340   unknown 0 wit inspect 4.9  270 true -32 wit inspect .76   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 8.4  39 57   true -32 wit inspect 6.6  280 true -32 wit inspect 8.2   340   unknown 0 wit inspect 3.4  270 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 9.1  35 66   true -32 wit inspect 53    2200 true -32 wit inspect 9.4   380   unknown 0 wit inspect 3.4  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 7.9  35 80   timeout 0 wit inspect 93    2700 true -32 wit inspect 8.0   370   unknown 0 wit inspect 3.3  270 true -32 wit inspect .74   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    40 97   true -32 wit inspect 63    2000 true -32 wit inspect 8.4   380   unknown 0 wit inspect 5.1  280 true -32 wit inspect .75   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 11    42 110   timeout 0 wit inspect 93    2600 true -32 wit inspect 5.4   360   unknown 0 wit inspect 5.3  280 true -32 wit inspect .76   20    - 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 12    41 86   true -32 wit inspect 45    1800 true -32 wit inspect 8.1   350   unknown 0 wit inspect 3.5  280 true -32 wit inspect .73   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    42 73   timeout 0 wit inspect 93    2600 true -32 wit inspect 7.6   360   unknown 0 wit inspect 3.6  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    780 11000   error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0011 .27 - 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 21    66 200   timeout 0 wit inspect 93    2500 true -32 wit inspect 12     440   unknown 0 wit inspect 6.7  290 true -32 wit inspect .93   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 25    66 220   timeout 0 wit inspect 95    2600 true -32 wit inspect 12     460   unknown 0 wit inspect 6.8  290 true -32 wit inspect .91   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 22    60 150   timeout 0 wit inspect 93    2500 true -32 wit inspect 11     450   unknown 0 wit inspect 6.6  290 true -32 wit inspect .91   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 23    60 170   timeout 0 wit inspect 94    2500 true -32 wit inspect 11     450   unknown 0 wit inspect 4.6  290 true -32 wit inspect .95   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 29    69 200   timeout 0 wit inspect 93    2500 true -32 wit inspect 7.3   450   unknown 0 wit inspect 6.9  290 true -32 wit inspect .95   21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 27    69 210   timeout 0 wit inspect 94    2700 true -32 wit inspect 12     450   unknown 0 wit inspect 4.9  290 true -32 wit inspect .97   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    67 180   timeout 0 wit inspect 93    2600 true -32 wit inspect 12     460   unknown 0 wit inspect 4.5  280 true -32 wit inspect .91   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 24    67 180   timeout 0 wit inspect 94    2700 true -32 wit inspect 12     450   unknown 0 wit inspect 6.8  280 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 9900   error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0012 .27 - 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.0  30 25   true -32 wit inspect 14    450 true -32 wit inspect 6.8   260   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.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 3.4  29 24   timeout 0 wit inspect 94    2700 true -32 wit inspect 6.0   250   unknown 0 wit inspect 2.7  220 false(unreach-call) 1 wit inspect .64   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.8  30 29   true -32 wit inspect 10    410 true -32 wit inspect 5.6   250   unknown 0 wit inspect 2.7  220 false(unreach-call) 1 wit inspect .62   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 2.8  30 26   timeout 0 wit inspect 93    2500 true -32 wit inspect 4.1   250   unknown 0 wit inspect 2.6  220 false(unreach-call) 1 wit inspect .64   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.1  30 39   true -32 wit inspect 27    890 true -32 wit inspect 6.6   260   unknown 0 wit inspect 4.2  220 false(unreach-call) 1 wit inspect .66   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 6.2  30 53   timeout 0 wit inspect 93    2600 true -32 wit inspect 4.4   270   unknown 0 wit inspect 4.1  220 false(unreach-call) 1 wit inspect .67   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.4  31 41   true -32 wit inspect 14    440 true -32 wit inspect 4.2   260   unknown 0 wit inspect 4.1  220 false(unreach-call) 1 wit inspect .65   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.9  30 35   timeout 0 wit inspect 94    2500 true -32 wit inspect 6.2   260   unknown 0 wit inspect 4.2  220 false(unreach-call) 1 wit inspect .66   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.8  34 70   true -32 wit inspect 39    1300 true -32 wit inspect 6.9   270   unknown 0 wit inspect 4.8  280 false(unreach-call) 1 wit inspect .68   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.1  33 99   timeout 0 wit inspect 93    2700 true -32 wit inspect 6.6   280   unknown 0 wit inspect 4.7  240 false(unreach-call) 1 wit inspect .68   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 6.6  32 75   true -32 wit inspect 29    1000 true -32 wit inspect 4.9   270   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.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 8.0  35 67   timeout 0 wit inspect 93    2600 true -32 wit inspect 4.6   270   unknown 0 wit inspect 4.7  270 false(unreach-call) 1 wit inspect .67   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 13    41 130   true -32 wit inspect 43    1800 true -32 wit inspect 6.9   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 13    42 130   timeout 0 wit inspect 93    2500 true -32 wit inspect 4.7   280   unknown 0 wit inspect 3.5  280 false(unreach-call) 1 wit inspect .70   20    - 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 120   true -32 wit inspect 44    1500 true -32 wit inspect 4.9   280   unknown 0 wit inspect 3.4  280 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 13    42 120   timeout 0 wit inspect 98    3700 true -32 wit inspect 4.7   280   unknown 0 wit inspect 3.5  270 false(unreach-call) 1 wit inspect .70   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.0  29 22   true -32 wit inspect 5.0  270 true -32 wit inspect 5.9   250   unknown 0 wit inspect 2.6  220 false(unreach-call) 1 wit inspect .65   19    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 3.2  29 28   true -32 wit inspect 5.0  270 true -32 wit inspect 4.0   250   unknown 0 wit inspect 3.7  220 false(unreach-call) 1 wit inspect .62   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 .54 40 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 .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 5.0  30 38   true -32 wit inspect 6.6  290 true -32 wit inspect 6.2   260   unknown 0 wit inspect 2.8  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 5.1  30 42   true -32 wit inspect 7.0  270 true -32 wit inspect 5.9   250   unknown 0 wit inspect 2.8  220 false(unreach-call) 1 wit inspect .64   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 .72 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0012 .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.2  30 65   true -32 wit inspect 9.1  370 true -32 wit inspect 7.1   260   unknown 0 wit inspect 3.1  220 false(unreach-call) 1 wit inspect .66   19    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 8.0  30 65   true -32 wit inspect 8.0  360 true -32 wit inspect 4.3   270   unknown 0 wit inspect 4.7  270 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    490 11000   error (invalid witness file) 0 wit inspect .70 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0013 .29 - 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 92   true -32 wit inspect 14    440 true -32 wit inspect 4.6   270   unknown 0 wit inspect 3.3  270 false(unreach-call) 1 wit inspect .70   19    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 12    35 88   true -32 wit inspect 14    420 true -32 wit inspect 6.7   270   unknown 0 wit inspect 5.3  280 false(unreach-call) 1 wit inspect .72   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    350 11000   error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0028 .28 - 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 16    41 190   true -32 wit inspect 17    590 true -32 wit inspect 6.6   280   unknown 0 wit inspect 5.5  280 false(unreach-call) 1 wit inspect .74   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 18    42 150   true -32 wit inspect 18    570 true -32 wit