Tool ULTIMATE Automizer 0.1.24-c78c21be
Limits timelimit: 900 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-12-03 15:07:28 CET
Run set Taipan EXP+CONG.Pdr Taipan Array-EXP+CONG.Pdr Taipan Array-OCT+CONG.Pdr Taipan Array-OCT.Pdr AbsInt EXP+CONG.Pdr AbsInt Array-EXP+CONG.Pdr AbsInt Array-OCT+CONG.Pdr AbsInt Array-OCT.Pdr
Options -tc ../../../trunk/examples/toolchains/AutomizerBplInline.xml -s ../../../trunk/examples/settings/ai/array-bench/reach_32bit_compound_exp_cong.epf -tc ../../../trunk/examples/toolchains/AutomizerBplInline.xml -s ../../../trunk/examples/settings/ai/array-bench/reach_32bit_array_compound_exp_cong.epf -tc ../../../trunk/examples/toolchains/AutomizerBplInline.xml -s ../../../trunk/examples/settings/ai/array-bench/reach_32bit_array_compound_oct_cong.epf -tc ../../../trunk/examples/toolchains/AutomizerBplInline.xml -s ../../../trunk/examples/settings/ai/array-bench/reach_32bit_array_oct.epf -tc ../../../trunk/examples/toolchains/AbstractInterpretationInline.xml -s ../../../trunk/examples/settings/ai/array-bench/reach_32bit_compound_exp_cong.epf -tc ../../../trunk/examples/toolchains/AbstractInterpretationInline.xml -s ../../../trunk/examples/settings/ai/array-bench/reach_32bit_array_compound_exp_cong.epf -tc ../../../trunk/examples/toolchains/AbstractInterpretationInline.xml -s ../../../trunk/examples/settings/ai/array-bench/reach_32bit_array_compound_oct_cong.epf -tc ../../../trunk/examples/toolchains/AbstractInterpretationInline.xml -s ../../../trunk/examples/settings/ai/array-bench/reach_32bit_array_oct.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 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 901    858    3013787648 timeout 901    855    3043954688 timeout 901    841    2966429696 timeout 901    856    2921545728 error: exception 18.7  11.2  689754112 error: exception 17.6  10.7  685363200 error: exception 17.6  10.3  703504384 error: exception 15.8  9.43 695042048
real-life/DraegerElevator-FSEN2007.bpl true 10.2  5.75 270143488 true 9.77 5.58 273547264 true 12.9  7.30 335331328 true 13.2  7.66 362319872 unknown 6.79 3.81 213147648 unknown 6.55 3.70 204099584 unknown 6.93 3.88 201498624 unknown 6.31 3.77 215138304
real-life/Elevator-Integer.bpl true 56.8  34.9  1152020480 true 54.7  34.1  1153032192 true 89.8  53.0  1366913024 true 79.4  48.0  1110122496 unknown 9.44 5.08 368885760 unknown 9.31 5.07 383401984 unknown 10.3  5.71 455380992 unknown 8.93 4.79 395063296
real-life/Elevator.bpl true 72.8  48.3  1334349824 true 74.5  48.7  1337901056 true 97.0  64.0  1424089088 true 89.4  60.1  1328984064 unknown 9.19 5.21 357646336 unknown 8.89 4.85 359243776 unknown 10.5  5.76 528535552 unknown 9.19 4.98 423231488
real-life/ElevatorWithAssignments.bpl true 110    79.3  1258901504 true 104    77.4  1216684032 true 104    77.1  1364733952 true 104    77.5  1264361472 unknown 8.63 4.77 343212032 unknown 8.72 4.95 342704128 unknown 9.90 5.57 501940224 unknown 9.45 5.31 446328832
real-life/ElevatorWithSingleTransition.bpl false 6.48 3.64 206995456 false 6.33 3.56 205447168 false 6.26 3.58 207630336 false 6.51 3.67 204795904 unknown 7.13 3.88 224194560 unknown 7.06 3.92 226582528 unknown 10.1  5.35 565821440 unknown 8.47 4.61 508784640
real-life/GateController.bpl timeout 901    775    1857884160 timeout 901    779    1871380480 timeout 901    777    1597329408 timeout 901    777    2037190656 unknown 5.90 3.38 199667712 unknown 6.15 3.68 200945664 unknown 7.59 4.21 251555840 unknown 6.79 3.89 227352576
real-life/GateControllerIncorrect1.bpl false 31.0  19.4  792850432 false 31.0  19.2  781221888 false 31.5  19.5  792440832 false 32.0  20.2  787218432 unknown 6.14 3.46 201560064 unknown 6.13 3.44 199991296 unknown 7.16 3.97 223436800 unknown 6.46 3.65 207257600
real-life/GripperTest-correct.bpl true 6.96 3.89 206749696 true 6.84 4.17 218112000 true 6.41 3.66 211402752 true 6.36 3.64 214077440 unknown 7.33 4.23 220962816 unknown 6.93 3.83 211599360 true 10.3  5.51 459452416 true 8.62 4.69 360443904
real-life/GripperTest-incorrect.bpl false 6.84 4.06 219639808 false 6.96 3.99 215379968 false 7.02 4.14 224903168 false 6.58 3.92 216743936 unknown 6.59 3.86 202362880 unknown 6.56 3.88 202457088 unknown 8.98 4.97 388141056 unknown 8.35 4.59 313327616
real-life/GuiTestExample.bpl false 11.5  6.31 326803456 false 11.1  6.35 319889408 false 10.5  5.88 322707456 false 11.1  6.40 323375104 error: exception 7.69 4.33 223936512 error: exception 7.26 4.37 228298752 error: exception 7.35 4.41 225374208 error: exception 7.29 4.30 230031360
real-life/GuiTestExampleUnsafe.bpl false 11.0  6.16 310558720 false 10.9  6.13 324251648 false 10.9  6.14 315617280 false 10.5  5.85 318078976 error: exception 7.33 4.19 225579008 error: exception 7.72 4.36 229978112 error: exception 7.64 4.32 225472512 error: exception 7.49 4.40 225406976
real-life/RailwayCrossing-Incorrenct.bpl false 7.91 4.53 242860032 false 8.41 4.72 269365248 false 8.99 5.00 279982080 false 8.59 4.77 250372096 unknown 6.12 3.44 200916992 unknown 5.68 3.30 205570048 unknown 6.97 4.09 225660928 unknown 6.41 3.58 206848000
real-life/RailwayCrossing.bpl timeout 901    779    1734524928 timeout 901    782    1783623680 timeout 901    777    1500184576 timeout 901    779    1827000320 unknown 5.74 3.27 198148096 unknown 5.97 3.35 201928704 unknown 7.73 4.34 280743936 unknown 7.45 4.02 250216448
real-life/USE_SimplifiedGripperTest.bpl true 6.52 3.60 224628736 true 6.66 3.62 223268864 true 6.72 3.68 222945280 true 6.53 3.80 220233728 unknown 6.10 3.42 200851456 unknown 6.12 3.42 201420800 true 6.43 3.63 201818112 true 6.33 3.49 210984960
real-life/bank.bpl false 6.20 3.43 201953280 false 6.02 3.38 201359360 false 5.79 3.28 201269248 false 5.71 3.24 199790592 unknown 5.36 3.13 196276224 unknown 5.81 3.33 202547200 unknown 5.71 3.22 200196096 unknown 5.79 3.29 199897088
real-life/divisibilityWithArray.bpl timeout 901    783    1429659648 timeout 901    785    1438277632 timeout 901    781    1717051392 timeout 901    781    1459449856 unknown 8.33 4.66 237785088 unknown 8.70 4.87 244551680 unknown 23.7  13.0  1097146368 unknown 16.9  9.22 619700224
real-life/s3_clnt_1_Safe.bpl true 71.4  38.4  1559924736 true 78.9  41.8  1625636864 true 115    66.4  3248480256 true 96.4  58.0  3142340608 unknown 21.8  11.4  1002541056 unknown 19.2  10.1  1047203840 unknown 81.2  49.2  2890588160 unknown 63.8  40.6  2936029184
real-life/s3_clnt_1_Unsafe.bpl false 15.0  8.37 504643584 false 16.2  9.02 524328960 false 15.4  8.63 512372736 false 15.2  8.56 517140480 unknown 20.4  10.7  1045139456 unknown 19.8  10.4  1033117696 unknown 70.5  43.5  2946936832 unknown 58.5  36.3  2874372096
real-life/tcas-correct.bpl true 8.22 4.62 245223424 true 8.42 4.71 239034368 true 8.22 4.57 239915008 true 8.43 4.71 248537088 unknown 6.57 3.71 218157056 unknown 6.85 3.81 217874432 unknown 7.56 4.22 434208768 unknown 7.43 4.14 424095744
real-life/tcas-incorrect.bpl false 6.76 3.81 214233088 false 6.67 3.75 205611008 false 6.50 3.68 214192128 false 6.23 3.55 213049344 unknown 6.67 3.73 229392384 unknown 6.78 4.01 220897280 unknown 7.51 4.20 433410048 unknown 7.40 4.12 421912576
real-life/tcas-woAssumption.bpl false 6.11 3.54 213839872 false 6.75 3.79 217063424 false 6.41 3.64 214831104 false 6.59 3.68 214048768 unknown 6.95 3.86 225857536 unknown 6.96 3.89 226832384 unknown 8.30 4.58 562663424 unknown 7.55 4.25 529506304
real-life/threadpooling_out.bpl timeout 901    833    2967347200 timeout 901    834    2932518912 timeout 901    803    2909032448 timeout 901    800    2905169920 unknown 8.31 4.56 247414784 unknown 8.01 4.67 249204736 unknown 11.4  6.28 658092032 unknown 10.4  5.66 578727936
real-life/threadpooling_out2.mover.bpl true 83.4  58.0  1345191936 true 82.8  57.6  1393008640 timeout 901    826    3912359936 timeout 901    818    3734040576 unknown 6.91 3.85 214417408 unknown 6.68 3.73 214843392 unknown 8.61 4.78 403058688 unknown 8.95 4.80 361631744
real-life/threadpooling_out3.bpl timeout 901    833    3035955200 timeout 901    832    3024572416 timeout 901    832    2997813248 timeout 901    834    2979131392 unknown 21.5  11.7  850997248 unknown 21.0  11.4  852238336 unknown 91.7  70.5  3102912512 unknown 90.4  62.8  2830458880
real-life/threadpooling_out3.mover.bpl timeout 901    845    2940133376 timeout 901    844    2893979648 timeout 901    845    2858844160 timeout 901    843    2947915776 unknown 10.3  5.53 345583616 unknown 9.84 5.35 340291584 unknown 27.4  14.2  1403961344 unknown 20.8  11.6  1123631104
real-life/threadpooling_out3_Reals.bpl timeout 901    829    2998648832 timeout 901    827    3018784768 timeout 901    828    2985910272 timeout 901    828    3068452864 unknown 20.6  11.3  761114624 unknown 19.1  10.5  753029120 unknown 144    103    3100622848 unknown 113    93.5  2854653952
real-life/threadpooling_out_Reals.bpl timeout 901    836    2965602304 timeout 901    837    2947342336 timeout 901    824    2984554496 timeout 901    814    2951753728 unknown 8.21 4.54 245780480 unknown 7.63 4.30 252407808 unknown 11.4  6.13 533381120 unknown 10.1  5.47 420274176
real-life/threadpooling_product.bpl timeout 901    823    3016118272 timeout 901    823    3015589888 timeout 901    827    3725357056 timeout 901    840    3653140480 unknown 6.89 3.86 214048768 unknown 6.52 3.68 214192128 unknown 8.06 4.36 261304320 unknown 7.31 4.11 248938496
real-life/threadpooling_product_WithProcedures.bpl error: exception 11.8  6.82 352628736 error: exception 11.6  6.76 347209728 error: exception 12.3  7.06 351588352 error: exception 12.3  6.96 353296384 error: exception 6.06 3.46 212197376 error: exception 6.43 3.65 212127744 error: exception 6.63 3.70 212672512 error: exception 6.30 3.59 213254144
real-life/threadpooling_product_WithoutIf.bpl timeout 901    829    3008970752 timeout 901    829    3020427264 timeout 901    827    3058126848 timeout 901    833    2988724224 unknown 6.40 3.63 216473600 unknown 6.43 3.65 213045248 unknown 7.54 4.13 224690176 unknown 6.72 3.76 216100864
20170319-ConjunctivePathPrograms/bhmr2007.c.i_3.bplTransformedIcfg_BEv2_3.bpl true 9.53 5.28 261373952 true 9.92 5.48 266088448 true 11.0  6.08 326021120 true 10.2  5.57 292397056 unknown 6.08 3.39 201990144 unknown 6.15 3.42 203509760 unknown 7.15 4.00 235778048 unknown 7.04 3.88 219377664
20170319-ConjunctivePathPrograms/cggmp2005.c.i_3.bplTransformedIcfg_BEv2_2.bpl true 10.9  6.23 319107072 true 10.7  6.16 335929344 true 10.7  6.15 345939968 true 10.8  6.20 326942720 unknown 5.91 3.33 200237056 unknown 5.88 3.32 198856704 unknown 6.17 3.49 199536640 unknown 5.69 3.26 198324224
20170319-ConjunctivePathPrograms/cggmp2005_variant.c.i_3.bplTransformedIcfg_BEv2_3.bpl true 9.29 5.32 277946368 true 9.84 5.57 284250112 true 9.87 5.62 301535232 true 9.27 5.29 282648576 unknown 5.95 3.37 200798208 unknown 5.75 3.28 194248704 unknown 6.34 3.61 203816960 unknown 5.91 3.39 201400320
20170319-ConjunctivePathPrograms/const1.i_3.bplTransformedIcfg_BEv2_6.bpl timeout 900    753    1714888704 timeout 900    752    1779351552 timeout 900    754    1584590848 timeout 900    752    1829679104 unknown 5.96 3.36 201469952 unknown 5.72 3.27 198438912 unknown 6.29 3.55 201957376 unknown 5.88 3.31 201375744
20170319-ConjunctivePathPrograms/count_by_1_variant.i_2.bplTransformedIcfg_BEv2_3.bpl true 9.08 5.01 257789952 true 9.03 5.05 263634944 true 8.96 5.04 281776128 true 9.25 5.12 260120576 unknown 6.30 3.50 203120640 unknown 5.63 3.29 198959104 unknown 6.32 3.57 202207232 unknown 6.20 3.49 204070912
20170319-ConjunctivePathPrograms/count_by_2.i_3.bplTransformedIcfg_BEv2_3.bpl timeout 900    755    1743269888 timeout 900    754    1805541376 timeout 901    757    1715851264 timeout 900    755    1791496192 unknown 5.96 3.38 195981312 unknown 5.93 3.35 200425472 unknown 6.02 3.40 201199616 unknown 6.03 3.38 200085504
20170319-ConjunctivePathPrograms/count_by_k.i_3.bplTransformedIcfg_BEv2_3.bpl timeout 901    787    1731534848 timeout 901    788    2419068928 timeout 901    791    1499508736 timeout 901    789    1681489920 unknown 5.93 3.36 201666560 unknown 5.85 3.30 198594560 unknown 6.25 3.53 200658944 unknown 5.89 3.34 199565312
20170319-ConjunctivePathPrograms/count_by_nondet.i_3.bplTransformedIcfg_BEv2_3.bpl timeout 900    753    1824976896 timeout 900    754    1760559104 timeout 900    754    1561665536 timeout 900    756    2306621440 unknown 6.15 3.45 199086080 unknown 5.84 3.25 200019968 unknown 6.39 3.62 205783040 unknown 6.82 3.78 205938688
20170319-ConjunctivePathPrograms/count_up_down.i_3.bplTransformedIcfg_BEv2_7.bpl true 7.60 4.24 244576256 true 7.42 4.14 240484352 true 7.83 4.46 265486336 true 7.56 4.30 251031552 unknown 6.19 3.49 201216000 unknown 5.79 3.32 192958464 unknown 6.39 3.63 203870208 unknown 6.37 3.58 201682944
20170319-ConjunctivePathPrograms/ddlm2013.i_3.bplTransformedIcfg_BEv2_8.bpl true 8.07 4.46 243048448 true 8.04 4.49 240308224 true 13.6  7.62 484429824 true 9.74 5.29 315777024 true 6.05 3.42 199249920 true 5.85 3.34 200499200 true 6.32 3.73 201097216 true 6.16 3.45 199626752
20170319-ConjunctivePathPrograms/down.i_4.bplTransformedIcfg_BEv2_5.bpl timeout 901    764    1732898816 timeout 901    760    1811283968 true 14.7  8.30 411750400 true 14.2  8.02 368988160 unknown 6.25 3.51 204038144 unknown 5.91 3.37 200003584 true 6.65 3.71 213446656 true 6.45 3.59 205172736
20170319-ConjunctivePathPrograms/fragtest_simple.i_4.bplTransformedIcfg_BEv2_5.bpl timeout 901    759    1592877056 timeout 901    759    1613381632 timeout 901    759    1526484992 timeout 901    755    1683468288 unknown 6.16 3.52 199540736 unknown 6.22 3.53 195112960 unknown 7.22 4.02 249528320 unknown 8.07 4.45 429326336
20170319-ConjunctivePathPrograms/functions1.i_3.bplTransformedIcfg_BEv2_8.bpl timeout 901    755    1780609024 timeout 901    755    1822138368 timeout 901    756    1569714176 timeout 900    756    1798422528 unknown 5.88 3.34 200437760 unknown 6.11 3.38 201826304 unknown 6.09 3.48 205561856 unknown 6.20 3.50 202719232
20170319-ConjunctivePathPrograms/gauss_sum.i_3.bplTransformedIcfg_BEv2_3.bpl true 15.5  11.5  292851712 true 22.1  17.1  362385408 true 18.6  14.1  328962048 true 17.9  13.0  409034752 unknown 5.81 3.23 199196672 unknown 5.97 3.33 201101312 unknown 6.58 3.72 212037632 unknown 6.43 3.60 202334208
20170319-ConjunctivePathPrograms/gcd_2.i_4.bplTransformedIcfg_BEv2_6.bpl true 7.41 4.16 234409984 true 7.53 4.24 241418240 true 8.13 4.38 266268672 true 7.44 4.19 243404800 unknown 5.62 3.22 199098368 unknown 5.87 3.35 195014656 true 5.77 3.31 199987200 true 5.82 3.29 200675328
20170319-ConjunctivePathPrograms/gj2007.c.i_4.bplTransformedIcfg_BEv2_3.bpl true 212    154    1552932864 true 216    156    1587150848 true 211    155    1626980352 true 211    153    1649147904 unknown 5.75 3.29 200323072 unknown 6.26 3.52 199557120 unknown 6.06 3.42 200699904 unknown 6.06 3.39 201904128
20170319-ConjunctivePathPrograms/gr2006.c.i_4.bplTransformedIcfg_BEv2_3.bpl true 308    255    2808946688 true 312    258    2877124608 true 315    258    2786840576 true 312    259    2960445440 unknown 6.03 3.39 200302592 unknown 6.11 3.43 201687040 unknown 6.43 3.63 203128832 unknown 6.37 3.55 201846784
20170319-ConjunctivePathPrograms/half.i_3.bplTransformedIcfg_BEv2_4.bpl true 9.24 5.19 249909248 true 8.28 4.60 245891072 true 9.06 5.11 265973760 true 8.01 4.55 246669312 unknown 6.03 3.59 199733248 unknown 5.75 3.27 203440128 unknown 6.09 3.40 201711616 unknown 5.91 3.33 200323072
20170319-ConjunctivePathPrograms/half_2.i_3.bplTransformedIcfg_BEv2_5.bpl true 10.8  6.12 321896448 true 10.1  5.82 319508480 error: exception 6.96 3.80 229642240 error: exception 6.97 3.90 227545088 unknown 6.27 3.52 201482240 unknown 5.83 3.34 202813440 error: exception 5.68 3.23 198184960 error: exception 5.92 3.32 199118848
20170319-ConjunctivePathPrograms/hhk2008.c.i_3.bplTransformedIcfg_BEv2_3.bpl true 10.9  6.07 307200000 true 10.5  5.93 305639424 true 12.0  6.69 339128320 true 11.0  6.18 318775296 unknown 5.89 3.29 199344128 unknown 5.78 3.24 202534912 unknown 6.48 3.62 201854976 unknown 5.79 3.32 203124736
20170319-ConjunctivePathPrograms/interleave_bits.i_3.bplTransformedIcfg_BEv2_4.bpl false 21.0  12.8  621580288 false 19.9  12.2  648822784 false 20.4  12.5  690622464 false 20.6  12.6  638668800 unknown 6.12 3.44 201138176 unknown 6.04 3.57 199778304 unknown 6.24 3.51 202940416 unknown 6.15 3.51 200949760
20170319-ConjunctivePathPrograms/jain_5.i_2.bplTransformedIcfg_BEv2_4.bpl true 9.26 5.20 275140608 true 9.56 5.31 258060288 true 11.4  6.28 306204672 true 9.88 5.48 289554432 true 6.06 3.38 202395648 true 5.93 3.34 200667136 true 6.74 3.76 202698752 true 6.02 3.40 200859648
20170319-ConjunctivePathPrograms/jm2006.c.i_3.bplTransformedIcfg_BEv2_3.bpl true 11.7  6.57 330518528 true 10.9  6.24 328527872 true 12.8  7.17 341544960 true 12.2  6.93 361299968 unknown 5.75 3.21 198180864 unknown 5.64 3.23 195874816 unknown 6.15 3.45 201228288 unknown 6.32 3.54 199827456
20170319-ConjunctivePathPrograms/jm2006_variant.c.i_3.bplTransformedIcfg_BEv2_3.bpl true 11.6  6.65 360558592 true 12.0  6.81 361684992 true 13.0  7.31 357617664 true 12.5  7.05 406192128 unknown 6.07 3.64 198524928 unknown 5.77 3.31 200966144 unknown 6.82 3.83 250765312 unknown 6.71 3.71 231309312
20170319-ConjunctivePathPrograms/large_const.i_3.bplTransformedIcfg_BEv2_2.bpl true 7.62 4.31 239742976 true 7.53 4.23 247123968 true 9.64 5.37 284463104 true 9.53 5.24 283656192 unknown 6.26 3.55 206213120 unknown 5.77 3.24 201818112 true 6.30 3.53 200753152 true 6.30 3.53 201150464
20170319-ConjunctivePathPrograms/nested.i_4.bplTransformedIcfg_BEv2_3.bpl true 320    271    3292332032 true 322    272    3289559040 true 325    273    3265961984 true 338    284    3289600000 unknown 6.11 3.46 201142272 unknown 6.00 3.41 201195520 unknown 8.98 4.89 464998400 unknown 8.01 4.30 325935104
20170319-ConjunctivePathPrograms/nested1.i_4.bplTransformedIcfg_BEv2_12.bpl timeout 901    780    3009753088 timeout 901    780    3054063616 timeout 901    778    3064623104 timeout 901    779    3040272384 unknown 6.08 3.46 201945088 unknown 6.23 3.46 200507392 unknown 6.81 3.82 209358848 unknown 6.33 3.63 206024704
20170319-ConjunctivePathPrograms/nested9.i_3.bplTransformedIcfg_BEv2_4.bpl true 11.6  6.65 353927168 true 11.5  6.56 347815936 true 14.5  8.05 488296448 true 13.4  7.45 448589824 unknown 6.15 3.49 209403904 unknown 5.93 3.37 213069824 unknown 6.64 3.87 211783680 unknown 7.40 3.99 344346624
20170319-ConjunctivePathPrograms/num_conversion_1.i_3.bplTransformedIcfg_BEv2_9.bpl false 13.3  7.52 385601536 false 13.4  7.59 372379648 false 13.1  7.37 348323840 false 13.9  7.76 357969920 unknown 6.07 3.45 202956800 unknown 6.10 3.44 201764864 unknown 6.43 3.59 203886592 unknown 5.94 3.39 200695808
20170319-ConjunctivePathPrograms/num_conversion_2.i_3.bplTransformedIcfg_BEv2_7.bpl false 12.9  7.40 370536448 false 12.8  7.38 372072448 false 13.4  7.66 371343360 false 12.5  7.28 412594176 unknown 6.18 3.48 214163456 unknown 6.14 3.45 201220096 unknown 6.36 3.57 203657216 unknown 5.92 3.33 192081920
20170319-ConjunctivePathPrograms/overflow1.i_3.bplTransformedIcfg_BEv2_4.bpl timeout 901    757    1655959552 timeout 901    756    1622228992 timeout 901    759    1514086400 timeout 901    757    1641545728 unknown 6.66 3.63 201248768 unknown 6.40 3.52 201863168 unknown 6.32 3.54 202678272 unknown 6.03 3.41 203272192
20170319-ConjunctivePathPrograms/pals_lcr-var-start-time.3.1.ufo.BOUNDED-6.pals.c_9.bplTransformedIcfg_BEv2_24.bpl true 26.7  14.1  703627264 true 21.2  11.3  711200768 true 576    468    2849644544 true 600    479    2838343680 unknown 8.35 4.65 350601216 unknown 8.85 4.72 334635008 true 11.9  6.66 980369408 true 13.0  7.19 1112584192
20170319-ConjunctivePathPrograms/pals_lcr-var-start-time.3.1.ufo.UNBOUNDED.pals.c_9.bplTransformedIcfg_BEv2_29.bpl true 16.6  9.02 477184000 true 15.9  8.64 433889280 true 76.6  54.0  2854993920 true 73.0  48.8  2836824064 unknown 8.39 4.61 299614208 unknown 8.37 4.74 315985920 unknown 75.4  50.4  2849652736 unknown 61.6  43.6  2829172736
20170319-ConjunctivePathPrograms/pals_lcr-var-start-time.3.2.ufo.BOUNDED-6.pals.c_9.bplTransformedIcfg_BEv2_24.bpl true 16.3  9.03 443547648 true 16.3  9.02 458330112 true 53.4  34.0  2841034752 true 53.0  35.0  2838720512 unknown 8.80 4.68 330747904 unknown 8.60 4.70 333103104 unknown 45.7  30.4  2807984128 unknown 42.5  30.5  2815770624
20170319-ConjunctivePathPrograms/pals_lcr-var-start-time.3.ufo.BOUNDED-6.pals.c_9.bplTransformedIcfg_BEv2_24.bpl true 16.1  8.72 381730816 true 15.3  8.34 402243584 error: exception 18.7  10.1  1131454464 true 63.9  42.2  2849243136 unknown 7.88 4.38 304111616 unknown 8.79 4.77 327573504 error: exception 17.7  9.66 1312006144 true 18.8  10.3  1347956736
20170319-ConjunctivePathPrograms/pals_lcr-var-start-time.3.ufo.UNBOUNDED.pals.c_9.bplTransformedIcfg_BEv2_26.bpl true 14.7  8.12 406982656 true 14.1  7.68 392245248 true 258    193    2842288128 true 267    203    2830237696 unknown 8.33 4.59 300085248 unknown 8.33 4.55 306085888 true 28.6  16.2  2196959232 true 23.6  13.3  1791750144
20170319-ConjunctivePathPrograms/pals_lcr-var-start-time.4.1.ufo.BOUNDED-8.pals.c_10.bplTransformedIcfg_BEv2_25.bpl true 19.2  10.4  589045760 true 20.5  10.9  621084672 error: exception 27.5  16.7  1934483456 error: exception 15.5  8.57 982237184 unknown 9.31 5.09 466644992 unknown 9.88 5.30 452001792 error: exception 25.8  15.7  2119819264 unknown 98.6  76.7  2845196288
20170319-ConjunctivePathPrograms/pals_lcr-var-start-time.4.ufo.BOUNDED-8.pals.c_10.bplTransformedIcfg_BEv2_23.bpl true 20.0  10.9  619618304 true 18.1  9.90 566460416 error: exception 20.7  11.6  1343926272 true 612    491    2838708224 unknown 9.32 5.05 412266496 unknown 9.75 5.21 469856256 true 21.9  13.7  2014584832 true 19.2  11.9  1715142656
20170319-ConjunctivePathPrograms/pals_lcr.3.ufo.BOUNDED-6.pals.c_13.bplTransformedIcfg_BEv2_23.bpl true 10.8  6.01 329326592 true 10.9  6.02 327745536 true 10.9  5.97 327753728 true 11.2  6.13 330579968 unknown 8.24 4.60 339910656 unknown 8.59 4.63 324935680 true 15.0  8.13 1086955520 true 16.9  8.94 1111207936
20170319-ConjunctivePathPrograms/pals_lcr.3.ufo.UNBOUNDED.pals.c_14.bplTransformedIcfg_BEv2_29.bpl true 11.4  6.33 332107776 true 10.8  6.00 330690560 true 11.2  6.15 333377536 true 11.0  6.05 332193792 unknown 8.74 4.76 340926464 unknown 8.35 4.59 318554112 error: exception 11.6  6.43 929841152 true 11.1  6.27 933572608
20170304-DifficultPathPrograms/afnp2014.c.i_3.bpl true 8.34 4.59 252911616 true 8.54 4.77 251830272 true 9.27 5.16 290320384 true 9.13 5.03 266887168 unknown 6.13 3.41 200740864 unknown 6.01 3.46 201646080 unknown 6.57 3.68 205758464 unknown 6.22 3.50 202833920
20170304-DifficultPathPrograms/array.i_3.bpl true 9.65 5.37 272691200 true 9.59 5.29 268824576 true 16.7  8.85 498708480 true 32.5  18.3  1005236224 unknown 6.73 3.76 213471232 unknown 6.56 3.70 215334912 unknown 14.2  7.50 432922624 unknown 40.5  26.0  1153232896
20170304-DifficultPathPrograms/array1.i_3.bpl timeout 901    757    1602015232 timeout 901    761    1607536640 timeout 900    890    2808082432 timeout 900    758    2093338624 unknown 8.02 4.59 238952448 unknown 9.92 5.61 271720448 timeout 900    889    2810843136 unknown 22.1  12.0  692666368
20170304-DifficultPathPrograms/array2.i_3.bpl timeout 901    760    1674874880 timeout 901    759    1725919232 timeout 901    758    1842442240 timeout 901    760    1987919872 unknown 6.46 3.68 212422656 unknown 6.98 3.90 217997312 unknown 19.3  11.0  613605376 unknown 19.6  11.7  674156544
20170304-DifficultPathPrograms/array3.i_4.bpl timeout 901    774    1661534208 timeout 901    775    1697603584 timeout 901    765    2891673600 timeout 901    768    2887344128 unknown 8.61 4.76 252211200 unknown 8.08 4.52 235950080 unknown 38.6  24.7  1167405056 unknown 31.6  20.3  989945856
20170304-DifficultPathPrograms/array4.i_4.bpl error: exception 214    168    3445792768 error: exception 220    173    3531243520 timeout 900    886    2844598272 error: exception 254    197    4590379008 unknown 11.6  6.80 358092800 unknown 11.3  6.58 357523456 timeout 900    886    2810445824 unknown 49.5  34.9  1449746432
20170304-DifficultPathPrograms/bhmr2007.c.i_3.bpl true 9.42 5.30 275136512 true 9.64 5.38 281808896 true 10.7  5.94 329633792 true 9.75 5.48 307032064 unknown 5.87 3.34 201871360 unknown 6.05 3.39 201523200 unknown 7.12 3.99 250699776 unknown 6.59 3.69 229158912
20170304-DifficultPathPrograms/cggmp2005.c.i_3.bpl true 11.5  6.51 336277504 true 10.2  5.92 340156416 true 11.3  6.37 340721664 true 11.0  6.30 342081536 unknown 5.66 3.37 199426048 unknown 5.48 3.12 199630848 unknown 5.78 3.33 202522624 unknown 5.94 3.40 200974336
20170304-DifficultPathPrograms/cggmp2005_variant.c.i_3.bpl true 10.1  5.75 295034880 true 9.44 5.40 297787392 true 10.9  6.08 284491776 true 9.82 5.61 301010944 unknown 5.94 3.38 202776576 unknown 5.89 3.37 198918144 unknown 6.69 3.74 204402688 unknown 5.90 3.34 196284416
20170304-DifficultPathPrograms/cggmp2005b.c.i_4.bpl true 7.83 4.38 238850048 true 7.63 4.35 249520128 true 10.2  5.57 317140992 true 8.89 4.94 267575296 unknown 5.86 3.35 201723904 unknown 5.99 3.35 196620288 unknown 7.95 4.34 247058432 unknown 6.78 3.94 206118912
20170304-DifficultPathPrograms/const1.i_3.bpl timeout 901    879    1063501824 timeout 900    880    1054093312 timeout 900    879    984834048 timeout 900    881    950050816 unknown 5.52 3.19 192106496 unknown 6.04 3.37 200888320 unknown 6.29 3.57 215072768 unknown 6.44 3.65 202350592
20170304-DifficultPathPrograms/count_by_1.i_3.bpl true 10.7  6.07 325181440 true 9.73 5.62 317808640 true 6.87 3.91 230895616 true 6.98 3.93 223866880 unknown 5.72 3.23 200232960 unknown 5.74 3.27 200179712 true 5.85 3.32 201031680 true 5.86 3.29 199684096
20170304-DifficultPathPrograms/count_by_1_variant.i_2.bpl true 9.56 5.54 290033664 true 9.59 5.48 292966400 true 9.51 5.27 259342336 true 8.69 4.85 262426624 unknown 5.86 3.31 200097792 unknown 6.24 3.49 201199616 true 6.13 3.44 200245248 true 5.98 3.39 199856128
20170304-DifficultPathPrograms/count_by_2.i_3.bpl timeout 900    755    1866506240 timeout 900    757    1835454464 timeout 900    755    1651482624 timeout 901    757    1825464320 unknown 5.88 3.30 199557120 unknown 5.77 3.28 200843264 unknown 6.30 3.49 203350016 unknown 5.46 3.11 198336512
20170304-DifficultPathPrograms/count_by_k.i_3.bpl timeout 901    789    1673023488 timeout 901    788    1634926592 timeout 901    783    1454661632 timeout 901    788    1588183040 unknown 5.57 3.24 203022336 unknown 6.03 3.38 199401472 unknown 6.73 3.72 204840960 unknown 5.93 3.37 198721536
20170304-DifficultPathPrograms/count_by_nondet.i_3.bpl timeout 900    755    1882669056 timeout 900    753    1729085440 timeout 900    753    1641476096 timeout 900    752    1726083072 unknown 6.12 3.45 202469376 unknown 6.13 3.44 203993088 unknown 6.87 3.80 219979776 unknown 6.37 3.59 203149312
20170304-DifficultPathPrograms/count_up_down.i_3.bpl true 12.2  6.96 357564416 true 12.9  7.23 346898432 true 12.4  7.06 312512512 true 11.9  6.83 341204992 unknown 5.79 3.30 202145792 unknown 5.84 3.31 201637888 unknown 6.33 3.55 202653696 unknown 6.02 3.38 202612736
20170304-DifficultPathPrograms/ddlm2013.i_3.bpl true 10.0  5.62 291864576 true 10.4  5.75 290336768 true 12.1  6.57 342093824 true 10.8  5.96 359649280 unknown 6.51 3.62 201691136 unknown 6.56 3.58 202821632 unknown 7.75 4.30 346603520 unknown 7.36 4.07 265572352
20170304-DifficultPathPrograms/diamond1.i_3.bpl timeout 901    860    1198706688 timeout 901    861    1280180224 timeout 901    861    1229357056 timeout 901    861    1185308672 unknown 6.44 3.59 204058624 unknown 6.10 3.36 202506240 unknown 7.48 4.06 236257280 unknown 7.01 3.91 217956352
20170304-DifficultPathPrograms/diamond2.i_4.bpl true 54.7  47.8  469331968 true 52.9  45.8  457568256 true 47.6  40.3  546975744 true 49.4  42.1  484593664 unknown 6.91 3.78 227344384 unknown 6.75 3.81 221032448 unknown 8.47 4.62 322318336 unknown 7.43 4.12 256163840
20170304-DifficultPathPrograms/down.i_4.bpl timeout 901    763    1692143616 timeout 901    760    1631793152 true 12.1  6.66 326316032 true 11.8  6.53 359477248 unknown 6.02 3.42 197709824 unknown 6.24 3.52 205418496 true 6.73 3.75 217763840 true 6.16 3.50 205123584
20170304-DifficultPathPrograms/eureka_01.i_3.bpl timeout 900    835    2829729792 timeout 901    838    2820620288 timeout 901    864    3002638336 timeout 901    869    2986897408 unknown 894    826    1534652416 timeout 900    840    1546137600 timeout 901    869    3027427328 timeout 901    869    2920308736
20170304-DifficultPathPrograms/eureka_01.i_6.bpl true 198    173    1837760512 true 195    172    1876811776 timeout 901    865    3057381376 timeout 901    868    2936471552 true 103    90.5  1372729344 true 102    89.6  1355780096 timeout 901    868    3038932992 timeout 901    867    2891186176
20170304-DifficultPathPrograms/eureka_05.i_5.bpl error: exception 16.6  10.1  652787712 error: exception 17.0  10.3  660643840 timeout 900    890    2809131008 true 70.3  49.4  2144632832 true 20.4  12.5  679686144 true 20.3  12.5  679804928 timeout 900    890    2802618368 true 36.5  23.0  1143566336
20170304-DifficultPathPrograms/fragtest_simple.i_4.bpl timeout 900    765    1815449600 timeout 901    764    1828335616 timeout 901    763    1676353536 timeout 901    762    1773391872 unknown 6.41 3.61 201957376 unknown 6.31 3.57 203292672 unknown 7.11 3.95 249094144 unknown 7.63 4.11 300695552
20170304-DifficultPathPrograms/functions1.i_3.bpl timeout 900    874    1205800960 timeout 900    875    1154412544 timeout 901    874    1164722176 timeout 900    874    1137033216 unknown 6.48 3.60 200216576 unknown 6.00 3.39 201699328 unknown 7.63 4.20 232513536 unknown 6.87 3.79 219529216
20170304-DifficultPathPrograms/gauss_sum.i_3.bpl true 14.1  10.1  291074048 true 13.1  9.34 279949312 true 15.0  10.2  338935808 true 14.9  10.2  329650176 unknown 5.89 3.38 196231168 unknown 6.23 3.48 202280960 unknown 6.70 3.75 217407488 unknown 6.93 3.84 212283392
20170304-DifficultPathPrograms/gcd_2.i_4.bpl timeout 900    876    3413639168 unknown 23.6  19.2  357007360 timeout 900    875    3381342208 timeout 900    875    3378311168 unknown 6.11 3.45 202313728 unknown 5.90 3.36 198860800 unknown 7.26 4.07 354385920 unknown 6.81 3.81 299798528
20170304-DifficultPathPrograms/gj2007.c.i_4.bpl true 210    153    1576460288 true 218    157    1582112768 true 210    153    1608527872 true 205    150    1627156480 unknown 6.19 3.44 202313728 unknown 6.02 3.39 201281536 unknown 6.37 3.60 201830400 unknown 6.45 3.61 196915200
20170304-DifficultPathPrograms/gr2006.c.i_4.bpl true 237    188    2388959232 true 238    190    2382782464 true 233    186    2512740352 true 246    193    2660859904 unknown 5.96 3.40 200306688 unknown 6.17 3.46 200921088 unknown 6.59 3.67 203694080 unknown 6.32 3.58 200994816
20170304-DifficultPathPrograms/half.i_3.bpl true 8.93 4.98 253775872 true 8.86 5.01 252067840 true 8.62 4.88 263811072 true 8.83 4.93 247111680 unknown 5.67 3.29 199663616 unknown 5.83 3.32 199639040 unknown 6.14 3.42 200810496 unknown 6.25 3.46 201863168
20170304-DifficultPathPrograms/half_2.i_3.bpl true 10.8  6.14 331862016 true 10.7  6.09 336515072 true 12.5  6.91 322527232 true 11.5  6.47 340512768 unknown 5.91 3.37 200642560 unknown 5.90 3.36 199815168 unknown 7.22 4.00 238501888 unknown 6.58 3.67 219844608
20170304-DifficultPathPrograms/hhk2008.c.i_3.bpl true 11.0  6.14 304607232 true 11.3  6.27 305913856 true 11.7  6.50 308633600 true 11.3  6.33 340553728 unknown 5.76 3.26 199585792 unknown 5.42 3.12 197033984 unknown 6.56 3.69 206553088 unknown 5.84 3.34 203743232
20170304-DifficultPathPrograms/insertion_sort.i_3.bpl true 11.2  6.24 296415232 true 10.9  6.02 296382464 true 24.1  14.1  765935616 true 24.9  14.7  760664064 unknown 7.46 4.36 226070528 unknown 7.50 4.18 226861056 unknown 20.7  11.9  685768704 unknown 17.5  10.2  677928960
20170304-DifficultPathPrograms/interleave_bits.i_3.bpl error: exception 6.93 3.84 222285824 error: exception 7.49 4.21 223821824 error: exception 7.56 4.19 229777408 error: exception 7.42 4.05 227405824 error: exception 5.84 3.29 200085504 error: exception 5.82 3.29 197685248 error: exception 5.68 3.28 199761920 error: exception 5.52 3.16 198082560
20170304-DifficultPathPrograms/invert_string.i_4.bpl timeout 901    771    1730211840 timeout 901    772    1625657344 timeout 900    889    2814042112 timeout 901    790    2882547712 unknown 15.2  9.31 557932544 unknown 15.6  9.64 556650496 timeout 900    892    2800574464 timeout 901    858    3022643200
20170304-DifficultPathPrograms/jain_1.i_2.bpl true 27.9  24.1  277311488 true 31.5  27.4  269021184 true 30.3  26.4  280276992 true 33.2  29.2  273870848 unknown 5.72 3.25 193368064 unknown 5.71 3.27 200187904 unknown 5.90 3.33 201871360 unknown 5.80 3.30 193728512
20170304-DifficultPathPrograms/jain_2.i_2.bpl true 50.4  46.0  285315072 true 38.0  33.6  287113216 true 38.0  33.6  316727296 true 35.6  31.7  286486528 unknown 5.80 3.26 202944512 unknown 6.09 3.41 203378688 unknown 5.78 3.28 200912896 unknown 5.56 3.16 200097792
20170304-DifficultPathPrograms/jain_4.i_2.bpl true 8.33 4.63 243638272 true 8.70 4.86 242487296 true 8.77 4.87 266715136 true 26.0  21.5  300593152 true 5.80 3.26 198479872 true 5.41 3.10 201187328 true 5.94 3.36 201191424 unknown 5.48 3.17 200916992
20170304-DifficultPathPrograms/jain_5.i_2.bpl true 8.14 4.51 237150208 true 8.31 4.69 259022848 true 9.24 5.17 272035840 timeout 901    877    1133248512 true 6.03 3.42 204034048 true 5.69 3.24 198512640 true 6.37 3.57 202678272 unknown 6.34 3.51 202899456
20170304-DifficultPathPrograms/jain_6.i_2.bpl true 8.92 4.97 244858880 true 8.19 4.61 244015104 true 9.21 5.14 265883648 true 34.5  30.1  297738240 true 5.59 3.21 196800512 true 5.65 3.18 198688768 true 6.26 3.48 202252288 unknown 5.83 3.31 201527296
20170304-DifficultPathPrograms/jain_7.i_2.bpl true 10.4  6.67 254177280 true 10.9  6.91 255250432 true 11.2  7.05 270409728 true 62.9  58.4  307830784 true 5.71 3.25 200028160 true 5.58 3.22 200179712 true 6.09 3.43 200892416 unknown 5.54 3.18 198221824
20170304-DifficultPathPrograms/jm2006.c.i_3.bpl true 11.2  6.42 335192064 true 11.2  6.36 352481280 true 13.2  7.39 348332032 true 11.6  6.67 370003968 unknown 5.67 3.24 199081984 unknown 5.78 3.24 210804736 unknown 6.56 3.66 204156928 unknown 5.94 3.40 208998400
20170304-DifficultPathPrograms/jm2006_variant.c.i_3.bpl true 11.7  6.75 359235584 true 11.3  6.61 369795072 true 13.1  7.61 373571584 true 13.5  7.59 420483072 unknown 5.72 3.27 198631424 unknown 6.15 3.45 200294400 unknown 7.31 4.04 259923968 unknown 6.58 3.67 228790272
20170304-DifficultPathPrograms/large_const.i_3.bpl true 8.01 4.49 245084160 true 8.12 4.53 258912256 true 10.3  5.65 285265920 true 9.72 5.31 286117888 unknown 6.32 3.50 202215424 unknown 6.08 3.44 202366976 true 6.20 3.50 201138176 true 5.85 3.36 199495680
20170304-DifficultPathPrograms/linear_sea.ch.i_4.bpl true 73.1  56.0  1270132736 true 72.9  57.5  1343631360 timeout 900    891    2750959616 timeout 901    864    2945261568 unknown 71.7  58.2  1151295488 unknown 72.2  57.7  1155788800 timeout 900    892    2802036736 timeout 901    859    2957443072
20170304-DifficultPathPrograms/linear_search.i_5.bpl true 52.5  39.0  1136652288 true 55.7  40.4  1107673088 timeout 900    890    2815553536 timeout 901    864    3106410496 unknown 72.8  58.0  1150627840 unknown 45.4  35.5  1008222208 timeout 900    892    2797195264 timeout 901    863    2944233472
20170304-DifficultPathPrograms/matrix.i_4.bpl true 12.8  7.17 328384512 true 11.9  6.74 331104256 true 24.6  14.0  809218048 true 125    83.9  2474835968 unknown 7.01 4.01 215015424 unknown 6.88 3.88 216887296 unknown 23.7  13.2  694263808 unknown 109    77.1  2128695296
20170304-DifficultPathPrograms/mcmillan2006.c.i_3.bpl true 62.3  48.2  1065021440 true 47.2  35.6  1049305088 timeout 900    891    2802266112 timeout 901    856    2937020416 unknown 50.0  38.3  992899072 unknown 60.9  47.9  1030234112 timeout 900    892    2799456256 timeout 901    795    4255719424
20170304-DifficultPathPrograms/n.c11.i_3.bpl true 14.3  8.24 389353472 true 14.2  8.07 384688128 timeout 900    889    2811682816 true 28.7  16.2  819191808 unknown 9.99 5.63 281837568 unknown 9.25 5.09 260149248 timeout 900    890    2807353344 unknown 28.6  15.4  697872384
20170304-DifficultPathPrograms/nested.c_4.bpl true 7.40 4.22 232808448 true 7.33 4.09 239972352 true 11.2  6.04 294481920 true 10.2  5.63 326549504 true 5.72 3.24 201666560 true 5.81 3.29 198090752 true 5.57 3.18 200843264 true 6.19 3.46 204558336
20170304-DifficultPathPrograms/nested.i_4.bpl true 328    279    3266547712 true 329    280    3276955648 true 329    276    3273093120 true 348    298    3288805376 unknown 6.10 3.45 204054528 unknown 5.93 3.38 199438336 unknown 9.94 5.28 517758976 unknown 8.42 4.50 391606272
20170304-DifficultPathPrograms/nested1.i_4.bpl timeout 900    880    1212780544 timeout 901    875    1240117248 timeout 900    881    1216905216 timeout 901    876    1207836672 unknown 6.23 3.50 199434240 unknown 6.18 3.47 202133504 unknown 8.02 4.36 305418240 unknown 8.09 4.38 267554816
20170304-DifficultPathPrograms/nested9.i_3.bpl true 11.8  6.62 330440704 true 12.1  6.81 345264128 true 14.0  7.75 461324288 true 12.6  7.07 434262016 unknown 6.09 3.43 203444224 unknown 6.19 3.46 202194944 unknown 6.10 3.49 199077888 unknown 7.23 3.97 325513216
20170304-DifficultPathPrograms/num_conversion_1.i_3.bpl error: exception 6.89 3.83 220422144 error: exception 6.71 3.79 218750976 error: exception 6.90 3.93 223825920 error: exception 7.05 3.93 222420992 error: exception 5.45 3.11 197906432 error: exception 5.69 3.22 196706304 error: exception 5.45 3.10 198762496 error: exception 5.83 3.29 202395648
20170304-DifficultPathPrograms/num_conversion_2.i_3.bpl error: exception 7.54 4.22 221261824 error: exception 7.53 4.16 221982720 error: exception 7.54 4.20 223621120 error: exception 7.47 4.18 226656256 error: exception 5.96 3.33 198840320 error: exception 5.70 3.24 199839744 error: exception 6.00 3.39 199401472 error: exception 5.81 3.27 200380416
20170304-DifficultPathPrograms/overflow1.i_3.bpl timeout 901    871    1183006720 timeout 901    870    1193140224 timeout 901    870    1238007808 timeout 901    871    1111281664 unknown 5.73 3.27 201453568 unknown 6.13 3.41 202825728 unknown 6.72 3.68 211591168 unknown 6.30 3.58 201371648
20170304-DifficultPathPrograms/pals_lcr-var-start-time.3.1.ufo.BOUNDED-6.pals.c_9.bpl true 22.5  12.5  647585792 true 24.5  13.5  653541376 true 49.8  29.1  2561024000 true 48.7  30.2  2843291648 unknown 8.40 4.63 344924160 unknown 8.32 4.45 291065856 unknown 33.2  21.5  2794147840 unknown 32.2  21.2  2798473216
20170304-DifficultPathPrograms/pals_lcr-var-start-time.3.1.ufo.UNBOUNDED.pals.c_9.bpl true 18.6  10.3  581132288 true 18.7  10.4  579956736 true 32.6  18.2  1695985664 true 37.4  21.0  1815633920 unknown 8.04 4.48 302559232 unknown 8.59 4.70 350281728 unknown 23.6  13.2  1827373056 unknown 24.0  13.8  1825828864
20170304-DifficultPathPrograms/pals_lcr-var-start-time.3.2.ufo.BOUNDED-6.pals.c_9.bpl true 19.8  10.9  576086016 true 20.6  11.3  589123584 true 54.3  32.9  2833727488 true 44.3  27.9  2809581568 unknown 8.47 4.64 350322688 unknown 8.50 4.64 345714688 unknown 31.8  20.7  2796371968 unknown 28.4  18.5  2800414720
20170304-DifficultPathPrograms/pals_lcr-var-start-time.3.2.ufo.UNBOUNDED.pals.c_11.bpl true 18.7  10.3  533884928 true 18.7  10.2  522113024 true 32.1  17.9  1667661824 true 33.7  18.7  1684959232 unknown 8.19 4.45 317890560 unknown 8.41 4.66 341028864 unknown 21.3  12.5  1834455040 unknown 20.4  11.9  1927933952
20170304-DifficultPathPrograms/pals_lcr-var-start-time.3.ufo.BOUNDED-6.pals.c_9.bpl true 22.4  12.6  638599168 true 22.0  12.2  654245888 true 57.2  35.3  2843770880 true 46.8  28.3  2604593152 unknown 8.55 4.65 319397888 unknown 8.45 4.57 333819904 unknown 44.9  27.1  2810109952 unknown 38.3  24.3  2798133248
20170304-DifficultPathPrograms/pals_lcr-var-start-time.3.ufo.UNBOUNDED.pals.c_9.bpl true 21.1  11.7  580186112 true 19.8  11.0  587051008 true 35.3  19.6  1697038336 true 33.6  18.7  1668919296 unknown 8.35 4.68 293195776 unknown 8.15 4.41 313192448 unknown 20.8  12.2  1755832320 unknown 22.0  12.8  1788350464
20170304-DifficultPathPrograms/pals_lcr-var-start-time.4.1.ufo.BOUNDED-8.pals.c_10.bpl true 24.4  13.2  661757952 true 22.3  12.3  688529408 true 84.1  59.1  2869202944 true 83.9  55.5  2847141888 unknown 8.62 4.70 396763136 unknown 9.19 4.99 457420800 unknown 58.2  44.8  2824654848 unknown 59.1  43.4  2821193728
20170304-DifficultPathPrograms/pals_lcr-var-start-time.4.1.ufo.UNBOUNDED.pals.c_10.bpl true 27.2  14.8  744669184 true 23.9  13.2  731201536 true 48.4  31.3  2828726272 true 52.8  32.7  2834497536 unknown 9.08 4.96 427380736 unknown 9.31 5.06 408190976 unknown 33.3  22.1  2783637504 unknown 35.5  23.6  2792214528
20170304-DifficultPathPrograms/pals_lcr-var-start-time.4.2.ufo.BOUNDED-8.pals.c_10.bpl true 21.8  12.0  689876992 true 22.2  12.1  729460736 true 72.0  50.6  2864099328 true 60.2  41.1  2834911232 unknown 9.67 5.16 452866048 unknown 9.56 5.29 466710528 unknown 61.9  45.2  2822385664 unknown 67.1  49.1  2819039232
20170304-DifficultPathPrograms/pals_lcr-var-start-time.4.2.ufo.UNBOUNDED.pals.c_11.bpl true 28.0  15.1  772759552 true 31.1  16.6  810217472 true 50.2  31.6  2831536128 true 47.9  30.8  2834411520 unknown 9.39 5.01 439721984 unknown 8.61 4.69 364052480 unknown 32.8  22.0  2805895168 unknown 32.0  22.9  2781577216
20170304-DifficultPathPrograms/pals_lcr-var-start-time.4.ufo.BOUNDED-8.pals.c_10.bpl true 26.8  14.4  777367552 true 26.6  14.3  772030464 true 85.5  60.2  2871496704 true 78.2  54.9  2856304640 unknown 9.05 4.93 408461312 unknown 9.14 4.99 414040064 unknown 58.7  44.8  2821144576 unknown 63.4  46.6  2823630848
20170304-DifficultPathPrograms/pals_lcr-var-start-time.4.ufo.UNBOUNDED.pals.c_10.bpl true 25.9  14.1  750006272 true 23.2  12.9  698044416 true 52.9  33.5  2846302208 true 49.9  31.9  2835464192 unknown 9.48 5.17 471834624 unknown 8.50 4.67 369164288 unknown 30.1  20.5  2781560832 unknown 36.0  24.2  2789756928
20170304-DifficultPathPrograms/pals_lcr-var-start-time.5.1.ufo.BOUNDED-10.pals.c_11.bpl true 31.5  16.9  807559168 true 29.0  15.6  823001088 true 145    104    2899566592 true 111    79.1  2874150912 unknown 10.8  5.78 556003328 unknown 10.1  5.38 515158016 unknown 129    104    2880147456 unknown 109    89.3  2851663872
20170304-DifficultPathPrograms/pals_lcr-var-start-time.5.1.ufo.UNBOUNDED.pals.c_11.bpl true 30.5  16.7  827613184 true 27.7  15.2  801689600 true 82.1  55.0  2877784064 true 77.9  55.9  2862071808 unknown 10.5  5.69 496181248 unknown 10.7  5.74 568033280 unknown 55.7  41.3  2829967360 unknown 57.8  46.4  2822176768
20170304-DifficultPathPrograms/pals_lcr-var-start-time.5.2.ufo.BOUNDED-10.pals.c_11.bpl true 32.8  17.8  817463296 true 31.4  17.1  804126720 true 152    110    2908434432 true 116    84.4  2866999296 unknown 10.2  5.49 583139328 unknown 10.5  5.61 501706752 unknown 93.1  75.0  2859393024 unknown 97.0  76.7  2847338496
20170304-DifficultPathPrograms/pals_lcr-var-start-time.5.2.ufo.UNBOUNDED.pals.c_12.bpl true 33.4  18.2  833110016 true 35.8  19.5  830025728 true 73.8  49.8  2862268416 true 81.7  55.9  2857099264 unknown 10.4  5.55 548327424 unknown 10.3  5.56 470437888 unknown 49.4  36.3  2816929792 unknown 56.2  45.4  2814083072
20170304-DifficultPathPrograms/pals_lcr-var-start-time.5.ufo.BOUNDED-10.pals.c_11.bpl true 34.6  18.7  806178816 true 30.6  16.8  819269632 true 151    112    2910900224 true 134    97.4  2879614976 unknown 10.8  5.85 554496000 unknown 9.13 4.97 411377664 unknown 117    95.0  2858369024 unknown 104    84.8  2849198080
20170304-DifficultPathPrograms/pals_lcr-var-start-time.5.ufo.UNBOUNDED.pals.c_11.bpl true 29.3  16.1  814575616 true 28.2  15.6  803155968 true 81.6  52.7  2871844864 true 81.7  58.8  2855907328 unknown 10.6  5.68 556085248 unknown 10.4  5.53 500531200 unknown 53.9  41.0  2819657728 unknown 56.9  45.5  2814693376
20170304-DifficultPathPrograms/pals_lcr-var-start-time.6.1.ufo.BOUNDED-12.pals.c_12.bpl true 39.3  21.3  1026105344 true 35.8  19.4  993562624 true 203    170    2976391168 true 220    184    2981421056 unknown 11.3  5.98 673697792 unknown 12.1  6.48 670838784 unknown 158    134    2922229760 unknown 176    153    2934980608
20170304-DifficultPathPrograms/pals_lcr-var-start-time.6.1.ufo.UNBOUNDED.pals.c_12.bpl true 41.3  22.0  1022021632 true 37.6  20.6  993300480 true 111    83.3  2902290432 true 124    94.3  2920480768 unknown 11.4  6.16 632430592 unknown 11.5  6.13 653840384 unknown 100    83.3  2882220032 unknown 96.2  81.2  2883960832
20170304-DifficultPathPrograms/pals_lcr-var-start-time.6.2.ufo.BOUNDED-12.pals.c_12.bpl true 39.6  21.2  1046204416 true 40.7  21.6  1109123072 true 211    169    2970574848 true 195    160    2942570496 unknown 11.3  5.99 675377152 unknown 11.5  6.16 658104320 unknown 217    184    2974248960 unknown 173    151    2927280128
20170304-DifficultPathPrograms/pals_lcr-var-start-time.6.ufo.BOUNDED-12.pals.c_12.bpl true 33.7  18.2  1095376896 true 35.7  19.2  1127608320 true 196    163    2972708864 true 224    185    2961420288 unknown 11.2  6.01 657977344 unknown 11.3  6.18 671993856 unknown 238    210    2994970624 unknown 216    189    2961367040
20170304-DifficultPathPrograms/pals_lcr-var-start-time.6.ufo.UNBOUNDED.pals.c_12.bpl true 41.3  22.2  976617472 true 37.2  20.1  1042796544 true 137    105    2922033152 true 123    94.5  2914574336 unknown 11.6  6.25 653881344 unknown 11.7  6.21 674328576 unknown 102    84.8  2896662528 unknown 101    87.3  2905096192
20170304-DifficultPathPrograms/pals_lcr.3.1.ufo.BOUNDED-6.pals.c_13.bpl true 22.3  12.4  604307456 true 20.1  11.4  603344896 true 65.0  41.8  2847080448 true 63.3  41.3  2845851648 unknown 8.61 4.67 302960640 unknown 8.19 4.45 295596032 unknown 38.0  26.2  2798514176 unknown 45.4  31.2  2801725440
20170304-DifficultPathPrograms/pals_lcr.3.1.ufo.UNBOUNDED.pals.c_14.bpl true 24.3  13.6  681242624 true 23.8  13.5  696655872 true 44.0  25.0  2019201024 true 42.3  24.1  2018115584 unknown 8.10 4.47 314818560 unknown 7.86 4.36 280907776 unknown 21.4  12.4  1780449280 unknown 28.1  16.2  2203693056
20170304-DifficultPathPrograms/pals_lcr.3.ufo.BOUNDED-6.pals.c_13.bpl true 22.9  12.7  593002496 true 22.1  12.3  593469440 true 53.5  35.1  2844868608 true 60.9  37.8  2849579008 unknown 8.46 4.58 309657600 unknown 7.71 4.24 265773056 unknown 36.9  25.4  2808582144 unknown 44.5  29.8  2808950784
20170304-DifficultPathPrograms/pals_lcr.3.ufo.UNBOUNDED.pals.c_14.bpl true 24.3  13.7  671399936 true 22.9  12.9  674148352 true 39.3  22.9  1966772224 true 38.8  23.1  2173317120 unknown 7.97 4.33 309313536 unknown 8.01 4.42 311623680 unknown 25.6  15.0  2119196672 unknown 32.8  17.9  2142289920
20170304-DifficultPathPrograms/pals_lcr.3_overflow.ufo.UNBOUNDED.pals.c_13.bpl true 21.5  12.4  659623936 true 26.0  14.4  683945984 true 36.5  21.2  1765081088 true 36.5  21.5  1901346816 unknown 7.62 4.22 271450112 unknown 8.29 4.57 296157184 unknown 24.4  13.6  1760124928 unknown 20.4  12.6  1849020416
20170304-DifficultPathPrograms/pals_lcr.4.1.ufo.BOUNDED-8.pals.c_19.bpl true 25.3  13.8  689422336 true 21.8  12.2  677564416 true 100    72.0  2873372672 true 106    76.2  2850471936 unknown 8.92 4.84 406339584 unknown 8.92 4.86 364253184 unknown 66.7  49.4  2835656704 unknown 99.8  76.8  2833453056
20170304-DifficultPathPrograms/pals_lcr.4.1.ufo.UNBOUNDED.pals.c_16.bpl true 23.1  12.9  699293696 true 27.0  14.8  704159744 true 54.7  34.3  2847223808 true 63.1  43.6  2856501248 unknown 8.85 4.74 344817664 unknown 9.13 4.96 385445888 unknown 41.7  27.5  2809368576 unknown 49.4  37.6  2815016960
20170304-DifficultPathPrograms/pals_lcr.4.ufo.BOUNDED-8.pals.c_19.bpl true 30.7  17.8  790560768 true 33.0  19.0  820330496 true 117    83.1  2872938496 true 104    76.8  2868006912 unknown 8.99 4.78 352522240 unknown 8.87 4.77 370143232 unknown 99.7  71.9  2859700224 unknown 94.9  71.9  2843328512
20170304-DifficultPathPrograms/pals_lcr.4.ufo.UNBOUNDED.pals.c_16.bpl true 22.9  12.8  727773184 true 26.8  14.7  709873664 true 56.3  36.7  2841042944 true 65.7  44.4  2857701376 unknown 9.06 4.91 384294912 unknown 9.22 4.98 388243456 unknown 43.6  31.5  2803142656 unknown 52.0  38.8  2819952640
20170304-DifficultPathPrograms/pals_lcr.4_overflow.ufo.UNBOUNDED.pals.c_19.bpl true 25.3  14.1  729600000 true 22.9  12.9  710057984 true 57.3  35.0  2850799616 true 78.3  51.3  2856226816 unknown 8.78 4.72 370642944 unknown 8.89 4.81 335425536 unknown 37.3  24.5  2807791616 unknown 50.7  35.9  2816712704
20170304-DifficultPathPrograms/pals_lcr.5.1.ufo.BOUNDED-10.pals.c_21.bpl true 32.4  17.9  811937792 true 30.5  16.9  806109184 true 197    162    2931347456 true 210    175    2935439360 unknown 9.81 5.33 487772160 unknown 9.84 5.32 523284480 unknown 131    105    2885095424 unknown 155    131    2897072128
20170304-DifficultPathPrograms/pals_lcr.5.1.ufo.UNBOUNDED.pals.c_19.bpl true 37.6  20.7  826720256 true 41.0  22.4  854147072 true 96.5  68.6  2874957824 true 155    119    2931990528 unknown 9.10 4.92 434409472 unknown 9.75 5.23 445820928 unknown 66.0  52.7  2838814720 unknown 126    106    2906185728
20170304-DifficultPathPrograms/pals_lcr.5.ufo.BOUNDED-10.pals.c_21.bpl true 34.0  18.7  833286144 true 30.7  17.1  832225280 true 190    154    2943537152 true 209    174    2939424768 unknown 10.1  5.36 471445504 unknown 10.3  5.55 508186624 unknown 152    124    2889719808 unknown 188    163    2913296384
20170304-DifficultPathPrograms/pals_lcr.5.ufo.UNBOUNDED.pals.c_19.bpl true 23.8  12.6  714534912 true 25.5  13.5  734208000 true 83.6  60.5  2873856000 true 132    103    2919133184 unknown 10.3  5.51 564654080 unknown 10.7  5.75 545148928 unknown 81.0  65.0  2846130176 unknown 129    104    2896625664
20170304-DifficultPathPrograms/pals_lcr.5_overflow.ufo.UNBOUNDED.pals.c_21.bpl true 37.7  20.9  838492160 true 34.8  19.6  796360704 true 89.5  62.6  2874941440 true 137    102    2897854464 unknown 9.31 5.07 432156672 unknown 10.4  5.61 500551680 unknown 61.5  47.4  2828677120 unknown 120    96.9  2875150336
20170304-DifficultPathPrograms/pals_lcr.6.1.ufo.UNBOUNDED.pals.c_23.bpl true 37.8  20.4  1076297728 true 37.8  20.4  1076838400 true 168    136    2922889216 true 247    210    2982535168 unknown 10.8  5.73 549011456 unknown 9.82 5.26 496816128 unknown 143    123    2881724416 unknown 237    211    2985984000
20170304-DifficultPathPrograms/pals_lcr.6.ufo.UNBOUNDED.pals.c_23.bpl true 37.4  20.3  1160269824 true 37.9  20.3  1096126464 true 168    137    2920005632 true 295    261    2983792640 unknown 10.6  5.72 547778560 unknown 11.5  6.15 628576256 unknown 119    103    2885206016 unknown 201    173    2973683712
20170304-DifficultPathPrograms/phases1.i_3.bpl true 12.1  6.91 364507136 true 12.5  7.15 367566848 true 13.6  7.76 341590016 true 13.0  7.41 325025792 unknown 6.16 3.43 200069120 unknown 6.08 3.41 203644928 unknown 6.71 3.78 217010176 unknown 6.92 3.84 205197312
20170304-DifficultPathPrograms/s3_clnt_1.cil.c_16.bpl true 20.2  11.0  522346496 true 21.8  11.7  519659520 true 294    264    2929106944 true 262    231    2901733376 unknown 8.17 4.50 317222912 unknown 8.47 4.59 302800896 unknown 284    262    2895228928 unknown 265    239    2868150272
20170304-DifficultPathPrograms/s3_clnt_2.cil.c_21.bpl true 32.0  17.6  966086656 true 34.3  18.7  989478912 true 464    421    3000938496 true 419    382    2948345856 unknown 8.39 4.65 349032448 unknown 8.46 4.68 335085568 unknown 407    375    2987532288 unknown 365    333    2972491776
20170304-DifficultPathPrograms/s3_clnt_3.BV.c.cil.c_19.bpl error: exception 16.7  9.07 566218752 error: exception 18.8  10.1  576118784 error: exception 24.5  13.8  1577533440 error: exception 24.3  13.7  1371086848 error: exception 7.39 4.10 236294144 error: exception 7.38 4.08 232214528 error: exception 16.3  9.35 1415405568 error: exception 16.4  9.39 1396797440
20170304-DifficultPathPrograms/s3_clnt_3.cil.c_21.bpl true 30.3  16.5  752246784 true 28.6  15.6  733118464 error: exception 29.8  17.5  2193440768 true 409    358    2959974400 unknown 8.88 4.86 398815232 unknown 8.98 4.93 355237888 unknown 426    398    3013455872 unknown 380    354    2955100160
20170304-DifficultPathPrograms/s3_clnt_4.cil.c_20.bpl true 22.6  12.5  615645184 true 25.8  14.0  619048960 true 432    396    2991804416 true 407    362    2953097216 unknown 8.68 4.71 354586624 unknown 8.78 4.76 336359424 unknown 389    358    2959552512 unknown 408    372    2939858944
20170304-DifficultPathPrograms/s3_srvr_1.BV.c.cil.c_21.bpl error: exception 14.2  7.83 437616640 error: exception 14.1  7.80 444948480 error: exception 14.5  8.07 625967104 error: exception 14.7  8.12 703754240 error: exception 7.00 3.89 213159936 error: exception 6.71 3.79 215818240 error: exception 8.94 4.84 656195584 error: exception 9.24 4.98 586489856
20170304-DifficultPathPrograms/s3_srvr_1.cil.c_23.bpl true 42.6  23.0  1160646656 true 40.4  22.0  1154363392 true 466    404    3032522752 true 509    428    2979241984 unknown 8.46 4.64 318988288 unknown 8.53 4.61 316620800 unknown 71.2  59.7  2827997184 unknown 74.3  63.7  2826612736
20170304-DifficultPathPrograms/s3_srvr_1_alt.BV.c.cil.c_14.bpl error: exception 8.90 4.98 270688256 error: exception 9.21 5.06 266948608 error: exception 10.6  5.85 688238592 error: exception 11.6  6.35 671748096 error: exception 6.72 3.76 217325568 error: exception 6.67 3.76 226152448 error: exception 9.27 5.11 676007936 error: exception 8.50 4.71 656785408
20170304-DifficultPathPrograms/s3_srvr_2.BV.c.cil.c_13.bpl true 14.4  7.95 372449280 true 16.0  8.68 373870592 true 49.8  38.8  2833162240 true 46.3  37.1  2827165696 unknown 7.81 4.33 310247424 unknown 8.19 4.50 301174784 unknown 50.9  43.3  2805706752 unknown 41.4  34.1  2797080576
20170304-DifficultPathPrograms/s3_srvr_2.cil.c_16.bpl true 16.2  8.98 384204800 true 16.1  8.81 383107072 true 57.5  46.3  2840051712 true 56.3  44.7  2823815168 unknown 8.25 4.51 290689024 unknown 8.22 4.49 277192704 unknown 50.8  42.4  2809421824 unknown 39.7  33.8  2802610176
20170304-DifficultPathPrograms/s3_srvr_2_alt.BV.c.cil.c_13.bpl true 15.0  8.26 377294848 true 16.8  9.04 382644224 true 53.3  42.6  2840064000 true 47.7  37.6  2827255808 unknown 8.08 4.41 275079168 unknown 8.10 4.38 289153024 unknown 55.1  45.6  2811490304 unknown 35.4  28.8  2808696832
20170304-DifficultPathPrograms/s3_srvr_3.BV.c.cil.c_19.bpl error: exception 12.1  6.74 403468288 error: exception 12.1  6.74 379813888 error: exception 14.5  7.98 807170048 error: exception 13.3  7.40 690126848 error: exception 7.00 4.13 224665600 error: exception 6.94 3.87 213983232 error: exception 9.65 5.29 670875648 error: exception 9.64 5.29 668893184
20170304-DifficultPathPrograms/s3_srvr_3.cil.c_20.bpl true 35.0  19.5  989507584 true 42.9  23.3  959201280 true 452    388    3002675200 true 460    395    2943062016 unknown 8.74 4.73 315473920 unknown 8.37 4.60 316760064 unknown 78.7  67.7  2827804672 unknown 62.5  53.2  2817376256
20170304-DifficultPathPrograms/s3_srvr_3_alt.BV.c.cil.c_19.bpl error: exception 12.6  6.97 379936768 error: exception 13.1  7.25 402526208 error: exception 14.3  7.92 812224512 error: exception 16.0  8.70 695468032 error: exception 7.12 4.19 221818880 error: exception 6.98 3.90 217518080 error: exception 9.11 5.03 662601728 error: exception 9.05 4.94 671354880
20170304-DifficultPathPrograms/s3_srvr_4.cil.c_14.bpl true 14.8  8.13 379887616 true 14.7  8.11 382349312 true 58.0  46.4  2835849216 true 61.8  49.8  2822623232 unknown 7.84 4.32 277860352 unknown 7.95 4.32 278843392 unknown 54.3  46.9  2811236352 unknown 45.5  39.5  2805522432
20170304-DifficultPathPrograms/s3_srvr_7.cil.c_19.bpl true 16.8  9.24 398000128 true 16.7  9.15 409460736 true 74.8  62.2  2855649280 true 69.8  57.5  2835464192 unknown 8.29 4.49 271880192 unknown 8.30 4.55 316137472 unknown 59.6  52.2  2816098304 unknown 53.8  47.1  2819690496
20170304-DifficultPathPrograms/seq.i_4.bpl timeout 901    769    1506574336 timeout 901    770    1574187008 timeout 901    770    1596170240 timeout 901    768    1866383360 unknown 6.42 3.57 205877248 unknown 6.05 3.41 198266880 unknown 7.40 4.14 263950336 unknown 7.88 4.32 476680192
20170304-DifficultPathPrograms/simple1.i_3.bpl timeout 900    878    1099067392 timeout 900    879    1121796096 timeout 902    877    1199353856 timeout 900    877    1160298496 unknown 6.17 3.44 197689344 unknown 6.17 3.45 198299648 unknown 7.38 4.02 215310336 unknown 7.26 3.97 206667776
20170304-DifficultPathPrograms/simple4.i_3.bpl timeout 900    873    1098870784 timeout 900    873    1071071232 timeout 901    873    1131180032 timeout 901    874    1160941568 unknown 5.86 3.32 202231808 unknown 5.73 3.28 194084864 unknown 7.51 4.18 226521088 unknown 6.97 3.87 209616896
20170304-DifficultPathPrograms/string.i_3.bpl error: exception 8.48 4.74 262160384 error: exception 8.94 4.94 255631360 error: exception 33.7  20.1  1187012608 error: exception 67.2  45.2  1498673152 error: exception 8.69 4.81 246517760 error: exception 8.45 4.74 248557568 error: exception 35.7  21.6  1160642560 error: exception 55.0  39.7  1469333504
20170304-DifficultPathPrograms/string_concat-noarr.i_3.bpl true 108    81.6  1728819200 true 107    80.7  1877184512 true 10.0  5.50 293068800 true 9.73 5.41 282537984 unknown 6.17 3.43 198995968 unknown 6.14 3.47 201981952 true 6.75 3.76 208130048 true 6.90 3.81 202895360
20170304-DifficultPathPrograms/sum01.i_3.bpl true 9.04 5.05 254644224 true 9.18 5.11 255172608 true 10.2  5.69 304750592 true 10.8  5.86 292159488 unknown 6.07 3.40 201515008 unknown 5.66 3.20 199798784 unknown 7.99 4.38 224747520 unknown 6.76 3.81 211988480
20170304-DifficultPathPrograms/sum01_bug02.i_3.bpl true 8.88 5.04 255045632 true 8.93 5.04 256774144 true 11.2  6.13 333393920 true 10.5  5.79 318107648 unknown 5.94 3.37 201715712 unknown 5.94 3.35 201519104 unknown 8.24 4.49 248467456 unknown 7.59 4.10 244084736
20170304-DifficultPathPrograms/sum01_bug02_sum01_bug02_base.case.i_4.bpl true 9.15 5.10 253521920 true 8.53 4.81 253050880 true 10.3  5.77 307761152 true 10.4  5.72 287318016 unknown 6.02 3.40 194469888 unknown 5.90 3.32 201838592 unknown 7.01 3.94 202862592 unknown 7.16 3.94 215982080
20170304-DifficultPathPrograms/sum02.i_3.bpl timeout 900    894    739119104 unknown 229    224    510177280 timeout 900    894    831541248 unknown 301    294    515215360 unknown 6.00 3.40 200093696 unknown 6.18 3.47 206090240 unknown 8.05 4.34 274927616 unknown 8.09 4.35 262885376
20170304-DifficultPathPrograms/sum03.i_3.bpl false 170    161    708210688 false 178    169    696295424 false 179    170    750202880 false 177    168    736874496 unknown 5.93 3.36 196952064 unknown 5.98 3.37 201166848 unknown 8.17 4.45 227385344 unknown 7.57 4.14 216920064
20170304-DifficultPathPrograms/sum04.i_3.bpl true 13.4  7.97 462401536 true 13.5  7.96 456671232 true 14.7  8.60 403222528 true 14.6  8.56 421298176 unknown 5.63 3.24 197935104 unknown 5.71 3.25 202039296 unknown 6.12 3.45 203194368 unknown 5.97 3.33 199249920
20170304-DifficultPathPrograms/sum04.i_4.bpl false 11.3  6.31 344817664 false 11.3  6.40 351457280 false 12.5  6.93 319393792 false 10.7  6.06 356950016 unknown 6.17 3.44 201478144 unknown 5.76 3.33 194392064 unknown 6.89 3.89 203100160 unknown 6.57 3.61 201699328
20170304-DifficultPathPrograms/sum_array.i_3.bpl true 15.7  8.44 343691264 true 15.4  8.37 320421888 error: exception 21.3  11.5  636563456 true 58.4  35.2  1263255552 unknown 9.61 5.39 300130304 unknown 9.80 5.38 286375936 error: exception 23.3  12.5  691441664 unknown 57.2  37.7  1304866816
20170304-DifficultPathPrograms/toy.cil.c_34.bpl true 70.8  42.3  1339125760 true 80.6  47.3  1347305472 timeout 901    836    3276718080 timeout 901    857    3214831616 unknown 12.3  6.57 676913152 unknown 11.5  6.26 615616512 timeout 901    857    3286179840 unknown 856    806    3200258048
20170304-DifficultPathPrograms/underapprox1.i_3.bpl false 11.4  6.62 384827392 false 11.8  6.89 382537728 false 13.1  7.44 337354752 false 12.6  7.26 388661248 unknown 6.04 3.41 201330688 unknown 5.71 3.24 201875456 unknown 6.77 3.69 200601600 unknown 6.60 3.65 201293824
20170304-DifficultPathPrograms/underapprox2.i_3.bpl false 12.4  7.08 383111168 false 12.0  6.95 380420096 false 13.1  7.45 349003776 false 12.1  7.00 368889856 unknown 5.61 3.20 198754304 unknown 5.84 3.31 200208384 unknown 6.64 3.69 201609216 unknown 6.39 3.57 202661888
20170304-DifficultPathPrograms/up.i_4.bpl timeout 901    764    1565392896 timeout 901    765    1547849728 timeout 901    761    1623650304 timeout 901    765    1727569920 unknown 6.12 3.42 202272768 unknown 6.37 3.58 200429568 unknown 7.21 3.96 253513728 unknown 6.89 3.84 220905472
20170304-DifficultPathPrograms/veris.c_NetBSD-libc__loop.i_2.bpl true 55.6  42.8  1064718336 true 103    81.1  1480101888 timeout 900    889    2801823744 true 181    160    2932174848 unknown 54.0  42.4  1038286848 unknown 99.8  82.6  1282646016 timeout 900    891    2798956544 unknown 205    182    2913333248
20170304-DifficultPathPrograms/verisec_NetBSD-libc__loop.i_2.bpl false 55.8  43.8  1064161280 false 83.7  68.5  1234423808 timeout 900    889    2806550528 timeout 901    865    2989113344 unknown 57.4  44.6  1048141824 unknown 55.5  43.8  1046970368 timeout 900    889    2800148480 timeout 901    864    2985639936
20170304-DifficultPathPrograms/vogal.i_5.bpl error: exception 40.5  28.7  935931904 error: exception 38.7  26.6  808857600 timeout 900    887    2846789632 timeout 901    852    2952269824 unknown 87.4  73.2  1320947712 unknown 88.4  73.3  1310875648 timeout 900    884    2840047616 timeout 901    856    2917269504
toy/tooDifficultLoopInvariant/AnnoyingVillain.bpl timeout 901    879    1280479232 timeout 901    879    1359732736 timeout 901    877    1188622336 timeout 901    877    1285951488 unknown 5.78 3.29 199593984 unknown 5.67 3.24 200056832 unknown 5.96 3.35 201662464 unknown 6.00 3.39 200241152
toy/tooDifficultLoopInvariant/ArrayInit01.bpl error: exception 124    113    2486558720 error: exception 109    99.6  2269843456 timeout 900    891    2793791488 true 25.9  14.8  774197248 unknown 10.6  5.89 313769984 unknown 10.3  5.73 316190720 timeout 900    892    2795192320 true 25.7  14.0  823619584
toy/tooDifficultLoopInvariant/ArrayInit02.bpl timeout 901    783    1459765248 timeout 901    784    1450364928 timeout 901    783    1553989632 timeout 901    780    1458896896 unknown 5.94 3.39 203010048 unknown 6.60 3.71 200962048 unknown 7.65 4.22 220098560 unknown 6.66 3.72 200765440
toy/tooDifficultLoopInvariant/BeyerHenzingerMajumdarRybalchenko-PLDI2007-Figure4.bpl true 287    225    2244485120 true 291    228    2298265600 true 283    223    2125983744 timeout 901    778    2472308736 unknown 5.94 3.38 200916992 unknown 5.95 3.38 201625600 unknown 5.92 3.39 200712192 unknown 5.93 3.33 199303168
toy/tooDifficultLoopInvariant/CountTillBound-Jupiter.bpl true 8.15 4.56 231911424 true 7.80 4.39 230830080 true 8.98 5.00 273924096 true 8.15 4.55 241868800 unknown 5.75 3.26 198656000 unknown 5.87 3.30 199913472 true 6.44 3.63 202309632 true 6.34 3.55 201027584
toy/tooDifficultLoopInvariant/DivisibilityInterpolantRequired01-BackwardSuccess.bpl true 6.37 3.59 213778432 true 6.59 3.63 216748032 true 7.09 3.86 214233088 true 6.30 3.56 215433216 true 5.75 3.26 200003584 true 5.41 3.14 196575232 true 6.33 3.49 197844992 unknown 6.23 3.44 200228864
toy/tooDifficultLoopInvariant/DivisibilityInterpolantRequired02-ForwardSuccess.bpl true 6.30 3.55 211693568 true 5.98 3.41 210354176 true 6.70 3.80 214863872 true 6.58 3.69 217358336 true 5.63 3.20 197005312 true 5.68 3.20 199241728 true 6.12 3.58 198082560 unknown 5.77 3.24 196456448
toy/tooDifficultLoopInvariant/DivisibilityInterpolantRequired03-FPBPCannibalizationSuccess.bpl true 6.32 3.66 215973888 true 6.53 3.73 216936448 true 7.40 4.10 215621632 true 6.46 3.67 216784896 true 5.70 3.23 200622080 true 6.01 3.37 200630272 true 5.93 3.38 199208960 unknown 5.96 3.37 194052096
toy/tooDifficultLoopInvariant/HiddenEquality-Safe.bpl true 515    419    1989476352 true 499    408    1862639616 true 506    412    2108866560 true 502    411    1917661184 unknown 5.73 3.26 200859648 unknown 5.94 3.37 201568256 true 6.19 3.50 201756672 true 6.26 3.50 202506240
toy/tooDifficultLoopInvariant/HiddenEqualityWithBranches.bpl timeout 901    757    1647800320 timeout 901    758    1649967104 timeout 900    756    2134614016 timeout 900    756    2143469568 unknown 6.09 3.61 202182656 unknown 5.85 3.32 201084928 unknown 6.97 3.90 196771840 unknown 6.40 3.58 203534336
toy/tooDifficultLoopInvariant/HiddenInequality.bpl true 12.1  7.20 405929984 true 12.9  7.60 440078336 true 8.08 4.45 233422848 true 7.85 4.37 240951296 unknown 5.63 3.23 199208960 unknown 5.84 3.28 198615040 true 6.37 3.58 201314304 true 5.90 3.34 195506176
toy/tooDifficultLoopInvariant/INT_add_vs_inc.bpl true 10.7  6.15 322297856 true 10.9  6.21 323305472 true 11.7  6.68 342487040 true 10.6  6.12 323203072 unknown 5.85 3.27 197853184 unknown 5.79 3.26 198549504 unknown 6.12 3.45 203886592 unknown 5.90 3.38 200077312
toy/tooDifficultLoopInvariant/InvariantSynthesisWpOverapproxIntRealNegationBug.bpl true 5.72 3.17 202190848 true 5.63 3.28 201936896 true 6.33 3.56 205365248 true 5.86 3.35 204021760 unknown 5.74 3.25 197554176 unknown 5.81 3.24 198541312 true 5.93 3.37 197332992 true 6.11 3.35 195014656
toy/tooDifficultLoopInvariant/LargeConstant-ForwardSuccess.bpl true 10.9  6.39 351588352 true 11.9  6.86 370515968 true 29.9  16.8  779100160 true 23.5  13.1  713117696 unknown 7.00 3.95 215040000 unknown 7.00 3.98 218714112 unknown 21.8  11.9  684015616 unknown 16.2  8.90 591306752
toy/tooDifficultLoopInvariant/LexIndexValue-Pointer-Reduced.bpl timeout 901    765    1893191680 timeout 901    767    1959157760 timeout 901    761    1800994816 timeout 901    763    1835495424 unknown 5.40 3.11 196882432 unknown 5.82 3.27 198209536 unknown 6.39 3.59 201502720 unknown 6.08 3.36 198209536
toy/tooDifficultLoopInvariant/Luxembourg-ArraysIntegefied.bpl timeout 901    757    1637449728 timeout 901    756    1643712512 out of memory 360    280    8000000000 out of memory 495    426    8000000000 unknown 6.11 3.46 201519104 unknown 6.24 3.50 205676544 out of memory 428    351    8000000000 out of memory 703    641    8000000000
toy/tooDifficultLoopInvariant/Luxembourg-WithArrays.bpl timeout 900    838    1432432640 timeout 901    840    1454231552 timeout 900    890    2589216768 true 13.9  7.51 387321856 unknown 6.96 3.95 214753280 unknown 7.08 4.00 215822336 timeout 900    890    2794807296 true 8.89 4.91 259219456
toy/tooDifficultLoopInvariant/Luxembourg-sophisticated.bpl timeout 901    848    2301104128 timeout 901    850    1523281920 true 7.30 4.10 235024384 true 7.70 4.29 229548032 unknown 5.74 3.28 199905280 unknown 5.79 3.28 200593408 unknown 6.74 3.80 202498048 unknown 6.00 3.37 200163328
toy/tooDifficultLoopInvariant/Luxembourg.bpl timeout 900    755    1849368576 timeout 900    754    1854361600 true 8.19 4.51 237150208 true 7.66 4.26 231104512 unknown 5.49 3.16 196509696 unknown 5.70 3.23 198696960 true 6.39 3.57 199999488 true 5.86 3.32 197996544
toy/tooDifficultLoopInvariant/LuxembourgOctopus.bpl timeout 901    764    2275823616 timeout 901    762    1957675008 timeout 901    772    1365282816 timeout 900    759    1806045184 unknown 5.85 3.27 200609792 unknown 5.75 3.31 200146944 unknown 6.09 3.42 202641408 unknown 6.09 3.41 198479872
toy/tooDifficultLoopInvariant/Modulo-Ihringen-ModuloResolved.bpl true 6.21 3.51 213323776 true 6.31 3.56 210935808 true 6.95 3.76 221995008 true 7.04 3.76 224915456 unknown 5.34 3.05 196313088 unknown 5.79 3.24 198094848 unknown 6.17 3.48 199606272 unknown 5.60 3.18 196386816
toy/tooDifficultLoopInvariant/Modulo-Ihringen.bpl true 6.04 3.47 216535040 true 6.47 3.59 217169920 true 6.80 3.76 216305664 true 6.46 3.70 215539712 true 5.80 3.27 196448256 true 5.59 3.15 199045120 true 5.79 3.27 197959680 true 5.61 3.16 197148672
toy/tooDifficultLoopInvariant/ModuloInvariant-Breisach.bpl true 5.76 3.30 200658944 true 5.92 3.33 202956800 true 6.12 3.46 203493376 true 6.48 3.56 203083776 true 5.40 3.07 195289088 true 5.60 3.11 195149824 true 5.73 3.23 199884800 unknown 5.83 3.23 196751360
toy/tooDifficultLoopInvariant/MonadicInvariant01.bpl timeout 901    761    1933930496 timeout 901    764    1780944896 timeout 901    763    1790017536 timeout 901    760    1865166848 unknown 5.91 3.33 198742016 unknown 5.77 3.23 197447680 unknown 5.93 3.39 201318400 unknown 5.68 3.24 197021696
toy/tooDifficultLoopInvariant/NeonAngel01.bpl timeout 901    869    1247772672 timeout 901    870    1210998784 timeout 901    869    1239162880 timeout 901    868    1189433344 unknown 5.74 3.25 200208384 unknown 5.49 3.18 199544832 unknown 6.56 3.60 199856128 unknown 6.05 3.41 200970240
toy/tooDifficultLoopInvariant/Octopussy.bpl timeout 900    754    1836417024 timeout 900    751    1896042496 timeout 900    752    1660051456 timeout 900    752    1825804288 unknown 5.68 3.23 202084352 unknown 5.68 3.20 201170944 unknown 6.22 3.43 200658944 unknown 6.19 3.47 200400896
toy/tooDifficultLoopInvariant/PointerIncrement-simplified01.bpl error: exception 7.13 4.03 229306368 error: exception 7.37 4.11 241913856 error: exception 7.46 4.20 233373696 error: exception 7.95 4.44 230838272 error: exception 5.69 3.24 200679424 error: exception 5.77 3.21 205684736 error: exception 6.11 3.45 208277504 error: exception 6.16 3.41 207142912
toy/tooDifficultLoopInvariant/PointerIncrement-simplified02.bpl error: exception 7.22 4.03 223567872 error: exception 7.19 4.03 232251392 error: exception 7.18 3.88 223145984 error: exception 7.33 4.12 222167040 error: exception 5.65 3.23 199979008 error: exception 5.31 3.06 193617920 error: exception 5.56 3.17 198590464 error: exception 5.53 3.12 196521984
toy/tooDifficultLoopInvariant/PointerIncrement-simplified03.bpl error: exception 7.32 4.06 221134848 error: exception 7.31 4.07 225177600 error: exception 6.87 3.78 223080448 error: exception 7.08 3.96 220893184 error: exception 5.75 3.24 197607424 error: exception 5.47 3.11 195887104 error: exception 5.87 3.34 196747264 error: exception 5.65 3.19 197013504
toy/tooDifficultLoopInvariant/PointerIncrement.bpl error: exception 7.86 4.25 231542784 error: exception 7.37 4.14 231190528 error: exception 7.51 4.22 236900352 error: exception 8.13 4.53 231223296 error: exception 6.05 3.42 213942272 error: exception 5.91 3.29 200871936 error: exception 6.15 3.49 211611648 error: exception 6.02 3.41 211075072
toy/tooDifficultLoopInvariant/Sandman01.bpl timeout 901    833    1594892288 timeout 901    834    1598369792 timeout 901    833    1544945664 timeout 901    832    1498509312 unknown 7.63 4.23 214089728 unknown 7.35 4.11 213151744 unknown 8.63 4.77 225480704 unknown 8.76 4.78 232103936
toy/tooDifficultLoopInvariant/ValueTerminatedArrayIteration01.bpl true 13.1  7.42 348176384 true 11.8  6.78 325529600 true 33.0  17.5  1136377856 true 22.0  11.9  709066752 unknown 8.72 4.85 255995904 unknown 9.08 5.05 263188480 unknown 32.2  16.9  1112240128 unknown 21.4  11.5  687456256
toy/tooDifficultLoopInvariant/codeblockAssertOrder01.bpl true 9.88 5.56 296853504 true 9.03 5.19 295485440 timeout 900    888    2813722624 true 11.2  6.09 337453056 unknown 7.02 3.94 215478272 unknown 6.95 3.87 215121920 timeout 900    891    2802745344 true 9.18 5.03 280621056
toy/tooDifficultLoopInvariant/doubleLoopUniformIterations.bpl timeout 901    760    1509912576 timeout 901    757    1605525504 true 9.18 5.12 249323520 true 8.02 4.54 247877632 unknown 5.85 3.30 198774784 unknown 5.62 3.28 199639040 unknown 6.55 3.65 201789440 true 5.56 3.13 196911104
toy/tooDifficultLoopInvariant/HierarchicalTraceAbstraction/GeometricalCake.bpl error: exception 6.29 3.59 207368192 error: exception 6.43 3.65 218284032 timeout 901    839    1441898496 timeout 901    840    1535430656 error: exception 5.54 3.16 195510272 error: exception 5.70 3.23 195137536 unknown 5.92 3.32 202248192 unknown 5.85 3.34 200622080
toy/tooDifficultLoopInvariant/HierarchicalTraceAbstraction/GeometricalIntegerCake.bpl true 8.74 4.96 255467520 true 9.21 5.18 257241088 true 9.26 5.15 260448256 true 9.30 5.24 257515520 unknown 5.64 3.21 196542464 unknown 5.70 3.24 196628480 unknown 5.90 3.32 200359936 unknown 5.37 3.05 191979520
toy/tooDifficultLoopInvariant/HierarchicalTraceAbstraction/GeometricalIntegerCakeWithArray.bpl true 11.8  6.64 326549504 true 11.7  6.58 323534848 true 12.4  7.00 312250368 true 12.4  7.00 363118592 unknown 6.79 3.79 214482944 unknown 6.87 3.81 214679552 unknown 7.79 4.35 220745728 unknown 9.22 5.06 239575040
toy/tooDifficultLoopInvariant/HierarchicalTraceAbstraction/SkatingStrawberry.bpl error: type error 4.50 2.43 175378432 error: type error 4.49 2.44 177786880 error: type error 4.29 2.34 174739456 error: type error 4.73 2.51 178663424 error: type error 4.45 2.42 177315840 error: type error 4.68 2.50 177278976 error: type error 4.99 2.66 176558080 error: type error 4.66 2.50 177074176
toy/nonlinear/ConstantValue-Safe.bpl true 7.11 4.04 237694976 true 7.09 3.99 235745280 true 6.94 3.93 229613568 true 7.09 3.87 228884480 unknown 5.48 3.12 197332992 unknown 5.54 3.16 197013504 true 5.69 3.22 188526592 true 5.69 3.24 195145728
toy/nonlinear/InterpolationPaperExampleCandidate01.bpl true 6.16 3.51 206393344 true 6.26 3.51 217473024 true 6.53 3.58 206696448 true 6.55 3.59 219176960 unknown 5.56 3.14 199749632 unknown 5.38 3.08 197308416 unknown 5.67 3.25 196313088 unknown 5.39 3.05 196960256
toy/nonlinear/Mult1-Safe.bpl unknown 196    175    1260060672 unknown 197    175    1283936256 unknown 193    173    1769836544 unknown 193    173    1515933696 unknown 5.82 3.26 198508544 unknown 5.84 3.34 198418432 unknown 6.47 3.59 201072640 unknown 6.00 3.37 199065600
toy/nonlinear/NonlinearInvariant1-Safe.bpl true 6.64 3.78 226013184 true 6.58 3.74 225722368 true 7.20 3.94 225013760 true 6.89 3.86 223375360 unknown 5.77 3.26 198889472 unknown 5.58 3.18 196829184 unknown 6.87 3.80 203608064 unknown 6.37 3.57 204541952
toy/nonlinear/PositiveValue-Safe.bpl true 6.39 3.65 230817792 true 6.71 3.82 229265408 true 7.18 4.05 237207552 true 6.72 3.79 232833024 true 5.80 3.26 195985408 true 5.56 3.15 198258688 true 5.60 3.20 194445312 true 5.56 3.16 192831488
toy/nonlinear/Power1-Safe.bpl true 6.91 3.99 243007488 true 7.72 4.35 249831424 true 8.04 4.48 241688576 true 7.18 4.01 239575040 unknown 5.42 3.14 197070848 unknown 5.93 3.32 199303168 true 5.87 3.39 200818688 true 5.70 3.22 199593984
toy/nonlinear/Power2-Unsafe.bpl false 10.5  6.78 275169280 false 10.4  6.89 276516864 false 11.5  7.41 283049984 false 10.7  6.99 279351296 unknown 5.74 3.24 200773632 unknown 5.82 3.28 198807552 unknown 6.00 3.37 203190272 unknown 5.59 3.15 194826240
toy/nonlinear/Power3-Safe.bpl error: exception 191    186    2345324544 error: exception 147    142    2258415616 error: exception 157    152    2345590784 error: exception 187    182    2357628928 unknown 5.70 3.21 197193728 unknown 5.77 3.27 199565312 unknown 5.95 3.32 201490432 unknown 5.69 3.23 201363456
../../../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 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 56700 49300 225695916032 251 55200 47800 223086772224 251 70000 62400 374190616576 251 66900 58600 375792779264 251 3200 2240 77388972032 251 3230 2280 77180669952 251 22600 20700 275356385280 251 16400 14200 263993774080
local summary 31700 3820 31200 3720 47900 4840 42800 4620 3200 853 3090 868 22100 1900 14500 1460
    correct results 0 0 0 0 0 0 0 0
        correct true 0 0 0 0 0 0 0 0
        correct false 0 0 0 0 0 0 0 0
    incorrect results 0 0 0 0 0 0 0 0
        incorrect true 0 0 0 0 0 0 0 0
        incorrect false 0 0 0 0 0 0 0 0
Run set Taipan EXP+CONG.Pdr Taipan Array-EXP+CONG.Pdr Taipan Array-OCT+CONG.Pdr Taipan Array-OCT.Pdr AbsInt EXP+CONG.Pdr AbsInt Array-EXP+CONG.Pdr AbsInt Array-OCT+CONG.Pdr AbsInt Array-OCT.Pdr