Tool ULTIMATE Automizer 0.1.24-f4eb214f ULTIMATE Automizer 0.1.24-13a467a8
Limits timelimit: 60 s, memlimit: 8000 MB, CPU core limit: 2
Host struebli
OS Linux-5.1.5-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.6
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz, Turbo Boost: enabled; RAM: 135154 MB
Date of execution 2019-10-13 17:37:59 CEST 2019-10-14 21:37:03 CEST
Run set Taipan Sifa 13.3200-nr Taipan Sifa 13.3200-nr
Options --force-no-wrapper -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Default.epf --traceabstraction.trace.refinement.strategy SIFA_TAIPAN --sifa.abstract.domain CompoundDomain --rcfgbuilder.size.of.a.code.block LoopFreeBlock --sifa.call.summarizer TopInputCallSummarizer --sifa.fluid SizeLimitFluid --sifa.simplification.technique SIMPLIFY_QUICK --force-no-wrapper -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Default.epf --traceabstraction.trace.refinement.strategy SIFA_TAIPAN --sifa.abstract.domain CompoundDomain --rcfgbuilder.size.of.a.code.block LoopFreeBlock --sifa.call.summarizer TopInputCallSummarizer --sifa.fluid SizeLimitFluid --sifa.simplification.technique SIMPLIFY_QUICK
../../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memory (MB) status cputime (s) walltime (s) memory (MB)
array-examples/data_structures_set_multi_proc_ground-1.yml error: exception 37.7  21.4  548 timeout 61.5  37.9  751
array-examples/relax-2.yml error: exception 41.2  28.7  412 timeout 61.0  48.4  439
array-examples/standard_strcmp_ground.yml error: exception 9.97 6.12 250 timeout 60.1  45.1  546
eca-rers2012/Problem01_label01.yml error: exception 20.0  11.1  371 timeout 61.3  44.1  1470
eca-rers2012/Problem01_label02.yml error: exception 22.0  12.2  405 timeout 60.5  43.3  1350
eca-rers2012/Problem01_label04.yml error: exception 17.1  9.61 344 timeout 60.5  43.4  1500
eca-rers2012/Problem01_label05.yml error: exception 19.6  11.1  367 timeout 60.8  39.5  1300
eca-rers2012/Problem01_label07.yml error: exception 19.2  10.9  371 timeout 60.2  43.1  1480
eca-rers2012/Problem01_label08.yml error: exception 18.0  9.92 363 timeout 60.5  44.2  1440
eca-rers2012/Problem01_label10.yml error: exception 16.9  9.34 359 timeout 60.4  44.3  1460
eca-rers2012/Problem01_label14.yml error: exception 18.7  10.3  375 timeout 60.4  44.2  1350
eca-rers2012/Problem01_label15.yml error: exception 22.0  12.4  394 timeout 60.5  42.6  1270
eca-rers2012/Problem01_label17.yml error: exception 18.4  10.5  374 timeout 60.6  43.0  1290
eca-rers2012/Problem01_label20.yml error: exception 25.2  14.1  424 timeout 60.4  43.6  1410
eca-rers2012/Problem01_label21.yml error: exception 18.7  10.4  361 timeout 60.5  42.9  1300
eca-rers2012/Problem01_label25.yml error: exception 23.0  13.2  405 timeout 60.9  44.0  1770
eca-rers2012/Problem01_label26.yml error: exception 19.7  11.2  385 timeout 60.4  43.2  1190
eca-rers2012/Problem01_label29.yml error: exception 26.8  15.2  427 timeout 60.8  41.5  1500
eca-rers2012/Problem01_label32.yml error: exception 20.2  11.3  370 timeout 61.0  46.5  1360
eca-rers2012/Problem01_label33.yml error: exception 19.7  10.9  371 timeout 60.2  44.4  1330
eca-rers2012/Problem01_label34.yml error: exception 18.8  10.6  370 timeout 60.2  45.0  1530
eca-rers2012/Problem01_label35.yml error: exception 21.6  12.0  403 timeout 60.6  43.9  1360
eca-rers2012/Problem01_label37.yml error: exception 19.6  11.1  397 timeout 60.3  44.6  1260
eca-rers2012/Problem01_label38.yml error: exception 22.9  12.9  405 timeout 60.2  44.4  1350
eca-rers2012/Problem01_label40.yml error: exception 17.5  9.82 351 timeout 60.4  42.9  1270
eca-rers2012/Problem01_label41.yml error: exception 19.8  11.4  381 timeout 60.4  43.3  1280
eca-rers2012/Problem01_label43.yml error: exception 18.3  10.4  359 timeout 60.2  45.4  1320
eca-rers2012/Problem01_label44.yml error: exception 19.2  10.7  368 timeout 60.2  44.8  1280
eca-rers2012/Problem01_label46.yml error: exception 16.9  9.34 338 timeout 60.7  42.2  1290
eca-rers2012/Problem01_label47.yml error: exception 23.4  13.2  411 timeout 60.5  42.6  1360
eca-rers2012/Problem01_label50.yml error: exception 22.2  12.5  370 timeout 60.2  44.4  1380
eca-rers2012/Problem01_label53.yml error: exception 23.3  12.9  408 timeout 60.4  43.0  1240
eca-rers2012/Problem01_label55.yml error: exception 20.9  11.6  374 timeout 60.4  42.9  1340
eca-rers2012/Problem01_label56.yml error: exception 18.7  10.2  365 timeout 60.7  43.0  1220
eca-rers2012/Problem01_label57.yml error: exception 24.5  14.0  430 timeout 60.6  42.1  1220
eca-rers2012/Problem02_label00.yml error: exception 20.1  11.3  386 timeout 60.1  40.3  1120
eca-rers2012/Problem02_label01.yml error: exception 20.1  11.1  374 timeout 60.7  41.3  1200
eca-rers2012/Problem02_label02.yml error: exception 19.2  10.5  366 timeout 60.1  40.5  1140
eca-rers2012/Problem02_label04.yml error: exception 19.9  11.3  388 true 54.1  35.7  841
eca-rers2012/Problem02_label06.yml error: exception 21.1  12.1  385 timeout 60.5  38.7  1020
eca-rers2012/Problem02_label07.yml error: exception 18.5  10.2  364 true 54.1  34.6  864
eca-rers2012/Problem02_label08.yml error: exception 20.0  11.4  368 timeout 60.8  41.8  1140
eca-rers2012/Problem02_label09.yml error: exception 19.1  11.0  377 timeout 60.6  40.5  1160
eca-rers2012/Problem02_label11.yml error: exception 18.8  10.5  374 timeout 61.1  41.4  1110
eca-rers2012/Problem02_label13.yml error: exception 19.6  11.3  414 timeout 61.1  42.4  799
eca-rers2012/Problem02_label14.yml error: exception 20.7  11.8  370 timeout 61.0  43.2  1170
eca-rers2012/Problem02_label17.yml error: exception 18.7  10.4  373 timeout 61.2  42.0  1070
eca-rers2012/Problem02_label20.yml error: exception 18.2  10.2  355 timeout 60.5  40.4  1170
eca-rers2012/Problem02_label22.yml error: exception 21.6  12.3  403 timeout 60.1  40.1  842
eca-rers2012/Problem02_label23.yml error: exception 17.1  9.86 394 timeout 60.6  41.3  1160
eca-rers2012/Problem02_label25.yml error: exception 18.9  10.5  386 timeout 61.1  42.7  1070
eca-rers2012/Problem02_label26.yml error: exception 17.7  9.90 381 timeout 61.7  39.4  1030
eca-rers2012/Problem02_label28.yml error: exception 18.6  10.5  360 timeout 60.2  41.0  1020
eca-rers2012/Problem02_label29.yml error: exception 20.0  11.0  371 timeout 61.0  38.1  998
eca-rers2012/Problem02_label30.yml error: exception 18.5  10.3  369 timeout 60.3  40.1  1140
eca-rers2012/Problem02_label31.yml error: exception 18.8  10.4  377 timeout 61.0  41.9  1090
eca-rers2012/Problem02_label32.yml error: exception 20.9  11.9  383 true 44.5  29.0  728
eca-rers2012/Problem02_label34.yml error: exception 19.3  10.7  359 timeout 61.8  39.6  1060
eca-rers2012/Problem02_label35.yml error: exception 18.4  10.4  365 timeout 61.1  41.5  979
eca-rers2012/Problem02_label36.yml error: exception 18.2  10.3  362 timeout 61.1  41.5  1210
eca-rers2012/Problem02_label39.yml error: exception 19.9  11.4  391 timeout 61.2  40.8  1210
eca-rers2012/Problem02_label40.yml error: exception 17.5  9.82 356 timeout 60.6  39.9  1210
eca-rers2012/Problem02_label41.yml error: exception 21.1  12.2  394 timeout 60.8  40.9  826
eca-rers2012/Problem02_label42.yml error: exception 19.2  10.7  369 timeout 62.0  40.4  1100
eca-rers2012/Problem02_label44.yml error: exception 19.4  10.7  368 timeout 60.1  40.8  1090
eca-rers2012/Problem02_label45.yml error: exception 26.4  14.7  436 timeout 61.9  38.0  862
eca-rers2012/Problem02_label46.yml error: exception 20.1  11.4  388 timeout 60.3  40.2  1190
eca-rers2012/Problem02_label48.yml error: exception 18.5  10.6  383 timeout 60.1  40.5  800
eca-rers2012/Problem02_label49.yml error: exception 20.7  11.3  382 timeout 61.3  42.8  1080
eca-rers2012/Problem02_label50.yml error: exception 23.2  13.0  414 timeout 60.4  40.1  1150
eca-rers2012/Problem02_label51.yml error: exception 20.4  11.4  374 timeout 61.2  42.3  1080
eca-rers2012/Problem02_label52.yml error: exception 19.9  11.4  390 timeout 61.2  41.4  1150
eca-rers2012/Problem02_label53.yml error: exception 19.0  10.6  378 timeout 60.7  41.8  1140
eca-rers2012/Problem02_label54.yml error: exception 23.9  13.4  419 timeout 61.6  39.9  1160
eca-rers2012/Problem02_label55.yml error: exception 21.9  12.3  422 timeout 60.3  39.8  979
eca-rers2012/Problem02_label56.yml error: exception 19.2  11.0  371 true 55.6  36.6  790
eca-rers2012/Problem02_label57.yml error: exception 18.9  10.5  379 timeout 60.2  39.6  996
eca-rers2012/Problem02_label59.yml error: exception 24.8  14.3  434 timeout 61.8  40.4  919
eca-rers2012/Problem03_label06.yml error: exception 29.0  16.3  578 timeout 60.8  40.5  1370
eca-rers2012/Problem03_label08.yml error: exception 43.6  24.1  748 timeout 61.0  36.2  1370
eca-rers2012/Problem03_label10.yml error: exception 42.2  23.0  722 timeout 61.0  34.1  1200
eca-rers2012/Problem03_label13.yml error: exception 56.2  30.5  903 timeout 60.3  33.8  1150
eca-rers2012/Problem03_label16.yml error: exception 27.4  15.0  508 timeout 60.7  41.3  1350
eca-rers2012/Problem03_label22.yml error: exception 47.9  26.0  818 timeout 61.0  35.6  1330
eca-rers2012/Problem03_label24.yml error: exception 31.3  17.0  562 timeout 61.1  36.8  1460
eca-rers2012/Problem03_label27.yml error: exception 48.3  25.9  741 timeout 60.1  34.4  1190
eca-rers2012/Problem03_label29.yml error: exception 42.6  23.5  772 timeout 61.2  36.2  1460
eca-rers2012/Problem03_label30.yml error: exception 48.2  26.6  814 timeout 60.5  33.3  1190
eca-rers2012/Problem03_label31.yml error: exception 47.0  26.9  757 timeout 60.9  36.0  1200
eca-rers2012/Problem03_label32.yml error: exception 41.8  23.0  694 timeout 60.7  37.1  1410
eca-rers2012/Problem03_label38.yml error: exception 29.0  15.6  536 timeout 61.1  38.9  1390
eca-rers2012/Problem03_label39.yml error: exception 44.5  24.4  751 timeout 60.2  34.0  1320
eca-rers2012/Problem03_label40.yml error: exception 31.4  17.7  672 timeout 61.4  37.2  1300
eca-rers2012/Problem03_label43.yml error: exception 47.4  26.2  820 timeout 60.6  33.9  1120
eca-rers2012/Problem03_label45.yml error: exception 30.8  17.2  588 timeout 60.6  37.7  1090
eca-rers2012/Problem03_label48.yml error: exception 35.7  19.6  650 timeout 61.6  36.5  1380
eca-rers2012/Problem03_label54.yml error: exception 27.9  15.2  581 timeout 60.6  37.4  1420
eca-rers2012/Problem03_label56.yml error: exception 47.8  26.2  814 timeout 60.6  33.5  1150
eca-rers2012/Problem03_label58.yml error: exception 36.0  20.0  601 timeout 61.6  37.5  1450
eca-rers2012/Problem04_label03.yml timeout (error: exception) 61.5  34.2  1040 timeout 62.0  34.9  1220
eca-rers2012/Problem04_label10.yml error: exception 52.1  30.1  1110 timeout 61.7  33.7  1220
eca-rers2012/Problem04_label21.yml error: exception 53.0  30.8  1160 timeout 62.0  34.4  1260
eca-rers2012/Problem04_label23.yml error: exception 53.6  31.4  1100 timeout 61.9  35.2  1220
eca-rers2012/Problem04_label25.yml error: exception 52.6  30.4  1070 timeout 61.8  34.0  1210
eca-rers2012/Problem04_label28.yml error: exception 49.6  29.5  1080 timeout 60.8  34.6  1310
eca-rers2012/Problem04_label30.yml error: exception 53.0  30.4  1130 timeout 61.6  33.8  1270
eca-rers2012/Problem04_label33.yml error: exception 50.3  29.3  1090 timeout 61.9  34.7  1260
eca-rers2012/Problem04_label34.yml error: exception 54.4  30.6  1110 timeout 60.4  34.5  1300
eca-rers2012/Problem04_label42.yml error: exception 58.7  35.7  1160 timeout 62.0  37.3  1210
eca-rers2012/Problem15_label03.yml error: exception 58.1  38.0  659 timeout 61.4  41.8  700
eca-rers2012/Problem15_label14.yml error: exception 45.2  29.1  577 timeout 60.7  38.0  947
eca-rers2012/Problem15_label17.yml error: exception 58.6  38.9  626 timeout 61.0  38.1  1080
eca-rers2012/Problem15_label23.yml error: exception 47.7  31.5  544 timeout 62.0  40.7  789
eca-rers2012/Problem15_label34.yml error: exception 52.6  35.2  672 timeout 62.0  39.2  700
eca-rers2012/Problem15_label35.yml error: exception 56.1  37.8  598 timeout 60.9  38.3  1190
eca-rers2012/Problem15_label43.yml error: exception 59.3  39.6  687 timeout 62.0  40.1  833
eca-rers2012/Problem15_label44.yml error: exception 41.4  25.8  593 timeout 60.3  37.5  1700
eca-rers2012/Problem15_label55.yml error: exception 51.8  33.9  618 timeout 60.6  38.7  1380
eca-rers2012/Problem15_label56.yml error: exception 52.2  34.3  677 timeout 60.6  38.4  964
eca-rers2012/Problem16_label02.yml error: exception 59.1  39.9  578 timeout 60.7  39.2  1000
eca-rers2012/Problem16_label09.yml error: exception 51.9  35.8  596 timeout 62.0  40.9  746
eca-rers2012/Problem16_label10.yml error: exception 47.1  29.7  558 timeout 60.3  39.1  1000
eca-rers2012/Problem16_label12.yml error: exception 54.3  35.5  648 timeout 60.1  36.6  836
eca-rers2012/Problem16_label13.yml error: exception 52.6  34.6  584 timeout 61.2  37.2  974
eca-rers2012/Problem16_label21.yml error: exception 49.5  32.6  600 timeout 62.0  41.7  694
eca-rers2012/Problem16_label32.yml timeout (error: exception) 60.4  40.9  633 timeout 61.6  37.9  1050
eca-rers2012/Problem16_label34.yml error: exception 56.1  36.7  636 timeout 60.9  42.4  619
eca-rers2012/Problem16_label39.yml error: exception 49.0  30.6  607 timeout 60.9  38.3  995
eca-rers2012/Problem16_label40.yml error: exception 58.4  38.9  709 timeout 60.3  43.3  566
eca-rers2012/Problem16_label42.yml error: exception 53.4  34.8  684 timeout 62.0  38.2  730
eca-rers2012/Problem16_label47.yml error: exception 50.1  33.7  576 timeout 61.6  38.6  1060
eca-rers2012/Problem16_label48.yml error: exception 54.7  36.3  569 timeout 62.0  41.6  911
eca-rers2012/Problem16_label49.yml timeout (error: exception) 60.9  40.6  693 timeout 61.6  40.1  634
eca-rers2012/Problem16_label50.yml timeout (error: exception) 60.8  42.3  524 timeout 60.7  41.0  1050
eca-rers2012/Problem16_label53.yml error: exception 57.9  39.9  592 timeout 62.0  40.7  702
eca-rers2012/Problem16_label56.yml timeout (error: exception) 61.3  41.0  736 timeout 62.0  41.0  778
eca-rers2012/Problem16_label57.yml timeout (error: exception) 60.5  40.4  713 timeout 61.9  39.1  728
heap-data/running_example.yml error: exception 57.2  44.0  425 timeout (error: exception) 61.0  47.6  429
ldv-commit-tester/main3_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef-1.yml timeout 61.4  36.7  994 timeout (true) 60.1  36.4  1010
ldv-commit-tester/main3_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.yml timeout 61.0  36.3  1020 true 56.5  34.6  971
ldv-commit-tester/main3_drivers-staging-usbip-vhci-hcd-ko--132_1a--927c3fa-1.yml timeout (true) 61.5  44.2  1420 timeout 61.8  43.5  1250
ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef-1.yml timeout (true) 60.9  36.3  999 timeout 60.5  34.6  883
ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.yml timeout 60.3  34.4  883 true 56.3  35.2  963
ldv-linux-3.0/usb_urb-drivers-media-video-msp3400.ko.cil.out.yml timeout 61.5  40.9  1140 timeout (true) 60.0  40.5  1190
ldv-linux-3.0/usb_urb-drivers-video-arkfb.ko.cil.out.yml true 56.9  38.6  932 timeout (true) 61.3  40.5  967
ldv-linux-3.14/linux-3.14_linux-usb-dev_drivers-net-irda-via-ircc.cil.yml true 59.8  37.0  970 timeout (true) 61.2  37.3  968
ldv-linux-3.16-rc1/205_9a_array_safes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--arcnet--capmode.ko-entry_point.cil.out.yml error: exception 35.6  19.8  600 timeout 61.2  41.3  1140
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--media--usb--dvb-usb--dvb-usb-gp8psk.ko-entry_point.cil.out.yml true 58.1  39.7  1300 timeout (true) 62.0  41.7  1180
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--nfc--st21nfca--st21nfca_i2c.ko-entry_point.cil.out.yml timeout 61.0  35.3  1040 timeout (true) 60.9  35.9  1010
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--b1pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 59.5  44.8  792 timeout 60.9  49.6  741
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--stb6000.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 59.3  48.8  411 timeout 60.9  49.4  377
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tda826x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 59.7  47.8  414 timeout 60.5  48.1  437
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--net--arcnet--rfc1201.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 51.6  37.0  477 timeout 60.2  46.1  461
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--tty--serial--mfd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml timeout 61.8  44.3  584 true 59.6  44.0  642
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-sddr55.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 56.7  43.1  480 timeout 60.8  50.2  448
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--isdn--hardware--avm--b1pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml timeout (true) 60.4  49.0  623 true 57.2  45.3  574
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--common--tuners--tda8290.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 58.0  42.8  672 timeout 60.9  45.1  630
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--common--tuners--tda9887.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml timeout (true) 60.4  46.2  884 timeout 60.3  45.0  948
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--ttpci--budget-patch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 59.3  46.2  518 timeout 61.0  45.5  497
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--staging--comedi--drivers--8255.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 56.1  45.8  371 timeout 60.9  50.0  349
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--usb--storage--ums-sddr55.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml timeout (true) 60.0  47.8  476 true 50.3  38.7  497
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--ethernet--natsemi--ns83820.ko-entry_point.cil.out.yml true 58.7  34.7  956 timeout 60.3  33.3  888
ldv-regression/ex3_forlist.yml error: exception 38.7  25.4  562 timeout 61.1  40.8  692
ldv-regression/rule60_list2.yml error: exception 16.6  10.4  348 true 48.1  33.6  615
ldv-sets/test_mutex_unbounded-2.yml error: exception 42.4  33.2  405 timeout 61.1  41.5  684
ldv-validator-v0.6/linux-stable-1b0b0ac-1-108_1a-drivers--net--slip.ko-entry_point.cil.out.yml timeout 60.1  34.1  746 unknown: overapproxcex 58.0  32.6  796
ldv-validator-v0.8/linux-stable-39a1d13-1-101_1a-drivers--block--virtio_blk.ko-entry_point_ldv-val-v0.8.cil.out.yml error: exception 44.2  24.0  793 timeout 60.5  37.2  998
list-ext3-properties/dll_circular_traversal-2.yml error: exception 11.4  6.66 268 timeout 60.7  37.1  569
list-ext3-properties/dll_nullified-2.yml error: exception 12.3  7.10 267 timeout 60.7  42.1  683
list-ext3-properties/sll_length_check-2.yml error: exception 11.0  6.52 269 timeout 60.8  44.1  593
list-ext3-properties/sll_nondet_insert-2.yml error: exception 14.8  8.70 313 timeout 60.7  43.1  643
list-ext3-properties/sll_of_sll_nondet_append-1.yml error: exception 17.6  10.3  336 timeout 61.5  41.0  709
list-ext3-properties/sll_of_sll_nondet_append-2.yml error: exception 13.1  7.31 317 timeout 60.2  41.3  694
list-simple/dll2n_append_equal.yml error: exception 14.4  8.07 325 timeout 60.1  45.8  456
list-simple/dll2n_append_unequal.yml error: exception 29.3  19.6  321 timeout 60.1  41.7  427
list-simple/dll2n_insert_equal.yml error: exception 19.4  11.1  326 timeout 60.4  43.7  403
list-simple/sll2c_remove_all.yml error: exception 14.0  7.77 306 timeout 61.7  38.7  720
list-simple/sll2c_update_all.yml error: exception 11.1  6.49 283 timeout 60.4  43.5  695
list-simple/sll2c_update_all_reverse.yml error: exception 13.6  8.26 326 timeout 61.0  40.9  727
list-simple/sll2n_append_equal.yml error: exception 13.2  7.42 320 timeout 61.1  47.9  686
list-simple/sll2n_append_unequal.yml error: exception 13.4  7.58 311 timeout 60.9  50.6  643
list-simple/sll2n_prepend_equal.yml error: exception 13.8  7.65 312 timeout 60.8  47.0  533
list-simple/sll2n_prepend_unequal.yml error: exception 13.2  7.37 306 timeout 60.3  47.2  534
loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml timeout 60.9  48.6  368 true 55.7  43.9  388
loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml true 58.1  47.9  353 timeout 60.3  47.3  396
loop-invgen/sendmail-close-angle.yml timeout (true) 60.2  38.8  721 timeout 60.6  43.7  683
nla-digbench/fermat2.yml true 20.4  16.3  283 timeout 60.3  56.9  237
product-lines/email_spec4_product28.cil.yml true 58.9  38.8  724 timeout 61.0  38.2  755
product-lines/minepump_spec2_product39.cil.yml true 28.6  16.6  493 timeout 60.6  44.9  1210
product-lines/minepump_spec2_product40.cil.yml timeout 60.9  43.4  1170 true 28.6  16.9  482
product-lines/minepump_spec2_product63.cil.yml true 37.3  22.3  605 timeout 61.0  43.8  1180
product-lines/minepump_spec5_productSimulator.cil.yml error: exception 56.3  38.9  997 timeout 61.1  41.0  1110
seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.yml error: exception 17.9  9.95 357 timeout 60.5  39.2  981
seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.UNBOUNDED.pals.yml error: exception 19.0  10.4  385 timeout 60.3  38.9  1100
systemc/bist_cell.cil.yml error: exception 15.2  8.50 365 timeout 61.2  41.2  1090
systemc/kundu1.cil.yml error: exception 40.2  22.9  717 timeout 61.1  34.9  1230
systemc/pc_sfifo_1.cil-2.yml error: exception 27.6  14.8  526 timeout 60.1  39.0  981
systemc/pc_sfifo_2.cil-1.yml error: exception 21.7  12.0  450 timeout 61.1  40.5  915
systemc/token_ring.01.cil-1.yml error: exception 21.3  12.2  447 timeout 61.4  40.0  1310
systemc/token_ring.01.cil-2.yml error: exception 21.4  12.1  452 timeout 60.9  40.2  1200
systemc/token_ring.02.cil-1.yml error: exception 31.7  19.0  676 timeout 60.2  38.3  1470
systemc/token_ring.02.cil-2.yml error: exception 30.5  18.0  652 timeout 60.9  41.1  1360
systemc/token_ring.03.cil-2.yml error: exception 40.2  23.0  936 timeout 61.0  35.0  1340
systemc/toy1.cil.yml error: exception 55.7  34.4  1060 timeout 61.7  37.5  1210
../../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memory (MB) status cputime (s) walltime (s) memory (MB)
total 204 7170 4480 113000 204 12300 8250 209000
Run set Taipan Sifa 13.3200-nr Taipan Sifa 13.3200-nr