Tool VeriAbs
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-59-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-01-14 09:46:18 CET [[ 2017-01-15 04:55:34 CET ]] [[ 2017-01-15 05:46:09 CET ]] [[ 2017-01-15 05:17:25 CET ]] [[ 2017-01-15 05:48:02 CET ]]
Run set sv-comp17.ReachSafety-Sequentialized
Options [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/veriabs.2017-01-14_0946.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/veriabs.2017-01-14_0946.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/veriabs.2017-01-14_0946.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/veriabs.2017-01-14_0946.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]
../../sv-benchmarks/c/ verifier status score witness inspect witness cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator cpachecker correctness t<900s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer correctness t<900s status cpu (s) wall (s) energy (J) mem (MB)
systemc/kundu1_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 890   7200 1300 .64  0      error (invalid witness file) .50 .34 7.4 39 error (invalid witness file) 6.0 3.1 92 300 - -
systemc/kundu2_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 840 830   7000 2200 .98  0      error (invalid witness file) .48 .30 7.6 39 error (invalid witness file) 6.3 3.3 120 300 - -
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 400 390   4100 3300 .13  .0041 false(unreach-call) 4.8  2.7  72   280 false(unreach-call) 9.0 4.8 180 320 - -
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 400 390   3400 5300 .13  0      false(unreach-call) 5.6  3.1  120   290 false(unreach-call) 16   8.4 290 470 - -
systemc/pipeline_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 870 860   7700 610 .56  0      error (invalid witness file) .49 .33 3.8 39 error (invalid witness file) 5.8 3.1 100 290 - -
systemc/token_ring.01_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 580 570   4500 350 .50  0      error (invalid witness file) .48 .32 8.9 39 error (invalid witness file) 6.1 3.2 120 300 - -
systemc/token_ring.02_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 660 650   4300 370 .52  0      error (invalid witness file) .50 .33 8.8 39 error (invalid witness file) 6.0 3.2 110 300 - -
systemc/token_ring.03_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 410 400   2900 370 .67  0      error (invalid witness file) .54 .35 12   44 error (invalid witness file) 6.3 3.4 140 300 - -
systemc/token_ring.04_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 510 500   3900 410 .77  0      error (invalid witness file) .47 .31 6.3 40 error (invalid witness file) 5.9 3.2 120 300 - -
systemc/token_ring.05_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 470 460   2600 430 .73  .098  error (invalid witness file) .48 .32 7.6 39 error (invalid witness file) 6.2 3.3 120 300 - -
systemc/token_ring.06_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 480 470   4400 420 .82  0      error (invalid witness file) .52 .35 9.7 43 error (invalid witness file) 6.3 3.3 120 310 - -
systemc/token_ring.07_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 530 520   4800 520 .97  0      error (invalid witness file) .51 .34 4.4 40 error (invalid witness file) 6.1 3.2 110 300 - -
systemc/token_ring.08_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 590 580   4500 470 1.3   0      error (invalid witness file) .50 .31 6.8 40 error (invalid witness file) 7.0 3.7 120 310 - -
systemc/token_ring.09_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 630 620   5300 540 1.1   0      error (invalid witness file) .47 .30 8.3 40 error (invalid witness file) 5.8 3.1 120 290 - -
systemc/token_ring.10_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 660 650   6600 640 1.4   0      error (invalid witness file) .54 .35 10   41 error (invalid witness file) 6.1 3.3 130 300 - -
systemc/token_ring.11_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 570 550   5800 520 1.5   0      error (invalid witness file) .53 .35 11   40 error (invalid witness file) 6.3 3.3 130 320 - -
systemc/token_ring.12_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 590 580   5000 590 1.9   0      error (invalid witness file) .54 .36 7.7 45 error (invalid witness file) 5.5 3.0 110 290 - -
systemc/token_ring.13_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 620 600   4800 690 1.9   0      error (invalid witness file) .49 .33 4.5 39 error (invalid witness file) 5.8 3.1 91 300 - -
systemc/token_ring.14_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 590 580   4200 590 1.8   0      error (invalid witness file) .52 .33 5.8 40 error (invalid witness file) 5.9 3.2 87 300 - -
systemc/token_ring.15_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 610 590   5200 690 1.9   0      error (invalid witness file) .55 .36 7.1 43 error (invalid witness file) 6.3 3.3 120 310 - -
systemc/toy1_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 730 720   5700 680 .49  0      error (invalid witness file) .51 .33 11   41 error (invalid witness file) 5.9 3.1 110 300 - -
systemc/toy2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 600 580   4800 820 .38  .0041 false(unreach-call) 9.5  5.0  150   320 false(unreach-call) 35   18   460 860 - -
systemc/transmitter.01_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 460 450   3500 230 .58  0      error (invalid witness file) .52 .33 13   40 error (invalid witness file) 6.0 3.2 110 300 - -
systemc/transmitter.02_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 560 560   4100 250 .56  0      error (invalid witness file) .48 .32 9.8 40 error (invalid witness file) 6.1 3.3 120 300 - -
systemc/transmitter.03_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 590 580   3500 300 .51  0      error (invalid witness file) .54 .34 12   40 error (invalid witness file) 6.6 3.5 120 320 - -
systemc/transmitter.04_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 460 450   3200 360 .72  0      error (invalid witness file) .51 .34 12   40 error (invalid witness file) 6.7 3.5 120 320 - -
systemc/transmitter.05_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 550 540   3500 400 .79  0      error (invalid witness file) .53 .34 12   40 error (invalid witness file) 6.1 3.2 110 300 - -
systemc/transmitter.06_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 490 480   4000 420 .79  0      error (invalid witness file) .52 .34 11   41 error (invalid witness file) 5.9 3.1 96 300 - -
systemc/transmitter.07_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 510 500   3500 400 .97  0      error (invalid witness file) .49 .32 7.7 40 error (invalid witness file) 5.8 3.1 120 300 - -
systemc/transmitter.08_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 570 560   4200 410 .96  0      error (invalid witness file) .50 .34 4.9 41 error (invalid witness file) 6.1 3.2 130 300 - -
systemc/transmitter.09_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 600 590   4800 450 1.1   0      error (invalid witness file) .51 .33 3.8 40 error (invalid witness file) 6.0 3.2 110 300 - -
systemc/transmitter.10_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 660 640   5500 540 1.2   0      error (invalid witness file) .49 .31 13   40 error (invalid witness file) 6.2 3.2 100 300 - -
systemc/transmitter.11_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 560 540   4400 440 1.4   0      error (invalid witness file) .54 .35 7.7 40 error (invalid witness file) 6.3 3.3 120 300 - -
systemc/transmitter.12_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 580 560   5400 510 1.6   0      error (invalid witness file) .53 .35 3.8 45 error (invalid witness file) 6.1 3.3 120 300 - -
systemc/transmitter.13_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 610 590   4700 590 1.8   .098  error (invalid witness file) .57 .36 9.9 42 error (invalid witness file) 6.3 3.3 110 300 - -
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 360 350   3100 590 .24  .0041 false(unreach-call) 11    5.5  160   450 false(unreach-call) 87   49   1100 2000 - -
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 370 350   3100 640 .25  0      false(unreach-call) 9.8  5.2  170   400 false(unreach-call) 77   43   1100 1600 - -
systemc/bist_cell_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 900   7600 720 .34  0      - - error (invalid witness file) .51 .32 10   39 error (invalid witness file) 6.0 3.1 120 310
systemc/kundu_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 890   6500 2200 .88  0      - - error (invalid witness file) .50 .32 8.8 41 error (invalid witness file) 6.1 3.2 120 310
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 870   7800 440 .38  0      - - error (invalid witness file) .51 .34 6.0 42 error (invalid witness file) 6.1 3.2 130 300
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 870   9100 540 .52  0      - - error (invalid witness file) .49 .31 10   39 error (invalid witness file) 6.5 3.4 120 300
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 870   8500 550 .41  0      - - error (invalid witness file) .49 .33 3.8 39 error (invalid witness file) 6.0 3.2 130 300
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 870   9400 570 .37  0      - - error (invalid witness file) .47 .32 4.8 39 error (invalid witness file) 5.7 3.0 110 290
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 870   8300 580 .39  0      - - error (invalid witness file) .52 .33 11   42 error (invalid witness file) 6.2 3.3 120 290
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 850 850   7300 3400 .44  0      - - error (invalid witness file) .52 .33 10   42 error (invalid witness file) 6.2 3.3 92 300
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 890   6800 5300 .32  0      - - error (invalid witness file) .57 .38 7.3 43 error (invalid witness file) 6.2 3.3 120 310
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c true 2 wit inspect 15 8.2 130 640 .061 0      - - timeout 900    880    8900   6300 true 25   14   410 550
systemc/pipeline_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 870 860   8000 610 .54  .098  - - error (invalid witness file) .51 .34 11   40 error (invalid witness file) 5.6 3.0 110 290
systemc/token_ring.01_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 570 560   4600 340 .56  0      - - error (invalid witness file) .49 .32 9.2 39 error (invalid witness file) 5.9 3.2 120 300
systemc/token_ring.02_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 660 650   4600 350 .52  0      - - error (invalid witness file) .49 .32 10   39 error (invalid witness file) 6.1 3.3 120 300
systemc/token_ring.03_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 410 400   2900 360 .70  0      - - error (invalid witness file) .49 .32 7.8 40 error (invalid witness file) 6.1 3.2 120 300
systemc/token_ring.04_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 510 500   3600 410 .69  0      - - error (invalid witness file) .65 .40 9.1 43 error (invalid witness file) 5.9 3.2 110 300
systemc/token_ring.05_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 470 460   3000 430 .75  0      - - error (invalid witness file) .50 .32 12   40 error (invalid witness file) 5.8 3.0 110 300
systemc/token_ring.06_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 480 470   4200 410 .95  0      - - error (invalid witness file) .66 .42 10   43 error (invalid witness file) 6.1 3.3 120 300
systemc/token_ring.07_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 550 540   4300 510 .96  0      - - error (invalid witness file) .51 .33 4.2 42 error (invalid witness file) 6.3 3.3 110 300
systemc/token_ring.08_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 590 580   4700 470 1.0   0      - - error (invalid witness file) .49 .33 8.9 40 error (invalid witness file) 6.2 3.3 110 300
systemc/token_ring.09_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 620 610   5400 540 1.1   0      - - error (invalid witness file) .51 .34 5.2 39 error (invalid witness file) 6.1 3.2 110 310
systemc/token_ring.10_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 550 540   5500 450 1.3   0      - - error (invalid witness file) .50 .33 8.9 42 error (invalid witness file) 5.4 2.9 110 290
systemc/token_ring.11_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 570 550   4400 510 1.5   0      - - error (invalid witness file) .55 .34 13   42 error (invalid witness file) 5.8 3.1 120 300
systemc/token_ring.12_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 590 570   6100 590 1.7   0      - - error (invalid witness file) .52 .32 12   39 error (invalid witness file) 7.4 3.9 150 320
systemc/token_ring.13_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 600 590   5000 690 2.0   0      - - error (invalid witness file) .56 .36 13   42 error (invalid witness file) 6.0 3.2 120 290
systemc/toy_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 760 750   5900 820 .48  0      - - error (invalid witness file) .49 .32 9.9 40 error (invalid witness file) 6.0 3.2 120 300
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 22 8.9 170 400 .18  0      false(unreach-call) 10    5.2  170   360 false(unreach-call) 14   7.3 240 470 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 31 18   280 320 .18  .0041 false(unreach-call) 9.5  5.0  190   370 false(unreach-call) 13   7.1 190 470 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 25 9.5 190 460 .26  0      false(unreach-call) 13    6.8  180   480 false(unreach-call) 16   8.6 300 540 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 32 17   340 450 .26  0      false(unreach-call) 11    5.7  210   410 false(unreach-call) 17   8.9 300 600 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 25 9.6 210 460 .26  0      false(unreach-call) 11    5.9  170   450 false(unreach-call) 16   8.5 290 570 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 33 18   290 460 .26  .0041 false(unreach-call) 11    5.9  180   420 false(unreach-call) 16   8.6 280 580 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 140 110   1700 1300 .50  0      false(unreach-call) 15    8.0  230   610 false(unreach-call) 26   14   450 870 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 57 30   500 880 .50  0      false(unreach-call) 14    7.4  180   590 false(unreach-call) 25   13   290 890 - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 34 11   230 600 .47  0      false(unreach-call) 12    6.0  200   460 false(unreach-call) 21   11   390 800 - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 35 13   290 590 .47  .11   false(unreach-call) 12    6.4  180   470 false(unreach-call) 21   11   360 860 - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 32 10   240 610 .47  .0041 false(unreach-call) 12    6.4  190   510 false(unreach-call) 35   20   480 1000 - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 38 14   330 760 .47  .0082 false(unreach-call) 12    6.4  190   510 false(unreach-call) 27   14   430 870 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 22 6.8 150 470 .21  .0041 false(unreach-call) 10    5.3  130   380 timeout 97   84   1500 840 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 23 7.6 200 500 .22  0      false(unreach-call) 10    5.4  170   430 false(unreach-call) 53   37   920 940 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 20 6.2 140 430 .17  .0041 false(unreach-call) 9.9  5.3  170   350 false(unreach-call) 35   22   610 730 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 20 7.0 170 430 .17  .0041 false(unreach-call) 9.6  5.1  170   350 false(unreach-call) 39   25   620 850 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 22 6.6 160 470 .22  .0041 false(unreach-call) 11    5.9  220   450 timeout 97   83   1400 880 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 25 8.0 190 510 .22  .0041 false(unreach-call) 11    5.8  180   440 timeout 97   75   1300 1200 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 26 7.8 170 500 .22  0      false(unreach-call) 11    5.7  210   410 timeout 97   83   1200 960 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 670 660   5000 320 1.7   0      error (invalid witness file) .53 .33 11   42 error (invalid witness file) 5.7 3.1 120 290 - -
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 660 650   5400 300 1.7   0      error (invalid witness file) .50 .31 11   39 error (invalid witness file) 6.0 3.2 130 300 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 40 14   310 720 .41  .0041 false(unreach-call) 15    7.9  250   570 timeout 97   68   1100 1800 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 46 17   420 780 .41  0      false(unreach-call) 15    7.7  230   590 timeout 96   69   1200 1600 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 34 11   290 580 .33  .0041 false(unreach-call) 14    7.3  230   560 true 12   6.4 210 500 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 38 13   300 470 .34  .0041 false(unreach-call) 14    7.5  200   560 true 12   6.4 240 500 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 41 14   350 690 .41  0      false(unreach-call) 15    7.8  210   630 true 12   6.2 190 520 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 54 20   450 1000 .41  .0041 false(unreach-call) 16    8.4  290   630 true 13   6.7 230 520 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 140 110   1700 880 .41  .0082 false(unreach-call) 15    7.7  190   610 true 12   6.4 230 500 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 720 710   7200 500 2.9   0      error (invalid witness file) .50 .32 9.8 40 error (invalid witness file) 6.2 3.3 120 300 - -
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 730 710   5700 500 2.7   0      error (invalid witness file) .49 .32 7.2 39 error (invalid witness file) 6.4 3.4 120 300 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 170 120   1600 1900 .79  0      false(unreach-call) 21    11    190   1000 timeout 98   57   970 4400 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 840 820   6900 380 2.0   0      error (invalid witness file) .47 .32 7.4 42 error (invalid witness file) 6.2 3.3 120 290 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 110 67   1200 1400 .68  .0041 false(unreach-call) 19    10    310   870 true 15   8.3 170 540 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 100 60   1000 1100 .69  .10   false(unreach-call) 23    12    330   890 true 16   8.7 320 530 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 210 160   2700 2100 .79  0      false(unreach-call) 21    11    350   930 true 15   8.3 240 580 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 240 190   2700 2300 .80  .012  false(unreach-call) 22    12    330   940 true 16   8.5 310 550 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c witness invalid (false(unreach-call)) 0 wit inspect 360 310   4400 1900 .086 0      error (invalid witness file) .50 .33 9.7 44 error (invalid witness file) 6.6 3.5 99 320 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 840 820   6500 380 2.2   0      error (invalid witness file) .50 .33 6.8 40 error (invalid witness file) 6.2 3.2 130 310 - -
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 830 810   8100 370 2.3   0      error (invalid witness file) .51 .33 12   40 error (invalid witness file) 6.7 3.5 130 310 - -
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 40 16   330 790 .20  10      false(unreach-call) 9.5  5.0  140   370 false(unreach-call) 14   7.1 250 520 - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 39 14   290 620 .47  .0041 false(unreach-call) 9.9  5.2  160   350 false(unreach-call) 67   48   870 950 - -
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 34 10   260 610 .20  0      false(unreach-call) 9.7  5.1  170   330 false(unreach-call) 13   6.9 250 470 - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 34 11   290 620 .20  0      false(unreach-call) 10    5.3  180   350 false(unreach-call) 23   13   410 620 - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c witness invalid (false(unreach-call)) 0 wit inspect 340 300   4000 1800 .086 0      error (invalid witness file) .58 .37 13   44 error (invalid witness file) 5.9 3.2 130 300 - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness invalid (false(unreach-call)) 0 wit inspect 450 400   5600 2700 4.3   0      error (invalid witness file) .58 .38 9.1 40 error (invalid witness file) 6.2 3.3 120 300 - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c witness invalid (false(unreach-call)) 0 wit inspect 350 300   3800 1900 .086 .082  error (invalid witness file) .53 .35 9.7 45 error (invalid witness file) 5.9 3.1 100 300 - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness invalid (false(unreach-call)) 0 wit inspect 350 300   4400 2700 .16  0      error (invalid witness file) .52 .34 14   40 error (invalid witness file) 6.5 3.4 130 310 - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c witness invalid (false(unreach-call)) 0 wit inspect 340 300   4400 1600 .086 .082  error (invalid witness file) .49 .31 6.7 39 error (invalid witness file) 5.9 3.2 110 290 - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness invalid (false(unreach-call)) 0 wit inspect 340 300   4100 1600 .20  0      error (invalid witness file) .53 .35 13   41 error (invalid witness file) 5.7 3.0 110 290 - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c witness invalid (false(unreach-call)) 0 wit inspect 340 300   4800 1700 .086 .082  error (invalid witness file) .47 .30 3.9 39 error (invalid witness file) 5.4 2.9 97 290 - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness invalid (false(unreach-call)) 0 wit inspect 340 300   4000 2300 .086 0      error (invalid witness file) .50 .33 8.2 42 error (invalid witness file) 5.9 3.1 130 300 - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c witness invalid (false(unreach-call)) 0 wit inspect 370 300   4300 4000 .086 0      error (invalid witness file) .50 .32 6.7 40 error (invalid witness file) 6.2 3.3 110 300 - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness invalid (false(unreach-call)) 0 wit inspect 350 300   4800 3700 .086 .18   error (invalid witness file) .50 .31 8.9 40 error (invalid witness file) 6.0 3.2 120 300 - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c witness invalid (false(unreach-call)) 0 wit inspect 360 300   3900 3800 .086 .082  error (invalid witness file) .50 .32 12   39 error (invalid witness file) 5.9 3.2 100 300 - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness invalid (false(unreach-call)) 0 wit inspect 380 300   4200 4200 .086 0      error (invalid witness file) .49 .34 3.6 40 error (invalid witness file) 5.8 3.1 92 300 - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 23 7.0 170 510 .18  0      false(unreach-call) 9.7  5.1  160   360 false(unreach-call) 14   7.5 270 470 - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 21 6.8 160 470 .18  0      false(unreach-call) 9.7  5.1  150   360 false(unreach-call) 24   13   310 840 - -
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 530 520   4300 670 3.1   0      error (invalid witness file) .53 .37 6.2 41 error (invalid witness file) 6.3 3.3 110 300 - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 47 16   380 860 .23  0      false(unreach-call) 12    6.2  200   490 false(unreach-call) 22   12   260 810 - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 58 27   480 1200 .31  0      false(unreach-call) 12    6.1  200   490 false(unreach-call) 29   16   580 800 - -
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 550 540   4300 420 4.1   0      error (invalid witness file) .48 .32 11   40 error (invalid witness file) 6.0 3.2 110 300 - -
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 230 190   2500 2900 .30  .0041 false(unreach-call) 13    6.9  180   540 timeout 97   57   980 1700 - -
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness invalid (false(unreach-call)) 0 wit inspect 340 300   3600 2800 .19  .18   error (invalid witness file) .52 .34 7.5 40 error (invalid witness file) 6.2 3.3 110 290 - -
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 550 540   6100 500 5.2   0      error (invalid witness file) .53 .36 4.1 42 error (invalid witness file) 5.8 3.1 110 300 - -
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c witness invalid (false(unreach-call)) 0 wit inspect 340 300   4100 1700 .086 .082  error (invalid witness file) .51 .34 5.9 41 error (invalid witness file) 6.5 3.4 130 310 - -
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 570 560   6600 600 5.4   0      error (invalid witness file) .53 .32 7.5 41 error (invalid witness file) 6.3 3.3 120 300 - -
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 560 550   5100 590 5.6   0      error (invalid witness file) .49 .32 8.8 39 error (invalid witness file) 6.1 3.3 110 310 - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c witness invalid (false(unreach-call)) 0 wit inspect 340 300   4100 1700 .086 0      error (invalid witness file) .52 .33 14   39 error (invalid witness file) 6.0 3.2 110 300 - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness invalid (false(unreach-call)) 0 wit inspect 360 330   4100 1300 1.4   .14   error (invalid witness file) .52 .33 14   41 error (invalid witness file) 6.2 3.3 120 310 - -
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 580 570   5700 670 6.9   0      error (invalid witness file) .48 .32 4.0 39 error (invalid witness file) 6.1 3.2 110 300 - -
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals_true-termination.c witness invalid (false(unreach-call)) 0 wit inspect 340 300   4600 1500 .086 0      error (invalid witness file) .51 .33 9.8 39 error (invalid witness file) 6.0 3.2 100 310 - -
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness invalid (false(unreach-call)) 0 wit inspect 440 400   5600 2100 3.4   0      error (invalid witness file) .48 .32 7.7 40 error (invalid witness file) 5.8 3.1 110 290 - -
seq-mthreaded/pals_lcr.8_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 590 580   6800 750 7.3   0      error (invalid witness file) .52 .35 7.8 42 error (invalid witness file) 5.9 3.1 110 290 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 23 7.0 170 460 .23  .0041 false(unreach-call) 11    5.5  160   390 false(unreach-call) 41   23   450 950 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 670 660   5200 340 2.1   0      error (invalid witness file) .50 .34 3.8 40 error (invalid witness file) 5.9 3.2 120 300 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 20 6.2 150 420 .18  0      false(unreach-call) 9.5  5.0  110   360 timeout 97   84   1700 750 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 20 7.2 160 450 .18  0      false(unreach-call) 10    5.4  200   340 false(unreach-call) 36   22   300 750 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 25 7.5 170 510 .23  0      false(unreach-call) 14    7.6  150   460 timeout (false(unreach-call)) 93   64   900 1500 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 24 8.1 180 510 .23  .0082 false(unreach-call) 11    5.7  180   460 timeout 97   71   990 1300 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 27 8.3 220 490 .23  0      false(unreach-call) 11    5.9  210   470 false(unreach-call) 57   34   660 1200 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 31 12   250 500 .30  .0041 false(unreach-call) 10    5.3  130   420 false(unreach-call) 62   37   1000 1300 - -
seq-mthreaded/pals_opt-floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 670 660   4600 330 2.1   0      error (invalid witness file) .49 .32 6.0 39 error (invalid witness file) 5.7 3.0 84 290 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 73 41   750 1100 .44  0      false(unreach-call) 16    8.4  350   650 timeout 97   62   1100 2200 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 750 740   6100 550 3.3   .029  error (invalid witness file) .52 .33 8.8 40 error (invalid witness file) 6.6 3.5 120 300 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 38 11   290 610 .36  0      false(unreach-call) 14    7.5  240   550 true 12   6.5 220 500 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 42 15   340 640 .36  0      false(unreach-call) 13    7.0  170   570 true 12   6.5 220 500 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 50 20   450 930 .44  .0041 false(unreach-call) 16    8.4  330   690 true 12   6.3 220 500 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 76 41   640 1100 .45  .0082 false(unreach-call) 16    8.3  280   690 true 12   6.4 230 490 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 140 110   1600 1300 .45  .0041 false(unreach-call) 19    9.8  240   620 true 11   6.1 140 490 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 750 730   7700 550 3.2   0      error (invalid witness file) .51 .34 4.0 44 error (invalid witness file) 6.3 3.3 110 310 - -
seq-mthreaded/pals_opt-floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 760 740   6300 550 3.1   0      error (invalid witness file) .51 .34 4.7 39 error (invalid witness file) 6.6 3.4 120 310 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 170 110   1600 2000 .85  .049  false(unreach-call) 22    12    200   1000 timeout 97   62   980 3400 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 850 830   7400 410 2.4   0      error (invalid witness file) .51 .32 12   40 error (invalid witness file) 6.5 3.4 130 300 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c witness invalid (false(unreach-call)) 0 wit inspect 360 310   4400 1400 .086 .082  error (invalid witness file) .53 .33 9.7 41 error (invalid witness file) 6.4 3.4 130 300 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness invalid (false(unreach-call)) 0 wit inspect 390 320   4900 2300 .74  0      error (invalid witness file) .52 .34 7.1 43 error (invalid witness file) 6.7 3.5 130 310 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 190 140   2100 1700 .86  0      false(unreach-call) 22    12    240   1000 true 16   8.5 280 540 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness invalid (false(unreach-call)) 0 wit inspect 360 320   5500 1800 .086 0      error (invalid witness file) .52 .33 4.0 41 error (invalid witness file) 6.7 3.5 130 300 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c witness invalid (false(unreach-call)) 0 wit inspect 370 310   4100 2700 .086 0      error (invalid witness file) .51 .33 12   42 error (invalid witness file) 6.0 3.2 120 290 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 840 820   9600 420 2.5   0      error (invalid witness file) .49 .32 11   40 error (invalid witness file) 6.4 3.4 120 310 - -
seq-mthreaded/pals_opt-floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 840 820   9500 420 2.4   0      error (invalid witness file) .53 .36 7.4 43 error (invalid witness file) 7.5 3.9 140 320 - -
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c timeout 0 wit inspect 900 890   6800 1400 .098 0      error (invalid witness file) .49 .31 7.1 39 error (invalid witness file) 6.2 3.3 120 290 - -
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c timeout 0 wit inspect 900 870   6600 5500 .086 0      error (invalid witness file) .53 .33 10   43 error (invalid witness file) 6.5 3.5 120 300 - -
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c timeout 0 wit inspect 900 890   8500 1500 .098 0      error (invalid witness file) .52 .34 8.9 40 error (invalid witness file) 6.1 3.3 130 300 - -
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c timeout 0 wit inspect 900 870   6700 5500 .086 0      error (invalid witness file) .50 .32 7.3 39 error (invalid witness file) 6.7 3.6 120 300 - -
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c timeout 0 wit inspect 900 890   7800 1600 .098 0      error (invalid witness file) .49 .32 7.2 41 error (invalid witness file) 6.8 3.6 130 310 - -
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c timeout 0 wit inspect 900 860   8300 6400 .086 0      error (invalid witness file) .56 .36 9.3 44 error (invalid witness file) 7.2 3.8 130 310 - -
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c timeout 0 wit inspect 900 890   7300 1600 .098 0      error (invalid witness file) .48 .31 7.0 39 error (invalid witness file) 6.5 3.4 120 310 - -
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c timeout 0 wit inspect 900 860   8200 6400 .086 0      error (invalid witness file) .49 .32 12   39 error (invalid witness file) 6.8 3.6 89 300 - -
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c true -32 wit inspect 290 270   3500 630 .10  0      out of memory 69    54    880   7000 timeout 96   73   1400 3400 - -
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c true -32 wit inspect 330 290   4000 1200 .070 0      timeout 97    77    1900   6900 timeout 96   66   1200 4200 - -
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c timeout 0 wit inspect 900 890   8800 2000 .11  0      error (invalid witness file) .49 .31 11   40 error (invalid witness file) 6.2 3.3 120 300 - -
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c timeout 0 wit inspect 900 870   6500 7300 .086 0      error (invalid witness file) .48 .33 3.8 39 error (invalid witness file) 7.1 3.7 140 310 - -
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c timeout 0 wit inspect 900 890   7500 1900 .11  0      error (invalid witness file) .49 .31 12   40 error (invalid witness file) 6.1 3.2 110 310 - -
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c timeout 0 wit inspect 900 870   7000 7500 .086 .098  error (invalid witness file) .46 .30 3.5 40 error (invalid witness file) 6.5 3.4 110 310 - -
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c timeout 0 wit inspect 900 890   7800 1500 .098 0      error (invalid witness file) .50 .32 11   39 error (invalid witness file) 5.6 3.1 110 290 - -
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c timeout 0 wit inspect 900 890   9000 4700 .098 0      error (invalid witness file) .50 .32 13   39 error (invalid witness file) 6.2 3.3 130 290 - -
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c timeout 0 wit inspect 900 890   9200 1600 .098 0      error (invalid witness file) .48 .32 9.0 40 error (invalid witness file) 6.1 3.3 100 290 - -
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c timeout 0 wit inspect 900 890   7400 4700 .098 0      error (invalid witness file) .50 .33 6.4 40 error (invalid witness file) 6.9 3.7 140 300 - -
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c timeout 0 wit inspect 900 880   7900 1600 .086 0      error (invalid witness file) .48 .30 9.1 39 error (invalid witness file) 5.9 3.1 99 300 - -
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c timeout 0 wit inspect 900 880   7100 5000 .086 0      error (invalid witness file) .49 .32 5.5 42 error (invalid witness file) 5.9 3.2 120 280 - -
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c true -32 wit inspect 290 270   3000 330 .10  0      timeout 97    83    880   6600 timeout 97   56   1100 1400 - -
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c true -32 wit inspect 330 310   3500 440 .10  .0082 out of memory 61    47    750   7000 timeout 96   72   960 2400 - -
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c timeout 0 wit inspect 900 890   8000 2000 .11  0      error (invalid witness file) .52 .33 5.8 42 error (invalid witness file) 6.3 3.4 120 310 - -
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c timeout 0 wit inspect 900 890   8300 6900 .11  0      error (invalid witness file) .52 .33 12   40 error (invalid witness file) 6.3 3.3 120 290 - -
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c timeout 0 wit inspect 900 890   7500 1900 .11  0      error (invalid witness file) .49 .32 4.6 41 error (invalid witness file) 7.5 3.9 150 330 - -
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c timeout 0 wit inspect 900 890   7300 7000 .11  0      error (invalid witness file) .52 .32 12   40 error (invalid witness file) 6.2 3.3 110 300 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c true 2 wit inspect 19 8.5 140 270 .10  0      - - true 280    270    3600   980 out of memory 330   240   2900 7000
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 890   5800 250 1.2   0      - - error (invalid witness file) .50 .32 8.2 40 error (invalid witness file) 7.1 3.7 140 310
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 17 6.4 130 270 .10  0      - - true 150    140    1400   2700 true 270   200   5300 4400
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 800 790   6400 270 2.9   0      - - error (invalid witness file) .65 .41 7.6 42 error (invalid witness file) 5.7 3.1 120 290
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 17 5.8 130 260 .10  0      - - true 30    22    400   560 out of memory 160   99   1600 7000
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 670 660   4500 320 1.6   0      - - error (invalid witness file) .54 .35 12   40 error (invalid witness file) 5.1 2.7 100 290
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 1 wit inspect 110 94   1400 270 .10  0      - - timeout 900    890    7700   840 out of memory 180   110   2300 7000
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 740 730   5800 510 2.6   0      - - error (invalid witness file) .57 .37 4.5 42 error (invalid witness file) 5.6 3.0 120 280
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c unknown 0 wit inspect 410 390   4800 320 1.4   0      - - error (invalid witness file) .52 .33 11   41 error (invalid witness file) 6.1 3.3 94 310
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 830 810   7100 380 1.9   0      - - error (invalid witness file) .49 .33 3.7 39 error (invalid witness file) 6.4 3.4 130 300
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 14 5.3 110 270 .10  0      - - true 18    11    340   500 out of memory 160   100   1700 7000
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 430 420   4100 1800 13     0      - - error (invalid witness file) .51 .32 13   40 error (invalid witness file) 6.3 3.3 130 310
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect 18 8.8 150 270 .10  0      - - true 52    44    670   610 out of memory 130   82   1500 7000
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 470 470   5700 1200 8.9   0      - - error (invalid witness file) .52 .34 9.0 45 error (invalid witness file) 6.8 3.5 140 310
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 71 61   860 270 .10  0      - - true 280    280    4200   720 out of memory 160   98   2700 7000
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 500 490   5500 1400 11     0      - - error (invalid witness file) .58 .36 9.2 40 error (invalid witness file) 5.4 2.9 110 290
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c unknown 0 wit inspect 620 610   7600 240 .62  0      - - error (invalid witness file) .52 .33 9.0 40 error (invalid witness file) 6.1 3.2 120 300
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 530 520   5800 1700 12     0      - - error (invalid witness file) .51 .34 5.3 39 error (invalid witness file) 5.6 3.1 120 290
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 14 4.9 110 260 .10  .0082 - - true 13    7.7  190   430 timeout 960   870   14000 5500
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 530 530   4900 570 3.1   0      - - error (invalid witness file) .47 .30 4.6 40 error (invalid witness file) 6.3 3.3 130 300
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect 15 5.7 110 270 .10  .0082 - - true 25    18    210   540 out of memory 190   130   2500 7000
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 550 540   4500 420 3.9   .098  - - error (invalid witness file) .52 .34 5.2 42 error (invalid witness file) 6.1 3.2 120 300
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 22 12   210 270 .10  .0082 - - true 69    61    910   650 out of memory 160   100   2600 7000
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 550 540   4400 510 5.4   0      - - error (invalid witness file) .53 .34 8.4 42 error (invalid witness file) 6.2 3.3 140 300
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c true 2 wit inspect 53 43   690 270 .10  0      - - true 190    180    1800   750 out of memory 200   130   3400 7000
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 570 560   5100 590 5.7   0      - - error (invalid witness file) .51 .33 3.9 40 error (invalid witness file) 5.9 3.2 110 300
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c unknown 0 wit inspect 500 490   5700 260 .66  0      - - error (invalid witness file) .51 .33 10   41 error (invalid witness file) 5.5 3.0 110 290
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 590 580   6000 670 6.9   0      - - error (invalid witness file) .51 .34 12   39 error (invalid witness file) 5.7 3.0 120 300
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c unknown 0 wit inspect 380 370   4800 250 1.2   0      - - error (invalid witness file) .54 .34 12   41 error (invalid witness file) 5.7 3.0 96 300
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 590 580   5300 760 7.6   0      - - error (invalid witness file) .53 .36 12   39 error (invalid witness file) 5.6 3.0 120 300
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 17 5.8 130 260 .10  .11   - - true 34    25    470   590 out of memory 180   110   1500 7000
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 670 660   4500 340 2.1   0      - - error (invalid witness file) .59 .38 7.6 40 error (invalid witness file) 6.6 3.5 150 320
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 1 wit inspect 45 32   400 280 .10  .0082 - - timeout 900    890    10000   860 out of memory 150   97   2400 7000
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 750 740   7700 550 3.2   0      - - error (invalid witness file) .59 .39 7.5 39 error (invalid witness file) 6.0 3.2 120 310
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c unknown 0 wit inspect 410 390   5000 330 1.5   0      - - error (invalid witness file) .50 .33 8.4 40 error (invalid witness file) 5.9 3.1 110 290
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 0 wit inspect 850 830   7700 420 2.4   0      - - error (invalid witness file) .50 .32 6.9 41 error (invalid witness file) 6.3 3.3 110 300
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c timeout (true) 0 wit inspect 900 170   4800 1500 .045 19      - - error (invalid witness file) .51 .33 11   40 error (invalid witness file) 6.2 3.3 120 300
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c timeout 0 wit inspect 900 870   6400 5500 .086 0      - - error (invalid witness file) .50 .33 6.4 39 error (invalid witness file) 7.0 3.7 120 310
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c timeout 0 wit inspect 900 890   6500 1500 .098 0      - - error (invalid witness file) .47 .31 6.0 39 error (invalid witness file) 6.4 3.4 120 300
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c timeout 0 wit inspect 900 870   7900 6400 .094 0      - - error (invalid witness file) .48 .31 9.6 39 error (invalid witness file) 7.0 3.7 140 310
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c true 1 wit inspect 300 270   3600 640 .10  .10   - - out of memory 71    55    1100   7000 timeout 960   930   27000 5100
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c true 1 wit inspect 290 270   3400 640 .10  0      - - out of memory 70    54    850   7000 timeout 960   940   22000 3400
seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c true 1 wit inspect 330 290   3300 1200 .10  .0082 - - out of memory 90    71    1100   7000 timeout 960   930   19000 5700
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c true 1 wit inspect 380 330   3900 2000 .10  0      - - out of memory 130    100    1900   7000 timeout 960   920   11000 6000
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c timeout (true) 0 wit inspect 910 180   4900 1700 .045 .0082 - - error (invalid witness file) .63 .40 13   44 error (invalid witness file) 6.2 3.3 120 300
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c timeout (true) 0 wit inspect 910 370   5300 7300 .045 .11   - - error (invalid witness file) .56 .36 9.9 40 error (invalid witness file) 7.3 3.8 130 320
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c timeout (true) 0 wit inspect 910 180   5000 1700 .045 0      - - error (invalid witness file) .52 .33 11   40 error (invalid witness file) 6.8 3.5 140 300
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c timeout (true) 0 wit inspect 900 510   5100 7400 .045 0      - - error (invalid witness file) .55 .36 9.7 40 error (invalid witness file) 7.2 3.8 120 300
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c timeout (true) 0 wit inspect 900 180   4800 1700 .045 .0082 - - error (invalid witness file) .57 .36 12   44 error (invalid witness file) 7.0 3.7 120 320
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c timeout 0 wit inspect 900 870   6500 7500 .086 0      - - error (invalid witness file) .52 .33 11   40 error (invalid witness file) 7.0 3.7 130 310
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c timeout (true) 0 wit inspect 910 200   5200 1500 .045 0      - - error (invalid witness file) .52 .34 13   42 error (invalid witness file) 6.6 3.5 130 300
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c timeout (true) 0 wit inspect 900 290   6000 4700 .045 0      - - error (invalid witness file) .52 .34 6.9 39 error (invalid witness file) 6.6 3.4 120 300
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c timeout 0 wit inspect 900 880   7800 1600 .086 0      - - error (invalid witness file) .49 .31 12   39 error (invalid witness file) 6.7 3.5 130 300
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c timeout 0 wit inspect 900 880   8700 5000 .086 0      - - error (invalid witness file) .50 .32 12   39 error (invalid witness file) 6.9 3.6 130 300
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c timeout 0 wit inspect 900 880   9800 1600 .086 0      - - error (invalid witness file) .52 .32 10   40 error (invalid witness file) 6.4 3.4 120 300
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c timeout 0 wit inspect 900 880   8100 5000 .086 0      - - error (invalid witness file) .48 .32 6.8 39 error (invalid witness file) 6.6 3.5 110 300
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c true 1 wit inspect 290 270   3300 350 .10  0      - - out of memory 150    140    1800   7000 timeout 960   890   25000 5800
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c true 1 wit inspect 290 270   2700 350 .10  0      - - out of memory 800    790    6000   7000 timeout 960   880   13000 5900
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c true 1 wit inspect 330 310   3000 450 .10  .0082 - - out of memory 63    48    1200   7000 timeout 960   890   22000 4500
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c true 1 wit inspect 380 370   3700 560 .10  0      - - out of memory 70    54    1400   7000 timeout 960   900   12000 5500
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c timeout (true) 0 wit inspect 900 190   4500 1700 .045 0      - - error (invalid witness file) .57 .37 8.9 41 error (invalid witness file) 6.0 3.2 120 300
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c timeout (true) 0 wit inspect 910 430   6400 6900 .045 0      - - error (invalid witness file) .49 .33 8.9 41 error (invalid witness file) 6.0 3.2 130 310
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c timeout (true) 0 wit inspect 910 210   5100 2800 .045 0      - - error (invalid witness file) .55 .34 7.2 43 error (invalid witness file) 5.7 3.0 100 290
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c timeout (true) 0 wit inspect 910 440   6300 7000 .045 0      - - error (invalid witness file) .51 .32 9.2 39 error (invalid witness file) 5.9 3.1 110 300
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c timeout (true) 0 wit inspect 900 200   4900 2300 .045 0      - - error (invalid witness file) .57 .35 11   43 error (invalid witness file) 6.9 3.7 140 300
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c timeout (true) 0 wit inspect 910 440   6900 7000 .045 0      - - error (invalid witness file) .50 .32 12   40 error (invalid witness file) 6.6 3.5 130 310
seq-pthread/cs_fib_false-unreach-call.i false(unreach-call) 0 wit inspect 64 32   600 1000 .21  .0041 timeout 94    81    890   970 error 11   6.0 220 290 - -
seq-pthread/cs_fib_longer_false-unreach-call.i false(unreach-call) 0 wit inspect 35 14   270 620 .19  0      timeout 97    83    1300   2000 error 12   6.3 260 320 - -
seq-pthread/cs_lazy_false-unreach-call.i false(unreach-call) 0 wit inspect 40 15   340 740 .35  0      timeout 97    81    1800   3500 timeout 97   81   1100 820 - -
seq-pthread/cs_queue_false-unreach-call.i error (1) 0 wit inspect 800 790   8400 1300 .45  0      error (invalid witness file) .53 .34 11   42 error (invalid witness file) 6.3 3.4 140 300 - -
seq-pthread/cs_read_write_lock_false-unreach-call.i false(unreach-call) 0 wit inspect 72 44   750 1600 .44  .0041 timeout 97    80    1100   3500 error 11   6.0 220 310 - -
seq-pthread/cs_stack_false-unreach-call.i false(unreach-call) 0 wit inspect 35 12   320 630 .27  0      timeout 97    79    1400   2000 unknown 12   6.3 210 310 - -
seq-pthread/cs_stateful_false-unreach-call.i false(unreach-call) 0 wit inspect 31 9.8 220 640 .32  .0041 timeout 96    78    1300   1300 timeout 97   81   1500 960 - -
seq-pthread/cs_dekker_true-unreach-call.i unknown 0 wit inspect 500 480   5300 380 .51  0      - - error (invalid witness file) .52 .35 9.7 39 error (invalid witness file) 6.1 3.2 110 300
seq-pthread/cs_fib_longer_true-unreach-call.i true 1 wit inspect 30 18   290 270 .094 0      - - timeout 900    870    11000   6600 error 10   5.6 180 290
seq-pthread/cs_fib_true-unreach-call.i true 1 wit inspect 21 9.1 160 270 .094 .0082 - - timeout 900    870    8100   6300 error 11   5.8 210 320
seq-pthread/cs_lamport_true-unreach-call.i unknown 0 wit inspect 530 510   6500 280 .43  0      - - error (invalid witness file) .61 .37 7.9 40 error (invalid witness file) 9.2 4.8 150 310
seq-pthread/cs_peterson_true-unreach-call.i unknown 0 wit inspect 780 760   6900 1400 .66  0      - - error (invalid witness file) .56 .37 7.6 42 error (invalid witness file) 6.0 3.2 120 300
seq-pthread/cs_queue_true-unreach-call.i timeout 0 wit inspect 900 890   9800 290 .14  .098  - - error (invalid witness file) .49 .31 9.2 39 error (invalid witness file) 6.0 3.2 130 300
seq-pthread/cs_read_write_lock_true-unreach-call.i true 1 wit inspect 16 6.1 110 260 .094 .0082 - - timeout 900    890    8000   3000 error 11   5.9 210 310
seq-pthread/cs_stack_true-unreach-call.i true 1 wit inspect 21 9.0 170 280 .094 0      - - timeout 900    880    8000   5000 unknown 12   6.3 240 300
seq-pthread/cs_stateful_true-unreach-call.i true 2 wit inspect 16 5.6 130 270 .094 .0082 - - true 540    520    5300   1800 timeout 960   920   22000 2700
seq-pthread/cs_sync_true-unreach-call.i true 1 wit inspect 20 9.0 170 280 .094 0      - - timeout 900    870    6400   6500 timeout 960   920   14000 2900
seq-pthread/cs_szymanski_true-unreach-call.i timeout 0 wit inspect 900 890   7800 1400 .46  0      - - error (invalid witness file) .50 .32 11   39 error (invalid witness file) 6.0 3.3 120 300
seq-pthread/cs_time_var_mutex_true-unreach-call.i true 1 wit inspect 16 5.8 120 270 .094 0      - - timeout 900    890    8900   1900 timeout 960   930   12000 2800
../../sv-benchmarks/c/ verifier status score witness inspect witness cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator cpachecker correctness t<900s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer correctness t<900s status cpu (s) wall (s) energy (J) mem (MB)
total 273 -26 130000 110000 1100000 370000 270    32      273 1700 1200 25000 76000   273 3700 2400 54000 100000   273 11000 11000 110000 110000   273 14000 13000 250000 160000  
    correct results 73 86 5800 4200 55000 60000 23    11      60 780 410 12000 31000   47 2500 1600 34000 56000   12 2600 2500 28000 17000   2 3900 3100 62000 76000  
        correct true 13 26 310 180 3000 3900 1.3  .14   0 0 0 0 0   15 0 0 0 0   12 2600 2500 28000 17000   2 3900 3100 62000 76000  
        correct false 60 60 5500 4000 52000 57000 21    11      60 780 410 12000 31000   32 2500 1600 34000 56000   0 0 0 0 0   0 0 0 0 0  
    correct-unconfimed results 22 16 3100 2700 32000 14000 3.4  .16   0 580 480 7700 13000   0 240 190 3600 3000   0 8700 8400 84000 87000   0 10000 9300 180000 63000  
        correct-unconfirmed true 16 16 2900 2600 30000 8300 1.6  .14   0 0 0 0 0   0 0 0 0 0   0 8700 8400 84000 87000   0 10000 9300 180000 63000  
        correct-unconfirmed false 6 0 280 130 2500 5200 1.8  .012  0 580 480 7700 13000   0 240 190 3600 3000   0 0 0 0 0   0 0 0 0 0  
    incorrect results 4 -128 1200 1100 14000 2600 .38 .0082 0 320 260 4400 28000   0 390 270 4600 11000   0 0 0 0 0   0 0 0 0 0  
        incorrect true 4 -128 1200 1100 14000 2600 .38 .0082 0 320 260 4400 28000   0 390 270 4600 11000   0 0 0 0 0   0 0 0 0 0  
        incorrect false 0
score (273 tasks, max score: 376) -26
Run set sv-comp17.ReachSafety-Sequentialized