Tool CPAchecker 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-12-05 07:52:24 CET 2017-12-05 13:10:09 CET 2017-12-05 13:34:02 CET 2017-12-05 13:37:41 CET 2017-12-05 13:41:35 CET 2017-12-05 12:37:13 CET 2017-12-05 13:13:01 CET
Run set interpchecker.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-interpchecker.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-interpchecker.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-interpchecker.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-interpchecker.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-interpchecker.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-interpchecker.sv-comp18-correctness-witness.ReachSafety-Sequentialized
Options -sv-comp18-interpcpachecker -heap 10000M -disable-java-assertions -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/interpchecker.2017-12-05_0752.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/interpchecker.2017-12-05_0752.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/interpchecker.2017-12-05_0752.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/interpchecker.2017-12-05_0752.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/interpchecker.2017-12-05_0752.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 45 2200 380 true -32 wit inspect 5.4  270 false(unreach-call) 1 wit inspect 16     700   unknown 0 wit inspect 4.1  230 false(unreach-call) 1 wit inspect .69   20    - wit inspect - wit inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 31 1300 260 false(unreach-call) 1 wit inspect 23    820 true -32 wit inspect 12     460   unknown 0 wit inspect 3.4  220 error (1) 0 wit inspect .57   19    - wit inspect - wit inspect
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 17 640 140 timeout 0 wit inspect 93    2500 false(unreach-call) 1 wit inspect 5.9   280   unknown 0 wit inspect 3.3  210 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 37 1500 320 timeout 0 wit inspect 94    2700 false(unreach-call) 1 wit inspect 11     490   unknown 0 wit inspect 3.7  210 false(unreach-call) 1 wit inspect .65   19    - wit inspect - wit inspect
systemc/pipeline_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910 4600 12000 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0037 .34 - wit inspect - wit inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 48 2400 510 true -32 wit inspect 4.5  260 false(unreach-call) 1 wit inspect 15     510   unknown 0 wit inspect 3.9  220 false(unreach-call) 1 wit inspect .64   19    - wit inspect - wit inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 870 4000 11000 true -32 wit inspect 5.5  280 false(unreach-call) 1 wit inspect 27     850   unknown 0 wit inspect 4.7  230 false(unreach-call) 1 wit inspect .67   20    - wit inspect - wit inspect
systemc/token_ring.03_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910 3800 11000 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .81 48 error (invalid witness file) 0 wit inspect .0037 .31 - wit inspect - wit inspect
systemc/token_ring.04_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910 4300 12000 error (invalid witness file) 0 wit inspect .52 44 error (2) 0 wit inspect .032 5.0 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0040 .29 - wit inspect - wit inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910 4200 14000 error (invalid witness file) 0 wit inspect .52 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .81 50 error (invalid witness file) 0 wit inspect .0020 .34 - wit inspect - wit inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910 4500 12000 error (invalid witness file) 0 wit inspect .52 44 error (2) 0 wit inspect .052 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0037 .34 - wit inspect - wit inspect
systemc/token_ring.07_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 920 4800 11000 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .048 4.9 error (invalid witness file) 0 wit inspect .82 50 error (invalid witness file) 0 wit inspect .0022 .26 - wit inspect - wit inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 920 4800 11000 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .89 47 error (invalid witness file) 0 wit inspect .0041 .31 - wit inspect - wit inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 920 5300 11000 error (invalid witness file) 0 wit inspect .53 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 .0047 .29 - wit inspect - wit inspect
systemc/token_ring.10_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 930 5300 11000 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0037 .34 - wit inspect - wit inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 930 5300 12000 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .030 4.9 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0042 .26 - wit inspect - wit inspect
systemc/token_ring.12_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 940 5800 11000 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .039 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0041 .34 - wit inspect - wit inspect
systemc/token_ring.13_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 950 6100 10000 error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .038 4.8 error (invalid witness file) 0 wit inspect .83 50 error (invalid witness file) 0 wit inspect .0037 .34 - wit inspect - wit inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 940 5700 13000 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .041 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0031 .29 - wit inspect - wit inspect
systemc/token_ring.15_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910 4000 10000 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .81 47 error (invalid witness file) 0 wit inspect .0036 .29 - wit inspect - wit inspect
systemc/toy1_false-unreach-call_false-termination.cil.c false(unreach-call) 0 wit inspect 47 1600 430 timeout 0 wit inspect 92    2000 true -32 wit inspect 17     560   unknown 0 wit inspect 3.7  210 error (1) 0 wit inspect .58   19    - wit inspect - wit inspect
systemc/toy2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 40 1600 390 true -32 wit inspect 4.2  270 false(unreach-call) 1 wit inspect 38     1300   unknown 0 wit inspect 7.2  310 false(unreach-call) 1 wit inspect .71   21    - wit inspect - wit inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 19 810 140 true -32 wit inspect 4.3  270 false(unreach-call) 1 wit inspect 13     530   unknown 0 wit inspect 3.7  220 false(unreach-call) 1 wit inspect .65   19    - wit inspect - wit inspect
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 41 1800 440 true -32 wit inspect 5.1  270 false(unreach-call) 1 wit inspect 20     730   unknown 0 wit inspect 4.3  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 250 3800 3100 true -32 wit inspect 5.6  280 false(unreach-call) 1 wit inspect 37     910   unknown 0 wit inspect 5.0  230 false(unreach-call) 1 wit inspect .70   20    - wit inspect - wit inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 280 3900 3400 true -32 wit inspect 6.5  280 false(unreach-call) 1 wit inspect 43     1200   unknown 0 wit inspect 5.8  290 false(unreach-call) 1 wit inspect .73   21    - wit inspect - wit inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910 4000 15000 error (invalid witness file) 0 wit inspect .49 41 error (2) 0 wit inspect .032 4.8 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0041 .26 - wit inspect - wit inspect
systemc/transmitter.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 140 3800 1500 true -32 wit inspect 7.5  290 false(unreach-call) 1 wit inspect 78     2500   unknown 0 wit inspect 7.1  300 false(unreach-call) 1 wit inspect .75   22    - wit inspect - wit inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 230 3900 3000 true -32 wit inspect 7.7  320 timeout (false(unreach-call)) 0 wit inspect 94     3300   unknown 0 wit inspect 7.8  330 false(unreach-call) 1 wit inspect .83   23    - wit inspect - wit inspect
systemc/transmitter.08_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 960 6400 9500 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .017 4.9 error (invalid witness file) 0 wit inspect .85 51 error (invalid witness file) 0 wit inspect .0036 .34 - wit inspect - wit inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910 6700 9800 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
systemc/transmitter.10_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910 4200 11000 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .036 4.8 error (invalid witness file) 0 wit inspect .80 47 error (invalid witness file) 0 wit inspect .0042 .31 - wit inspect - wit inspect
systemc/transmitter.11_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 920 5100 12000 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .044 4.8 error (invalid witness file) 0 wit inspect .81 49 error (invalid witness file) 0 wit inspect .0037 .34 - wit inspect - wit inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910 5500 12000 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0041 .35 - wit inspect - wit inspect
systemc/transmitter.13_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 920 5200 12000 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .025 4.8 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0047 .26 - wit inspect - wit inspect
systemc/transmitter.15_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 970 6500 8800 error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .043 4.9 error (invalid witness file) 0 wit inspect .87 50 error (invalid witness file) 0 wit inspect .0037 .29 - wit inspect - wit inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 920 4700 11000 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c true 2 wit inspect 38 1500 290 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    6900 true 2 wit inspect 71     2400  
systemc/kundu_true-unreach-call_false-termination.cil.c false(unreach-call) -16 wit inspect 40 1800 390 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 710    3100 true 2 wit inspect 10     320  
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c true 1 wit inspect 65 1900 640 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 920    5800 out of memory 0 wit inspect 220     7000  
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c false(unreach-call) -16 wit inspect 56 1800 520 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 100    2300 true 2 wit inspect 29     720  
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c false(unreach-call) -16 wit inspect 48 2000 440 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 50    2100 true 2 wit inspect 12     530  
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c false(unreach-call) -16 wit inspect 53 1900 480 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 69    2200 true 2 wit inspect 13     470  
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c false(unreach-call) -16 wit inspect 57 1900 540 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 79    2300 true 2 wit inspect 9.6   390  
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 920 140 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1500 true 2 wit inspect 25     690  
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c true 1 wit inspect 41 1500 360 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    5900 false(unreach-call) -16 wit inspect 15     490  
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c true 2 wit inspect 25 1300 190 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 510    7000 true 2 wit inspect 17     570  
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 4300 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 45 error (2) 0 wit inspect .025 4.9
systemc/token_ring.01_true-unreach-call_false-termination.cil.c true 1 wit inspect 56 2200 510 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    6600 false(unreach-call) -16 wit inspect 17     510  
systemc/token_ring.02_true-unreach-call_false-termination.cil.c true 1 wit inspect 790 4000 9600 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    4800 false(unreach-call) -16 wit inspect 17     570  
systemc/token_ring.03_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 910 3800 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.9
systemc/token_ring.04_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 960 5700 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .047 4.9
systemc/token_ring.05_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 910 4100 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .023 4.9
systemc/token_ring.06_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 910 4400 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .025 4.8
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 910 4600 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .024 4.9
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 920 4800 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .025 4.9
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 920 5100 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .025 4.9
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 930 5300 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .023 4.8
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 910 4600 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .047 4.8
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 940 5700 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .036 4.8
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 910 4000 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .041 4.9
systemc/toy_true-unreach-call_false-termination.cil.c false(unreach-call) -16 wit inspect 45 1700 410 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3800 true 2 wit inspect 20     650  
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 140 3900 1700 true -32 wit inspect 5.1  320 false(unreach-call) 1 wit inspect 9.9   360   unknown 0 wit inspect 3.8  260 true -32 wit inspect .69   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 140 3900 1600 true -32 wit inspect 6.0  260 false(unreach-call) 1 wit inspect 8.2   340   unknown 0 wit inspect 3.7  220 true -32 wit inspect .70   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 73 3300 640 true -32 wit inspect 7.0  320 false(unreach-call) 1 wit inspect 11     530   unknown 0 wit inspect 4.2  260 true -32 wit inspect .74   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 72 3300 720 true -32 wit inspect 6.0  260 false(unreach-call) 1 wit inspect 10     530   unknown 0 wit inspect 3.9  220 true -32 wit inspect .71   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 85 3700 1000 true -32 wit inspect 7.3  330 false(unreach-call) 1 wit inspect 10     530   unknown 0 wit inspect 4.3  270 true -32 wit inspect .71   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 81 3700 900 true -32 wit inspect 5.8  270 false(unreach-call) 1 wit inspect 12     520   unknown 0 wit inspect 4.1  220 true -32 wit inspect .71   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c false(unreach-call) 0 wit inspect 110 3800 1300 timeout 0 wit inspect 91    650 true -32 wit inspect 7.3   330   unknown 0 wit inspect 3.7  220 error (1) 0 wit inspect .57   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 150 3900 1700 timeout 0 wit inspect 91    730 true -32 wit inspect 6.7   300   unknown 0 wit inspect 3.7  220 error (1) 0 wit inspect .58   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900 4900 12000 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .017 5.0 error (invalid witness file) 0 wit inspect .88 47 error (invalid witness file) 0 wit inspect .0045 .29 - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 4900 12000 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0038 .26 - 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 4900 13000 error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .90 50 error (invalid witness file) 0 wit inspect .0012 .32 - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 4900 13000 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .049 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0037 .32 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect 290 4000 3600 true -32 wit inspect 4.7  260 true -32 wit inspect 6.0   270   unknown 0 wit inspect 4.2  270 true -32 wit inspect .71   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 120 3800 1300 true -32 wit inspect 4.9  280 true -32 wit inspect 6.2   270   unknown 0 wit inspect 4.1  230 true -32 wit inspect .72   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 110 3800 1100 true -32 wit inspect 4.5  260 false(unreach-call) 1 wit inspect 81     990   unknown 0 wit inspect 4.1  260 true -32 wit inspect .73   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 230 3900 2600 true -32 wit inspect 4.4  260 false(unreach-call) 1 wit inspect 40     900   unknown 0 wit inspect 3.9  220 true -32 wit inspect .74   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect 230 3900 3100 true -32 wit inspect 5.3  280 timeout 0 wit inspect 96     1500   unknown 0 wit inspect 4.5  270 true -32 wit inspect .73   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 310 4000 3300 true -32 wit inspect 5.0  270 timeout 0 wit inspect 97     1500   unknown 0 wit inspect 4.1  230 true -32 wit inspect .73   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c timeout (false(unreach-call)) 0 wit inspect 900 4700 11000 true -32 wit inspect 5.1  280 timeout 0 wit inspect 97     850   unknown 0 wit inspect 4.4  270 true -32 wit inspect .73   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 4500 11000 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .031 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0041 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910 4500 12000 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0050 .26 - 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 4500 11000 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .87 50 error (invalid witness file) 0 wit inspect .0041 .34 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 4600 12000 error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect .84 50 error (invalid witness file) 0 wit inspect .0025 .26 - 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 4700 12000 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .028 4.8 error (invalid witness file) 0 wit inspect .86 50 error (invalid witness file) 0 wit inspect .0026 .31 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 4700 11000 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0037 .29 - 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 14000 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .047 5.0 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0040 .34 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 4500 10000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .027 4.8 error (invalid witness file) 0 wit inspect .96 50 error (invalid witness file) 0 wit inspect .0040 .27 - 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 4500 11000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .048 5.0 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0044 .32 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 4600 11000 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .79 49 error (invalid witness file) 0 wit inspect .0040 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 4700 8900 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .052 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0031 .35 - 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 4700 12000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0047 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 4600 13000 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0012 .29 - 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 4400 11000 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0040 .34 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 4600 11000 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .90 49 error (invalid witness file) 0 wit inspect .0018 .30 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900 4700 12000 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .051 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0012 .32 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 4500 11000 error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect .81 50 error (invalid witness file) 0 wit inspect .0037 .34 - 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 4400 10000 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0037 .30 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 4600 12000 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .037 4.8 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0036 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 4600 12000 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .046 4.8 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0045 .30 - 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 330 4000 4100 true -32 wit inspect 5.0  280 false(unreach-call) 1 wit inspect 8.1   340   unknown 0 wit inspect 3.9  230 true -32 wit inspect .70   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 200 3800 2200 true -32 wit inspect 4.9  280 false(unreach-call) 1 wit inspect 12     520   unknown 0 wit inspect 3.9  230 true -32 wit inspect .68   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 35 1300 270 true -32 wit inspect 4.7  280 false(unreach-call) 1 wit inspect 16     590   unknown 0 wit inspect 3.8  230 true -32 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 25 950 180 true -32 wit inspect 4.7  270 false(unreach-call) 1 wit inspect 24     730   unknown 0 wit inspect 4.1  220 true -32 wit inspect .70   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) 0 wit inspect 280 4000 3400 true -32 wit inspect 5.7  280 timeout 0 wit inspect 96     1700   unknown 0 wit inspect 4.1  220 true -32 wit inspect .72   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910 4500 11000 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .048 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0012 .28 - 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 120 3800 1200 true -32 wit inspect 5.5  270 false(unreach-call) 1 wit inspect 9.5   450   unknown 0 wit inspect 4.3  230 true -32 wit inspect .71   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 30 1700 260 true -32 wit inspect 5.6  270 false(unreach-call) 1 wit inspect 31     1300   unknown 0 wit inspect 4.4  220 true -32 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 timeout 0 wit inspect 900 4400 11000 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0020 .28 - 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 4600 11000 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0040 .31 - 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 160 3800 2000 true -32 wit inspect 5.8  280 false(unreach-call) 1 wit inspect 12     560   unknown 0 wit inspect 4.8  270 true -32 wit inspect .78   22    - 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 4700 12000 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0036 .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 4600 12000 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .041 4.9 error (invalid witness file) 0 wit inspect .87 47 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 4400 13000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .038 4.9 error (invalid witness file) 0 wit inspect .82 49 error (invalid witness file) 0 wit inspect .0018 .34 - 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 680 4300 8800 true -32 wit inspect 6.4  270 false(unreach-call) 1 wit inspect 15     600   unknown 0 wit inspect 5.0  270 true -32 wit inspect .85   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 88 3700 890 true -32 wit inspect 6.5  290 false(unreach-call) 1 wit inspect 31     2300   unknown 0 wit inspect 4.9  270 true -32 wit inspect .85   24    - 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 75 3700 750 true -32 wit inspect 4.8  270 false(unreach-call) 1 wit inspect 14     610   unknown 0 wit inspect 4.0  230 true -32 wit inspect .70   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 85 3700 980 true -32 wit inspect 4.9  280 false(unreach-call) 1 wit inspect 24     720   unknown 0 wit inspect 4.0  230 true -32 wit inspect .67   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c true -32 wit inspect 140 3800 1400 timeout 0 wit inspect 92    760 timeout 0 wit inspect 97     2100   unknown 0 wit inspect .95 51 error (1) 0 wit inspect .070  9.1  - 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 480 4100 6800 true -32 wit inspect 3.6  260 false(unreach-call) 1 wit inspect 27     940   unknown 0 wit inspect 4.5  230 true -32 wit inspect .74   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 670 4300 8800 true -32 wit inspect 5.3  270 false(unreach-call) 1 wit inspect 23     1000   unknown 0 wit inspect 4.3  220 true -32 wit inspect .74   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 70 3600 730 timeout 0 wit inspect 91    690 true -32 wit inspect 13     510   unknown 0 wit inspect 3.6  220 error (1) 0 wit inspect .56   24    - 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 4100 13000 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .042 4.9 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0037 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 3900 12000 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .048 4.9 error (invalid witness file) 0 wit inspect .86 51 error (invalid witness file) 0 wit inspect .0037 .35 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 4100 12000 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0035 .31 - 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 4100 13000 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .81 50 error (invalid witness file) 0 wit inspect .0047 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 4100 11000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .049 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0019 .34 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 4100 12000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .046 4.9 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0035 .34 - 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 4100 14000 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .024 5.0 error (invalid witness file) 0 wit inspect .80 49 error (invalid witness file) 0 wit inspect .0021 .31 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 4300 13000 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .024 5.0 error (invalid witness file) 0 wit inspect .83 50 error (invalid witness file) 0 wit inspect .0034 .34 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 4300 11000 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .86 51 error (invalid witness file) 0 wit inspect .0041 .34 - wit