Tool CBMC 5.8 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741 CPA-witness2test 1.6.1-svn 26773 CProver witness2test 0.1 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2 timelimit: 900 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB]
Date of execution 2017-11-30 11:20:26 CET 2017-12-01 07:26:01 CET 2017-12-01 07:56:00 CET 2017-12-01 08:08:00 CET 2017-12-01 08:15:34 CET 2017-12-01 04:22:29 CET 2017-12-01 07:31:28 CET
Run set cbmc.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-cbmc.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-cbmc.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-cbmc.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-cbmc.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-cbmc.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-cbmc.sv-comp18-correctness-witness.ReachSafety-Sequentialized
Options --graphml-witness witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cbmc.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc -setprop cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc -setprop cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc -setprop cpa.smg.deallocationFunctions=free,kfree,kfree_const --full-output --validate ../../results-verified/cbmc.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cbmc.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true --graphml-witness ../../results-verified/cbmc.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cbmc.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/cbmc.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy
systemc/kundu1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 3.4  74 38   false(unreach-call) 1 wit inspect 7.1  300 false(unreach-call) 1 wit inspect 18     660   unknown 0 wit inspect 5.4  230 false(unreach-call) 1 wit inspect .71   20    - wit inspect - wit inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .48 35 4.9 false(unreach-call) 1 wit inspect 5.0  280 false(unreach-call) 1 wit inspect 15     670   unknown 0 wit inspect 5.6  230 false(unreach-call) 1 wit inspect .69   19    - wit inspect - wit inspect
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .33 34 3.0 false(unreach-call) 1 wit inspect 4.3  260 true -32 wit inspect 5.2   250   unknown 0 wit inspect 4.0  220 false(unreach-call) 1 wit inspect .79   19    - wit inspect - wit inspect
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .34 34 3.2 false(unreach-call) 1 wit inspect 4.2  270 true -32 wit inspect 6.4   260   unknown 0 wit inspect 5.6  220 false(unreach-call) 1 wit inspect .67   19    - wit inspect - wit inspect
systemc/pipeline_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 16    390 200   false(unreach-call) 1 wit inspect 9.4  400 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 21    1400 false(unreach-call) 1 wit inspect .97   26    - wit inspect - wit inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 2.0  61 24   false(unreach-call) 1 wit inspect 3.0  270 false(unreach-call) 1 wit inspect 18     620   unknown 0 wit inspect 4.2  220 false(unreach-call) 1 wit inspect .65   19    - wit inspect - wit inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 3.2  95 41   false(unreach-call) 1 wit inspect 4.7  280 false(unreach-call) 1 wit inspect 31     810   unknown 0 wit inspect 5.7  230 false(unreach-call) 1 wit inspect .67   19    - wit inspect - wit inspect
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.0  140 59   false(unreach-call) 1 wit inspect 5.4  280 false(unreach-call) 1 wit inspect 33     1100   unknown 0 wit inspect 6.3  270 false(unreach-call) 1 wit inspect .70   20    - wit inspect - wit inspect
systemc/token_ring.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 7.4  180 100   false(unreach-call) 1 wit inspect 6.6  290 false(unreach-call) 1 wit inspect 53     1800   unknown 0 wit inspect 6.2  310 false(unreach-call) 1 wit inspect .74   20    - wit inspect - wit inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 11    250 130   false(unreach-call) 1 wit inspect 7.1  300 false(unreach-call) 1 wit inspect 76     2500   unknown 0 wit inspect 9.2  320 false(unreach-call) 1 wit inspect .80   21    - wit inspect - wit inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 16    310 210   false(unreach-call) 1 wit inspect 8.0  290 timeout 0 wit inspect 97     3200   unknown 0 wit inspect 8.1  350 false(unreach-call) 1 wit inspect .89   21    - wit inspect - wit inspect
systemc/token_ring.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 22    380 220   false(unreach-call) 1 wit inspect 6.9  300 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 8.9  460 false(unreach-call) 1 wit inspect .77   22    - wit inspect - wit inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 31    470 330   false(unreach-call) 1 wit inspect 8.2  300 timeout 0 wit inspect 98     4500   unknown 0 wit inspect 9.5  380 false(unreach-call) 1 wit inspect 1.0    22    - wit inspect - wit inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 44    550 430   false(unreach-call) 1 wit inspect 9.0  310 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 8.4  540 false(unreach-call) 1 wit inspect .98   23    - wit inspect - wit inspect
systemc/token_ring.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 58    670 450   false(unreach-call) 1 wit inspect 8.3  320 timeout 0 wit inspect 96     4500   unknown 0 wit inspect 13    530 false(unreach-call) 1 wit inspect .86   23    - wit inspect - wit inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 77    770 640   false(unreach-call) 1 wit inspect 8.9  360 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 12    600 false(unreach-call) 1 wit inspect .89   24    - wit inspect - wit inspect
systemc/token_ring.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 99    870 670   false(unreach-call) 1 wit inspect 12    410 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 15    790 false(unreach-call) 1 wit inspect .96   25    - wit inspect - wit inspect
systemc/token_ring.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 130    1000 800   false(unreach-call) 1 wit inspect 11    440 timeout 0 wit inspect 96     4500   unknown 0 wit inspect 15    790 false(unreach-call) 1 wit inspect .95   26    - wit inspect - wit inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 98    870 830   false(unreach-call) 1 wit inspect 11    410 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 16    830 false(unreach-call) 1 wit inspect 1.1    26    - wit inspect - wit inspect
systemc/token_ring.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 120    1000 1000   false(unreach-call) 1 wit inspect 9.9  430 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 17    820 false(unreach-call) 1 wit inspect .99   26    - wit inspect - wit inspect
systemc/toy1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 3.2  65 42   false(unreach-call) 1 wit inspect 7.5  300 false(unreach-call) 1 wit inspect 36     820   unknown 0 wit inspect 6.7  270 false(unreach-call) 1 wit inspect .68   20    - wit inspect - wit inspect
systemc/toy2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 3.2  63 38   false(unreach-call) 1 wit inspect 6.6  290 false(unreach-call) 1 wit inspect 48     1700   unknown 0 wit inspect 10    490 false(unreach-call) 1 wit inspect .96   22    - wit inspect - wit inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .29 34 2.4 false(unreach-call) 1 wit inspect 4.8  270 false(unreach-call) 1 wit inspect 14     530   unknown 0 wit inspect 3.5  210 false(unreach-call) 1 wit inspect .84   19    - wit inspect - wit inspect
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .34 34 3.1 false(unreach-call) 1 wit inspect 4.5  270 false(unreach-call) 1 wit inspect 24     590   unknown 0 wit inspect 4.0  220 false(unreach-call) 1 wit inspect .71   19    - wit inspect - wit inspect
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .39 35 4.1 false(unreach-call) 1 wit inspect 4.8  280 false(unreach-call) 1 wit inspect 30     880   unknown 0 wit inspect 5.0  220 false(unreach-call) 1 wit inspect .78   19    - wit inspect - wit inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .48 38 4.8 false(unreach-call) 1 wit inspect 5.4  280 false(unreach-call) 1 wit inspect 39     1300   unknown 0 wit inspect 5.1  220 false(unreach-call) 1 wit inspect .90   19    - wit inspect - wit inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .55 40 6.5 false(unreach-call) 1 wit inspect 6.2  290 false(unreach-call) 1 wit inspect 64     1700   unknown 0 wit inspect 6.3  310 false(unreach-call) 1 wit inspect .71   20    - wit inspect - wit inspect
systemc/transmitter.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .64 43 8.9 false(unreach-call) 1 wit inspect 6.7  290 false(unreach-call) 1 wit inspect 82     2500   unknown 0 wit inspect 6.7  320 false(unreach-call) 1 wit inspect .94   21    - wit inspect - wit inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .77 45 10   false(unreach-call) 1 wit inspect 6.7  290 timeout 0 wit inspect 97     3900   unknown 0 wit inspect 8.5  330 false(unreach-call) 1 wit inspect .95   21    - wit inspect - wit inspect
systemc/transmitter.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .93 50 11   false(unreach-call) 1 wit inspect 7.8  310 timeout 0 wit inspect 97     4100   unknown 0 wit inspect 9.1  430 false(unreach-call) 1 wit inspect .82   21    - wit inspect - wit inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.1  55 13   false(unreach-call) 1 wit inspect 8.0  310 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 11    480 false(unreach-call) 1 wit inspect .87   22    - wit inspect - wit inspect
systemc/transmitter.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.3  59 18   false(unreach-call) 1 wit inspect 8.2  320 timeout 0 wit inspect 98     4600   unknown 0 wit inspect 14    500 false(unreach-call) 1 wit inspect .84   23    - wit inspect - wit inspect
systemc/transmitter.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.5  66 18   false(unreach-call) 1 wit inspect 11    360 timeout 0 wit inspect 96     4500   unknown 0 wit inspect 15    530 false(unreach-call) 1 wit inspect .88   23    - wit inspect - wit inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.7  71 20   false(unreach-call) 1 wit inspect 9.6  380 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 11    600 false(unreach-call) 1 wit inspect 1.1    25    - wit inspect - wit inspect
systemc/transmitter.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 2.0  81 21   false(unreach-call) 1 wit inspect 9.1  400 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 14    750 false(unreach-call) 1 wit inspect 1.2    25    - wit inspect - wit inspect
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.6  65 23   false(unreach-call) 1 wit inspect 6.5  270 true -32 wit inspect 8.3   340   unknown 0 wit inspect 3.8  280 false(unreach-call) 1 wit inspect .77   20    - wit inspect - wit inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.8  69 20   false(unreach-call) 1 wit inspect 6.6  300 true -32 wit inspect 9.0   380   unknown 0 wit inspect 9.8  400 false(unreach-call) 1 wit inspect .91   20    - wit inspect - wit inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    1800 5300   - 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
systemc/kundu_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    680 5500   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .018 4.8
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    2100 6000   - 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
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    610 5100   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 44 error (2) 0 wit inspect .018 4.8
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    630 4900   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .021 4.8
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    640 5700   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.8
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    670 6400   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 5.0
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    920 4300   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .020 5.0
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    730 7700   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .047 4.8
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    690 4600   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .024 4.9
systemc/pipeline_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    440 3400   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .019 4.8
systemc/token_ring.01_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    780 4500   - 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/token_ring.02_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    820 4000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.8
systemc/token_ring.03_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    1200 6800   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .022 4.9
systemc/token_ring.04_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    810 4400   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .036 4.8
systemc/token_ring.05_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    1100 6000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .020 4.8
systemc/token_ring.06_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    1400 6900   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 44 error (2) 0 wit inspect .019 4.9
systemc/token_ring.07_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    1800 4200   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 46 error (2) 0 wit inspect .019 4.8
systemc/token_ring.08_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    500 3600   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 5.0
systemc/token_ring.09_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    570 4100   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .019 4.9
systemc/token_ring.10_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    690 4000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 45 error (2) 0 wit inspect .048 5.0
systemc/token_ring.11_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    790 4100   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .020 4.9
systemc/token_ring.12_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    920 5000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .018 4.9
systemc/token_ring.13_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    1100 4800   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .018 4.9
systemc/toy_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    700 9200   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .019 4.8
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect .44 36 4.4 true -32 wit inspect 6.6  270 false(unreach-call) 1 wit inspect 14     550   unknown 0 wit inspect 4.9  270 false(unreach-call) 1 wit inspect .77   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .43 35 6.1 true -32 wit inspect 5.4  260 false(unreach-call) 1 wit inspect 14     530   unknown 0 wit inspect 5.1  270 false(unreach-call) 1 wit inspect .81   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 .49 35 4.4 true -32 wit inspect 11    300 false(unreach-call) 1 wit inspect 23     740   unknown 0 wit inspect 5.8  280 false(unreach-call) 1 wit inspect .80   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .48 35 5.2 true -32 wit inspect 9.3  410 false(unreach-call) 1 wit inspect 18     720   unknown 0 wit inspect 7.6  280 false(unreach-call) 1 wit inspect .92   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect .50 36 4.9 true -32 wit inspect 9.0  410 false(unreach-call) 1 wit inspect 20     720   unknown 0 wit inspect 6.6  280 false(unreach-call) 1 wit inspect .90   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 .47 37 5.8 true -32 wit inspect 11    410 false(unreach-call) 1 wit inspect 19     740   unknown 0 wit inspect 6.4  280 false(unreach-call) 1 wit inspect .86   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 1.8  43 21   true -32 wit inspect 9.5  430 false(unreach-call) 1 wit inspect 77     3900   unknown 0 wit inspect 8.3  410 false(unreach-call) 1 wit inspect 1.1    23    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.8  44 24   true -32 wit inspect 6.9  300 false(unreach-call) 1 wit inspect 78     3700   unknown 0 wit inspect 8.5  410 false(unreach-call) 1 wit inspect 1.1    23    - 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 1.3  42 15   true -32 wit inspect 8.0  330 false(unreach-call) 1 wit inspect 30     1000   unknown 0 wit inspect 8.0  350 true -32 wit inspect .86   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.4  42 14   true -32 wit inspect 8.5  280 false(unreach-call) 1 wit inspect 22     970   unknown 0 wit inspect 10    360 true -32 wit inspect 1.0    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 1.5  41 18   true -32 wit inspect 8.6  330 false(unreach-call) 1 wit inspect 80     3900   unknown 0 wit inspect 14    440 true -32 wit inspect .86   23    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.5  42 19   true -32 wit inspect 7.2  290 false(unreach-call) 1 wit inspect 54     3100   unknown 0 wit inspect 12    430 true -32 wit inspect 1.1    23    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 1.1  41 13   true -32 wit inspect 4.9  270 timeout 0 wit inspect 97     830   unknown 0 wit inspect 5.6  280 false(unreach-call) 1 wit inspect .96   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.1  39 12   true -32 wit inspect 5.2  270 false(unreach-call) 1 wit inspect 30     760   unknown 0 wit inspect 7.2  290 false(unreach-call) 1 wit inspect .78   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .35 35 3.6 true -32 wit inspect 5.9  260 false(unreach-call) 1 wit inspect 63     820   unknown 0 wit inspect 5.0  270 false(unreach-call) 1 wit inspect .89   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .39 35 3.6 true -32 wit inspect 5.6  260 false(unreach-call) 1 wit inspect 34     790   unknown 0 wit inspect 6.4  270 false(unreach-call) 1 wit inspect .93   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 1.1  39 11   true -32 wit inspect 5.0  270 timeout 0 wit inspect 97     810   unknown 0 wit inspect 6.2  280 false(unreach-call) 1 wit inspect .77   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.0  39 11   true -32 wit inspect 5.6  270 timeout 0 wit inspect 96     1600   unknown 0 wit inspect 7.2  280 false(unreach-call) 1 wit inspect .85   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 1.0  40 14   true -32 wit inspect 5.5  270 timeout (false(unreach-call)) 0 wit inspect 94     1100   unknown 0 wit inspect 5.1  280 false(unreach-call) 1 wit inspect .86   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.1  38 12   true -32 wit inspect 5.4  270 false(unreach-call) 1 wit inspect 58     1300   unknown 0 wit inspect 5.9  280 false(unreach-call) 1 wit inspect .82   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    1300 4800   error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0012 .26 - 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 1.7  45 21   true -32 wit inspect 6.0  280 timeout 0 wit inspect 96     2200   unknown 0 wit inspect 8.0  370 false(unreach-call) 1 wit inspect 1.1    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.8  46 24   true -32 wit inspect 6.4  280 timeout 0 wit inspect 96     2700   unknown 0 wit inspect 8.4  360 false(unreach-call) 1 wit inspect 1.0    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 1.8  46 22   true -32 wit inspect 7.9  290 true -32 wit inspect 9.6   390   unknown 0 wit inspect 7.4  290 false(unreach-call) 1 wit inspect 1.0    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.8  47 22   true -32 wit inspect 8.1  280 true -32 wit inspect 8.4   380   unknown 0 wit inspect 8.0  290 false(unreach-call) 1 wit inspect 1.0    22    - 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 1.8  46 20   true -32 wit inspect 6.3  290 true -32 wit inspect 8.6   380   unknown 0 wit inspect 8.2  360 false(unreach-call) 1 wit inspect 1.1    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.8  46 21   true -32 wit inspect 8.8  280 true -32 wit inspect 7.8   370   unknown 0 wit inspect 7.6  310 false(unreach-call) 1 wit inspect 1.0    23    - 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 1.9  46 21   true -32 wit inspect 6.8  290 true -32 wit inspect 9.9   400   unknown 0 wit inspect 9.3  340 false(unreach-call) 1 wit inspect 1.0    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.8  49 21   true -32 wit inspect 6.5  280 true -32 wit inspect 9.7   390   unknown 0 wit inspect 9.9  330 false(unreach-call) 1 wit inspect 1.2    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    830 6900   error (invalid witness file) 0 wit inspect .64 42 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .92 50 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 9.7  80 120   true -32 wit inspect 8.4  320 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 19    660 false(unreach-call) 1 wit inspect 1.7    27    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 10    89 130   true -32 wit inspect 8.6  320 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 16    680 false(unreach-call) 1 wit inspect 1.9    27    - 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 5.0  61 64   true -32 wit inspect 8.4  330 true -32 wit inspect 13     470   unknown 0 wit inspect 16    510 false(unreach-call) 1 wit inspect 1.6    26    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.1  61 61   true -32 wit inspect 7.6  320 true -32 wit inspect 13     490   unknown 0 wit inspect 10    510 false(unreach-call) 1 wit inspect 2.0    26    - 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 10    80 130   true -32 wit inspect 8.3  340 true -32 wit inspect 12     460   unknown 0 wit inspect 15    650 false(unreach-call) 1 wit inspect 1.9    26    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 11    91 130   true -32 wit inspect 8.0  340 true -32 wit inspect 13     460   unknown 0 wit inspect 16    620 false(unreach-call) 1 wit inspect 1.7    27    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 10    80 140   true -32 wit inspect 8.2  340 true -32 wit inspect 14     460   unknown 0 wit inspect 17    820 false(unreach-call) 1 wit inspect 1.6    26    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 12    92 160   true -32 wit inspect 9.1  360 true -32 wit inspect 12     460   unknown 0 wit inspect 15    750 false(unreach-call) 1 wit inspect 1.6    26    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    200 9700   error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0014 .29 - 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 .85 37 8.5 true -32 wit inspect 4.3  270 false(unreach-call) 1 wit inspect 8.8   350   unknown 0 wit inspect 5.0  230 false(unreach-call) 1 wit inspect .72   20    - 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 .85 36 10   true -32 wit inspect 4.6  280 false(unreach-call) 1 wit inspect 15     550   unknown 0 wit inspect 5.6  270 false(unreach-call) 1 wit inspect .89   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .86 34 8.5 true -32 wit inspect 3.2  280 false(unreach-call) 1 wit inspect 8.7   340   unknown 0 wit inspect 6.4  270 false(unreach-call) 1 wit inspect .70   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .89 35 10   true -32 wit inspect 5.2  270 false(unreach-call) 1 wit inspect 24     650   unknown 0 wit inspect 4.4  220 false(unreach-call) 1 wit inspect .76   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 1.7  38 23   true -32 wit inspect 6.7  270 false(unreach-call) 1 wit inspect 11     480   unknown 0 wit inspect 9.8  280 false(unreach-call) 1 wit inspect .84   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.9  41 24   true -32 wit inspect 6.0  270 timeout 0 wit inspect 96     2000   unknown 0 wit inspect 5.1  280 false(unreach-call) 1 wit inspect .79   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 1.7  38 23   true -32 wit inspect 6.1  260 false(unreach-call) 1 wit inspect 26     900   unknown 0 wit inspect 5.3  280 false(unreach-call) 1 wit inspect .77   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.9  40 23   true -32 wit inspect 5.1  270 false(unreach-call) 1 wit inspect 27     770   unknown 0 wit inspect 5.2  280 false(unreach-call) 1 wit inspect .75   21    - 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 2.1  41 20   true -32 wit inspect 5.6  270 false(unreach-call) 1 wit inspect 14     560   unknown 0 wit inspect 6.0  290 false(unreach-call) 1 wit inspect .94   22    - 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 2.1  42 25   true -32 wit inspect 5.7  280 timeout 0 wit inspect 97     3000   unknown 0 wit inspect 6.0  290 false(unreach-call) 1 wit inspect .80   22    - 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 2.1  41 23   true -32 wit inspect 5.4  280 false(unreach-call) 1 wit inspect 13     570   unknown 0 wit inspect 6.0  280 false(unreach-call) 1 wit inspect .80   22    - 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 2.1  42 23   true -32 wit inspect 7.3  280 false(unreach-call) 1 wit inspect 23     840   unknown 0 wit inspect 6.1  280 false(unreach-call) 1 wit inspect .86   22    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c false(unreach-call) 1 wit inspect 2.3  48 28   true -32 wit inspect 7.1  320 timeout 0 wit inspect 97     2900   unknown 0 wit inspect 6.4  300 false(unreach-call) 1 wit inspect 1.1    23    - 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 2.5  47 27   true -32 wit inspect 6.5  310 timeout 0 wit inspect 96     4500   unknown 0 wit inspect 7.2  300 false(unreach-call) 1 wit inspect .88   23    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c false(unreach-call) 1 wit inspect 2.4  45 26   true -32 wit inspect 7.2  290 false(unreach-call) 1 wit inspect 33     1300   unknown 0 wit inspect 7.0  300 false(unreach-call) 1 wit inspect .87   23    - 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 2.3  45 25   true -32 wit inspect 6.9  290 false(unreach-call) 1 wit inspect 47     3400   unknown 0 wit inspect 6.5  290 false(unreach-call) 1 wit inspect .85   23    - 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 .82 37 9.1 true -32 wit inspect 4.4  270 false(unreach-call) 1 wit inspect 13     630   unknown 0 wit inspect 5.9  230 false(unreach-call) 1 wit inspect .71   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .83 36 8.2 true -32 wit inspect 4.7  260 false(unreach-call) 1 wit inspect 23     670   unknown 0 wit inspect 4.8  230 false(unreach-call) 1 wit inspect .73   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 460    2300 4600   true -32 wit inspect 28    1600 timeout 0 wit inspect 98     4500   unknown 0 wit inspect 39    2300 false(unreach-call) 1 wit inspect 4.5    130    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 1.6  37 18   true -32 wit inspect 4.8  270 false(unreach-call) 1 wit inspect 29     960   unknown 0 wit inspect 5.5  280 false(unreach-call) 1 wit inspect .73   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.7  38 17   true -32 wit inspect 6.7  270 false(unreach-call) 1 wit inspect 29     900   unknown 0 wit inspect 5.7  270 false(unreach-call) 1 wit inspect .73   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    900 8300   error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .86 50 error (invalid witness file) 0 wit inspect .0013 .28 - 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 1.8  39 20   true -32 wit inspect 5.8  280 false(unreach-call) 1 wit inspect 88     3900   unknown 0 wit inspect 6.3  290 false(unreach-call) 1 wit inspect .81   22    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.8  42 21   true -32 wit inspect 6.7  280 false(unreach-call) 1 wit inspect 21     690   unknown 0 wit inspect 5.8  290 false(unreach-call) 1 wit inspect .82   22    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    1100 6100   error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .84 50 error (invalid witness file) 0 wit inspect .0016 .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 2.0  44 18   true -32 wit inspect 6.9  290 false(unreach-call) 1 wit inspect 53     3000   unknown 0 wit inspect 6.3  290 false(unreach-call) 1 wit inspect .85   23    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 2.0  44 26   true -32 wit inspect 5.5  290 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 6.4  300 false(unreach-call) 1 wit inspect .84   23    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    990 7900   error (invalid witness file) 0 wit inspect .67 44 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c false(unreach-call) 1 wit inspect 5.0  47 59   true -32 wit inspect 6.2  330 timeout (false(unreach-call)) 0 wit inspect 91     4500   unknown 0 wit inspect 7.0  340 false(unreach-call) 1 wit inspect .91   25    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.1  53 58   true -32 wit inspect 7.0  350 false(unreach-call) 1 wit inspect 83     3400   unknown 0 wit inspect 7.4  320 false(unreach-call) 1 wit inspect 1.0    25    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 wit inspect 870    560 7000   error (invalid witness file) 0 wit