Tool CBMC 5.8 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741 CPA-witness2test 1.6.1-svn 26773 CProver witness2test 0.1 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2 timelimit: 900 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB]
Date of execution 2017-11-30 11:20:26 CET 2017-12-01 07:26:01 CET 2017-12-01 07:56:00 CET 2017-12-01 08:08:00 CET 2017-12-01 08:15:34 CET 2017-12-01 04:22:29 CET 2017-12-01 07:31:28 CET
Run set cbmc.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-cbmc.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-cbmc.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-cbmc.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-cbmc.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-cbmc.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-cbmc.sv-comp18-correctness-witness.ReachSafety-Sequentialized
Options --graphml-witness witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cbmc.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc -setprop cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc -setprop cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc -setprop cpa.smg.deallocationFunctions=free,kfree,kfree_const --full-output --validate ../../results-verified/cbmc.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cbmc.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true --graphml-witness ../../results-verified/cbmc.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cbmc.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/cbmc.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy
systemc/kundu1_false-unreach-call_false-termination.cil.c 1 3.4  74 38   1 7.1  300 1 18     660   0 5.4  230 1 .71   20    - -
systemc/kundu2_false-unreach-call_false-termination.cil.c 1 .48 35 4.9 1 5.0  280 1 15     670   0 5.6  230 1 .69   19    - -
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c 1 .33 34 3.0 1 4.3  260 -32 5.2   250   0 4.0  220 1 .79   19    - -
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c 1 .34 34 3.2 1 4.2  270 -32 6.4   260   0 5.6  220 1 .67   19    - -
systemc/pipeline_false-unreach-call_false-termination.cil.c 1 16    390 200   1 9.4  400 0 97     4600   0 21    1400 1 .97   26    - -
systemc/token_ring.01_false-unreach-call_false-termination.cil.c 1 2.0  61 24   1 3.0  270 1 18     620   0 4.2  220 1 .65   19    - -
systemc/token_ring.02_false-unreach-call_false-termination.cil.c 1 3.2  95 41   1 4.7  280 1 31     810   0 5.7  230 1 .67   19    - -
systemc/token_ring.03_false-unreach-call_false-termination.cil.c 1 5.0  140 59   1 5.4  280 1 33     1100   0 6.3  270 1 .70   20    - -
systemc/token_ring.04_false-unreach-call_false-termination.cil.c 1 7.4  180 100   1 6.6  290 1 53     1800   0 6.2  310 1 .74   20    - -
systemc/token_ring.05_false-unreach-call_false-termination.cil.c 1 11    250 130   1 7.1  300 1 76     2500   0 9.2  320 1 .80   21    - -
systemc/token_ring.06_false-unreach-call_false-termination.cil.c 1 16    310 210   1 8.0  290 0 97     3200   0 8.1  350 1 .89   21    - -
systemc/token_ring.07_false-unreach-call_false-termination.cil.c 1 22    380 220   1 6.9  300 0 97     4500   0 8.9  460 1 .77   22    - -
systemc/token_ring.08_false-unreach-call_false-termination.cil.c 1 31    470 330   1 8.2  300 0 98     4500   0 9.5  380 1 1.0    22    - -
systemc/token_ring.09_false-unreach-call_false-termination.cil.c 1 44    550 430   1 9.0  310 0 97     4600   0 8.4  540 1 .98   23    - -
systemc/token_ring.10_false-unreach-call_false-termination.cil.c 1 58    670 450   1 8.3  320 0 96     4500   0 13    530 1 .86   23    - -
systemc/token_ring.11_false-unreach-call_false-termination.cil.c 1 77    770 640   1 8.9  360 0 97     4600   0 12    600 1 .89   24    - -
systemc/token_ring.12_false-unreach-call_false-termination.cil.c 1 99    870 670   1 12    410 0 97     4500   0 15    790 1 .96   25    - -
systemc/token_ring.13_false-unreach-call_false-termination.cil.c 1 130    1000 800   1 11    440 0 96     4500   0 15    790 1 .95   26    - -
systemc/token_ring.14_false-unreach-call_false-termination.cil.c 1 98    870 830   1 11    410 0 97     4500   0 16    830 1 1.1    26    - -
systemc/token_ring.15_false-unreach-call_false-termination.cil.c 1 120    1000 1000   1 9.9  430 0 97     4500   0 17    820 1 .99   26    - -
systemc/toy1_false-unreach-call_false-termination.cil.c 1 3.2  65 42   1 7.5  300 1 36     820   0 6.7  270 1 .68   20    - -
systemc/toy2_false-unreach-call_false-termination.cil.c 1 3.2  63 38   1 6.6  290 1 48     1700   0 10    490 1 .96   22    - -
systemc/transmitter.01_false-unreach-call_false-termination.cil.c 1 .29 34 2.4 1 4.8  270 1 14     530   0 3.5  210 1 .84   19    - -
systemc/transmitter.02_false-unreach-call_false-termination.cil.c 1 .34 34 3.1 1 4.5  270 1 24     590   0 4.0  220 1 .71   19    - -
systemc/transmitter.03_false-unreach-call_false-termination.cil.c 1 .39 35 4.1 1 4.8  280 1 30     880   0 5.0  220 1 .78   19    - -
systemc/transmitter.04_false-unreach-call_false-termination.cil.c 1 .48 38 4.8 1 5.4  280 1 39     1300   0 5.1  220 1 .90   19    - -
systemc/transmitter.05_false-unreach-call_false-termination.cil.c 1 .55 40 6.5 1 6.2  290 1 64     1700   0 6.3  310 1 .71   20    - -
systemc/transmitter.06_false-unreach-call_false-termination.cil.c 1 .64 43 8.9 1 6.7  290 1 82     2500   0 6.7  320 1 .94   21    - -
systemc/transmitter.07_false-unreach-call_false-termination.cil.c 1 .77 45 10   1 6.7  290 0 97     3900   0 8.5  330 1 .95   21    - -
systemc/transmitter.08_false-unreach-call_false-termination.cil.c 1 .93 50 11   1 7.8  310 0 97     4100   0 9.1  430 1 .82   21    - -
systemc/transmitter.09_false-unreach-call_false-termination.cil.c 1 1.1  55 13   1 8.0  310 0 97     4500   0 11    480 1 .87   22    - -
systemc/transmitter.10_false-unreach-call_false-termination.cil.c 1 1.3  59 18   1 8.2  320 0 98     4600   0 14    500 1 .84   23    - -
systemc/transmitter.11_false-unreach-call_false-termination.cil.c 1 1.5  66 18   1 11    360 0 96     4500   0 15    530 1 .88   23    - -
systemc/transmitter.12_false-unreach-call_false-termination.cil.c 1 1.7  71 20   1 9.6  380 0 97     4500   0 11    600 1 1.1    25    - -
systemc/transmitter.13_false-unreach-call_false-termination.cil.c 1 2.0  81 21   1 9.1  400 0 97     4500   0 14    750 1 1.2    25    - -
systemc/transmitter.15_false-unreach-call_false-termination.cil.c 1 1.6  65 23   1 6.5  270 -32 8.3   340   0 3.8  280 1 .77   20    - -
systemc/transmitter.16_false-unreach-call_false-termination.cil.c 1 1.8  69 20   1 6.6  300 -32 9.0   380   0 9.8  400 1 .91   20    - -
systemc/bist_cell_true-unreach-call_false-termination.cil.c 0 870    1800 5300   - - - - 0 .56 42 0 .020 4.9
systemc/kundu_true-unreach-call_false-termination.cil.c 0 870    680 5500   - - - - 0 .51 41 0 .018 4.8
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c 0 870    2100 6000   - - - - 0 .62 43 0 .019 4.9
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c 0 870    610 5100   - - - - 0 .72 44 0 .018 4.8
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c 0 870    630 4900   - - - - 0 .67 41 0 .021 4.8
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c 0 870    640 5700   - - - - 0 .54 43 0 .019 4.8
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c 0 870    670 6400   - - - - 0 .55 43 0 .018 5.0
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c 0 870    920 4300   - - - - 0 .40 44 0 .020 5.0
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c 0 870    730 7700   - - - - 0 .53 43 0 .047 4.8
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c 0 870    690 4600   - - - - 0 .54 44 0 .024 4.9
systemc/pipeline_true-unreach-call_false-termination.cil.c 0 870    440 3400   - - - - 0 .65 41 0 .019 4.8
systemc/token_ring.01_true-unreach-call_false-termination.cil.c 0 870    780 4500   - - - - 0 .62 41 0 .020 4.9
systemc/token_ring.02_true-unreach-call_false-termination.cil.c 0 870    820 4000   - - - - 0 .54 41 0 .018 4.8
systemc/token_ring.03_true-unreach-call_false-termination.cil.c 0 870    1200 6800   - - - - 0 .69 41 0 .022 4.9
systemc/token_ring.04_true-unreach-call_false-termination.cil.c 0 870    810 4400   - - - - 0 .59 41 0 .036 4.8
systemc/token_ring.05_true-unreach-call_false-termination.cil.c 0 870    1100 6000   - - - - 0 .59 41 0 .020 4.8
systemc/token_ring.06_true-unreach-call_false-termination.cil.c 0 870    1400 6900   - - - - 0 .71 44 0 .019 4.9
systemc/token_ring.07_true-unreach-call_false-termination.cil.c 0 870    1800 4200   - - - - 0 .54 46 0 .019 4.8
systemc/token_ring.08_true-unreach-call_false-termination.cil.c 0 870    500 3600   - - - - 0 .54 43 0 .019 5.0
systemc/token_ring.09_true-unreach-call_false-termination.cil.c 0 870    570 4100   - - - - 0 .68 44 0 .019 4.9
systemc/token_ring.10_true-unreach-call_false-termination.cil.c 0 870    690 4000   - - - - 0 .70 45 0 .048 5.0
systemc/token_ring.11_true-unreach-call_false-termination.cil.c 0 870    790 4100   - - - - 0 .54 44 0 .020 4.9
systemc/token_ring.12_true-unreach-call_false-termination.cil.c 0 870    920 5000   - - - - 0 .65 43 0 .018 4.9
systemc/token_ring.13_true-unreach-call_false-termination.cil.c 0 870    1100 4800   - - - - 0 .52 42 0 .018 4.9
systemc/toy_true-unreach-call_false-termination.cil.c 0 870    700 9200   - - - - 0 .40 44 0 .019 4.8
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c 1 .44 36 4.4 -32 6.6  270 1 14     550   0 4.9  270 1 .77   19    - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 .43 35 6.1 -32 5.4  260 1 14     530   0 5.1  270 1 .81   19    - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c 1 .49 35 4.4 -32 11    300 1 23     740   0 5.8  280 1 .80   20    - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c 1 .48 35 5.2 -32 9.3  410 1 18     720   0 7.6  280 1 .92   20    - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c 1 .50 36 4.9 -32 9.0  410 1 20     720   0 6.6  280 1 .90   20    - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c 1 .47 37 5.8 -32 11    410 1 19     740   0 6.4  280 1 .86   20    - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c 1 1.8  43 21   -32 9.5  430 1 77     3900   0 8.3  410 1 1.1    23    - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c 1 1.8  44 24   -32 6.9  300 1 78     3700   0 8.5  410 1 1.1    23    - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 1 1.3  42 15   -32 8.0  330 1 30     1000   0 8.0  350 -32 .86   20    - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 1.4  42 14   -32 8.5  280 1 22     970   0 10    360 -32 1.0    20    - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 1 1.5  41 18   -32 8.6  330 1 80     3900   0 14    440 -32 .86   23    - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 1.5  42 19   -32 7.2  290 1 54     3100   0 12    430 -32 1.1    23    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 1 1.1  41 13   -32 4.9  270 0 97     830   0 5.6  280 1 .96   20    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 1.1  39 12   -32 5.2  270 1 30     760   0 7.2  290 1 .78   20    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 1 .35 35 3.6 -32 5.9  260 1 63     820   0 5.0  270 1 .89   20    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 .39 35 3.6 -32 5.6  260 1 34     790   0 6.4  270 1 .93   19    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c 1 1.1  39 11   -32 5.0  270 0 97     810   0 6.2  280 1 .77   20    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c 1 1.0  39 11   -32 5.6  270 0 96     1600   0 7.2  280 1 .85   20    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c 1 1.0  40 14   -32 5.5  270 0 94     1100   0 5.1  280 1 .86   20    - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c 1 1.1  38 12   -32 5.4  270 1 58     1300   0 5.9  280 1 .82   20    - -
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 870    1300 4800   0 .54 44 0 .021 4.9 0 .82 47 0 .0012 .26 - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 1 1.7  45 21   -32 6.0  280 0 96     2200   0 8.0  370 1 1.1    22    - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 1.8  46 24   -32 6.4  280 0 96     2700   0 8.4  360 1 1.0    22    - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 1 1.8  46 22   -32 7.9  290 -32 9.6   390   0 7.4  290 1 1.0    22    - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 1.8  47 22   -32 8.1  280 -32 8.4   380   0 8.0  290 1 1.0    22    - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c 1 1.8  46 20   -32 6.3  290 -32 8.6   380   0 8.2  360 1 1.1    22    - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c 1 1.8  46 21   -32 8.8  280 -32 7.8   370   0 7.6  310 1 1.0    23    - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c 1 1.9  46 21   -32 6.8  290 -32 9.9   400   0 9.3  340 1 1.0    22    - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c 1 1.8  49 21   -32 6.5  280 -32 9.7   390   0 9.9  330 1 1.2    22    - -
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 870    830 6900   0 .64 42 0 .018 4.8 0 .92 50 0 .0012 .29 - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 1 9.7  80 120   -32 8.4  320 0 97     4600   0 19    660 1 1.7    27    - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 10    89 130   -32 8.6  320 0 97     4500   0 16    680 1 1.9    27    - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 1 5.0  61 64   -32 8.4  330 -32 13     470   0 16    510 1 1.6    26    - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 5.1  61 61   -32 7.6  320 -32 13     490   0 10    510 1 2.0    26    - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c 1 10    80 130   -32 8.3  340 -32 12     460   0 15    650 1 1.9    26    - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c 1 11    91 130   -32 8.0  340 -32 13     460   0 16    620 1 1.7    27    - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c 1 10    80 140   -32 8.2  340 -32 14     460   0 17    820 1 1.6    26    - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c 1 12    92 160   -32 9.1  360 -32 12     460   0 15    750 1 1.6    26    - -
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 870    200 9700   0 .55 41 0 .019 4.9 0 .86 49 0 .0014 .29 - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 1 .85 37 8.5 -32 4.3  270 1 8.8   350   0 5.0  230 1 .72   20    - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 .85 36 10   -32 4.6  280 1 15     550   0 5.6  270 1 .89   20    - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 1 .86 34 8.5 -32 3.2  280 1 8.7   340   0 6.4  270 1 .70   20    - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 .89 35 10   -32 5.2  270 1 24     650   0 4.4  220 1 .76   20    - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 1 1.7  38 23   -32 6.7  270 1 11     480   0 9.8  280 1 .84   21    - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 1.9  41 24   -32 6.0  270 0 96     2000   0 5.1  280 1 .79   21    - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 1 1.7  38 23   -32 6.1  260 1 26     900   0 5.3  280 1 .77   21    - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 1.9  40 23   -32 5.1  270 1 27     770   0 5.2  280 1 .75   21    - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 1 2.1  41 20   -32 5.6  270 1 14     560   0 6.0  290 1 .94   22    - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 2.1  42 25   -32 5.7  280 0 97     3000   0 6.0  290 1 .80   22    - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 1 2.1  41 23   -32 5.4  280 1 13     570   0 6.0  280 1 .80   22    - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 2.1  42 23   -32 7.3  280 1 23     840   0 6.1  280 1 .86   22    - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c 1 2.3  48 28   -32 7.1  320 0 97     2900   0 6.4  300 1 1.1    23    - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 2.5  47 27   -32 6.5  310 0 96     4500   0 7.2  300 1 .88   23    - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c 1 2.4  45 26   -32 7.2  290 1 33     1300   0 7.0  300 1 .87   23    - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 2.3  45 25   -32 6.9  290 1 47     3400   0 6.5  290 1 .85   23    - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 1 .82 37 9.1 -32 4.4  270 1 13     630   0 5.9  230 1 .71   20    - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 .83 36 8.2 -32 4.7  260 1 23     670   0 4.8  230 1 .73   20    - -
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 1 460    2300 4600   -32 28    1600 0 98     4500   0 39    2300 1 4.5    130    - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 1 1.6  37 18   -32 4.8  270 1 29     960   0 5.5  280 1 .73   21    - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 1.7  38 17   -32 6.7  270 1 29     900   0 5.7  270 1 .73   21    - -
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 870    900 8300   0 .52 43 0 .018 4.8 0 .86 50 0 .0013 .28 - -
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 1 1.8  39 20   -32 5.8  280 1 88     3900   0 6.3  290 1 .81   22    - -
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 1.8  42 21   -32 6.7  280 1 21     690   0 5.8  290 1 .82   22    - -
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 870    1100 6100   0 .53 41 0 .019 4.9 0 .84 50 0 .0016 .26 - -
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c 1 2.0  44 18   -32 6.9  290 1 53     3000   0 6.3  290 1 .85   23    - -
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 2.0  44 26   -32 5.5  290 0 97     4500   0 6.4  300 1 .84   23    - -
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 870    990 7900   0 .67 44 0 .020 4.9 0 .89 49 0 .0013 .26 - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c 1 5.0  47 59   -32 6.2  330 0 91     4500   0 7.0  340 1 .91   25    - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 5.1  53 58   -32 7.0  350 1 83     3400   0 7.4  320 1 1.0    25    - -
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 870    560 7000   0