Tool ULTIMATE Automizer f7c3ed31
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-13 12:41:58 CET [[ 2017-01-15 02:09:41 CET ]] [[ 2017-01-15 04:03:21 CET ]] [[ 2017-01-15 02:31:54 CET ]] [[ 2017-01-15 04:27:36 CET ]]
Run set sv-comp17.ReachSafety-Sequentialized
Options [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/uautomizer.2017-01-13_1241.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/uautomizer.2017-01-13_1241.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/uautomizer.2017-01-13_1241.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/uautomizer.2017-01-13_1241.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 false(unreach-call) 1 wit inspect 47   13   400 1500 2.8 0     true 17    8.6  160   470 false(unreach-call) 22   11   210 770 - -
systemc/kundu2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 200   100   1600 6300 2.7 0     true 15    8.0  190   520 false(unreach-call) 23   12   300 740 - -
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 6.3 2.0 50 320 2.6 0     timeout 97    74    1400   3600 false(unreach-call) 10   5.4 170 340 - -
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 12   3.6 98 510 2.6 0     timeout 97    72    930   3800 false(unreach-call) 17   9.0 250 480 - -
systemc/pipeline_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   210   4900 13000 2.3 0     error (invalid witness file) .55 .35 11   40 error (invalid witness file) 7.6 4.0 140 320 - -
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 19   5.1 160 590 2.6 0     true 9.7  5.1  100   310 false(unreach-call) 25   13   330 610 - -
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 37   10   330 1300 2.7 0     true 11    6.0  120   370 false(unreach-call) 37   20   370 900 - -
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 70   25   580 3900 2.8 0     true 13    6.5  160   460 false(unreach-call) 44   24   630 1100 - -
systemc/token_ring.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 100   43   870 5100 2.9 0     true 17    8.9  120   500 false(unreach-call) 68   36   1100 1600 - -
systemc/token_ring.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 550   310   5600 9200 3.0 0     true 17    8.6  130   670 false(unreach-call) 71   39   890 2200 - -
systemc/token_ring.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 350   210   3300 8300 3.2 0     true 24    12    270   670 false(unreach-call) 89   49   740 3100 - -
systemc/token_ring.07_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   440   8300 11000 2.3 0     error (invalid witness file) .57 .37 12   43 error (invalid witness file) 6.7 3.5 130 310 - -
systemc/token_ring.08_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   360   6600 14000 2.3 0     error (invalid witness file) .52 .34 12   40 error (invalid witness file) 6.1 3.2 89 300 - -
systemc/token_ring.09_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   520   8900 11000 2.3 0     error (invalid witness file) .59 .38 12   42 error (invalid witness file) 5.8 3.1 120 300 - -
systemc/token_ring.10_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   440   8100 13000 2.3 0     error (invalid witness file) .49 .31 7.7 39 error (invalid witness file) 6.9 3.7 89 290 - -
systemc/token_ring.11_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   290   5500 13000 2.3 0     error (invalid witness file) .51 .33 10   40 error (invalid witness file) 7.1 3.7 140 310 - -
systemc/token_ring.12_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   280   5700 14000 2.3 .025 error (invalid witness file) .49 .32 6.8 41 error (invalid witness file) 6.4 3.4 96 310 - -
systemc/token_ring.13_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   430   7600 12000 2.3 0     error (invalid witness file) .50 .31 10   40 error (invalid witness file) 7.2 3.8 150 320 - -
systemc/token_ring.14_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   350   7200 14000 2.3 0     error (invalid witness file) .53 .36 11   40 error (invalid witness file) 6.3 3.3 130 300 - -
systemc/token_ring.15_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   520   7700 11000 2.3 0     error (invalid witness file) .48 .32 7.6 39 error (invalid witness file) 6.1 3.2 130 300 - -
systemc/toy1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 73   34   670 2900 2.7 0     true 12    6.0  140   410 false(unreach-call) 29   15   320 850 - -
systemc/toy2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 73   32   670 3400 2.7 0     true 11    5.6  110   400 false(unreach-call) 32   17   420 870 - -
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 15   4.0 120 650 2.6 0     true 7.1  3.8  92   290 false(unreach-call) 21   11   290 560 - -
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 27   7.2 230 960 2.7 0     true 8.6  4.6  140   320 false(unreach-call) 26   14   320 720 - -
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 41   11   310 1500 2.7 0     true 11    5.6  130   440 false(unreach-call) 39   21   360 1400 - -
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 110   49   840 5500 2.8 0     true 12    6.4  180   450 false(unreach-call) 53   28   690 1400 - -
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 110   49   970 5100 2.9 0     true 16    8.3  220   600 false(unreach-call) 65   35   780 1900 - -
systemc/transmitter.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 320   190   3000 7500 3.1 0     true 21    11    310   690 false(unreach-call) 83   46   860 2800 - -
systemc/transmitter.07_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   490   9000 11000 2.3 0     error (invalid witness file) .65 .42 7.8 40 error (invalid witness file) 6.1 3.3 110 300 - -
systemc/transmitter.08_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   460   7800 13000 2.3 0     error (invalid witness file) .50 .34 8.0 40 error (invalid witness file) 7.7 4.1 66 300 - -
systemc/transmitter.09_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   440   7600 12000 2.3 0     error (invalid witness file) .49 .32 12   42 error (invalid witness file) 6.0 3.2 120 300 - -
systemc/transmitter.10_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   420   6900 13000 2.3 0     error (invalid witness file) .55 .35 8.8 40 error (invalid witness file) 5.7 3.1 110 290 - -
systemc/transmitter.11_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   550   8900 12000 2.3 0     error (invalid witness file) .50 .33 6.3 39 error (invalid witness file) 7.2 3.8 110 310 - -
systemc/transmitter.12_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   400   7100 13000 2.3 0     error (invalid witness file) .55 .36 12   43 error (invalid witness file) 7.1 3.8 130 320 - -
systemc/transmitter.13_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   570   8200 11000 2.3 0     error (invalid witness file) .55 .33 9.3 39 error (invalid witness file) 6.1 3.2 120 300 - -
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(unreach-call) 0 wit inspect 690   450   6600 9200 2.8 0     true 27    16    260   1900 timeout 97   53   910 1300 - -
systemc/transmitter.16_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   510   8200 11000 2.0 0     error (invalid witness file) .54 .34 11   41 error (invalid witness file) 5.7 3.1 110 290 - -
systemc/bist_cell_true-unreach-call_false-termination.cil.c true 2 wit inspect 79   37   690 3600 2.6 0     - - out of memory 330    280    11000   7000 true 62   34   820 1100
systemc/kundu_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   440   8300 12000 2.3 0     - - error (invalid witness file) .49 .32 11   40 error (invalid witness file) 6.4 3.4 120 300
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c true 1 wit inspect 490   320   5300 7500 2.8 0     - - timeout 910    870    17000   5100 out of memory 180   130   2900 7000
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c true 1 wit inspect 560   370   5500 8200 2.8 0     - - timeout 910    870    21000   5100 out of memory 160   110   1700 7000
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c true 1 wit inspect 700   500   7700 7700 2.8 0     - - timeout 910    880    23000   5100 out of memory 180   120   2800 7000
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c true 1 wit inspect 740   530   8400 8200 2.8 0     - - timeout 910    880    28000   5100 out of memory 170   120   1900 7000
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   700   10000 7600 2.3 0     - - error (invalid witness file) .69 .43 8.9 40 error (invalid witness file) 5.5 2.9 120 290
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c true 2 wit inspect 36   15   310 970 2.6 0     - - out of memory 730    660    22000   7000 true 37   20   330 740
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c true 2 wit inspect 110   60   1200 4200 2.6 0     - - out of memory 650    590    19000   7000 true 74   42   870 1700
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c true 2 wit inspect 21   6.6 200 690 2.6 0     - - timeout 900    870    18000   6000 true 36   19   360 710
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   210   4100 13000 2.3 0     - - error (invalid witness file) .68 .43 6.5 40 error (invalid witness file) 5.1 2.8 66 290
systemc/token_ring.01_true-unreach-call_false-termination.cil.c true 2 wit inspect 36   15   370 1200 2.6 0     - - out of memory 840    790    14000   7000 true 37   20   340 770
systemc/token_ring.02_true-unreach-call_false-termination.cil.c true 2 wit inspect 65   28   590 2100 2.7 0     - - timeout 900    880    22000   4500 true 86   49   760 1400
systemc/token_ring.03_true-unreach-call_false-termination.cil.c true 2 wit inspect 190   120   2500 4500 2.8 0     - - timeout 900    880    27000   2900 true 190   130   2000 5600
systemc/token_ring.04_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   760   14000 5400 2.3 0     - - error (invalid witness file) .52 .34 13   41 error (invalid witness file) 5.5 2.9 94 290
systemc/token_ring.05_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   390   6900 13000 2.3 0     - - error (invalid witness file) .52 .35 11   41 error (invalid witness file) 5.6 3.0 89 300
systemc/token_ring.06_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   710   9700 8200 2.3 0     - - error (invalid witness file) .57 .37 9.4 40 error (invalid witness file) 6.7 3.6 130 320
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   480   7600 12000 2.3 0     - - error (invalid witness file) .73 .45 7.5 39 error (invalid witness file) 7.3 3.9 88 290
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   400   7200 13000 2.3 0     - - error (invalid witness file) .65 .40 8.9 39 error (invalid witness file) 6.0 3.2 78 300
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   540   9500 11000 2.3 0     - - error (invalid witness file) .51 .34 10   40 error (invalid witness file) 6.3 3.3 110 300
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   510   8500 13000 2.5 53     - - error (invalid witness file) .49 .32 11   39 error (invalid witness file) 6.4 3.4 120 300
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   360   6700 14000 2.3 0     - - error (invalid witness file) .68 .44 9.0 41 error (invalid witness file) 5.6 3.0 100 290
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   330   5700 14000 2.3 0     - - error (invalid witness file) .64 .41 8.2 40 error (invalid witness file) 6.4 3.3 85 300
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   430   8200 12000 2.3 0     - - error (invalid witness file) .55 .36 8.8 40 error (invalid witness file) 5.9 3.2 110 300
systemc/toy_true-unreach-call_false-termination.cil.c true 2 wit inspect 420   320   4400 6000 2.6 0     - - out of memory 520    480    10000   7000 true 130   81   1200 4100
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 45   13   370 930 2.7 0     true 13    6.7  190   450 false(unreach-call) 14   7.3 180 480 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 44   13   330 960 2.7 0     true 9.6  5.1  160   410 false(unreach-call) 14   7.4 220 470 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 150   85   1700 4500 2.8 0     true 14    7.0  160   470 false(unreach-call) 16   8.3 200 550 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 150   84   1500 4900 2.8 0     true 13    6.6  170   440 false(unreach-call) 16   8.5 230 590 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 190   120   2200 4700 2.9 0     true 13    6.6  150   470 false(unreach-call) 17   8.8 230 610 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 210   140   2200 4800 2.9 0     true 13    6.6  110   450 false(unreach-call) 18   9.1 280 610 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c timeout 0 wit inspect 900   720   9400 7000 2.3 0     error (invalid witness file) .64 .41 7.5 40 error (invalid witness file) 6.7 3.5 110 310 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   720   11000 7100 2.3 0     error (invalid witness file) .52 .32 13   40 error (invalid witness file) 5.6 3.0 110 290 - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 400   300   4600 5200 3.0 0     true 14    7.2  210   480 false(unreach-call) 22   12   350 860 - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 320   230   3900 5100 3.0 0     true 11    5.6  100   350 false(unreach-call) 21   11   200 840 - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 350   270   4400 4700 3.0 0     true 16    8.1  130   490 false(unreach-call) 41   23   470 1200 - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 280   210   3500 4600 3.0 0     true 10    5.4  94   380 false(unreach-call) 27   14   290 870 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   520   8400 12000 2.3 0     error (invalid witness file) .71 .46 8.1 45 error (invalid witness file) 5.3 2.9 86 290 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   500   9100 11000 2.3 0     error (invalid witness file) .56 .34 9.3 40 error (invalid witness file) 6.1 3.2 110 300 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 910   510   7700 12000 2.3 0     error (invalid witness file) .54 .36 12   42 error (invalid witness file) 6.1 3.2 120 290 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   380   6100 13000 2.3 0     error (invalid witness file) .51 .33 11   40 error (invalid witness file) 6.9 3.7 89 300 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   480   7500 12000 2.3 0     error (invalid witness file) .54 .34 12   42 error (invalid witness file) 5.7 3.1 92 300 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   390   5800 13000 2.3 0     error (invalid witness file) .52 .35 11   40 error (invalid witness file) 5.8 3.1 98 300 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   460   7600 12000 2.3 0     error (invalid witness file) .60 .38 11   43 error (invalid witness file) 6.0 3.1 72 290 - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   370   6800 13000 2.3 0     error (invalid witness file) .51 .32 11   40 error (invalid witness file) 6.2 3.3 110 300 - -
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   460   7300 12000 2.3 0     error (invalid witness file) .51 .34 8.6 40 error (invalid witness file) 6.7 3.5 120 320 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   380   6600 13000 2.3 0     error (invalid witness file) .65 .41 9.9 43 error (invalid witness file) 6.7 3.6 140 330 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   340   5300 13000 2.3 0     error (invalid witness file) .50 .33 12   40 error (invalid witness file) 6.0 3.2 95 300 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 910   410   8000 13000 2.3 0     error (invalid witness file) .52 .33 5.6 42 error (invalid witness file) 6.4 3.3 100 300 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   380   6400 13000 2.3 0     error (invalid witness file) .49 .33 7.0 40 error (invalid witness file) 6.2 3.3 88 300 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   430   7400 13000 2.3 0     error (invalid witness file) .62 .40 9.7 42 error (invalid witness file) 6.2 3.3 110 310 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   390   5900 13000 2.3 0     error (invalid witness file) .50 .33 10   40 error (invalid witness file) 6.1 3.2 130 300 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   410   6700 12000 2.3 0     error (invalid witness file) .51 .33 8.2 43 error (invalid witness file) 6.3 3.3 110 310 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   400   6000 13000 2.3 0     error (invalid witness file) .52 .34 10   39 error (invalid witness file) 6.2 3.3 130 300 - -
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   370   6100 13000 2.3 0     error (invalid witness file) .63 .40 10   42 error (invalid witness file) 6.1 3.2 91 300 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   290   5600 13000 2.3 0     error (invalid witness file) .51 .34 10   39 error (invalid witness file) 5.7 3.0 100 300 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   260   5100 14000 2.3 0     error (invalid witness file) .60 .38 7.4 40 error (invalid witness file) 6.2 3.3 100 290 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   360   6200 13000 2.3 0     error (invalid witness file) .48 .31 12   39 error (invalid witness file) 6.3 3.3 130 300 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   280   5800 14000 2.3 0     error (invalid witness file) .52 .33 11   40 error (invalid witness file) 7.1 3.7 120 320 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   330   5800 13000 2.3 0     error (invalid witness file) .49 .32 13   39 error (invalid witness file) 6.2 3.3 140 300 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   250   4900 14000 2.3 0     error (invalid witness file) .58 .36 9.6 42 error (invalid witness file) 6.1 3.2 120 290 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   370   5900 13000 2.3 0     error (invalid witness file) .53 .36 11   40 error (invalid witness file) 6.1 3.2 99 290 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   290   5700 14000 2.3 0     error (invalid witness file) .72 .44 7.8 43 error (invalid witness file) 6.5 3.4 140 300 - -
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   340   6200 13000 2.3 0     error (invalid witness file) .53 .34 9.4 40 error (invalid witness file) 6.0 3.2 100 300 - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   460   8600 13000 2.3 0     error (invalid witness file) .53 .36 9.5 41 error (invalid witness file) 6.3 3.4 120 300 - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   650   10000 8700 2.3 0     error (invalid witness file) .56 .36 10   44 error (invalid witness file) 5.5 3.0 110 290 - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   520   7700 12000 2.3 0     error (invalid witness file) .50 .33 8.7 40 error (invalid witness file) 5.7 3.1 91 300 - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   660   9400 9100 2.3 0     error (invalid witness file) .56 .36 9.6 40 error (invalid witness file) 5.9 3.1 120 300 - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   560   9900 13000 2.3 0     error (invalid witness file) .66 .43 7.5 40 error (invalid witness file) 6.0 3.2 100 300 - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   490   8600 13000 2.3 0     error (invalid witness file) .51 .33 10   39 error (invalid witness file) 7.9 4.1 160 320 - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   590   9200 9700 2.3 0     error (invalid witness file) .61 .40 6.6 40 error (invalid witness file) 5.6 3.0 94 300 - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   520   8300 12000 2.3 0     error (invalid witness file) .55 .35 9.4 39 error (invalid witness file) 5.9 3.2 100 290 - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   380   6100 13000 2.3 0     error (invalid witness file) .51 .33 11   42 error (invalid witness file) 5.4 2.9 110 300 - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   500   8100 13000 2.3 0     error (invalid witness file) .49 .32 11   39 error (invalid witness file) 5.5 3.0 91 290 - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   450   8700 12000 2.3 0     error (invalid witness file) .46 .30 7.5 39 error (invalid witness file) 6.4 3.4 120 300 - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   510   8000 12000 2.3 0     error (invalid witness file) .54 .35 9.3 43 error (invalid witness file) 6.0 3.2 130 300 - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 910   390   6800 14000 2.3 0     error (invalid witness file) .47 .31 10   40 error (invalid witness file) 6.8 3.6 120 310 - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   420   7900 13000 2.3 0     error (invalid witness file) .62 .40 6.9 39 error (invalid witness file) 6.0 3.2 110 290 - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 900   390   7000 13000 2.3 0     error (invalid witness file) .51 .33 8.1 41 error (invalid witness file) 6.3 3.3 110 300 - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   460   7600 13000 2.3 0     error (invalid witness file) .56 .36 9.9 42 error (invalid witness file) 5.7 3.0 83 290 - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   800   12000 6200 2.3 0     error (invalid witness file) .52 .33 11   40 error (invalid witness file) 6.3 3.3 130 300 - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   800   11000 5300 2.5 0     error (invalid witness file) .53 .35 9.2 40 error (invalid witness file) 6.1 3.2 94 300 - -
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   780   11000 6000 2.3 0     error (invalid witness file) .52 .35 9.3 42 error (invalid witness file) 7.0 3.7 130 320 - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 910   410   6400 13000 2.3 0     error (invalid witness file) .51 .33 8.1 40 error (invalid witness file) 6.2 3.4 98 320 - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   600   9400 11000 2.3 0     error (invalid witness file) .67 .41 7.9 40 error (invalid witness file) 5.8 3.1 110 290 - -
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   510   7900 14000 2.6 52     error (invalid witness file) .54 .35 9.9 39 error (invalid witness file) 6.8 3.5 130 310 - -
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   550   8400 9900 2.3 0     error (invalid witness file) .55 .36 7.2 41 error (invalid witness file) 5.5 2.9 110 280 - -
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   550   8400 13000 2.3 0     error (invalid witness file) .55 .35 12   44 error (invalid witness file) 6.2 3.3 130 300 - -
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   510   8200 13000 2.3 0     error (invalid witness file) .62 .39 9.7 41 error (invalid witness file) 6.7 3.5 120 300 - -
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 900   500   7600 12000 2.3 0     error (invalid witness file) .48 .32 11   39 error (invalid witness file) 6.5 3.4 120 330 - -
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   490   7800 13000 2.3 0     error (invalid witness file) .51 .34 9.5 39 error (invalid witness file) 6.9 3.6 140 320 - -
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   510   7700 13000 2.3 0     error (invalid witness file) .56 .37 13   43 error (invalid witness file) 5.8 3.1 97 290 - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c timeout 0 wit inspect 900   460   7600 12000 2.3 0     error (invalid witness file) .48 .31 8.9 39 error (invalid witness file) 5.8 3.1 110 290 - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   560   9200 12000 2.3 0     error (invalid witness file) .62 .40 7.6 39 error (invalid witness file) 6.6 3.5 130 310 - -
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   580   8000 12000 2.3 0     error (invalid witness file) .48 .32 8.7 41 error (invalid witness file) 6.0 3.2 130 300 - -
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals_true-termination.c timeout 0 wit inspect 910   450   6800 14000 2.3 0     error (invalid witness file) .49 .32 8.7 39 error (invalid witness file) 6.6 3.5 120 310 - -
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   540   8700 12000 2.3 0     error (invalid witness file) .53 .34 9.2 43 error (invalid witness file) 6.4 3.4 110 300 - -
seq-mthreaded/pals_lcr.8_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   560   8500 12000 2.3 0     error (invalid witness file) .56 .34 7.4 39 error (invalid witness file) 5.8 3.1 97 300 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   420   6100 13000 2.3 0     error (invalid witness file) .53 .36 13   40 error (invalid witness file) 7.6 4.0 140 330 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   370   7500 13000 2.3 0     error (invalid witness file) .49 .32 10   40 error (invalid witness file) 6.5 3.4 140 300 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 910   370   6700 13000 2.3 0     error (invalid witness file) .57 .37 10   46 error (invalid witness file) 6.6 3.5 140 310 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   400   7700 13000 2.3 0     error (invalid witness file) .52 .32 10   40 error (invalid witness file) 5.9 3.1 110 300 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 910   420   6800 13000 2.3 0     error (invalid witness file) .55 .36 12   40 error (invalid witness file) 5.7 3.0 110 290 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   470   6500 13000 2.3 0     error (invalid witness file) .51 .34 10   40 error (invalid witness file) 5.8 3.1 100 300 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   500   7800 12000 2.3 0     error (invalid witness file) .52 .32 8.8 42 error (invalid witness file) 6.0 3.2 120 300 - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   420   7200 13000 2.3 0     error (invalid witness file) .49 .33 4.0 39 error (invalid witness file) 6.1 3.3 120 300 - -
seq-mthreaded/pals_opt-floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   460   7000 13000 2.3 0     error (invalid witness file) .63 .41 7.6 40 error (invalid witness file) 6.2 3.3 130 300 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 910   300   5800 13000 2.3 0     error (invalid witness file) .57 .37 13   40 error (invalid witness file) 5.5 3.0 88 280 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   300   5200 14000 2.3 0     error (invalid witness file) .51 .33 9.6 41 error (invalid witness file) 6.7 3.6 120 310 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 910   290   5400 13000 2.3 0     error (invalid witness file) .56 .35 9.5 39 error (invalid witness file) 6.2 3.3 110 300 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   330   6200 13000 2.3 0     error (invalid witness file) .50 .34 8.7 39 error (invalid witness file) 6.3 3.3 120 290 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   350   6100 13000 2.3 0     error (invalid witness file) .53 .33 11   40 error (invalid witness file) 6.7 3.5 120 300 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   380   5500 13000 2.3 0     error (invalid witness file) .52 .33 9.7 40 error (invalid witness file) 6.0 3.1 110 300 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 910   290   5200 13000 2.3 0     error (invalid witness file) .62 .40 8.5 42 error (invalid witness file) 6.2 3.3 110 310 - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   360   6800 13000 2.3 0     error (invalid witness file) .61 .40 8.6 40 error (invalid witness file) 6.0 3.1 110 300 - -
seq-mthreaded/pals_opt-floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   370   6100 13000 2.3 0     error (invalid witness file) .62 .40 7.6 39 error (invalid witness file) 6.1 3.2 130 300 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   280   5200 14000 2.3 0     error (invalid witness file) .54 .37 12   40 error (invalid witness file) 6.1 3.2 91 300 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   270   5200 14000 2.3 0     error (invalid witness file) .51 .33 12   41 error (invalid witness file) 6.0 3.2 100 300 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   300   5700 14000 2.3 0     error (invalid witness file) .63 .40 7.4 43 error (invalid witness file) 6.3 3.3 97 300 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   250   5700 14000 2.3 0     error (invalid witness file) .48 .31 4.0 39 error (invalid witness file) 6.1 3.3 110 300 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   300   6200 13000 2.3 0     error (invalid witness file) .53 .34 13   41 error (invalid witness file) 7.1 3.7 140 310 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   230   4500 14000 2.3 0     error (invalid witness file) .52 .34 12   40 error (invalid witness file) 6.2 3.3 130 300 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   300   5400 14000 2.3 0     error (invalid witness file) .49 .32 10   39 error (invalid witness file) 6.4 3.4 130 300 - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   260   4700 14000 2.3 0     error (invalid witness file) .50 .33 7.8 41 error (invalid witness file) 5.9 3.2 120 300 - -
seq-mthreaded/pals_opt-floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   250   5800 14000 2.3 0     error (invalid witness file) .50 .31 11   40 error (invalid witness file) 6.1 3.2 94 300 - -
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c error 0 wit inspect 270   230   3300 1600 2.5 0     error (invalid witness file) .48 .32 7.5 39 error (invalid witness file) 6.5 3.4 110 300 - -
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c timeout 0 wit inspect 900   840   11000 5700 2.5 0     error (invalid witness file) .53 .34 11   43 error (invalid witness file) 6.6 3.5 97 300 - -
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c timeout 0 wit inspect 900   860   11000 1400 2.5 0     error (invalid witness file) .48 .32 7.8 41 error (invalid witness file) 6.6 3.5 100 320 - -
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c timeout 0 wit inspect 900   840   11000 3800 2.5 0     error (invalid witness file) .60 .39 8.8 43 error (invalid witness file) 7.3 3.8 120 290 - -
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c timeout 0 wit inspect 900   850   12000 2100 2.5 0     error (invalid witness file) .52 .33 8.5 40 error (invalid witness file) 7.3 3.9 89 300 - -
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c timeout 0 wit inspect 900   840   11000 4800 2.5 0     error (invalid witness file) .55 .35 11   43 error (invalid witness file) 6.4 3.4 96 300 - -
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c timeout 0 wit inspect 900   860   10000 1900 2.5 0     error (invalid witness file) .48 .32 10   40 error (invalid witness file) 6.1 3.2 110 300 - -
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c timeout 0 wit inspect 900   840   9100 5600 2.5 0     error (invalid witness file) .62 .39 10   45 error (invalid witness file) 7.5 3.9 130 320 - -
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c timeout 0 wit inspect 900   880   9900 3500 2.3 0     error (invalid witness file) .48 .32 7.5 40 error (invalid witness file) 6.4 3.4 120 290 - -
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c timeout 0 wit inspect 900   870   8600 5700 2.3 0     error (invalid witness file) .57 .36 14   44 error (invalid witness file) 6.7 3.6 130 300 - -
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c timeout 0 wit inspect 900   880   11000 1100 2.5 0     error (invalid witness file) .50 .31 12   39 error (invalid witness file) 6.7 3.5 120 300 - -
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c timeout 0 wit inspect 900   840   9500 3500 2.5 0     error (invalid witness file) .52 .33 9.0 40 error (invalid witness file) 6.9 3.6 140 300 - -
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c error 0 wit inspect 190   160   2000 1600 2.5 19     error (invalid witness file) .54 .35 11   40 error (invalid witness file) 7.1 3.7 110 320 - -
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c timeout 0 wit inspect 900   840   12000 3900 2.5 0     error (invalid witness file) .52 .32 11   40 error (invalid witness file) 6.6 3.5 95 300 - -
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c error 0 wit inspect 330   280   3700 1300 2.5 0     error (invalid witness file) .51 .32 11   40 error (invalid witness file) 6.3 3.3 110 300 - -
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c error 0 wit inspect 400   360   4000 1300 2.5 0     error (invalid witness file) .59 .39 6.6 39 error (invalid witness file) 7.6 3.9 150 310 - -
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c error 0 wit inspect 370   340   3600 1600 2.5 0     error (invalid witness file) .51 .32 12   40 error (invalid witness file) 6.3 3.4 120 300 - -
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c error 0 wit inspect 370   330   3400 2000 2.5 0     error (invalid witness file) .63 .39 10   43 error (invalid witness file) 6.5 3.5 110 290 - -
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c error 0 wit inspect 270   230   2800 1400 2.5 0     error (invalid witness file) .54 .34 13   43 error (invalid witness file) 6.5 3.4 120 300 - -
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c error 0 wit inspect 190   150   1800 1200 2.5 0     error (invalid witness file) .52 .36 6.3 39 error (invalid witness file) 7.6 4.0 150 310 - -
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c timeout 0 wit inspect 900   770   11000 6900 2.3 0     error (invalid witness file) .49 .31 10   40 error (invalid witness file) 7.1 3.7 130 320 - -
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c timeout 0 wit inspect 900   810   10000 5100 2.3 0     error (invalid witness file) .53 .35 12   43 error (invalid witness file) 6.6 3.4 120 300 - -
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c timeout 0 wit inspect 900   850   11000 7700 2.5 0     error (invalid witness file) .50 .34 9.1 39 error (invalid witness file) 6.8 3.6 98 300 - -
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c timeout 0 wit inspect 900   850   13000 5000 2.5 0     error (invalid witness file) .55 .35 11   39 error (invalid witness file) 6.6 3.5 130 310 - -
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c timeout 0 wit inspect 900   870   12000 1100 2.5 0     error (invalid witness file) .50 .33 7.2 40 error (invalid witness file) 5.9 3.1 92 300 - -
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c timeout 0 wit inspect 900   870   11000 1200 2.5 0     error (invalid witness file) .49 .32 8.2 41 error (invalid witness file) 7.2 3.8 64 290 - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 0 wit inspect 900   710   11000 6700 2.3 0     - - error (invalid witness file) .65 .40 8.0 40 error (invalid witness file) 5.6 3.0 84 300
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   710   11000 6800 2.3 0     - - error (invalid witness file) .49 .31 11   39 error (invalid witness file) 5.8 3.1 89 300
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   730   10000 4700 2.3 0     - - error (invalid witness file) .56 .36 13   41 error (invalid witness file) 5.6 3.0 97 290
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   700   12000 4700 2.3 0     - - error (invalid witness file) .51 .33 4.0 40 error (invalid witness file) 5.9 3.1 110 300
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   480   7200 11000 2.3 0     - - error (invalid witness file) .48 .32 12   41 error (invalid witness file) 6.4 3.4 140 300
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   380   6500 13000 2.3 0     - - error (invalid witness file) .74 .45 9.0 44 error (invalid witness file) 7.5 3.9 100 310
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 910   410   6700 13000 2.3 0     - - error (invalid witness file) .54 .34 11   40 error (invalid witness file) 5.9 3.2 110 300
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   400   6500 13000 2.3 0     - - error (invalid witness file) .60 .37 11   45 error (invalid witness file) 6.7 3.5 120 310
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   370   7600 13000 2.3 0     - - error (invalid witness file) .62 .40 8.5 43 error (invalid witness file) 6.1 3.3 120 300
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   290   5700 14000 2.3 0     - - error (invalid witness file) .66 .42 8.2 40 error (invalid witness file) 6.9 3.6 90 320
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   530   8300 12000 2.3 0     - - error (invalid witness file) .51 .33 12   41 error (invalid witness file) 6.1 3.2 92 300
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   700   11000 7900 2.3 0     - - error (invalid witness file) .63 .40 8.8 41 error (invalid witness file) 6.0 3.2 120 300
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   560   8900 12000 2.3 0     - - error (invalid witness file) .59 .37 8.2 40 error (invalid witness file) 5.5 3.0 99 290
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   480   8000 13000 2.3 0     - - error (invalid witness file) .58 .37 9.4 39 error (invalid witness file) 6.2 3.3 120 300
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   380   6900 13000 2.3 0     - - error (invalid witness file) .55 .35 12   41 error (invalid witness file) 6.7 3.5 130 310
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   500   8600 13000 2.3 0     - - error (invalid witness file) .50 .32 13   41 error (invalid witness file) 6.0 3.2 120 300
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 910   390   7100 14000 2.3 0     - - error (invalid witness file) .61 .39 5.4 39 error (invalid witness file) 6.9 3.6 140 310
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   420   7100 13000 2.3 0     - - error (invalid witness file) .67 .42 7.4 40 error (invalid witness file) 6.2 3.3 120 290
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   780   10000 6100 2.3 0     - - error (invalid witness file) .61 .39 9.4 41 error (invalid witness file) 6.2 3.3 110 300
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   820   14000 4700 2.3 0     - - error (invalid witness file) .52 .33 6.6 39 error (invalid witness file) 6.4 3.4 120 310
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   510   8600 13000 2.3 0     - - error (invalid witness file) .50 .33 8.6 39 error (invalid witness file) 5.8 3.1 70 290
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   580   9300 11000 2.3 0     - - error (invalid witness file) .68 .43 9.3 40 error (invalid witness file) 6.2 3.3 120 300
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   510   8200 12000 2.3 0     - - error (invalid witness file) .61 .38 9.2 40 error (invalid witness file) 7.2 3.8 140 330
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   570   8300 9800 2.3 0     - - error (invalid witness file) .57 .36 11   39 error (invalid witness file) 6.4 3.3 110 310
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 900   500   8000 12000 2.3 0     - - error (invalid witness file) .65 .43 8.2 40 error (invalid witness file) 5.9 3.1 100 300
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   480   8300 13000 2.3 0     - - error (invalid witness file) .63 .39 7.7 39 error (invalid witness file) 6.4 3.3 67 310
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c timeout 0 wit inspect 900   470   8500 12000 2.3 0     - - error (invalid witness file) .62 .39 11   42 error (invalid witness file) 5.9 3.1 110 300
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   560   8900 13000 2.3 0     - - error (invalid witness file) .52 .33 13   41 error (invalid witness file) 5.8 3.1 84 300
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c timeout 0 wit inspect 900   480   7800 13000 2.3 0     - - error (invalid witness file) .52 .34 11   41 error (invalid witness file) 5.8 3.1 98 290
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   540   8800 13000 2.3 0     - - error (invalid witness file) .69 .43 7.8 41 error (invalid witness file) 5.9 3.1 110 300
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   520   9100 9900 2.3 0     - - error (invalid witness file) .65 .41 7.3 42 error (invalid witness file) 6.2 3.2 100 300
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   410   7400 13000 2.3 0     - - error (invalid witness file) .61 .38 9.1 41 error (invalid witness file) 5.4 2.9 66 290
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   290   5100 13000 2.3 0     - - error (invalid witness file) .56 .35 12   41 error (invalid witness file) 6.2 3.3 110 300
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   330   5900 12000 2.3 0     - - error (invalid witness file) .50 .33 12   39 error (invalid witness file) 7.2 3.9 81 330
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   300   5600 14000 2.3 0     - - error (invalid witness file) .49 .30 11   40 error (invalid witness file) 6.1 3.2 110 300
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   250   4900 13000 2.3 0     - - error (invalid witness file) .53 .33 7.1 39 error (invalid witness file) 6.2 3.2 100 300
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c error 0 wit inspect 200   170   2000 1500 2.5 0     - - error (invalid witness file) .51 .31 9.7 40 error (invalid witness file) 6.6 3.5 110 310
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c timeout 0 wit inspect 900   840   10000 5500 2.5 0     - - error (invalid witness file) .48 .31 11   40 error (invalid witness file) 6.5 3.5 100 300
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c error 0 wit inspect 290   250   3000 2300 2.5 0     - - error (invalid witness file) .65 .42 8.2 39 error (invalid witness file) 6.8 3.5 130 310
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c timeout 0 wit inspect 900   840   11000 4900 2.5 0     - - error (invalid witness file) .64 .40 7.1 39 error (invalid witness file) 7.5 3.9 140 320
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c timeout 0 wit inspect 900   870   8300 5400 2.3 0     - - error (invalid witness file) .54 .35 12   43 error (invalid witness file) 7.4 3.9 150 320
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c timeout 0 wit inspect 900   870   9400 3700 2.3 0     - - error (invalid witness file) .56 .35 10   40 error (invalid witness file) 7.2 3.8 140 300
seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c timeout 0 wit inspect 900   870   8600 5700 2.3 0     - - error (invalid witness file) .72 .45 8.3 41 error (invalid witness file) 7.1 3.7 130 300
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c timeout 0 wit inspect 900   850   9600 6000 2.3 0     - - error (invalid witness file) .53 .34 12   41 error (invalid witness file) 5.9 3.1 48 290
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c timeout 0 wit inspect 900   880   14000 1100 2.5 0     - - error (invalid witness file) .52 .33 8.1 41 error (invalid witness file) 6.8 3.6 120 310
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c timeout 0 wit inspect 900   840   11000 3600 2.5 0     - - error (invalid witness file) .60 .38 7.7 41 error (invalid witness file) 7.0 3.6 130 310
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c timeout 0 wit inspect 900   870   11000 1500 2.5 0     - - error (invalid witness file) .59 .38 9.9 40 error (invalid witness file) 7.7 4.0 150 310
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c timeout 0 wit inspect 900   840   11000 3600 2.5 0     - - error (invalid witness file) .60 .38 8.8 41 error (invalid witness file) 7.2 3.8 140 310
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c error 0 wit inspect 160   130   1800 1400 2.5 0     - - error (invalid witness file) .46 .30 5.5 40 error (invalid witness file) 6.2 3.3 110 300
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c timeout 0 wit inspect 900   840   10000 3500 2.5 0     - - error (invalid witness file) .66 .42 7.8 40 error (invalid witness file) 7.1 3.7 140 300
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c error 0 wit inspect 210   170   2700 1200 2.5 0     - - error (invalid witness file) .60 .40 8.7 41 error (invalid witness file) 6.6 3.5 130 300
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c error 0 wit inspect 290   260   3400 1300 2.5 0     - - error (invalid witness file) .57 .38 8.4 40 error (invalid witness file) 6.5 3.4 110 300
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c error 0 wit inspect 240   190   2400 1200 2.5 0     - - error (invalid witness file) .58 .37 9.5 42 error (invalid witness file) 6.9 3.6 110 300
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c error 0 wit inspect 200   170   2200 1500 2.5 0     - - error (invalid witness file) .63 .39 7.4 40 error (invalid witness file) 6.4 3.4 130 290
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c error 0 wit inspect 270   220   3200 1300 2.5 0     - - error (invalid witness file) .57 .35 11   41 error (invalid witness file) 5.9 3.1 67 300
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c error 0 wit inspect 320   270   3700 1500 2.5 0     - - error (invalid witness file) .50 .34 9.1 41 error (invalid witness file) 7.1 3.7 130 300
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c timeout 0 wit inspect 900   820   11000 6000 2.3 .012 - - error (invalid witness file) .58 .36 9.3 42 error (invalid witness file) 6.8 3.6 120 300
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c timeout 0 wit inspect 900   790   12000 6000 2.3 0     - - error (invalid witness file) .53 .33 8.1 40 error (invalid witness file) 6.3 3.3 120 300
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c timeout 0 wit inspect 900   820   12000 5200 2.3 0     - - error (invalid witness file) .60 .37 11   43 error (invalid witness file) 6.0 3.2 120 290
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c timeout 0 wit inspect 900   820   11000 6200 2.3 0     - - error (invalid witness file) .52 .34 12   43 error (invalid witness file) 6.7 3.5 99 310
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c timeout 0 wit inspect 900   850   8700 7800 2.5 0     - - error (invalid witness file) .58 .39 7.2 41 error (invalid witness file) 6.2 3.3 110 300
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c timeout 0 wit inspect 900   850   12000 5000 2.5 0     - - error (invalid witness file) .69 .43 7.4 40 error (invalid witness file) 6.3 3.3 120 300
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c timeout 0 wit inspect 900   860   9600 1200 2.5 0     - - error (invalid witness file) .62 .39 8.4 42 error (invalid witness file) 6.0 3.2 110 290
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c timeout 0 wit inspect 900   870   10000 1100 2.5 0     - - error (invalid witness file) .49 .33 10   39 error (invalid witness file) 6.9 3.6 110 320
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c timeout 0 wit inspect 900   870   12000 1100 2.5 0     - - error (invalid witness file) .66 .42 7.9 43 error (invalid witness file) 5.9 3.2 54 300
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c timeout 0 wit inspect 900   870   11000 1200 2.5 0     - - error (invalid witness file) .60 .36 9.4 40 error (invalid witness file) 6.4 3.4 130 300
seq-pthread/cs_fib_false-unreach-call.i error 0 wit inspect 8.2 2.7 64 310 2.6 0     error (invalid witness file) .47 .31 5.2 39 error (invalid witness file) 7.0 3.7 88 300 - -
seq-pthread/cs_fib_longer_false-unreach-call.i error 0 wit inspect 9.4 2.7 70 340 2.6 0     error (invalid witness file) .54 .35 9.6 40 error (invalid witness file) 6.3 3.3 120 300 - -
seq-pthread/cs_lazy_false-unreach-call.i timeout 0 wit inspect 900   860   10000 1800 2.3 0     error (invalid witness file) .51 .34 11   40 error (invalid witness file) 6.1 3.2 130 300 - -
seq-pthread/cs_queue_false-unreach-call.i unknown 0 wit inspect 50   33   500 8200 2.6 0     error (invalid witness file) .54 .35 8.5 40 error (invalid witness file) 6.6 3.5 120 310 - -
seq-pthread/cs_read_write_lock_false-unreach-call.i error 0 wit inspect 9.0 2.8 75 330 2.6 0     error (invalid witness file) .50 .33 12   40 error (invalid witness file) 6.8 3.5 100 300 - -
seq-pthread/cs_stack_false-unreach-call.i unknown 0 wit inspect 10   2.9 72 340 2.6 0     error (invalid witness file) .63 .41 7.2 40 error (invalid witness file) 6.1 3.2 100 300 - -
seq-pthread/cs_stateful_false-unreach-call.i unknown 0 wit inspect 320   280   3700 2300 2.5 0     error (invalid witness file) .59 .38 7.2 40 error (invalid witness file) 6.7 3.6 130 320 - -
seq-pthread/cs_dekker_true-unreach-call.i timeout 0 wit inspect 900   870   9100 2300 2.3 0     - - error (invalid witness file) .52 .33 13   43 error (invalid witness file) 6.1 3.2 69 310
seq-pthread/cs_fib_longer_true-unreach-call.i error 0 wit inspect 8.5 2.7 73 310 2.6 0     - - error (invalid witness file) .59 .37 12   43 error (invalid witness file) 6.9 3.6 110 320
seq-pthread/cs_fib_true-unreach-call.i error 0 wit inspect 8.6 2.8 64 300 2.6 0     - - error (invalid witness file) .51 .32 11   40 error (invalid witness file) 6.7 3.5 130 300
seq-pthread/cs_lamport_true-unreach-call.i timeout 0 wit inspect 900   870   9000 2000 2.3 0     - - error (invalid witness file) .53 .34 4.8 40 error (invalid witness file) 6.6 3.4 120 300
seq-pthread/cs_peterson_true-unreach-call.i timeout 0 wit inspect 900   870   9700 2800 2.3 0     - - error (invalid witness file) .50 .33 12   40 error (invalid witness file) 6.4 3.4 110 300
seq-pthread/cs_queue_true-unreach-call.i unknown 0 wit inspect 53   34   470 10000 2.6 0     - - error (invalid witness file) .49 .32 9.9 39 error (invalid witness file) 6.5 3.5 120 300
seq-pthread/cs_read_write_lock_true-unreach-call.i error 0 wit inspect 8.3 2.8 68 300 2.6 0     - - error (invalid witness file) .68 .42 8.0 41 error (invalid witness file) 6.1 3.3 120 290
seq-pthread/cs_stack_true-unreach-call.i unknown 0 wit inspect 8.8 2.9 70 310 2.6 0     - - error (invalid witness file) .67 .43 7.7 41 error (invalid witness file) 5.9 3.2 100 300
seq-pthread/cs_stateful_true-unreach-call.i timeout 0 wit inspect 900   860   9900 2300 2.3 0     - - error (invalid witness file) .53 .34 11   40 error (invalid witness file) 6.2 3.2 100 310
seq-pthread/cs_sync_true-unreach-call.i timeout 0 wit inspect 900   860   12000 2900 2.3 0     - - error (invalid witness file) .56 .36 9.7 44 error (invalid witness file) 6.3 3.3 110 300
seq-pthread/cs_szymanski_true-unreach-call.i timeout 0 wit inspect 900   870   10000 2100 2.3 0     - - error (invalid witness file) .56 .37 11   40 error (invalid witness file) 6.2 3.3 97 310
seq-pthread/cs_time_var_mutex_true-unreach-call.i timeout 0 wit inspect 900   870   10000 2300 2.3 0     - - error (invalid witness file) .57 .36 13   43 error (invalid witness file) 5.7 3.0 110 290
../../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 48 200000 120000 1800000 2300000 670   120   273 640 390 8000 27000   273 2000 1000 29000 73000   273 9500 9000 230000 72000   273 1900 1200 26000 72000  
    correct results 36 44 5200 3200 55000 130000 100   0   26 540 330 6400 19000   28 960 520 12000 29000   0 5800 5400 140000 48000   8 650 400 6700 16000  
        correct true 8 16 950 600 10000 23000 21   0   26 0 0 0 0   0 0 0 0 0   0 5800 5400 140000 48000   8 650 400 6700 16000  
        correct false 28 28 4300 2600 44000 100000 79   0   0 540 330 6400 19000   28 960 520 12000 29000   0 0 0 0 0   0 0 0 0 0  
    correct-unconfimed results 5 4 3200 2200 34000 41000 14   0   1 27 16 260 1900   0 97 53 910 1300   0 3700 3500 89000 20000   0 690 480 9200 28000  
        correct-unconfirmed true 4 4 2500 1700 27000 32000 11   0   1 0 0 0 0   0 0 0 0 0   0 3700 3500 89000 20000   0 690 480 9200 28000  
        correct-unconfirmed false 1 0 690 450 6600 9200 2.8 0   0 27 16 260 1900   0 97 53 910 1300   0 0 0 0 0   0 0 0 0 0  
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (273 tasks, max score: 376) 48
Run set sv-comp17.ReachSafety-Sequentialized