Tool ULTIMATE Automizer 0.1.23-4eac5666
Limits timelimit: 300 s, memlimit: 8000 MB, CPU core limit: 2
Host struebli
OS Linux-4.16.18-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.4.1
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz; RAM: 135158 MB
Date of execution 2018-09-23 19:30:47 CEST
Run set Automizer Old Automizer New CodeCheck Old CodeCheck New
Options --generate-csv --csv-dir csv -tc ../../../trunk/examples/toolchains/AutomizerBplInline.xml -s ../../../trunk/examples/settings/pu-bench/svcomp-Reach-32bit-Automizer_Default.epf --generate-csv --csv-dir csv -tc ../../../trunk/examples/toolchains/AutomizerBplInline.xml -s ../../../trunk/examples/settings/pu-bench/svcomp-Reach-32bit-Automizer_Default_PUPT.epf --generate-csv --csv-dir csv -tc ../../../trunk/examples/toolchains/KojakBplInline.xml -s ../../../trunk/examples/settings/pu-bench/svcomp-Reach-32bit-Kojak_Default.epf --generate-csv --csv-dir csv -tc ../../../trunk/examples/toolchains/KojakBplInline.xml -s ../../../trunk/examples/settings/pu-bench/svcomp-Reach-32bit-Kojak_Default_PUPT.epf
../../../trunk/examples/programs/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
real-life/BigBranchingExample.bpl timeout (error (143)) 301    267    2856599552 error: exception 18.9  11.0  695357440 error: exception 22.3  13.5  716115968 error: exception 23.9  14.3  715485184
real-life/DraegerElevator-FSEN2007.bpl true 8.89 5.23 254341120 error: exception 6.37 3.57 211718144 error: exception 7.64 4.22 206901248 error: exception 7.38 4.12 212533248
real-life/Elevator-Integer.bpl true 53.4  33.2  991518720 error: exception 7.13 3.99 214773760 error: exception 9.77 5.33 246640640 error: exception 9.17 5.07 246816768
real-life/Elevator.bpl true 67.2  43.6  1075085312 error: exception 6.80 4.04 215875584 error: exception 9.14 5.02 241188864 error: exception 8.60 4.94 240197632
real-life/ElevatorWithAssignments.bpl true 54.3  33.4  1144840192 error: exception 6.92 3.87 213819392 error: exception 8.46 4.67 241754112 error: exception 9.19 5.06 241254400
real-life/ElevatorWithSingleTransition.bpl false 6.57 3.65 203595776 false 6.15 3.69 198488064 false 6.57 3.76 220401664 false 6.31 3.58 197533696
real-life/GateController.bpl timeout (error (143)) 301    242    1406283776 error: exception 6.58 3.81 210964480 error: exception 6.26 3.57 209428480 error: exception 6.12 3.73 212066304
real-life/GateControllerIncorrect1.bpl false 28.4  17.1  697217024 error: exception 6.61 3.66 208396288 error: exception 6.08 3.51 210616320 error: exception 6.26 3.56 209645568
real-life/GripperTest-correct.bpl true 6.55 3.66 212467712 error: exception 6.44 3.60 208498688 error: exception 7.08 3.95 210767872 error: exception 6.87 3.87 211423232
real-life/GripperTest-incorrect.bpl false 7.06 4.09 215588864 error: exception 6.17 3.69 200187904 error: exception 6.57 3.90 210046976 error: exception 6.62 3.94 211501056
real-life/GuiTestExample.bpl false 13.3  7.37 385404928 error: exception 8.76 5.14 270483456 error: exception 10.8  6.36 321839104 error: exception 11.3  6.43 324751360
real-life/GuiTestExampleUnsafe.bpl false 12.8  7.19 386125824 error: exception 8.38 4.82 261271552 error: exception 10.3  6.17 308604928 error: exception 10.6  6.24 314568704
real-life/RailwayCrossing-Incorrenct.bpl false 7.25 4.10 226304000 error: exception 6.26 3.52 201920512 error: exception 6.18 3.71 210079744 error: exception 6.58 3.70 211533824
real-life/RailwayCrossing.bpl timeout (error (143)) 300    241    1440169984 error: exception 6.03 3.62 199008256 error: exception 6.43 3.62 211447808 error: exception 6.46 3.64 211382272
real-life/USE_SimplifiedGripperTest.bpl true 6.66 3.63 210907136 error: exception 6.18 3.43 207011840 error: exception 6.21 3.53 211226624 error: exception 6.21 3.43 212369408
real-life/bank.bpl false 5.73 3.30 201105408 false 6.20 3.44 200396800 false 6.48 3.64 211603456 false 6.28 3.73 211021824
real-life/divisibilityWithArray.bpl timeout (error (143)) 301    250    1288925184 error: exception 5.62 3.26 195354624 error: exception 6.27 3.59 214822912 error: exception 6.44 3.67 212164608
real-life/s3_clnt_1_Safe.bpl true 57.3  30.9  1191043072 error: exception 8.15 4.56 237760512 error: exception 10.3  5.75 265252864 error: exception 9.66 5.41 265486336
real-life/s3_clnt_1_Unsafe.bpl false 14.5  8.16 503050240 error: exception 8.35 4.64 235859968 error: exception 10.1  5.74 279740416 error: exception 10.2  5.66 271089664
real-life/tcas-correct.bpl true 8.41 4.69 239730688 error: exception 6.17 3.63 212230144 error: exception 7.45 4.09 217993216 error: exception 7.19 4.05 214355968
real-life/tcas-incorrect.bpl false 6.44 3.62 212692992 false 6.80 3.98 213794816 false 7.34 4.10 216829952 false 6.81 3.80 217337856
real-life/tcas-woAssumption.bpl false 6.56 3.69 213422080 false 6.46 3.68 208822272 false 6.84 3.86 216776704 false 7.10 3.89 207048704
real-life/threadpooling_out.bpl timeout (error (143)) 301    257    1555202048 error: exception 7.64 4.33 224260096 error: exception 7.81 4.40 218091520 error: exception 7.62 4.32 220504064
real-life/threadpooling_out2.mover.bpl true 81.7  56.4  1286127616 error: exception 6.62 3.78 212553728 error: exception 6.89 3.92 202440704 error: exception 6.60 3.79 210608128
real-life/threadpooling_out3.bpl timeout (error (143)) 301    263    2846941184 error: exception 14.9  8.50 432603136 error: exception 15.0  8.55 423383040 error: exception 14.6  8.40 428486656
real-life/threadpooling_out3.mover.bpl timeout (error (143)) 301    265    2747072512 error: exception 8.00 4.53 229928960 error: exception 8.52 4.85 234692608 error: exception 9.13 5.10 237809664
real-life/threadpooling_out3_Reals.bpl timeout (error (143)) 301    259    2125762560 error: exception 14.5  8.28 431243264 error: exception 13.9  7.96 418099200 error: exception 13.7  7.91 416595968
real-life/threadpooling_out_Reals.bpl timeout (error (143)) 301    262    1568641024 error: exception 7.62 4.30 218529792 error: exception 7.66 4.31 219049984 error: exception 7.70 4.37 219062272
real-life/threadpooling_product.bpl timeout (error (143)) 301    253    1746219008 error: exception 6.91 3.86 213864448 error: exception 6.69 3.81 212471808 error: exception 6.75 3.83 212344832
real-life/threadpooling_product_WithProcedures.bpl timeout (error (143)) 301    254    2978656256 error: exception 7.14 4.01 214548480 error: exception 6.56 3.73 212250624 error: exception 6.98 3.90 212443136
real-life/threadpooling_product_WithoutIf.bpl timeout (error (143)) 302    255    2854281216 error: exception 6.49 3.71 214704128 error: exception 6.57 3.75 215609344 error: exception 6.55 3.69 213303296
20170319-ConjunctivePathPrograms/bhmr2007.c.i_3.bplTransformedIcfg_BEv2_3.bpl true 9.03 5.01 237948928 error: exception 6.36 3.59 200507392 error: exception 6.17 3.46 211447808 error: exception 5.77 3.32 193716224
20170319-ConjunctivePathPrograms/cggmp2005.c.i_3.bplTransformedIcfg_BEv2_2.bpl true 9.90 5.65 289185792 error: exception 6.05 3.40 202940416 error: exception 6.06 3.44 209866752 error: exception 6.35 3.57 209735680
20170319-ConjunctivePathPrograms/cggmp2005_variant.c.i_3.bplTransformedIcfg_BEv2_3.bpl true 9.01 5.08 252579840 error: exception 6.18 3.46 200552448 error: exception 6.28 3.52 208187392 error: exception 5.96 3.45 208998400
20170319-ConjunctivePathPrograms/const1.i_3.bplTransformedIcfg_BEv2_6.bpl timeout (error (143)) 301    236    1487372288 error: exception 6.24 3.49 200994816 error: exception 6.43 3.54 217014272 error: exception 6.03 3.44 208752640
20170319-ConjunctivePathPrograms/count_by_1_variant.i_2.bplTransformedIcfg_BEv2_3.bpl true 8.59 4.80 252649472 error: exception 6.34 3.57 211300352 error: exception 6.57 3.73 211570688 error: exception 6.52 3.67 211193856
20170319-ConjunctivePathPrograms/count_by_2.i_3.bplTransformedIcfg_BEv2_3.bpl timeout (error (143)) 301    236    1486462976 error: exception 5.70 3.29 199172096 error: exception 6.01 3.38 205770752 error: exception 6.26 3.52 208617472
20170319-ConjunctivePathPrograms/count_by_k.i_3.bplTransformedIcfg_BEv2_3.bpl timeout (error (143)) 301    258    1348194304 error: exception 6.13 3.46 201666560 error: exception 5.89 3.35 200245248 error: exception 6.40 3.61 200675328
20170319-ConjunctivePathPrograms/count_by_nondet.i_3.bplTransformedIcfg_BEv2_3.bpl timeout (error (143)) 301    236    1517551616 error: exception 6.24 3.49 200757248 error: exception 6.02 3.41 210079744 error: exception 6.07 3.46 212533248
20170319-ConjunctivePathPrograms/count_up_down.i_3.bplTransformedIcfg_BEv2_7.bpl true 6.37 3.61 212430848 error: exception 6.12 3.46 201383936 error: exception 6.20 3.47 209698816 error: exception 6.50 3.61 210763776
20170319-ConjunctivePathPrograms/ddlm2013.i_3.bplTransformedIcfg_BEv2_8.bpl true 7.76 4.31 231579648 error: exception 6.05 3.44 202952704 error: exception 6.38 3.58 206258176 error: exception 6.20 3.46 207106048
20170319-ConjunctivePathPrograms/down.i_4.bplTransformedIcfg_BEv2_5.bpl timeout (error (143)) 301    239    1509597184 error: exception 5.91 3.40 198561792 error: exception 6.15 3.51 209862656 error: exception 6.31 3.61 216342528
20170319-ConjunctivePathPrograms/fragtest_simple.i_4.bplTransformedIcfg_BEv2_5.bpl timeout (error (143)) 301    238    1528594432 error: exception 6.30 3.52 201576448 error: exception 6.39 3.57 210796544 error: exception 6.34 3.63 211091456
20170319-ConjunctivePathPrograms/functions1.i_3.bplTransformedIcfg_BEv2_8.bpl timeout (error (143)) 301    235    1573670912 error: exception 5.68 3.29 199946240 error: exception 6.28 3.53 211910656 error: exception 5.97 3.34 207482880
20170319-ConjunctivePathPrograms/gauss_sum.i_3.bplTransformedIcfg_BEv2_3.bpl timeout (error (143)) 301    259    1291939840 error: exception 6.22 3.50 202788864 error: exception 6.12 3.40 209207296 error: exception 6.04 3.42 209625088
20170319-ConjunctivePathPrograms/gcd_2.i_4.bplTransformedIcfg_BEv2_6.bpl true 7.11 3.99 225189888 error: exception 5.99 3.42 205017088 error: exception 6.19 3.50 199106560 error: exception 6.35 3.57 210731008
20170319-ConjunctivePathPrograms/gj2007.c.i_4.bplTransformedIcfg_BEv2_3.bpl true 128    87.3  1462816768 error: exception 6.06 3.45 200699904 error: exception 6.31 3.53 209764352 error: exception 6.33 3.56 210972672
20170319-ConjunctivePathPrograms/gr2006.c.i_4.bplTransformedIcfg_BEv2_3.bpl true 168    126    2118275072 error: exception 6.03 3.39 198590464 error: exception 6.22 3.60 211079168 error: exception 6.26 3.53 205172736
20170319-ConjunctivePathPrograms/half.i_3.bplTransformedIcfg_BEv2_4.bpl true 7.62 4.33 228855808 error: exception 6.13 3.47 201515008 error: exception 6.18 3.49 201842688 error: exception 6.59 3.69 208433152
20170319-ConjunctivePathPrograms/half_2.i_3.bplTransformedIcfg_BEv2_5.bpl true 9.10 5.04 256262144 error: exception 5.97 3.40 201510912 error: exception 6.26 3.49 213430272 error: exception 6.38 3.58 208969728
20170319-ConjunctivePathPrograms/hhk2008.c.i_3.bplTransformedIcfg_BEv2_3.bpl true 9.54 5.32 260829184 error: exception 6.20 3.52 203935744 error: exception 6.41 3.59 210178048 error: exception 6.34 3.58 211558400
20170319-ConjunctivePathPrograms/interleave_bits.i_3.bplTransformedIcfg_BEv2_4.bpl false 16.5  9.83 540303360 error: exception 6.29 3.52 200589312 error: exception 6.11 3.46 209563648 error: exception 6.04 3.61 208179200
20170319-ConjunctivePathPrograms/jain_5.i_2.bplTransformedIcfg_BEv2_4.bpl true 8.37 4.76 251199488 error: exception 6.32 3.55 211255296 error: exception 6.33 3.59 210939904 error: exception 6.34 3.59 211300352
20170319-ConjunctivePathPrograms/jm2006.c.i_3.bplTransformedIcfg_BEv2_3.bpl true 10.8  6.02 297975808 error: exception 6.08 3.45 198877184 error: exception 6.15 3.49 211947520 error: exception 6.50 3.66 213700608
20170319-ConjunctivePathPrograms/jm2006_variant.c.i_3.bplTransformedIcfg_BEv2_3.bpl true 11.2  6.33 310358016 error: exception 6.01 3.40 199401472 error: exception 6.43 3.61 213848064 error: exception 6.01 3.39 199778304
20170319-ConjunctivePathPrograms/large_const.i_3.bplTransformedIcfg_BEv2_2.bpl true 7.72 4.26 224620544 error: exception 6.47 3.57 210112512 error: exception 6.22 3.53 211238912 error: exception 6.33 3.60 210718720
20170319-ConjunctivePathPrograms/nested.i_4.bplTransformedIcfg_BEv2_3.bpl true 265    219    3135467520 error: exception 6.13 3.45 207269888 error: exception 5.92 3.29 199663616 error: exception 6.31 3.56 203268096
20170319-ConjunctivePathPrograms/nested1.i_4.bplTransformedIcfg_BEv2_12.bpl timeout (error (143)) 301    245    2876600320 error: exception 6.12 3.44 201080832 error: exception 6.26 3.55 211030016 error: exception 6.01 3.44 206393344
20170319-ConjunctivePathPrograms/nested9.i_3.bplTransformedIcfg_BEv2_4.bpl true 11.1  6.30 311549952 error: exception 6.55 3.69 216875008 error: exception 6.52 3.71 215273472 error: exception 6.18 3.56 212971520
20170319-ConjunctivePathPrograms/num_conversion_1.i_3.bplTransformedIcfg_BEv2_9.bpl false 11.4  6.28 326422528 error: exception 5.73 3.32 199819264 error: exception 5.91 3.38 211619840 error: exception 6.20 3.53 210530304
20170319-ConjunctivePathPrograms/num_conversion_2.i_3.bplTransformedIcfg_BEv2_7.bpl false 10.5  5.99 329306112 error: exception 6.51 3.58 199749632 error: exception 5.97 3.35 209887232 error: exception 6.27 3.49 205897728
20170319-ConjunctivePathPrograms/overflow1.i_3.bplTransformedIcfg_BEv2_4.bpl timeout (error (143)) 301    237    1464717312 error: exception 5.94 3.40 200245248 error: exception 6.16 3.52 209039360 error: exception 6.24 3.54 208781312
20170319-ConjunctivePathPrograms/pals_lcr-var-start-time.3.1.ufo.BOUNDED-6.pals.c_9.bplTransformedIcfg_BEv2_24.bpl true 13.0  7.27 389906432 error: exception 7.41 4.06 214941696 error: exception 8.07 4.50 236478464 error: exception 8.24 4.52 241872896
20170319-ConjunctivePathPrograms/pals_lcr-var-start-time.3.1.ufo.UNBOUNDED.pals.c_9.bplTransformedIcfg_BEv2_29.bpl true 12.5  6.97 379596800 error: exception 6.96 3.94 208420864 error: exception 7.98 4.43 239923200 error: exception 8.47 4.63 239661056
20170319-ConjunctivePathPrograms/pals_lcr-var-start-time.3.2.ufo.BOUNDED-6.pals.c_9.bplTransformedIcfg_BEv2_24.bpl true 15.4  8.45 415744000 error: exception 7.05 3.93 211935232 error: exception 7.92 4.35 226942976 error: exception 8.26 4.54 218525696
20170319-ConjunctivePathPrograms/pals_lcr-var-start-time.3.ufo.BOUNDED-6.pals.c_9.bplTransformedIcfg_BEv2_24.bpl true 13.1  7.25 370831360 error: exception 7.01 3.88 215257088 error: exception 8.08 4.50 233365504 error: exception 8.24 4.55 232902656
20170319-ConjunctivePathPrograms/pals_lcr-var-start-time.3.ufo.UNBOUNDED.pals.c_9.bplTransformedIcfg_BEv2_26.bpl true 14.3  8.08 461148160 error: exception 7.21 3.93 214945792 error: exception 7.90 4.40 222052352 error: exception 8.04 4.44 238641152
20170319-ConjunctivePathPrograms/pals_lcr-var-start-time.4.1.ufo.BOUNDED-8.pals.c_10.bplTransformedIcfg_BEv2_25.bpl true 16.0  8.78 446726144 error: exception 7.12 3.97 225222656 error: exception 8.30 4.58 241455104 error: exception 8.36 4.63 249786368
20170319-ConjunctivePathPrograms/pals_lcr-var-start-time.4.ufo.BOUNDED-8.pals.c_10.bplTransformedIcfg_BEv2_23.bpl true 15.0  8.28 437059584 error: exception 6.81 3.85 218173440 error: exception 9.06 4.95 242421760 error: exception 8.89 4.85 238399488
20170319-ConjunctivePathPrograms/pals_lcr.3.ufo.BOUNDED-6.pals.c_13.bplTransformedIcfg_BEv2_23.bpl true 10.9  6.00 323391488 error: exception 6.69 3.80 210792448 error: exception 7.96 4.42 230428672 error: exception 8.07 4.45 230916096
20170319-ConjunctivePathPrograms/pals_lcr.3.ufo.UNBOUNDED.pals.c_14.bplTransformedIcfg_BEv2_29.bpl true 10.7  5.92 331419648 error: exception 6.86 3.83 214970368 error: exception 7.90 4.40 231632896 error: exception 8.11 4.52 234856448
20170304-DifficultPathPrograms/afnp2014.c.i_3.bpl true 8.17 4.52 231915520 error: exception 5.89 3.36 199966720 error: exception 6.25 3.44 199147520 error: exception 6.43 3.58 213016576
20170304-DifficultPathPrograms/array.i_3.bpl true 8.23 4.55 235810816 error: exception 6.40 3.57 201265152 error: exception 6.11 3.51 204963840 error: exception 6.13 3.48 201662464
20170304-DifficultPathPrograms/array1.i_3.bpl timeout (error (143)) 300    246    1411227648 error: exception 5.80 3.32 199634944 error: exception 6.06 3.45 210460672 error: exception 6.41 3.56 207015936
20170304-DifficultPathPrograms/array2.i_3.bpl timeout (error (143)) 300    245    1441390592 error: exception 6.17 3.50 198332416 error: exception 5.98 3.40 210759680 error: exception 6.14 3.44 211361792
20170304-DifficultPathPrograms/array3.i_4.bpl timeout (error (143)) 301    249    1527377920 error: exception 5.95 3.37 203038720 error: exception 6.26 3.58 214228992 error: exception 6.02 3.43 211214336
20170304-DifficultPathPrograms/array4.i_4.bpl out of memory 193    127    8000000000 error: exception 6.48 3.54 206450688 error: exception 6.32 3.53 210685952 error: exception 6.19 3.50 210976768
20170304-DifficultPathPrograms/bhmr2007.c.i_3.bpl true 9.10 5.07 247820288 error: exception 6.55 3.61 202829824 error: exception 6.21 3.51 203501568 error: exception 6.17 3.50 210231296
20170304-DifficultPathPrograms/cggmp2005.c.i_3.bpl true 10.3  5.88 315772928 error: exception 5.73 3.22 199315456 error: exception 6.29 3.57 205942784 error: exception 6.11 3.46 209838080
20170304-DifficultPathPrograms/cggmp2005_variant.c.i_3.bpl true 9.33 5.17 260079616 error: exception 5.91 3.35 202342400 error: exception 6.33 3.56 210251776 error: exception 6.15 3.47 210362368
20170304-DifficultPathPrograms/cggmp2005b.c.i_4.bpl true 9.07 5.05 250646528 error: exception 6.03 3.29 207282176 error: exception 5.95 3.39 209977344 error: exception 6.27 3.46 199823360
20170304-DifficultPathPrograms/const1.i_3.bpl timeout (error (143)) 306    290    877654016 error: exception 5.71 3.32 199069696 error: exception 5.80 3.32 207089664 error: exception 6.02 3.46 210403328
20170304-DifficultPathPrograms/count_by_1.i_3.bpl true 7.79 4.39 236965888 error: exception 5.88 3.55 200527872 error: exception 6.34 3.55 209457152 error: exception 5.71 3.34 209731584
20170304-DifficultPathPrograms/count_by_1_variant.i_2.bpl true 8.39 4.80 256237568 error: exception 6.01 3.44 200351744 error: exception 6.27 3.57 208830464 error: exception 6.27 3.51 208543744
20170304-DifficultPathPrograms/count_by_2.i_3.bpl timeout (error (143)) 301    233    1405247488 error: exception 5.68 3.28 200024064 error: exception 6.38 3.58 207753216 error: exception 6.25 3.53 208162816
20170304-DifficultPathPrograms/count_by_k.i_3.bpl timeout (error (143)) 301    255    1369120768 error: exception 6.11 3.57 199454720 error: exception 6.27 3.53 210141184 error: exception 5.97 3.41 213094400
20170304-DifficultPathPrograms/count_by_nondet.i_3.bpl timeout (error (143)) 301    235    1871056896 error: exception 5.89 3.30 200163328 error: exception 6.28 3.52 208547840 error: exception 6.03 3.42 209514496
20170304-DifficultPathPrograms/count_up_down.i_3.bpl true 8.83 4.94 238182400 error: exception 5.97 3.39 200777728 error: exception 6.25 3.53 210931712 error: exception 5.93 3.40 209506304
20170304-DifficultPathPrograms/ddlm2013.i_3.bpl true 7.91 4.44 238125056 error: exception 6.07 3.42 206934016 error: exception 6.11 3.47 207753216 error: exception 6.58 3.66 210997248
20170304-DifficultPathPrograms/diamond1.i_3.bpl timeout (error (143)) 305    286    892850176 error: exception 6.04 3.47 201441280 error: exception 6.45 3.62 210731008 error: exception 6.29 3.56 210169856
20170304-DifficultPathPrograms/diamond2.i_4.bpl true 32.9  26.5  420990976 error: exception 6.21 3.52 205135872 error: exception 6.20 3.53 212381696 error: exception 6.77 3.67 218542080
20170304-DifficultPathPrograms/down.i_4.bpl timeout (error (143)) 301    238    1395691520 error: exception 6.41 3.58 212066304 error: exception 6.18 3.56 210436096 error: exception 6.24 3.56 209395712
20170304-DifficultPathPrograms/eureka_01.i_3.bpl true 7.92 4.44 241930240 error: exception 6.59 3.76 209739776 error: exception 6.58 3.78 213725184 error: exception 6.81 3.81 211537920
20170304-DifficultPathPrograms/eureka_01.i_6.bpl true 9.28 5.20 260288512 error: exception 6.80 3.84 223948800 error: exception 6.84 4.04 214024192 error: exception 6.82 3.79 218730496
20170304-DifficultPathPrograms/eureka_05.i_5.bpl true 14.6  8.32 485810176 error: exception 6.08 3.48 212041728 error: exception 5.75 3.34 209694720 error: exception 6.16 3.51 210866176
20170304-DifficultPathPrograms/fragtest_simple.i_4.bpl timeout (error (143)) 301    238    1500852224 error: exception 6.52 3.61 212017152 error: exception 6.44 3.67 212807680 error: exception 6.17 3.54 213319680
20170304-DifficultPathPrograms/functions1.i_3.bpl timeout (error (143)) 306    296    754847744 error: exception 6.18 3.48 200880128 error: exception 6.36 3.56 208044032 error: exception 6.23 3.50 209608704
20170304-DifficultPathPrograms/gauss_sum.i_3.bpl timeout (error (143)) 301    258    1293619200 error: exception 6.48 3.61 211943424 error: exception 6.16 3.48 209874944 error: exception 6.16 3.71 211070976
20170304-DifficultPathPrograms/gcd_2.i_4.bpl timeout (error (143)) 300    277    3604025344 error: exception 6.07 3.41 210329600 error: exception 6.41 3.62 203685888 error: exception 6.20 3.50 215736320
20170304-DifficultPathPrograms/gj2007.c.i_4.bpl true 136    90.5  1412898816 error: exception 6.16 3.47 200830976 error: exception 6.18 3.70 210116608 error: exception 6.12 3.46 199782400
20170304-DifficultPathPrograms/gr2006.c.i_4.bpl true 175    133    2268712960 error: exception 6.35 3.60 211755008 error: exception 6.34 3.59 210001920 error: exception 6.13 3.51 211910656
20170304-DifficultPathPrograms/half.i_3.bpl true 8.59 4.76 231976960 error: exception 6.26 3.56 202817536 error: exception 5.80 3.34 200339456 error: exception 6.26 3.52 209145856
20170304-DifficultPathPrograms/half_2.i_3.bpl true 8.70 4.99 266698752 error: exception 6.14 3.46 198983680 error: exception 6.49 3.65 210579456 error: exception 6.31 3.55 210124800
20170304-DifficultPathPrograms/hhk2008.c.i_3.bpl true 9.95 5.51 281673728 error: exception 6.12 3.47 199966720 error: exception 6.46 3.60 202338304 error: exception 5.96 3.37 202653696
20170304-DifficultPathPrograms/insertion_sort.i_3.bpl true 6.78 3.88 226123776 error: exception 6.27 3.51 202334208 error: exception 5.99 3.43 202346496 error: exception 6.54 3.61 210444288
20170304-DifficultPathPrograms/interleave_bits.i_3.bpl unknown: overapproxcex 23.5  15.4  628023296 error: exception 5.87 3.38 201617408 error: exception 6.36 3.58 211890176 error: exception 6.34 3.57 209498112
20170304-DifficultPathPrograms/invert_string.i_4.bpl timeout (error (143)) 301    245    1846992896 error: exception 6.27 3.56 213594112 error: exception 6.28 3.56 210903040 error: exception 6.39 3.62 211427328
20170304-DifficultPathPrograms/jain_1.i_2.bpl true 9.86 6.46 239767552 error: exception 6.12 3.49 208207872 error: exception 6.06 3.44 209281024 error: exception 6.19 3.53 210444288
20170304-DifficultPathPrograms/jain_2.i_2.bpl true 38.9  34.8  307273728 error: exception 6.43 3.64 216502272 error: exception 6.06 3.45 209174528 error: exception 6.36 3.57 210022400
20170304-DifficultPathPrograms/jain_4.i_2.bpl true 177    172    350568448 error: exception 6.12 3.47 211054592 error: exception 6.10 3.48 210726912 error: exception 6.14 3.51 207298560
20170304-DifficultPathPrograms/jain_5.i_2.bpl timeout (error (143)) 306    294    783073280 error: exception 6.23 3.53 203612160 error: exception 6.27 3.52 210518016 error: exception 6.26 3.56 211046400
20170304-DifficultPathPrograms/jain_6.i_2.bpl true 39.7  35.8  266452992 error: exception 6.30 3.54 211054592 error: exception 6.40 3.58 210169856 error: exception 6.36 3.58 214605824
20170304-DifficultPathPrograms/jain_7.i_2.bpl true 41.4  37.2  281485312 error: exception 6.30 3.54 202235904 error: exception 6.28 3.55 211226624 error: exception 6.28 3.58 210665472
20170304-DifficultPathPrograms/jm2006.c.i_3.bpl true 11.3  6.35 312270848 error: exception 6.12 3.53 201097216 error: exception 6.41 3.61 202047488 error: exception 6.06 3.44 212500480
20170304-DifficultPathPrograms/jm2006_variant.c.i_3.bpl true 11.3  6.38 318263296 error: exception 6.43 3.74 209395712 error: exception 6.12 3.48 201388032 error: exception 6.02 3.52 201482240
20170304-DifficultPathPrograms/large_const.i_3.bpl true 7.07 3.94 225861632 error: exception 6.51 3.65 212062208 error: exception 6.47 3.65 209674240 error: exception 6.44 3.64 213782528
20170304-DifficultPathPrograms/linear_sea.ch.i_4.bpl true 17.9  13.5  275808256 error: exception 6.83 3.86 216936448 error: exception 6.85 3.85 215199744 error: exception 6.58 3.67 212127744
20170304-DifficultPathPrograms/linear_search.i_5.bpl true 19.6  13.1  512589824 error: exception 7.06 3.93 213397504 error: exception 7.26 4.02 213307392 error: exception 7.02 3.88 220651520
20170304-DifficultPathPrograms/matrix.i_4.bpl true 11.2  6.21 299352064 error: exception 6.28 3.52 202104832 error: exception 5.99 3.44 211415040 error: exception 6.27 3.50 206249984
20170304-DifficultPathPrograms/mcmillan2006.c.i_3.bpl true 7.98 4.41 234663936 error: exception 6.33 3.50 209010688 error: exception 6.61 3.72 211529728 error: exception 6.17 3.52 210726912
20170304-DifficultPathPrograms/n.c11.i_3.bpl true 9.51 5.40 270680064 error: exception 6.39 3.59 205295616 error: exception 6.31 3.54 211386368 error: exception 6.49 3.83 210829312
20170304-DifficultPathPrograms/nested.c_4.bpl true 7.46 4.15 231034880 error: exception 6.26 3.47 208814080 error: exception 6.12 3.44 199659520 error: exception 6.25 3.57 212709376
20170304-DifficultPathPrograms/nested.i_4.bpl timeout (error (143)) 301    258    3375636480 error: exception 5.99 3.45 210542592 error: exception 6.12 3.48 210886656 error: exception 6.28 3.56 210554880
20170304-DifficultPathPrograms/nested1.i_4.bpl timeout (error (143)) 306    291    1172791296 error: exception 6.25 3.47 208211968 error: exception 5.80 3.36 207663104 error: exception 6.08 3.47 210169856
20170304-DifficultPathPrograms/nested9.i_3.bpl true 10.3  5.86 298409984 error: exception 6.31 3.51 211132416 error: exception 6.34 3.59 211517440 error: exception 6.22 3.71 203825152
20170304-DifficultPathPrograms/num_conversion_1.i_3.bpl unknown: overapproxcex 32.8  26.5  466849792 error: exception 6.02 3.40 200351744 error: exception 5.89 3.39 209489920 error: exception 6.28 3.56 209248256
20170304-DifficultPathPrograms/num_conversion_2.i_3.bpl unknown: overapproxcex 27.9  22.2  468946944 error: exception 6.14 3.49 201310208 error: exception 5.74 3.48 196915200 error: exception 6.06 3.44 209678336
20170304-DifficultPathPrograms/overflow1.i_3.bpl timeout (error (143)) 306    297    697823232 error: exception 6.22 3.51 201015296 error: exception 6.24 3.51 209784832 error: exception 6.24 3.52 209526784
20170304-DifficultPathPrograms/pals_lcr-var-start-time.3.1.ufo.BOUNDED-6.pals.c_9.bpl true 16.9  9.50 542023680 error: exception 6.90 3.89 209940480 error: exception 7.67 4.30 225918976 error: exception 8.28 4.51 224731136
20170304-DifficultPathPrograms/pals_lcr-var-start-time.3.1.ufo.UNBOUNDED.pals.c_9.bpl true 16.3  9.17 542113792 error: exception 7.11 3.95 214130688 error: exception 7.80 4.36 228749312 error: exception 7.46 4.22 224264192
20170304-DifficultPathPrograms/pals_lcr-var-start-time.3.2.ufo.BOUNDED-6.pals.c_9.bpl true 16.0  8.74 483241984 error: exception 7.06 3.94 215588864 error: exception 7.58 4.23 224718848 error: exception 7.90 4.34 229560320
20170304-DifficultPathPrograms/pals_lcr-var-start-time.3.2.ufo.UNBOUNDED.pals.c_11.bpl true 14.5  8.08 475918336 error: exception 7.40 4.08 214872064 error: exception 8.09 4.44 230776832 error: exception 8.21 4.44 225386496
20170304-DifficultPathPrograms/pals_lcr-var-start-time.3.ufo.BOUNDED-6.pals.c_9.bpl true 18.4  10.3  555159552 error: exception 7.14 3.99 209760256 error: exception 7.95 4.39 225325056 error: exception 7.85 4.35 225538048
20170304-DifficultPathPrograms/pals_lcr-var-start-time.3.ufo.UNBOUNDED.pals.c_9.bpl true 16.7  9.38 537694208 error: exception 6.96 4.10 223416320 error: exception 7.97 4.41 226541568 error: exception 7.89 4.38 227479552
20170304-DifficultPathPrograms/pals_lcr-var-start-time.4.1.ufo.BOUNDED-8.pals.c_10.bpl true 19.8  10.6  545808384 error: exception 7.15 4.00 228642816 error: exception 8.13 4.48 238272512 error: exception 7.92 4.41 234840064
20170304-DifficultPathPrograms/pals_lcr-var-start-time.4.1.ufo.UNBOUNDED.pals.c_10.bpl true 19.4  10.9  656539648 error: exception 6.89 3.86 217309184 error: exception 8.35 4.61 239775744 error: exception 8.03 4.45 246181888
20170304-DifficultPathPrograms/pals_lcr-var-start-time.4.2.ufo.BOUNDED-8.pals.c_10.bpl true 17.3  9.31 546385920 error: exception 6.95 3.88 225337344 error: exception 8.05 4.51 251310080 error: exception 8.60 4.72 250904576
20170304-DifficultPathPrograms/pals_lcr-var-start-time.4.2.ufo.UNBOUNDED.pals.c_11.bpl true 24.9  13.6  686022656 error: exception 7.46 4.11 225841152 error: exception 8.21 4.53 246120448 error: exception 8.54 4.69 241614848
20170304-DifficultPathPrograms/pals_lcr-var-start-time.4.ufo.BOUNDED-8.pals.c_10.bpl true 24.3  13.1  669065216 error: exception 7.11 4.00 210165760 error: exception 8.27 4.56 246161408 error: exception 8.50 4.68 242601984
20170304-DifficultPathPrograms/pals_lcr-var-start-time.4.ufo.UNBOUNDED.pals.c_10.bpl true 18.6  10.6  656175104 error: exception 7.17 4.05 225259520 error: exception 8.34 4.49 242663424 error: exception 8.34 4.54 249073664
20170304-DifficultPathPrograms/pals_lcr-var-start-time.5.1.ufo.BOUNDED-10.pals.c_11.bpl true 24.9  13.5  696807424 error: exception 7.25 4.06 231600128 error: exception 8.22 4.60 248004608 error: exception 8.82 4.84 259084288
20170304-DifficultPathPrograms/pals_lcr-var-start-time.5.1.ufo.UNBOUNDED.pals.c_11.bpl true 27.0  14.8  690745344 error: exception 7.22 4.03 226471936 error: exception 9.07 4.93 240975872 error: exception 9.07 4.98 262987776
20170304-DifficultPathPrograms/pals_lcr-var-start-time.5.2.ufo.BOUNDED-10.pals.c_11.bpl true 24.5  13.4  681717760 error: exception 7.24 4.04 217812992 error: exception 8.91 4.88 255111168 error: exception 8.67 4.80 259371008
20170304-DifficultPathPrograms/pals_lcr-var-start-time.5.2.ufo.UNBOUNDED.pals.c_12.bpl true 28.9  15.9  810455040 error: exception 7.36 4.05 214601728 error: exception 8.95 4.84 256389120 error: exception 9.17 4.87 248344576
20170304-DifficultPathPrograms/pals_lcr-var-start-time.5.ufo.BOUNDED-10.pals.c_11.bpl true 23.9  12.8  685223936 error: exception 7.15 4.00 216399872 error: exception 8.74 4.80 249479168 error: exception 8.49 4.69 247648256
20170304-DifficultPathPrograms/pals_lcr-var-start-time.5.ufo.UNBOUNDED.pals.c_11.bpl true 26.2  14.4  680488960 error: exception 7.04 3.93 234160128 error: exception 9.46 5.06 267612160 error: exception 9.09 4.98 252952576
20170304-DifficultPathPrograms/pals_lcr-var-start-time.6.1.ufo.BOUNDED-12.pals.c_12.bpl true 31.2  16.8  817229824 error: exception 7.72 4.27 236105728 error: exception 9.29 5.09 262184960 error: exception 8.90 4.87 261017600
20170304-DifficultPathPrograms/pals_lcr-var-start-time.6.1.ufo.UNBOUNDED.pals.c_12.bpl true 36.3  19.4  872472576 error: exception 7.30 4.07 233947136 error: exception 9.31 5.08 258617344 error: exception 8.52 4.77 258670592
20170304-DifficultPathPrograms/pals_lcr-var-start-time.6.2.ufo.BOUNDED-12.pals.c_12.bpl true 33.8  17.9  893026304 error: exception 7.50 4.16 238895104 error: exception 8.86 4.92 262901760 error: exception 9.23 5.07 256004096
20170304-DifficultPathPrograms/pals_lcr-var-start-time.6.ufo.BOUNDED-12.pals.c_12.bpl true 27.1  14.1  705888256 error: exception 7.54 4.18 230891520 error: exception 9.26 5.03 275857408 error: exception 9.26 5.02 262451200
20170304-DifficultPathPrograms/pals_lcr-var-start-time.6.ufo.UNBOUNDED.pals.c_12.bpl true 33.1  17.9  861286400 error: exception 7.47 4.13 236183552 error: exception 9.14 4.99 268001280 error: exception 9.14 4.99 270979072
20170304-DifficultPathPrograms/pals_lcr.3.1.ufo.BOUNDED-6.pals.c_13.bpl true 18.7  10.4  559034368 error: exception 6.99 3.89 210571264 error: exception 8.06 4.44 227786752 error: exception 7.69 4.28 227778560
20170304-DifficultPathPrograms/pals_lcr.3.1.ufo.UNBOUNDED.pals.c_14.bpl true 20.1  11.4  659107840 error: exception 7.36 4.26 217001984 error: exception 8.31 4.56 235565056 error: exception 8.01 4.47 226312192
20170304-DifficultPathPrograms/pals_lcr.3.ufo.BOUNDED-6.pals.c_13.bpl true 21.3  12.1  644280320 error: exception 6.85 3.85 222388224 error: exception 7.43 4.23 226750464 error: exception 8.27 4.50 229572608
20170304-DifficultPathPrograms/pals_lcr.3.ufo.UNBOUNDED.pals.c_14.bpl true 21.0  11.9  658681856 error: exception 7.16 4.00 216113152 error: exception 7.88 4.30 238456832 error: exception 8.07 4.53 230400000
20170304-DifficultPathPrograms/pals_lcr.3_overflow.ufo.UNBOUNDED.pals.c_13.bpl true 20.7  11.8  667201536 error: exception 7.13 3.97 214704128 error: exception 8.22 4.51 229842944 error: exception 8.34 4.57 228425728
20170304-DifficultPathPrograms/pals_lcr.4.1.ufo.BOUNDED-8.pals.c_19.bpl true 22.2  12.2  643354624 error: exception 6.95 3.92 216686592 error: exception 9.01 4.92 252502016 error: exception 8.51 4.69 242114560
20170304-DifficultPathPrograms/pals_lcr.4.1.ufo.UNBOUNDED.pals.c_16.bpl true 19.7  11.2  657317888 error: exception 7.16 3.92 216059904 error: exception 8.53 4.69 243576832 error: exception 8.75 4.77 262152192
20170304-DifficultPathPrograms/pals_lcr.4.ufo.BOUNDED-8.pals.c_19.bpl true 23.0  12.7  681426944 error: exception 7.43 4.14 217767936 error: exception 8.77 4.82 245624832 error: exception 8.51 4.71 245067776
20170304-DifficultPathPrograms/pals_lcr.4.ufo.UNBOUNDED.pals.c_16.bpl true 21.2  11.9  667156480 error: exception 7.31 4.06 215080960 error: exception 8.69 4.79 246652928 error: exception 8.85 4.87 250855424
20170304-DifficultPathPrograms/pals_lcr.4_overflow.ufo.UNBOUNDED.pals.c_19.bpl true 24.9  13.8  673681408 error: exception 7.26 4.05 228941824 error: exception 8.46 4.67 234774528 error: exception 8.27 4.63 237002752
20170304-DifficultPathPrograms/pals_lcr.5.1.ufo.BOUNDED-10.pals.c_21.bpl true 28.8  15.9  710934528 error: exception 7.50 4.16 227356672 error: exception 9.61 5.20 279371776 error: exception 9.00 4.94 268840960
20170304-DifficultPathPrograms/pals_lcr.5.1.ufo.UNBOUNDED.pals.c_19.bpl true 25.7  13.8  689991680 error: exception 7.20 4.00 213090304 error: exception 9.04 5.03 255119360 error: exception 8.86 4.85 262492160
20170304-DifficultPathPrograms/pals_lcr.5.ufo.BOUNDED-10.pals.c_21.bpl true 28.5  15.6  770912256 error: exception 6.75 3.88 214646784 error: exception 9.31 5.03 271216640 error: exception 9.26 5.05 276099072
20170304-DifficultPathPrograms/pals_lcr.5.ufo.UNBOUNDED.pals.c_19.bpl true 22.1  11.8  686301184 error: exception 7.04 3.93 220364800 error: exception 9.07 4.99 266342400 error: exception 9.15 5.04 262483968
20170304-DifficultPathPrograms/pals_lcr.5_overflow.ufo.UNBOUNDED.pals.c_21.bpl true 33.3  18.7  796057600 error: exception 7.15 4.02 219566080 error: exception 9.68 5.44 251219968 error: exception 8.92 5.01 253546496
20170304-DifficultPathPrograms/pals_lcr.6.1.ufo.UNBOUNDED.pals.c_23.bpl true 32.6  17.8  817946624 error: exception 7.36 4.10 231288832 error: exception 10.2  5.52 285569024 error: exception 10.1  5.49 288296960
20170304-DifficultPathPrograms/pals_lcr.6.ufo.UNBOUNDED.pals.c_23.bpl true 34.6  18.6  819175424 error: exception 7.20 4.08 231297024 error: exception 10.3  5.50 289538048 error: exception 10.2  5.47 284971008
20170304-DifficultPathPrograms/phases1.i_3.bpl true 8.56 4.90 249495552 error: exception 5.74 3.31 201940992 error: exception 6.25 3.55 208822272 error: exception 6.11 3.71 209436672
20170304-DifficultPathPrograms/s3_clnt_1.cil.c_16.bpl true 18.9  10.3  570556416 error: exception 7.10 3.95 219893760 error: exception 7.57 4.19 219418624 error: exception 7.42 4.12 222380032
20170304-DifficultPathPrograms/s3_clnt_2.cil.c_21.bpl true 31.0  17.0  743129088 error: exception 7.53 4.17 219975680 error: exception 8.03 4.46 229232640 error: exception 8.43 4.65 231243776
20170304-DifficultPathPrograms/s3_clnt_3.BV.c.cil.c_19.bpl true 22.6  12.4  658432000 error: exception 6.96 3.93 219041792 error: exception 7.49 4.17 222138368 error: exception 7.61 4.23 223604736
20170304-DifficultPathPrograms/s3_clnt_3.cil.c_21.bpl true 26.9  14.8  684544000 error: exception 7.32 4.05 222482432 error: exception 7.94 4.35 230035456 error: exception 7.74 4.30 231165952
20170304-DifficultPathPrograms/s3_clnt_4.cil.c_20.bpl true 22.8  12.3  679415808 error: exception 7.22 4.03 219185152 error: exception 7.64 4.27 231514112 error: exception 8.23 4.50 230789120
20170304-DifficultPathPrograms/s3_srvr_1.BV.c.cil.c_21.bpl true 28.4  16.2  794533888 error: exception 7.42 4.11 217751552 error: exception 7.35 4.08 215916544 error: exception 7.47 4.19 217333760
20170304-DifficultPathPrograms/s3_srvr_1.cil.c_23.bpl true 30.5  17.2  807825408 error: exception 7.22 4.08 219643904 error: exception 7.33 4.11 218648576 error: exception 7.63 4.18 218185728
20170304-DifficultPathPrograms/s3_srvr_1_alt.BV.c.cil.c_14.bpl true 14.6  8.28 507920384 error: exception 7.09 3.99 214843392 error: exception 7.36 4.09 211410944 error: exception 6.78 3.87 212111360
20170304-DifficultPathPrograms/s3_srvr_2.BV.c.cil.c_13.bpl true 12.7  7.04 385159168 error: exception 6.93 3.86 216842240 error: exception 7.48 4.37 215146496 error: exception 7.17 4.01 205234176
20170304-DifficultPathPrograms/s3_srvr_2.cil.c_16.bpl true 12.8  7.24 422776832 error: exception 7.06 3.89 215515136 error: exception 7.04 4.17 216207360 error: exception 7.03 3.93 215453696
20170304-DifficultPathPrograms/s3_srvr_2_alt.BV.c.cil.c_13.bpl true 13.2  7.23 391409664 error: exception 7.02 3.95 217411584 error: exception 7.41 4.14 218054656 error: exception 6.88 3.94 216121344
20170304-DifficultPathPrograms/s3_srvr_3.BV.c.cil.c_19.bpl true 30.0  16.7  779321344 error: exception 7.25 4.06 218513408 error: exception 7.54 4.18 221544448 error: exception 7.50 4.17 231030784
20170304-DifficultPathPrograms/s3_srvr_3.cil.c_20.bpl true 29.1  16.5  814346240 error: exception 7.21 4.04 221868032 error: exception 7.46 4.20 226803712 error: exception 7.89 4.35 222150656
20170304-DifficultPathPrograms/s3_srvr_3_alt.BV.c.cil.c_19.bpl true 31.3  17.3  794660864 error: exception 7.40 4.16 218120192 error: exception 7.73 4.43 213127168 error: exception 7.56 4.20 227356672
20170304-DifficultPathPrograms/s3_srvr_4.cil.c_14.bpl true 13.1  7.29 398925824 error: exception 6.79 3.80 211189760 error: exception 7.41 4.12 205959168 error: exception 7.06 3.88 212946944
20170304-DifficultPathPrograms/s3_srvr_7.cil.c_19.bpl true 14.0  7.74 438841344 error: exception 6.88 3.91 213704704 error: exception 7.23 4.00 222674944 error: exception 6.94 3.93 215896064
20170304-DifficultPathPrograms/seq.i_4.bpl timeout (error (143)) 301    242    1390350336 error: exception 6.36 3.59 211824640 error: exception 6.37 3.62 211501056 error: exception 6.13 3.51 211546112
20170304-DifficultPathPrograms/simple1.i_3.bpl timeout (error (143)) 305    296    691425280 error: exception 6.03 3.44 203317248 error: exception 6.09 3.40 209461248 error: exception 6.31 3.77 209895424
20170304-DifficultPathPrograms/simple4.i_3.bpl timeout (error (143)) 306    297    712654848 error: exception 6.41 3.56 200593408 error: exception 6.12 3.43 205668352 error: exception 6.37 3.59 211464192
20170304-DifficultPathPrograms/string.i_3.bpl unknown: overapproxcex 9.04 5.08 273084416 error: exception 6.43 3.59 211886080 error: exception 6.32 3.59 210821120 error: exception 6.26 3.53 211623936
20170304-DifficultPathPrograms/string_concat-noarr.i_3.bpl true 84.9  63.6  1415479296 error: exception 6.03 3.41 200900608 error: exception 6.05 3.44 208642048 error: exception 6.45 3.58 210194432
20170304-DifficultPathPrograms/sum01.i_3.bpl true 8.15 4.53 235298816 error: exception 6.12 3.46 200916992 error: exception 6.33 3.56 210452480 error: exception 6.27 3.52 209960960
20170304-DifficultPathPrograms/sum01_bug02.i_3.bpl true 8.16 4.59 236744704 error: exception 6.01 3.41 203657216 error: exception 5.93 3.36 202874880 error: exception 6.46 3.60 210006016
20170304-DifficultPathPrograms/sum01_bug02_sum01_bug02_base.case.i_4.bpl true 7.66 4.35 234819584 error: exception 6.16 3.46 200732672 error: exception 6.31 3.53 208875520 error: exception 6.09 3.42 209354752
20170304-DifficultPathPrograms/sum02.i_3.bpl timeout (error (143)) 306    301    443445248 error: exception 6.21 3.52 204627968 error: exception 5.97 3.42 210231296 error: exception 6.31 3.59 211341312
20170304-DifficultPathPrograms/sum03.i_3.bpl false 81.0  73.2  616001536 error: exception 6.86 3.81 213102592 error: exception 6.81 3.82 210460672 error: exception 6.40 3.60 212951040
20170304-DifficultPathPrograms/sum04.i_3.bpl true 12.3  7.02 381341696 error: exception 5.90 3.37 200556544 error: exception 6.06 3.61 209678336 error: exception 6.34 3.56 209784832
20170304-DifficultPathPrograms/sum04.i_4.bpl false 9.24 5.17 273686528 error: exception 5.99 3.45 199741440 error: exception 6.40 3.55 209477632 error: exception 6.07 3.48 203550720
20170304-DifficultPathPrograms/sum_array.i_3.bpl true 8.91 5.04 265670656 error: exception 6.82 3.79 207564800 error: exception 6.51 3.69 211828736 error: exception 6.47 3.66 210685952
20170304-DifficultPathPrograms/toy.cil.c_34.bpl true 35.1  20.9  903467008 error: exception 7.24 4.03 215146496 error: exception 8.79 4.85 237273088 error: exception 8.73 4.82 239448064
20170304-DifficultPathPrograms/underapprox1.i_3.bpl false 9.46 5.41 286826496 error: exception 6.17 3.50 201494528 error: exception 6.38 3.56 209350656 error: exception 6.12 3.46 210714624
20170304-DifficultPathPrograms/underapprox2.i_3.bpl false 9.98 5.56 297750528 error: exception 5.93 3.41 200110080 error: exception 6.02 3.39 208379904 error: exception 6.33 3.53 213639168
20170304-DifficultPathPrograms/up.i_4.bpl timeout (error (143)) 301    238    1439698944 error: exception 6.36 3.56 212373504 error: exception 6.45 3.60 210882560 error: exception 6.16 3.50 211156992
20170304-DifficultPathPrograms/veris.c_NetBSD-libc__loop.i_2.bpl true 8.80 4.97 265322496 error: exception 6.47 3.67 213975040 error: exception 6.41 3.65 215859200 error: exception 6.58 3.70 211447808
20170304-DifficultPathPrograms/verisec_NetBSD-libc__loop.i_2.bpl false 8.42 4.69 246276096 error: exception 6.71 3.77 214798336 error: exception 6.20 3.53 212443136 error: exception 6.23 3.55 209666048
20170304-DifficultPathPrograms/vogal.i_5.bpl true 9.26 5.26 269688832 error: exception 6.54 3.69 211136512 error: exception 6.53 3.69 218071040 error: exception 6.49 3.66 216616960
toy/tooDifficultLoopInvariant/AnnoyingVillain.bpl timeout (error (143)) 302    284    974438400 error: exception 6.20 3.45 200691712 error: exception 6.13 3.37 205549568 error: exception 6.06 3.47 208621568
toy/tooDifficultLoopInvariant/ArrayInit01.bpl timeout (error (143)) 303    292    1958903808 error: exception 5.62 3.22 198418432 error: exception 5.85 3.39 199872512 error: exception 6.20 3.47 209006592
toy/tooDifficultLoopInvariant/ArrayInit02.bpl timeout (error (143)) 301    247    1265192960 error: exception 6.54 3.66 212570112 error: exception 6.97 3.90 209158144 error: exception 6.45 3.66 211668992
toy/tooDifficultLoopInvariant/BeyerHenzingerMajumdarRybalchenko-PLDI2007-Figure4.bpl true 205    161    2405924864 error: exception 5.97 3.39 199950336 error: exception 6.55 3.55 212221952 error: exception 6.30 3.54 212230144
toy/tooDifficultLoopInvariant/CountTillBound-Jupiter.bpl true 7.35 4.13 226353152 error: exception 6.03 3.43 201584640 error: exception 6.23 3.53 209625088 error: exception 6.33 3.58 213057536
toy/tooDifficultLoopInvariant/DivisibilityInterpolantRequired01-BackwardSuccess.bpl timeout (error (143)) 301    246    1302437888 error: exception 5.82 3.34 198578176 error: exception 6.24 3.46 205955072 error: exception 6.47 3.58 208269312
toy/tooDifficultLoopInvariant/DivisibilityInterpolantRequired02-ForwardSuccess.bpl true 5.85 3.34 214646784 error: exception 5.59 3.21 203632640 error: exception 5.93 3.41 208691200 error: exception 6.14 3.47 209567744
toy/tooDifficultLoopInvariant/DivisibilityInterpolantRequired03-FPBPCannibalizationSuccess.bpl timeout (error (143)) 300    252    1281593344 error: exception 6.05 3.42 200196096 error: exception 6.14 3.41 199405568 error: exception 6.74 3.69 206290944
toy/tooDifficultLoopInvariant/HiddenEquality-Safe.bpl true 255    198    1478299648 error: exception 5.91 3.36 199028736 error: exception 6.40 3.58 206475264 error: exception 5.98 3.34 208576512
toy/tooDifficultLoopInvariant/HiddenEqualityWithBranches.bpl timeout (error (143)) 301    235    1399222272 error: exception 6.23 3.48 200167424 error: exception 6.03 3.46 212074496 error: exception 6.59 3.65 211132416
toy/tooDifficultLoopInvariant/HiddenInequality.bpl true 11.0  6.34 353587200 error: exception 5.71 3.28 198909952 error: exception 5.91 3.41 211148800 error: exception 6.12 3.45 218181632
toy/tooDifficultLoopInvariant/INT_add_vs_inc.bpl true 10.4  5.90 297078784 error: exception 6.06 3.46 200323072 error: exception 6.42 3.61 209539072 error: exception 6.56 3.66 209321984
toy/tooDifficultLoopInvariant/InvariantSynthesisWpOverapproxIntRealNegationBug.bpl true 6.07 3.35 201248768 true 5.76 3.32 199282688 error: exception 6.24 3.48 207605760 error: exception 5.94 3.37 205955072
toy/tooDifficultLoopInvariant/LargeConstant-ForwardSuccess.bpl true 7.61 4.30 236503040 error: exception 5.96 3.38 200548352 error: exception 6.23 3.42 205234176 error: exception 6.12 3.37 206753792
toy/tooDifficultLoopInvariant/LexIndexValue-Pointer-Reduced.bpl timeout (error (143)) 301    239    1375875072 error: exception 5.76 3.29 192466944 error: exception 5.98 3.42 211951616 error: exception 6.17 3.47 209547264
toy/tooDifficultLoopInvariant/Luxembourg-ArraysIntegefied.bpl timeout (error (143)) 301    239    1528942592 error: exception 6.13 3.49 211447808 error: exception 6.71 3.75 204771328 error: exception 6.55 3.73 212189184
toy/tooDifficultLoopInvariant/Luxembourg-WithArrays.bpl timeout (error (143)) 300    245    1862479872 error: exception 5.90 3.38 198270976 error: exception 5.80 3.36 187240448 error: exception 5.87 3.38 198991872
toy/tooDifficultLoopInvariant/Luxembourg-sophisticated.bpl timeout (error (143)) 301    261    1425461248 error: exception 5.78 3.50 200269824 error: exception 6.25 3.45 206217216 error: exception 6.34 3.60 208605184
toy/tooDifficultLoopInvariant/Luxembourg.bpl timeout (error (143)) 301    237    1402781696 error: exception 6.29 3.57 202543104 error: exception 6.15 3.39 205959168 error: exception 5.98 3.41 212230144
toy/tooDifficultLoopInvariant/LuxembourgOctopus.bpl timeout (error (143)) 301    239    1382006784 error: exception 6.05 3.38 199651328 error: exception 6.14 3.48 208261120 error: exception 6.20 3.52 209920000
toy/tooDifficultLoopInvariant/Modulo-Ihringen-ModuloResolved.bpl true 6.58 3.65 211476480 error: exception 6.17 3.45 205795328 error: exception 6.38 3.60 209350656 error: exception 6.29 3.55 213483520
toy/tooDifficultLoopInvariant/Modulo-Ihringen.bpl true 6.72 3.64 212975616 error: exception 6.17 3.47 208293888 error: exception 6.27 3.49 206249984 error: exception 6.35 3.57 204206080
toy/tooDifficultLoopInvariant/ModuloInvariant-Breisach.bpl true 5.78 3.35 194428928 error: exception 5.99 3.38 199630848 error: exception 6.06 3.44 208232448 error: exception 6.09 3.45 198529024
toy/tooDifficultLoopInvariant/MonadicInvariant01.bpl timeout (error (143)) 301    241    1372557312 error: exception 5.74 3.31 199208960 error: exception 6.05 3.39 207900672 error: exception 6.27 3.55 209465344
toy/tooDifficultLoopInvariant/NeonAngel01.bpl timeout (error (143)) 306    295    778846208 error: exception 6.04 3.43 193142784 error: exception 6.06 3.60 206721024 error: exception 5.84 3.36 208617472
toy/tooDifficultLoopInvariant/Octopussy.bpl timeout (error (143)) 301    237    1427931136 error: exception 5.46 3.19 198299648 error: exception 5.97 3.39 208543744 error: exception 5.97 3.41 208285696
toy/tooDifficultLoopInvariant/PointerIncrement-simplified01.bpl timeout (error (143)) 300    242    2302599168 error: exception 6.27 3.49 208445440 error: exception 6.25 3.61 220495872 error: exception 6.41 3.64 211443712
toy/tooDifficultLoopInvariant/PointerIncrement-simplified02.bpl timeout (error (143)) 300    243    2116702208 error: exception 6.25 3.72 210382848 error: exception 6.49 3.63 216920064 error: exception 6.04 3.43 210640896
toy/tooDifficultLoopInvariant/PointerIncrement-simplified03.bpl timeout (error (143)) 301    243    1990885376 error: exception 6.29 3.61 217878528 error: exception 6.42 3.58 213864448 error: exception 6.38 3.60 208252928
toy/tooDifficultLoopInvariant/PointerIncrement.bpl timeout (error (143)) 300    241    2466373632 error: exception 6.71 3.76 211140608 error: exception 6.96 3.86 214691840 error: exception 6.65 3.74 213831680
toy/tooDifficultLoopInvariant/Sandman01.bpl timeout (error (143)) 300    244    1878491136 error: exception 5.96 3.38 200122368 error: exception 5.95 3.36 210395136 error: exception 6.04 3.43 201220096
toy/tooDifficultLoopInvariant/ValueTerminatedArrayIteration01.bpl true 9.88 5.62 297967616 error: exception 5.78 3.29 199053312 error: exception 6.20 3.48 209199104 error: exception 6.07 3.49 212029440
toy/tooDifficultLoopInvariant/codeblockAssertOrder01.bpl true 7.47 4.17 232001536 error: exception 5.94 3.38 200343552 error: exception 5.86 3.38 209207296 error: exception 5.89 3.38 208658432
toy/tooDifficultLoopInvariant/doubleLoopUniformIterations.bpl timeout (error (143)) 301    238    1327263744 error: exception 5.94 3.42 200585216 error: exception 5.86 3.39 210800640 error: exception 5.82 3.34 212434944
toy/tooDifficultLoopInvariant/HierarchicalTraceAbstraction/GeometricalCake.bpl timeout (error (143)) 301    271    1167421440 error: exception 6.13 3.40 200888320 error: exception 6.22 3.48 209473536 error: exception 5.91 3.36 207962112
toy/tooDifficultLoopInvariant/HierarchicalTraceAbstraction/GeometricalIntegerCake.bpl true 8.05 4.51 237539328 error: exception 5.99 3.44 200851456 error: exception 6.13 3.45 200437760 error: exception 6.51 3.62 211091456
toy/tooDifficultLoopInvariant/HierarchicalTraceAbstraction/GeometricalIntegerCakeWithArray.bpl true 11.0  6.17 298356736 error: exception 6.34 3.53 209494016 error: exception 6.27 3.51 199122944 error: exception 6.24 3.47 201605120
toy/tooDifficultLoopInvariant/HierarchicalTraceAbstraction/SkatingStrawberry.bpl error: type error 4.25 2.32 171917312 error: type error 4.44 2.45 173375488 error: type error 4.88 2.60 177164288 error: type error 4.90 2.66 177672192
toy/nonlinear/ConstantValue-Safe.bpl true 6.60 3.70 224989184 error: exception 6.13 3.45 200663040 error: exception 5.71 3.31 208265216 error: exception 5.93 3.37 208633856
toy/nonlinear/InterpolationPaperExampleCandidate01.bpl true 5.93 3.37 205770752 true 6.44 3.60 213372928 error: exception 5.79 3.31 208101376 error: exception 5.96 3.42 212324352
toy/nonlinear/Mult1-Safe.bpl timeout (error (143)) 306    272    1212530688 error: exception 5.94 3.41 211369984 error: exception 6.24 3.57 209641472 error: exception 6.15 3.49 208232448
toy/nonlinear/NonlinearInvariant1-Safe.bpl true 6.40 3.62 223186944 error: exception 6.31 3.57 214130688 error: exception 6.14 3.46 210423808 error: exception 6.19 3.69 211058688
toy/nonlinear/PositiveValue-Safe.bpl true 6.67 3.63 216457216 error: exception 5.88 3.33 200921088 error: exception 6.13 3.45 208699392 error: exception 5.71 3.28 209166336
toy/nonlinear/Power1-Safe.bpl true 7.12 3.96 226177024 error: exception 5.68 3.27 205561856 error: exception 5.85 3.28 211726336 error: exception 5.96 3.36 209354752
toy/nonlinear/Power2-Unsafe.bpl false 7.43 4.22 237563904 error: exception 6.28 3.56 214630400 error: exception 6.01 3.38 212811776 error: exception 6.06 3.44 210722816
toy/nonlinear/Power3-Safe.bpl timeout (error (143)) 302    295    1711157248 error: exception 6.25 3.52 206172160 error: exception 6.02 3.42 209293312 error: exception 5.99 3.41 208437248
../../../trunk/examples/programs/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 251 25600 20800 210090823680 251 1660 937   53562015744 251 1770 995   55904505856 251 1770 996   56022917120
local summary 23400 1680 1660 71.3 1770 75.5 1770 75.5
    correct results 0 0 0 0
        correct true 0 0 0 0
        correct false 0 0 0 0
    incorrect results 0 0 0 0
        incorrect true 0 0 0 0
        incorrect false 0 0 0 0
Run set Automizer Old Automizer New CodeCheck Old CodeCheck New