Tool DepthK DepthK version 3.0 - Fri Jan 6 18:14:20 AMT 2017 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741 CPA-witness2test 1.6.1-svn 26773 CProver witness2test 0.1 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2 timelimit: 900 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB]
Date of execution 2017-11-30 16:01:31 CET 2017-12-01 08:31:47 CET 2017-12-01 08:56:50 CET 2017-12-01 08:59:39 CET 2017-12-01 09:01:39 CET 2017-12-01 08:10:33 CET 2017-12-01 08:38:18 CET
Run set depthk.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-depthk.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-depthk.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-depthk.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-depthk.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-depthk.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-depthk.sv-comp18-correctness-witness.ReachSafety-Sequentialized
Options -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/depthk.2017-11-30_1601.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/depthk.2017-11-30_1601.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/depthk.2017-11-30_1601.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/depthk.2017-11-30_1601.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/depthk.2017-11-30_1601.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/depthk.2017-11-30_1601.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 480    280 5900   true -32 wit inspect 5.4  270 true -32 wit inspect 5.9   250   unknown 0 wit inspect 3.9  230 false(unreach-call) 1 wit inspect .69   19    - wit inspect - wit inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 480    180 5500   true -32 wit inspect 6.0  280 true -32 wit inspect 5.9   250   unknown 0 wit inspect 3.9  220 false(unreach-call) 1 wit inspect .72   19    - wit inspect - wit inspect
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .47 110 6.5 timeout 0 wit inspect 94    2500 true -32 wit inspect 5.3   250   unknown 0 wit inspect 2.4  220 false(unreach-call) 1 wit inspect .65   18    - wit inspect - wit inspect
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .52 110 6.1 timeout 0 wit inspect 94    3100 true -32 wit inspect 5.7   250   unknown 0 wit inspect 3.4  210 false(unreach-call) 1 wit inspect .63   19    - wit inspect - wit inspect
systemc/pipeline_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 550    15000 5900   true -32 wit inspect 17    600 true -32 wit inspect 6.5   280   unknown 0 wit inspect 5.6  290 false(unreach-call) 1 wit inspect .85   21    - wit inspect - wit inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 2.4  110 28   true -32 wit inspect 3.2  270 true -32 wit inspect 5.7   240   unknown 0 wit inspect 3.9  220 false(unreach-call) 1 wit inspect .66   19    - wit inspect - wit inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.7  130 67   true -32 wit inspect 3.7  270 true -32 wit inspect 7.1   300   unknown 0 wit inspect 4.0  220 false(unreach-call) 1 wit inspect .69   19    - wit inspect - wit inspect
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 79    1200 850   true -32 wit inspect 5.7  270 true -32 wit inspect 6.1   270   unknown 0 wit inspect 4.1  220 false(unreach-call) 1 wit inspect .72   19    - wit inspect - wit inspect
systemc/token_ring.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 490    15000 6600   true -32 wit inspect 6.8  280 true -32 wit inspect 6.3   270   unknown 0 wit inspect 4.2  220 false(unreach-call) 1 wit inspect .73   19    - wit inspect - wit inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 490    11000 5600   true -32 wit inspect 7.5  280 true -32 wit inspect 6.5   280   unknown 0 wit inspect 4.5  220 false(unreach-call) 1 wit inspect .76   20    - wit inspect - wit inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 490    8700 6300   true -32 wit inspect 7.8  320 true -32 wit inspect 4.8   290   unknown 0 wit inspect 5.0  270 false(unreach-call) 1 wit inspect .80   20    - wit inspect - wit inspect
systemc/token_ring.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 490    5900 7100   true -32 wit inspect 8.8  370 true -32 wit inspect 7.3   300   unknown 0 wit inspect 5.6  280 false(unreach-call) 1 wit inspect .80   21    - wit inspect - wit inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 500    5800 6500   true -32 wit inspect 9.4  380 true -32 wit inspect 7.3   300   unknown 0 wit inspect 5.6  280 false(unreach-call) 1 wit inspect .84   20    - wit inspect - wit inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 500    6900 6700   true -32 wit inspect 10    470 true -32 wit inspect 7.6   310   unknown 0 wit inspect 6.4  340 false(unreach-call) 1 wit inspect .95   22    - wit inspect - wit inspect
systemc/token_ring.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 510    7300 5800   true -32 wit inspect 11    480 true -32 wit inspect 7.9   320   unknown 0 wit inspect 6.9  350 false(unreach-call) 1 wit inspect .99   23    - wit inspect - wit inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 520    12000 7500   true -32 wit inspect 11    480 true -32 wit inspect 8.4   330   unknown 0 wit inspect 6.6  350 false(unreach-call) 1 wit inspect 1.0    23    - wit inspect - wit inspect
systemc/token_ring.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 520    13000 7400   true -32 wit inspect 7.9  490 true -32 wit inspect 8.2   340   unknown 0 wit inspect 6.6  350 false(unreach-call) 1 wit inspect 1.1    24    - wit inspect - wit inspect
systemc/token_ring.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 530    12000 7200   true -32 wit inspect 13    500 true -32 wit inspect 8.1   350   unknown 0 wit inspect 7.0  360 false(unreach-call) 1 wit inspect 1.1    24    - wit inspect - wit inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 520    13000 6300   true -32 wit inspect 7.8  490 true -32 wit inspect 8.0   340   unknown 0 wit inspect 6.7  350 false(unreach-call) 1 wit inspect 1.1    24    - wit inspect - wit inspect
systemc/token_ring.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 530    12000 6400   true -32 wit inspect 12    480 true -32 wit inspect 5.4   340   unknown 0 wit inspect 6.6  340 false(unreach-call) 1 wit inspect 1.0    23    - wit inspect - wit inspect
systemc/toy1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 47    150 500   true -32 wit inspect 6.0  280 true -32 wit inspect 6.3   260   unknown 0 wit inspect 4.0  220 false(unreach-call) 1 wit inspect .69   19    - wit inspect - wit inspect
systemc/toy2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 480    250 5600   true -32 wit inspect 6.3  270 true -32 wit inspect 6.3   260   unknown 0 wit inspect 4.4  230 false(unreach-call) 1 wit inspect .70   19    - wit inspect - wit inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.2  110 16   true -32 wit inspect 4.6  270 true -32 wit inspect 5.6   240   unknown 0 wit inspect 3.5  220 false(unreach-call) 1 wit inspect .64   19    - wit inspect - wit inspect
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 2.4  110 32   true -32 wit inspect 5.1  270 true -32 wit inspect 5.8   250   unknown 0 wit inspect 3.6  220 false(unreach-call) 1 wit inspect .74   18    - wit inspect - wit inspect
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 23    370 260   true -32 wit inspect 5.5  280 true -32 wit inspect 6.0   260   unknown 0 wit inspect 3.8  220 false(unreach-call) 1 wit inspect .70   19    - wit inspect - wit inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 480    15000 5800   true -32 wit inspect 6.3  280 true -32 wit inspect 6.5   270   unknown 0 wit inspect 4.1  220 false(unreach-call) 1 wit inspect .72   19    - wit inspect - wit inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 480    14000 5600   true -32 wit inspect 7.4  280 true -32 wit inspect 4.6   280   unknown 0 wit inspect 4.3  220 false(unreach-call) 1 wit inspect .73   19    - wit inspect - wit inspect
systemc/transmitter.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 480    8700 6900   true -32 wit inspect 7.1  290 true -32 wit inspect 6.6   270   unknown 0 wit inspect 4.5  220 false(unreach-call) 1 wit inspect .75   20    - wit inspect - wit inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 480    3700 5600   true -32 wit inspect 8.2  330 true -32 wit inspect 6.9   290   unknown 0 wit inspect 5.1  230 false(unreach-call) 1 wit inspect .78   20    - wit inspect - wit inspect
systemc/transmitter.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 480    6400 5400   true -32 wit inspect 8.8  360 true -32 wit inspect 7.2   300   unknown 0 wit inspect 5.4  230 false(unreach-call) 1 wit inspect .81   20    - wit inspect - wit inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 490    6900 5200   true -32 wit inspect 9.0  410 true -32 wit inspect 7.2   300   unknown 0 wit inspect 5.3  230 false(unreach-call) 1 wit inspect .84   20    - wit inspect - wit inspect
systemc/transmitter.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 490    8200 5700   true -32 wit inspect 9.4  310 true -32 wit inspect 7.5   310   unknown 0 wit inspect 6.2  290 false(unreach-call) 1 wit inspect .89   21    - wit inspect - wit inspect
systemc/transmitter.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 490    9100 5900   true -32 wit inspect 11    430 true -32 wit inspect 7.9   320   unknown 0 wit inspect 6.3  290 false(unreach-call) 1 wit inspect .90   21    - wit inspect - wit inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 490    12000 6800   true -32 wit inspect 11    320 true -32 wit inspect 7.8   330   unknown 0 wit inspect 5.9  330 false(unreach-call) 1 wit inspect 1.0    22    - wit inspect - wit inspect
systemc/transmitter.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 490    13000 6300   true -32 wit inspect 11    470 true -32 wit inspect 7.7   340   unknown 0 wit inspect 6.1  330 false(unreach-call) 1 wit inspect .97   22    - wit inspect - wit inspect
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 480    13000 5800   true -32 wit inspect 12    460 true -32 wit inspect 7.5   330   unknown 0 wit inspect 5.1  220 false(unreach-call) 1 wit inspect .80   19    - wit inspect - wit inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 480    12000 6200   true -32 wit inspect 15    450 true -32 wit inspect 7.8   340   unknown 0 wit inspect 4.5  220 false(unreach-call) 1 wit inspect .82   19    - wit inspect - wit inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    770 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .018 5.0
systemc/kundu_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 890    310 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .77 41 error (2) 0 wit inspect .019 4.9
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    1300 8400   - 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
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    1400 8800   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 4.9
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    1500 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 41 error (2) 0 wit inspect .020 4.9
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    1300 9400   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .019 4.8
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 890    1200 9200   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 43 error (2) 0 wit inspect .027 4.8
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    480 9500   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 41 error (2) 0 wit inspect .018 4.9
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    470 7200   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .022 4.9
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    930 8100   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.8
systemc/pipeline_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    15000 10000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .019 4.9
systemc/token_ring.01_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 900    800 9300   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .021 5.0
systemc/token_ring.02_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 890    590 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .019 4.8
systemc/token_ring.03_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 890    1200 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .022 4.8
systemc/token_ring.04_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 890    14000 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 4.9
systemc/token_ring.05_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 890    11000 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .021 5.0
systemc/token_ring.06_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 890    8700 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 42 error (2) 0 wit inspect .019 4.9
systemc/token_ring.07_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 890    7300 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .022 4.8
systemc/token_ring.08_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 890    7200 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 44 error (2) 0 wit inspect .018 4.9
systemc/token_ring.09_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 890    7800 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 5.0
systemc/token_ring.10_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 890    10000 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .019 4.8
systemc/token_ring.11_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 890    12000 10000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 43 error (2) 0 wit inspect .035 4.9
systemc/token_ring.12_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 890    14000 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .019 4.9
systemc/token_ring.13_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 890    12000 10000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .018 4.8
systemc/toy_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 890    220 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .020 4.9
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 1.3  85 17   true -32 wit inspect 7.5  330 true -32 wit inspect 6.7   290   unknown 0 wit inspect 4.5  270 false(unreach-call) 1 wit inspect .76   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .90 85 11   true -32 wit inspect 6.2  260 true -32 wit inspect 6.9   290   unknown 0 wit inspect 4.2  220 false(unreach-call) 1 wit inspect .78   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 2.6  86 41   true -32 wit inspect 7.7  330 true -32 wit inspect 7.0   300   unknown 0 wit inspect 4.7  270 false(unreach-call) 1 wit inspect .80   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 2.2  85 27   true -32 wit inspect 6.7  270 true -32 wit inspect 6.8   280   unknown 0 wit inspect 3.0  220 false(unreach-call) 1 wit inspect .78   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 2.6  86 36   true -32 wit inspect 7.8  330 true -32 wit inspect 7.2   290   unknown 0 wit inspect 4.9  270 false(unreach-call) 1 wit inspect .78   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 2.2  85 29   true -32 wit inspect 6.6  270 true -32 wit inspect 7.2   290   unknown 0 wit inspect 4.5  220 false(unreach-call) 1 wit inspect .80   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 5.5  86 67   true -32 wit inspect 8.2  340 true -32 wit inspect 7.0   290   unknown 0 wit inspect 5.8  290 false(unreach-call) 1 wit inspect .89   21    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 7.3  85 97   true -32 wit inspect 7.8  290 true -32 wit inspect 6.6   290   unknown 0 wit inspect 5.4  290 false(unreach-call) 1 wit inspect .88   21    - 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 4.1  200 56   true -32 wit inspect 8.1  310 true -32 wit inspect 7.6   400   unknown 0 wit inspect 5.4  280 false(unreach-call) 1 wit inspect .82   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 3.9  190 61   true -32 wit inspect 5.0  280 true -32 wit inspect 8.5   350   unknown 0 wit inspect 5.3  280 false(unreach-call) 1 wit inspect .82   20    - 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 4.1  190 52   true -32 wit inspect 7.8  280 true -32 wit inspect 7.4   370   unknown 0 wit inspect 5.0  270 false(unreach-call) 1 wit inspect .87   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 3.8  190 44   true -32 wit inspect 7.2  280 true -32 wit inspect 7.3   350   unknown 0 wit inspect 5.1  270 false(unreach-call) 1 wit inspect .80   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 6.2  85 89   true -32 wit inspect 6.1  260 true -32 wit inspect 4.6   280   unknown 0 wit inspect 4.4  270 false(unreach-call) 1 wit inspect .77   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.5  85 83   true -32 wit inspect 5.4  260 true -32 wit inspect 6.9   280   unknown 0 wit inspect 4.1  220 false(unreach-call) 1 wit inspect .78   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 2.3  85 29   true -32 wit inspect 5.8  270 true -32 wit inspect 6.7   280   unknown 0 wit inspect 4.4  220 false(unreach-call) 1 wit inspect .76   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 2.2  85 26   true -32 wit inspect 5.4  260 true -32 wit inspect 6.6   280   unknown 0 wit inspect 4.0  220 false(unreach-call) 1 wit inspect .76   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 4.2  86 60   true -32 wit inspect 5.9  270 true -32 wit inspect 6.5   280   unknown 0 wit inspect 4.7  260 false(unreach-call) 1 wit inspect .81   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 4.9  85 64   true -32 wit inspect 5.5  270 true -32 wit inspect 6.4   290   unknown 0 wit inspect 4.2  220 false(unreach-call) 1 wit inspect .80   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 4.5  85 45   true -32 wit inspect 6.2  260 true -32 wit inspect 6.6   290   unknown 0 wit inspect 4.3  260 false(unreach-call) 1 wit inspect .78   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.3  85 85   true -32 wit inspect 5.6  260 true -32 wit inspect 6.5   280   unknown 0 wit inspect 4.2  220 false(unreach-call) 1 wit inspect .76   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 890    220 12000   error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .93 49 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 15    97 190   true -32 wit inspect 7.9  320 true -32 wit inspect 8.1   370   unknown 0 wit inspect 5.9  280 false(unreach-call) 1 wit inspect 1.1    21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 22    97 300   true -32 wit inspect 7.5  280 true -32 wit inspect 8.6   370   unknown 0 wit inspect 6.0  280 false(unreach-call) 1 wit inspect 1.0    20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 11    100 140   true -32 wit inspect 8.2  310 true -32 wit inspect 9.1   380   unknown 0 wit inspect 5.5  290 false(unreach-call) 1 wit inspect 1.0    20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 13    98 180   true -32 wit inspect 7.0  270 true -32 wit inspect 8.0   370   unknown 0 wit inspect 5.5  280 false(unreach-call) 1 wit inspect 1.1    20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 17    99 220   true -32 wit inspect 8.6  320 true -32 wit inspect 9.7   370   unknown 0 wit inspect 6.1  290 false(unreach-call) 1 wit inspect 1.1    21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 23    98 280   true -32 wit inspect 4.8  280 true -32 wit inspect 9.4   360   unknown 0 wit inspect 5.6  290 false(unreach-call) 1 wit inspect 1.0    21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 19    98 260   true -32 wit inspect 5.7  310 true -32 wit inspect 8.2   370   unknown 0 wit inspect 5.5  280 false(unreach-call) 1 wit inspect 1.0    21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 28    98 410   true -32 wit inspect 6.8  280 true -32 wit inspect 9.7   420   unknown 0 wit inspect 5.8  290 false(unreach-call) 1 wit inspect 1.0    21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 890    150 12000   error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .91 50 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 60    150 760   true -32 wit inspect 12    500 true -32 wit inspect 12     450   unknown 0 wit inspect 7.8  350 false(unreach-call) 1 wit inspect 1.6    23    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 98    150 1100   true -32 wit inspect 9.9  390 true -32 wit inspect 12     470   unknown 0 wit inspect 6.9  330 false(unreach-call) 1 wit inspect 1.5    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 47    140 650   true -32 wit inspect 7.7  450 true -32 wit inspect 12     450   unknown 0 wit inspect 4.8  330 false(unreach-call) 1 wit inspect 1.5    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 75    130 960   true -32 wit inspect 9.4  370 true -32 wit inspect 13     470   unknown 0 wit inspect 7.8  370 false(unreach-call) 1 wit inspect 1.5    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 65    130 870   true -32 wit inspect 12    410 true -32 wit inspect 15     460   unknown 0 wit inspect 7.1  340 false(unreach-call) 1 wit inspect 1.5    23    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 110    150 1200   true -32 wit inspect 9.7  380 true -32 wit inspect 13     460   unknown 0 wit inspect 6.8  330 false(unreach-call) 1 wit inspect 1.5    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 91    170 1300   true -32 wit inspect 11    470 true -32 wit inspect 11     440   unknown 0 wit inspect 8.4  350 false(unreach-call) 1 wit inspect 1.6    23    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 150    180 2100   true -32 wit inspect 6.4  330 true -32 wit inspect 12     460   unknown 0 wit inspect 7.1  310 false(unreach-call) 1 wit inspect 1.5    23    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 890    230 9700   error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .91 51 error (invalid witness file) 0 wit inspect .0012 .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 4.2  81 54   true -32 wit inspect 5.2  260 true -32 wit inspect 5.6   250   unknown 0 wit inspect 4.0  220 false(unreach-call) 1 wit inspect .70   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 5.9  80 76   true -32 wit inspect 4.6  260 true -32 wit inspect 6.1   260   unknown 0 wit inspect 3.9  220 false(unreach-call) 1 wit inspect .70   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 4.2  80 42   true -32 wit inspect 5.2  260 true -32 wit inspect 5.8   250   unknown 0 wit inspect 3.9  220 false(unreach-call) 1 wit inspect .71   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 5.8  80 70   true -32 wit inspect 4.9  260 true -32 wit inspect 4.0   250   unknown 0 wit inspect 2.7  210 false(unreach-call) 1 wit inspect .71   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 7.4  83 98   true -32 wit inspect 6.7  280 true -32 wit inspect 6.2   260   unknown 0 wit inspect 4.5  230 false(unreach-call) 1 wit inspect .74   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 11    83 120   true -32 wit inspect 5.1  260 true -32 wit inspect 6.2   260   unknown 0 wit inspect 4.3  220 false(unreach-call) 1 wit inspect .79   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 11    85 150   true -32 wit inspect 6.2  270 true -32 wit inspect 7.3   270   unknown 0 wit inspect 4.2  220 false(unreach-call) 1 wit inspect .74   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 11    82 150   true -32 wit inspect 5.2  260 true -32 wit inspect 6.2   270   unknown 0 wit inspect 4.1  220 false(unreach-call) 1 wit inspect .76   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 23    86 310   true -32 wit inspect 7.8  280 true -32 wit inspect 6.9   280   unknown 0 wit inspect 5.2  280 false(unreach-call) 1 wit inspect .86   20    - 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 23    87 320   true -32 wit inspect 6.4  280 true -32 wit inspect 7.0   280   unknown 0 wit inspect 4.9  230 false(unreach-call) 1 wit inspect .81   20    - 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 22    87 250   true -32 wit inspect 7.5  280 true -32 wit inspect 4.6   270   unknown 0 wit inspect 5.2  280 false(unreach-call) 1 wit inspect .79   20    - 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 23    85 300   true -32 wit inspect 6.5  280 true -32 wit inspect 4.5   280   unknown 0 wit inspect 4.7  220 false(unreach-call) 1 wit inspect .79   20    - 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 46    91 690   true -32 wit inspect 5.6  310 true -32 wit inspect 6.9   290   unknown 0 wit inspect 5.7  310 false(unreach-call) 1 wit inspect .85   21    - 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 51    88 620   true -32 wit inspect 6.3  290 true -32 wit inspect 7.1   300   unknown 0 wit inspect 5.4  280 false(unreach-call) 1 wit inspect .94   21    - 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 27    88 340   true -32 wit inspect 5.5  310 true -32 wit inspect 6.9   290   unknown 0 wit inspect 5.3  290 false(unreach-call) 1 wit inspect .85   21    - 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 48    90 680   true -32 wit inspect 6.7  280 true -32 wit inspect 6.7   280   unknown 0 wit inspect 5.5  290 false(unreach-call) 1 wit inspect .85   21    - 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 4.0  79 46   true -32 wit inspect 4.9  270 true -32 wit inspect 5.9   260   unknown 0 wit inspect 3.9  220 false(unreach-call) 1 wit inspect .70   19    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 6.1  79 78   true -32 wit inspect 5.0  260 true -32 wit inspect 5.3   250   unknown 0 wit inspect 4.3  230 false(unreach-call) 1 wit inspect .71   19    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 900    200 13000   error (invalid witness file) 0 wit inspect .54 45 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 .29 - 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 11    81 130   true -32 wit inspect 6.4  280 true -32 wit inspect 6.2   260   unknown 0 wit inspect 4.5  230 false(unreach-call) 1 wit inspect .74   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 12    80 170   true -32 wit inspect 5.3  270 true -32 wit inspect 6.2   260   unknown 0 wit inspect 4.3  220 false(unreach-call) 1 wit inspect .74   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 890    210 13000   error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .90 50 error (invalid witness file) 0 wit inspect .0012 .29 - 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 21    83 300   true -32 wit inspect 7.2  280 true -32 wit inspect 6.7   270   unknown 0 wit inspect 5.5  280 false(unreach-call) 1 wit inspect .89   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 24    83 320   true -32 wit inspect 6.3  300 true -32 wit inspect 6.1   280   unknown 0 wit inspect 5.9  240 false(unreach-call) 1 wit inspect .79   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 890    200 11000   error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0015 .26 - 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 45    86 580   true -32 wit inspect 7.4  290 true -32 wit inspect 6.8   270   unknown 0 wit inspect 5.8  290 false(unreach-call) 1 wit inspect .85   22    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 51    85 640   true -32 wit inspect 7.2  310 true -32 wit inspect 6.6   280   unknown 0 wit inspect 5.8  290 false(unreach-call) 1 wit inspect .86   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 890    150 10000   error (invalid witness file) 0 wit inspect .53 45 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0012 .32 - 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 100    110 1300   true -32 wit inspect 9.0  380 true -32 wit inspect 8.1   290   unknown 0 wit inspect 5.9  330 false(unreach-call) 1 wit inspect .92   22    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 110    110 1400   true -32 wit inspect 7.5  350 true -32 wit inspect 7.1   290   unknown 0 wit inspect 5.8  320 false(unreach-call) 1 wit inspect .92   22    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 890    150 12000   error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .92 47 error (invalid witness file) 0 wit inspect .0012 .32 - 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 54    110 620   true -32 wit inspect 9.4  460 true -32 wit inspect 7.8   300   unknown 0 wit inspect 6.3  340 false(unreach-call) 1 wit inspect .99   23    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 180    130 2700   true -32 wit inspect 7.3  340 true -32 wit inspect 8.5   350   unknown 0 wit inspect 4.1  330 false(unreach-call) 1 wit inspect 1.0    23    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 890    140 11000   error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 4.6  87 65   true -32 wit inspect 6.2  270 true -32 wit inspect 7.7   300   unknown 0 wit inspect 4.2  220 false(unreach-call) 1 wit inspect .79   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 6.0  86 84   true -32 wit inspect 3.7  270 true -32 wit inspect 7.1   300   unknown 0 wit inspect 4.3  220 false(unreach-call) 1 wit inspect .80   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 3.3  86 42   true -32 wit inspect 4.2  270 true -32 wit inspect 4.8   290   unknown 0 wit inspect 4.5  270 false(unreach-call) 1 wit inspect .79   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 2.6  86 31   true -32 wit inspect 6.1  260 true -32 wit inspect 6.8   290   unknown 0 wit inspect 4.3  220 false(unreach-call) 1 wit inspect .80   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 5.1  86 71   true -32 wit inspect 4.4  280 true -32 wit inspect 4.6   290   unknown 0 wit inspect 4.3  270 false(unreach-call) 1 wit inspect .82   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.8  86 74   true -32 wit inspect 5.7  260 true -32 wit inspect 6.4   290   unknown 0 wit inspect 4.5  240 false(unreach-call) 1 wit inspect .80   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 5.1  87 66   true -32 wit inspect 6.4  270 true -32 wit inspect 6.7   300   unknown 0 wit inspect 4.4  270 false(unreach-call) 1 wit inspect .81   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.8  86 80   true -32 wit inspect 5.8  260 true -32 wit inspect 6.6   290   unknown 0 wit inspect 4.3  220 false(unreach-call) 1 wit inspect .89   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 890    240 10000   error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect 1.0  47 error (invalid witness file) 0 wit inspect .0012 .31 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 17    100 250   true -32 wit inspect 8.1  330 true -32 wit inspect 8.2   380   unknown 0 wit inspect 4.0  280 false(unreach-call) 1 wit inspect 1.1    21    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 25    99 350   true -32 wit inspect 7.4  280 true -32 wit inspect 8.5   380   unknown 0 wit inspect 6.6  280 false(unreach-call) 1 wit inspect 1.1    21    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 14    100 180   true -32 wit inspect 8.1  330 true -32 wit inspect 8.3   380   unknown 0 wit inspect 5.4  280 false(unreach-call) 1 wit inspect 1.1    20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 14    100 200   true -32 wit inspect 7.4  280 true -32 wit inspect 9.1   380   unknown 0 wit inspect 5.7  290 false(unreach-call) 1 wit inspect 1.1    21    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 19    100 290   true -32 wit inspect 9.5  360 true -32 wit inspect 8.7   380   unknown 0 wit inspect 5.9  290 false(unreach-call) 1 wit inspect 1.1    21    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 25    100 320   true -32 wit inspect 7.1  280 true -32 wit inspect 8.8   390   unknown 0 wit inspect 5.8  280 false(unreach-call) 1 wit inspect 1.1    21    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 25    100 310   true -32 wit inspect 8.7  360 true -32 wit inspect 8.7   390   unknown 0 wit inspect 6.2  290 false(unreach-call) 1 wit inspect 1.1    20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 25    100 290   true -32 wit inspect 7.8  290 true -32 wit inspect 8.4   380   unknown 0 wit inspect 6.1  300 false(unreach-call) 1 wit inspect 1.1    21    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 890    160 13000   error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0012 .31 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 70    140 1100   true -32 wit inspect 12    470 true -32 wit inspect 12     460   unknown 0 wit inspect 8.0  350 false(unreach-call) 1 wit inspect 1.6    23    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 94    160 1100   true -32 wit inspect 10    400 true -32 wit inspect 8.3   460   unknown 0 wit inspect 7.2  340 false(unreach-call) 1 wit inspect 1.6    23    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 50    140 750   true -32 wit inspect 12    460 true -32 wit inspect 12     450   unknown 0 wit inspect 7.1  310 false(unreach-call) 1 wit inspect 1.6    22    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 68    130 800   true -32 wit inspect 10    400 true -32 wit inspect 12     480   unknown 0 wit inspect 7.5  330 false(unreach-call) 1 wit inspect 1.6    22    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 58    140 780   true -32 wit inspect 13    500 true -32 wit inspect 12     450   unknown 0 wit inspect 7.1  330 false(unreach-call) 1 wit inspect 1.7    23    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 99    160 1400   true -32 wit inspect 11    410 true -32 wit inspect 11     450   unknown 0 wit inspect 8.7  350 false(unreach-call) 1 wit inspect 1.7    23    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 110    180 1400   true -32 wit inspect 13    500 true -32 wit inspect 13     470   unknown 0 wit inspect 7.0  340 false(unreach-call) 1 wit inspect 1.6    23    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 140    180 1800   true -32 wit inspect 9.7  380 true -32 wit inspect 8.0   450   unknown 0 wit inspect 8.4  370 false(unreach-call) 1 wit inspect 1.8    23    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 890    220 9800   error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .89 50 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c unknown 0 wit inspect 890    520 11000   error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .87 47 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c unknown 0 wit inspect 890    6200 9300   error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .87 47 error (invalid witness file) 0 wit inspect .0013 .36 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c unknown 0 wit inspect 890    520 10000   error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c unknown 0 wit inspect 900    6200 8000   error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0012 .30 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c unknown 0 wit inspect 890    690 8700   error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0015 .32 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c unknown 0 wit inspect 900    7300 8400   error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .93 49 error (invalid witness file) 0 wit inspect .0037 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c unknown 0 wit inspect 890    670 10000   error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .93 49 error (invalid witness file) 0 wit inspect .0013 .33 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c unknown 0 wit inspect 890    7100 8000   error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c unknown 0 wit inspect 890    3700 6200   error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c unknown 0 wit inspect 890    7500 6800   error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .83 51 error (invalid witness file) 0 wit inspect .0012 .32 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c unknown 0 wit inspect 890    1500 9600   error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0013 .30 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c unknown 0 wit inspect 900    12000 7800   error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .87 51 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c unknown 0 wit inspect 890    1900 9800   error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .89 48 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c out of memory 0 wit inspect 17    15000 150   error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .85 50 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c false(unreach-call) 0 wit inspect 620    2000 6800   true -32 wit inspect 21    840 true -32 wit inspect 16     490   unknown 0 wit inspect 9.2  440 error (2) 0 wit inspect 1.7    29    - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c unknown 0 wit inspect 890    5700 8000   error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .87 47 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c false(unreach-call) 0 wit inspect 640    1800 6700   true -32 wit inspect 18    800 true -32 wit inspect 16     500   unknown 0 wit inspect 9.2  540 error (2) 0 wit inspect 1.7    29    - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c unknown 0 wit inspect 890    5900 12000   error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c false(unreach-call) 0 wit inspect 600    2900 5800   true -32 wit inspect 20    630 true -32 wit inspect 15     670   unknown 0 wit inspect 7.9  320 error (2) 0 wit inspect 1.5    30    - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c unknown 0 wit inspect 900    13000 7700   error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c unknown 0 wit inspect 890    2600 11000   error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .87 47 error (invalid witness file) 0 wit inspect .0011 .30 - wit inspect - wit inspect
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c unknown 0 wit inspect 890    4000 6500   error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .90 48 error (invalid witness file) 0 wit inspect .0012 .33 - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c false(unreach-call) 0 wit inspect 740    4200 7900   timeout 0 wit inspect 95    2700 true -32 wit inspect 15     490   unknown 0 wit inspect 5.6  400 error (2) 0 wit inspect 1.5    27    - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c out of memory 0 wit inspect 23    15000 190   error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .96 48 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c unknown 0 wit inspect 890    4800 9700   timeout 0 wit inspect 96    5300 timeout 0 wit inspect 97     1300   unknown 0 wit inspect 1.5  78 error (1) 0 wit inspect .34   35    - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c out of memory 0 wit inspect 29    15000 270   error (invalid witness file) 0 wit inspect .59 45 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c true 2 wit inspect 170    960 1900   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 250    910 out of memory 0 wit inspect 790     7000  
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 900    410 13000   - 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/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 52    1100 500   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 120    2700 true 2 wit inspect 280     4800  
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 900    530 10000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 44 error (2) 0 wit inspect .019 5.0
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 300    4100 3300   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 34    410 out of memory 0 wit inspect 140     7000  
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 470    4000 5100   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 19    360 out of memory 0 wit inspect 150     7000  
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900    2800 10000   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    690 out of memory 0 wit inspect 140     7000  
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 890    98 15000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .020 4.9
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c unknown 0 wit inspect 890    230 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .025 4.9
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 890    240 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.9
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 240    770 2500   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 18    470 out of memory 0 wit inspect 150     7000  
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 260    960 2800   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 20    510 out of memory 0 wit inspect 190     7000  
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect 270    1400 3200   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 54    560 out of memory 0 wit inspect 170     7000  
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 370    1400 4000   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 57    730 out of memory 0 wit inspect 150     7000  
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 410    4200 4100   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 250    670 out of memory 0 wit inspect 130     7000  
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900    3000 11000   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 220    640 out of memory 0 wit inspect 100     7000  
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 900    4300 10000   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1000 out of memory 0 wit inspect 140     7000  
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 890    160 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .017 5.0
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 220    790 2500   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 15    330 timeout 0 wit inspect 960     4900  
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 190    830 2100   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 12    360 timeout 0 wit inspect 960     3800  
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect 240    880 2700   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 30    520 out of memory 0 wit inspect 260     7000  
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 320    1000 3500   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 50    1100 out of memory 0 wit inspect 190     7000  
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 290    1600 3100   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 65    530 out of memory 0 wit inspect 220     7000  
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 670    2300 7500   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 250    2400 out of memory 0 wit inspect 140     7000  
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c true 2 wit inspect 450    1800 5500   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 220    670 out of memory 0 wit inspect 190     7000  
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 890    150 14000   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 180    650 out of memory 0 wit inspect 170     7000  
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c true 1 wit inspect 880    2800 9800   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1100 out of memory 0 wit inspect 130     7000  
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 890    170 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_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c timeout 0 wit inspect 900    2600 11000   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1300 out of memory 0 wit inspect 140     7000  
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 890    180 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .019 5.0
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 350    3800 3600   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 33    430 out of memory 0 wit inspect 130     7000  
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 390    4000 5000   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 20    380 out of memory 0 wit inspect 130     7000  
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900    3500 9500   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    870 out of memory 0 wit inspect 170     7000  
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 890    100 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.8
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c unknown 0 wit inspect 890    230 9500   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .018 5.0
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 890    230 10000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 42 error (2) 0 wit inspect .018 4.8
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c unknown 0 wit inspect 890    520 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 44 error (2) 0 wit inspect .018 5.0
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c unknown 0 wit inspect 900    6200 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
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c unknown 0 wit inspect 890    680 9700   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 45 error (2) 0 wit inspect .021 4.9
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c unknown 0 wit inspect 890    7400 9700   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .78 43 error (2) 0 wit inspect .018 4.8
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c unknown 0 wit inspect 890    3900 6700   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 44 error (2) 0 wit inspect .020 4.8
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c unknown 0 wit inspect 890    3800 5800   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c unknown 0 wit inspect 890    7600 7100   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .018 4.8
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c unknown 0 wit inspect 900    12000 6800   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .018 4.9
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c unknown 0 wit inspect 890    1500 9000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .020 4.9
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c unknown 0 wit inspect 890    12000 8700   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 44 error (2) 0 wit inspect .021 4.9
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c unknown 0 wit inspect 890    1600 9700   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .017 4.8
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c unknown 0 wit inspect 890    13000 8500   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.8
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c unknown 0 wit inspect 890    1900 9300   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .019 4.8
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c out of memory 0 wit inspect 17    15000 130   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .020 4.9
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c timeout 0 wit inspect 900    5600 8900   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    6300 timeout 0 wit inspect 960     2700  
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c unknown 0 wit inspect 890    5700 8300   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .023 4.9
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c false(unreach-call) -16 wit inspect 640    2900 6700   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 27    880 true 2 wit inspect 21     640  
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c unknown 0 wit inspect 900    13000 8200   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 45 error (2) 0 wit inspect .020 4.9
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c false(unreach-call) -16 wit inspect 680    2900 6700   - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 32    900 true 2 wit inspect 22     680  
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c unknown 0 wit inspect 900    13000 7300   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .050 4.9
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c unknown 0 wit inspect 890    2700 8200   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .021 4.8
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c unknown 0 wit inspect 890    2600 9700   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .50 41 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c unknown 0 wit inspect 890    4100 6900   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c unknown 0 wit inspect 890    5200 6300   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .019 5.0
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c timeout 0 wit inspect 900    5600 8500   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    6100 timeout 0 wit inspect 960     5000  
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c out of memory 0 wit inspect 22    15000 190   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 43 error (2) 0 wit inspect .020 4.8
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c timeout 0 wit inspect 900    12000 11000   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    5200 timeout 0 wit inspect 960     1600  
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c out of memory 0 wit inspect 23    15000 260   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .022 4.9
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c timeout 0 wit inspect 900    11000 9000   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    5500 timeout 0 wit inspect 960     1500  
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c out of memory 0 wit inspect 28    15000 270   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .020 4.8
seq-pthread/cs_fib_false-unreach-call.i unknown 0 wit inspect 890    120 11000   error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-pthread/cs_fib_longer_false-unreach-call.i unknown 0 wit inspect 890    160 11000   error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0012 .28 - wit inspect - wit inspect
seq-pthread/cs_lazy_false-unreach-call_true-termination.i unknown 0 wit inspect 47    64 640   error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .88 47 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-pthread/cs_queue_false-unreach-call.i unknown 0 wit inspect 890    640 13000   error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .88 47 error (invalid witness file) 0 wit inspect .0014 .28 - wit inspect - wit inspect
seq-pthread/cs_read_write_lock_false-unreach-call.i false(unreach-call) 0 wit inspect 17    140 200   true -32 wit inspect 7.6  290 true -32 wit inspect 6.9   300   unknown 0 wit inspect 4.6  260 error (2) 0 wit inspect .76   19    - wit inspect - wit inspect
seq-pthread/cs_stack_false-unreach-call.i unknown 0 wit inspect 140    89 1700   error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0013 .34 - wit inspect - wit inspect
seq-pthread/cs_stateful_false-unreach-call_true-termination.i unknown 0 wit inspect 44    65 560   error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .90 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-pthread/cs_dekker_true-unreach-call.i unknown 0 wit inspect 890    2800 10000   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1600 error (7) 0 wit inspect 160     3600  
seq-pthread/cs_fib_longer_true-unreach-call.i unknown 0 wit inspect 890    430 12000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .047 4.9
seq-pthread/cs_fib_true-unreach-call.i unknown 0 wit inspect 890    310 11000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .038 4.8
seq-pthread/cs_lamport_true-unreach-call.i unknown 0 wit inspect 890    430 8700   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .018 4.9
seq-pthread/cs_peterson_true-unreach-call.i true 1 wit inspect 120    220 1400   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1500 timeout 0 wit inspect 960     2100  
seq-pthread/cs_queue_true-unreach-call.i unknown 0 wit inspect 900    610 11000   - 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
seq-pthread/cs_read_write_lock_true-unreach-call.i true 1 wit inspect 31    130 360   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1700 timeout (error (7)) 0 wit inspect 910     3700  
seq-pthread/cs_stack_true-unreach-call.i unknown 0 wit inspect 150    150 1900   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .018 4.8
seq-pthread/cs_stateful_true-unreach-call.i unknown 0 wit inspect 48    120 680   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .018 4.9
seq-pthread/cs_sync_true-unreach-call.i true 1 wit inspect 160    780 1400   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4300 timeout 0 wit inspect 960     1900  
seq-pthread/cs_szymanski_true-unreach-call.i unknown 0 wit inspect 890    570 7500   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1700 timeout 0 wit inspect 960     3200  
seq-pthread/cs_time_var_mutex_true-unreach-call.i true 1 wit inspect 23    120 280   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1400 timeout 0 wit inspect 960     2200  
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 134 120000 840000 1400000 170 -4064 1400 58000 170 -4160 1100 44000 170 0 730 38000 170 125 130 2700 103 44 16000 60000 103 6 15000 200000
    correct results 143 161 22000 310000 270000 0 0 0 125 125 120 2600 22 44 2000 17000 3 6 320 6100
        correct true 18 36 5600 36000 63000 0 0 0 0 22 44 2000 17000 3 6 320 6100
        correct false 125 125 17000 270000 210000 0 0 0 125 125 120 2600 0 0
    correct-unconfimed results 10 5 3800 15000 41000 0 0 0 0 0 0
        correct-unconfirmed true 5 5 1200 4000 13000 0 0 0 0 0 0
        correct-unconfirmed false 5 0 2600 11000 27000 0 0 0 0 0 0
    incorrect results 2 -32 1300 5800 13000 127 -4064 1000 43000 130 -4160 1000 43000 0 0 0 0
        incorrect true 0 127 -4064 1000 43000 130 -4160 1000 43000 0 0 0 0
        incorrect false 2 -32 1300 5800 13000 0 0 0 0 0 0
score (273 tasks, max score: 376) 134 -4064 -4160 0 125 44 6
Run set depthk.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-depthk.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-depthk.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-depthk.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-depthk.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-depthk.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-depthk.sv-comp18-correctness-witness.ReachSafety-Sequentialized