Tool CPAchecker 1.7-svn 27742
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
OS Linux 4.4.0-119-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Run set kInduction-kipdr kInduction-df kInduction-dfkipdr
Options -noout -heap 10000M -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -kInduction-kipdrInvariants -noout -heap 10000M -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -kInduction -setprop cpa.invariants.useMod2Template=true -noout -heap 10000M -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -kInduction-kipdrdfInvariants -setprop cpa.invariants.useMod2Template=true
status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) memUsage host
pathprograms-c-32/Problem02_label13_false-unreach-call_false-termination.c_path_program_32.c true 39.6  20.3  1031741440 apollon026 true 6.68 3.56 291880960 apollon051 true 6.77 3.60 306958336 apollon102
pathprograms-c-32/afnp2014_true-unreach-call_true-termination.c.i_path_program_32.c timeout 906    456    6361026560 apollon019 true 163    82.2  3121586176 apollon088 true 256    128    3804229632 apollon010
pathprograms-c-32/alternating_list_false-unreach-call_false-valid-memcleanup.i_path_program_32.c timeout 904    452    3347910656 apollon151 true 3.92 2.16 262782976 apollon108 true 4.10 2.24 270667776 apollon074
pathprograms-c-32/alternating_list_true-unreach-call_true-valid-memsafety.i_path_program_32.c timeout 903    452    2623053824 apollon033 true 4.07 2.22 256073728 apollon095 true 5.05 2.74 272822272 apollon151
pathprograms-c-32/avg60_true-unreach-call.i_path_program_32.c segmentation fault 5.07 2.76 364560384 apollon094 true 3.36 1.87 253296640 apollon040 true 3.39 1.86 278642688 apollon026
pathprograms-c-32/check_removal_from_set_after_insertion_false-unreach-call.i_path_program_32.c timeout 903    452    5882339328 apollon163 true 4.21 2.26 262004736 apollon001 true 4.15 2.25 267567104 apollon134
pathprograms-c-32/count_by_2_true-unreach-call_true-termination.i_path_program_32.c timeout 908    456    7638335488 apollon096 true 3.73 2.05 261144576 apollon124 true 3.88 2.11 277766144 apollon041
pathprograms-c-32/ddlm2013_true-unreach-call.i_path_program_32.c true 5.14 2.81 294121472 apollon161 timeout 905    456    7005999104 apollon092 timeout 906    456    7085453312 apollon121
pathprograms-c-32/elevator_spec13_productSimulator_true-unreach-call_false-termination.cil.c_path_program_32.c error 114    83.0  9589215232 apollon122 true 114    86.8  10899202048 apollon007 true 109    83.4  10887581696 apollon042
pathprograms-c-32/functions_true-unreach-call1_true-termination.i_path_program_32.c true 4.21 2.30 288129024 apollon085 timeout 905    456    6448603136 apollon128 timeout 904    455    6382923776 apollon144
pathprograms-c-32/heapsort_true-unreach-call_true-termination.i_path_program_32.c timeout 902    452    2346151936 apollon091 true 3.90 2.15 255700992 apollon103 true 3.57 1.94 263884800 apollon075
pathprograms-c-32/jain_7_true-unreach-call_true-no-overflow_false-termination.i_path_program_32.c timeout 905    454    6629949440 apollon125 true 3.93 2.15 261492736 apollon012 true 4.02 2.17 280514560 apollon159
pathprograms-c-32/max40_true-unreach-call.i_path_program_32.c segmentation fault 6.90 3.66 389382144 apollon110 true 3.45 1.89 254869504 apollon097 true 3.50 1.92 265183232 apollon128
pathprograms-c-32/max60_true-unreach-call.i_path_program_32.c segmentation fault 10.5  5.51 444112896 apollon069 true 3.62 2.00 252915712 apollon063 true 3.43 1.90 267456512 apollon002
pathprograms-c-32/multivar_true-unreach-call1_true-termination.i_path_program_32.c true 4.39 2.41 287322112 apollon166 true 3.47 1.94 252837888 apollon125 true 3.46 1.92 249778176 apollon116
pathprograms-c-32/n.c24_false-unreach-call.i_path_program_32.c timeout 901    452    1934016512 apollon100 true 6.21 3.30 296050688 apollon090 true 5.73 3.04 293339136 apollon048
pathprograms-c-32/nest-if3_true-unreach-call_true-termination.i_path_program_32.c timeout 903    453    2733142016 apollon106 true 3.29 1.81 252997632 apollon073 true 3.99 2.22 261775360 apollon126
pathprograms-c-32/overflow_true-unreach-call1.i_path_program_32.c true 4.93 2.64 293130240 apollon132 true 3.68 2.04 260272128 apollon154 true 4.08 2.24 278863872 apollon139
pathprograms-c-32/phases_true-unreach-call1.i_path_program_32.c true 6.23 3.33 308273152 apollon034 timeout 902    453    2901405696 apollon042 timeout 902    452    2970808320 apollon042
pathprograms-c-32/psyco_abp_1_false-unreach-call_false-termination_true-no-overflow.c_path_program_32.c timeout 905    454    5828423680 apollon156 true 63.7  32.1  1722023936 apollon134 true 63.3  32.0  1637621760 apollon154
pathprograms-c-32/psyco_accelerometer_1_true-unreach-call_false-termination.c_path_program_32.c timeout 909    463    10186403840 apollon126 true 89.5  51.1  2447646720 apollon030 true 85.7  48.5  2338193408 apollon031
pathprograms-c-32/psyco_io_1_true-unreach-call_false-termination.c_path_program_32.c timeout 912    457    9448222720 apollon127 true 5.02 2.70 266813440 apollon041 true 4.68 2.51 273956864 apollon014
pathprograms-c-32/psyco_security_true-unreach-call_false-termination.c_path_program_32.c timeout 912    456    8809869312 apollon056 true 4.98 2.67 263532544 apollon152 true 5.88 3.14 278491136 apollon036
pathprograms-c-32/s3_srvr.blast.01_true-unreach-call.i.cil.c_path_program_32.c timeout 902    452    2096791552 apollon052 true 20.9  10.7  575569920 apollon157 true 17.6  9.01 598519808 apollon084
pathprograms-c-32/s3_srvr.blast.02_true-unreach-call.i.cil.c_path_program_32.c timeout 902    452    2475773952 apollon019 true 15.9  8.17 594284544 apollon047 true 15.6  8.02 599920640 apollon010
pathprograms-c-32/s3_srvr.blast.06_true-unreach-call.i.cil.c_path_program_32.c timeout 903    452    2666860544 apollon069 true 46.0  23.3  1108525056 apollon040 true 39.3  19.9  1100472320 apollon111
pathprograms-c-32/s3_srvr.blast.07_true-unreach-call.i.cil.c_path_program_32.c timeout 903    452    2334961664 apollon109 true 35.2  17.9  943243264 apollon009 true 37.8  19.2  853352448 apollon168
pathprograms-c-32/s3_srvr.blast.08_true-unreach-call.i.cil.c_path_program_32.c timeout 902    452    2436345856 apollon117 true 19.6  10.0  591945728 apollon165 true 20.7  10.5  612634624 apollon119
pathprograms-c-32/s3_srvr.blast.09_true-unreach-call.i.cil.c_path_program_32.c timeout 903    452    2602872832 apollon166 true 30.6  15.5  1007525888 apollon109 true 32.6  16.6  958951424 apollon086
pathprograms-c-32/s3_srvr.blast.10_true-unreach-call.i.cil.c_path_program_32.c timeout 903    452    2248388608 apollon060 true 17.2  8.84 589332480 apollon036 true 20.6  10.5  580202496 apollon009
pathprograms-c-32/s3_srvr.blast.11_false-unreach-call.i.cil.c_path_program_32.c timeout 903    452    2382032896 apollon025 true 35.5  18.0  1064976384 apollon107 true 32.6  16.5  1053675520 apollon031
pathprograms-c-32/s3_srvr.blast.11_true-unreach-call.i.cil.c_path_program_32.c timeout 902    452    2234327040 apollon056 true 32.3  16.4  961208320 apollon099 true 31.6  16.0  1062760448 apollon024
pathprograms-c-32/s3_srvr.blast.12_true-unreach-call.i.cil.c_path_program_32.c timeout 903    452    2366545920 apollon017 true 34.2  17.3  973438976 apollon014 true 36.5  18.5  1062535168 apollon068
pathprograms-c-32/s3_srvr.blast.13_true-unreach-call.i.cil.c_path_program_32.c timeout 903    452    2427994112 apollon132 true 13.5  6.98 492027904 apollon031 true 14.7  7.57 486912000 apollon145
pathprograms-c-32/s3_srvr.blast.14_true-unreach-call.i.cil.c_path_program_32.c timeout 903    452    2268753920 apollon086 true 39.8  20.1  1027063808 apollon146 true 35.0  17.7  1044172800 apollon095
pathprograms-c-32/s3_srvr.blast.15_true-unreach-call.i.cil.c_path_program_32.c timeout 903    452    2408222720 apollon151 true 19.4  9.95 623304704 apollon010 true 19.2  9.83 641126400 apollon028
pathprograms-c-32/s3_srvr.blast.16_true-unreach-call.i.cil.c_path_program_32.c timeout 903    452    2393825280 apollon006 true 38.7  19.7  1072218112 apollon101 true 37.4  18.9  1110999040 apollon156
pathprograms-c-32/s3_srvr_11_false-unreach-call_false-termination.cil.c_path_program_32.c timeout 904    453    4618698752 apollon134 true 15.6  8.03 644812800 apollon044 true 16.5  8.44 645083136 apollon127
pathprograms-c-32/s3_srvr_12_false-unreach-call_false-termination.cil.c_path_program_32.c true 354    180    3280093184 apollon055 true 23.9  12.2  860917760 apollon001 true 28.9  14.7  1032175616 apollon088
pathprograms-c-32/s3_srvr_13_false-unreach-call_false-termination.cil.c_path_program_32.c timeout 905    453    6045511680 apollon024 true 14.7  7.59 485183488 apollon138 true 16.6  8.60 591671296 apollon042
pathprograms-c-32/s3_srvr_14_false-unreach-call_false-termination.cil.c_path_program_32.c timeout 904    453    4858888192 apollon015 true 13.2  6.84 577269760 apollon067 true 15.3  7.91 585273344 apollon155
pathprograms-c-32/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c_path_program_32.c timeout 902    452    2091249664 apollon114 true 7.66 4.04 445771776 apollon045 true 7.36 3.88 471478272 apollon009
pathprograms-c-32/s3_srvr_1_true-unreach-call_false-termination.cil.c_path_program_32.c timeout 905    453    5180989440 apollon153 true 11.6  6.01 475754496 apollon156 true 10.9  5.65 492961792 apollon118
pathprograms-c-32/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c_path_program_32.c true 16.4  8.49 604737536 apollon028 true 6.63 3.50 374722560 apollon134 true 6.76 3.56 373878784 apollon090
pathprograms-c-32/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c_path_program_32.c timeout 904    452    3890237440 apollon096 true 81.1  40.9  1994059776 apollon080 true 81.4  41.1  1889726464 apollon008
pathprograms-c-32/s3_srvr_2_true-unreach-call_false-termination.cil.c_path_program_32.c timeout 906    453    6716678144 apollon026 true 17.1  8.79 609714176 apollon025 true 19.8  10.1  629055488 apollon113
pathprograms-c-32/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c_path_program_32.c timeout 904    453    4669603840 apollon057 true 72.0  36.3  1961451520 apollon073 true 73.8  37.3  2088488960 apollon066
pathprograms-c-32/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c_path_program_32.c timeout 906    454    5730738176 apollon157 timeout 903    454    5276540928 apollon033 timeout 903    453    5652041728 apollon113
pathprograms-c-32/s3_srvr_3_true-unreach-call_false-termination.cil.c_path_program_32.c timeout 907    454    6015582208 apollon091 true 18.0  9.21 579854336 apollon154 true 18.6  9.52 649863168 apollon087
pathprograms-c-32/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c_path_program_32.c timeout 906    453    4935458816 apollon028 timeout 903    453    5292244992 apollon051 timeout 903    453    5605756928 apollon026
pathprograms-c-32/s3_srvr_4_true-unreach-call_false-termination.cil.c_path_program_32.c timeout 906    453    4820324352 apollon038 true 19.2  9.87 614109184 apollon035 true 19.3  9.89 761257984 apollon044
pathprograms-c-32/s3_srvr_6_true-unreach-call_false-termination.cil.c_path_program_32.c timeout 905    453    4988428288 apollon063 true 25.5  13.0  846622720 apollon119 true 24.2  12.3  884387840 apollon039
pathprograms-c-32/s3_srvr_7_true-unreach-call_false-termination.cil.c_path_program_32.c timeout 906    453    5775269888 apollon134 true 12.8  6.64 583098368 apollon048 true 12.6  6.53 592912384 apollon105
pathprograms-c-32/s3_srvr_8_true-unreach-call_false-termination.cil.c_path_program_32.c timeout 904    453    4939542528 apollon100 true 11.3  5.88 503562240 apollon044 true 12.7  6.56 590610432 apollon026
pathprograms-c-32/sanfoundry_10_true-unreach-call_ground.i_path_program_32.c timeout 906    454    6544453632 apollon168 true 4.04 2.21 260075520 apollon028 true 3.40 1.89 266907648 apollon078
pathprograms-c-32/sep20_true-unreach-call.i_path_program_32.c timeout 902    452    2043543552 apollon057 true 3.32 1.83 253763584 apollon146 true 3.53 1.94 265613312 apollon027
pathprograms-c-32/sep40_true-unreach-call.i_path_program_32.c timeout 903    452    2312052736 apollon130 true 3.44 1.92 253739008 apollon110 true 3.29 1.81 262258688 apollon060
pathprograms-c-32/sep60_true-unreach-call.i_path_program_32.c timeout 903    452    2023763968 apollon076 true 3.31 1.84 251043840 apollon076 true 3.65 1.99 265277440 apollon075
pathprograms-c-32/simple_true-unreach-call1.i_path_program_32.c true 3.93 2.16 284835840 apollon081 true 3.87 2.10 259547136 apollon091 true 3.82 2.12 272146432 apollon033
pathprograms-c-32/simple_true-unreach-call3_true-termination.i_path_program_32.c true 5.56 3.03 299667456 apollon022 true 4.00 2.16 261906432 apollon067 true 4.00 2.16 271675392 apollon023
pathprograms-c-64/205_9a_array_safes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--arcnet--rfc1051.ko-entry_point_true-unreach-call.cil.out.c_path_program_64.c out of java memory 399    212    11713310720 apollon039 true 11.6  5.97 439062528 apollon146 true 11.5  5.95 449523712 apollon092
pathprograms-c-64/205_9a_array_safes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--can--sja1000--sja1000.ko-entry_point_true-unreach-call.cil.out.c_path_program_64.c timeout 901    451    3428847616 apollon060 true 219    110    3665485824 apollon020 true 220    110    3288088576 apollon058
pathprograms-c-64/205_9a_array_safes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wan--lapbether.ko-entry_point_true-unreach-call.cil.out.c_path_program_64.c timeout 945    474    10436206592 apollon160 true 66.0  33.4  1764458496 apollon114 true 59.5  30.1  2023768064 apollon161
pathprograms-c-64/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--arcnet--rfc1201.ko-entry_point_false-unreach-call.cil.out.c_path_program_64.c out of java memory 501    258    11129970688 apollon118 true 17.5  8.93 543223808 apollon165 true 15.3  7.89 562577408 apollon127
pathprograms-c-64/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wan--hdlc_cisco.ko-entry_point_false-unreach-call.cil.out.c_path_program_64.c timeout 903    466    11346259968 apollon043 true 48.2  24.3  1441910784 apollon114 true 49.4  25.0  1435897856 apollon007
pathprograms-c-64/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wan--hdlc_x25.ko-entry_point_true-unreach-call.cil.out.c_path_program_64.c timeout 901    452    9652137984 apollon054 true 22.8  11.6  722124800 apollon012 true 24.3  12.4  725352448 apollon051
pathprograms-c-64/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--usb--serial--sierra.ko-entry_point_true-unreach-call.cil.out.c_path_program_64.c timeout 901    452    3931389952 apollon071 true 48.5  25.4  1932894208 apollon115 true 50.0  26.3  2178670592 apollon070
pathprograms-c-64/linux-3.12-rc1.tar.xz-144_2a-drivers--input--tablet--gtco.ko-entry_point_false-unreach-call.cil.out.c_path_program_64.c timeout 922    471    9007239168 apollon164 true 660    333    4753973248 apollon068 true 666    333    4778192896 apollon048
pathprograms-c-64/linux-3.12-rc1.tar.xz-144_2a-drivers--staging--media--go7007--go7007-loader.ko-entry_point_false-unreach-call.cil.out.c_path_program_64.c timeout 905    453    5673353216 apollon016 true 47.1  23.8  1242243072 apollon168 true 46.7  23.7  1252200448 apollon082
pathprograms-c-64/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-media-rc-imon_true-unreach-call.cil.c_path_program_64.c timeout 902    453    4343922688 apollon048 true 520    261    4315140096 apollon034 true 524    264    4419108864 apollon159
pathprograms-c-64/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-media-usb-usbvision-usbvision_true-unreach-call.cil.c_path_program_64.c timeout 902    486    5211529216 apollon041 true 330    201    5213618176 apollon107 true 351    217    5511749632 apollon149
pathprograms-c-64/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-media-radio-radio-si476x_true-unreach-call.cil.c_path_program_64.c timeout 908    460    12499861504 apollon063 timeout 903    459    9109110784 apollon020 timeout 904    459    9184948224 apollon163
pathprograms-c-64/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-media-rc-imon_true-unreach-call.cil.c_path_program_64.c timeout 901    452    4884369408 apollon056 true 397    200    4146356224 apollon143 true 416    209    4174467072 apollon080
pathprograms-c-64/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-media-usb-dvb-usb-dvb-usb-m920x_true-unreach-call.cil.c_path_program_64.c timeout 901    454    3219918848 apollon098 true 471    239    4556464128 apollon151 true 460    234    4565536768 apollon151
pathprograms-c-64/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-net-netconsole_true-unreach-call.cil.c_path_program_64.c timeout 902    454    2981457920 apollon058 true 440    223    4756541440 apollon114 true 374    189    4745162752 apollon126
pathprograms-c-64/linux-3.14__complex_emg__linux-kernel-locking-mutex__fs-binfmt_misc_true-unreach-call.cil.c_path_program_64.c timeout 901    452    7734243328 apollon070 true 147    73.8  3562004480 apollon107 true 130    65.2  3720781824 apollon115
pathprograms-c-64/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-media-platform-sh_vou_true-unreach-call.cil.c_path_program_64.c timeout 901    453    7356334080 apollon104 timeout 902    453    6121811968 apollon117 timeout 901    452    6092279808 apollon133
pathprograms-c-64/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-media-platform-soc_camera-sh_mobile_ceu_camera_true-unreach-call.cil.c_path_program_64.c timeout 901    454    7109554176 apollon121 timeout 901    453    5962489856 apollon040 timeout 901    454    5894193152 apollon043
pathprograms-c-64/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-media-usb-em28xx-em28xx-v4l_true-unreach-call.cil.c_path_program_64.c timeout 901    453    9158193152 apollon092 true 702    353    5846466560 apollon036 true 606    305    5864935424 apollon062
pathprograms-c-64/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-ethernet-dnet_true-unreach-call.cil.c_path_program_64.c out of java memory 674    348    10968940544 apollon059 out of java memory 504    258    10863185920 apollon094 out of java memory 525    270    10976923648 apollon127
pathprograms-c-64/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-ethernet-smsc-epic100_true-unreach-call.cil.c_path_program_64.c timeout 910    459    8344842240 apollon033 true 849    428    6346047488 apollon041 true 843    425    6349791232 apollon047
pathprograms-c-64/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-hippi-rrunner_true-unreach-call.cil.c_path_program_64.c timeout 901    456    6077444096 apollon034 timeout 901    457    5562654720 apollon104 timeout 902    457    5765742592 apollon160
pathprograms-c-64/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-tun_true-unreach-call.cil.c_path_program_64.c timeout 901    456    7750000640 apollon168 true 411    211    5309947904 apollon030 true 360    184    5327814656 apollon068
pathprograms-c-64/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-wan-farsync_true-unreach-call.cil.c_path_program_64.c timeout 901    452    4386037760 apollon140 true 342    173    4248526848 apollon168 true 369    186    4246097920 apollon092
pathprograms-c-64/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-wireless-cw1200-cw1200_wlan_spi_true-unreach-call.cil.c_path_program_64.c timeout 902    452    3102109696 apollon120 true 360    181    3896655872 apollon020 true 340    171    3910922240 apollon032
pathprograms-c-64/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-wireless-hostap-hostap_true-unreach-call.cil.c_path_program_64.c error 110    81.0  10951966720 apollon039 timeout (true) 901    695    10945966080 apollon097 true 870    670    10945675264 apollon004
pathprograms-c-64/linux-3.14__linux-kernel-locking-spinlock__drivers-net-ethernet-amd-pcnet32_true-unreach-call.cil.c_path_program_64.c error 445    419    9235984384 apollon016 true 547    506    9259012096 apollon147 true 577    534    9219936256 apollon168
pathprograms-c-64/linux-3.14__linux-usb-dev__drivers-net-wireless-rtlwifi-rtl8723ae-rtl8723ae_true-unreach-call.cil.c_path_program_64.c timeout 902    452    4970536960 apollon104 true 11.5  5.93 420061184 apollon112 true 12.6  6.51 430530560 apollon166
pathprograms-c-64/linux-4.0-rc1---drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko_true-unreach-call.cil.c_path_program_64.c error 131    99.0  10943746048 apollon037 true 149    109    10947133440 apollon087 true 137    102    10744999936 apollon161
pathprograms-c-64/linux-4.0-rc1---drivers--misc--sgi-gru--gru.ko_false-unreach-call.cil.c_path_program_64.c error 144    115    10805530624 apollon122 true 349    314    10886987776 apollon040 true 302    263    10801004544 apollon079
pathprograms-c-64/linux-4.0-rc1---drivers--net--can--janz-ican3.ko_false-unreach-call.cil.c_path_program_64.c timeout 918    460    4310224896 apollon023 timeout 906    456    4281987072 apollon085 timeout 901    452    4304744448 apollon128
pathprograms-c-64/linux-4.0-rc1---drivers--net--ethernet--amd--amd8111e.ko_true-unreach-call.cil.c_path_program_64.c timeout 902    484    5576708096 apollon080 true 646    369    6861602816 apollon086 true 618    344    6265655296 apollon136
pathprograms-c-64/linux-4.0-rc1---drivers--net--ethernet--qlogic--netxen--netxen_nic.ko_false-unreach-call.cil.c_path_program_64.c timeout 901    452    4238970880 apollon087 true 367    185    4082540544 apollon095 true 348    175    4108918784 apollon042
pathprograms-c-64/linux-4.0-rc1---drivers--net--ppp--ppp_generic.ko_false-unreach-call.cil.c_path_program_64.c timeout 1000    547    5801435136 apollon057 true 103    64.1  2754146304 apollon011 true 114    74.8  2849628160 apollon127
pathprograms-c-64/linux-4.0-rc1---drivers--net--wireless--rtlwifi--rtl8192de--rtl8192de.ko_false-unreach-call.cil.c_path_program_64.c timeout 902    452    4936187904 apollon060 true 11.0  5.70 439767040 apollon064 true 11.9  6.15 639512576 apollon023
pathprograms-c-64/linux-4.0-rc1---drivers--staging--ozwpan--ozwpan.ko_false-unreach-call.cil.c_path_program_64.c timeout 901    452    4783140864 apollon014 true 32.9  17.3  1287569408 apollon078 true 25.5  13.4  1285009408 apollon028
pathprograms-c-64/linux-4.0-rc1---net--netfilter--nfnetlink_log.ko_false-unreach-call.cil.c_path_program_64.c timeout 901    452    1661980672 apollon027 true 18.6  9.48 637194240 apollon087 true 19.2  9.77 649338880 apollon161
pathprograms-c-64/linux-4.2-rc1.tar.xz-08_1a-drivers--atm--atmtcp.ko-entry_point_false-unreach-call.cil.out.c_path_program_64.c timeout 901    452    2965782528 apollon155 true 34.2  17.3  1175470080 apollon025 true 37.6  19.0  1187393536 apollon049
pathprograms-c-64/linux-4.2-rc1.tar.xz-08_1a-drivers--iio--accel--kxcjk-1013.ko-entry_point_false-unreach-call.cil.out.c_path_program_64.c timeout 901    452    8532865024 apollon050 timeout 901    452    6770331648 apollon042 timeout 901    452    6749196288 apollon133
pathprograms-c-64/linux-4.2-rc1.tar.xz-08_1a-drivers--iio--imu--inv_mpu6050--inv-mpu6050.ko-entry_point_false-unreach-call.cil.out.c_path_program_64.c timeout 901    453    7213903872 apollon063 timeout 902    453    6334582784 apollon119 timeout 901    453    5721944064 apollon126
pathprograms-c-64/linux-4.2-rc1.tar.xz-08_1a-drivers--watchdog--it87_wdt.ko-entry_point_false-unreach-call.cil.out.c_path_program_64.c timeout 902    452    7131668480 apollon064 timeout 902    452    6345019392 apollon007 timeout 902    452    6478422016 apollon114
pathprograms-c-64/linux-4.2-rc1.tar.xz-08_1a-drivers--watchdog--pc87413_wdt.ko-entry_point_false-unreach-call.cil.out.c_path_program_64.c timeout 901    452    6491746304 apollon159 true 230    116    4154122240 apollon090 true 272    136    4318261248 apollon104
pathprograms-c-64/linux-4.2-rc1.tar.xz-43_2a-drivers--net--ethernet--natsemi--ns83820.ko-entry_point_true-unreach-call.cil.out.c_path_program_64.c timeout 903    470    5221113856 apollon127 true 575    306    5142761472 apollon129 true 569    304    5165428736 apollon054
pathprograms-c-64/linux-stable-a450319-1-144_1a-drivers--input--tablet--acecad.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c_path_program_64.c out of java memory 411    218    11631124480 apollon119 true 118    60.1  7683231744 apollon052 true 114    58.3  7920816128 apollon125
pathprograms-c-64/linux-stable-a450319-1-144_2a-drivers--input--tablet--acecad.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c_path_program_64.c timeout 904    453    4358254592 apollon126 true 370    186    4544692224 apollon136 true 349    175    4605059072 apollon155
pathprograms-c-64/linux-stable-c0cc359-1-104_1a-drivers--usb--serial--qcserial.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c_path_program_64.c timeout 904    453    4350214144 apollon065 true 106    53.2  2094116864 apollon041 true 88.1  44.3  2258382848 apollon128
pathprograms-c-64/linux-stable-c0cc359-104_1a-drivers--usb--serial--qcserial.ko-entry_point_false-unreach-call.cil.out.c_path_program_64.c timeout 904    453    4146036736 apollon031 true 87.3  44.1  2220146688 apollon128 true 117    59.1  2704846848 apollon112
pathprograms-c-64/m0_true-unreach-call_drivers-hwmon-s3c-hwmon-ko--130_7a--af3071a.c_path_program_64.c timeout 906    455    1922007040 apollon011 true 34.9  17.7  845230080 apollon109 true 30.3  15.4  822382592 apollon154
pathprograms-c-64/m0_true-unreach-call_drivers-net-slip-ko--108_1a--1b0b0ac.c_path_program_64.c timeout 905    453    9900322816 apollon011 true 99.4  50.0  2665009152 apollon156 true 92.3  46.4  2389004288 apollon014
pathprograms-c-64/m0_true-unreach-call_drivers-staging-comedi-drivers-ni_6527-ko--107_1a--adbbc36.c_path_program_64.c timeout 903    453    2714836992 apollon041 true 8.39 4.40 403058688 apollon078 true 8.45 4.43 425443328 apollon140
pathprograms-c-64/m0_true-unreach-call_drivers-staging-comedi-drivers-ni_65xx-ko--107_1a--adbbc36.c_path_program_64.c timeout 903    453    2563227648 apollon108 true 18.0  9.24 534634496 apollon078 true 17.3  8.87 596676608 apollon133
pathprograms-c-64/m0_true-unreach-call_drivers-staging-comedi-drivers-ni_670x-ko--107_1a--adbbc36.c_path_program_64.c timeout 902    453    2819604480 apollon087 true 7.35 3.87 395689984 apollon021 true 8.95 4.67 304447488 apollon157
pathprograms-c-64/m0_true-unreach-call_drivers-staging-comedi-drivers-ni_pcidio-ko--107_1a--adbbc36.c_path_program_64.c timeout 901    452    1667178496 apollon036 true 40.8  20.7  1079316480 apollon129 true 45.7  23.1  1023102976 apollon083
pathprograms-c-64/m0_true-unreach-call_sound-core-oss-snd-mixer-oss-ko--143_7a--506218e.c_path_program_64.c timeout 901    451    4602949632 apollon109 true 33.8  17.1  858128384 apollon153 true 31.3  15.9  891645952 apollon142
status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) memUsage host
total 114 86700 44000 560969605120 114 24500 13200 296413474816 114 24300 13000 299653353472
local summary 21300 21300 21300
    correct results 10 445 227 6972051456 99 11400 6290 197191540736 100 12100 6860 210787975168
        correct true 10 445 227 6972051456 99 11400 6290 197191540736 100 12100 6860 210787975168
        correct false 0 0 0
    incorrect results 0 0 0
        incorrect true 0 0 0
        incorrect false 0 0 0
score (114 tasks, max score: 198) 18 172 174
Run set kInduction-kipdr kInduction-df kInduction-dfkipdr