Tool 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:29:20 CET 2017-12-01 08:07:14 CET 2017-12-01 08:15:38 CET 2017-12-01 08:19:10 CET 2017-12-01 04:11:27 CET 2017-12-01 07:35:08 CET
Run set cpa-seq.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-cpa-seq.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-cpa-seq.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-cpa-seq.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-cpa-seq.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-cpa-seq.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-cpa-seq.sv-comp18-correctness-witness.ReachSafety-Sequentialized
Options -svcomp18 -heap 10000M -benchmark -timelimit 900s -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cpa-seq.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/cpa-seq.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cpa-seq.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/cpa-seq.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cpa-seq.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/cpa-seq.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 5.3 300 48 false(unreach-call) 1 wit inspect 5.4  290 false(unreach-call) 1 wit inspect 16     660   unknown 0 wit inspect 5.3  230 false(unreach-call) 1 wit inspect .71   21    - wit inspect - wit inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.7 290 52 false(unreach-call) 1 wit inspect 6.1  300 false(unreach-call) 1 wit inspect 19     710   unknown 0 wit inspect 4.4  230 false(unreach-call) 1 wit inspect .69   21    - wit inspect - wit inspect
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 2.9 260 28 false(unreach-call) 1 wit inspect 3.6  260 false(unreach-call) 1 wit inspect 7.3   280   unknown 0 wit inspect 3.3  220 false(unreach-call) 1 wit inspect .61   19    - wit inspect - wit inspect
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 3.4 270 31 false(unreach-call) 1 wit inspect 2.8  270 false(unreach-call) 1 wit inspect 11     500   unknown 0 wit inspect 3.4  220 false(unreach-call) 1 wit inspect .64   19    - wit inspect - wit inspect
systemc/pipeline_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 31   1600 290 false(unreach-call) 1 wit inspect 9.7  340 timeout 0 wit inspect 97     5600   unknown 0 wit inspect 7.6  290 false(unreach-call) 1 wit inspect .96   33    - wit inspect - wit inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 9.5 440 78 false(unreach-call) 1 wit inspect 5.2  280 false(unreach-call) 1 wit inspect 17     640   unknown 0 wit inspect 3.6  220 false(unreach-call) 1 wit inspect .65   20    - wit inspect - wit inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 12   560 110 false(unreach-call) 1 wit inspect 5.1  280 false(unreach-call) 1 wit inspect 30     790   unknown 0 wit inspect 4.4  230 false(unreach-call) 1 wit inspect .70   20    - wit inspect - wit inspect
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 16   670 130 false(unreach-call) 1 wit inspect 6.0  280 false(unreach-call) 1 wit inspect 33     970   unknown 0 wit inspect 4.5  230 false(unreach-call) 1 wit inspect .92   21    - wit inspect - wit inspect
systemc/token_ring.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 28   1000 270 false(unreach-call) 1 wit inspect 6.7  290 false(unreach-call) 1 wit inspect 62     1500   unknown 0 wit inspect 4.8  220 false(unreach-call) 1 wit inspect .83   22    - wit inspect - wit inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 50   1900 550 false(unreach-call) 1 wit inspect 6.6  280 timeout (false(unreach-call)) 0 wit inspect 91     2000   unknown 0 wit inspect 7.0  270 false(unreach-call) 1 wit inspect 1.1    23    - wit inspect - wit inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 84   2700 850 false(unreach-call) 1 wit inspect 7.3  290 false(unreach-call) 1 wit inspect 85     3100   unknown 0 wit inspect 6.3  270 false(unreach-call) 1 wit inspect .82   24    - wit inspect - wit inspect
systemc/token_ring.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 100   2800 1200 false(unreach-call) 1 wit inspect 7.4  300 timeout (false(unreach-call)) 0 wit inspect 94     4500   unknown 0 wit inspect 5.9  280 false(unreach-call) 1 wit inspect .88   26    - wit inspect - wit inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 140   3700 1700 false(unreach-call) 1 wit inspect 8.2  310 timeout 0 wit inspect 97     4400   unknown 0 wit inspect 6.0  280 false(unreach-call) 1 wit inspect .90   27    - wit inspect - wit inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 260   4000 2800 false(unreach-call) 1 wit inspect 8.8  310 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 6.2  310 false(unreach-call) 1 wit inspect 1.1    29    - wit inspect - wit inspect
systemc/token_ring.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 400   3700 5400 false(unreach-call) 1 wit inspect 11    340 timeout 0 wit inspect 96     4500   unknown 0 wit inspect 7.8  330 false(unreach-call) 1 wit inspect 1.0    31    - wit inspect - wit inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 420   3600 4300 false(unreach-call) 1 wit inspect 11    420 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 9.0  300 false(unreach-call) 1 wit inspect 1.2    33    - wit inspect - wit inspect
systemc/token_ring.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 410   4000 4800 false(unreach-call) 1 wit inspect 11    380 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 7.4  320 false(unreach-call) 1 wit inspect 1.3    35    - wit inspect - wit inspect
systemc/token_ring.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 420   4000 4600 false(unreach-call) 1 wit inspect 13    400 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 9.8  320 false(unreach-call) 1 wit inspect 1.4    38    - wit inspect - wit inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 410   3600 4300 false(unreach-call) 1 wit inspect 11    380 timeout 0 wit inspect 96     4600   unknown 0 wit inspect 7.4  340 false(unreach-call) 1 wit inspect 1.2    35    - wit inspect - wit inspect
systemc/token_ring.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 420   4300 4400 false(unreach-call) 1 wit inspect 12    530 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 8.8  350 false(unreach-call) 1 wit inspect 1.2    38    - wit inspect - wit inspect
systemc/toy1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.8 300 55 false(unreach-call) 1 wit inspect 5.3  280 false(unreach-call) 1 wit inspect 24     730   unknown 0 wit inspect 4.4  230 false(unreach-call) 1 wit inspect .82   21    - wit inspect - wit inspect
systemc/toy2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.9 290 45 false(unreach-call) 1 wit inspect 3.8  290 false(unreach-call) 1 wit inspect 37     800   unknown 0 wit inspect 4.2  230 false(unreach-call) 1 wit inspect .90   21    - wit inspect - wit inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 3.9 280 32 false(unreach-call) 1 wit inspect 2.8  270 false(unreach-call) 1 wit inspect 19     590   unknown 0 wit inspect 3.5  220 false(unreach-call) 1 wit inspect .66   19    - wit inspect - wit inspect
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 4.6 270 41 false(unreach-call) 1 wit inspect 5.0  280 false(unreach-call) 1 wit inspect 24     720   unknown 0 wit inspect 3.7  220 false(unreach-call) 1 wit inspect .66   20    - wit inspect - wit inspect
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.6 300 46 false(unreach-call) 1 wit inspect 4.8  280 false(unreach-call) 1 wit inspect 35     890   unknown 0 wit inspect 4.4  230 false(unreach-call) 1 wit inspect .69   20    - wit inspect - wit inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 7.6 300 55 false(unreach-call) 1 wit inspect 3.9  290 false(unreach-call) 1 wit inspect 43     1300   unknown 0 wit inspect 5.2  230 false(unreach-call) 1 wit inspect .93   21    - wit inspect - wit inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 11   350 72 false(unreach-call) 1 wit inspect 5.9  280 false(unreach-call) 1 wit inspect 57     1800   unknown 0 wit inspect 5.3  220 false(unreach-call) 1 wit inspect .76   22    - wit inspect - wit inspect
systemc/transmitter.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 13   500 110 false(unreach-call) 1 wit inspect 6.1  280 false(unreach-call) 1 wit inspect 74     2300   unknown 0 wit inspect 6.4  230 false(unreach-call) 1 wit inspect .77   23    - wit inspect - wit inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 18   810 150 false(unreach-call) 1 wit inspect 6.8  290 timeout (false(unreach-call)) 0 wit inspect 96     3400   unknown 0 wit inspect 5.2  270 error (2) 0 wit inspect .79   24    - wit inspect - wit inspect
systemc/transmitter.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 34   1500 320 false(unreach-call) 1 wit inspect 8.1  290 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 5.5  270 false(unreach-call) 1 wit inspect .81   25    - wit inspect - wit inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 170   2600 1700 false(unreach-call) 1 wit inspect 8.3  310 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 6.9  280 false(unreach-call) 1 wit inspect .95   28    - wit inspect - wit inspect
systemc/transmitter.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 160   1600 2000 false(unreach-call) 1 wit inspect 11    320 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 7.0  310 false(unreach-call) 1 wit inspect 1.2    29    - wit inspect - wit inspect
systemc/transmitter.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 160   1600 1800 false(unreach-call) 1 wit inspect 9.4  360 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 6.4  320 false(unreach-call) 1 wit inspect 1.0    31    - wit inspect - wit inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 160   2400 2000 false(unreach-call) 1 wit inspect 11    430 timeout 0 wit inspect 98     4500   unknown 0 wit inspect 8.2  290 false(unreach-call) 1 wit inspect 1.1    33    - wit inspect - wit inspect
systemc/transmitter.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 170   1700 1800 false(unreach-call) 1 wit inspect 11    460 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 7.6  300 false(unreach-call) 1 wit inspect 1.2    35    - wit inspect - wit inspect
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.3 290 42 false(unreach-call) 1 wit inspect 5.6  290 false(unreach-call) 1 wit inspect 76     1600   unknown 0 wit inspect 4.3  230 error (2) 0 wit inspect .80   20    - wit inspect - wit inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.5 290 43 false(unreach-call) 1 wit inspect 5.9  290 false(unreach-call) 1 wit inspect 83     1900   unknown 0 wit inspect 5.6  270 error (2) 0 wit inspect .84   20    - wit inspect - wit inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c true 2 wit inspect 3.4 250 28 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 920    7000 true 2 wit inspect 71     2200  
systemc/kundu_true-unreach-call_false-termination.cil.c true 1 wit inspect 13   720 96 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 710    7000 out of memory 0 wit inspect 150     7000  
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c true 1 wit inspect 4.3 260 40 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    5700 false(unreach-call) -16 wit inspect 16     530  
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c true 1 wit inspect 4.6 270 34 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    5700 false(unreach-call) -16 wit inspect 16     530  
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c true 1 wit inspect 4.9 270 42 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    5800 false(unreach-call) -16 wit inspect 18     520  
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c true 1 wit inspect 5.3 280 44 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    5800 false(unreach-call) -16 wit inspect 19     530  
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c true 1 wit inspect 5.2 280 47 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    5800 false(unreach-call) -16 wit inspect 18     540  
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c true 2 wit inspect 12   470 90 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5700 true 2 wit inspect 30     690  
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c true 2 wit inspect 13   490 120 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    6000 true 2 wit inspect 65     1300  
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c true 2 wit inspect 3.5 250 33 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 460    7000 true 2 wit inspect 18     600  
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   4400 9300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .021 4.8
systemc/token_ring.01_true-unreach-call_false-termination.cil.c true 2 wit inspect 11   460 90 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 920    6900 true 2 wit inspect 26     700  
systemc/token_ring.02_true-unreach-call_false-termination.cil.c true 2 wit inspect 16   570 130 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    6800 true 2 wit inspect 57     1000  
systemc/token_ring.03_true-unreach-call_false-termination.cil.c true 2 wit inspect 22   710 210 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 840    7000 true 2 wit inspect 79     1900  
systemc/token_ring.04_true-unreach-call_false-termination.cil.c true 2 wit inspect 57   1800 560 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5900 true 2 wit inspect 91     2000  
systemc/token_ring.05_true-unreach-call_false-termination.cil.c true 1 wit inspect 120   2100 1300 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4700 out of memory 0 wit inspect 110     7000  
systemc/token_ring.06_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   5400 9000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .018 4.8
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   5800 8400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .019 4.9
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   5700 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .025 4.8
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6400 9500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .017 4.8
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   5700 8800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 45 error (2) 0 wit inspect .019 4.9
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6500 8200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .019 4.9
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   7100 8200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .020 4.9
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   7200 7800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 44 error (2) 0 wit inspect .019 4.9
systemc/toy_true-unreach-call_false-termination.cil.c true 2 wit inspect 210   4200 2600 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 700    7000 true 2 wit inspect 92     1800  
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 5.5 290 43 false(unreach-call) 1 wit inspect 5.6  290 false(unreach-call) 1 wit inspect 8.9   360   unknown 0 wit inspect 4.4  270 true -32 wit inspect .74   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 11   500 89 false(unreach-call) 1 wit inspect 6.4  270 false(unreach-call) 1 wit inspect 11     440   unknown 0 wit inspect 4.5  220 true -32 wit inspect .71   20    - 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 15   560 110 false(unreach-call) 1 wit inspect 6.5  290 false(unreach-call) 1 wit inspect 13     530   unknown 0 wit inspect 5.1  270 false(unreach-call) 1 wit inspect .81   21    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 16   570 110 false(unreach-call) 1 wit inspect 4.4  280 false(unreach-call) 1 wit inspect 14     560   unknown 0 wit inspect 5.6  270 true -32 wit inspect .88   21    - 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 15   600 120 false(unreach-call) 1 wit inspect 6.4  290 false(unreach-call) 1 wit inspect 13     530   unknown 0 wit inspect 5.1  270 true -32 wit inspect .82   21    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 14   580 110 false(unreach-call) 1 wit inspect 7.3  310 false(unreach-call) 1 wit inspect 12     530   unknown 0 wit inspect 5.2  270 true -32 wit inspect 1.0    21    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 94   960 1200 false(unreach-call) 1 wit inspect 9.8  330 false(unreach-call) 1 wit inspect 22     830   unknown 0 wit inspect 8.0  320 false(unreach-call) 1 wit inspect 1.1    27    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 28   770 260 false(unreach-call) 1 wit inspect 8.5  320 false(unreach-call) 1 wit inspect 19     890   unknown 0 wit inspect 6.1  290 false(unreach-call) 1 wit inspect .98   26    - 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 31   940 250 false(unreach-call) 1 wit inspect 6.6  290 false(unreach-call) 1 wit inspect 26     1100   unknown 0 wit inspect 5.2  270 false(unreach-call) 1 wit inspect .83   23    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 32   960 250 false(unreach-call) 1 wit inspect 6.7  290 false(unreach-call) 1 wit inspect 17     840   unknown 0 wit inspect 5.1  290 false(unreach-call) 1 wit inspect .85   23    - 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 32   970 290 false(unreach-call) 1 wit inspect 7.1  300 false(unreach-call) 1 wit inspect 34     1200   unknown 0 wit inspect 7.6  270 false(unreach-call) 1 wit inspect 1.1    23    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 31   1000 300 false(unreach-call) 1 wit inspect 7.8  290 false(unreach-call) 1 wit inspect 19     870   unknown 0 wit inspect 6.2  280 false(unreach-call) 1 wit inspect .85   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 42   2700 400 false(unreach-call) 1 wit inspect 6.2  280 true -32 wit inspect 6.5   280   unknown 0 wit inspect 4.8  270 true -32 wit inspect .92   21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 39   2600 390 false(unreach-call) 1 wit inspect 6.0  280 true -32 wit inspect 8.0   270   unknown 0 wit inspect 4.6  260 false(unreach-call) 1 wit inspect .75   21    - 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 22   1100 210 false(unreach-call) 1 wit inspect 6.0  280 timeout 0 wit inspect 97     1000   unknown 0 wit inspect 4.5  270 false(unreach-call) 1 wit inspect .76   21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 22   1000 200 false(unreach-call) 1 wit inspect 5.8  280 false(unreach-call) 1 wit inspect 17     610   unknown 0 wit inspect 4.2  270 false(unreach-call) 1 wit inspect .99   20    - 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 38   2600 370 false(unreach-call) 1 wit inspect 6.8  300 timeout 0 wit inspect 97     1300   unknown 0 wit inspect 5.4  270 false(unreach-call) 1 wit inspect .82   22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 33   2500 330 false(unreach-call) 1 wit inspect 6.2  280 timeout 0 wit inspect 97     1400   unknown 0 wit inspect 6.5  270 false(unreach-call) 1 wit inspect .81   22    - 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 31   1700 280 false(unreach-call) 1 wit inspect 5.8  280 timeout (false(unreach-call)) 0 wit inspect 91     890   unknown 0 wit inspect 6.1  270 false(unreach-call) 1 wit inspect .79   21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 38   2500 340 false(unreach-call) 1 wit inspect 7.6  290 false(unreach-call) 1 wit inspect 47     900   unknown 0 wit inspect 6.0  270 false(unreach-call) 1 wit inspect .94   22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   6300 10000 error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .86 50 error (invalid witness file) 0 wit inspect .0011 .31 - 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 180   4100 1700 false(unreach-call) 1 wit inspect 8.8  310 true -32 wit inspect 9.3   370   unknown 0 wit inspect 7.2  280 false(unreach-call) 1 wit inspect .98   25    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 140   3900 1400 false(unreach-call) 1 wit inspect 8.2  290 true -32 wit inspect 7.9   340   unknown 0 wit inspect 5.3  270 true -32 wit inspect .81   23    - 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 160   2400 2200 false(unreach-call) 1 wit inspect 7.7  290 true -32 wit inspect 5.4   380   unknown 0 wit inspect 7.1  280 false(unreach-call) 1 wit inspect 1.1    24    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 160   2600 1400 false(unreach-call) 1 wit inspect 9.8  300 true -32 wit inspect 9.9   390   unknown 0 wit inspect 5.6  280 false(unreach-call) 1 wit inspect 1.1    24    - 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 170   2500 1700 false(unreach-call) 1 wit inspect 8.5  300 true -32 wit inspect 9.1   410   unknown 0 wit inspect 6.6  290 false(unreach-call) 1 wit inspect 1.1    26    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 180   2300 2000 false(unreach-call) 1 wit inspect 8.0  300 true -32 wit inspect 9.2   400   unknown 0 wit inspect 7.6  300 false(unreach-call) 1 wit inspect 1.1    26    - 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 190   3000 2000 false(unreach-call) 1 wit inspect 8.3  300 true -32 wit inspect 8.1   400   unknown 0 wit inspect 6.8  280 false(unreach-call) 1 wit inspect 1.1    26    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 220   2100 2400 false(unreach-call) 1 wit inspect 10    300 true -32 wit inspect 8.3   380   unknown 0 wit inspect 6.1  280 false(unreach-call) 1 wit inspect 1.1    26    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4400 7500 error (invalid witness file) 0 wit inspect .56 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-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 290   4400 2600 false(unreach-call) 1 wit inspect 13    480 true -32 wit inspect 13     460   unknown 0 wit inspect 7.4  320 true -32 wit inspect 1.6    32    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 330   4200 2900 false(unreach-call) 1 wit inspect 12    460 true -32 wit inspect 12     440   unknown 0 wit inspect 8.2  310 true -32 wit inspect 1.5    32    - 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 180   3300 2200 false(unreach-call) 1 wit inspect 11    360 true -32 wit inspect 13     480   unknown 0 wit inspect 8.8  310 false(unreach-call) 1 wit inspect 1.7    30    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 180   3200 2000 false(unreach-call) 1 wit inspect 13    410 true -32 wit inspect 12     460   unknown 0 wit inspect 7.1  330 false(unreach-call) 1 wit inspect 1.6    29    - 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 210   2400 2000 false(unreach-call) 1 wit inspect 13    400 true -32 wit inspect 14     460   unknown 0 wit inspect 7.6  320 false(unreach-call) 1 wit inspect 2.2    32    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 300   4200 2900 false(unreach-call) 1 wit inspect 12    380 true -32 wit inspect 12     460   unknown 0 wit inspect 9.9  320 true -32 wit inspect 1.8    32    - 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 460   4700 4800 false(unreach-call) 1 wit inspect 12    400 true -32 wit inspect 13     470   unknown 0 wit inspect 7.3  310 false(unreach-call) 1 wit inspect 1.6    32    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 440   4700 4000 false(unreach-call) 1 wit inspect 12    370 true -32 wit inspect 13     470   unknown 0 wit inspect 7.1  310 false(unreach-call) 1 wit inspect 2.1    32    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   5400 7600 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0013 .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 22   530 210 false(unreach-call) 1 wit inspect 6.0  280 false(unreach-call) 1 wit inspect 9.7   360   unknown 0 wit inspect 4.5  270 false(unreach-call) 1 wit inspect .74   21    - 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 16   490 160 false(unreach-call) 1 wit inspect 6.1  300 false(unreach-call) 1 wit inspect 29     830   unknown 0 wit inspect 4.6  270 false(unreach-call) 1 wit inspect .95   21    - 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 220   890 2600 false(unreach-call) 1 wit inspect 6.0  280 false(unreach-call) 1 wit inspect 8.1   350   unknown 0 wit inspect 4.6  220 false(unreach-call) 1 wit inspect .80   21    - 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 27   570 340 false(unreach-call) 1 wit inspect 5.6  290 false(unreach-call) 1 wit inspect 26     700   unknown 0 wit inspect 5.0  270 false(unreach-call) 1 wit inspect .72   21    - 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 240   1100 2800 false(unreach-call) 1 wit inspect 7.2  290 false(unreach-call) 1 wit inspect 27     1000   unknown 0 wit inspect 6.6  280 false(unreach-call) 1 wit inspect .76   23    - 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 240   1100 2700 false(unreach-call) 1 wit inspect 6.8  290 timeout 0 wit inspect 96     1800   unknown 0 wit inspect 5.1  270 false(unreach-call) 1 wit inspect .91   23    - 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 230   1000 2700 false(unreach-call) 1 wit inspect 7.3  290 false(unreach-call) 1 wit inspect 16     590   unknown 0 wit inspect 5.6  270 false(unreach-call) 1 wit inspect .82   23    - 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 230   1500 3300 false(unreach-call) 1 wit inspect 6.9  290 false(unreach-call) 1 wit inspect 28     750   unknown 0 wit inspect 6.5  270 false(unreach-call) 1 wit inspect .82   23    - 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 250   2000 3200 false(unreach-call) 1 wit inspect 7.8  300 false(unreach-call) 1 wit inspect 13     590   unknown 0 wit inspect 5.6  280 false(unreach-call) 1 wit inspect .86   25    - 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 260   1800 3300 false(unreach-call) 1 wit inspect 9.9  330 timeout 0 wit inspect 97     2700   unknown 0 wit inspect 5.9  290 false(unreach-call) 1 wit inspect .85   25    - 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 260   2500 2800 false(unreach-call) 1 wit inspect 7.4  300 false(unreach-call) 1 wit inspect 29     850   unknown 0 wit inspect 5.4  290 false(unreach-call) 1 wit inspect .85   25    - 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 260   2100 2800 false(unreach-call) 1 wit inspect 9.0  310 false(unreach-call) 1 wit inspect 21     810   unknown 0 wit inspect 6.0  280 false(unreach-call) 1 wit inspect .83   25    - 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 310   4200 2900 false(unreach-call) 1 wit inspect 9.4  350 timeout 0 wit inspect 96     3700   unknown 0 wit inspect 6.1  330 false(unreach-call) 1 wit inspect .93   28    - 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 330   4200 4000 false(unreach-call) 1 wit inspect 8.8  360 timeout 0 wit inspect 97     4300   unknown 0 wit inspect 6.7  330 false(unreach-call) 1 wit inspect .94   28    - 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 350   4300 4400 false(unreach-call) 1 wit inspect 8.9  330 false(unreach-call) 1 wit inspect 16     880   unknown 0 wit inspect 5.9  320 false(unreach-call) 1 wit inspect .91   27    - 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 350   4300 3900 false(unreach-call) 1 wit inspect 9.0  350 false(unreach-call) 1 wit inspect 45     3100   unknown 0 wit inspect 7.3  330 false(unreach-call) 1 wit inspect .95   27    - 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 11   470 93 false(unreach-call) 1 wit inspect 5.9  280 false(unreach-call) 1 wit inspect 10     340   unknown 0 wit inspect 5.0  270 false(unreach-call) 1 wit inspect .73   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 170   830 2500 false(unreach-call) 1 wit inspect 5.9  280 false(unreach-call) 1 wit inspect 20     670   unknown 0 wit inspect 4.5  270 false(unreach-call) 1 wit inspect .81   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   6200 8700 error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0011 .34 - 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 230   810 2300 false(unreach-call) 1 wit inspect 8.2  290 false(unreach-call) 1 wit inspect 28     1100   unknown 0 wit inspect 5.0  270 false(unreach-call) 1 wit inspect .77   23    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 220   810 2400 false(unreach-call) 1 wit inspect 7.0  290 false(unreach-call) 1 wit inspect 20     950   unknown 0 wit inspect 6.1  280 false(unreach-call) 1 wit inspect .76   23    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   6000 7900 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 240   1100 3100 false(unreach-call) 1 wit inspect 8.0  330 false(unreach-call) 1 wit inspect 36     1900   unknown 0 wit inspect 5.7  290 false(unreach-call) 1 wit inspect .83   25    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 240   1300 2800 false(unreach-call) 1 wit inspect 7.7  310 false(unreach-call) 1 wit inspect 29     900   unknown 0 wit inspect 5.6  280 false(unreach-call) 1 wit inspect 1.1    25    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4900 8600 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .96 49 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c false(unreach-call) 1 wit inspect 260   1400 3000 false(unreach-call) 1 wit inspect 9.6  380 false(unreach-call) 1 wit inspect 52     2900   unknown 0 wit inspect 6.5  320 false(unreach-call) 1 wit inspect .98   28    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 260   1900 3200 false(unreach-call) 1 wit inspect 9.6  360 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 7.2  300 false(unreach-call) 1 wit inspect .91   27    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4700 9400 error (invalid witness file) 0 wit inspect .64 41 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .81 49 error (invalid witness file) 0 wit inspect .0037 .30 - 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 300   2000 3700 false(unreach-call) 1 wit inspect 9.8  400 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 7.4  360 false(unreach-call) 1 wit inspect 1.0    30    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 290   1900 3300 false(unreach-call) 1 wit