Tool CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741 CPA-witness2test 1.6.1-svn 26773 CProver witness2test 0.1 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2 timelimit: 900 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB]
Date of execution 2017-11-30 11:20:26 CET 2017-12-01 07:29:20 CET 2017-12-01 08:07:14 CET 2017-12-01 08:15:38 CET 2017-12-01 08:19:10 CET 2017-12-01 04:11:27 CET 2017-12-01 07:35:08 CET
Run set cpa-seq.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-cpa-seq.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-cpa-seq.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-cpa-seq.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-cpa-seq.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-cpa-seq.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-cpa-seq.sv-comp18-correctness-witness.ReachSafety-Sequentialized
Options -svcomp18 -heap 10000M -benchmark -timelimit 900s -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cpa-seq.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc -setprop cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc -setprop cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc -setprop cpa.smg.deallocationFunctions=free,kfree,kfree_const --full-output --validate ../../results-verified/cpa-seq.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cpa-seq.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true --graphml-witness ../../results-verified/cpa-seq.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cpa-seq.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/cpa-seq.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy
systemc/kundu1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.3 300 48 false(unreach-call) 1 wit inspect 5.4  290 false(unreach-call) 1 wit inspect 16     660   unknown 0 wit inspect 5.3  230 false(unreach-call) 1 wit inspect .71   21    - wit inspect - wit inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.7 290 52 false(unreach-call) 1 wit inspect 6.1  300 false(unreach-call) 1 wit inspect 19     710   unknown 0 wit inspect 4.4  230 false(unreach-call) 1 wit inspect .69   21    - wit inspect - wit inspect
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 2.9 260 28 false(unreach-call) 1 wit inspect 3.6  260 false(unreach-call) 1 wit inspect 7.3   280   unknown 0 wit inspect 3.3  220 false(unreach-call) 1 wit inspect .61   19    - wit inspect - wit inspect
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 3.4 270 31 false(unreach-call) 1 wit inspect 2.8  270 false(unreach-call) 1 wit inspect 11     500   unknown 0 wit inspect 3.4  220 false(unreach-call) 1 wit inspect .64   19    - wit inspect - wit inspect
systemc/pipeline_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 31   1600 290 false(unreach-call) 1 wit inspect 9.7  340 timeout 0 wit inspect 97     5600   unknown 0 wit inspect 7.6  290 false(unreach-call) 1 wit inspect .96   33    - wit inspect - wit inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 9.5 440 78 false(unreach-call) 1 wit inspect 5.2  280 false(unreach-call) 1 wit inspect 17     640   unknown 0 wit inspect 3.6  220 false(unreach-call) 1 wit inspect .65   20    - wit inspect - wit inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 12   560 110 false(unreach-call) 1 wit inspect 5.1  280 false(unreach-call) 1 wit inspect 30     790   unknown 0 wit inspect 4.4  230 false(unreach-call) 1 wit inspect .70   20    - wit inspect - wit inspect
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 16   670 130 false(unreach-call) 1 wit inspect 6.0  280 false(unreach-call) 1 wit inspect 33     970   unknown 0 wit inspect 4.5  230 false(unreach-call) 1 wit inspect .92   21    - wit inspect - wit inspect
systemc/token_ring.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 28   1000 270 false(unreach-call) 1 wit inspect 6.7  290 false(unreach-call) 1 wit inspect 62     1500   unknown 0 wit inspect 4.8  220 false(unreach-call) 1 wit inspect .83   22    - wit inspect - wit inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 50   1900 550 false(unreach-call) 1 wit inspect 6.6  280 timeout (false(unreach-call)) 0 wit inspect 91     2000   unknown 0 wit inspect 7.0  270 false(unreach-call) 1 wit inspect 1.1    23    - wit inspect - wit inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 84   2700 850 false(unreach-call) 1 wit inspect 7.3  290 false(unreach-call) 1 wit inspect 85     3100   unknown 0 wit inspect 6.3  270 false(unreach-call) 1 wit inspect .82   24    - wit inspect - wit inspect
systemc/token_ring.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 100   2800 1200 false(unreach-call) 1 wit inspect 7.4  300 timeout (false(unreach-call)) 0 wit inspect 94     4500   unknown 0 wit inspect 5.9  280 false(unreach-call) 1 wit inspect .88   26    - wit inspect - wit inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 140   3700 1700 false(unreach-call) 1 wit inspect 8.2  310 timeout 0 wit inspect 97     4400   unknown 0 wit inspect 6.0  280 false(unreach-call) 1 wit inspect .90   27    - wit inspect - wit inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 260   4000 2800 false(unreach-call) 1 wit inspect 8.8  310 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 6.2  310 false(unreach-call) 1 wit inspect 1.1    29    - wit inspect - wit inspect
systemc/token_ring.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 400   3700 5400 false(unreach-call) 1 wit inspect 11    340 timeout 0 wit inspect 96     4500   unknown 0 wit inspect 7.8  330 false(unreach-call) 1 wit inspect 1.0    31    - wit inspect - wit inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 420   3600 4300 false(unreach-call) 1 wit inspect 11    420 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 9.0  300 false(unreach-call) 1 wit inspect 1.2    33    - wit inspect - wit inspect
systemc/token_ring.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 410   4000 4800 false(unreach-call) 1 wit inspect 11    380 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 7.4  320 false(unreach-call) 1 wit inspect 1.3    35    - wit inspect - wit inspect
systemc/token_ring.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 420   4000 4600 false(unreach-call) 1 wit inspect 13    400 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 9.8  320 false(unreach-call) 1 wit inspect 1.4    38    - wit inspect - wit inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 410   3600 4300 false(unreach-call) 1 wit inspect 11    380 timeout 0 wit inspect 96     4600   unknown 0 wit inspect 7.4  340 false(unreach-call) 1 wit inspect 1.2    35    - wit inspect - wit inspect
systemc/token_ring.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 420   4300 4400 false(unreach-call) 1 wit inspect 12    530 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 8.8  350 false(unreach-call) 1 wit inspect 1.2    38    - wit inspect - wit inspect
systemc/toy1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.8 300 55 false(unreach-call) 1 wit inspect 5.3  280 false(unreach-call) 1 wit inspect 24     730   unknown 0 wit inspect 4.4  230 false(unreach-call) 1 wit inspect .82   21    - wit inspect - wit inspect
systemc/toy2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.9 290 45 false(unreach-call) 1 wit inspect 3.8  290 false(unreach-call) 1 wit inspect 37     800   unknown 0 wit inspect 4.2  230 false(unreach-call) 1 wit inspect .90   21    - wit inspect - wit inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 3.9 280 32 false(unreach-call) 1 wit inspect 2.8  270 false(unreach-call) 1 wit inspect 19     590   unknown 0 wit inspect 3.5  220 false(unreach-call) 1 wit inspect .66   19    - wit inspect - wit inspect
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 4.6 270 41 false(unreach-call) 1 wit inspect 5.0  280 false(unreach-call) 1 wit inspect 24     720   unknown 0 wit inspect 3.7  220 false(unreach-call) 1 wit inspect .66   20    - wit inspect - wit inspect
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.6 300 46 false(unreach-call) 1 wit inspect 4.8  280 false(unreach-call) 1 wit inspect 35     890   unknown 0 wit inspect 4.4  230 false(unreach-call) 1 wit inspect .69   20    - wit inspect - wit inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 7.6 300 55 false(unreach-call) 1 wit inspect 3.9  290 false(unreach-call) 1 wit inspect 43     1300   unknown 0 wit inspect 5.2  230 false(unreach-call) 1 wit inspect .93   21    - wit inspect - wit inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 11   350 72 false(unreach-call) 1 wit inspect 5.9  280 false(unreach-call) 1 wit inspect 57     1800   unknown 0 wit inspect 5.3  220 false(unreach-call) 1 wit inspect .76   22    - wit inspect - wit inspect
systemc/transmitter.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 13   500 110 false(unreach-call) 1 wit inspect 6.1  280 false(unreach-call) 1 wit inspect 74     2300   unknown 0 wit inspect 6.4  230 false(unreach-call) 1 wit inspect .77   23    - wit inspect - wit inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 18   810 150 false(unreach-call) 1 wit inspect 6.8  290 timeout (false(unreach-call)) 0 wit inspect 96     3400   unknown 0 wit inspect 5.2  270 error (2) 0 wit inspect .79   24    - wit inspect - wit inspect
systemc/transmitter.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 34   1500 320 false(unreach-call) 1 wit inspect 8.1  290 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 5.5  270 false(unreach-call) 1 wit inspect .81   25    - wit inspect - wit inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 170   2600 1700 false(unreach-call) 1 wit inspect 8.3  310 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 6.9  280 false(unreach-call) 1 wit inspect .95   28    - wit inspect - wit inspect
systemc/transmitter.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 160   1600 2000 false(unreach-call) 1 wit inspect 11    320 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 7.0  310 false(unreach-call) 1 wit inspect 1.2    29    - wit inspect - wit inspect
systemc/transmitter.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 160   1600 1800 false(unreach-call) 1 wit inspect 9.4  360 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 6.4  320 false(unreach-call) 1 wit inspect 1.0    31    - wit inspect - wit inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 160   2400 2000 false(unreach-call) 1 wit inspect 11    430 timeout 0 wit inspect 98     4500   unknown 0 wit inspect 8.2  290 false(unreach-call) 1 wit inspect 1.1    33    - wit inspect - wit inspect
systemc/transmitter.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 170   1700 1800 false(unreach-call) 1 wit inspect 11    460 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 7.6  300 false(unreach-call) 1 wit inspect 1.2    35    - wit inspect - wit inspect
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.3 290 42 false(unreach-call) 1 wit inspect 5.6  290 false(unreach-call) 1 wit inspect 76     1600   unknown 0 wit inspect 4.3  230 error (2) 0 wit inspect .80   20    - wit inspect - wit inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.5 290 43 false(unreach-call) 1 wit inspect 5.9  290 false(unreach-call) 1 wit inspect 83     1900   unknown 0 wit inspect 5.6  270 error (2) 0 wit inspect .84   20    - wit inspect - wit inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c true 2 wit inspect 3.4 250 28 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 920    7000 true 2 wit inspect 71     2200  
systemc/kundu_true-unreach-call_false-termination.cil.c true 1 wit inspect 13   720 96 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 710    7000 out of memory 0 wit inspect 150     7000  
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c true 1 wit inspect 4.3 260 40 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    5700 false(unreach-call) -16 wit inspect 16     530  
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c true 1 wit inspect 4.6 270 34 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    5700 false(unreach-call) -16 wit inspect 16     530  
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c true 1 wit inspect 4.9 270 42 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    5800 false(unreach-call) -16 wit inspect 18     520  
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c true 1 wit inspect 5.3 280 44 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    5800 false(unreach-call) -16 wit inspect 19     530  
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c true 1 wit inspect 5.2 280 47 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    5800 false(unreach-call) -16 wit inspect 18     540  
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c true 2 wit inspect 12   470 90 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5700 true 2 wit inspect 30     690  
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c true 2 wit inspect 13   490 120 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    6000 true 2 wit inspect 65     1300  
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c true 2 wit inspect 3.5 250 33 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 460    7000 true 2 wit inspect 18     600  
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   4400 9300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .021 4.8
systemc/token_ring.01_true-unreach-call_false-termination.cil.c true 2 wit inspect 11   460 90 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 920    6900 true 2 wit inspect 26     700  
systemc/token_ring.02_true-unreach-call_false-termination.cil.c true 2 wit inspect 16   570 130 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    6800 true 2 wit inspect 57     1000  
systemc/token_ring.03_true-unreach-call_false-termination.cil.c true 2 wit inspect 22   710 210 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 840    7000 true 2 wit inspect 79     1900  
systemc/token_ring.04_true-unreach-call_false-termination.cil.c true 2 wit inspect 57   1800 560 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5900 true 2 wit inspect 91     2000  
systemc/token_ring.05_true-unreach-call_false-termination.cil.c true 1 wit inspect 120   2100 1300 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4700 out of memory 0 wit inspect 110     7000  
systemc/token_ring.06_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   5400 9000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .018 4.8
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   5800 8400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .019 4.9
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   5700 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .025 4.8
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6400 9500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .017 4.8
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   5700 8800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 45 error (2) 0 wit inspect .019 4.9
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6500 8200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .019 4.9
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   7100 8200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .020 4.9
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   7200 7800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 44 error (2) 0 wit inspect .019 4.9
systemc/toy_true-unreach-call_false-termination.cil.c true 2 wit inspect 210   4200 2600 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 700    7000 true 2 wit inspect 92     1800  
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 5.5 290 43 false(unreach-call) 1 wit inspect 5.6  290 false(unreach-call) 1 wit inspect 8.9   360   unknown 0 wit inspect 4.4  270 true -32 wit inspect .74   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 11   500 89 false(unreach-call) 1 wit inspect 6.4  270 false(unreach-call) 1 wit inspect 11     440   unknown 0 wit inspect 4.5  220 true -32 wit inspect .71   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 15   560 110 false(unreach-call) 1 wit inspect 6.5  290 false(unreach-call) 1 wit inspect 13     530   unknown 0 wit inspect 5.1  270 false(unreach-call) 1 wit inspect .81   21    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 16   570 110 false(unreach-call) 1 wit inspect 4.4  280 false(unreach-call) 1 wit inspect 14     560   unknown 0 wit inspect 5.6  270 true -32 wit inspect .88   21    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 15   600 120 false(unreach-call) 1 wit inspect 6.4  290 false(unreach-call) 1 wit inspect 13     530   unknown 0 wit inspect 5.1  270 true -32 wit inspect .82   21    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 14   580 110 false(unreach-call) 1 wit inspect 7.3  310 false(unreach-call) 1 wit inspect 12     530   unknown 0 wit inspect 5.2  270 true -32 wit inspect 1.0    21    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 94   960 1200 false(unreach-call) 1 wit inspect 9.8  330 false(unreach-call) 1 wit inspect 22     830   unknown 0 wit inspect 8.0  320 false(unreach-call) 1 wit inspect 1.1    27    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 28   770 260 false(unreach-call) 1 wit inspect 8.5  320 false(unreach-call) 1 wit inspect 19     890   unknown 0 wit inspect 6.1  290 false(unreach-call) 1 wit inspect .98   26    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 31   940 250 false(unreach-call) 1 wit inspect 6.6  290 false(unreach-call) 1 wit inspect 26     1100   unknown 0 wit inspect 5.2  270 false(unreach-call) 1 wit inspect .83   23    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 32   960 250 false(unreach-call) 1 wit inspect 6.7  290 false(unreach-call) 1 wit inspect 17     840   unknown 0 wit inspect 5.1  290 false(unreach-call) 1 wit inspect .85   23    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 32   970 290 false(unreach-call) 1 wit inspect 7.1  300 false(unreach-call) 1 wit inspect 34     1200   unknown 0 wit inspect 7.6  270 false(unreach-call) 1 wit inspect 1.1    23    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 31   1000 300 false(unreach-call) 1 wit inspect 7.8  290 false(unreach-call) 1 wit inspect 19     870   unknown 0 wit inspect 6.2  280 false(unreach-call) 1 wit inspect .85   23    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 42   2700 400 false(unreach-call) 1 wit inspect 6.2  280 true -32 wit inspect 6.5   280   unknown 0 wit inspect 4.8  270 true -32 wit inspect .92   21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 39   2600 390 false(unreach-call) 1 wit inspect 6.0  280 true -32 wit inspect 8.0   270   unknown 0 wit inspect 4.6  260 false(unreach-call) 1 wit inspect .75   21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 22   1100 210 false(unreach-call) 1 wit inspect 6.0  280 timeout 0 wit inspect 97     1000   unknown 0 wit inspect 4.5  270 false(unreach-call) 1 wit inspect .76   21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 22   1000 200 false(unreach-call) 1 wit inspect 5.8  280 false(unreach-call) 1 wit inspect 17     610   unknown 0 wit inspect 4.2  270 false(unreach-call) 1 wit inspect .99   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 38   2600 370 false(unreach-call) 1 wit inspect 6.8  300 timeout 0 wit inspect 97     1300   unknown 0 wit inspect 5.4  270 false(unreach-call) 1 wit inspect .82   22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 33   2500 330 false(unreach-call) 1 wit inspect 6.2  280 timeout 0 wit inspect 97     1400   unknown 0 wit inspect 6.5  270 false(unreach-call) 1 wit inspect .81   22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 31   1700 280 false(unreach-call) 1 wit inspect 5.8  280 timeout (false(unreach-call)) 0 wit inspect 91     890   unknown 0 wit inspect 6.1  270 false(unreach-call) 1 wit inspect .79   21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 38   2500 340 false(unreach-call) 1 wit inspect 7.6  290 false(unreach-call) 1 wit inspect 47     900   unknown 0 wit inspect 6.0  270 false(unreach-call) 1 wit inspect .94   22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   6300 10000 error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .86 50 error (invalid witness file) 0 wit inspect .0011 .31 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 180   4100 1700 false(unreach-call) 1 wit inspect 8.8  310 true -32 wit inspect 9.3   370   unknown 0 wit inspect 7.2  280 false(unreach-call) 1 wit inspect .98   25    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 140   3900 1400 false(unreach-call) 1 wit inspect 8.2  290 true -32 wit inspect 7.9   340   unknown 0 wit inspect 5.3  270 true -32 wit inspect .81   23    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 160   2400 2200 false(unreach-call) 1 wit inspect 7.7  290 true -32 wit inspect 5.4   380   unknown 0 wit inspect 7.1  280 false(unreach-call) 1 wit inspect 1.1    24    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 160   2600 1400 false(unreach-call) 1 wit inspect 9.8  300 true -32 wit inspect 9.9   390   unknown 0 wit inspect 5.6  280 false(unreach-call) 1 wit inspect 1.1    24    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 170   2500 1700 false(unreach-call) 1 wit inspect 8.5  300 true -32 wit inspect 9.1   410   unknown 0 wit inspect 6.6  290 false(unreach-call) 1 wit inspect 1.1    26    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 180   2300 2000 false(unreach-call) 1 wit inspect 8.0  300 true -32 wit inspect 9.2   400   unknown 0 wit inspect 7.6  300 false(unreach-call) 1 wit inspect 1.1    26    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 190   3000 2000 false(unreach-call) 1 wit inspect 8.3  300 true -32 wit inspect 8.1   400   unknown 0 wit inspect 6.8  280 false(unreach-call) 1 wit inspect 1.1    26    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 220   2100 2400 false(unreach-call) 1 wit inspect 10    300 true -32 wit inspect 8.3   380   unknown 0 wit inspect 6.1  280 false(unreach-call) 1 wit inspect 1.1    26    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4400 7500 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 290   4400 2600 false(unreach-call) 1 wit inspect 13    480 true -32 wit inspect 13     460   unknown 0 wit inspect 7.4  320 true -32 wit inspect 1.6    32    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 330   4200 2900 false(unreach-call) 1 wit inspect 12    460 true -32 wit inspect 12     440   unknown 0 wit inspect 8.2  310 true -32 wit inspect 1.5    32    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 180   3300 2200 false(unreach-call) 1 wit inspect 11    360 true -32 wit inspect 13     480   unknown 0 wit inspect 8.8  310 false(unreach-call) 1 wit inspect 1.7    30    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 180   3200 2000 false(unreach-call) 1 wit inspect 13    410 true -32 wit inspect 12     460   unknown 0 wit inspect 7.1  330 false(unreach-call) 1 wit inspect 1.6    29    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 210   2400 2000 false(unreach-call) 1 wit inspect 13    400 true -32 wit inspect 14     460   unknown 0 wit inspect 7.6  320 false(unreach-call) 1 wit inspect 2.2    32    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 300   4200 2900 false(unreach-call) 1 wit inspect 12    380 true -32 wit inspect 12     460   unknown 0 wit inspect 9.9  320 true -32 wit inspect 1.8    32    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 460   4700 4800 false(unreach-call) 1 wit inspect 12    400 true -32 wit inspect 13     470   unknown 0 wit inspect 7.3  310 false(unreach-call) 1 wit inspect 1.6    32    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 440   4700 4000 false(unreach-call) 1 wit inspect 12    370 true -32 wit inspect 13     470   unknown 0 wit inspect 7.1  310 false(unreach-call) 1 wit inspect 2.1    32    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   5400 7600 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 22   530 210 false(unreach-call) 1 wit inspect 6.0  280 false(unreach-call) 1 wit inspect 9.7   360   unknown 0 wit inspect 4.5  270 false(unreach-call) 1 wit inspect .74   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 16   490 160 false(unreach-call) 1 wit inspect 6.1  300 false(unreach-call) 1 wit inspect 29     830   unknown 0 wit inspect 4.6  270 false(unreach-call) 1 wit inspect .95   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 220   890 2600 false(unreach-call) 1 wit inspect 6.0  280 false(unreach-call) 1 wit inspect 8.1   350   unknown 0 wit inspect 4.6  220 false(unreach-call) 1 wit inspect .80   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 27   570 340 false(unreach-call) 1 wit inspect 5.6  290 false(unreach-call) 1 wit inspect 26     700   unknown 0 wit inspect 5.0  270 false(unreach-call) 1 wit inspect .72   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 240   1100 2800 false(unreach-call) 1 wit inspect 7.2  290 false(unreach-call) 1 wit inspect 27     1000   unknown 0 wit inspect 6.6  280 false(unreach-call) 1 wit inspect .76   23    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 240   1100 2700 false(unreach-call) 1 wit inspect 6.8  290 timeout 0 wit inspect 96     1800   unknown 0 wit inspect 5.1  270 false(unreach-call) 1 wit inspect .91   23    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 230   1000 2700 false(unreach-call) 1 wit inspect 7.3  290 false(unreach-call) 1 wit inspect 16     590   unknown 0 wit inspect 5.6  270 false(unreach-call) 1 wit inspect .82   23    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 230   1500 3300 false(unreach-call) 1 wit inspect 6.9  290 false(unreach-call) 1 wit inspect 28     750   unknown 0 wit inspect 6.5  270 false(unreach-call) 1 wit inspect .82   23    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 250   2000 3200 false(unreach-call) 1 wit inspect 7.8  300 false(unreach-call) 1 wit inspect 13     590   unknown 0 wit inspect 5.6  280 false(unreach-call) 1 wit inspect .86   25    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 260   1800 3300 false(unreach-call) 1 wit inspect 9.9  330 timeout 0 wit inspect 97     2700   unknown 0 wit inspect 5.9  290 false(unreach-call) 1 wit inspect .85   25    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 260   2500 2800 false(unreach-call) 1 wit inspect 7.4  300 false(unreach-call) 1 wit inspect 29     850   unknown 0 wit inspect 5.4  290 false(unreach-call) 1 wit inspect .85   25    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 260   2100 2800 false(unreach-call) 1 wit inspect 9.0  310 false(unreach-call) 1 wit inspect 21     810   unknown 0 wit inspect 6.0  280 false(unreach-call) 1 wit inspect .83   25    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c false(unreach-call) 1 wit inspect 310   4200 2900 false(unreach-call) 1 wit inspect 9.4  350 timeout 0 wit inspect 96     3700   unknown 0 wit inspect 6.1  330 false(unreach-call) 1 wit inspect .93   28    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 330   4200 4000 false(unreach-call) 1 wit inspect 8.8  360 timeout 0 wit inspect 97     4300   unknown 0 wit inspect 6.7  330 false(unreach-call) 1 wit inspect .94   28    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c false(unreach-call) 1 wit inspect 350   4300 4400 false(unreach-call) 1 wit inspect 8.9  330 false(unreach-call) 1 wit inspect 16     880   unknown 0 wit inspect 5.9  320 false(unreach-call) 1 wit inspect .91   27    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 350   4300 3900 false(unreach-call) 1 wit inspect 9.0  350 false(unreach-call) 1 wit inspect 45     3100   unknown 0 wit inspect 7.3  330 false(unreach-call) 1 wit inspect .95   27    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 11   470 93 false(unreach-call) 1 wit inspect 5.9  280 false(unreach-call) 1 wit inspect 10     340   unknown 0 wit inspect 5.0  270 false(unreach-call) 1 wit inspect .73   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 170   830 2500 false(unreach-call) 1 wit inspect 5.9  280 false(unreach-call) 1 wit inspect 20     670   unknown 0 wit inspect 4.5  270 false(unreach-call) 1 wit inspect .81   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   6200 8700 error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 230   810 2300 false(unreach-call) 1 wit inspect 8.2  290 false(unreach-call) 1 wit inspect 28     1100   unknown 0 wit inspect 5.0  270 false(unreach-call) 1 wit inspect .77   23    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 220   810 2400 false(unreach-call) 1 wit inspect 7.0  290 false(unreach-call) 1 wit inspect 20     950   unknown 0 wit inspect 6.1  280 false(unreach-call) 1 wit inspect .76   23    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   6000 7900 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 240   1100 3100 false(unreach-call) 1 wit inspect 8.0  330 false(unreach-call) 1 wit inspect 36     1900   unknown 0 wit inspect 5.7  290 false(unreach-call) 1 wit inspect .83   25    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 240   1300 2800 false(unreach-call) 1 wit inspect 7.7  310 false(unreach-call) 1 wit inspect 29     900   unknown 0 wit inspect 5.6  280 false(unreach-call) 1 wit inspect 1.1    25    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4900 8600 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .96 49 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c false(unreach-call) 1 wit inspect 260   1400 3000 false(unreach-call) 1 wit inspect 9.6  380 false(unreach-call) 1 wit inspect 52     2900   unknown 0 wit inspect 6.5  320 false(unreach-call) 1 wit inspect .98   28    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 260   1900 3200 false(unreach-call) 1 wit inspect 9.6  360 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 7.2  300 false(unreach-call) 1 wit inspect .91   27    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4700 9400 error (invalid witness file) 0 wit inspect .64 41 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .81 49 error (invalid witness file) 0 wit inspect .0037 .30 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c false(unreach-call) 1 wit inspect 300   2000 3700 false(unreach-call) 1 wit inspect 9.8  400 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 7.4  360 false(unreach-call) 1 wit inspect 1.0    30    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 290   1900 3300 false(unreach-call) 1 wit inspect 9.1  390 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 7.6  340 false(unreach-call) 1 wit inspect 1.0    30    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4500 9500 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .87 50 error (invalid witness file) 0 wit inspect .0036 .34 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals_true-termination.c false(unreach-call) 1 wit inspect 350   3400 3900 false(unreach-call) 1 wit inspect 13    390 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 9.8  330 false(unreach-call) 1 wit inspect 1.1    34    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 360   3900 3700 false(unreach-call) 1 wit inspect 13    390 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 7.6  350 false(unreach-call) 1 wit inspect 1.1    33    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4300 10000 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .021 4.8 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_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 85   3900 930 false(unreach-call) 1 wit inspect 5.6  280 true -32 wit inspect 7.8   280   unknown 0 wit inspect 5.8  280 true -32 wit inspect .70   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 100   3900 1100 false(unreach-call) 1 wit inspect 5.5  290 true -32 wit inspect 6.8   280   unknown 0 wit inspect 4.4  220 true -32 wit inspect .72   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 24   1300 190 false(unreach-call) 1 wit inspect 6.1  300 false(unreach-call) 1 wit inspect 58     850   unknown 0 wit inspect 5.8  270 true -32 wit inspect .99   21    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 23   1300 190 false(unreach-call) 1 wit inspect 6.0  300 false(unreach-call) 1 wit inspect 42     700   unknown 0 wit inspect 4.8  280 false(unreach-call) 1 wit inspect .86   21    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 110   3900 1000 false(unreach-call) 1 wit inspect 4.3  280 false(unreach-call) 1 wit inspect 33     800   unknown 0 wit inspect 6.3  270 true -32 wit inspect .82   22    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 110   3900 970 false(unreach-call) 1 wit inspect 6.2  290 timeout 0 wit inspect 97     1300   unknown 0 wit inspect 6.6  280 true -32 wit inspect 1.0    22    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 110   3900 1000 false(unreach-call) 1 wit inspect 6.2  290 false(unreach-call) 1 wit inspect 57     970   unknown 0 wit inspect 5.6  270 false(unreach-call) 1 wit inspect .84   22    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 79   3900 850 false(unreach-call) 1 wit inspect 6.7  290 false(unreach-call) 1 wit inspect 65     1100   unknown 0 wit inspect 6.3  280 true -32 wit inspect .94   22    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   6300 8900 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .86 52 error (invalid witness file) 0 wit inspect .0043 .27 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 150   3900 1400 false(unreach-call) 1 wit inspect 9.1  310 true -32 wit inspect 8.8   400   unknown 0 wit inspect 7.1  290 true -32 wit inspect 1.1    26    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 140   4000 1200 false(unreach-call) 1 wit inspect 8.7  310 true -32 wit inspect 8.3   370   unknown 0 wit inspect 6.3  280 true -32 wit inspect 1.0    26    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 160   2600 1700 false(unreach-call) 1 wit inspect 8.1  300 true -32 wit inspect 9.0   400   unknown 0 wit inspect 6.2  280 true -32 wit inspect 1.1    25    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 170   2400 1600 false(unreach-call) 1 wit inspect 8.3  300 true -32 wit inspect 8.8   390   unknown 0 wit inspect 6.0  280 true -32 wit inspect 1.1    25    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 170   3800 1700 false(unreach-call) 1 wit inspect 9.2  340 true -32 wit inspect 9.5   380   unknown 0 wit inspect 6.3  300 true -32 wit inspect 1.3    27    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 160   3900 1700 false(unreach-call) 1 wit inspect 8.4  310 true -32 wit inspect 8.5   410   unknown 0 wit inspect 7.4  280 false(unreach-call) 1 wit inspect 1.1    26    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 230   2800 2600 false(unreach-call) 1 wit inspect 8.2  320 true -32 wit inspect 9.4   390   unknown 0 wit inspect 6.2  290 true -32 wit inspect 1.1    26    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 290   3000 2200 false(unreach-call) 1 wit inspect 9.0  300 true -32 wit inspect 13     420   unknown 0 wit inspect 6.3  290 true -32 wit inspect 1.1    26    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4700 7600 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .98 49 error (invalid witness file) 0 wit inspect .0015 .28 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 410   4800 3100 false(unreach-call) 1 wit inspect 12    360 true -32 wit inspect 13     460   unknown 0 wit inspect 8.9  320 false(unreach-call) 1 wit inspect 1.5    32    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 420   4500 3400 false(unreach-call) 1 wit inspect 12    460 true -32 wit inspect 12     470   unknown 0 wit inspect 10    320 false(unreach-call) 1 wit inspect 1.5    33    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 220   2400 2600 false(unreach-call) 1 wit inspect 11    430 true -32 wit inspect 12     460   unknown 0 wit inspect 8.6  320 true -32 wit inspect 1.7    31    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 250   3700 2500 false(unreach-call) 1 wit inspect 12    390 true -32 wit inspect 14     460   unknown 0 wit inspect 9.6  310 true -32 wit inspect 1.6    30    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 210   2900 2600 false(unreach-call) 1 wit inspect 15    520 true -32 wit inspect 11     470   unknown 0 wit inspect 9.4  340 true -32 wit inspect 2.1    33    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 440   4700 4300 false(unreach-call) 1 wit inspect 7.5  370 true -32 wit inspect 12     460   unknown 0 wit inspect 8.9  340 false(unreach-call) 1 wit inspect 1.7    34    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 440   3900 3900 false(unreach-call) 1 wit inspect 13    410 true -32 wit inspect 12     450   unknown 0 wit inspect 9.7  340 false(unreach-call) 1 wit inspect 1.7    33    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 480   4800 4500 false(unreach-call) 1 wit inspect 11    370 true -32 wit inspect 13     460   unknown 0 wit inspect 7.8  320 false(unreach-call) 1 wit inspect 1.7    32    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   5400 7500 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .92 49 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c timeout 0 wit inspect 910   14000 6300 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .022 5.0 error (invalid witness file) 0 wit inspect .86 50 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c out of memory 0 wit inspect 310   15000 4000 error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .95 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c timeout 0 wit inspect 910   15000 7000 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .96 49 error (invalid witness file) 0 wit inspect .0013 .31 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c out of memory 0 wit inspect 310   15000 3500 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .026 5.0 error (invalid witness file) 0 wit inspect .85 48 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c out of memory 0 wit inspect 880   15000 6700 error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c timeout 0 wit inspect 910   2900 11000 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .96 49 error (invalid witness file) 0 wit inspect .0015 .28 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c timeout 0 wit inspect 910   15000 6400 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c timeout 0 wit inspect 900   2600 9400 error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0033 .34 - wit inspect - wit inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c timeout 0 wit inspect 920   9500 7100 error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c timeout 0 wit inspect 960   12000 7900 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .88 50 error (invalid witness file) 0 wit inspect .0011 .32 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c timeout 0 wit inspect 910   12000 6700 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c out of memory 0 wit inspect 550   15000 4300 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .022 4.8 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/rekcba_nxt_false-unreach-call.2.M1.c timeout 0 wit inspect 910   12000 7600 error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0014 .28 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c out of memory 0 wit inspect 560   15000 5500 error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0013 .27 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c timeout 0 wit inspect 910   11000 7500 error (invalid witness file) 0 wit inspect .66 42 error (2) 0 wit inspect .024 5.0 error (invalid witness file) 0 wit inspect .84 50 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c out of memory 0 wit inspect 420   15000 3800 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .89 50 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c timeout 0 wit inspect 910   10000 6500 error (invalid witness file) 0 wit inspect .56 46 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0014 .27 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c out of memory 0 wit inspect 410   15000 3200 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0012 .28 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c timeout 0 wit inspect 930   10000 5900 error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0032 .31 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c out of memory 0 wit inspect 430   15000 3100 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 47 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c timeout 0 wit inspect 900   8000 7400 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .86 48 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c timeout 0 wit inspect 910   8100 6100 error (invalid witness file) 0 wit inspect .72 44 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .98 50 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c timeout 0 wit inspect 910   12000 7300 error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c out of memory 0 wit inspect 530   15000 4900 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .80 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c timeout 0 wit inspect 910   10000 7000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c out of memory 0 wit inspect 420   15000 3500 error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .80 47 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c true 2 wit inspect 40   750 420 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 230    780 out of memory 0 wit inspect 410     7000  
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c true 1 wit inspect 31   730 330 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1200 out of memory 0 wit inspect 410     7000  
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 32   980 300 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 140    2700 true 2 wit inspect 280     4500  
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 31   1000 340 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4700 true 2 wit inspect 260     4500  
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 270   3900 2900 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 41    410 out of memory 0 wit inspect 140     7000  
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 260   3500 2600 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 20    360 out of memory 0 wit inspect 130     7000  
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   4800 8900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .020 4.9
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4600 9100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .019 4.9
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   5400 7900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .023 4.8
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   5300 9300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 42 error (2) 0 wit inspect .018 4.9
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 230   1000 2600 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 21    350 false(unreach-call) -16 wit inspect 29     830  
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 170   770 2000 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 17    380 out of memory 0 wit inspect 190     7000  
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect 260   1500 2900 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 47    540 false(unreach-call) -16 wit inspect 38     1600  
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 280   1800 3000 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 50    690 out of memory 0 wit inspect 150     7000  
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 460   4200 5500 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 270    730 false(unreach-call) -16 wit inspect 110     6500  
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 590   4400 5900 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 250    810 out of memory 0 wit inspect 97     7000  
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 900   4600 9200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .022 4.9
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4800 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .018 4.8
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 19   500 180 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 12    350 timeout 0 wit inspect 960     4700  
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 12   470 110 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 13    340 timeout 0 wit inspect 960     3600  
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect 230   1200 2500 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 31    410 false(unreach-call) -16 wit inspect 34     700  
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 240   1000 2200 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 35    520 out of memory 0 wit inspect 170     7000  
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 260   1700 2900 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 97    520 false(unreach-call) -16 wit inspect 45     1500  
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 300   2000 3200 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 76    810 out of memory 0 wit inspect 180     7000  
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c true 2 wit inspect 460   4200 5700 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 290    750 false(unreach-call) -16 wit inspect 140     6200  
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 440   4100 4900 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 190    1000 out of memory 0 wit inspect 190     7000  
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c timeout 0 wit inspect 900   4600 9600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .022 4.9
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4600 8800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .019 4.9
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c timeout 0 wit inspect 900   4600 9000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .020 5.0
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4700 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .019 4.9
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 330   4300 3200 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 35    410 out of memory 0 wit inspect 160     7000  
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 330   4200 3400 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 19    400 out of memory 0 wit inspect 140     7000  
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   4500 8900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .46 43 error (2) 0 wit inspect .023 4.8
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4900 8700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .019 4.9
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   4900 8900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .025 4.8
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   5200 7200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c timeout 0 wit inspect 910   14000 6400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .024 4.8
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c out of memory 0 wit inspect 310   15000 3200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .020 5.0
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c out of memory 0 wit inspect 800   15000 5900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .021 4.8
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c timeout 0 wit inspect 910   2400 7000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 45 error (2) 0 wit inspect .024 4.8
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c timeout 0 wit inspect 920   10000 8700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .022 4.9
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c timeout 0 wit inspect 930   9900 7100 - 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/rekcba_ctm_true-unreach-call.3_true-termination.c timeout 0 wit inspect 900   12000 8700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .020 4.9
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c timeout 0 wit inspect 920   4800 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c timeout 0 wit inspect 900   12000 5600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 44 error (2) 0 wit inspect .021 5.0
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c out of memory 0 wit inspect 570   15000 5300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 41 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c timeout 0 wit inspect 910   12000 6800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .047 4.8
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c out of memory 0 wit inspect 550   15000 4900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c timeout 0 wit inspect 910   12000 6500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .020 4.8
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c out of memory 0 wit inspect 560   15000 5400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .049 4.8
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c timeout 0 wit inspect 900   10000 8200 - 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/rekh_aso_true-unreach-call.1.M4.c out of memory 0 wit inspect 410   15000 3900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c timeout 0 wit inspect 910   10000 7100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .019 5.0
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c out of memory 0 wit inspect 420   15000 3300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c timeout 0 wit inspect 900   10000 7100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .020 4.9
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c out of memory 0 wit inspect 430   15000 3700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 44 error (2) 0 wit inspect .020 5.0
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c timeout 0 wit inspect 920   8000 7100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 42 error (2) 0 wit inspect .018 4.9
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c timeout 0 wit inspect 910   8100 6700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 42 error (2) 0 wit inspect .018 4.8
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c timeout 0 wit inspect 900   8100 6700 - 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/rekh_ctm_true-unreach-call.4_true-termination.c timeout 0 wit inspect 900   9000 6500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .020 4.9
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c timeout 0 wit inspect 900   12000 9800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .73 42 error (2) 0 wit inspect .021 4.8
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c out of memory 0 wit inspect 540   15000 5500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .020 4.9
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c timeout 0 wit inspect 900   9100 8900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .020 4.9
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c out of memory 0 wit inspect 420   15000 3900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .020 4.9
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c timeout 0 wit inspect 910   10000 9600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .020 4.8
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c out of memory 0 wit inspect 420   15000 3600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .020 4.9
seq-pthread/cs_fib_false-unreach-call.i timeout 0 wit inspect 900   3100 6900 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
seq-pthread/cs_fib_longer_false-unreach-call.i timeout 0 wit inspect 900   2500 6900 error (invalid witness file) 0 wit inspect .55 43 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 .0019 .26 - wit inspect - wit inspect
seq-pthread/cs_lazy_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 680   4500 4200 false(unreach-call) 1 wit inspect 17    320 false(unreach-call) 1 wit inspect 24     650   unknown 0 wit inspect 5.4  270 true -32 wit inspect .87   21    - wit inspect - wit inspect
seq-pthread/cs_queue_false-unreach-call.i timeout 0 wit inspect 900   5500 6300 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .82 49 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
seq-pthread/cs_read_write_lock_false-unreach-call.i timeout 0 wit inspect 900   4900 6100 error (invalid witness file) 0 wit inspect .54 45 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .96 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-pthread/cs_stack_false-unreach-call.i timeout 0 wit inspect 900   4900 6500 error (invalid witness file) 0 wit inspect .65 43 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-pthread/cs_stateful_false-unreach-call_true-termination.i timeout 0 wit inspect 900   4200 5800 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .84 48 error (invalid witness file) 0 wit inspect .0013 .30 - wit inspect - wit inspect
seq-pthread/cs_dekker_true-unreach-call.i timeout 0 wit inspect 900   2800 6600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .020 4.8
seq-pthread/cs_fib_longer_true-unreach-call.i timeout 0 wit inspect 900   3800 9500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 42 error (2) 0 wit inspect .019 4.9
seq-pthread/cs_fib_true-unreach-call.i timeout 0 wit inspect 900   3500 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 42 error (2) 0 wit inspect .023 4.9
seq-pthread/cs_lamport_true-unreach-call.i timeout 0 wit inspect 900   2800 6300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .022 4.8
seq-pthread/cs_peterson_true-unreach-call.i timeout 0 wit inspect 900   3200 6400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .019 4.8
seq-pthread/cs_queue_true-unreach-call.i timeout 0 wit inspect 900   6000 6200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .020 4.9
seq-pthread/cs_read_write_lock_true-unreach-call.i timeout 0 wit inspect 900   4900 9000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .043 4.9
seq-pthread/cs_stack_true-unreach-call.i timeout 0 wit inspect 900   5500 9200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .77 44 error (2) 0 wit inspect .019 4.9
seq-pthread/cs_stateful_true-unreach-call.i timeout 0 wit inspect 900   4600 5900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .74 44 error (2) 0 wit inspect .050 4.8
seq-pthread/cs_sync_true-unreach-call.i timeout 0 wit inspect 900   4300 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 44 error (2) 0 wit inspect .019 4.9
seq-pthread/cs_szymanski_true-unreach-call.i timeout 0 wit inspect 900   3200 6400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .019 4.8
seq-pthread/cs_time_var_mutex_true-unreach-call.i timeout 0 wit inspect 900   4200 6200 - 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
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 194 120000 1300000 1100000 170 126 1000 43000 170 -1094 5200 190000 170 0 830 38000 170 -768 130 3200 103 40 17000 120000 103 -154 6100 150000
    correct results 156 186 26000 340000 280000 126 126 1000 41000 58 58 1800 57000 0 96 96 96 2500 20 40 1900 13000 11 22 1100 21000
        correct true 30 60 5600 57000 60000 0 0 0 0 20 40 1900 13000 11 22 1100 21000
        correct false 126 126 21000 280000 220000 126 126 1000 41000 58 58 1800 57000 0 96 96 96 2500 0 0
    correct-unconfimed results 8 8 190 4900 1900 0 0 0 0 0 0
        correct-unconfirmed true 8 8 190 4900 1900 0 0 0 0 0 0
        correct-unconfirmed false 0 0 0 0 0 0 0
    incorrect results 0 0 36 -1152 370 15000 0 27 -864 30 670 0 11 -176 490 20000
        incorrect true 0 0 36 -1152 370 15000 0 27 -864 30 670 0 0
        incorrect false 0 0 0 0 0 0 11 -176 490 20000
score (273 tasks, max score: 376) 194 126 -1094 0 -768 40 -154
Run set cpa-seq.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-cpa-seq.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-cpa-seq.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-cpa-seq.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-cpa-seq.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-cpa-seq.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-cpa-seq.sv-comp18-correctness-witness.ReachSafety-Sequentialized