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