Tool CPAchecker 1.6.1-svn 26725 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:36:53 CET 2017-12-01 08:24:12 CET 2017-12-01 08:27:09 CET 2017-12-01 08:31:26 CET 2017-12-01 04:24:37 CET 2017-12-01 07:42:15 CET
Run set cpa-bam-bnb.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-cpa-bam-bnb.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-cpa-bam-bnb.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-cpa-bam-bnb.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-cpa-bam-bnb.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-cpa-bam-bnb.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-cpa-bam-bnb.sv-comp18-correctness-witness.ReachSafety-Sequentialized
Options -svcomp18-bam-bnb -disable-java-assertions -heap 10000m -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cpa-bam-bnb.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-bam-bnb.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cpa-bam-bnb.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-bam-bnb.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cpa-bam-bnb.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/cpa-bam-bnb.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 14   560 110 false(unreach-call) 1 wit inspect 5.0  280 false(unreach-call) 1 wit inspect 19     730   unknown 0 wit inspect 4.9  220 false(unreach-call) 1 wit inspect .62   20    - wit inspect - wit inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 21   790 170 false(unreach-call) 1 wit inspect 4.8  280 false(unreach-call) 1 wit inspect 35     950   unknown 0 wit inspect 4.4  220 false(unreach-call) 1 wit inspect .66   20    - wit inspect - wit inspect
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 4.1 290 36 false(unreach-call) 1 wit inspect 4.6  270 false(unreach-call) 1 wit inspect 6.6   270   unknown 0 wit inspect 3.6  190 false(unreach-call) 1 wit inspect .61   18    - wit inspect - wit inspect
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 6.6 330 57 false(unreach-call) 1 wit inspect 3.8  260 false(unreach-call) 1 wit inspect 14     500   unknown 0 wit inspect 3.9  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 280   8500 2100 false(unreach-call) 1 wit inspect 8.4  300 timeout 0 wit inspect 96     5100   unknown 0 wit inspect 5.3  220 false(unreach-call) 1 wit inspect .78   30    - wit inspect - wit inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 8.3 470 69 false(unreach-call) 1 wit inspect 4.3  260 true -32 wit inspect 6.7   270   unknown 0 wit inspect 3.5  210 false(unreach-call) 1 wit inspect .64   20    - wit inspect - wit inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 12   540 90 false(unreach-call) 1 wit inspect 4.7  280 true -32 wit inspect 6.3   280   unknown 0 wit inspect 4.1  220 false(unreach-call) 1 wit inspect .64   20    - wit inspect - wit inspect
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 18   720 150 false(unreach-call) 1 wit inspect 6.4  290 true -32 wit inspect 7.5   280   unknown 0 wit inspect 4.4  220 error (2) 0 wit inspect .66   20    - wit inspect - wit inspect
systemc/token_ring.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 31   1300 240 false(unreach-call) 1 wit inspect 5.5  280 true -32 wit inspect 7.4   300   unknown 0 wit inspect 4.1  220 error (2) 0 wit inspect .69   21    - wit inspect - wit inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 61   2800 420 false(unreach-call) 1 wit inspect 7.6  290 true -32 wit inspect 8.5   310   unknown 0 wit inspect 4.6  220 error (2) 0 wit inspect .72   22    - wit inspect - wit inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 150   6000 990 false(unreach-call) 1 wit inspect 7.5  280 true -32 wit inspect 7.6   320   unknown 0 wit inspect 4.9  220 error (2) 0 wit inspect .75   23    - wit inspect - wit inspect
systemc/token_ring.07_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   11000 4300 error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .99 49 error (invalid witness file) 0 wit inspect .0012 .28 - wit inspect - wit inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   11000 4500 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  50 error (invalid witness file) 0 wit inspect .0013 .30 - wit inspect - wit inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   11000 4400 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .96 51 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
systemc/token_ring.10_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   11000 4400 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0014 .28 - wit inspect - wit inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   11000 4800 error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .95 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
systemc/token_ring.12_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   11000 3900 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect 1.1  47 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
systemc/token_ring.13_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   11000 4800 error (invalid witness file) 0 wit inspect .65 42 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .90 48 error (invalid witness file) 0 wit inspect .0014 .28 - wit inspect - wit inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   11000 4500 error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect 1.0  52 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
systemc/token_ring.15_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   11000 4000 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .024 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
systemc/toy1_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   5300 11000 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .91 49 error (invalid witness file) 0 wit inspect .0012 .32 - wit inspect - wit inspect
systemc/toy2_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   5300 11000 error (invalid witness file) 0 wit inspect .53 46 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect 1.0  50 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 6.9 400 63 false(unreach-call) 1 wit inspect 4.3  270 false(unreach-call) 1 wit inspect 18     550   unknown 0 wit inspect 4.2  210 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 9.9 460 75 false(unreach-call) 1 wit inspect 4.9  270 false(unreach-call) 1 wit inspect 23     680   unknown 0 wit inspect 3.6  220 false(unreach-call) 1 wit inspect .64   20    - wit inspect - wit inspect
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 14   600 110 false(unreach-call) 1 wit inspect 5.0  280 false(unreach-call) 1 wit inspect 40     960   unknown 0 wit inspect 5.1  220 false(unreach-call) 1 wit inspect .66   20    - wit inspect - wit inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 19   710 140 false(unreach-call) 1 wit inspect 5.4  290 false(unreach-call) 1 wit inspect 55     1300   unknown 0 wit inspect 4.2  230 false(unreach-call) 1 wit inspect .66   21    - wit inspect - wit inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 26   1000 200 false(unreach-call) 1 wit inspect 3.7  290 false(unreach-call) 1 wit inspect 69     2200   unknown 0 wit inspect 4.7  220 false(unreach-call) 1 wit inspect .71   22    - wit inspect - wit inspect
systemc/transmitter.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 41   1700 290 false(unreach-call) 1 wit inspect 6.3  290 false(unreach-call) 1 wit inspect 88     2500   unknown 0 wit inspect 4.1  210 false(unreach-call) 1 wit inspect .68   22    - wit inspect - wit inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 47   2500 330 false(unreach-call) 1 wit inspect 6.3  290 timeout 0 wit inspect 98     4200   unknown 0 wit inspect 4.5  220 error (2) 0 wit inspect .72   23    - wit inspect - wit inspect
systemc/transmitter.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 72   4000 520 false(unreach-call) 1 wit inspect 6.8  290 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 6.2  220 false(unreach-call) 1 wit inspect .75   24    - wit inspect - wit inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 170   5800 1200 false(unreach-call) 1 wit inspect 7.3  300 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 5.1  220 false(unreach-call) 1 wit inspect .75   26    - wit inspect - wit inspect
systemc/transmitter.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 430   8500 3500 false(unreach-call) 1 wit inspect 7.4  310 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 5.1  220 false(unreach-call) 1 wit inspect .77   27    - wit inspect - wit inspect
systemc/transmitter.11_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   11000 6200 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .91 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   11000 4800 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .023 5.0 error (invalid witness file) 0 wit inspect 1.0  50 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
systemc/transmitter.13_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   11000 4600 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .98 49 error (invalid witness file) 0 wit inspect .0012 .35 - wit inspect - wit inspect
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 29   1400 230 false(unreach-call) 1 wit inspect 5.6  290 timeout 0 wit inspect 96     2200   unknown 0 wit inspect 4.9  230 error (2) 0 wit inspect .75   21    - wit inspect - wit inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 32   1600 250 false(unreach-call) 1 wit inspect 6.1  290 timeout 0 wit inspect 96     2400   unknown 0 wit inspect 5.0  230 error (2) 0 wit inspect .75   21    - wit inspect - wit inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   9200 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.9
systemc/kundu_true-unreach-call_false-termination.cil.c true 1 wit inspect 25   1200 190 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    7000 out of memory 0 wit inspect 100     7000  
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c true 1 wit inspect 11   510 86 - 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.2_true-unreach-call_false-termination.cil.c true 1 wit inspect 14   670 110 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    5700 false(unreach-call) -16 wit inspect 16     550  
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c true 1 wit inspect 16   710 120 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 920    5800 false(unreach-call) -16 wit inspect 19     530  
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c true 1 wit inspect 19   930 160 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5800 false(unreach-call) -16 wit inspect 18     510  
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c true 1 wit inspect 21   1100 190 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5800 false(unreach-call) -16 wit inspect 22     530  
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c true 1 wit inspect 33   1700 250 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .019 4.8
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c true 1 wit inspect 22   890 180 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3800 false(unreach-call) -16 wit inspect 17     490  
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c true 2 wit inspect 5.6 310 48 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 530    7000 true 2 wit inspect 20     570  
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   11000 5000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 41 error (2) 0 wit inspect .023 4.9
systemc/token_ring.01_true-unreach-call_false-termination.cil.c true 2 wit inspect 11   470 82 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 920    6900 true 2 wit inspect 36     600  
systemc/token_ring.02_true-unreach-call_false-termination.cil.c true 2 wit inspect 31   1100 220 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    6800 true 2 wit inspect 61     1100  
systemc/token_ring.03_true-unreach-call_false-termination.cil.c true 2 wit inspect 41   1700 330 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 860    7000 true 2 wit inspect 83     1400  
systemc/token_ring.04_true-unreach-call_false-termination.cil.c true 2 wit inspect 120   5200 890 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5200 true 2 wit inspect 110     2500  
systemc/token_ring.05_true-unreach-call_false-termination.cil.c true 1 wit inspect 260   7000 1500 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4700 out of memory 0 wit inspect 140     7000  
systemc/token_ring.06_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   11000 4500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .024 4.8
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   11000 4200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 44 error (2) 0 wit inspect .022 4.8
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   11000 4500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .024 5.0
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   11000 4300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .018 4.8
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   11000 4600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .018 4.9
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   11000 4400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .021 4.8
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   11000 4500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .023 4.8
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   11000 4200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 42 error (2) 0 wit inspect .019 4.8
systemc/toy_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   5300 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .018 5.0
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 20   760 160 false(unreach-call) 1 wit inspect 4.8  270 false(unreach-call) 1 wit inspect 12     460   unknown 0 wit inspect 4.7  220 true -32 wit inspect .67   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 19   780 150 false(unreach-call) 1 wit inspect 5.0  260 false(unreach-call) 1 wit inspect 8.3   470   unknown 0 wit inspect 4.0  210 true -32 wit inspect .69   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 51   2000 370 true -32 wit inspect 8.0  270 false(unreach-call) 1 wit inspect 12     520   unknown 0 wit inspect 4.5  270 true -32 wit inspect .66   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 47   2000 350 false(unreach-call) 1 wit inspect 5.8  290 false(unreach-call) 1 wit inspect 12     520   unknown 0 wit inspect 4.3  230 true -32 wit inspect .65   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c timeout 0 wit inspect 900   9200 8700 error (invalid witness file) 0 wit inspect .59 41 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 .0016 .29 - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   9200 8500 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c timeout 0 wit inspect 900   7200 8800 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .023 5.0 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0033 .34 - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   6900 9800 error (invalid witness file) 0 wit inspect .49 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .93 47 error (invalid witness file) 0 wit inspect .0011 .30 - 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   1100 260 true -32 wit inspect 8.8  320 false(unreach-call) 1 wit inspect 42     1100   unknown 0 wit inspect 5.8  270 true -32 wit inspect .69   21    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 33   1100 260 false(unreach-call) 1 wit inspect 6.5  280 false(unreach-call) 1 wit inspect 30     970   unknown 0 wit inspect 4.8  270 true -32 wit inspect .67   21    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   7600 10000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .84 50 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   7500 9300 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .94 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   2100 12000 error (invalid witness file) 0 wit inspect .64 44 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   3400 13000 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect 17   680 160 true -32 wit inspect 5.2  270 true -32 wit inspect 7.9   270   unknown 0 wit inspect 4.1  220 true -32 wit inspect .64   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 18   690 140 false(unreach-call) 1 wit inspect 4.8  270 true -32 wit inspect 7.1   270   unknown 0 wit inspect 4.1  220 true -32 wit inspect .69   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect 34   1200 300 true -32 wit inspect 6.0  270 true -32 wit inspect 7.0   270   unknown 0 wit inspect 4.0  220 true -32 wit inspect .65   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 40   1500 340 false(unreach-call) 1 wit inspect 6.1  280 true -32 wit inspect 7.2   270   unknown 0 wit inspect 5.8  240 true -32 wit inspect .70   21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   1800 13000 error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .91 48 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   3700 11000 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .029 4.8 error (invalid witness file) 0 wit inspect 1.1  48 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   7700 8700 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect 1.1  51 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   6100 9500 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .022 5.0 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4600 9100 error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .021 5.0 error (invalid witness file) 0 wit inspect .98 50 error (invalid witness file) 0 wit inspect .0012 .28 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   4500 6700 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .84 51 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   5300 7400 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .89 50 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   4600 6300 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .89 50 error (invalid witness file) 0 wit inspect .0036 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   6600 12000 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .024 5.0 error (invalid witness file) 0 wit inspect .94 49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   4700 9000 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0028 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4500 6800 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .99 49 error (invalid witness file) 0 wit inspect .0011 .27 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4000 7300 error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .83 50 error (invalid witness file) 0 wit inspect .0018 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   7600 9100 error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .95 49 error (invalid witness file) 0 wit inspect .0037 .30 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   7400 8700 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .89 52 error (invalid witness file) 0 wit inspect .0012 .35 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   7500 8800 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0015 .30 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   8300 10000 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .024 5.0 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   7800 8000 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .91 49 error (invalid witness file) 0 wit inspect .0012 .28 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   7400 10000 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .97 49 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   7500 10000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0031 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   7600 9100 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   7400 9700 error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .027 4.9 error (invalid witness file) 0 wit inspect .99 49 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   8900 9100 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .025 4.8 error (invalid witness file) 0 wit inspect .99 49 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   9200 10000 error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .95 48 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   6000 8600 error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .84 48 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   6800 9100 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .98 49 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   9400 9900 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .91 49 error (invalid witness file) 0 wit inspect .0012 .32 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4200 8200 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect 1.0  50 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   7700 9500 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   9700 8800 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .81 49 error (invalid witness file) 0 wit inspect .0012 .30 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   9600 7600 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0022 .29 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   9300 9000 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   6000 8600 error (invalid witness file) 0 wit inspect .67 42 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0025 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4500 6500 error (invalid witness file) 0 wit inspect .72 43 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 900   6700 10000 error (invalid witness file) 0 wit inspect .50 43 error (2) 0 wit inspect .017 4.9 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4900 6900 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .83 50 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 900   5300 5500 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4800 6600 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .99 49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   6500 12000 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .017 4.8 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0011 .32 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   8300 7500 error (invalid witness file) 0 wit inspect .54 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 .0013 .27 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   10000 8500 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 910   7400 11000 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .96 49 error (invalid witness file) 0 wit inspect .0028 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   10000 8500 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .026 4.8 error (invalid witness file) 0 wit inspect .95 48 error (invalid witness file) 0 wit inspect .0011 .30 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   10000 7800 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect 1.1  51 error (invalid witness file) 0 wit inspect .0020 .29 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   5700 6700 error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .93 50 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   5500 7600 error (invalid witness file) 0 wit inspect .57 45 error (2) 0 wit inspect .026 4.8 error (invalid witness file) 0 wit inspect .69 49 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4400 5600 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect 1.1  47 error (invalid witness file) 0 wit inspect .0022 .28 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 900   9500 8900 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .024 5.0 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   7200 7000 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .025 4.8 error (invalid witness file) 0 wit inspect .92 49 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   7700 7100 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .028 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.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c timeout 0 wit inspect 900   6600 6800 error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   8500 7900 error (invalid witness file) 0 wit inspect .61 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect 1.0  51 error (invalid witness file) 0 wit inspect .0032 .29 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   7600 7100 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals_true-termination.c timeout 0 wit inspect 900   6600 11000 error (invalid witness file) 0 wit