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 inspect .54 44 error (2) 0 wit inspect .027 4.8 error (invalid witness file) 0 wit inspect .98 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   6600 8600 error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .023 5.0 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_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   8400 9900 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0020 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   3200 4300 error (invalid witness file) 0 wit inspect .60 44 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0011 .30 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   3800 3800 error (invalid witness file) 0 wit inspect .56 45 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect 18   840 150 true -32 wit inspect 5.5  270 true -32 wit inspect 6.7   270   unknown 0 wit inspect 4.2  220 true -32 wit inspect .65   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 21   850 150 false(unreach-call) 1 wit inspect 5.1  280 true -32 wit inspect 7.2   280   unknown 0 wit inspect 4.5  230 true -32 wit inspect .66   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   5800 9600 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 570   6500 5200 false(unreach-call) 1 wit inspect 5.3  280 true -32 wit inspect 7.9   280   unknown 0 wit inspect 4.7  230 true -32 wit inspect .66   21    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   7200 11000 error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0028 .30 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4200 12000 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   6600 6900 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .026 5.0 error (invalid witness file) 0 wit inspect .92 47 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   4700 10000 error (invalid witness file) 0 wit inspect .68 42 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   5100 7800 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0012 .30 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   4200 7000 error (invalid witness file) 0 wit inspect .56 45 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0014 .30 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   5700 7000 error (invalid witness file) 0 wit inspect .54 42 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 .0011 .28 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   4700 7200 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .91 51 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4000 6500 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0013 .27 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   4200 7500 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0041 .33 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4000 6900 error (invalid witness file) 0 wit inspect .54 45 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .97 50 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4600 8100 error (invalid witness file) 0 wit inspect .52 44 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect 1.1  51 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   7500 10000 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .024 5.0 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_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   5400 7600 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   6900 9800 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   8300 9600 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect 1.0  50 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   6500 9000 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .019 4.9 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_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   7500 9000 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect 1.0  51 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   6700 10000 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .024 5.0 error (invalid witness file) 0 wit inspect .81 50 error (invalid witness file) 0 wit inspect .0027 .28 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   6300 7600 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect 1.1  52 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   7900 8100 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 47 error (invalid witness file) 0 wit inspect .0026 .32 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c error 0 wit inspect 150   3500 1700 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .91 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c timeout 0 wit inspect 900   4100 11000 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.1  51 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c false(unreach-call) 0 wit inspect 110   3900 1100 true -32 wit inspect 15    390 true -32 wit inspect 88     2000   unknown 0 wit inspect 6.1  270 error (2) 0 wit inspect .98   23    - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c timeout 0 wit inspect 900   4100 11000 error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c error 0 wit inspect 160   3900 1600 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .93 47 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c timeout 0 wit inspect 900   4200 12000 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect 1.0  52 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c error 0 wit inspect 100   4000 1000 error (invalid witness file) 0 wit inspect .64 41 error (2) 0 wit inspect .022 5.0 error (invalid witness file) 0 wit inspect .86 51 error (invalid witness file) 0 wit inspect .0012 .33 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c timeout 0 wit inspect 900   4200 10000 error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .94 49 error (invalid witness file) 0 wit inspect .0011 .33 - wit inspect - wit inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c timeout 0 wit inspect 900   4500 10000 error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c timeout 0 wit inspect 900   4200 11000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c error 0 wit inspect 49   2100 440 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0011 .33 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c timeout 0 wit inspect 900   4200 11000 error (invalid witness file) 0 wit inspect .60 44 error (2) 0 wit inspect .021 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/rekcba_nxt_false-unreach-call.2.M1.c error 0 wit inspect 56   2400 480 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .91 51 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c timeout 0 wit inspect 900   4300 11000 error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c false(unreach-call) 0 wit inspect 28   800 250 true -32 wit inspect 18    460 true -32 wit inspect 18     490   unknown 0 wit inspect 7.1  280 error (2) 0 wit inspect 1.1    22    - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c false(unreach-call) 0 wit inspect 26   810 240 true -32 wit inspect 55    2200 true -32 wit inspect 17     510   unknown 0 wit inspect 7.3  280 error (2) 0 wit inspect 1.1    22    - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c false(unreach-call) 0 wit inspect 29   840 230 true -32 wit inspect 15    440 true -32 wit inspect 16     520   unknown 0 wit inspect 6.1  290 error (2) 0 wit inspect 1.2    22    - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c false(unreach-call) 0 wit inspect 25   810 220 true -32 wit inspect 66    2000 true -32 wit inspect 19     520   unknown 0 wit inspect 7.7  280 error (2) 0 wit inspect 1.1    22    - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c false(unreach-call) 0 wit inspect 43   1200 420 true -32 wit inspect 21    550 true -32 wit inspect 25     690   unknown 0 wit inspect 7.2  290 error (2) 0 wit inspect 1.4    28    - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c false(unreach-call) 0 wit inspect 44   1300 400 true -32 wit inspect 72    2400 true -32 wit inspect 24     640   unknown 0 wit inspect 8.0  290 error (2) 0 wit inspect 1.3    28    - wit inspect - wit inspect
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c false(unreach-call) 0 wit inspect 53   1400 500 true -32 wit inspect 28    620 true -32 wit inspect 56     1300   unknown 0 wit inspect 7.6  280 true -32 wit inspect 1.2    22    - wit inspect - wit inspect
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c false(unreach-call) 0 wit inspect 39   1200 370 true -32 wit inspect 26    790 timeout 0 wit inspect 97     2100   unknown 0 wit inspect 7.9  280 true -32 wit inspect 1.2    20    - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c false(unreach-call) 0 wit inspect 30   1000 250 timeout 0 wit inspect 98    3100 timeout 0 wit inspect 96     2800   unknown 0 wit inspect 6.8  280 error (2) 0 wit inspect .96   24    - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c false(unreach-call) 0 wit inspect 140   2900 1500 timeout 0 wit inspect 95    2800 true -32 wit inspect 18     480   unknown 0 wit inspect 6.7  280 error (2) 0 wit inspect 1.2    42    - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c false(unreach-call) 0 wit inspect 26   790 230 timeout 0 wit inspect 98    3100 true -32 wit inspect 16     490   unknown 0 wit inspect 6.0  280 error (2) 0 wit inspect 1.0    21    - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c false(unreach-call) 0 wit inspect 26   780 230 timeout 0 wit inspect 98    3100 true -32 wit inspect 19     500   unknown 0 wit inspect 6.5  280 error (2) 0 wit inspect 1.0    22    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 0 wit inspect 900   7100 8600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .027 4.8
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   7100 9000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .021 4.9
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   7400 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 45 error (2) 0 wit inspect .021 4.8
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   7900 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 42 error (2) 0 wit inspect .023 4.9
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   7800 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .019 4.8
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   8200 8800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .025 4.8
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   5000 6900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .019 4.8
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4800 9900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .021 4.8
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   5500 7100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .017 4.9
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   5900 8300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .019 4.9
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   7400 9600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .026 4.9
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   6800 8700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .019 4.9
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 910   11000 9400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .018 4.8
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   9900 7700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.8
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   8800 7700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .019 4.9
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   8800 8400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .017 4.8
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 900   4900 9300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .018 4.9
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   6400 8300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 44 error (2) 0 wit inspect .022 4.9
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   6700 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 44 error (2) 0 wit inspect .021 4.8
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   9000 8200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .019 4.8
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   11000 7600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .019 4.9
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4800 7100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .022 4.9
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   7300 6600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .022 4.9
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   9600 9200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .022 5.0
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 900   6400 5500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .019 4.8
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   8100 8900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 44 error (2) 0 wit inspect .020 5.0
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c timeout 0 wit inspect 900   5800 7900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .024 4.8
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   6800 7800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .029 4.9
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c timeout 0 wit inspect 900   5300 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 45 error (2) 0 wit inspect .022 4.8
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   5300 9400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .023 4.8
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   7100 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.9
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4400 9800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 42 error (2) 0 wit inspect .019 4.9
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   5100 6900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .021 4.9
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4800 8200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .024 4.8
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   6700 8600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .019 4.8
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   6800 8400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c error 0 wit inspect 120   3800 1400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .021 4.8
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c timeout 0 wit inspect 900   4100 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .027 4.8
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c error 0 wit inspect 100   4000 1100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 44 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c timeout 0 wit inspect 900   4200 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .024 4.9
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c timeout 0 wit inspect 900   4700 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .018 5.0
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c timeout 0 wit inspect 900   4500 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .023 4.8
seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c timeout 0 wit inspect 900   4200 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .023 4.8
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c timeout 0 wit inspect 900   4300 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .025 4.8
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c error 0 wit inspect 51   2100 480 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .019 4.8
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c timeout 0 wit inspect 900   4200 8700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 41 error (2) 0 wit inspect .024 4.9
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c error 0 wit inspect 48   1900 440 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c timeout 0 wit inspect 900   4200 14000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .019 4.8
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c error 0 wit inspect 55   1900 540 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .022 4.8
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c timeout 0 wit inspect 900   4300 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 44 error (2) 0 wit inspect .021 4.8
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c false(unreach-call) -16 wit inspect 26   830 260 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 15    380 true 2 wit inspect 20     490  
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c false(unreach-call) -16 wit inspect 25   820 230 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 64    2000 true 2 wit inspect 18     510  
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c false(unreach-call) -16 wit inspect 44   1200 450 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 21    550 true 2 wit inspect 22     670  
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c false(unreach-call) -16 wit inspect 43   1200 390 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 82    2400 true 2 wit inspect 26     680  
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c false(unreach-call) -16 wit inspect 47   1400 410 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 23    560 true 2 wit inspect 25     690  
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c false(unreach-call) -16 wit inspect 44   1200 410 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 82    2500 true 2 wit inspect 23     670  
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c false(unreach-call) -16 wit inspect 41   1300 410 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 23    570 true 2 wit inspect 27     790  
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c false(unreach-call) -16 wit inspect 53   1400 540 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 31    670 true 2 wit inspect 490     2900  
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c false(unreach-call) -16 wit inspect 45   1200 360 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 27    720 true 2 wit inspect 790     2700  
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c false(unreach-call) -16 wit inspect 45   1400 370 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 36    930 true 2 wit inspect 45     1300  
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c false(unreach-call) -16 wit inspect 35   1100 260 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960    5500 true 2 wit inspect 790     4700  
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c false(unreach-call) -16 wit inspect 110   3100 1000 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960    5500 true 2 wit inspect 17     540  
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c false(unreach-call) -16 wit inspect 19   640 150 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960    5500 true 2 wit inspect 57     830  
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c false(unreach-call) -16 wit inspect 19   610 160 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960    5500 true 2 wit inspect 47     720  
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c false(unreach-call) -16 wit inspect 25   800 240 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960    5500 true 2 wit inspect 16     480  
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c false(unreach-call) -16 wit inspect 26   810 230 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960    5500 true 2 wit inspect 20     490  
seq-pthread/cs_fib_false-unreach-call.i false(unreach-call) 0 wit inspect 12   510 110 true -32 wit inspect 50    2100 true -32 wit inspect 9.0   300   unknown 0 wit inspect 4.5  260 true -32 wit inspect .71   19    - wit inspect - wit inspect
seq-pthread/cs_fib_longer_false-unreach-call.i false(unreach-call) 0 wit inspect 13   530 110 true -32 wit inspect 49    2100 true -32 wit inspect 9.1   310   unknown 0 wit inspect 5.4  270 true -32 wit inspect .74   20    - wit inspect - wit inspect
seq-pthread/cs_lazy_false-unreach-call_true-termination.i false(unreach-call) 0 wit inspect 18   550 150 true -32 wit inspect 6.8  270 true -32 wit inspect 7.2   290   unknown 0 wit inspect 4.9  260 true -32 wit inspect .75   19    - wit inspect - wit inspect
seq-pthread/cs_queue_false-unreach-call.i timeout 0 wit inspect 900   2900 9300 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
seq-pthread/cs_read_write_lock_false-unreach-call.i false(unreach-call) 0 wit inspect 22   710 190 true -32 wit inspect 32    1400 true -32 wit inspect 8.0   310   unknown 0 wit inspect 5.4  260 true -32 wit inspect .73   20    - wit inspect - wit inspect
seq-pthread/cs_stack_false-unreach-call.i false(unreach-call) 0 wit inspect 16   560 120 timeout 0 wit inspect 94    2900 error (7) 0 wit inspect 5.0   210   unknown 0 wit inspect 5.4  260 true -32 wit inspect .76   19    - wit inspect - wit inspect
seq-pthread/cs_stateful_false-unreach-call_true-termination.i error 0 wit inspect 18   550 160 error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
seq-pthread/cs_dekker_true-unreach-call.i false(unreach-call) -16 wit inspect 19   590 180 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.1  260 true 2 wit inspect 7.7   320  
seq-pthread/cs_fib_longer_true-unreach-call.i false(unreach-call) -16 wit inspect 22   640 200 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 50    2000 true 2 wit inspect 9.4   350  
seq-pthread/cs_fib_true-unreach-call.i false(unreach-call) -16 wit inspect 23   630 190 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 19    570 true 2 wit inspect 8.0   340  
seq-pthread/cs_lamport_true-unreach-call.i false(unreach-call) -16 wit inspect 26   750 220 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.9  260 true 2 wit inspect 38     610  
seq-pthread/cs_peterson_true-unreach-call.i false(unreach-call) -16 wit inspect 29   750 230 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.1  260 true 2 wit inspect 7.8   310  
seq-pthread/cs_queue_true-unreach-call.i timeout 0 wit inspect 900   6800 9700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 4.9
seq-pthread/cs_read_write_lock_true-unreach-call.i false(unreach-call) -16 wit inspect 69   880 590 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 10    280 true 2 wit inspect 7.9   330  
seq-pthread/cs_stack_true-unreach-call.i false(unreach-call) -16 wit inspect 39   830 310 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 210    3800 error (7) 0 wit inspect 5.0   210  
seq-pthread/cs_stateful_true-unreach-call.i false(unreach-call) -16 wit inspect 56   810 430 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 24    580 true 2 wit inspect 6.8   310  
seq-pthread/cs_sync_true-unreach-call.i error 0 wit inspect 35   730 290 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 44 error (2) 0 wit inspect .017 5.0
seq-pthread/cs_szymanski_true-unreach-call.i false(unreach-call) -16 wit inspect 26   750 220 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.8  290 true 2 wit inspect 7.2   300  
seq-pthread/cs_time_var_mutex_true-unreach-call.i false(unreach-call) -16 wit inspect 47   660 370 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.8  260 true 2 wit inspect 7.3   310  
sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy
total 273 -364 160000 1300000 1500000 170 -545 1200 46000 170 -880 1800 61000 170 0 390 19000 170 -624 43 1200 103 40 18000 130000 103 -36 3200 46000
    correct results 38 43 2600 77000 20000 31 31 180 8700 16 16 480 15000 0 16 16 11 350 20 40 750 20000 30 60 2800 28000
        correct true 5 10 210 8700 1600 0 0 0 0 20 40 750 20000 30 60 2800 28000
        correct false 33 33 2300 68000 19000 31 31 180 8700 16 16 480 15000 0 16 16 11 350 0 0
    correct-unconfimed results 30 9 1200 38000 10000 0 0 0 0 0 0
        correct-unconfirmed true 9 9 420 15000 2800 0 0 0 0 0 0
        correct-unconfirmed false 21 0 770 23000 7200 0 0 0 0 0 0
    incorrect results 26 -416 1000 26000 8800 18 -576 490 17000 28 -896 440 13000 0 20 -640 15 400 0 6 -96 110 3100
        incorrect true 0 18 -576 490 17000 28 -896 440 13000 0 20 -640 15 400 0 0
        incorrect false 26 -416 1000 26000 8800 0 0 0 0 0 6 -96 110 3100
score (273 tasks, max score: 376) -364 -545 -880 0 -624 40 -36
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