Tool VeriAbs 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* [apollon020; apollon077; apollon078; apollon084; apollon149; apollon164] apollon* [apollon037; apollon065; apollon077; apollon078; apollon155; apollon159] apollon*
OS Linux 4.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB]
Date of execution 2017-12-02 18:04:04 CET 2017-12-03 04:46:33 CET 2017-12-03 06:08:30 CET 2017-12-03 06:21:09 CET 2017-12-03 06:27:12 CET 2017-12-03 03:55:53 CET 2017-12-03 04:55:47 CET
Run set veriabs.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-veriabs.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-veriabs.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-veriabs.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-veriabs.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-veriabs.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-veriabs.sv-comp18-correctness-witness.ReachSafety-Sequentialized
Options -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/veriabs.2017-12-02_1804.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/veriabs.2017-12-02_1804.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/veriabs.2017-12-02_1804.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/veriabs.2017-12-02_1804.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/veriabs.2017-12-02_1804.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/veriabs.2017-12-02_1804.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 12 230 96 true -32 wit inspect 3.5  270 false(unreach-call) 1 wit inspect 8.8   680   unknown 0 wit inspect 4.1  220 false(unreach-call) 1 wit inspect .69   19    - wit inspect - wit inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 15 240 130 true -32 wit inspect 6.4  270 false(unreach-call) 1 wit inspect 18     700   unknown 0 wit inspect 2.8  220 false(unreach-call) 1 wit inspect .71   20    - wit inspect - wit inspect
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 110 260 1000 timeout 0 wit inspect 93    2400 true -32 wit inspect 5.3   250   unknown 0 wit inspect 2.3  210 false(unreach-call) 1 wit inspect .62   18    - wit inspect - wit inspect
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 89 230 800 timeout 0 wit inspect 94    2600 true -32 wit inspect 6.9   250   unknown 0 wit inspect 2.4  210 false(unreach-call) 1 wit inspect .79   19    - wit inspect - wit inspect
systemc/pipeline_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 690 380 4100 true -32 wit inspect 21    600 timeout 0 wit inspect 97     5300   unknown 0 wit inspect 3.8  280 false(unreach-call) 1 wit inspect .87   26    - wit inspect - wit inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 86 230 820 true -32 wit inspect 4.6  270 false(unreach-call) 1 wit inspect 20     950   unknown 0 wit inspect 2.6  220 false(unreach-call) 1 wit inspect .67   19    - wit inspect - wit inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 220 360 1400 true -32 wit inspect 6.3  280 false(unreach-call) 1 wit inspect 35     770   unknown 0 wit inspect 3.8  220 false(unreach-call) 1 wit inspect .72   19    - wit inspect - wit inspect
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 460 510 2500 true -32 wit inspect 6.4  280 false(unreach-call) 1 wit inspect 42     1300   unknown 0 wit inspect 4.6  230 false(unreach-call) 1 wit inspect .72   20    - wit inspect - wit inspect
systemc/token_ring.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 490 400 2800 true -32 wit inspect 7.1  280 false(unreach-call) 1 wit inspect 71     1700   unknown 0 wit inspect 4.3  220 false(unreach-call) 1 wit inspect .77   21    - wit inspect - wit inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 630 510 3500 true -32 wit inspect 8.7  280 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 5.2  220 false(unreach-call) 1 wit inspect .78   22    - wit inspect - wit inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 810 650 4600 true -32 wit inspect 8.6  300 false(unreach-call) 1 wit inspect 66     3900   unknown 0 wit inspect 5.2  230 false(unreach-call) 1 wit inspect .93   22    - wit inspect - wit inspect
systemc/token_ring.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 630 310 3900 true -32 wit inspect 8.7  340 timeout 0 wit inspect 97     4400   unknown 0 wit inspect 5.3  270 false(unreach-call) 1 wit inspect .81   21    - wit inspect - wit inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 640 310 3000 true -32 wit inspect 11    400 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 5.4  280 false(unreach-call) 1 wit inspect .86   22    - wit inspect - wit inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 640 320 3600 true -32 wit inspect 11    420 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 3.5  220 false(unreach-call) 1 wit inspect 1.0    23    - wit inspect - wit inspect
systemc/token_ring.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 650 320 3500 true -32 wit inspect 6.7  420 timeout 0 wit inspect 98     4600   unknown 0 wit inspect 5.9  290 false(unreach-call) 1 wit inspect .91   23    - wit inspect - wit inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 660 320 4000 true -32 wit inspect 12    430 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 4.0  320 false(unreach-call) 1 wit inspect .94   24    - wit inspect - wit inspect
systemc/token_ring.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 670 410 3800 true -32 wit inspect 12    460 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 6.2  330 false(unreach-call) 1 wit inspect 1.2    25    - wit inspect - wit inspect
systemc/token_ring.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 680 450 4200 true -32 wit inspect 14    490 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 4.3  330 false(unreach-call) 1 wit inspect 1.0    26    - wit inspect - wit inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 670 400 4100 true -32 wit inspect 11    460 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 4.2  330 false(unreach-call) 1 wit inspect 1.1    25    - wit inspect - wit inspect
systemc/token_ring.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 690 440 4000 true -32 wit inspect 12    460 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 6.4  330 false(unreach-call) 1 wit inspect 1.1    26    - wit inspect - wit inspect
systemc/toy1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 470 300 2100 true -32 wit inspect 6.5  280 false(unreach-call) 1 wit inspect 33     1400   unknown 0 wit inspect 3.1  230 false(unreach-call) 1 wit inspect .73   20    - wit inspect - wit inspect
systemc/toy2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 470 290 2500 true -32 wit inspect 4.5  280 false(unreach-call) 1 wit inspect 47     1700   unknown 0 wit inspect 3.0  220 false(unreach-call) 1 wit inspect .71   20    - wit inspect - wit inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 52 230 480 true -32 wit inspect 3.3  270 false(unreach-call) 1 wit inspect 16     680   unknown 0 wit inspect 3.8  220 false(unreach-call) 1 wit inspect .65   19    - wit inspect - wit inspect
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 140 240 1200 true -32 wit inspect 4.0  270 false(unreach-call) 1 wit inspect 22     730   unknown 0 wit inspect 2.6  220 false(unreach-call) 1 wit inspect .71   19    - wit inspect - wit inspect
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 310 330 2600 true -32 wit inspect 4.2  280 false(unreach-call) 1 wit inspect 40     960   unknown 0 wit inspect 2.9  230 false(unreach-call) 1 wit inspect .71   20    - wit inspect - wit inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 600 490 2900 false(unreach-call) 1 wit inspect 6.1  290 true -32 wit inspect 4.3   260   unknown 0 wit inspect 4.0  210 false(unreach-call) 1 wit inspect .65   18    - wit inspect - wit inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 550 370 3300 true -32 wit inspect 4.9  290 false(unreach-call) 1 wit inspect 89     2200   unknown 0 wit inspect 3.2  220 false(unreach-call) 1 wit inspect .75   21    - wit inspect - wit inspect
systemc/transmitter.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 680 500 4900 true -32 wit inspect 7.7  290 timeout 0 wit inspect 97     4100   unknown 0 wit inspect 4.9  220 false(unreach-call) 1 wit inspect .77   21    - wit inspect - wit inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 830 640 5800 true -32 wit inspect 5.6  320 timeout 0 wit inspect 97     4200   unknown 0 wit inspect 4.9  230 false(unreach-call) 1 wit inspect .86   22    - wit inspect - wit inspect
systemc/transmitter.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 630 300 3200 true -32 wit inspect 5.8  360 timeout 0 wit inspect 96     4500   unknown 0 wit inspect 3.6  270 false(unreach-call) 1 wit inspect .83   22    - wit inspect - wit inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 640 320 5000 true -32 wit inspect 9.4  280 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 3.5  280 false(unreach-call) 1 wit inspect 1.1    22    - wit inspect - wit inspect
systemc/transmitter.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 640 320 5400 true -32 wit inspect 11    420 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 3.8  280 false(unreach-call) 1 wit inspect .88   23    - wit inspect - wit inspect
systemc/transmitter.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 650 320 4000 true -32 wit inspect 11    420 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 5.6  290 false(unreach-call) 1 wit inspect .95   24    - wit inspect - wit inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 660 380 4200 true -32 wit inspect 13    430 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 6.0  320 false(unreach-call) 1 wit inspect .96   24    - wit inspect - wit inspect
systemc/transmitter.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 680 440 3800 true -32 wit inspect 13    460 timeout 0 wit inspect 98     4500   unknown 0 wit inspect 6.4  330 false(unreach-call) 1 wit inspect 1.0    25    - wit inspect - wit inspect
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 670 430 5200 true -32 wit inspect 14    450 true -32 wit inspect 8.5   340   unknown 0 wit inspect 4.4  220 false(unreach-call) 1 wit inspect .83   19    - wit inspect - wit inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 680 440 4200 true -32 wit inspect 9.8  440 true -32 wit inspect 5.9   350   unknown 0 wit inspect 3.0  220 false(unreach-call) 1 wit inspect .93   19    - wit inspect - wit inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 230 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .019 4.9
systemc/kundu_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 330 7400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .019 4.8
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 580 7800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .50 45 error (2) 0 wit inspect .020 4.8
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 780 8100 - 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
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 790 7600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .018 4.8
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 720 7900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 42 error (2) 0 wit inspect .023 4.8
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 600 9300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .020 4.9
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 240 440 2100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 42 error (2) 0 wit inspect .019 5.0
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 280 360 2000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 41 error (2) 0 wit inspect .020 4.9
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 340 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 41 error (2) 0 wit inspect .019 4.9
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 600 7600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .019 4.9
systemc/token_ring.01_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 380 9800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .50 43 error (2) 0 wit inspect .020 4.9
systemc/token_ring.02_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 370 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 44 error (2) 0 wit inspect .019 4.9
systemc/token_ring.03_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 620 8000 - 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
systemc/token_ring.04_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 500 6200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .44 44 error (2) 0 wit inspect .020 4.9
systemc/token_ring.05_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 630 9200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 42 error (2) 0 wit inspect .034 4.9
systemc/token_ring.06_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 760 7600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .020 4.8
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 430 9000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .019 5.0
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 550 6800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .018 4.9
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 570 6800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 41 error (2) 0 wit inspect .019 4.8
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 670 7000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .019 4.9
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 750 6500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .019 4.9
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 830 8500 - 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.13_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 920 7400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .023 5.0
systemc/toy_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 450 5500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .021 4.9
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 18 250 150 true -32 wit inspect 7.8  330 false(unreach-call) 1 wit inspect 13     530   unknown 0 wit inspect 2.8  220 false(unreach-call) 1 wit inspect .90   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 20 250 190 true -32 wit inspect 6.7  270 false(unreach-call) 1 wit inspect 13     530   unknown 0 wit inspect 4.0  220 false(unreach-call) 1 wit inspect .77   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 19 250 170 true -32 wit inspect 7.0  430 false(unreach-call) 1 wit inspect 74     4600   unknown 0 wit inspect 4.5  340 false(unreach-call) 1 wit inspect 1.0    26    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 19 240 160 true -32 wit inspect 7.8  270 false(unreach-call) 1 wit inspect 32     730   unknown 0 wit inspect 3.2  230 false(unreach-call) 1 wit inspect .80   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 19 240 190 true -32 wit inspect 9.5  390 timeout 0 wit inspect 96     4500   unknown 0 wit inspect 6.0  340 false(unreach-call) 1 wit inspect .98   24    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 20 250 160 true -32 wit inspect 6.9  290 false(unreach-call) 1 wit inspect 22     700   unknown 0 wit inspect 4.6  230 false(unreach-call) 1 wit inspect .81   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 18 250 160 true -32 wit inspect 10    390 timeout 0 wit inspect 96     4500   unknown 0 wit inspect 6.4  340 false(unreach-call) 1 wit inspect 1.0    25    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 21 250 200 true -32 wit inspect 11    350 false(unreach-call) 1 wit inspect 85     4600   unknown 0 wit inspect 4.3  350 false(unreach-call) 1 wit inspect 1.1    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 15 240 120 true -32 wit inspect 5.3  310 false(unreach-call) 1 wit inspect 29     1400   unknown 0 wit inspect 4.7  280 false(unreach-call) 1 wit inspect .82   21    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 13 240 99 true -32 wit inspect 7.6  290 false(unreach-call) 1 wit inspect 23     1000   unknown 0 wit inspect 3.3  230 false(unreach-call) 1 wit inspect .77   20    - 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 15 240 130 true -32 wit inspect 5.3  310 false(unreach-call) 1 wit inspect 41     1200   unknown 0 wit inspect 3.2  220 false(unreach-call) 1 wit inspect .80   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 13 240 90 true -32 wit inspect 7.7  280 false(unreach-call) 1 wit inspect 22     1600   unknown 0 wit inspect 3.6  230 false(unreach-call) 1 wit inspect .81   21    - 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 13 250 93 true -32 wit inspect 7.0  270 false(unreach-call) 1 wit inspect 26     770   unknown 0 wit inspect 4.5  230 false(unreach-call) 1 wit inspect .75   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 13 240 100 true -32 wit inspect 6.7  270 false(unreach-call) 1 wit inspect 33     810   unknown 0 wit inspect 4.5  230 false(unreach-call) 1 wit inspect .79   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 13 240 120 true -32 wit inspect 7.0  260 timeout 0 wit inspect 97     1000   unknown 0 wit inspect 4.2  220 false(unreach-call) 1 wit inspect .76   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 14 240 110 true -32 wit inspect 3.5  260 false(unreach-call) 1 wit inspect 36     770   unknown 0 wit inspect 4.0  220 false(unreach-call) 1 wit inspect .78   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 13 240 100 true -32 wit inspect 6.9  270 timeout 0 wit inspect 97     1300   unknown 0 wit inspect 4.6  270 false(unreach-call) 1 wit inspect .81   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 14 240 110 true -32 wit inspect 5.7  270 timeout 0 wit inspect 96     1100   unknown 0 wit inspect 4.5  230 false(unreach-call) 1 wit inspect .77   20    - 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 13 250 100 true -32 wit inspect 6.4  270 timeout 0 wit inspect 96     880   unknown 0 wit inspect 4.4  230 false(unreach-call) 1 wit inspect .76   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 13 240 98 true -32 wit inspect 6.1  270 false(unreach-call) 1 wit inspect 63     1200   unknown 0 wit inspect 3.2  230 false(unreach-call) 1 wit inspect .98   21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 66 240 730 false(unreach-call) 1 wit inspect 29    1700 true -32 wit inspect 6.5   280   unknown 0 wit inspect 4.3  280 false(unreach-call) 1 wit inspect .67   18    - 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 18 250 150 true -32 wit inspect 5.6  310 timeout 0 wit inspect 97     4000   unknown 0 wit inspect 3.8  280 false(unreach-call) 1 wit inspect 1.0    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 19 250 160 true -32 wit inspect 7.7  280 timeout 0 wit inspect 96     3200   unknown 0 wit inspect 3.9  280 false(unreach-call) 1 wit inspect 1.0    22    - 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 18 250 160 true -32 wit inspect 8.9  330 true -32 wit inspect 8.3   370   unknown 0 wit inspect 3.9  280 false(unreach-call) 1 wit inspect 1.0    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 19 250 160 true -32 wit inspect 8.1  290 true -32 wit inspect 8.8   380   unknown 0 wit inspect 3.7  280 false(unreach-call) 1 wit inspect 1.0    21    - 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 18 250 150 true -32 wit inspect 9.5  320 true -32 wit inspect 9.0   380   unknown 0 wit inspect 5.9  290 false(unreach-call) 1 wit inspect 1.0    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 41 250 480 true -32 wit inspect 7.3  280 true -32 wit inspect 9.4   370   unknown 0 wit inspect 5.5  280 false(unreach-call) 1 wit inspect 1.0    22    - 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 18 250 150 true -32 wit inspect 9.6  320 true -32 wit inspect 9.1   380   unknown 0 wit inspect 6.0  280 false(unreach-call) 1 wit inspect 1.0    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 19 250 150 true -32 wit inspect 8.1  280 true -32 wit inspect 7.9   370   unknown 0 wit inspect 4.0  280 false(unreach-call) 1 wit inspect 1.3    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 480 250 7100 false(unreach-call) 1 wit inspect 31    2100 true -32 wit inspect 8.6   340   unknown 0 wit inspect 4.9  270 false(unreach-call) 1 wit inspect .70   19    - 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 31 310 280 true -32 wit inspect 12    470 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 4.6  310 false(unreach-call) 1 wit inspect 1.7    26    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 33 300 300 true -32 wit inspect 10    320 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 7.0  300 false(unreach-call) 1 wit inspect 1.6    26    - 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 33 330 310 true -32 wit inspect 7.7  460 true -32 wit inspect 15     450   unknown 0 wit inspect 4.7  330 false(unreach-call) 1 wit inspect 1.5    25    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 34 320 310 true -32 wit inspect 9.4  360 true -32 wit inspect 14     460   unknown 0 wit inspect 5.1  320 false(unreach-call) 1 wit inspect 1.5    25    - 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 33 330 320 true -32 wit inspect 13    470 true -32 wit inspect 13     470   unknown 0 wit inspect 4.6  330 false(unreach-call) 1 wit inspect 1.5    25    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 310 11000 error (invalid witness file) 0 wit inspect .39 44 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0037 .26 - 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 33 320 310 true -32 wit inspect 14    470 true -32 wit inspect 12     460   unknown 0 wit inspect 4.9  330 false(unreach-call) 1 wit inspect 1.6    26    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 34 320 310 true -32 wit inspect 10    370 true -32 wit inspect 13     470   unknown 0 wit inspect 4.7  310 false(unreach-call) 1 wit inspect 1.5    26    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 310 11000 error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0032 .28 - 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 11 230 79 true -32 wit inspect 6.1  270 false(unreach-call) 1 wit inspect 9.2   360   unknown 0 wit inspect 4.0  220 false(unreach-call) 1 wit inspect .73   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 11 230 86 true -32 wit inspect 4.9  260 timeout 0 wit inspect 96     910   unknown 0 wit inspect 3.9  210 false(unreach-call) 1 wit inspect .69   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 11 230 83 true -32 wit inspect 3.5  270 false(unreach-call) 1 wit inspect 12     350   unknown 0 wit inspect 2.8  220 false(unreach-call) 1 wit inspect .69   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 11 230 86 true -32 wit inspect 5.3  270 false(unreach-call) 1 wit inspect 24     660   unknown 0 wit inspect 4.0  220 false(unreach-call) 1 wit inspect .70   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 12 230 110 true -32 wit inspect 8.1  300 false(unreach-call) 1 wit inspect 11     480   unknown 0 wit inspect 4.8  230 false(unreach-call) 1 wit inspect .74   21    - 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 13 240 93 true -32 wit inspect 3.8  270 false(unreach-call) 1 wit inspect 80     1700   unknown 0 wit inspect 3.3  220 false(unreach-call) 1 wit inspect .74   21    - 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 12 240 94 true -32 wit inspect 6.8  280 false(unreach-call) 1 wit inspect 9.9   450   unknown 0 wit inspect 3.2  220 false(unreach-call) 1 wit inspect .71   20    - 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 12 230 87 true -32 wit inspect 6.3  270 false(unreach-call) 1 wit inspect 19     930   unknown 0 wit inspect 3.2  230 false(unreach-call) 1 wit inspect .84   20    - 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 13 240 97 true -32 wit inspect 5.1  280 timeout 0 wit inspect 97     2000   unknown 0 wit inspect 3.8  270 false(unreach-call) 1 wit inspect .79   21    - 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 12 240 110 true -32 wit inspect 4.3  300 timeout 0 wit inspect 96     2400   unknown 0 wit inspect 4.8  230 false(unreach-call) 1 wit inspect .82   21    - 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 13 240 100 true -32 wit inspect 8.4  280 false(unreach-call) 1 wit inspect 21     710   unknown 0 wit inspect 5.0  270 false(unreach-call) 1 wit inspect .80   22    - 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 13 230 97 true -32 wit inspect 6.7  270 false(unreach-call) 1 wit inspect 18     1000   unknown 0 wit inspect 4.8  220 false(unreach-call) 1 wit inspect .79   22    - 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 14 240 100 true -32 wit inspect 5.4  320 timeout 0 wit inspect 96     3000   unknown 0 wit inspect 3.9  290 false(unreach-call) 1 wit inspect .83   23    - 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 14 240 97 true -32 wit inspect 7.4  280 timeout 0 wit inspect 97     3100   unknown 0 wit inspect 5.7  290 false(unreach-call) 1 wit inspect .89   23    - 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 15 240 120 true -32 wit inspect 5.8  330 false(unreach-call) 1 wit inspect 14     600   unknown 0 wit inspect 5.4  280 false(unreach-call) 1 wit inspect .83   22    - 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 13 240 110 true -32 wit inspect 4.4  280 false(unreach-call) 1 wit inspect 15     590   unknown 0 wit inspect 3.6  230 false(unreach-call) 1 wit inspect .88   23    - 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 240 78 true -32 wit inspect 5.7  260 false(unreach-call) 1 wit inspect 16     620   unknown 0 wit inspect 3.9  220 false(unreach-call) 1 wit inspect .69   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 11 230 84 true -32 wit inspect 3.1  270 false(unreach-call) 1 wit inspect 14     670   unknown 0 wit inspect 2.7  220 false(unreach-call) 1 wit inspect .72   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 210 240 2500 false(unreach-call) 1 wit inspect 28    1600 true -32 wit inspect 5.5   250   unknown 0 wit inspect 2.5  220 false(unreach-call) 1 wit inspect .64   18    - 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 12 240 96 true -32 wit inspect 6.4  270 false(unreach-call) 1 wit inspect 33     1000   unknown 0 wit inspect 3.1  230 false(unreach-call) 1 wit inspect .76   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 12 230 85 true -32 wit inspect 5.4  270 false(unreach-call) 1 wit inspect 17     700   unknown 0 wit inspect 4.6  220 false(unreach-call) 1 wit inspect .75   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 230 11000 error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .66 50 error (invalid witness file) 0 wit inspect .0019 .29 - 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 12 240 97 true -32 wit inspect 4.9  280 false(unreach-call) 1 wit inspect 89     3800   unknown 0 wit inspect 5.1  280 false(unreach-call) 1 wit inspect .78   22    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 12 240 100 true -32 wit inspect 6.5  280 false(unreach-call) 1 wit inspect 28     1000   unknown 0 wit inspect 3.3  220 false(unreach-call) 1 wit inspect .78   22    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 240 13000 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0034 .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 14 250 110 true -32 wit inspect 5.2  290 false(unreach-call) 1 wit inspect 50     4100   unknown 0 wit inspect 5.5  280 false(unreach-call) 1 wit inspect 1.0    23    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 13 250 100 true -32 wit inspect 6.9  280 timeout 0 wit inspect 98     4200   unknown 0 wit inspect 3.5  220 false(unreach-call) 1 wit inspect .87   23    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 240 12000 error (invalid witness file) 0 wit inspect .56 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 .0023 .26 - 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 15 240 100 true -32 wit inspect 5.8  370 false(unreach-call) 1 wit inspect 49     4100   unknown 0 wit inspect 4.0  320 false(unreach-call) 1 wit inspect .93   24    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 25 240 250 true -32 wit inspect 7.4  320 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 5.7  320 false(unreach-call) 1 wit inspect .92   24    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 240 9500 error (invalid witness file) 0 wit