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 inspect 7.5   290   unknown 0 wit inspect 3.6  280 false(unreach-call) 1 wit inspect .71   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    240 12000   error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0012 .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 26    51 310   true -32 wit inspect 25    890 true -32 wit inspect 4.7   290   unknown 0 wit inspect 4.1  290 false(unreach-call) 1 wit inspect .74   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 27    51 240   true -32 wit inspect 16    920 true -32 wit inspect 4.7   300   unknown 0 wit inspect 6.2  280 false(unreach-call) 1 wit inspect .74   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    200 11000   error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .87 50 error (invalid witness file) 0 wit inspect .0030 .29 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect 3.1  31 22   true -32 wit inspect 3.1  270 true -32 wit inspect 6.6   280   unknown 0 wit inspect 2.7  210 true -32 wit inspect .65   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 2.9  31 27   true -32 wit inspect 3.2  260 true -32 wit inspect 4.6   280   unknown 0 wit inspect 4.1  260 true -32 wit inspect .66   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect 2.9  31 24   true -32 wit inspect 18    900 true -32 wit inspect 7.4   280   unknown 0 wit inspect 2.7  220 true -32 wit inspect .65   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 2.8  31 30   timeout 0 wit inspect 94    2700 true -32 wit inspect 6.6   280   unknown 0 wit inspect 3.9  220 true -32 wit inspect .66   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect 4.6  31 33   true -32 wit inspect 20    590 true -32 wit inspect 4.7   280   unknown 0 wit inspect 4.2  260 true -32 wit inspect .70   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 4.1  31 47   timeout 0 wit inspect 97    2900 true -32 wit inspect 5.1   300   unknown 0 wit inspect 2.8  220 true -32 wit inspect .70   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect 4.4  31 33   true -32 wit inspect 16    610 true -32 wit inspect 7.0   280   unknown 0 wit inspect 2.8  220 true -32 wit inspect .69   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 4.2  31 34   timeout 0 wit inspect 94    2900 true -32 wit inspect 6.6   280   unknown 0 wit inspect 3.0  260 true -32 wit inspect .66   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    3300 11000   error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .66 50 error (invalid witness file) 0 wit inspect .0034 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 0 wit inspect 7.8  39 77   true -32 wit inspect 4.1  280 true -32 wit inspect 9.3   360   unknown 0 wit inspect 4.9  270 true -32 wit inspect .76   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 7.9  39 64   true -32 wit inspect 7.5  270 true -32 wit inspect 8.2   350   unknown 0 wit inspect 5.1  270 true -32 wit inspect .74   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 0 wit inspect 8.5  36 73   true -32 wit inspect 77    2400 true -32 wit inspect 5.3   360   unknown 0 wit inspect 3.4  280 true -32 wit inspect .74   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 7.8  35 65   timeout 0 wit inspect 98    3100 true -32 wit inspect 8.3   360   unknown 0 wit inspect 5.1  270 true -32 wit inspect .74   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 0 wit inspect 12    39 76   true -32 wit inspect 28    1700 true -32 wit inspect 5.9   380   unknown 0 wit inspect 3.7  290 true -32 wit inspect .78   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 10    39 89   timeout 0 wit inspect 93    2600 true -32 wit inspect 5.5   380   unknown 0 wit inspect 5.1  280 true -32 wit inspect .76   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 0 wit inspect 11    42 78   true -32 wit inspect 32    1600 true -32 wit inspect 8.7   360   unknown 0 wit inspect 3.7  280 true -32 wit inspect .74   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 9.8  41 79   timeout 0 wit inspect 97    3100 true -32 wit inspect 8.2   360   unknown 0 wit inspect 5.0  270 true -32 wit inspect .78   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    790 13000   error (invalid witness file) 0 wit inspect .69 45 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0037 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 18    68 130   true -32 wit inspect 10    310 true -32 wit inspect 12     450   unknown 0 wit inspect 6.5  280 true -32 wit inspect .89   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 18    67 160   true -32 wit inspect 10    290 true -32 wit inspect 12     460   unknown 0 wit inspect 4.4  290 true -32 wit inspect .89   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 20    59 130   timeout 0 wit inspect 93    2800 true -32 wit inspect 11     450   unknown 0 wit inspect 4.5  280 true -32 wit inspect .90   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 18    59 220   timeout 0 wit inspect 94    2900 true -32 wit inspect 13     450   unknown 0 wit inspect 4.4  290 true -32 wit inspect .94   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 23    68 170   timeout 0 wit inspect 93    2900 true -32 wit inspect 9.2   450   unknown 0 wit inspect 6.6  280 true -32 wit inspect .93   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 23    67 230   timeout 0 wit inspect 93    2800 true -32 wit inspect 7.6   450   unknown 0 wit inspect 4.7  280 true -32 wit inspect .92   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 0 wit inspect 21    68 250   timeout 0 wit inspect 93    2800 true -32 wit inspect 11     450   unknown 0 wit inspect 6.7  280 true -32 wit inspect .91   21    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 22    68 210   timeout 0 wit inspect 94    2900 true -32 wit inspect 12     460   unknown 0 wit inspect 4.7  290 true -32 wit inspect .92   21    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    140 11000   error (invalid witness file) 0 wit inspect .49 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .66 50 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c false(unreach-call) 0 wit inspect 36    240 370   true -32 wit inspect 70    2100 true -32 wit inspect 12     470   unknown 0 wit inspect 8.3  320 error (2) 0 wit inspect 1.0    20    - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c timeout 0 wit inspect 900    2000 8400   error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c false(unreach-call) 0 wit inspect 41    220 370   timeout 0 wit inspect 98    2200 true -32 wit inspect 8.0   470   unknown 0 wit inspect 7.5  290 error (2) 0 wit inspect 1.0    20    - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c timeout 0 wit inspect 900    2000 9300   error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0028 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c false(unreach-call) 0 wit inspect 140    500 1300   timeout 0 wit inspect 96    2200 true -32 wit inspect 11     540   unknown 0 wit inspect 6.7  350 error (2) 0 wit inspect 1.2    22    - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c timeout 0 wit inspect 900    2500 8200   error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0032 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c false(unreach-call) 0 wit inspect 84    360 910   timeout 0 wit inspect 95    2100 true -32 wit inspect 18     550   unknown 0 wit inspect 6.5  450 error (2) 0 wit inspect 1.2    22    - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c timeout 0 wit inspect 900    2300 12000   error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0010 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c timeout 0 wit inspect 900    900 8200   error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .67 48 error (invalid witness file) 0 wit inspect .0011 .27 - wit inspect - wit inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c timeout 0 wit inspect 900    1000 11000   error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0015 .34 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c timeout 0 wit inspect 900    1200 6100   error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0012 .28 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c timeout 0 wit inspect 900    2800 7700   error (invalid witness file) 0 wit inspect .55 46 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .69 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c timeout 0 wit inspect 900    1200 6800   error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .64 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c timeout 0 wit inspect 900    1900 9100   error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0036 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c false(unreach-call) 0 wit inspect 28    160 260   timeout 0 wit inspect 93    2100 true -32 wit inspect 16     480   unknown 0 wit inspect 6.3  460 error (2) 0 wit inspect 1.2    21    - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c timeout 0 wit inspect 900    1800 9300   error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .66 50 error (invalid witness file) 0 wit inspect .0031 .28 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c false(unreach-call) 0 wit inspect 27    160 260   timeout 0 wit inspect 93    2100 true -32 wit inspect 10     460   unknown 0 wit inspect 9.3  460 error (2) 0 wit inspect 1.2    21    - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c timeout 0 wit inspect 900    1700 8300   error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0031 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c false(unreach-call) 0 wit inspect 44    210 360   true -32 wit inspect 10    420 true -32 wit inspect 14     660   unknown 0 wit inspect 6.8  430 error (2) 0 wit inspect 1.4    28    - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c timeout 0 wit inspect 900    2000 7500   error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c false(unreach-call) 0 wit inspect 92    300 980   true -32 wit inspect 7.3  430 true -32 wit inspect 19     550   unknown 0 wit inspect 21    1700 true -32 wit inspect 1.5    25    - wit inspect - wit inspect
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c false(unreach-call) 0 wit inspect 230    440 2700   true -32 wit inspect 11    610 true -32 wit inspect 17     550   timeout 0 wit inspect 92    2500 true -32 wit inspect 1.9    31    - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c false(unreach-call) 0 wit inspect 38    130 410   unknown 0 wit inspect 39    3800 true -32 wit inspect 15     450   unknown 0 wit inspect 8.0  480 error (2) 0 wit inspect .99   20    - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c false(unreach-call) 0 wit inspect 180    450 2000   out of memory 0 wit inspect 60    7000 true -32 wit inspect 15     480   unknown 0 wit inspect 12    890 error (2) 0 wit inspect 1.3    25    - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c false(unreach-call) 0 wit inspect 82    160 1100   timeout 0 wit inspect 96    2600 true -32 wit inspect 16     480   unknown 0 wit inspect 5.7  390 error (2) 0 wit inspect 1.1    21    - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c timeout 0 wit inspect 900    1300 12000   error (invalid witness file) 0 wit inspect .39 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 .0017 .29 - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c true 2 wit inspect 1.7  36 20   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 240    770 out of memory 0 wit inspect 710     7000  
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    3200 9600   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .024 4.8
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect .21 29 2.7 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 120    2700 true 2 wit inspect 260     4500  
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    2800 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.8
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .98 29 13   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 31    510 out of memory 0 wit inspect 140     7000  
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    3500 9600   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 44 error (2) 0 wit inspect .020 4.9
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 1 wit inspect 43    52 530   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    660 out of memory 0 wit inspect 140     7000  
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    790 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .017 4.8
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900    150 11000   - 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
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    140 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .025 4.8
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .51 28 5.9 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 20    360 out of memory 0 wit inspect 220     7000  
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    1100 10000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .024 4.8
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect 1.1  28 12   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 69    540 out of memory 0 wit inspect 160     7000  
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    600 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .021 4.9
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 3.5  33 41   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 270    740 out of memory 0 wit inspect 150     7000  
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    290 13000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 41 error (2) 0 wit inspect .020 4.9
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c true 1 wit inspect 12    42 150   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    980 out of memory 0 wit inspect 160     7000  
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    210 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .025 4.9
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .39 27 5.0 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 15    330 timeout 0 wit inspect 960     5000  
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    1200 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .024 5.0
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect .90 28 14   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 33    520 out of memory 0 wit inspect 270     7000  
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    750 13000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .020 4.9
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 1.8  29 27   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 83    600 out of memory 0 wit inspect 220     7000  
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    500 11000   - 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
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c true 2 wit inspect 4.2  35 50   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 290    740 out of memory 0 wit inspect 160     7000  
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    350 14000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .48 43 error (2) 0 wit inspect .019 5.0
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c true 1 wit inspect 13    45 170   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1100 out of memory 0 wit inspect 140     7000  
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    250 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .020 4.9
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c true 1 wit inspect 25    54 300   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1400 out of memory 0 wit inspect 91     7000  
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    190 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .018 4.9
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 1.0  30 16   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 38    530 out of memory 0 wit inspect 120     7000  
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    3300 10000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .021 4.9
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 1 wit inspect 42    56 480   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    840 out of memory 0 wit inspect 210     7000  
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    840 10000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 43 error (2) 0 wit inspect .018 4.8
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900    140 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 42 error (2) 0 wit inspect .023 4.8
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    140 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c true 1 wit inspect 69    250 950   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    6300 timeout 0 wit inspect 960     2500  
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c timeout 0 wit inspect 900    2300 7500   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 41 error (2) 0 wit inspect .020 5.0
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c false(unreach-call) -16 wit inspect 240    740 2300   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 470    3900 true 2 wit inspect 15     550  
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c timeout 0 wit inspect 900    2200 9000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .019 4.8
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c timeout 0 wit inspect 900    950 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 45 error (2) 0 wit inspect .023 4.9
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c timeout 0 wit inspect 900    1000 8700   - 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
seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c timeout 0 wit inspect 900    1100 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c timeout 0 wit inspect 900    1400 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c timeout 0 wit inspect 900    1200 8000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .020 4.8
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c timeout 0 wit inspect 900    2600 8200   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.9
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c timeout 0 wit inspect 900    1100 11000   - 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
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c timeout 0 wit inspect 900    2000 8800   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .023 4.9
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c true 1 wit inspect 31    160 430   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    5900 timeout 0 wit inspect 960     3000  
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c timeout 0 wit inspect 900    1800 9300   - 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
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c true 1 wit inspect 19    170 250   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    6300 timeout 0 wit inspect 960     2600  
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c true 1 wit inspect 360    940 4600   - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 88    7000 timeout 0 wit inspect 960     2000  
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c false(unreach-call) -16 wit inspect 80    210 620   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 13    480 true 2 wit inspect 21     660  
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c timeout 0 wit inspect 900    2200 7900   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .75 44 error (2) 0 wit inspect .023 4.9
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c false(unreach-call) -16 wit inspect 61    220 480   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 11    460 true 2 wit inspect 23     650  
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c timeout 0 wit inspect 900    2100 7900   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 5.0
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c true 1 wit inspect 39    310 580   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    2700 timeout 0 wit inspect 960     4800  
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c true 1 wit inspect 35    300 440   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2800 timeout 0 wit inspect 960     4700  
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c true 1 wit inspect 120    440 1400   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    3600 timeout 0 wit inspect 960     4300  
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c true 1 wit inspect 280    660 2800   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    4700 timeout 0 wit inspect 960     4400  
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c true 1 wit inspect 14    130 210   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    6000 timeout 0 wit inspect 960     5200  
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c true 1 wit inspect 150    510 1800   - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 85    7000 timeout 0 wit inspect 960     6200  
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c true 1 wit inspect 15    140 150   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    5100 timeout 0 wit inspect 960     1600  
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c true 1 wit inspect 440    740 4600   - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 84    7000 timeout 0 wit inspect 960     1600  
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c true 1 wit inspect 15    150 200   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    5500 timeout 0 wit inspect 960     1600  
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c true 1 wit inspect 110    400 1300   - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 94    7000 timeout 0 wit inspect 960     2800  
seq-pthread/cs_fib_false-unreach-call.i unknown 0 wit inspect 28    63 390   error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .018 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-pthread/cs_fib_longer_false-unreach-call.i unknown 0 wit inspect 180    82 2200   error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .84 50 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
seq-pthread/cs_lazy_false-unreach-call_true-termination.i unknown 0 wit inspect .83 36 9.6 error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
seq-pthread/cs_queue_false-unreach-call.i timeout 0 wit inspect 900    650 9300   error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .66 51 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
seq-pthread/cs_read_write_lock_false-unreach-call.i unknown 0 wit inspect 1.5  51 18   error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .66 50 error (invalid witness file) 0 wit inspect .0022 .26 - wit inspect - wit inspect
seq-pthread/cs_stack_false-unreach-call.i unknown 0 wit inspect 2.8  56 35   error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0035 .30 - wit inspect - wit inspect
seq-pthread/cs_stateful_false-unreach-call_true-termination.i unknown 0 wit inspect .53 35 6.7 error (invalid witness file) 0 wit inspect .38 43 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
seq-pthread/cs_dekker_true-unreach-call.i timeout 0 wit inspect 900    400 9200   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .019 4.8
seq-pthread/cs_fib_longer_true-unreach-call.i true 1 wit inspect 47    72 580   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2800 timeout 0 wit inspect 960     3000  
seq-pthread/cs_fib_true-unreach-call.i true 1 wit inspect 33    63 410   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3500 out of memory 0 wit inspect 500     7000  
seq-pthread/cs_lamport_true-unreach-call.i timeout 0 wit inspect 900    430 7300   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .025 4.9
seq-pthread/cs_peterson_true-unreach-call.i timeout 0 wit inspect 900    280 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .018 4.8
seq-pthread/cs_queue_true-unreach-call.i timeout 0 wit inspect 900    2500 9500   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .019 4.9
seq-pthread/cs_read_write_lock_true-unreach-call.i true 1 wit inspect 2.0  52 28   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1700 timeout 0 wit inspect 960     3900  
seq-pthread/cs_stack_true-unreach-call.i true 1 wit inspect 370    250 4000   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3100 error (7) 0 wit inspect 4.3   210  
seq-pthread/cs_stateful_true-unreach-call.i true 1 wit inspect 1.3  39 18   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1200 timeout 0 wit inspect 960     2300  
seq-pthread/cs_sync_true-unreach-call.i true 1 wit inspect 7.3  100 87   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4100 timeout 0 wit inspect 960     1300  
seq-pthread/cs_szymanski_true-unreach-call.i timeout 0 wit inspect 900    320 9800   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 45 error (2) 0 wit inspect .023 4.8
seq-pthread/cs_time_var_mutex_true-unreach-call.i true 1 wit inspect 2.1  49 27   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1400 timeout 0 wit inspect 960     3200  
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
total 273 77 86000 140000 970000 170 -1521 5000 170000 170 -4384 1000 45000 170 0 720 43000 170 -1919 100 2700 103 28 22000 120000 103 8 23000 180000
    correct results 88 99 490 4300 4800 47 47 230 14000 0 0 65 65 44 1200 14 28 1700 13000 4 8 320 6300
        correct true 11 22 16 330 210 0 0 0 0 14 28 1700 13000 4 8 320 6300
        correct false 77 77 480 3900 4600 47 47 230 14000 0 0 65 65 44 1200 0 0
    correct-unconfimed results 86 26 3900 12000 42000 0 0 0 0 0 0
        correct-unconfirmed true 26 26 2300 6200 26000 0 0 0 0 0 0
        correct-unconfirmed false 60 0 1600 5500 16000 0 0 0 0 0 0
    incorrect results 3 -48 380 1200 3400 49 -1568 980 40000 137 -4384 1000 45000 0 62 -1984 49 1200 0 0
        incorrect true 0 49 -1568 980 40000 137 -4384 1000 45000 0 62 -1984 49 1200 0 0
        incorrect false 3 -48 380 1200 3400 0 0 0 0 0 0
score (273 tasks, max score: 376) 77 -1521 -4384 0 -1919 28 8
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