Tool ULTIMATE Automizer 0.1.23-bd427405
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 21:17:13 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    2852827136 error: exception 20.6  11.8  700211200 timeout (error (143)) 300    244    2860875776 error: exception 28.5  17.3  716496896
real-life/DraegerElevator-FSEN2007.bpl true 9.16 5.25 257155072 error: exception 6.57 3.69 211161088 true 10.5  5.93 293486592 error: exception 7.21 4.06 217190400
real-life/Elevator-Integer.bpl true 53.2  33.1  1022251008 error: exception 6.80 3.85 213389312 true 285    242    2030133248 error: exception 9.36 5.19 247099392
real-life/Elevator.bpl true 67.0  43.4  1052205056 error: exception 6.82 3.87 216506368 timeout (error (143)) 301    264    2646339584 error: exception 9.12 5.04 243236864
real-life/ElevatorWithAssignments.bpl true 56.6  34.4  1016709120 error: exception 6.77 3.84 203534336 timeout (error (143)) 301    247    2159550464 error: exception 9.27 5.27 242999296
real-life/ElevatorWithSingleTransition.bpl false 6.42 3.57 201216000 false 6.25 3.50 201220096 false 6.52 3.67 211726336 false 6.44 3.62 215355392
real-life/GateController.bpl timeout (error (143)) 301    239    1435684864 error: exception 6.32 3.55 213909504 timeout (error (143)) 300    246    2278936576 error: exception 6.54 3.70 210296832
real-life/GateControllerIncorrect1.bpl false 24.7  15.5  697298944 error: exception 6.27 3.72 209248256 false 13.6  8.14 439435264 error: exception 6.61 3.89 208666624
real-life/GripperTest-correct.bpl true 6.82 3.75 213995520 error: exception 6.39 3.75 207888384 true 10.3  5.85 275771392 error: exception 6.77 3.87 209018880
real-life/GripperTest-incorrect.bpl false 7.32 3.96 214085632 error: exception 6.72 3.91 211300352 false 7.98 4.46 222892032 error: exception 6.81 3.98 210378752
real-life/GuiTestExample.bpl false 13.2  7.53 381505536 error: exception 8.43 4.83 261111808 false 11.1  6.34 315965440 error: exception 11.2  6.42 309354496
real-life/GuiTestExampleUnsafe.bpl false 13.0  7.27 382107648 error: exception 8.74 4.97 260747264 false 10.8  6.21 315215872 error: exception 11.2  6.54 324243456
real-life/RailwayCrossing-Incorrenct.bpl false 7.32 4.30 228364288 error: exception 6.04 3.46 200945664 false 7.01 3.96 215293952 error: exception 6.10 3.47 211488768
real-life/RailwayCrossing.bpl timeout (error (143)) 300    242    1442942976 error: exception 5.77 3.35 198172672 timeout (error (143)) 301    250    2176409600 error: exception 6.33 3.56 212492288
real-life/USE_SimplifiedGripperTest.bpl true 6.32 3.51 210399232 error: exception 6.24 3.46 205524992 true 7.24 4.03 212455424 error: exception 6.25 3.55 211156992
real-life/bank.bpl false 5.91 3.34 197357568 false 5.88 3.38 199913472 false 6.06 3.43 204525568 false 6.52 3.65 202563584
real-life/divisibilityWithArray.bpl timeout (error (143)) 301    250    1292689408 error: exception 6.36 3.52 200388608 timeout (error (143)) 301    262    2614726656 error: exception 6.26 3.54 205074432
real-life/s3_clnt_1_Safe.bpl true 52.2  28.5  1151119360 error: exception 7.94 4.50 234143744 timeout (error (143)) 300    245    2849988608 error: exception 9.55 5.39 267935744
real-life/s3_clnt_1_Unsafe.bpl false 15.0  8.34 521814016 error: exception 8.36 4.69 239800320 timeout (error (143)) 301    245    2878062592 error: exception 9.13 5.18 264736768
real-life/tcas-correct.bpl true 8.42 4.63 240758784 error: exception 6.72 3.75 214736896 true 7.78 4.26 214425600 error: exception 7.30 4.20 214335488
real-life/tcas-incorrect.bpl false 6.40 3.64 212275200 false 6.47 3.63 212418560 false 7.08 4.00 222621696 false 7.52 4.16 216428544
real-life/tcas-woAssumption.bpl false 6.36 3.63 207085568 false 6.56 3.73 210243584 false 6.94 3.86 215740416 false 7.13 3.94 218488832
real-life/threadpooling_out.bpl timeout (error (143)) 301    254    2199973888 error: exception 7.51 4.26 221769728 timeout (error (143)) 300    251    2687344640 error: exception 7.74 4.34 219054080
real-life/threadpooling_out2.mover.bpl true 83.0  56.8  1291112448 error: exception 6.51 3.73 213032960 timeout (error (143)) 300    253    2395729920 error: exception 6.50 3.77 216162304
real-life/threadpooling_out3.bpl timeout (error (143)) 301    262    2437701632 error: exception 14.4  8.25 423206912 timeout (error (143)) 301    250    2605051904 error: exception 14.1  8.11 429821952
real-life/threadpooling_out3.mover.bpl timeout (error (143)) 301    265    2575839232 error: exception 8.38 4.68 229957632 timeout (error (143)) 300    255    2475520000 error: exception 8.40 4.71 235601920
real-life/threadpooling_out3_Reals.bpl timeout (error (143)) 301    260    2741174272 error: exception 14.4  8.22 424853504 timeout (error (143)) 300    250    2036518912 error: exception 14.3  8.20 424251392
real-life/threadpooling_out_Reals.bpl timeout (error (143)) 301    264    1560965120 error: exception 7.45 4.21 222515200 timeout (error (143)) 300    249    2555334656 error: exception 7.57 4.28 219090944
real-life/threadpooling_product.bpl timeout (error (143)) 301    255    1922404352 error: exception 6.79 3.80 211574784 timeout (error (143)) 300    259    2775207936 error: exception 6.42 3.69 211599360
real-life/threadpooling_product_WithProcedures.bpl timeout (error (143)) 304    256    2917773312 error: exception 6.75 3.87 214519808 timeout (error (143)) 300    253    2801049600 error: exception 6.93 3.92 207880192
real-life/threadpooling_product_WithoutIf.bpl timeout (error (143)) 302    256    2865184768 error: exception 6.34 3.61 212586496 timeout (error (143)) 301    261    2776399872 error: exception 6.38 3.60 210223104
20170319-ConjunctivePathPrograms/bhmr2007.c.i_3.bplTransformedIcfg_BEv2_3.bpl true 7.89 4.52 236355584 error: exception 6.33 3.53 200560640 true 7.16 4.06 217280512 error: exception 6.36 3.58 209018880
20170319-ConjunctivePathPrograms/cggmp2005.c.i_3.bplTransformedIcfg_BEv2_2.bpl true 10.3  5.75 300023808 error: exception 5.71 3.27 198438912 true 11.6  6.91 400084992 error: exception 6.13 3.45 206729216
20170319-ConjunctivePathPrograms/cggmp2005_variant.c.i_3.bplTransformedIcfg_BEv2_3.bpl true 9.34 5.26 256131072 error: exception 5.93 3.34 200486912 true 8.52 4.84 236924928 error: exception 6.24 3.61 204083200
20170319-ConjunctivePathPrograms/const1.i_3.bplTransformedIcfg_BEv2_6.bpl timeout (error (143)) 301    236    1520975872 error: exception 5.70 3.28 204369920 timeout (error (143)) 301    239    2818834432 error: exception 6.04 3.57 206860288
20170319-ConjunctivePathPrograms/count_by_1_variant.i_2.bplTransformedIcfg_BEv2_3.bpl true 8.66 4.85 249372672 error: exception 6.40 3.61 210497536 timeout (error (143)) 301    244    2840559616 error: exception 6.28 3.58 212045824
20170319-ConjunctivePathPrograms/count_by_2.i_3.bplTransformedIcfg_BEv2_3.bpl timeout (error (143)) 301    237    1459097600 error: exception 5.80 3.28 195907584 timeout (error (143)) 300    240    2874433536 error: exception 6.18 3.50 209244160
20170319-ConjunctivePathPrograms/count_by_k.i_3.bplTransformedIcfg_BEv2_3.bpl timeout (error (143)) 301    258    1345978368 error: exception 6.21 3.48 202686464 timeout (error (143)) 301    248    2869444608 error: exception 6.16 3.48 200830976
20170319-ConjunctivePathPrograms/count_by_nondet.i_3.bplTransformedIcfg_BEv2_3.bpl timeout (error (143)) 301    237    1500082176 error: exception 6.10 3.47 202014720 timeout (error (143)) 301    242    2844651520 error: exception 6.07 3.45 208805888
20170319-ConjunctivePathPrograms/count_up_down.i_3.bplTransformedIcfg_BEv2_7.bpl true 6.26 3.51 214884352 error: exception 6.19 3.47 202911744 true 6.56 3.73 211533824 error: exception 6.54 3.63 209244160
20170319-ConjunctivePathPrograms/ddlm2013.i_3.bplTransformedIcfg_BEv2_8.bpl true 7.71 4.28 230121472 error: exception 6.69 3.66 218140672 true 7.27 4.15 217989120 error: exception 6.02 3.39 221007872
20170319-ConjunctivePathPrograms/down.i_4.bplTransformedIcfg_BEv2_5.bpl timeout (error (143)) 301    238    1501372416 error: exception 6.02 3.50 204541952 timeout (error (143)) 301    241    2379112448 error: exception 6.57 3.71 211025920
20170319-ConjunctivePathPrograms/fragtest_simple.i_4.bplTransformedIcfg_BEv2_5.bpl timeout (error: exception) 301    240    1595269120 error: exception 6.51 3.64 201846784 timeout (error (143)) 302    251    2914234368 error: exception 6.23 3.55 214024192
20170319-ConjunctivePathPrograms/functions1.i_3.bplTransformedIcfg_BEv2_8.bpl timeout (error (143)) 301    235    1511763968 error: exception 5.95 3.37 202330112 timeout (error (143)) 301    238    2901544960 error: exception 6.01 3.42 210116608
20170319-ConjunctivePathPrograms/gauss_sum.i_3.bplTransformedIcfg_BEv2_3.bpl timeout (error (143)) 301    260    1292267520 error: exception 6.42 3.57 208535552 timeout (error (143)) 301    265    1578909696 error: exception 6.31 3.51 211623936
20170319-ConjunctivePathPrograms/gcd_2.i_4.bplTransformedIcfg_BEv2_6.bpl true 7.19 3.99 220618752 error: exception 6.29 3.50 209403904 true 7.98 4.54 228466688 error: exception 6.03 3.44 203481088
20170319-ConjunctivePathPrograms/gj2007.c.i_4.bplTransformedIcfg_BEv2_3.bpl true 142    94.6  1450881024 error: exception 6.31 3.58 202899456 timeout (error (143)) 301    237    1573306368 error: exception 6.13 3.47 209682432
20170319-ConjunctivePathPrograms/gr2006.c.i_4.bplTransformedIcfg_BEv2_3.bpl true 170    128    1796931584 error: exception 6.00 3.41 201560064 timeout (error (143)) 301    244    2797412352 error: exception 6.44 3.66 213843968
20170319-ConjunctivePathPrograms/half.i_3.bplTransformedIcfg_BEv2_4.bpl true 7.66 4.32 226185216 error: exception 6.22 3.54 203268096 true 9.12 5.15 245628928 error: exception 6.08 3.49 209637376
20170319-ConjunctivePathPrograms/half_2.i_3.bplTransformedIcfg_BEv2_5.bpl true 9.34 5.26 257273856 error: exception 5.96 3.38 201666560 true 10.5  6.09 304553984 error: exception 6.38 3.59 210677760
20170319-ConjunctivePathPrograms/hhk2008.c.i_3.bplTransformedIcfg_BEv2_3.bpl true 9.31 5.27 262815744 error: exception 5.88 3.38 199172096 true 9.27 5.37 266297344 error: exception 6.40 3.58 211951616
20170319-ConjunctivePathPrograms/interleave_bits.i_3.bplTransformedIcfg_BEv2_4.bpl false 15.7  9.27 526233600 error: exception 6.37 3.50 199827456 false 13.3  7.83 459141120 error: exception 6.10 3.45 211611648
20170319-ConjunctivePathPrograms/jain_5.i_2.bplTransformedIcfg_BEv2_4.bpl true 8.80 4.97 243535872 error: exception 6.47 3.59 211861504 timeout (error (143)) 300    256    2809241600 error: exception 6.22 3.53 210083840
20170319-ConjunctivePathPrograms/jm2006.c.i_3.bplTransformedIcfg_BEv2_3.bpl true 10.9  6.11 294744064 error: exception 6.27 3.52 201269248 true 12.7  7.71 436740096 error: exception 6.06 3.49 210558976
20170319-ConjunctivePathPrograms/jm2006_variant.c.i_3.bplTransformedIcfg_BEv2_3.bpl true 10.3  5.90 301096960 error: exception 6.06 3.43 201261056 true 13.3  8.03 451829760 error: exception 6.26 3.53 208474112
20170319-ConjunctivePathPrograms/large_const.i_3.bplTransformedIcfg_BEv2_2.bpl true 7.62 4.22 222912512 error: exception 6.34 3.57 211193856 true 9.58 5.39 258637824 error: exception 6.32 3.60 209018880
20170319-ConjunctivePathPrograms/nested.i_4.bplTransformedIcfg_BEv2_3.bpl true 291    246    3145383936 error: exception 6.16 3.43 207523840 timeout (error (143)) 301    258    2851102720 error: exception 6.08 3.41 199602176
20170319-ConjunctivePathPrograms/nested1.i_4.bplTransformedIcfg_BEv2_12.bpl timeout (error (143)) 302    246    2907054080 error: exception 6.14 3.46 198590464 timeout (error (143)) 301    240    2857107456 error: exception 6.21 3.53 207372288
20170319-ConjunctivePathPrograms/nested9.i_3.bplTransformedIcfg_BEv2_4.bpl true 11.3  6.44 315609088 error: exception 6.68 3.75 210673664 true 11.1  6.64 388362240 error: exception 6.50 3.68 213155840
20170319-ConjunctivePathPrograms/num_conversion_1.i_3.bplTransformedIcfg_BEv2_9.bpl false 11.0  6.10 327913472 error: exception 6.06 3.44 200065024 false 11.3  6.23 303624192 error: exception 6.19 3.50 209068032
20170319-ConjunctivePathPrograms/num_conversion_2.i_3.bplTransformedIcfg_BEv2_7.bpl false 11.1  6.24 327274496 error: exception 6.23 3.47 200122368 false 14.6  9.07 624766976 error: exception 6.37 3.62 211095552
20170319-ConjunctivePathPrograms/overflow1.i_3.bplTransformedIcfg_BEv2_4.bpl timeout (error (143)) 301    235    1485627392 error: exception 5.87 3.39 199979008 timeout (error (143)) 301    241    2853412864 error: exception 6.00 3.40 210100224
20170319-ConjunctivePathPrograms/pals_lcr-var-start-time.3.1.ufo.BOUNDED-6.pals.c_9.bplTransformedIcfg_BEv2_24.bpl true 12.7  7.30 389054464 error: exception 6.95 3.91 223174656 true 13.3  7.55 398757888 error: exception 8.40 4.64 233304064
20170319-ConjunctivePathPrograms/pals_lcr-var-start-time.3.1.ufo.UNBOUNDED.pals.c_9.bplTransformedIcfg_BEv2_29.bpl true 12.3  6.90 377520128 error: exception 7.17 3.98 206184448 true 12.0  6.72 337068032 error: exception 8.04 4.41 240304128
20170319-ConjunctivePathPrograms/pals_lcr-var-start-time.3.2.ufo.BOUNDED-6.pals.c_9.bplTransformedIcfg_BEv2_24.bpl true 14.1  7.81 408457216 error: exception 6.78 3.82 212750336 true 11.5  6.44 315973632 error: exception 8.06 4.46 226734080
20170319-ConjunctivePathPrograms/pals_lcr-var-start-time.3.ufo.BOUNDED-6.pals.c_9.bplTransformedIcfg_BEv2_24.bpl true 12.6  6.96 380612608 error: exception 6.90 3.85 223064064 true 11.9  6.67 344604672 error: exception 8.62 4.72 233644032
20170319-ConjunctivePathPrograms/pals_lcr-var-start-time.3.ufo.UNBOUNDED.pals.c_9.bplTransformedIcfg_BEv2_26.bpl true 15.9  8.92 460447744 error: exception 7.00 3.87 213655552 true 12.4  6.88 341073920 error: exception 8.18 4.51 229318656
20170319-ConjunctivePathPrograms/pals_lcr-var-start-time.4.1.ufo.BOUNDED-8.pals.c_10.bplTransformedIcfg_BEv2_25.bpl true 15.3  8.40 463618048 error: exception 7.44 4.08 231829504 true 13.2  7.41 399507456 error: exception 8.64 4.78 240099328
20170319-ConjunctivePathPrograms/pals_lcr-var-start-time.4.ufo.BOUNDED-8.pals.c_10.bplTransformedIcfg_BEv2_23.bpl true 13.9  7.76 444014592 error: exception 6.76 3.81 228868096 true 13.8  8.20 484622336 error: exception 8.93 4.83 248750080
20170319-ConjunctivePathPrograms/pals_lcr.3.ufo.BOUNDED-6.pals.c_13.bplTransformedIcfg_BEv2_23.bpl true 10.9  5.94 329330688 error: exception 7.09 3.98 207089664 true 12.2  6.83 340008960 error: exception 8.13 4.47 231219200
20170319-ConjunctivePathPrograms/pals_lcr.3.ufo.UNBOUNDED.pals.c_14.bplTransformedIcfg_BEv2_29.bpl true 10.2  5.76 330313728 error: exception 6.92 3.91 213745664 true 10.3  5.75 287358976 error: exception 7.38 4.19 231063552
20170304-DifficultPathPrograms/afnp2014.c.i_3.bpl true 7.94 4.44 232472576 error: exception 6.05 3.41 200310784 timeout (error (143)) 300    254    2826620928 error: exception 6.11 3.49 210075648
20170304-DifficultPathPrograms/array.i_3.bpl true 7.77 4.37 232517632 error: exception 6.27 3.50 201617408 true 8.50 4.90 246079488 error: exception 6.02 3.43 200855552
20170304-DifficultPathPrograms/array1.i_3.bpl timeout (error (143)) 300    246    1439436800 error: exception 5.93 3.37 197521408 timeout (error (143)) 301    247    2900647936 error: exception 6.05 3.44 201596928
20170304-DifficultPathPrograms/array2.i_3.bpl timeout (error (143)) 302    247    1420984320 error: exception 5.99 3.41 202711040 timeout (error (143)) 300    246    2885632000 error: exception 6.32 3.56 218025984
20170304-DifficultPathPrograms/array3.i_4.bpl timeout (error (143)) 301    251    1569038336 error: exception 6.08 3.46 201949184 timeout (error (143)) 302    243    2895028224 error: exception 6.26 3.72 213942272
20170304-DifficultPathPrograms/array4.i_4.bpl out of memory 198    133    8000000000 error: exception 6.41 3.53 207106048 timeout (error (143)) 301    247    2898886656 error: exception 6.47 3.59 204959744
20170304-DifficultPathPrograms/bhmr2007.c.i_3.bpl true 8.93 4.95 243392512 error: exception 6.24 3.49 200761344 true 8.20 4.58 225894400 error: exception 6.10 3.47 201674752
20170304-DifficultPathPrograms/cggmp2005.c.i_3.bpl true 10.6  6.08 319127552 error: exception 5.84 3.34 199159808 true 11.5  6.92 406007808 error: exception 6.12 3.45 209489920
20170304-DifficultPathPrograms/cggmp2005_variant.c.i_3.bpl true 9.02 5.17 261165056 error: exception 6.11 3.44 207368192 true 8.80 4.99 240685056 error: exception 6.12 3.53 210259968
20170304-DifficultPathPrograms/cggmp2005b.c.i_4.bpl true 8.43 4.77 249139200 error: exception 6.65 3.63 202956800 true 9.58 5.50 282042368 error: exception 6.06 3.64 209334272
20170304-DifficultPathPrograms/const1.i_3.bpl timeout (error (143)) 306    291    875364352 error: exception 5.77 3.29 201216000 timeout (error (143)) 301    259    1239674880 error: exception 6.13 3.50 210096128
20170304-DifficultPathPrograms/count_by_1.i_3.bpl true 8.39 4.67 240635904 error: exception 5.96 3.34 198942720 timeout (error (143)) 301    248    2891440128 error: exception 6.47 3.63 209801216
20170304-DifficultPathPrograms/count_by_1_variant.i_2.bpl true 8.68 4.98 254148608 error: exception 5.98 3.40 200081408 true 8.86 5.09 258531328 error: exception 6.19 3.74 214056960
20170304-DifficultPathPrograms/count_by_2.i_3.bpl timeout (error (143)) 301    236    1456254976 error: exception 5.83 3.36 199868416 timeout (error (143)) 300    245    2888130560 error: exception 5.97 3.38 204922880
20170304-DifficultPathPrograms/count_by_k.i_3.bpl timeout (error (143)) 300    255    1357975552 error: exception 6.23 3.50 199917568 timeout (error (143)) 306    253    2872131584 error: exception 6.35 3.55 210456576
20170304-DifficultPathPrograms/count_by_nondet.i_3.bpl timeout (error (143)) 301    236    1599983616 error: exception 6.14 3.43 200069120 timeout (error (143)) 301    239    2855276544 error: exception 5.98 3.39 200273920
20170304-DifficultPathPrograms/count_up_down.i_3.bpl true 8.22 4.64 236851200 error: exception 6.36 3.54 201551872 true 7.26 4.13 214818816 error: exception 6.12 3.47 209600512
20170304-DifficultPathPrograms/ddlm2013.i_3.bpl true 7.84 4.43 234078208 error: exception 6.46 3.61 209874944 true 7.23 4.10 216186880 error: exception 6.17 3.54 212992000
20170304-DifficultPathPrograms/diamond1.i_3.bpl timeout (error (143)) 306    288    909627392 error: exception 6.12 3.49 201220096 timeout (error (143)) 301    257    1263276032 error: exception 6.43 3.61 210296832
20170304-DifficultPathPrograms/diamond2.i_4.bpl true 37.2  31.6  420601856 error: exception 6.22 3.51 201355264 true 214    209    499773440 error: exception 6.06 3.46 212480000
20170304-DifficultPathPrograms/down.i_4.bpl timeout (error (143)) 301    239    1428545536 error: exception 6.32 3.51 211283968 timeout (error (143)) 301    244    2825453568 error: exception 6.54 3.63 211091456
20170304-DifficultPathPrograms/eureka_01.i_3.bpl true 8.07 4.52 252649472 error: exception 6.54 3.68 213585920 true 9.22 5.25 262701056 error: exception 6.68 3.81 213790720
20170304-DifficultPathPrograms/eureka_01.i_6.bpl true 8.94 4.96 259096576 error: exception 7.09 3.92 221401088 true 42.9  25.7  870756352 error: exception 6.89 3.86 212971520
20170304-DifficultPathPrograms/eureka_05.i_5.bpl true 14.2  8.34 481112064 error: exception 6.33 3.56 204914688 true 40.3  27.2  929722368 error: exception 6.30 3.62 211197952
20170304-DifficultPathPrograms/fragtest_simple.i_4.bpl timeout (error (143)) 301    238    1477419008 error: exception 6.39 3.60 212242432 timeout (error (143)) 301    247    2784251904 error: exception 6.56 3.88 211083264
20170304-DifficultPathPrograms/functions1.i_3.bpl timeout (error (143)) 306    295    759934976 error: exception 5.96 3.40 202756096 timeout (error (143)) 301    253    1301905408 error: exception 6.34 3.57 210731008
20170304-DifficultPathPrograms/gauss_sum.i_3.bpl timeout (error (143)) 301    258    1302343680 error: exception 6.14 3.51 204828672 timeout (error (143)) 301    261    1573785600 error: exception 6.33 3.57 210657280
20170304-DifficultPathPrograms/gcd_2.i_4.bpl timeout (error (143)) 306    286    3230011392 error: exception 6.44 3.60 204730368 timeout (error (143)) 300    282    3081388032 error: exception 6.08 3.51 209256448
20170304-DifficultPathPrograms/gj2007.c.i_4.bpl true 132    88.2  1422413824 error: exception 6.18 3.51 206114816 timeout (error (143)) 301    240    1710485504 error: exception 5.85 3.37 201699328
20170304-DifficultPathPrograms/gr2006.c.i_4.bpl true 179    135    2241421312 error: exception 6.21 3.51 211431424 timeout (error (143)) 300    245    2824019968 error: exception 6.55 3.71 211087360
20170304-DifficultPathPrograms/half.i_3.bpl true 8.45 4.68 234729472 error: exception 6.36 3.57 201129984 true 9.72 5.60 281186304 error: exception 6.09 3.47 202076160
20170304-DifficultPathPrograms/half_2.i_3.bpl true 9.34 5.21 265879552 error: exception 6.13 3.46 199426048 true 10.2  5.98 304902144 error: exception 6.14 3.55 209375232
20170304-DifficultPathPrograms/hhk2008.c.i_3.bpl true 10.6  5.82 283054080 error: exception 6.36 3.58 202121216 true 9.85 5.65 272412672 error: exception 6.21 3.51 209330176
20170304-DifficultPathPrograms/insertion_sort.i_3.bpl true 8.04 4.43 225828864 error: exception 6.50 3.67 203927552 true 7.20 4.07 214511616 error: exception 6.18 3.48 210612224
20170304-DifficultPathPrograms/interleave_bits.i_3.bpl unknown: overapproxcex 23.2  15.5  628510720 error: exception 6.25 3.51 201818112 unknown: overapproxcex 19.0  12.0  680501248 error: exception 6.14 3.51 215957504
20170304-DifficultPathPrograms/invert_string.i_4.bpl timeout (error (143)) 301    242    1721679872 error: exception 6.25 3.60 207368192 timeout (error (143)) 300    248    2403504128 error: exception 6.77 3.79 210989056
20170304-DifficultPathPrograms/jain_1.i_2.bpl true 9.91 6.42 243032064 error: exception 6.12 3.45 202833920 timeout (error (143)) 301    249    1289191424 error: exception 6.58 3.69 209784832
20170304-DifficultPathPrograms/jain_2.i_2.bpl true 44.6  40.4  332386304 error: exception 6.34 3.59 210026496 timeout (error (143)) 301    253    1300701184 error: exception 6.62 3.68 211988480
20170304-DifficultPathPrograms/jain_4.i_2.bpl true 230    224    383602688 error: exception 6.46 3.63 206671872 timeout (error (143)) 301    253    1307226112 error: exception 6.45 3.80 206434304
20170304-DifficultPathPrograms/jain_5.i_2.bpl timeout (error (143)) 306    294    781103104 error: exception 6.22 3.53 202399744 timeout (error (143)) 301    259    2676310016 error: exception 6.27 3.56 211546112
20170304-DifficultPathPrograms/jain_6.i_2.bpl true 39.3  35.4  263458816 error: exception 6.28 3.49 200978432 timeout (error (143)) 301    254    1299902464 error: exception 6.43 3.64 205627392
20170304-DifficultPathPrograms/jain_7.i_2.bpl true 42.3  38.1  281735168 error: exception 6.40 3.65 213848064 timeout (error (143)) 301    254    1058689024 error: exception 6.68 3.72 212348928
20170304-DifficultPathPrograms/jm2006.c.i_3.bpl true 10.6  5.99 307277824 error: exception 6.39 3.61 201199616 true 11.0  6.45 344145920 error: exception 6.48 3.62 210210816
20170304-DifficultPathPrograms/jm2006_variant.c.i_3.bpl true 10.9  6.11 321024000 error: exception 6.22 3.49 208314368 true 11.0  6.47 351027200 error: exception 6.14 3.48 201916416
20170304-DifficultPathPrograms/large_const.i_3.bpl true 7.38 4.09 229335040 error: exception 6.32 3.55 217452544 true 8.74 5.03 257253376 error: exception 6.83 3.76 210337792
20170304-DifficultPathPrograms/linear_sea.ch.i_4.bpl true 21.1  16.7  277446656 error: exception 6.47 3.70 212377600 timeout (error (143)) 301    261    1270919168 error: exception 6.81 4.04 205897728
20170304-DifficultPathPrograms/linear_search.i_5.bpl true 22.9  16.8  502665216 error: exception 6.79 3.83 213749760 timeout (error (143)) 302    252    1580834816 error: exception 6.78 3.80 212340736
20170304-DifficultPathPrograms/matrix.i_4.bpl true 10.4  5.77 295489536 error: exception 6.60 3.66 218652672 true 12.9  7.82 445906944 error: exception 6.37 3.55 206790656
20170304-DifficultPathPrograms/mcmillan2006.c.i_3.bpl true 8.21 4.57 242343936 error: exception 6.28 3.55 208252928 true 7.52 4.28 224108544 error: exception 6.20 3.49 211275776
20170304-DifficultPathPrograms/n.c11.i_3.bpl true 9.34 5.35 278269952 error: exception 6.13 3.45 195629056 true 9.73 5.56 264957952 error: exception 6.10 3.45 209776640
20170304-DifficultPathPrograms/nested.c_4.bpl true 7.49 4.12 232665088 error: exception 6.17 3.51 201502720 timeout (error (143)) 301    244    2864226304 error: exception 6.27 3.55 211546112
20170304-DifficultPathPrograms/nested.i_4.bpl timeout (error (143)) 301    260    3342409728 error: exception 6.45 3.61 209338368 timeout (error (143)) 301    255    2832691200 error: exception 6.03 3.63 210006016
20170304-DifficultPathPrograms/nested1.i_4.bpl timeout (error (143)) 306    291    1170923520 error: exception 6.18 3.51 200413184 timeout (error (143)) 301    258    1847910400 error: exception 6.12 3.47 209645568
20170304-DifficultPathPrograms/nested9.i_3.bpl true 10.2  5.78 295866368 error: exception 6.48 3.61 211898368 true 10.9  6.60 386252800 error: exception 6.16 3.48 211308544
20170304-DifficultPathPrograms/num_conversion_1.i_3.bpl unknown: overapproxcex 33.6  26.7  465788928 error: exception 6.49 3.62 201154560 unknown: overapproxcex 212    207    416825344 error: exception 6.58 3.67 209428480
20170304-DifficultPathPrograms/num_conversion_2.i_3.bpl unknown: overapproxcex 29.5  22.8  476930048 error: exception 6.26 3.49 201400320 unknown: overapproxcex 216    211    406851584 error: exception 6.45 3.61 210817024
20170304-DifficultPathPrograms/overflow1.i_3.bpl timeout (error (143)) 306    296    694661120 error: exception 6.23 3.70 200138752 timeout (error (143)) 301    259    1290792960 error: exception 6.22 3.50 209612800
20170304-DifficultPathPrograms/pals_lcr-var-start-time.3.1.ufo.BOUNDED-6.pals.c_9.bpl true 16.9  9.39 546332672 error: exception 6.84 3.84 214093824 true 13.2  7.84 463011840 error: exception 7.94 4.43 233627648
20170304-DifficultPathPrograms/pals_lcr-var-start-time.3.1.ufo.UNBOUNDED.pals.c_9.bpl true 15.4  8.76 538460160 error: exception 7.01 3.92 210817024 true 11.9  6.73 347996160 error: exception 8.61 4.65 233160704
20170304-DifficultPathPrograms/pals_lcr-var-start-time.3.2.ufo.BOUNDED-6.pals.c_9.bpl true 15.1  8.34 488484864 error: exception 6.78 3.82 223363072 true 12.7  7.47 431218688 error: exception 7.86 4.36 226701312
20170304-DifficultPathPrograms/pals_lcr-var-start-time.3.2.ufo.UNBOUNDED.pals.c_11.bpl true 14.6  8.21 475979776 error: exception 6.72 3.81 213295104 true 10.1  5.71 296488960 error: exception 7.92 4.39 235003904
20170304-DifficultPathPrograms/pals_lcr-var-start-time.3.ufo.BOUNDED-6.pals.c_9.bpl true 17.9  9.99 556720128 error: exception 6.73 3.83 216899584 true 13.8  8.20 492281856 error: exception 8.14 4.49 228327424
20170304-DifficultPathPrograms/pals_lcr-var-start-time.3.ufo.UNBOUNDED.pals.c_9.bpl true 15.9  9.03 535810048 error: exception 7.23 4.01 214360064 true 11.6  6.62 341692416 error: exception 7.82 4.32 225320960
20170304-DifficultPathPrograms/pals_lcr-var-start-time.4.1.ufo.BOUNDED-8.pals.c_10.bpl true 17.1  9.24 533946368 error: exception 7.15 3.96 208613376 true 12.9  7.49 430829568 error: exception 8.31 4.58 249880576
20170304-DifficultPathPrograms/pals_lcr-var-start-time.4.1.ufo.UNBOUNDED.pals.c_10.bpl true 22.9  12.6  653479936 error: exception 7.25 4.02 214822912 true 13.6  8.05 477270016 error: exception 8.07 4.46 237645824
20170304-DifficultPathPrograms/pals_lcr-var-start-time.4.2.ufo.BOUNDED-8.pals.c_10.bpl true 17.9  9.58 563933184 error: exception 6.98 3.94 216264704 true 13.0  7.63 495149056 error: exception 8.33 4.60 248573952
20170304-DifficultPathPrograms/pals_lcr-var-start-time.4.2.ufo.UNBOUNDED.pals.c_11.bpl true 22.5  12.3  673538048 error: exception 7.32 4.09 218095616 true 12.5  7.39 429371392 error: exception 8.31 4.63 236777472
20170304-DifficultPathPrograms/pals_lcr-var-start-time.4.ufo.BOUNDED-8.pals.c_10.bpl true 23.3  12.5  667201536 error: exception 7.31 4.08 234852352 true 17.6  10.8  693620736 error: exception 8.10 4.71 238247936
20170304-DifficultPathPrograms/pals_lcr-var-start-time.4.ufo.UNBOUNDED.pals.c_10.bpl true 20.5  11.5  651902976 error: exception 7.15 3.99 217255936 true 13.7  7.98 465199104 error: exception 8.43 4.62 240234496
20170304-DifficultPathPrograms/pals_lcr-var-start-time.5.1.ufo.BOUNDED-10.pals.c_11.bpl true 24.6  13.2  683417600 error: exception 7.35 4.14 235073536 true 34.8  23.3  792977408 error: exception 8.37 4.64 242376704
20170304-DifficultPathPrograms/pals_lcr-var-start-time.5.1.ufo.UNBOUNDED.pals.c_11.bpl true 25.5  14.1  686215168 error: exception 7.12 3.97 226750464 true 12.8  7.23 379060224 error: exception 9.20 5.06 264699904
20170304-DifficultPathPrograms/pals_lcr-var-start-time.5.2.ufo.BOUNDED-10.pals.c_11.bpl true 24.1  13.1  687349760 error: exception 7.35 4.10 230334464 true 17.2  10.4  684220416 error: exception 9.11 5.02 250212352
20170304-DifficultPathPrograms/pals_lcr-var-start-time.5.2.ufo.UNBOUNDED.pals.c_12.bpl true 27.9  15.4  822267904 error: exception 7.41 4.15 229609472 true 13.1  7.45 379367424 error: exception 8.60 4.77 264261632
20170304-DifficultPathPrograms/pals_lcr-var-start-time.5.ufo.BOUNDED-10.pals.c_11.bpl true 24.4  13.0  700006400 error: exception 7.23 4.06 231489536 true 32.0  21.0  783532032 error: exception 9.04 4.95 259678208
20170304-DifficultPathPrograms/pals_lcr-var-start-time.5.ufo.UNBOUNDED.pals.c_11.bpl true 24.9  13.6  678862848 error: exception 7.25 4.00 222826496 true 16.2  9.83 610779136 error: exception 9.35 5.00 260210688
20170304-DifficultPathPrograms/pals_lcr-var-start-time.6.1.ufo.BOUNDED-12.pals.c_12.bpl true 31.3  16.7  809750528 error: exception 7.70 4.26 225939456 true 46.5  33.2  883245056 error: exception 8.85 4.90 262144000
20170304-DifficultPathPrograms/pals_lcr-var-start-time.6.1.ufo.UNBOUNDED.pals.c_12.bpl true 40.2  21.2  881381376 error: exception 7.30 4.16 234295296 true 15.4  9.32 585502720 error: exception 9.17 5.03 268017664
20170304-DifficultPathPrograms/pals_lcr-var-start-time.6.2.ufo.BOUNDED-12.pals.c_12.bpl true 36.1  19.3  880254976 error: exception 7.50 4.19 223997952 true 40.0  27.5  781877248 error: exception 8.84 4.87 266391552
20170304-DifficultPathPrograms/pals_lcr-var-start-time.6.ufo.BOUNDED-12.pals.c_12.bpl true 27.7  14.6  700276736 error: exception 8.05 4.43 231817216 true 16.9  9.64 538906624 error: exception 9.23 5.12 269348864
20170304-DifficultPathPrograms/pals_lcr-var-start-time.6.ufo.UNBOUNDED.pals.c_12.bpl true 35.3  18.9  842063872 error: exception 7.59 4.24 231645184 true 13.9  7.71 391839744 error: exception 9.27 5.10 267501568
20170304-DifficultPathPrograms/pals_lcr.3.1.ufo.BOUNDED-6.pals.c_13.bpl true 18.4  10.2  551079936 error: exception 6.87 3.85 212144128 true 13.8  8.31 490450944 error: exception 7.33 4.15 226721792
20170304-DifficultPathPrograms/pals_lcr.3.1.ufo.UNBOUNDED.pals.c_14.bpl true 21.1  12.0  651870208 error: exception 7.21 4.03 215674880 true 11.4  6.50 336711680 error: exception 8.38 4.58 231043072
20170304-DifficultPathPrograms/pals_lcr.3.ufo.BOUNDED-6.pals.c_13.bpl true 20.0  11.3  627924992 error: exception 7.06 3.94 214810624 true 13.3  8.02 497963008 error: exception 8.19 4.49 227594240
20170304-DifficultPathPrograms/pals_lcr.3.ufo.UNBOUNDED.pals.c_14.bpl true 20.8  11.8  661110784 error: exception 6.92 3.90 214286336 true 13.0  7.55 428318720 error: exception 8.40 4.62 240037888
20170304-DifficultPathPrograms/pals_lcr.3_overflow.ufo.UNBOUNDED.pals.c_13.bpl true 20.7  12.0  654802944 error: exception 7.17 4.00 211787776 true 11.2  6.34 329781248 error: exception 8.26 4.53 231071744
20170304-DifficultPathPrograms/pals_lcr.4.1.ufo.BOUNDED-8.pals.c_19.bpl true 21.1  11.7  668733440 error: exception 7.26 4.04 220487680 true 12.8  7.50 461074432 error: exception 8.64 4.75 242327552
20170304-DifficultPathPrograms/pals_lcr.4.1.ufo.UNBOUNDED.pals.c_16.bpl true 21.2  11.8  671895552 error: exception 6.72 3.81 224002048 true 13.1  7.78 470163456 error: exception 8.58 4.71 243310592
20170304-DifficultPathPrograms/pals_lcr.4.ufo.BOUNDED-8.pals.c_19.bpl true 22.5  12.5  682659840 error: exception 7.23 4.03 222814208 true 11.9  6.80 368934912 error: exception 8.70 4.81 254054400
20170304-DifficultPathPrograms/pals_lcr.4.ufo.UNBOUNDED.pals.c_16.bpl true 21.6  12.1  674746368 error: exception 7.17 3.98 226828288 true 13.2  7.79 472195072 error: exception 9.14 4.99 253501440
20170304-DifficultPathPrograms/pals_lcr.4_overflow.ufo.UNBOUNDED.pals.c_19.bpl true 22.1  12.5  686911488 error: exception 7.31 3.99 228528128 true 12.7  7.47 426143744 error: exception 8.40 4.65 238571520
20170304-DifficultPathPrograms/pals_lcr.5.1.ufo.BOUNDED-10.pals.c_21.bpl true 31.5  17.1  709103616 error: exception 7.37 4.08 224694272 true 13.6  7.77 422465536 error: exception 8.82 4.85 268283904
20170304-DifficultPathPrograms/pals_lcr.5.1.ufo.UNBOUNDED.pals.c_19.bpl true 23.5  12.8  704733184 error: exception 7.38 4.08 221929472 true 13.3  7.73 469225472 error: exception 9.01 4.93 263213056
20170304-DifficultPathPrograms/pals_lcr.5.ufo.BOUNDED-10.pals.c_21.bpl true 33.0  17.9  768548864 error: exception 7.61 4.17 218857472 true 13.7  7.96 487251968 error: exception 9.60 5.23 257970176
20170304-DifficultPathPrograms/pals_lcr.5.ufo.UNBOUNDED.pals.c_19.bpl true 22.8  12.1  694755328 error: exception 7.14 4.00 226021376 true 11.6  6.49 343638016 error: exception 9.22 5.01 254382080
20170304-DifficultPathPrograms/pals_lcr.5_overflow.ufo.UNBOUNDED.pals.c_21.bpl true 38.5  21.3  800239616 error: exception 7.23 4.04 223789056 true 13.8  7.99 468119552 error: exception 9.02 4.94 255758336
20170304-DifficultPathPrograms/pals_lcr.6.1.ufo.UNBOUNDED.pals.c_23.bpl true 31.7  17.4  811573248 error: exception 7.16 4.03 235163648 true 13.8  8.09 523743232 error: exception 9.65 5.27 277458944
20170304-DifficultPathPrograms/pals_lcr.6.ufo.UNBOUNDED.pals.c_23.bpl true 30.8  16.9  829767680 error: exception 7.40 4.13 219209728 true 12.6  6.92 360734720 error: exception 9.77 5.29 282738688
20170304-DifficultPathPrograms/phases1.i_3.bpl true 8.73 4.94 250134528 error: exception 6.17 3.48 202743808 timeout (error (143)) 301    251    1310015488 error: exception 6.14 3.48 200548352
20170304-DifficultPathPrograms/s3_clnt_1.cil.c_16.bpl true 21.0  11.3  584577024 error: exception 7.32 4.04 217403392 true 43.7  29.0  998674432 error: exception 7.30 4.06 223453184
20170304-DifficultPathPrograms/s3_clnt_2.cil.c_21.bpl true 31.5  17.2  744775680 error: exception 7.10 4.00 210960384 true 69.2  47.3  1217105920 error: exception 8.35 4.61 230219776
20170304-DifficultPathPrograms/s3_clnt_3.BV.c.cil.c_19.bpl true 19.8  10.8  664768512 error: exception 6.92 3.94 211378176 true 41.2  26.4  899043328 error: exception 7.59 4.46 224272384
20170304-DifficultPathPrograms/s3_clnt_3.cil.c_21.bpl true 26.5  14.5  693792768 error: exception 7.59 4.21 227151872 true 55.9  36.8  1085308928 error: exception 8.41 4.56 231034880
20170304-DifficultPathPrograms/s3_clnt_4.cil.c_20.bpl true 23.4  12.7  670535680 error: exception 7.20 4.06 220844032 true 43.1  28.9  1045012480 error: exception 7.82 4.38 223870976
20170304-DifficultPathPrograms/s3_srvr_1.BV.c.cil.c_21.bpl true 29.3  16.6  793600000 error: exception 6.85 3.85 216072192 true 35.6  22.3  784887808 error: exception 7.37 4.12 213590016
20170304-DifficultPathPrograms/s3_srvr_1.cil.c_23.bpl true 35.2  19.5  789078016 error: exception 7.35 4.10 219860992 true 69.8  46.0  1105580032 error: exception 7.40 4.16 223907840
20170304-DifficultPathPrograms/s3_srvr_1_alt.BV.c.cil.c_14.bpl true 16.1  9.05 509419520 error: exception 7.25 4.00 216035328 true 42.7  28.3  1013501952 error: exception 7.04 3.95 211542016
20170304-DifficultPathPrograms/s3_srvr_2.BV.c.cil.c_13.bpl true 13.3  7.33 394559488 error: exception 7.01 3.94 211066880 true 28.6  16.6  702889984 error: exception 7.24 4.09 219734016
20170304-DifficultPathPrograms/s3_srvr_2.cil.c_16.bpl true 14.2  7.85 425156608 error: exception 6.74 3.81 215310336 true 15.6  9.44 649461760 error: exception 7.03 3.97 216649728
20170304-DifficultPathPrograms/s3_srvr_2_alt.BV.c.cil.c_13.bpl true 12.9  7.15 389480448 error: exception 7.39 4.06 223109120 true 27.5  16.2  691773440 error: exception 7.68 4.26 221552640
20170304-DifficultPathPrograms/s3_srvr_3.BV.c.cil.c_19.bpl true 32.8  18.1  802066432 error: exception 7.21 4.22 221925376 true 39.0  25.6  902303744 error: exception 7.43 4.18 227397632
20170304-DifficultPathPrograms/s3_srvr_3.cil.c_20.bpl true 28.8  16.3  798425088 error: exception 7.20 4.04 216854528 true 36.5  22.9  786464768 error: exception 7.43 4.17 218640384
20170304-DifficultPathPrograms/s3_srvr_3_alt.BV.c.cil.c_19.bpl true 31.3  17.4  799051776 error: exception 7.41 4.11 220135424 true 40.9  26.5  928202752 error: exception 8.12 4.41 223387648
20170304-DifficultPathPrograms/s3_srvr_4.cil.c_14.bpl true 12.5  6.92 397975552 error: exception 6.90 3.85 210767872 true 13.4  8.01 484356096 error: exception 6.87 3.81 215105536
20170304-DifficultPathPrograms/s3_srvr_7.cil.c_19.bpl true 14.1  7.77 438632448 error: exception 7.30 4.07 226381824 true 15.9  9.63 632782848 error: exception 7.57 4.21 216104960
20170304-DifficultPathPrograms/seq.i_4.bpl timeout (error (143)) 301    240    1376899072 error: exception 6.49 3.64 212697088 timeout (error (143)) 301    247    2760675328 error: exception 6.52 3.64 209813504
20170304-DifficultPathPrograms/simple1.i_3.bpl timeout (error (143)) 301    293    686108672 error: exception 6.23 3.51 200523776 timeout (error (143)) 301    256    1307578368 error: exception 6.28 3.56 209395712
20170304-DifficultPathPrograms/simple4.i_3.bpl timeout (error (143)) 305    296    699486208 error: exception 6.08 3.47 204521472 timeout (error (143)) 301    255    1283964928 error: exception 6.33 3.58 210317312
20170304-DifficultPathPrograms/string.i_3.bpl unknown: overapproxcex 9.68 5.32 271978496 error: exception 6.53 3.58 210317312 unknown: overapproxcex 9.79 5.58 275832832 error: exception 6.30 3.61 204361728
20170304-DifficultPathPrograms/string_concat-noarr.i_3.bpl true 84.3  63.1  1411104768 error: exception 6.03 3.41 199880704 true 241    194    2636009472 error: exception 5.96 3.45 210616320
20170304-DifficultPathPrograms/sum01.i_3.bpl true 8.84 4.82 235352064 error: exception 5.92 3.39 191881216 true 9.35 5.34 254980096 error: exception 6.46 3.64 209879040
20170304-DifficultPathPrograms/sum01_bug02.i_3.bpl true 8.70 4.81 237264896 error: exception 5.86 3.35 196308992 true 9.30 5.25 251535360 error: exception 6.22 3.54 204390400
20170304-DifficultPathPrograms/sum01_bug02_sum01_bug02_base.case.i_4.bpl true 8.42 4.68 236613632 error: exception 6.12 3.40 196235264 true 9.30 5.31 253931520 error: exception 5.87 3.35 206942208
20170304-DifficultPathPrograms/sum02.i_3.bpl timeout (error (143)) 306    301    439848960 error: exception 6.10 3.50 205205504 error: exception 9.02 5.19 229789696 error: exception 6.27 3.50 203128832
20170304-DifficultPathPrograms/sum03.i_3.bpl false 84.0  76.0  607318016 error: exception 6.34 3.60 212008960 false 35.8  22.9  780718080 error: exception 6.75 3.74 215543808
20170304-DifficultPathPrograms/sum04.i_3.bpl true 12.4  7.18 392671232 error: exception 5.98 3.40 202551296 true 14.9  9.27 667406336 error: exception 6.26 3.56 209731584
20170304-DifficultPathPrograms/sum04.i_4.bpl false 9.14 5.11 269897728 error: exception 5.93 3.42 193781760 false 10.4  5.95 305917952 error: exception 6.18 3.49 209772544
20170304-DifficultPathPrograms/sum_array.i_3.bpl true 9.72 5.43 264634368 error: exception 6.21 3.56 210944000 timeout (error (143)) 301    254    2240442368 error: exception 6.70 3.73 210796544
20170304-DifficultPathPrograms/toy.cil.c_34.bpl true 38.1  22.4  928522240 error: exception 7.10 4.05 209371136 true 42.1  27.2  876371968 error: exception 8.72 4.82 236572672
20170304-DifficultPathPrograms/underapprox1.i_3.bpl false 9.96 5.65 285454336 error: exception 5.96 3.39 200146944 false 11.0  6.28 305164288 error: exception 6.30 3.57 209620992
20170304-DifficultPathPrograms/underapprox2.i_3.bpl false 10.1  5.74 299905024 error: exception 6.07 3.47 202133504 false 10.5  5.97 299737088 error: exception 6.26 3.65 207847424
20170304-DifficultPathPrograms/up.i_4.bpl timeout (error (143)) 301    239    1439703040 error: exception 6.34 3.60 214683648 timeout (error (143)) 301    248    2832310272 error: exception 6.33 3.63 211267584
20170304-DifficultPathPrograms/veris.c_NetBSD-libc__loop.i_2.bpl true 9.44 5.32 266145792 error: exception 6.27 3.55 212951040 true 10.5  6.28 347832320 error: exception 6.54 3.67 210796544
20170304-DifficultPathPrograms/verisec_NetBSD-libc__loop.i_2.bpl false 8.48 4.74 245620736 error: exception 6.92 3.87 214061056 false 9.03 5.04 255070208 error: exception 6.04 3.45 212226048
20170304-DifficultPathPrograms/vogal.i_5.bpl true 9.67 5.46 271233024 error: exception 6.55 3.66 212746240 true 26.4  15.7  682741760 error: exception 6.16 3.58 210059264
toy/tooDifficultLoopInvariant/AnnoyingVillain.bpl timeout (error (143)) 302    281    1007259648 error: exception 5.63 3.27 197976064 timeout (error (143)) 306    301    672202752 error: exception 6.42 3.60 209334272
toy/tooDifficultLoopInvariant/ArrayInit01.bpl timeout (error (143)) 302    291    1936289792 error: exception 6.01 3.44 200753152 timeout (error (143)) 301    267    2466271232 error: exception 5.90 3.41 209584128
toy/tooDifficultLoopInvariant/ArrayInit02.bpl timeout (error (143)) 301    248    1321603072 error: exception 6.38 3.61 211939328 timeout (error (143)) 301    268    1495310336 error: exception 6.32 3.61 209354752
toy/tooDifficultLoopInvariant/BeyerHenzingerMajumdarRybalchenko-PLDI2007-Figure4.bpl true 209    162    2407174144 error: exception 5.80 3.34 200040448 timeout (error (143)) 301    242    1669353472 error: exception 6.49 3.65 211447808
toy/tooDifficultLoopInvariant/CountTillBound-Jupiter.bpl true 7.54 4.23 225640448 error: exception 5.95 3.38 202235904 true 9.13 5.18 254074880 error: exception 5.90 3.41 211496960
toy/tooDifficultLoopInvariant/DivisibilityInterpolantRequired01-BackwardSuccess.bpl timeout (error (143)) 301    245    1254494208 error: exception 6.03 3.38 198463488 timeout (error (143)) 301    257    1275969536 error: exception 6.22 3.42 206282752
toy/tooDifficultLoopInvariant/DivisibilityInterpolantRequired02-ForwardSuccess.bpl true 6.12 3.45 211599360 error: exception 6.05 3.42 200679424 true 6.17 3.49 210743296 error: exception 6.02 3.35 209260544
toy/tooDifficultLoopInvariant/DivisibilityInterpolantRequired03-FPBPCannibalizationSuccess.bpl timeout (error (143)) 301    251    1309892608 error: exception 5.95 3.40 200146944 timeout (error (143)) 301    264    2802221056 error: exception 6.16 3.48 195100672
toy/tooDifficultLoopInvariant/HiddenEquality-Safe.bpl true 254    196    1495793664 error: exception 5.78 3.29 199213056 true 273    219    2813812736 error: exception 6.32 3.55 209575936
toy/tooDifficultLoopInvariant/HiddenEqualityWithBranches.bpl timeout (error (143)) 301    237    1377058816 error: exception 6.04 3.43 199544832 timeout (error (143)) 301    240    2818453504 error: exception 6.20 3.56 210505728
toy/tooDifficultLoopInvariant/HiddenInequality.bpl true 10.9  6.29 353546240 error: exception 5.95 3.38 200642560 true 12.8  8.07 581586944 error: exception 6.44 3.56 199790592
toy/tooDifficultLoopInvariant/INT_add_vs_inc.bpl true 10.2  5.78 286343168 error: exception 6.51 3.59 208134144 true 10.1  5.89 304316416 error: exception 6.10 3.50 212389888
toy/tooDifficultLoopInvariant/InvariantSynthesisWpOverapproxIntRealNegationBug.bpl true 5.81 3.31 203051008 true 6.01 3.37 200093696 true 5.75 3.24 199835648 error: exception 6.00 3.40 209543168
toy/tooDifficultLoopInvariant/LargeConstant-ForwardSuccess.bpl true 7.35 4.16 235864064 error: exception 5.81 3.27 199692288 timeout (error (143)) 302    251    2891014144 error: exception 5.72 3.28 209625088
toy/tooDifficultLoopInvariant/LexIndexValue-Pointer-Reduced.bpl timeout (error (143)) 301    240    1390776320 error: exception 6.29 3.49 199806976 timeout (error (143)) 301    251    2868346880 error: exception 6.03 3.62 208633856
toy/tooDifficultLoopInvariant/Luxembourg-ArraysIntegefied.bpl timeout (error (143)) 301    238    1552281600 error: exception 6.07 3.46 212893696 timeout (error (143)) 301    245    2833752064 error: exception 6.54 3.72 209338368
toy/tooDifficultLoopInvariant/Luxembourg-WithArrays.bpl timeout (error (143)) 300    246    1956818944 error: exception 5.94 3.46 198475776 timeout (error (143)) 301    238    2852708352 error: exception 5.82 3.38 197976064
toy/tooDifficultLoopInvariant/Luxembourg-sophisticated.bpl timeout (error (143)) 301    261    1395798016 error: exception 5.58 3.18 196980736 timeout (error (143)) 302    279    3254214656 error: exception 6.09 3.45 207712256
toy/tooDifficultLoopInvariant/Luxembourg.bpl timeout (error (143)) 301    237    1420255232 error: exception 6.03 3.38 198246400 timeout (error (143)) 301    248    2872373248 error: exception 5.83 3.22 213282816
toy/tooDifficultLoopInvariant/LuxembourgOctopus.bpl timeout (error (143)) 301    237    1371672576 error: exception 5.84 3.35 202768384 timeout (error (143)) 301    246    2855841792 error: exception 6.04 3.45 219807744
toy/tooDifficultLoopInvariant/Modulo-Ihringen-ModuloResolved.bpl true 6.45 3.68 212672512 error: exception 5.97 3.39 208187392 true 6.39 3.57 211013632 error: exception 6.21 3.54 210010112
toy/tooDifficultLoopInvariant/Modulo-Ihringen.bpl true 6.74 3.64 212484096 error: exception 6.32 3.49 207896576 true 6.16 3.47 209272832 error: exception 6.23 3.49 208826368
toy/tooDifficultLoopInvariant/ModuloInvariant-Breisach.bpl true 5.97 3.39 201670656 error: exception 5.67 3.31 195391488 true 5.85 3.33 200577024 error: exception 6.04 3.40 209412096
toy/tooDifficultLoopInvariant/MonadicInvariant01.bpl timeout (error (143)) 301    242    1390632960 error: exception 6.08 3.40 199757824 timeout (error (143)) 301    251    2868137984 error: exception 6.32 3.59 209408000
toy/tooDifficultLoopInvariant/NeonAngel01.bpl timeout (error (143)) 306    294    787759104 error: exception 5.99 3.40 199884800 timeout (error (143)) 301    246    2874200064 error: exception 5.97 3.38 207564800
toy/tooDifficultLoopInvariant/Octopussy.bpl timeout (error (143)) 301    238    1461411840 error: exception 5.64 3.27 202788864 timeout (error (143)) 300    246    2876026880 error: exception 6.15 3.46 209100800
toy/tooDifficultLoopInvariant/PointerIncrement-simplified01.bpl timeout (error (143)) 301    239    2586451968 error: exception 6.40 3.60 211574784 timeout (error (143)) 300    249    2767007744 error: exception 6.69 3.73 211890176
toy/tooDifficultLoopInvariant/PointerIncrement-simplified02.bpl timeout (error (143)) 301    243    1795198976 error: exception 6.50 3.62 215306240 timeout (error (143)) 301    244    2799579136 error: exception 6.12 3.44 209297408
toy/tooDifficultLoopInvariant/PointerIncrement-simplified03.bpl timeout (error (143)) 301    241    2065563648 error: exception 6.57 3.64 213139456 true 299    245    2387607552 error: exception 6.20 3.53 213528576
toy/tooDifficultLoopInvariant/PointerIncrement.bpl timeout (error (143)) 300    241    2844966912 error: exception 6.78 3.75 211505152 timeout (error (143)) 300    248    2832490496 error: exception 6.95 3.86 213897216
toy/tooDifficultLoopInvariant/Sandman01.bpl timeout (error (143)) 301    244    2122768384 error: exception 6.07 3.42 200876032 timeout (error (143)) 300    242    2867691520 error: exception 5.96 3.34 196759552
toy/tooDifficultLoopInvariant/ValueTerminatedArrayIteration01.bpl true 10.8  6.08 297533440 error: exception 5.89 3.32 199774208 true 7.81 4.42 224210944 error: exception 6.20 3.55 208859136
toy/tooDifficultLoopInvariant/codeblockAssertOrder01.bpl true 6.98 3.95 226643968 error: exception 6.02 3.37 200105984 timeout (error (143)) 301    242    2899722240 error: exception 6.37 3.57 210284544
toy/tooDifficultLoopInvariant/doubleLoopUniformIterations.bpl timeout (error (143)) 301    238    1346707456 error: exception 6.04 3.41 201805824 timeout (error (143)) 300    249    2794496000 error: exception 6.18 3.50 208941056
toy/tooDifficultLoopInvariant/HierarchicalTraceAbstraction/GeometricalCake.bpl timeout (error (143)) 301    271    1221472256 error: exception 5.63 3.26 199684096 timeout (error (143)) 301    264    2573275136 error: exception 6.38 3.56 208224256
toy/tooDifficultLoopInvariant/HierarchicalTraceAbstraction/GeometricalIntegerCake.bpl true 8.51 4.76 239575040 error: exception 6.30 3.74 203382784 true 10.3  5.84 281141248 error: exception 6.12 3.44 202829824
toy/tooDifficultLoopInvariant/HierarchicalTraceAbstraction/GeometricalIntegerCakeWithArray.bpl true 11.1  6.23 295292928 error: exception 6.30 3.50 210628608 true 9.48 5.42 262123520 error: exception 6.19 3.45 198402048
toy/tooDifficultLoopInvariant/HierarchicalTraceAbstraction/SkatingStrawberry.bpl error: type error 4.72 2.53 177156096 error: type error 4.54 2.47 174292992 error: type error 4.84 2.56 175554560 error: type error 4.55 2.46 174174208
toy/nonlinear/ConstantValue-Safe.bpl true 6.80 3.75 222855168 error: exception 6.15 3.44 198713344 true 6.08 3.53 212619264 error: exception 6.01 3.35 207097856
toy/nonlinear/InterpolationPaperExampleCandidate01.bpl true 5.76 3.30 207835136 true 6.26 3.50 215781376 true 6.04 3.41 209584128 error: exception 6.19 3.45 211578880
toy/nonlinear/Mult1-Safe.bpl timeout (error (143)) 306    271    1223745536 error: exception 6.08 3.47 214568960 timeout (error (143)) 301    273    1341288448 error: exception 6.29 3.54 211210240
toy/nonlinear/NonlinearInvariant1-Safe.bpl true 6.67 3.77 225099776 error: exception 6.41 3.63 213938176 true 6.65 3.72 212705280 error: exception 6.25 3.53 209170432
toy/nonlinear/PositiveValue-Safe.bpl true 6.54 3.73 215642112 error: exception 5.86 3.31 203296768 true 6.76 3.80 211783680 error: exception 6.01 3.38 209395712
toy/nonlinear/Power1-Safe.bpl true 6.27 3.65 218148864 error: exception 5.52 3.16 200785920 true 7.90 4.46 226172928 error: exception 5.54 3.20 209260544
toy/nonlinear/Power2-Unsafe.bpl false 7.94 4.44 237498368 error: exception 6.59 3.58 219144192 false 9.24 5.31 265703424 error: exception 6.01 3.43 224739328
toy/nonlinear/Power3-Safe.bpl timeout (error (143)) 305    298    1767923712 error: exception 5.90 3.38 213610496 timeout (error (143)) 306    291    783523840 error: exception 5.90 3.32 210010112
../../../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 25700 20900 210876784640 251 1660 938   53600419840 251 32600 26900 301449502720 251 1780 1000   55981371392
local summary 23300 1700 1670 71.5 29800 2110 1780 75.7
    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