Tool CPAchecker 1.4-svn
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
Host [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23; zeus24]
OS Linux 3.13.0-45-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz with 32 cores, frequency: 2.6 GHz; RAM: 135 GB
Date of execution 15-02-20 21:42
Run set DOMAIN_BEST_SHALLOW DOMAIN_WORST_SHALLOW LONGEST SHORTEST
Options -disable-java-assertions -heap 14000M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=TOP -setprop cpa.value.refiner.prefixPreference=DOMAIN_BEST_SHALLOW -disable-java-assertions -heap 14000M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=TOP -setprop cpa.value.refiner.prefixPreference=DOMAIN_WORST_SHALLOW -disable-java-assertions -heap 14000M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=TOP -setprop cpa.value.refiner.prefixPreference=LONGEST -disable-java-assertions -heap 14000M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=TOP -setprop cpa.value.refiner.prefixPreference=SHORTEST
Propertyfile ${sourcefile_path}/ALL.prp
test/programs/ status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes
ldv-linux-3.0/module_get_put-drivers-block-paride-pt.ko_true-unreach-call.cil.out.i.pp.i true 18.179s 2 14 timeout 902.189s 14 730 true 16.304s 1 7 timeout 911.981s 12 129
ldv-linux-3.0/usb_urb-drivers-usb-serial-whiteheat.ko_true-unreach-call.cil.out.i.pp.i unknown 24.140s 6 11 timeout 901.506s 2 5 timeout 901.487s 1 3 unknown 25.374s 6 17
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dib0700.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 910.269s 5 7 timeout 907.070s 5 7 error (1) 911.044s - - timeout 901.046s 5 7
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--usb--gadget--mv_udc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 38.176s 5 13 timeout 902.986s 6 9 false(reach) 37.904s 5 13 timeout 902.698s 6 9
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--apanel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.654s 1 4 timeout 901.479s 2 6 true 6.964s 1 4 timeout 901.393s 2 6
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--eicon--divadidd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 15.295s 1 8 timeout 902.202s 2 16 true 16.604s 1 8 timeout 959.978s - -
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-digitv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.043s 2 4 timeout 903.168s 4 10 true 11.397s 5 15 timeout 902.069s 3 6
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--marvell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.087s 2 4 timeout 901.409s 1 3 true 6.802s 1 3 timeout 901.613s 1 3
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--staging--comedi--drivers--8255.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.922s 1 3 timeout 901.622s 2 4 true 5.430s 1 3 timeout 901.314s 2 4
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--staging--comedi--drivers--unioxx5.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.664s 1 3 timeout 902.862s 2 4 true 5.296s 1 3 timeout 901.930s 2 4
ldv-commit-tester/m0_false-unreach-call_drivers-scsi-gdth-ko--111_1a--5934df9-1.c timeout 905.113s 10 31 out of memory 471.595s - - out of memory 472.419s - - out of memory 737.264s - -
ldv-commit-tester/m0_true-unreach-call_drivers-media-video-cx88-cx88-blackbird-ko--32_7a--d47b389-1.c false(reach) 28.612s 1 40 timeout 902.335s 1 40 false(reach) 28.123s 1 40 timeout 902.251s 2 52
ldv-commit-tester/m0_true-unreach-call_drivers-media-video-cx88-cx88-blackbird-ko--32_7a--d47b389.c false(reach) 28.849s 1 40 timeout 902.396s 1 40 false(reach) 27.768s 1 40 timeout 901.999s 2 52
ldv-commit-tester/main1_true-unreach-call_sound-oss-sound-ko--32_7a--c4cb1dd-1.c true 59.735s 1 4 timeout 901.647s 2 7 true 53.027s 1 4 timeout 901.608s 2 7
ldv-commit-tester/main1_true-unreach-call_sound-oss-sound-ko--32_7a--c4cb1dd.c true 58.876s 1 4 timeout 901.555s 2 7 true 65.964s 1 4 timeout 901.669s 2 7
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--block--paride--pg.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 12.716s 4 26 timeout 901.338s 7 28 true 12.299s 4 26 timeout 902.331s 6 28
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--block--paride--pt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 20.237s 4 28 timeout 919.202s 15 745 true 19.351s 4 28 timeout 901.047s 14 151
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--hwmon--applesmc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 18.713s 2 45 timeout 902.420s 6 71 true 18.766s 2 45 timeout 902.008s 5 22
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--infiniband--hw--cxgb3--iw_cxgb3.ko-ldv_main6_sequence_infinite_withcheck_stateful.cil.out.c true 29.444s 4 17 timeout 901.628s 1 5 true 29.320s 4 17 timeout 901.508s 1 5
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--infiniband--hw--mlx4--mlx4_ib.ko-ldv_main4_sequence_infinite_withcheck_stateful.cil.out.c true 41.051s 7 12 timeout 959.737s - - true 39.804s 7 12 timeout 929.215s 14 98
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--message--fusion--mptsas.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 29.154s 17 155 timeout 959.726s - - true 26.521s 13 92 timeout 916.422s 15 77
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--message--i2o--i2o_core.ko-ldv_main4_sequence_infinite_withcheck_stateful.cil.out.c unknown 265.783s 16 86 timeout 909.475s 10 57 unknown 265.771s 18 136 timeout 912.628s 10 37
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--mtd--ubi--ubi.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c true 81.511s 11 23 timeout 901.636s 12 27 true 84.756s 11 23 timeout 905.212s 12 28
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--net--arcnet--com90xx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.562s 3 27 timeout 901.687s 4 28 true 10.717s 3 27 timeout 901.604s 7 49
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--net--ethernet--i825xx--znet.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 13.377s 3 12 timeout 901.415s 1 4 true 13.173s 3 12 timeout 901.532s 1 4
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--net--usb--hso.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 16.848s 4 10 timeout 900.932s 256 786 true 17.203s 4 10 timeout 901.817s 251 774
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--parport--parport_pc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 42.177s 3 132 timeout 910.496s 2 88 true 42.269s 3 132 timeout 923.289s 3 131
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--platform--x86--samsung-laptop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 21.473s 7 51 timeout 901.235s 1 6 true 21.206s 5 136 timeout 901.640s 2 11
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--staging--silicom--bpctl_mod.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 89.354s 3 6 timeout 906.348s 1 2 true 96.312s 3 6 timeout 909.385s 1 2
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--staging--speakup--speakup.ko-ldv_main4_sequence_infinite_withcheck_stateful.cil.out.c true 151.331s 11 71 timeout 901.753s 8 44 true 151.621s 6 62 timeout 901.664s 9 45
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--tty--mxser.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 15.849s 3 12 timeout 903.218s 14 548 true 15.551s 3 12 timeout 903.068s 15 575
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--video--aty--radeonfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 47.015s 8 54 timeout 901.241s 1 14 true 49.904s 4 17 timeout 901.339s 2 27
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-kernel--rcutorture.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 53.408s 13 172 timeout 902.219s 6 37 true 24.481s 7 121 timeout 902.471s 7 24
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-lib--rbtree_test.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.926s 1 8 timeout 901.479s 2 14 true 7.690s 1 8 timeout 901.439s 2 14
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--block--paride--pcd.ko-main.cil.out.c true 21.521s 5 43 timeout 903.721s 14 159 true 16.179s 4 33 timeout 902.154s 14 109
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--block--paride--pf.ko-main.cil.out.c true 22.970s 4 36 timeout 902.304s 17 160 true 24.819s 4 36 timeout 903.484s 18 158
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--block--paride--pg.ko-main.cil.out.c true 12.250s 4 28 timeout 902.418s 8 40 true 12.349s 4 28 timeout 901.649s 6 40
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--block--paride--pt.ko-main.cil.out.c true 18.519s 4 20 timeout 903.721s 13 734 true 18.025s 4 20 timeout 928.277s 13 123
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--infiniband--hw-cxgb3--iw_cxgb3.ko-main.cil.out.c true 25.797s 6 30 timeout 901.579s 1 5 true 23.769s 6 30 timeout 901.139s 1 5
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--isdn--hardware--eicon--divadidd.ko-main.cil.out.c true 17.046s 3 24 timeout 901.861s 1 8 true 16.059s 3 24 timeout 901.563s 2 15
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--isdn--mISDN--l1oip.ko-main.cil.out.c true 12.925s 3 18 timeout 901.449s 2 282 true 13.019s 3 18 timeout 901.376s 2 282
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--media--firewire--firedtv.ko-main.cil.out.c true 20.461s 10 33 timeout 902.370s 9 23 timeout 930.122s 7 19 true 41.346s 13 48
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--mfd--sm501.ko-main.cil.out.c true 13.727s 5 9 timeout 901.015s 2 11 true 13.677s 4 8 true 14.070s 5 9
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--staging--silicom--bpctl_mod.ko-main.cil.out.c true 57.034s 3 12 timeout 907.846s 1 4 true 48.602s 3 12 timeout 908.148s 1 4
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--video--aty--radeonfb.ko-main.cil.out.c true 106.395s 9 63 timeout 901.337s 1 16 true 77.260s 5 20 true 43.161s 6 21
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--video--udlfb.ko-main.cil.out.c true 23.159s 8 14 true 20.553s 6 9 timeout 902.211s 5 25 true 22.996s 7 12
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--net--can--usb--ems_usb.ko-entry_point_false-unreach-call.cil.out.c unknown 84.926s 15 34 timeout 901.442s 6 9 unknown 30.742s 13 26 unknown 74.658s 15 32
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--staging--media--go7007--go7007-loader.ko-entry_point_false-unreach-call.cil.out.c false(reach) 13.271s 9 14 timeout 901.056s 6 9 false(reach) 13.033s 9 13 timeout 901.266s 8 15
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--net--arcnet--com90xx.ko-entry_point_true-unreach-call.cil.out.c timeout 901.644s 4 43 timeout 902.062s 4 36 true 14.147s 5 55 timeout 901.977s 7 63
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--ath--ath6kl--ath6kl_usb.ko-entry_point_false-unreach-call.cil.out.c unknown 577.458s 11 26 timeout 947.578s 13 51 unknown 566.327s 12 32 unknown 558.351s 11 26
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--libertas--usb8xxx.ko-entry_point_false-unreach-call.cil.out.c unknown 878.227s 13 26 unknown 881.014s 12 29 timeout 902.108s 15 31 unknown 884.102s 12 29
ldv-linux-3.16-rc1/43_2a_bitvector_linux-3.16-rc1.tar.xz-43_2a-drivers--usb--dwc3--dwc3.ko-entry_point_false-unreach-call.cil.out.c false(reach) 243.206s 28 294 timeout 900.760s 19 157 false(reach) 268.011s 28 280 timeout 901.513s 18 263
ldv-linux-3.16-rc1/205_9a_array_safes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--arcnet--com90xx.ko-entry_point_true-unreach-call.cil.out.c timeout 917.129s 4 43 timeout 901.568s 4 36 true 8.689s 1 11 timeout 901.663s 7 63
ldv-linux-3.16-rc1/43_2a_bitvector_linux-3.16-rc1.tar.xz-43_2a-drivers--atm--he.ko-entry_point_true-unreach-call.cil.out.c true 52.578s 11 309 true 20.651s 5 15 true 21.506s 3 11 timeout 901.625s 6 94
ldv-linux-3.16-rc1/43_2a_bitvector_linux-3.16-rc1.tar.xz-43_2a-drivers--net--xen-netfront.ko-entry_point_true-unreach-call.cil.out.c timeout 901.677s 13 37 unknown 442.560s 9 22 unknown 448.240s 9 40 timeout 901.755s 13 29
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--acpi--processor.ko-entry_point_true-unreach-call.cil.out.c true 18.132s 4 24 timeout 901.325s 6 48 true 14.920s 1 6 timeout 920.279s 21 90
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--ata--sata_sx4.ko-entry_point_true-unreach-call.cil.out.c true 13.285s 2 20 timeout 901.745s 10 56 true 11.118s 1 11 true 717.623s 10 54
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--block--paride--pg.ko-entry_point_true-unreach-call.cil.out.c true 13.611s 2 14 timeout 959.541s - - true 10.973s 1 5 timeout 959.455s - -
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--block--paride--pt.ko-entry_point_true-unreach-call.cil.out.c true 20.616s 2 30 timeout 903.056s 13 891 true 18.797s 1 14 timeout 907.158s 13 235
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--bluetooth--btmrvl_sdio.ko-entry_point_true-unreach-call.cil.out.c true 12.507s 3 12 timeout 901.372s 5 18 true 10.627s 2 10 timeout 901.257s 5 15
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--fmc--fmc-fakedev.ko-entry_point_true-unreach-call.cil.out.c true 6.763s 2 5 timeout 901.589s 4 10 true 5.985s 1 3 timeout 901.793s 4 10
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--gpu--drm--via--via.ko-entry_point_true-unreach-call.cil.out.c true 17.122s 2 10 timeout 901.339s 2 10 true 15.465s 1 3 timeout 901.416s 2 10
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--hid--hid-axff.ko-entry_point_true-unreach-call.cil.out.c true 6.627s 2 6 timeout 901.752s 3 8 true 5.489s 1 4 timeout 901.473s 3 7
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--hwmon--applesmc.ko-entry_point_true-unreach-call.cil.out.c true 17.595s 2 18 timeout 902.095s 7 86 true 13.897s 1 10 timeout 902.356s 6 35
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--input--joystick--analog.ko-entry_point_true-unreach-call.cil.out.c true 8.907s 2 5 timeout 901.214s 2 5 true 7.426s 1 3 timeout 901.519s 2 5
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--isdn--hardware--mISDN--hfcsusb.ko-entry_point_true-unreach-call.cil.out.c true 15.701s 7 34 timeout 909.882s 8 28 true 12.378s 2 9 timeout 959.560s - -
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--isdn--hisax--hfc_usb.ko-entry_point_true-unreach-call.cil.out.c true 12.497s 3 8 timeout 907.388s 12 35 true 35.841s 6 16 true 12.757s 3 8
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--isdn--mISDN--mISDN_dsp.ko-entry_point_true-unreach-call.cil.out.c true 348.016s 20 356 timeout 901.054s 3 24 timeout 958.653s 8 42 timeout 901.949s 11 318
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--media--i2c--cx25840--cx25840.ko-entry_point_true-unreach-call.cil.out.c timeout 901.259s - - true 881.493s - - timeout 901.214s - - timeout 901.275s - -
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--media--usb--cx231xx--cx231xx.ko-entry_point_true-unreach-call.cil.out.c timeout 909.339s 13 101 out of memory 959.832s - - timeout 960.035s - - timeout 910.615s 19 154
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--media--usb--pwc--pwc.ko-entry_point_true-unreach-call.cil.out.c true 23.247s 3 16 timeout 901.565s 3 24 true 19.346s 1 9 timeout 901.504s 9 43
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--mtd--ubi--ubi.ko-entry_point_true-unreach-call.cil.out.c true 542.224s 3 11 timeout 909.588s 22 89 timeout 915.916s 1 3 timeout 914.435s 17 56
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--can--usb--kvaser_usb.ko-entry_point_true-unreach-call.cil.out.c true 12.316s 3 13 timeout 901.654s 10 39 true 10.597s 4 18 timeout 901.624s 6 19
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--ethernet--calxeda--xgmac.ko-entry_point_true-unreach-call.cil.out.c true 25.033s 7 60 timeout 901.541s 1 7 true 16.417s 1 7 timeout 901.754s 12 78
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--ethernet--cisco--enic--enic.ko-entry_point_true-unreach-call.cil.out.c true 48.074s 3 17 timeout 911.177s 23 151 true 42.180s 2 10 true 124.951s 5 22
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--ethernet--mellanox--mlx4--mlx4_en.ko-entry_point_true-unreach-call.cil.out.c true 123.149s 9 45 timeout 959.871s - - true 59.099s 2 11 true 168.183s 14 57
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--ethernet--sun--sungem.ko-entry_point_true-unreach-call.cil.out.c true 68.549s 2 12 timeout 902.024s 1 9 true 39.402s 1 9 timeout 902.257s 2 12
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--fddi--defxx.ko-entry_point_true-unreach-call.cil.out.c true 755.762s 20 312 timeout 901.685s 1 20 true 22.684s 4 133 timeout 901.931s 10 151
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--usb--pegasus.ko-entry_point_true-unreach-call.cil.out.c true 16.481s 3 11 timeout 903.827s 9 30 true 12.074s 2 7 timeout 907.203s 5 14
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--wireless--zd1211rw--zd1211rw.ko-entry_point_true-unreach-call.cil.out.c true 410.641s 9 40 timeout 901.433s 17 80 true 122.932s 2 8 true 422.298s 14 44
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--scsi--dc395x.ko-entry_point_true-unreach-call.cil.out.c true 62.641s 5 45 timeout 901.333s 2 25 true 21.514s 1 13 timeout 904.195s 11 2350
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--scsi--qla2xxx--tcm_qla2xxx.ko-entry_point_true-unreach-call.cil.out.c true 25.285s 4 21 timeout 901.604s 6 29 true 18.951s 1 7 timeout 901.369s 4 21
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--scsi--vmw_pvscsi.ko-entry_point_true-unreach-call.cil.out.c true 21.143s 2 50 timeout 901.919s 9 127 true 16.550s 1 26 timeout 902.723s 9 106
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--staging--lustre--lustre--obdclass--llog_test.ko-entry_point_true-unreach-call.cil.out.c true 20.433s 2 80 timeout 901.269s 2 81 true 17.146s 1 41 timeout 901.327s 7 264
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--staging--rtl8723au--r8723au.ko-entry_point_true-unreach-call.cil.out.c timeout 902.097s 1 17 error (1) 915.852s - - timeout 901.911s 1 17 timeout 901.987s 1 17
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--target--sbp--sbp_target.ko-entry_point_true-unreach-call.cil.out.c true 18.659s 5 18 timeout 901.300s 4 14 true 15.512s 1 4 true 24.369s 6 19
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--tty--isicom.ko-entry_point_true-unreach-call.cil.out.c true 28.390s 6 40 timeout 901.068s 8 30 timeout 901.329s 4 27 timeout 901.521s 8 36
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--tty--rocket.ko-entry_point_true-unreach-call.cil.out.c true 23.029s 3 10 timeout 902.180s 7 40 true 18.834s 1 3 timeout 902.477s 9 41
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--usb--class--cdc-acm.ko-entry_point_true-unreach-call.cil.out.c true 88.926s 18 109 timeout 901.648s 15 59 true 13.943s 4 18 timeout 901.841s 12 44
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--usb--serial--sierra.ko-entry_point_true-unreach-call.cil.out.c true 15.904s 8 19 timeout 901.473s 6 17 true 13.258s 6 21 timeout 901.533s 5 15
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--video--fbdev--aty--radeonfb.ko-entry_point_true-unreach-call.cil.out.c true 97.813s 6 62 timeout 901.868s 1 16 true 45.652s 1 16 timeout 901.287s 4 46
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-kernel--locking--locktorture.ko-entry_point_true-unreach-call.cil.out.c true 14.427s 11 46 timeout 901.494s 2 3 timeout 901.489s 2 5 timeout 901.525s 2 3
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-kernel--rcu--rcutorture.ko-entry_point_true-unreach-call.cil.out.c true 18.121s 2 5 timeout 901.496s 3 6 true 15.989s 1 3 timeout 901.546s 3 6
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-net--sched--sch_atm.ko-entry_point_true-unreach-call.cil.out.c true 14.061s 2 8 timeout 902.320s 1 5 true 12.250s 1 5 timeout 902.328s 4 14
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-net--sched--sch_cbq.ko-entry_point_true-unreach-call.cil.out.c true 19.990s 2 6 timeout 901.644s 1 4 true 14.563s 1 4 timeout 901.687s 2 6
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-sound--drivers--snd-mts64.ko-entry_point_true-unreach-call.cil.out.c true 29.160s 2 14 timeout 901.437s 1 7 true 19.865s 1 7 timeout 901.338s 4 25
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-sound--pci--cs46xx--snd-cs46xx.ko-entry_point_true-unreach-call.cil.out.c timeout 917.762s 11 98 timeout 908.214s 19 89 true 88.799s 1 11 timeout 910.682s 16 124
ldv-validator-v0.6/linux-stable-8a9f335-1-32_7a-drivers--net--wireless--ath--carl9170--carl9170.ko-entry_point_false-unreach-call.cil.out.c false(reach) 333.374s 48 139 false(reach) 260.696s 50 122 timeout 902.269s 19 44 false(reach) 315.321s 48 139
eca-rers2012/Problem05_label00_false-unreach-call.c timeout 908.429s 11 6420 false(reach) 306.644s 10 6828 false(reach) 746.264s 9 14235 timeout 902.820s 13 6555
eca-rers2012/Problem05_label01_false-unreach-call.c timeout 908.255s 11 6504 false(reach) 413.283s 10 6551 false(reach) 517.023s 9 8295 timeout 902.911s 11 6404
eca-rers2012/Problem05_label11_false-unreach-call.c timeout 906.508s 11 5959 false(reach) 260.646s 10 6399 false(reach) 692.081s 9 9169 timeout 908.100s 11 5871
eca-rers2012/Problem05_label13_false-unreach-call.c timeout 902.174s 12 6479 false(reach) 310.471s 10 6437 false(reach) 650.112s 9 10698 timeout 903.413s 11 6355
eca-rers2012/Problem05_label15_false-unreach-call.c timeout 908.495s 11 5862 false(reach) 348.067s 10 6435 false(reach) 559.168s 9 8774 timeout 903.639s 12 5951
eca-rers2012/Problem05_label18_false-unreach-call.c timeout 909.382s 11 6961 false(reach) 319.257s 10 7064 false(reach) 366.504s 9 8536 timeout 911.343s 11 7061
eca-rers2012/Problem05_label24_false-unreach-call.c timeout 905.178s 11 5991 false(reach) 409.707s 10 6685 false(reach) 486.764s 9 9957 timeout 901.837s 12 6078
eca-rers2012/Problem05_label26_false-unreach-call.c timeout 901.653s 11 6195 false(reach) 698.806s 10 6892 false(reach) 798.134s 9 9200 timeout 959.420s 11 6292
eca-rers2012/Problem05_label30_false-unreach-call.c timeout 902.366s 11 6056 false(reach) 458.202s 10 6860 false(reach) 372.064s 9 8256 timeout 902.530s 12 6140
eca-rers2012/Problem05_label32_false-unreach-call.c timeout 920.385s 11 6307 false(reach) 536.738s 10 6779 false(reach) 502.598s 9 9888 timeout 904.447s 11 6307
eca-rers2012/Problem05_label33_false-unreach-call.c timeout 903.229s 11 5855 false(reach) 340.830s 10 6610 false(reach) 520.276s 9 9842 timeout 906.904s 11 5855
eca-rers2012/Problem05_label36_false-unreach-call.c timeout 902.566s 12 5760 false(reach) 297.981s 10 6355 false(reach) 361.533s 9 9426 timeout 901.797s 13 5812
eca-rers2012/Problem05_label37_false-unreach-call.c timeout 943.432s 11 5985 false(reach) 511.820s 10 6713 false(reach) 412.792s 9 8243 timeout 901.822s 13 6187
eca-rers2012/Problem05_label38_false-unreach-call.c timeout 901.986s 11 6037 false(reach) 325.373s 10 6822 false(reach) 531.557s 9 12416 timeout 933.423s 12 6129
eca-rers2012/Problem05_label39_false-unreach-call.c timeout 902.704s 12 6269 false(reach) 415.544s 10 7095 false(reach) 405.680s 9 11304 timeout 905.056s 11 6156
eca-rers2012/Problem05_label40_false-unreach-call.c timeout 904.497s 12 5698 false(reach) 509.303s 10 7046 false(reach) 518.284s 9 11213 timeout 953.028s 12 5759
eca-rers2012/Problem05_label41_false-unreach-call.c timeout 908.625s 11 6010 false(reach) 440.887s 10 6867 false(reach) 422.077s 9 7944 timeout 906.609s 12 6180
eca-rers2012/Problem05_label44_false-unreach-call.c timeout 906.277s 11 5542 false(reach) 328.035s 10 6393 false(reach) 651.932s 9 11267 timeout 908.716s 12 5698
eca-rers2012/Problem05_label47_false-unreach-call.c timeout 902.222s 12 5478 false(reach) 365.606s 10 6272 false(reach) 333.173s 9 9185 timeout 935.726s 11 5387
eca-rers2012/Problem05_label48_false-unreach-call.c timeout 903.313s 11 5592 false(reach) 403.600s 10 6544 false(reach) 449.347s 9 8136 timeout 902.259s 12 5694
eca-rers2012/Problem05_label51_false-unreach-call.c timeout 905.173s 12 5926 false(reach) 202.794s 10 6918 false(reach) 551.523s 9 10059 timeout 905.943s 12 5926
eca-rers2012/Problem05_label55_false-unreach-call.c timeout 904.146s 12 6052 false(reach) 320.676s 10 7237 false(reach) 591.232s 9 11362 timeout 901.512s 12 6052
eca-rers2012/Problem05_label57_false-unreach-call.c timeout 907.655s 12 5795 false(reach) 242.109s 10 6575 false(reach) 713.515s 9 11720 timeout 902.210s 12 5737
eca-rers2012/Problem05_label58_false-unreach-call.c timeout 906.255s 11 5788 false(reach) 311.643s 10 6890 false(reach) 461.441s 9 10755 timeout 943.732s 11 5788
eca-rers2012/Problem06_label00_false-unreach-call.c timeout 902.515s 30 12109 false(reach) 308.574s 28 13347 timeout 945.925s 18 17979 timeout 903.856s 30 12269
eca-rers2012/Problem06_label01_false-unreach-call.c false(reach) 748.694s 30 12346 false(reach) 686.172s 28 13571 timeout 901.929s 16 17689 timeout 902.412s 25 12189
eca-rers2012/Problem06_label02_false-unreach-call.c timeout 906.744s 30 12238 false(reach) 404.007s 28 13656 false(reach) 625.368s 26 19209 timeout 902.556s 29 12535
eca-rers2012/Problem06_label04_false-unreach-call.c false(reach) 694.416s 30 12233 false(reach) 763.546s 28 13601 timeout 902.524s 22 20196 timeout 892.820s 30 12538
eca-rers2012/Problem06_label05_false-unreach-call.c false(reach) 642.067s 30 11997 false(reach) 816.115s 28 13593 timeout 902.612s 26 19200 timeout 903.757s 26 12198
eca-rers2012/Problem06_label09_false-unreach-call.c false(reach) 868.624s 30 12720 false(reach) 723.212s 28 13839 timeout 903.665s 23 23772 timeout 901.766s 26 12748
eca-rers2012/Problem06_label10_false-unreach-call.c false(reach) 755.395s 30 12658 timeout 903.860s 27 13578 timeout 902.768s 20 17790 timeout 945.555s 24 12178
eca-rers2012/Problem06_label12_false-unreach-call.c false(reach) 712.288s 30 12595 false(reach) 757.598s 28 13816 timeout 904.806s 14 17625 error (1) 912.694s - -
eca-rers2012/Problem06_label15_false-unreach-call.c false(reach) 643.253s 30 12765 timeout 900.550s 28 14302 timeout 902.902s 18 15591 timeout 902.149s 24 12833
eca-rers2012/Problem06_label20_false-unreach-call.c false(reach) 687.444s 30 12565 timeout 900.621s 28 13837 false(reach) 854.206s 26 18299 timeout 905.124s 24 12371
eca-rers2012/Problem06_label21_false-unreach-call.c false(reach) 795.464s 30 12484 false(reach) 459.720s 28 14047 timeout 902.722s 22 19552 timeout 902.683s 28 12999
eca-rers2012/Problem06_label27_false-unreach-call.c false(reach) 861.189s 30 12458 false(reach) 560.838s 28 13983 timeout 903.400s 23 19558 timeout 903.023s 29 12711
eca-rers2012/Problem06_label29_false-unreach-call.c false(reach) 766.453s 30 12174 false(reach) 720.831s 28 13702 timeout 905.055s 23 17802 timeout 904.162s 28 12440
eca-rers2012/Problem06_label36_false-unreach-call.c timeout 903.640s 30 12150 false(reach) 413.340s 28 13457 timeout 902.450s 21 13270 timeout 903.967s 29 12808
eca-rers2012/Problem06_label37_false-unreach-call.c timeout 903.068s 30 12512 false(reach) 632.670s 28 13621 timeout 903.335s 25 14206 timeout 933.969s 27 12767
eca-rers2012/Problem06_label38_false-unreach-call.c false(reach) 801.512s 30 12001 false(reach) 162.173s 28 13272 timeout 901.934s 17 14436 false(reach) 814.805s 30 12108
eca-rers2012/Problem06_label44_false-unreach-call.c false(reach) 807.331s 30 12284 timeout 902.152s 27 14213 timeout 903.332s 21 19040 timeout 903.881s 24 12182
eca-rers2012/Problem06_label47_false-unreach-call.c timeout 902.188s 30 12963 false(reach) 584.436s 28 14254 timeout 908.385s 20 18165 timeout 959.799s - -
eca-rers2012/Problem06_label48_false-unreach-call.c false(reach) 755.423s 30 13274 false(reach) 301.083s 28 13715 false(reach) 844.078s 26 13997 timeout 901.321s 30 13452
eca-rers2012/Problem06_label56_false-unreach-call.c false(reach) 823.976s 30 12391 false(reach) 834.601s 28 13933 timeout 902.473s 24 17546 timeout 903.999s 25 12379
eca-rers2012/Problem06_label59_false-unreach-call.c false(reach) 812.732s 30 12502 false(reach) 481.128s 28 13599 timeout 904.743s 24 21424 timeout 906.150s 29 12637
eca-rers2012/Problem07_label03_false-unreach-call.c timeout 913.684s 10 37133 error (1) 913.469s - - timeout 905.186s 5 30308 timeout 922.105s 10 37133
eca-rers2012/Problem07_label06_false-unreach-call.c timeout 908.833s 10 37115 error (1) 912.743s - - timeout 903.918s 6 36577 timeout 918.618s 10 37115
eca-rers2012/Problem07_label09_false-unreach-call.c timeout 909.958s 11 37582 error (1) 947.473s - - timeout 905.369s 5 28663 timeout 959.632s - -
eca-rers2012/Problem07_label11_false-unreach-call.c timeout 959.649s - - error (1) 922.236s - - error (1) 912.398s - - timeout 913.799s 10 37078
eca-rers2012/Problem07_label18_false-unreach-call.c timeout 913.311s 10 37111 error (1) 921.747s - - timeout 906.864s 4 32910 timeout 922.607s 10 37111
eca-rers2012/Problem07_label30_false-unreach-call.c timeout 932.992s 10 37852 error (1) 915.887s - - timeout 919.499s 4 33540 timeout 906.193s 10 37852
eca-rers2012/Problem07_label31_false-unreach-call.c timeout 902.632s 10 37779 error (1) 933.530s - - timeout 946.553s 5 28163 timeout 959.915s - -
eca-rers2012/Problem07_label39_false-unreach-call.c timeout 902.658s 10 37753 error (1) 926.856s - - timeout 904.534s 6 46551 timeout 940.784s 10 37753
eca-rers2012/Problem07_label40_false-unreach-call.c timeout 905.491s 10 37768 error (1) 911.696s - - timeout 951.082s 5 30759 timeout 905.834s 10 37768
eca-rers2012/Problem07_label42_false-unreach-call.c timeout 959.940s - - error (1) 959.403s - - timeout 903.362s 5 30933 timeout 959.989s - -
eca-rers2012/Problem07_label44_false-unreach-call.c timeout 955.377s 10 37819 error (1) 928.224s - - timeout 901.447s 5 34466 timeout 904.387s 10 37819
eca-rers2012/Problem07_label46_false-unreach-call.c timeout 903.317s 10 37828 error (1) 912.944s - - timeout 902.265s 5 33563 timeout 950.380s 10 37828
eca-rers2012/Problem07_label47_false-unreach-call.c timeout 959.834s - - timeout 903.530s 10 47422 error (1) 912.235s - - timeout 911.454s 10 37731
eca-rers2012/Problem08_label01_false-unreach-call.c timeout 906.072s 11 54695 error (1) 911.711s - - timeout 902.130s 5 42883 timeout 912.708s 12 55962
eca-rers2012/Problem08_label05_false-unreach-call.c timeout 957.058s 10 53438 error (1) 911.240s - - timeout 934.106s 4 34143 timeout 910.611s 10 53438
eca-rers2012/Problem08_label06_false-unreach-call.c timeout 903.438s 9 51632 error (1) 914.884s - - timeout 903.188s 4 41995 timeout 909.212s 10 54138
eca-rers2012/Problem08_label07_false-unreach-call.c timeout 942.124s 10 53377 error (1) 912.569s - - timeout 902.244s 4 34037 timeout 917.595s 10 53377
eca-rers2012/Problem08_label13_false-unreach-call.c timeout 950.094s 10 53440 error (1) 911.124s - - error (1) 911.708s - - timeout 916.922s 10 53440
eca-rers2012/Problem08_label15_false-unreach-call.c timeout 902.554s 10 53370 error (1) 911.464s - - timeout 902.378s 4 33657 timeout 918.551s 10 53370
eca-rers2012/Problem08_label37_false-unreach-call.c error (1) 958.094s - - timeout 903.020s 9 69902 timeout 904.592s 4 34527 timeout 924.856s 9 52910
eca-rers2012/Problem09_label02_false-unreach-call.c error (1) 911.570s - - timeout 903.520s 7 71892 timeout 901.231s 4 40638 timeout 902.040s 12 110571
eca-rers2012/Problem09_label03_false-unreach-call.c error (1) 911.883s - - timeout 915.287s 7 71892 timeout 904.185s 3 40640 timeout 903.023s 12 110587
eca-rers2012/Problem09_label06_false-unreach-call.c error (1) 913.494s - - error (1) 917.477s - - timeout 902.035s 4 40108 timeout 902.800s 11 101636
eca-rers2012/Problem09_label08_false-unreach-call.c timeout 902.654s 7 68242 error (1) 922.738s - - timeout 904.678s 3 40515 timeout 902.449s 11 101957
eca-rers2012/Problem09_label15_false-unreach-call.c error (1) 911.072s - - error (1) 910.815s - - timeout 903.549s 4 40218 timeout 959.843s - -
eca-rers2012/Problem09_label19_false-unreach-call.c error (1) 916.704s - - error (1) 910.937s - - timeout 904.961s 4 40627 timeout 953.173s 12 109124
eca-rers2012/Problem09_label20_false-unreach-call.c error (1) 911.220s - - error (1) 921.435s - - timeout 903.679s 4 40114 timeout 902.285s 16 136218
eca-rers2012/Problem09_label32_false-unreach-call.c timeout 905.457s 6 58785 error (1) 919.302s - - timeout 902.839s 4 40630 timeout 902.815s 10 93121
eca-rers2012/Problem09_label34_false-unreach-call.c timeout 903.859s 6 58784 error (1) 911.064s - - timeout 908.604s 4 40629 timeout 912.883s 9 93120
eca-rers2012/Problem09_label35_false-unreach-call.c error (1) 911.623s - - error (1) 911.307s - - timeout 907.337s 4 40116 timeout 902.679s 10 93121
eca-rers2012/Problem09_label36_false-unreach-call.c timeout 921.323s 6 58772 error (1) 910.956s - - timeout 902.104s 4 40106 timeout 926.187s 10 93100
eca-rers2012/Problem09_label38_false-unreach-call.c error (1) 911.600s - - error (1) 911.356s - - timeout 904.357s 3 40506 timeout 935.491s 10 93118
eca-rers2012/Problem09_label41_false-unreach-call.c error (1) 911.326s - - timeout 901.542s 7 71892 timeout 902.738s 3 30442 timeout 901.984s 10 93121
eca-rers2012/Problem09_label44_false-unreach-call.c timeout 901.846s 7 68205 error (1) 911.548s - - timeout 906.613s 5 49852 timeout 959.692s - -
eca-rers2012/Problem09_label46_false-unreach-call.c error (1) 911.565s - - error (1) 911.036s - - timeout 903.650s 4 40202 timeout 904.871s 16 137583
eca-rers2012/Problem09_label47_false-unreach-call.c timeout 902.276s 7 68230 error (1) 910.947s - - timeout 903.034s 4 40038 error (1) 912.550s - -
eca-rers2012/Problem09_label51_false-unreach-call.c error (1) 911.704s - - error (1) 911.265s - - timeout 941.384s 4 50350 timeout 902.172s 11 101667
eca-rers2012/Problem09_label53_false-unreach-call.c timeout 902.170s 7 68224 error (1) 911.376s - - timeout 902.578s 4 40321 timeout 902.843s 12 109955
eca-rers2012/Problem09_label54_false-unreach-call.c timeout 903.022s 7 68223 error (1) 911.004s - - timeout 904.473s 3 30165 timeout 901.945s 12 109950
eca-rers2012/Problem09_label56_false-unreach-call.c timeout 902.330s 7 68218 error (1) 911.180s - - timeout 902.039s 4 40387 timeout 902.484s 11 102160
eca-rers2012/Problem09_label57_false-unreach-call.c timeout 902.313s 7 68196 error (1) 911.177s - - timeout 913.961s 3 30305 timeout 902.321s 11 102126
eca-rers2012/Problem09_label59_false-unreach-call.c error (1) 911.085s - - error (1) 911.124s - - timeout 901.915s 4 40266 timeout 905.350s 22 167462
eca-rers2012/Problem13_label06_false-unreach-call.c false(reach) 302.028s 9 342 timeout 903.309s 8 1033 false(reach) 95.647s 7 659 false(reach) 699.597s 9 968
eca-rers2012/Problem13_label21_false-unreach-call.c false(reach) 215.566s 10 366 false(reach) 556.887s 9 952 false(reach) 409.138s 9 899 timeout 902.103s 10 748
eca-rers2012/Problem13_label25_false-unreach-call.c false(reach) 279.034s 9 322 timeout 959.527s - - false(reach) 114.244s 7 775 timeout 908.345s 7 530
eca-rers2012/Problem13_label28_false-unreach-call.c false(reach) 215.640s 9 268 timeout 911.119s 8 943 timeout 904.499s 7 478 timeout 906.039s 7 439
eca-rers2012/Problem13_label29_false-unreach-call.c false(reach) 219.194s 9 306 timeout 905.295s 7 536 false(reach) 413.373s 7 1432 timeout 901.607s 7 653
eca-rers2012/Problem13_label30_false-unreach-call.c false(reach) 215.084s 10 319 timeout 891.884s 9 1257 false(reach) 214.146s 8 1070 timeout 954.734s 6 713
eca-rers2012/Problem13_label32_false-unreach-call.c false(reach) 296.337s 9 429 timeout 907.409s 10 1310 false(reach) 254.605s 7 1203 false(reach) 381.877s 9 668
eca-rers2012/Problem14_label08_false-unreach-call.c false(reach) 22.143s 5 289 timeout 959.470s - - false(reach) 23.706s 5 480 false(reach) 128.505s 5 283
eca-rers2012/Problem14_label10_false-unreach-call.c false(reach) 20.824s 5 331 false(reach) 91.769s 5 382 timeout 903.057s 3 295 false(reach) 43.127s 5 368
eca-rers2012/Problem14_label11_false-unreach-call.c false(reach) 23.451s 5 285 false(reach) 118.818s 5 375 timeout 903.113s 3 249 false(reach) 48.622s 5 369
eca-rers2012/Problem14_label13_false-unreach-call.c false(reach) 20.333s 5 288 false(reach) 95.868s 5 382 timeout 904.990s 3 284 false(reach) 47.552s 5 372
eca-rers2012/Problem14_label14_false-unreach-call.c false(reach) 20.987s 5 231 false(reach) 91.591s 5 191 timeout 903.216s 3 252 false(reach) 33.986s 5 247
eca-rers2012/Problem14_label18_false-unreach-call.c false(reach) 22.634s 5 296 false(reach) 89.679s 5 187 timeout 906.255s 3 284 false(reach) 35.509s 5 257
eca-rers2012/Problem14_label22_false-unreach-call.c false(reach) 23.019s 5 413 error (1) 910.923s - - false(reach) 25.476s 5 437 false(reach) 143.133s 5 195
eca-rers2012/Problem14_label27_false-unreach-call.c false(reach) 20.527s 5 436 false(reach) 85.040s 5 208 timeout 903.152s 3 263 false(reach) 33.798s 5 243
eca-rers2012/Problem14_label29_false-unreach-call.c false(reach) 21.881s 5 462 false(reach) 289.011s 5 373 timeout 902.888s 3 303 false(reach) 67.648s 5 370
eca-rers2012/Problem14_label31_false-unreach-call.c false(reach) 20.271s 5 417 false(reach) 306.561s 5 380 timeout 905.664s 3 245 false(reach) 68.520s 5 368
eca-rers2012/Problem14_label34_false-unreach-call.c false(reach) 20.455s 5 485 false(reach) 75.003s 5 201 timeout 905.242s 3 309 false(reach) 39.247s 5 260
eca-rers2012/Problem14_label37_false-unreach-call.c false(reach) 21.364s 5 420 false(reach) 92.724s 5 193 timeout 903.653s 3 257 false(reach) 39.118s 5 265
eca-rers2012/Problem14_label39_false-unreach-call.c false(reach) 21.132s 5 403 false(reach) 287.702s 5 190 timeout 903.333s 3 181 false(reach) 61.070s 5 189
eca-rers2012/Problem14_label40_false-unreach-call.c false(reach) 21.988s 5 448 false(reach) 302.730s 5 184 timeout 903.180s 3 332 false(reach) 57.842s 5 189
eca-rers2012/Problem14_label44_false-unreach-call.c false(reach) 23.185s 5 414 timeout 959.140s 4 145 false(reach) 25.778s 5 335 false(reach) 145.430s 5 287
eca-rers2012/Problem14_label52_false-unreach-call.c false(reach) 22.112s 5 419 false(reach) 298.328s 5 385 timeout 903.109s 3 252 false(reach) 72.135s 5 380
eca-rers2012/Problem14_label56_false-unreach-call.c false(reach) 21.492s 5 452 false(reach) 91.416s 5 183 timeout 906.904s 3 255 false(reach) 42.068s 5 254
eca-rers2012/Problem14_label57_false-unreach-call.c false(reach) 20.975s 5 416 false(reach) 79.447s 5 193 timeout 903.116s 3 198 false(reach) 34.898s 5 249
eca-rers2012/Problem16_label00_false-unreach-call.c false(reach) 425.616s 6 255 timeout 902.544s 4 285 false(reach) 372.981s 5 796 false(reach) 451.600s 6 255
eca-rers2012/Problem16_label01_false-unreach-call.c false(reach) 434.024s 6 257 timeout 914.268s 4 251 false(reach) 653.841s 6 610 false(reach) 420.026s 6 257
eca-rers2012/Problem16_label04_false-unreach-call.c false(reach) 316.258s 6 432 timeout 904.116s 4 297 false(reach) 419.554s 6 787 false(reach) 290.752s 6 432
eca-rers2012/Problem16_label05_false-unreach-call.c false(reach) 569.999s 6 443 timeout 904.317s 4 250 false(reach) 587.184s 6 365 false(reach) 546.670s 6 443
eca-rers2012/Problem16_label06_false-unreach-call.c false(reach) 509.300s 6 443 timeout 907.237s 4 280 false(reach) 676.043s 6 489 false(reach) 539.634s 6 443
eca-rers2012/Problem16_label08_false-unreach-call.c false(reach) 559.487s 6 490 timeout 904.115s 4 279 false(reach) 590.756s 5 687 false(reach) 567.596s 6 490
eca-rers2012/Problem16_label14_false-unreach-call.c false(reach) 567.561s 6 470 timeout 959.734s - - false(reach) 849.589s 6 645 false(reach) 510.789s 6 470
eca-rers2012/Problem16_label18_false-unreach-call.c false(reach) 767.499s 6 439 timeout 959.545s - - false(reach) 724.907s 6 514 false(reach) 706.201s 6 439
eca-rers2012/Problem16_label20_false-unreach-call.c false(reach) 412.118s 6 705 timeout 905.557s 4 362 false(reach) 434.079s 6 711 false(reach) 466.331s 6 705
eca-rers2012/Problem16_label22_false-unreach-call.c false(reach) 580.911s 6 705 timeout 907.622s 3 108 timeout 903.176s 2 78 false(reach) 539.681s 6 705
eca-rers2012/Problem16_label27_false-unreach-call.c false(reach) 555.099s 6 700 timeout 959.606s - - false(reach) 564.652s 6 681 false(reach) 568.725s 6 700
eca-rers2012/Problem16_label30_false-unreach-call.c false(reach) 588.670s 6 698 timeout 909.609s 3 111 false(reach) 804.888s 6 609 false(reach) 560.222s 6 698
eca-rers2012/Problem16_label31_false-unreach-call.c false(reach) 730.228s 6 695 timeout 903.912s 4 319 timeout 910.106s 4 874 false(reach) 652.073s 6 695
eca-rers2012/Problem16_label33_false-unreach-call.c false(reach) 476.211s 6 691 timeout 932.905s 3 142 false(reach) 640.194s 6 684 false(reach) 444.949s 6 691
eca-rers2012/Problem16_label37_false-unreach-call.c false(reach) 435.199s 6 702 timeout 901.788s 4 277 false(reach) 611.946s 6 638 false(reach) 437.891s 6 702
eca-rers2012/Problem16_label38_false-unreach-call.c false(reach) 563.879s 6 706 timeout 909.756s 3 109 false(reach) 874.695s 6 1013 false(reach) 562.997s 6 706
eca-rers2012/Problem16_label41_false-unreach-call.c false(reach) 438.959s 6 756 timeout 903.270s 4 231 false(reach) 636.408s 6 565 false(reach) 428.002s 6 756
eca-rers2012/Problem16_label43_false-unreach-call.c false(reach) 562.232s 6 745 timeout 959.643s - - false(reach) 508.961s 5 624 false(reach) 610.240s 6 745
eca-rers2012/Problem16_label44_false-unreach-call.c false(reach) 284.950s 6 737 timeout 901.475s 4 528 false(reach) 340.383s 6 724 false(reach) 345.606s 6 737
eca-rers2012/Problem16_label46_false-unreach-call.c false(reach) 603.350s 6 756 timeout 906.651s 3 110 false(reach) 684.270s 6 649 false(reach) 550.631s 6 756
eca-rers2012/Problem16_label51_false-unreach-call.c false(reach) 586.409s 6 754 timeout 959.357s - - false(reach) 606.850s 5 1014 false(reach) 559.773s 6 754
eca-rers2012/Problem16_label52_false-unreach-call.c false(reach) 268.019s 6 739 timeout 959.450s - - false(reach) 397.772s 6 526 false(reach) 248.374s 6 739
eca-rers2012/Problem16_label54_false-unreach-call.c false(reach) 436.453s 6 748 timeout 905.068s 3 112 false(reach) 687.557s 6 590 false(reach) 419.935s 6 748
eca-rers2012/Problem18_label03_false-unreach-call.c false(reach) 197.743s 7 715 false(reach) 56.414s 5 425 timeout 906.000s 4 336 false(reach) 138.748s 7 430
eca-rers2012/Problem18_label06_false-unreach-call.c false(reach) 235.023s 7 559 timeout 909.860s 4 303 false(reach) 177.296s 6 328 timeout 912.538s 3 274
eca-rers2012/Problem18_label08_false-unreach-call.c false(reach) 247.889s 7 709 timeout 909.786s 4 300 false(reach) 198.958s 6 407 timeout 959.713s - -
eca-rers2012/Problem18_label09_false-unreach-call.c false(reach) 78.031s 6 448 timeout 909.255s 4 269 timeout 959.229s - - false(reach) 299.303s 6 513
eca-rers2012/Problem18_label10_false-unreach-call.c false(reach) 324.391s 7 538 timeout 912.673s 4 266 false(reach) 317.333s 5 423 false(reach) 542.211s 7 527
eca-rers2012/Problem18_label12_false-unreach-call.c false(reach) 216.846s 6 460 timeout 910.143s 4 269 false(reach) 189.998s 6 310 false(reach) 566.744s 6 499
eca-rers2012/Problem18_label19_false-unreach-call.c false(reach) 94.799s 6 598 timeout 909.458s 4 377 false(reach) 178.231s 6 523 false(reach) 382.514s 6 650
eca-rers2012/Problem18_label20_false-unreach-call.c false(reach) 129.878s 7 743 timeout 909.519s 4 376 false(reach) 66.661s 5 680 false(reach) 386.182s 7 715
eca-rers2012/Problem18_label25_false-unreach-call.c false(reach) 158.542s 7 715 timeout 909.040s 4 358 false(reach) 393.609s 6 348 false(reach) 535.914s 7 630
eca-rers2012/Problem18_label27_false-unreach-call.c false(reach) 106.576s 6 581 timeout 908.757s 4 361 false(reach) 124.101s 6 397 false(reach) 444.433s 6 598
eca-rers2012/Problem18_label31_false-unreach-call.c false(reach) 95.976s 6 657 timeout 911.607s 4 360 false(reach) 70.567s 5 320 false(reach) 372.034s 6 682
eca-rers2012/Problem18_label32_false-unreach-call.c false(reach) 237.699s 7 632 timeout 910.200s 4 362 false(reach) 122.710s 5 429 false(reach) 471.272s 7 733
eca-rers2012/Problem18_label33_false-unreach-call.c false(reach) 175.702s 7 856 timeout 912.254s 4 360 false(reach) 129.856s 6 446 false(reach) 369.701s 7 720
eca-rers2012/Problem18_label34_false-unreach-call.c false(reach) 107.599s 6 616 timeout 910.448s 4 251 false(reach) 214.912s 6 220 false(reach) 346.832s 6 694
eca-rers2012/Problem18_label35_false-unreach-call.c false(reach) 93.615s 6 681 timeout 908.626s 4 255 false(reach) 147.799s 5 383 false(reach) 320.317s 6 677
eca-rers2012/Problem18_label36_false-unreach-call.c false(reach) 229.296s 7 676 timeout 905.071s 4 266 false(reach) 184.614s 6 491 false(reach) 572.693s 7 702
eca-rers2012/Problem18_label38_false-unreach-call.c false(reach) 199.091s 6 800 timeout 912.170s 4 258 false(reach) 364.847s 6 434 false(reach) 408.772s 6 663
eca-rers2012/Problem18_label45_false-unreach-call.c false(reach) 149.067s 6 583 timeout 911.297s 4 234 false(reach) 582.470s 5 369 false(reach) 459.189s 6 579
eca-rers2012/Problem18_label49_false-unreach-call.c false(reach) 211.246s 7 662 timeout 911.880s 4 370 false(reach) 130.331s 6 311 timeout 959.398s - -
eca-rers2012/Problem18_label52_false-unreach-call.c false(reach) 217.164s 6 543 timeout 910.721s 4 371 false(reach) 191.024s 6 292 timeout 959.698s 3 358
eca-rers2012/Problem18_label55_false-unreach-call.c false(reach) 148.097s 6 571 timeout 908.155s 4 331 false(reach) 128.600s 5 347 false(reach) 448.590s 6 608
eca-rers2012/Problem18_label57_false-unreach-call.c false(reach) 90.327s 6 569 timeout 918.980s 4 329 false(reach) 125.958s 5 500 false(reach) 408.040s 6 616
eca-rers2012/Problem19_label10_false-unreach-call.c timeout 907.407s 6 1730 timeout 917.160s 5 427 false(reach) 633.372s 6 2189 timeout 907.436s 6 894
eca-rers2012/Problem19_label18_false-unreach-call.c false(reach) 819.214s 10 2159 timeout 959.902s - - false(reach) 174.339s 6 2181 false(reach) 884.550s 10 995
eca-rers2012/Problem19_label19_false-unreach-call.c timeout 908.324s 4 1348 timeout 908.767s 4 590 false(reach) 488.832s 7 2048 timeout 908.297s 4 590
eca-rers2012/Problem19_label22_false-unreach-call.c false(reach) 593.877s 10 1870 timeout 957.968s 4 603 false(reach) 85.152s 6 1291 timeout 902.086s 6 1153
eca-rers2012/Problem19_label27_false-unreach-call.c timeout 922.815s 8 1835 timeout 913.334s 5 181 false(reach) 567.559s 6 1548 timeout 908.443s 6 1160
eca-rers2012/Problem19_label28_false-unreach-call.c timeout 906.915s 5 1236 timeout 911.433s 5 170 false(reach) 794.312s 8 2000 timeout 903.196s 4 592
eca-rers2012/Problem19_label29_false-unreach-call.c timeout 902.338s 5 1622 timeout 901.488s 5 458 false(reach) 822.696s 8 2235 timeout 911.752s 4 586
eca-rers2012/Problem19_label31_false-unreach-call.c timeout 904.064s 8 1757 timeout 904.471s 4 281 false(reach) 566.930s 7 1402 timeout 901.964s 6 1125
eca-rers2012/Problem19_label32_false-unreach-call.c timeout 901.991s 8 1790 timeout 902.447s 5 454 false(reach) 642.527s 7 1760 timeout 902.723s 6 1139
eca-rers2012/Problem19_label43_false-unreach-call.c timeout 902.818s 7 2087 timeout 902.671s 4 815 false(reach) 349.971s 6 1974 error (1) 922.273s - -
eca-rers2012/Problem19_label50_false-unreach-call.c timeout 901.537s 5 1508 timeout 904.279s 4 283 false(reach) 824.999s 8 1676 timeout 924.656s 4 813
eca-rers2012/Problem19_label53_false-unreach-call.c timeout 903.743s 6 1878 timeout 902.120s 5 438 false(reach) 860.661s 6 2464 timeout 903.503s 5 1186
eca-rers2012/Problem19_label59_false-unreach-call.c timeout 904.110s 8 1349 false(reach) 221.702s 6 493 timeout 901.355s 8 2219 timeout 907.118s 9 513
eca-rers2012/Problem05_label27_true-unreach-call.c true 120.778s 8 6025 true 566.165s 10 6717 timeout 908.619s 8 12312 true 118.251s 8 6025
eca-rers2012/Problem06_label03_true-unreach-call.c true 510.507s 25 12340 timeout 938.823s 27 13908 timeout 902.784s 17 16555 timeout 960.454s - -
eca-rers2012/Problem06_label06_true-unreach-call.c true 83.440s 25 11973 true 170.036s 28 13569 timeout 908.671s 18 16747 true 228.608s 26 12359
eca-rers2012/Problem06_label07_true-unreach-call.c true 357.907s 25 12253 timeout 939.717s 26 13546 timeout 905.663s 21 18692 timeout 917.026s 24 12204
eca-rers2012/Problem06_label08_true-unreach-call.c true 489.066s 25 12418 timeout 909.232s 26 13613 timeout 919.563s 16 13338 timeout 914.153s 23 11997
eca-rers2012/Problem06_label13_true-unreach-call.c true 315.109s 25 12487 timeout 907.322s 27 13915 timeout 931.434s 20 14714 timeout 913.748s 25 12528
eca-rers2012/Problem06_label14_true-unreach-call.c true 185.227s 25 11994 true 456.046s 28 14064 timeout 903.703s 23 18008 true 721.345s 26 12383
eca-rers2012/Problem06_label16_true-unreach-call.c true 881.798s 25 12991 timeout 910.342s 26 14292 timeout 918.200s 14 14672 timeout 960.022s - -
eca-rers2012/Problem06_label18_true-unreach-call.c true 197.108s 25 13543 timeout 903.791s 27 14044 timeout 905.300s 24 14074 timeout 901.791s 26 14258
eca-rers2012/Problem06_label26_true-unreach-call.c true 373.530s 25 12547 timeout 938.010s 26 13694 timeout 901.823s 22 15673 timeout 913.995s 23 12107
eca-rers2012/Problem06_label28_true-unreach-call.c true 281.441s 25 13887 true 807.906s 28 14420 timeout 902.218s 22 23656 timeout 901.820s 26 14242
eca-rers2012/Problem06_label30_true-unreach-call.c true 263.185s 25 12347 true 723.151s 28 13723 timeout 901.771s 21 15089 timeout 902.555s 25 12351
eca-rers2012/Problem06_label31_true-unreach-call.c true 374.553s 25 12480 timeout 902.311s 27 13848 timeout 902.943s 24 19427 error (1) 916.230s - -
eca-rers2012/Problem06_label32_true-unreach-call.c true 225.499s 25 12364 true 621.776s 28 13759 timeout 901.534s 19 16529 timeout 906.299s 25 12621
eca-rers2012/Problem06_label35_true-unreach-call.c true 212.891s 25 12035 timeout 907.698s 26 13598 timeout 902.933s 20 15353 timeout 910.592s 24 12325
eca-rers2012/Problem06_label39_true-unreach-call.c true 337.556s 25 12313 true 837.508s 28 13828 timeout 901.388s 26 16970 timeout 931.600s 25 12451
eca-rers2012/Problem06_label43_true-unreach-call.c true 185.065s 25 12308 true 787.291s 28 13704 timeout 903.775s 17 15759 timeout 902.882s 25 12375
eca-rers2012/Problem06_label45_true-unreach-call.c true 389.449s 25 12689 timeout 904.124s 27 14533 timeout 901.308s 21 17893 timeout 910.049s 24 12945
eca-rers2012/Problem06_label46_true-unreach-call.c true 246.408s 25 12420 timeout 901.359s 26 14097 timeout 902.983s 24 13951 timeout 905.750s 23 12063
eca-rers2012/Problem06_label50_true-unreach-call.c true 673.484s 25 13176 timeout 910.830s 25 13742 timeout 902.162s 18 15854 timeout 934.689s 23 12635
eca-rers2012/Problem06_label51_true-unreach-call.c true 164.295s 25 12278 timeout 907.695s 27 14343 timeout 912.542s 23 15941 timeout 901.463s 25 12837
eca-rers2012/Problem06_label52_true-unreach-call.c true 640.317s 25 12394 timeout 910.668s 27 14095 timeout 904.777s 16 11157 timeout 958.798s 25 12320
eca-rers2012/Problem06_label53_true-unreach-call.c true 420.700s 25 13642 timeout 901.465s 28 14387 timeout 931.058s 21 14575 timeout 904.070s 25 13940
eca-rers2012/Problem06_label54_true-unreach-call.c true 341.183s 25 12192 timeout 905.795s 27 14235 timeout 902.760s 15 15115 timeout 901.528s 25 12355
eca-rers2012/Problem06_label57_true-unreach-call.c timeout 959.680s - - timeout 922.249s 25 13567 true 198.562s 6 4580 timeout 922.209s 23 12141
eca-rers2012/Problem07_label01_true-unreach-call.c timeout 907.769s 10 37152 error (1) 944.009s - - timeout 904.335s 5 37606 timeout 959.635s - -
eca-rers2012/Problem07_label10_true-unreach-call.c timeout 919.486s 10 37226 error (1) 912.699s - - timeout 901.497s 7 43961 timeout 912.145s 10 37226
eca-rers2012/Problem07_label13_true-unreach-call.c timeout 913.472s 10 37263 error (1) 934.175s - - timeout 904.560s 5 27890 timeout 959.759s - -
eca-rers2012/Problem07_label21_true-unreach-call.c timeout 914.247s 10 37207 error (1) 945.647s - - error (1) 913.823s - - timeout 947.640s 10 37207
eca-rers2012/Problem07_label24_true-unreach-call.c timeout 904.361s 10 38070 error (1) 912.499s - - timeout 959.651s - - timeout 915.230s 10 38070
eca-rers2012/Problem07_label26_true-unreach-call.c timeout 903.589s 10 38043 error (1) 911.389s - - timeout 905.332s 8 43972 timeout 905.593s 10 38043
eca-rers2012/Problem07_label27_true-unreach-call.c timeout 908.994s 10 37898 error (1) 911.660s - - timeout 902.743s 5 30067 timeout 905.455s 10 37898
eca-rers2012/Problem08_label03_true-unreach-call.c timeout 938.479s 10 53649 error (1) 911.748s - - timeout 904.954s 4 42844 timeout 914.498s 10 53649
eca-rers2012/Problem08_label12_true-unreach-call.c timeout 904.405s 9 51700 error (1) 911.857s - - timeout 903.792s 3 34218 timeout 903.756s 10 54219
eca-rers2012/Problem08_label16_true-unreach-call.c timeout 903.585s 9 51725 error (1) 912.550s - - timeout 934.669s 4 33725 timeout 908.604s 10 54245
eca-rers2012/Problem08_label17_true-unreach-call.c timeout 906.680s 10 53579 error (1) 911.113s - - timeout 901.859s 4 33741 timeout 922.349s 10 53579
eca-rers2012/Problem08_label30_true-unreach-call.c timeout 911.455s 8 49733 timeout 903.606s 9 70019 timeout 908.946s 5 50622 error (1) 913.921s - -
eca-rers2012/Problem09_label00_true-unreach-call.c error (1) 915.187s - - error (1) 911.127s - - timeout 904.386s 5 59283 timeout 902.690s 24 171671
eca-rers2012/Problem09_label01_true-unreach-call.c error (1) 911.536s - - error (1) 931.378s - - timeout 901.912s 4 40157 timeout 910.522s 16 137755
eca-rers2012/Problem09_label04_true-unreach-call.c error (1) 913.054s - - error (1) 910.964s - - timeout 911.210s 4 40663 timeout 904.280s 12 110653
eca-rers2012/Problem09_label05_true-unreach-call.c error (1) 911.432s - - error (1) 911.289s - - timeout 907.759s 4 40133 timeout 902.419s 11 101709
eca-rers2012/Problem09_label07_true-unreach-call.c error (1) 912.782s - - error (1) 910.959s - - timeout 902.064s 4 40169 timeout 902.460s 11 101747
eca-rers2012/Problem09_label09_true-unreach-call.c timeout 902.370s 7 68275 error (1) 923.512s - - timeout 903.713s 3 30334 timeout 906.907s 12 110029
eca-rers2012/Problem09_label12_true-unreach-call.c error (1) 913.755s - - error (1) 910.827s - - timeout 906.504s 3 30487 timeout 948.897s 11 102249
eca-rers2012/Problem09_label13_true-unreach-call.c error (1) 911.477s - - timeout 901.958s 7 71906 timeout 905.897s 3 30461 timeout 902.251s 11 102230
eca-rers2012/Problem09_label14_true-unreach-call.c error (1) 911.020s - - error (1) 917.968s - - timeout 902.211s 4 40288 timeout 909.271s 19 155066
eca-rers2012/Problem09_label16_true-unreach-call.c error (1) 911.003s - - error (1) 911.285s - - timeout 929.715s 4 40131 timeout 901.792s 16 138347
eca-rers2012/Problem09_label17_true-unreach-call.c error (1) 910.914s - - error (1) 910.974s - - timeout 901.865s 4 40672 timeout 959.817s - -
eca-rers2012/Problem09_label18_true-unreach-call.c error (1) 911.627s - - timeout 901.416s 8 82249 timeout 922.980s 4 40696 timeout 902.891s 12 109171
eca-rers2012/Problem09_label21_true-unreach-call.c error (1) 910.786s - - error (1) 923.022s - - timeout 902.715s 4 40149 timeout 904.046s 15 129385
eca-rers2012/Problem09_label22_true-unreach-call.c error (1) 911.304s - - error (1) 911.029s - - timeout 902.311s 4 40133 timeout 920.716s 18 146393
eca-rers2012/Problem09_label23_true-unreach-call.c error (1) 911.270s - - error (1) 911.414s - - timeout 904.502s 3 40539 timeout 902.679s 12 109533
eca-rers2012/Problem09_label24_true-unreach-call.c error (1) 911.320s - - error (1) 911.635s - - timeout 929.947s 3 30343 timeout 938.718s 12 109532
eca-rers2012/Problem09_label25_true-unreach-call.c error (1) 911.284s - - error (1) 920.777s - - timeout 903.532s 3 30332 timeout 902.397s 12 109538
eca-rers2012/Problem09_label26_true-unreach-call.c error (1) 911.037s - - error (1) 914.533s - - timeout 903.572s 3 40362 timeout 904.177s 11 101572
eca-rers2012/Problem09_label27_true-unreach-call.c error (1) 910.848s - - error (1) 912.275s - - timeout 903.285s 3 30466 timeout 906.460s 11 101562
eca-rers2012/Problem09_label28_true-unreach-call.c error (1) 911.381s - - error (1) 911.110s - - timeout 904.103s 3 30469 timeout 959.810s - -
eca-rers2012/Problem09_label29_true-unreach-call.c error (1) 911.615s - - error (1) 910.904s - - timeout 905.501s 3 30228 timeout 901.490s 11 100837
eca-rers2012/Problem09_label30_true-unreach-call.c timeout 901.667s 6 58794 error (1) 911.201s - - timeout 904.878s 4 40278 timeout 908.514s 11 100856
eca-rers2012/Problem09_label31_true-unreach-call.c timeout 901.813s 6 58781 error (1) 911.337s - - timeout 901.951s 4 40108 timeout 901.968s 9 84875
eca-rers2012/Problem09_label33_true-unreach-call.c timeout 901.615s 6 58794 error (1) 925.109s - - timeout 903.050s 4 40675 timeout 939.863s 10 93130
eca-rers2012/Problem09_label37_true-unreach-call.c error (1) 912.086s - - error (1) 911.176s - - timeout 902.167s 4 40132 timeout 906.037s 10 93123
eca-rers2012/Problem09_label39_true-unreach-call.c timeout 902.649s 6 58806 error (1) 910.819s - - timeout 907.513s 4 40110 timeout 902.692s 10 93146
eca-rers2012/Problem09_label40_true-unreach-call.c timeout 902.873s 6 58793 error (1) 911.028s - - timeout 904.934s 3 30321 timeout 902.527s 11 100857
eca-rers2012/Problem09_label42_true-unreach-call.c timeout 903.709s 6 58781 error (1) 918.677s - - timeout 959.931s - - timeout 926.021s 10 93113
eca-rers2012/Problem09_label43_true-unreach-call.c error (1) 911.512s - - error (1) 911.415s - - timeout 903.581s 3 30481 timeout 902.364s 10 93149
eca-rers2012/Problem09_label45_true-unreach-call.c error (1) 912.946s - - timeout 903.135s 6 71955 timeout 904.826s 3 40220 timeout 902.800s 25 173482
eca-rers2012/Problem09_label48_true-unreach-call.c error (1) 911.272s - - timeout 901.749s 7 71892 timeout 904.272s 3 30257 timeout 905.247s 12 110638
eca-rers2012/Problem09_label50_true-unreach-call.c error (1) 913.049s - - error (1) 911.208s - - timeout 909.700s 4 40308 timeout 921.526s 11 101718
eca-rers2012/Problem09_label52_true-unreach-call.c timeout 902.160s 7 68271 error (1) 911.322s - - timeout 953.062s 4 40310 timeout 901.799s 11 101740
eca-rers2012/Problem09_label55_true-unreach-call.c error (1) 911.617s - - error (1) 928.280s - - timeout 902.525s 4 40169 timeout 904.788s 12 110004
eca-rers2012/Problem09_label58_true-unreach-call.c error (1) 912.121s - - error (1) 911.121s - - timeout 904.527s 3 30643 timeout 933.483s 11 102222
eca-rers2012/Problem10_label03_true-unreach-call.c true 9.651s 4 166 timeout 908.860s 5 280 timeout 902.947s 3 181 timeout 903.114s 5 236
eca-rers2012/Problem10_label04_true-unreach-call.c true 9.809s 4 185 timeout 906.813s 5 273 true 8.922s 2 76 timeout 904.853s 5 289
eca-rers2012/Problem10_label05_true-unreach-call.c true 9.415s 4 171 timeout 909.302s 5 289 timeout 903.199s 2 71 timeout 904.800s 5 209
eca-rers2012/Problem10_label06_true-unreach-call.c true 10.010s 4 160 timeout 904.047s 5 239 timeout 902.736s 2 57 timeout 902.766s 5 183
eca-rers2012/Problem10_label07_true-unreach-call.c true 11.277s 4 163 timeout 959.434s - - timeout 902.778s 3 187 timeout 903.644s 6 138
eca-rers2012/Problem10_label08_true-unreach-call.c true 10.907s 4 156 timeout 909.274s 5 380 true 9.557s 2 62 timeout 902.767s 5 254
eca-rers2012/Problem10_label09_true-unreach-call.c true 10.589s 4 168 timeout 956.713s 5 385 timeout 905.588s 2 73 timeout 902.593s 5 242
eca-rers2012/Problem10_label10_true-unreach-call.c true 11.224s 4 165 timeout 959.574s - - timeout 903.054s 2 69 timeout 904.331s 5 278
eca-rers2012/Problem10_label19_true-unreach-call.c true 8.574s 3 19 timeout 908.565s 5 238 timeout 906.393s 2 49 timeout 959.228s - -
eca-rers2012/Problem10_label20_true-unreach-call.c true 8.365s 3 13 true 8.126s 2 12 timeout 902.908s 3 132 true 7.693s 3 13
eca-rers2012/Problem10_label21_true-unreach-call.c true 7.964s 3 14 timeout 909.929s 5 342 true 9.284s 2 46 timeout 902.789s 5 130
eca-rers2012/Problem10_label22_true-unreach-call.c true 8.304s 3 21 timeout 905.010s 5 279 timeout 902.931s 3 164 timeout 902.788s 5 86
eca-rers2012/Problem10_label31_true-unreach-call.c true 11.369s 4 111 timeout 904.022s 5 325 timeout 902.900s 2 54 timeout 902.788s 5 195
eca-rers2012/Problem10_label32_true-unreach-call.c true 10.704s 4 104 timeout 909.273s 5 248 timeout 903.098s 3 131 timeout 903.032s 5 160
eca-rers2012/Problem10_label33_true-unreach-call.c true 10.767s 4 117 timeout 959.580s - - true 10.729s 2 53 timeout 903.246s 5 247
eca-rers2012/Problem10_label34_true-unreach-call.c true 10.717s 4 130 timeout 959.441s - - timeout 902.666s 3 179 timeout 902.865s 5 236
eca-rers2012/Problem10_label35_true-unreach-call.c true 11.110s 4 104 timeout 908.705s 5 306 timeout 902.933s 2 58 timeout 904.597s 5 216
eca-rers2012/Problem10_label36_true-unreach-call.c true 11.224s 4 95 timeout 908.306s 5 281 timeout 902.873s 3 140 timeout 904.778s 5 172
eca-rers2012/Problem10_label37_true-unreach-call.c true 11.886s 4 106 timeout 904.000s 5 368 true 9.301s 2 58 timeout 904.242s 5 172
eca-rers2012/Problem10_label38_true-unreach-call.c true 11.464s 4 94 timeout 907.587s 5 229 timeout 905.090s 3 162 timeout 904.946s 5 104
eca-rers2012/Problem10_label51_true-unreach-call.c true 10.080s 4 117 timeout 907.094s 5 335 timeout 902.896s 3 161 timeout 904.420s 5 201
eca-rers2012/Problem10_label52_true-unreach-call.c true 10.743s 4 111 timeout 909.139s 5 261 timeout 902.916s 3 149 timeout 903.033s 5 168
eca-rers2012/Problem10_label53_true-unreach-call.c true 11.135s 4 113 timeout 959.650s - - timeout 903.062s 3 205 timeout 902.828s 5 243
eca-rers2012/Problem10_label54_true-unreach-call.c true 10.700s 4 129 timeout 959.354s - - true 8.772s 2 93 timeout 904.848s 5 234
eca-rers2012/Problem11_label48_true-unreach-call.c timeout 903.040s 6 357 error (1) 913.287s - - timeout 903.492s 4 417 timeout 903.420s 5 339
eca-rers2012/Problem13_label26_true-unreach-call.c timeout 912.364s 6 269 error (1) 913.760s - - timeout 908.000s 6 1020 timeout 909.005s 7 945
eca-rers2012/Problem14_label04_true-unreach-call.c timeout 902.695s 4 198 error (1) 912.149s - - timeout 906.435s 3 207 timeout 903.859s 4 229
eca-rers2012/Problem14_label20_true-unreach-call.c true 12.301s 3 335 error (1) 914.203s - - true 11.146s 2 202 timeout 902.283s 4 147
eca-rers2012/Problem14_label21_true-unreach-call.c timeout 902.653s 4 378 error (1) 912.657s - - timeout 903.173s 3 257 timeout 902.275s 4 137
eca-rers2012/Problem14_label25_true-unreach-call.c true 12.006s 3 342 timeout 903.099s 5 239 true 10.567s 2 207 timeout 902.275s 4 210
eca-rers2012/Problem14_label30_true-unreach-call.c true 11.945s 3 305 timeout 903.046s 5 397 true 10.309s 2 186 timeout 918.504s 4 321
eca-rers2012/Problem14_label35_true-unreach-call.c true 11.718s 3 305 timeout 903.734s 5 211 true 10.285s 2 186 timeout 902.370s 4 207
eca-rers2012/Problem16_label23_true-unreach-call.c true 16.484s 3 402 timeout 902.275s 4 342 timeout 902.453s 4 358 true 16.045s 3 402
eca-rers2012/Problem16_label24_true-unreach-call.c true 17.083s 3 420 timeout 907.222s 4 399 timeout 902.630s 4 608 true 15.594s 3 420
eca-rers2012/Problem16_label25_true-unreach-call.c true 16.755s 3 419 timeout 932.790s 4 292 timeout 902.718s 4 432 true 16.462s 3 419
eca-rers2012/Problem16_label26_true-unreach-call.c true 17.489s 3 405 timeout 905.231s 3 117 timeout 905.260s 3 182 true 16.355s 3 405
eca-rers2012/Problem16_label47_true-unreach-call.c true 16.602s 3 497 timeout 905.769s 4 346 true 12.809s 2 72 true 14.775s 3 497
eca-rers2012/Problem16_label48_true-unreach-call.c true 16.406s 3 497 timeout 959.364s - - timeout 904.451s 3 183 true 15.312s 3 497
eca-rers2012/Problem16_label49_true-unreach-call.c true 16.536s 3 495 timeout 959.539s - - timeout 904.188s 3 83 true 15.084s 3 495
eca-rers2012/Problem16_label50_true-unreach-call.c true 17.241s 3 488 timeout 904.228s 3 119 timeout 959.740s - - true 15.503s 3 488
eca-rers2012/Problem16_label55_true-unreach-call.c true 16.867s 3 491 timeout 959.626s - - timeout 959.390s - - true 14.979s 3 491
eca-rers2012/Problem16_label56_true-unreach-call.c true 16.139s 3 483 timeout 959.519s - - timeout 959.438s - - true 16.687s 3 483
eca-rers2012/Problem16_label57_true-unreach-call.c true 18.125s 3 486 timeout 909.375s 4 240 timeout 907.864s 3 147 true 14.876s 3 486
eca-rers2012/Problem16_label58_true-unreach-call.c true 16.841s 3 491 timeout 907.757s 3 120 true 14.339s 2 54 true 16.092s 3 491
eca-rers2012/Problem18_label41_true-unreach-call.c true 25.165s 3 364 timeout 910.058s 5 339 timeout 905.997s 4 322 timeout 904.883s 4 518
eca-rers2012/Problem18_label43_true-unreach-call.c true 25.772s 3 366 timeout 912.087s 5 319 timeout 908.300s 4 343 timeout 905.442s 4 520
eca-rers2012/Problem18_label46_true-unreach-call.c true 25.205s 3 358 timeout 915.471s 4 239 timeout 908.357s 4 254 timeout 906.183s 4 483
eca-rers2012/Problem18_label48_true-unreach-call.c true 25.802s 3 363 timeout 908.092s 4 250 timeout 959.479s - - timeout 902.804s 4 489
eca-rers2012/Problem18_label51_true-unreach-call.c true 23.081s 3 362 timeout 913.406s 4 377 timeout 904.103s 4 253 timeout 959.432s - -
eca-rers2012/Problem18_label53_true-unreach-call.c true 24.147s 3 359 timeout 905.312s 4 373 timeout 904.064s 4 365 timeout 959.522s - -
eca-rers2012/Problem18_label56_true-unreach-call.c true 27.842s 3 362 timeout 909.626s 4 361 timeout 907.825s 4 431 timeout 903.182s 4 528
eca-rers2012/Problem18_label58_true-unreach-call.c true 26.046s 3 362 timeout 909.383s 4 353 timeout 909.645s 3 324 timeout 903.434s 4 528
eca-rers2012/Problem19_label24_true-unreach-call.c error (1) 912.644s - - timeout 910.310s 5 215 timeout 904.457s 5 1951 timeout 904.385s 4 637
eca-rers2012/Problem19_label34_true-unreach-call.c error (1) 913.795s - - timeout 920.081s 5 336 timeout 958.873s 5 2254 timeout 902.849s 4 647
eca-rers2012/Problem19_label38_true-unreach-call.c error (1) 914.580s - - timeout 959.624s - - timeout 906.611s 5 2607 timeout 908.284s 4 667
eca-rers2012/Problem19_label44_true-unreach-call.c timeout 907.647s 5 1878 timeout 909.157s 5 193 timeout 908.574s 5 1731 error (1) 911.939s - -
eca-rers2012/Problem19_label52_true-unreach-call.c timeout 907.348s 5 1768 error (1) 910.954s - - timeout 906.200s 4 1154 timeout 902.145s 5 1323
floats-cbmc-regression/float18_true-unreach-call.i true 3.762s 2 3 timeout 901.540s 1 2 timeout 901.499s 1 2 true 3.729s 2 3
loops/vogal_false-unreach-call.i timeout 901.513s 2 3 timeout 901.627s 2 3 false(reach) 4.962s 3 7 timeout 901.275s 2 3
loops/vogal_true-unreach-call.i timeout 901.568s 2 3 timeout 901.665s 2 3 unknown 53.347s 7 11 timeout 901.659s 2 3
product-lines/elevator_spec1_product20_false-unreach-call.cil.c error (1) 914.960s - - timeout 918.964s 3 294 timeout 902.115s 8 703 timeout 911.083s 8 746
product-lines/elevator_spec1_product26_false-unreach-call.cil.c error (1) 921.594s - - timeout 909.109s 3 291 timeout 960.116s - - timeout 959.819s - -
product-lines/elevator_spec3_product03_false-unreach-call.cil.c timeout 926.716s 26 1115 timeout 901.639s 27 1444 timeout 903.153s 96 2619 false(reach) 419.306s 49 1510
product-lines/elevator_spec3_product11_false-unreach-call.cil.c timeout 905.734s 26 1115 timeout 902.134s 27 1444 timeout 903.145s 96 2619 false(reach) 584.530s 49 1510
product-lines/elevator_spec3_product19_false-unreach-call.cil.c timeout 959.668s - - timeout 901.769s 26 1539 timeout 903.248s 97 2718 false(reach) 621.431s 50 1678
product-lines/elevator_spec3_product23_false-unreach-call.cil.c timeout 905.084s 27 1242 timeout 901.544s 23 1473 timeout 902.103s 109 2995 false(reach) 614.120s 52 1687
product-lines/elevator_spec3_product27_false-unreach-call.cil.c timeout 957.447s 27 1242 timeout 901.345s 26 1539 timeout 903.577s 97 2718 false(reach) 830.814s 50 1678
product-lines/elevator_spec3_product31_false-unreach-call.cil.c timeout 905.082s 27 1242 timeout 901.727s 23 1473 timeout 902.135s 109 2995 false(reach) 864.267s 52 1687
product-lines/elevator_spec9_product30_false-unreach-call.cil.c error (1) 913.296s - - timeout 903.770s 6 562 timeout 905.134s 6 584 timeout 909.817s 5 478
product-lines/elevator_spec9_product32_false-unreach-call.cil.c error (1) 937.444s - - timeout 905.185s 6 568 timeout 912.800s 6 590 timeout 907.527s 7 671
product-lines/elevator_spec9_product25_true-unreach-call.cil.c timeout 959.915s - - error (1) 911.028s - - timeout 902.336s 8 784 timeout 917.987s 5 478
product-lines/email_spec0_product16_false-unreach-call.cil.c timeout 902.526s 34 684 timeout 902.834s 38 1044 timeout 905.949s 28 670 false(reach) 393.500s 61 1044
product-lines/email_spec0_product22_false-unreach-call.cil.c timeout 903.841s 34 760 timeout 901.790s 39 1107 timeout 904.957s 39 1177 false(reach) 820.559s 67 1154
product-lines/email_spec0_product31_false-unreach-call.cil.c timeout 902.397s 39 1202 timeout 901.987s 45 1667 timeout 903.187s 27 1066 false(reach) 481.865s 72 1927
product-lines/email_spec11_product15_false-unreach-call.cil.c false(reach) 212.350s 73 893 timeout 903.770s 24 721 timeout 902.128s 25 509 false(reach) 398.425s 59 909
product-lines/email_spec11_product22_false-unreach-call.cil.c timeout 901.765s 71 1076 timeout 959.423s - - timeout 902.392s 24 496 false(reach) 636.129s 66 1029
product-lines/email_spec11_product30_false-unreach-call.cil.c false(reach) 277.968s 92 1690 timeout 913.729s 41 1568 timeout 902.347s 34 1086 false(reach) 554.592s 70 1653
product-lines/email_spec11_product33_false-unreach-call.cil.c timeout 902.075s 88 1973 timeout 902.542s 44 1761 timeout 902.190s 34 1097 false(reach) 771.175s 78 1881
product-lines/email_spec1_product14_false-unreach-call.cil.c false(reach) 535.779s 67 1306 timeout 902.071s 30 562 timeout 902.860s 24 872 false(reach) 372.224s 56 804
product-lines/email_spec1_product15_false-unreach-call.cil.c false(reach) 95.577s 66 1176 timeout 902.550s 29 410 timeout 902.373s 36 1046 false(reach) 349.822s 54 638
product-lines/email_spec1_product16_false-unreach-call.cil.c timeout 918.455s 36 1133 timeout 902.235s 29 410 timeout 902.050s 25 870 false(reach) 377.951s 59 741
product-lines/email_spec1_product20_false-unreach-call.cil.c false(reach) 506.154s 85 1830 timeout 902.243s 30 562 timeout 903.853s 24 922 timeout 901.577s 66 936
product-lines/email_spec1_product22_false-unreach-call.cil.c false(reach) 465.269s 80 1649 timeout 902.612s 29 410 timeout 901.908s 29 1061 false(reach) 451.738s 61 776
product-lines/email_spec1_product29_false-unreach-call.cil.c false(reach) 474.253s 91 2463 timeout 902.025s 34 698 timeout 902.759s 24 1222 false(reach) 637.037s 69 1156
product-lines/email_spec1_product30_false-unreach-call.cil.c false(reach) 138.248s 86 2356 timeout 902.525s 33 535 timeout 902.344s 31 1430 false(reach) 366.084s 65 1054
product-lines/email_spec1_product31_false-unreach-call.cil.c timeout 904.849s 41 1935 timeout 904.000s 33 535 timeout 900.833s 25 1346 false(reach) 431.761s 68 1273
product-lines/email_spec1_product32_false-unreach-call.cil.c false(reach) 856.407s 103 2895 timeout 902.116s 34 698 timeout 902.723s 24 1274 timeout 901.463s 77 1483
product-lines/email_spec1_product33_false-unreach-call.cil.c false(reach) 585.268s 98 3017 timeout 901.758s 33 535 timeout 903.054s 28 1562 false(reach) 564.142s 72 1353
product-lines/email_spec27_product17_false-unreach-call.cil.c false(reach) 594.108s 82 1490 timeout 903.819s 36 997 timeout 927.048s 18 598 false(reach) 450.256s 58 1023
product-lines/email_spec27_product18_false-unreach-call.cil.c false(reach) 262.963s 80 1322 timeout 946.632s 35 894 timeout 902.698s 18 508 false(reach) 405.921s 59 887
product-lines/email_spec27_product19_false-unreach-call.cil.c false(reach) 455.315s 84 1525 timeout 959.891s - - timeout 901.930s 19 542 false(reach) 289.925s 53 879
product-lines/email_spec27_product23_false-unreach-call.cil.c timeout 901.280s 79 1696 timeout 903.472s 42 1158 timeout 921.297s 18 598 false(reach) 794.845s 68 1159
product-lines/email_spec27_product24_false-unreach-call.cil.c timeout 898.310s 92 1610 timeout 909.560s 39 1052 timeout 902.552s 18 508 false(reach) 505.264s 66 983
product-lines/email_spec27_product25_false-unreach-call.cil.c timeout 901.735s 75 1736 timeout 902.612s 41 1145 timeout 903.276s 18 598 false(reach) 742.721s 67 1129
product-lines/email_spec27_product29_false-unreach-call.cil.c false(reach) 703.262s 97 2469 timeout 903.145s 36 1407 timeout 904.218s 18 886 false(reach) 588.628s 68 1845
product-lines/email_spec27_product30_false-unreach-call.cil.c false(reach) 669.760s 99 2355 timeout 902.213s 46 1533 timeout 905.338s 18 796 false(reach) 465.917s 72 1752
product-lines/email_spec27_product31_false-unreach-call.cil.c false(reach) 771.069s 103 2575 timeout 902.557s 46 1581 timeout 901.736s 19 846 false(reach) 430.927s 64 1763
product-lines/email_spec27_product33_false-unreach-call.cil.c timeout 901.992s 90 2468 timeout 901.844s 48 1664 timeout 917.823s 18 796 false(reach) 605.946s 79 1949
product-lines/email_spec27_product34_false-unreach-call.cil.c timeout 901.163s 62 2161 timeout 901.798s 36 1407 timeout 902.684s 18 886 false(reach) 803.473s 78 2110
product-lines/email_spec3_product13_false-unreach-call.cil.c timeout 902.368s 34 466 timeout 902.993s 36 675 timeout 902.064s 30 523 false(reach) 170.659s 37 635
product-lines/email_spec3_product17_false-unreach-call.cil.c timeout 901.805s 37 628 timeout 919.323s 39 847 timeout 902.072s 27 530 false(reach) 255.740s 39 806
product-lines/email_spec3_product18_false-unreach-call.cil.c timeout 902.381s 34 466 timeout 902.460s 36 897 timeout 902.103s 29 551 false(reach) 182.286s 37 635
product-lines/email_spec3_product19_false-unreach-call.cil.c timeout 901.308s 35 475 timeout 901.921s 39 913 timeout 902.122s 29 592 false(reach) 180.463s 37 635
product-lines/email_spec3_product23_false-unreach-call.cil.c timeout 901.948s 36 627 timeout 902.695s 40 1028 timeout 902.369s 27 530 false(reach) 257.324s 39 806
product-lines/email_spec3_product24_false-unreach-call.cil.c timeout 903.413s 35 475 timeout 902.299s 41 1100 timeout 901.778s 31 659 false(reach) 190.733s 37 635
product-lines/email_spec3_product25_false-unreach-call.cil.c timeout 904.853s 35 625 timeout 902.210s 40 1074 timeout 935.022s 27 530 false(reach) 276.850s 39 806
product-lines/email_spec3_product27_false-unreach-call.cil.c timeout 902.784s 36 627 timeout 902.061s 41 1152 timeout 903.270s 27 530 false(reach) 283.512s 39 806
product-lines/email_spec3_product28_false-unreach-call.cil.c timeout 902.492s 44 901 timeout 902.325s 44 1186 timeout 906.980s 27 718 false(reach) 225.952s 44 1174
product-lines/email_spec3_product29_false-unreach-call.cil.c timeout 902.418s 49 1117 timeout 901.695s 39 1286 timeout 902.209s 27 845 false(reach) 316.477s 46 1371
product-lines/email_spec3_product30_false-unreach-call.cil.c timeout 901.791s 44 901 timeout 921.847s 50 1455 timeout 902.352s 27 718 false(reach) 226.662s 44 1174
product-lines/email_spec3_product31_false-unreach-call.cil.c timeout 926.617s 43 891 timeout 901.755s 47 1478 timeout 904.396s 27 718 false(reach) 253.717s 44 1174
product-lines/email_spec3_product32_false-unreach-call.cil.c timeout 901.823s 50 1125 timeout 901.643s 42 1407 timeout 901.765s 27 845 false(reach) 299.740s 46 1371
product-lines/email_spec3_product33_false-unreach-call.cil.c timeout 918.489s 43 891 timeout 901.517s 51 1641 timeout 901.647s 27 718 false(reach) 242.867s 44 1174
product-lines/email_spec3_product34_false-unreach-call.cil.c timeout 902.325s 50 1125 timeout 901.746s 39 1317 timeout 901.840s 27 845 false(reach) 322.807s 46 1371
product-lines/email_spec3_product35_false-unreach-call.cil.c timeout 901.908s 50 1125 timeout 903.468s 40 1353 timeout 902.362s 27 845 false(reach) 330.694s 46 1371
product-lines/email_spec3_productSimulator_false-unreach-call.cil.c timeout 906.009s 50 1174 timeout 905.703s 31 1147 timeout 902.684s 27 903 false(reach) 415.492s 47 1415
product-lines/email_spec4_product18_false-unreach-call.cil.c timeout 902.239s 37 472 timeout 903.154s 45 869 timeout 902.679s 33 643 false(reach) 382.828s 50 600
product-lines/email_spec4_product19_false-unreach-call.cil.c timeout 901.871s 35 558 timeout 902.795s 45 912 timeout 903.313s 37 857 false(reach) 393.010s 53 694
product-lines/email_spec4_product23_false-unreach-call.cil.c timeout 901.902s 39 788 timeout 902.888s 44 1147 timeout 903.266s 34 619 false(reach) 883.473s 66 1067
product-lines/email_spec4_product24_false-unreach-call.cil.c timeout 902.688s 35 590 timeout 901.827s 48 1022 timeout 902.528s 40 948 false(reach) 659.701s 56 745
product-lines/email_spec4_product25_false-unreach-call.cil.c timeout 903.567s 39 1021 timeout 902.975s 43 1170 timeout 902.105s 37 762 false(reach) 890.212s 67 1174
product-lines/email_spec4_product30_false-unreach-call.cil.c timeout 902.013s 47 893 timeout 901.763s 44 1198 timeout 902.458s 27 414 false(reach) 488.622s 60 983
product-lines/email_spec4_product31_false-unreach-call.cil.c timeout 903.058s 45 1062 timeout 902.389s 44 1305 timeout 905.118s 28 432 false(reach) 524.325s 64 1196
product-lines/email_spec4_product33_false-unreach-call.cil.c timeout 902.587s 45 1102 timeout 912.978s 48 1481 timeout 902.333s 27 414 false(reach) 710.903s 67 1275
product-lines/email_spec6_product12_false-unreach-call.cil.c false(reach) 96.630s 52 590 timeout 959.475s - - timeout 920.538s 28 464 false(reach) 217.883s 47 705
product-lines/email_spec6_product14_false-unreach-call.cil.c false(reach) 136.800s 57 822 timeout 909.023s 32 803 timeout 902.613s 26 549 false(reach) 495.656s 57 917
product-lines/email_spec6_product15_false-unreach-call.cil.c false(reach) 182.638s 65 867 timeout 902.981s 32 753 timeout 908.260s 31 565 false(reach) 387.222s 57 823
product-lines/email_spec6_product16_false-unreach-call.cil.c false(reach) 305.646s 73 1176 timeout 902.616s 34 825 timeout 903.845s 28 545 false(reach) 403.702s 58 923
product-lines/email_spec6_product22_false-unreach-call.cil.c false(reach) 818.468s 78 1201 timeout 902.029s 38 942 timeout 902.455s 29 581 false(reach) 571.397s 64 972
product-lines/email_spec6_product28_false-unreach-call.cil.c false(reach) 86.379s 60 891 timeout 903.806s 37 976 timeout 903.889s 28 600 false(reach) 349.184s 58 1028
product-lines/email_spec6_product29_false-unreach-call.cil.c false(reach) 211.081s 72 1212 timeout 901.507s 35 1027 timeout 903.828s 26 664 false(reach) 680.240s 71 1295
product-lines/email_spec6_product30_false-unreach-call.cil.c false(reach) 260.078s 85 1612 timeout 903.361s 41 1140 timeout 905.882s 31 805 false(reach) 484.962s 67 1287
product-lines/email_spec6_product31_false-unreach-call.cil.c timeout 902.476s 65 1699 timeout 902.417s 43 1258 timeout 902.366s 28 759 false(reach) 486.372s 67 1492
product-lines/email_spec6_product33_false-unreach-call.cil.c timeout 902.003s 89 1888 timeout 901.737s 46 1429 timeout 904.227s 29 813 false(reach) 681.404s 74 1593
product-lines/email_spec7_product28_false-unreach-call.cil.c false(reach) 94.219s 66 916 timeout 902.318s 29 851 timeout 959.606s - - false(reach) 297.067s 59 1085
product-lines/email_spec7_product29_false-unreach-call.cil.c false(reach) 225.412s 78 1261 timeout 902.134s 32 1011 timeout 902.774s 24 682 false(reach) 808.494s 72 1359
product-lines/email_spec7_product30_false-unreach-call.cil.c false(reach) 231.707s 87 1507 timeout 906.047s 36 1243 timeout 901.573s 25 628 false(reach) 457.145s 65 1293
product-lines/email_spec7_product31_false-unreach-call.cil.c timeout 902.088s 70 1591 timeout 902.304s 40 1408 timeout 926.753s 24 601 false(reach) 458.004s 68 1450
product-lines/email_spec7_product33_false-unreach-call.cil.c timeout 901.763s 92 1759 timeout 902.918s 43 1586 timeout 907.072s 24 603 false(reach) 651.670s 72 1539
product-lines/email_spec8_product15_false-unreach-call.cil.c false(reach) 527.301s 64 1270 timeout 916.070s 31 412 timeout 907.939s 33 753 false(reach) 318.086s 54 717
product-lines/email_spec8_product16_false-unreach-call.cil.c timeout 901.236s 74 2025 timeout 906.714s 31 412 timeout 903.303s 34 866 false(reach) 330.287s 58 868
product-lines/email_spec8_product20_false-unreach-call.cil.c false(reach) 596.047s 85 2133 timeout 901.927s 30 567 timeout 906.975s 34 927 false(reach) 759.654s 66 1237
product-lines/email_spec8_product21_false-unreach-call.cil.c timeout 901.465s 83 2617 timeout 902.055s 30 567 timeout 902.933s 37 1083 false(reach) 861.366s 71 1494
product-lines/email_spec8_product22_false-unreach-call.cil.c timeout 902.644s 67 1724 timeout 902.178s 31 412 timeout 902.371s 39 962 false(reach) 364.388s 56 893
product-lines/email_spec8_product30_false-unreach-call.cil.c timeout 902.550s 66 2339 timeout 921.949s 33 542 timeout 907.503s 36 1266 false(reach) 389.495s 64 1246
product-lines/email_spec8_product31_false-unreach-call.cil.c timeout 909.058s 56 2788 timeout 903.571s 33 542 timeout 902.753s 42 1623 false(reach) 458.002s 67 1536
product-lines/email_spec8_product33_false-unreach-call.cil.c timeout 904.092s 68 2931 timeout 901.873s 33 542 timeout 902.498s 46 1778 false(reach) 557.371s 66 1592
product-lines/email_spec9_product15_false-unreach-call.cil.c false(reach) 519.040s 64 1270 timeout 903.730s 31 412 timeout 959.873s - - false(reach) 328.460s 54 717
product-lines/email_spec9_product16_false-unreach-call.cil.c timeout 901.745s 73 2024 timeout 902.447s 31 412 timeout 903.279s 34 866 false(reach) 359.186s 58 868
product-lines/email_spec9_product20_false-unreach-call.cil.c false(reach) 581.418s 85 2133 timeout 901.861s 30 567 timeout 905.917s 34 927 false(reach) 788.794s 66 1237
product-lines/email_spec9_product21_false-unreach-call.cil.c timeout 901.945s 81 2614 timeout 922.328s 30 567 timeout 907.788s 37 1083 false(reach) 875.111s 71 1494
product-lines/email_spec9_product22_false-unreach-call.cil.c timeout 902.316s 67 1724 timeout 902.382s 31 412 timeout 903.040s 39 962 false(reach) 372.785s 56 893
product-lines/email_spec9_product30_false-unreach-call.cil.c timeout 901.773s 69 2381 timeout 928.574s 33 542 timeout 902.761s 36 1266 false(reach) 419.295s 64 1246
product-lines/email_spec9_product31_false-unreach-call.cil.c timeout 901.533s 56 2788 timeout 902.247s 33 542 timeout 902.746s 42 1623 false(reach) 457.779s 67 1536
product-lines/email_spec9_product33_false-unreach-call.cil.c timeout 925.614s 68 2931 timeout 901.953s 33 542 timeout 904.179s 46 1778 false(reach) 520.765s 66 1592
product-lines/email_spec0_product27_true-unreach-call.cil.c true 12.146s 7 219 timeout 903.449s 39 1146 true 8.031s 1 34 timeout 924.815s 54 1182
product-lines/email_spec0_product36_true-unreach-call.cil.c true 9.840s 6 99 true 56.612s 24 510 true 6.632s 1 19 timeout 909.341s 35 471
product-lines/email_spec0_product40_true-unreach-call.cil.c true 11.391s 6 117 true 82.879s 25 600 true 7.219s 1 22 timeout 912.871s 43 619
product-lines/email_spec11_product23_true-unreach-call.cil.c true 12.123s 7 191 true 487.238s 33 853 true 7.525s 1 30 timeout 913.999s 43 864
product-lines/email_spec11_product27_true-unreach-call.cil.c true 11.849s 7 191 true 650.315s 33 853 true 7.670s 1 30 timeout 959.735s - -
product-lines/email_spec1_product12_true-unreach-call.cil.c true 14.990s 16 381 timeout 902.642s 29 410 true 231.061s 18 535 true 181.039s 38 479
product-lines/email_spec1_product28_true-unreach-call.cil.c true 18.468s 21 803 timeout 902.021s 33 535 timeout 902.694s 22 991 true 321.249s 49 767
product-lines/email_spec27_product13_true-unreach-call.cil.c true 174.116s 60 1122 timeout 907.387s 31 809 timeout 905.514s 19 542 true 256.403s 45 777
product-lines/email_spec27_product28_true-unreach-call.cil.c true 157.257s 78 2004 timeout 902.477s 40 1355 timeout 901.458s 19 846 true 338.405s 55 1514
product-lines/email_spec4_product17_true-unreach-call.cil.c true 247.595s 39 508 true 61.865s 25 607 timeout 952.195s 25 386 true 419.327s 45 664
product-lines/email_spec4_product28_true-unreach-call.cil.c timeout 905.072s 46 659 true 49.540s 27 705 timeout 901.463s 28 432 true 320.631s 51 766
product-lines/email_spec4_product29_true-unreach-call.cil.c timeout 920.436s 45 803 true 387.806s 32 884 timeout 902.075s 30 570 true 535.188s 53 957
product-lines/email_spec8_product12_true-unreach-call.cil.c true 16.540s 18 442 timeout 932.892s 31 412 true 240.206s 18 588 true 285.034s 46 554
product-lines/email_spec8_product14_true-unreach-call.cil.c true 444.285s 61 1426 timeout 901.969s 30 567 timeout 903.196s 31 815 true 455.464s 53 859
product-lines/email_spec8_product28_true-unreach-call.cil.c true 22.197s 23 917 timeout 902.074s 33 542 timeout 905.603s 22 1060 true 289.406s 57 938
product-lines/email_spec8_product29_true-unreach-call.cil.c true 507.232s 82 2651 timeout 902.241s 34 712 timeout 902.327s 38 1373 true 513.991s 64 1404
product-lines/email_spec9_product12_true-unreach-call.cil.c true 16.216s 18 442 timeout 902.375s 31 412 true 243.131s 18 588 true 232.485s 46 554
product-lines/email_spec9_product14_true-unreach-call.cil.c true 451.426s 61 1426 timeout 903.077s 30 567 timeout 904.355s 31 815 true 384.855s 53 859
product-lines/email_spec9_product28_true-unreach-call.cil.c true 23.353s 23 917 timeout 902.170s 33 542 timeout 902.873s 22 1060 true 312.279s 57 938
product-lines/email_spec9_product29_true-unreach-call.cil.c true 485.249s 82 2651 timeout 903.209s 34 712 timeout 935.209s 38 1373 true 577.241s 64 1404
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(reach) 8.167s 10 70 false(reach) 9.221s 11 77 timeout 901.749s 6 65 false(reach) 7.756s 10 69
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(reach) 13.061s 15 138 false(reach) 12.845s 17 160 timeout 901.427s 9 127 false(reach) 12.194s 15 142
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(reach) 18.525s 20 221 false(reach) 18.554s 22 271 timeout 902.303s 12 208 false(reach) 15.014s 20 241
systemc/token_ring.04_false-unreach-call_false-termination.cil.c false(reach) 31.855s 25 324 false(reach) 33.137s 27 410 timeout 902.492s 15 307 false(reach) 29.206s 25 365
systemc/token_ring.05_false-unreach-call_false-termination.cil.c false(reach) 119.181s 30 450 false(reach) 112.323s 32 579 timeout 902.818s 18 424 false(reach) 142.252s 30 516
systemc/token_ring.06_false-unreach-call_false-termination.cil.c false(reach) 779.713s 35 599 false(reach) 805.457s 37 779 timeout 903.136s 21 559 false(reach) 829.453s 35 695
systemc/toy1_false-unreach-call_false-termination.cil.c false(reach) 17.506s 20 99 false(reach) 64.678s 20 130 timeout 901.741s 8 59 false(reach) 14.858s 21 129
systemc/toy2_false-unreach-call_false-termination.cil.c false(reach) 17.398s 19 98 false(reach) 63.747s 20 130 timeout 902.284s 8 59 false(reach) 16.333s 20 127
systemc/transmitter.07_false-unreach-call_false-termination.cil.c false(reach) 605.826s 40 740 timeout 905.399s 32 939 false(reach) 312.638s 32 1165 timeout 924.577s 31 719
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(reach) 21.835s 43 988 timeout 902.029s 13 650 false(reach) 43.142s 43 1002 false(reach) 20.912s 43 1213
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(reach) 22.921s 46 1126 timeout 901.909s 13 689 false(reach) 36.748s 46 1141 false(reach) 20.761s 46 1382
systemc/pipeline_true-unreach-call_false-termination.cil.c unknown 201.897s 34 315 timeout 901.467s 16 608 timeout 902.676s 17 531 timeout 905.998s 25 279
systemc/token_ring.06_true-unreach-call_false-termination.cil.c unknown 788.300s 36 591 unknown 826.901s 36 754 unknown 356.788s 29 704 timeout 901.228s 35 686
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c timeout 894.865s 6 14 unknown 890.528s 6 14 unknown 870.046s 6 21 unknown 875.034s 6 14
test/programs/ status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes
total tasks 529 262232.212 9793 3298109 529 432889.949 7053 1646662 529 343967.115 6118 4305013 529 369274.386 10541 7778412
correct results 303 61838.607 5537 623151 87 30976.373 1465 511640 192 43843.375 1133 356292 204 75112.999 6839 204930
false negatives 0 - - - 0 - - - 0 - - - 0 - - -
false positives 2 57.461 2 80 0 - - - 2 55.891 2 80 0 - - -
false properties 0 - - - 0 - - - 0 - - - 0 - - -
score (529 tasks) 460 - - - 106 - - - 276 - - - 246 - - -
Run set DOMAIN_BEST_SHALLOW DOMAIN_WORST_SHALLOW LONGEST SHORTEST