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