Tool ULTIMATE Automizer 0.1.23-5eb3fea6
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-09-21 17:43:14 CEST
Run set Automizer
Options --full-output --architecture 32bit --traceabstraction.compute.hoare.annotation.of.negated.interpolant.automaton,.abstraction.and.cfg false
../../../trunk/examples/svcomp/float-newlib/ status cputime (s) walltime (s) memUsage
double_req_bl_0210_true-unreach-call.c true 314   285   1522966528
double_req_bl_0220a_true-unreach-call.c true 143   120   1236799488
double_req_bl_0220b_true-unreach-call.c true 141   119   1222860800
double_req_bl_0240a_true-unreach-call.c true 125   104   975052800
double_req_bl_0240b_true-unreach-call.c true 129   107   973422592
double_req_bl_0250a_true-unreach-call.c true 101   87.5 2221998080
double_req_bl_0250b_true-unreach-call.c true 104   90.1 2243465216
double_req_bl_0260_true-unreach-call.c true 130   116   2337935360
double_req_bl_0270a_true-unreach-call.c true 123   109   2225774592
double_req_bl_0270b_true-unreach-call.c true 120   105   2209337344
double_req_bl_0281_true-unreach-call.c true 46.0 36.1 1801764864
double_req_bl_0310_true-unreach-call.c true 467   438   1532039168
double_req_bl_0320_true-unreach-call.c true 140   120   1239044096
double_req_bl_0330a_true-unreach-call.c true 122   99.4 968445952
double_req_bl_0330b_true-unreach-call.c true 125   102   963596288
double_req_bl_0460_true-unreach-call.c true 143   130   2484826112
double_req_bl_0470_true-unreach-call.c true 172   159   2541744128
double_req_bl_0480_true-unreach-call.c true 118   105   2310889472
double_req_bl_0490a_true-unreach-call.c true 200   184   2600103936
double_req_bl_0490b_true-unreach-call.c true 99.4 86.9 2165317632
double_req_bl_0520_true-unreach-call.c true 380   354   2575237120
double_req_bl_0530a_true-unreach-call.c true 169   145   2097426432
double_req_bl_0530b_true-unreach-call.c true 169   145   2102296576
double_req_bl_0550a_true-unreach-call.c true 145   121   2038616064
double_req_bl_0550b_true-unreach-call.c true 140   117   2023620608
double_req_bl_0610_true-unreach-call.c false(unreach-call) 125   113   1602723840
double_req_bl_0620a_true-unreach-call.c true 252   236   2123190272
double_req_bl_0620b_true-unreach-call.c true 192   179   2021269504
double_req_bl_0621a_true-unreach-call.c true 341   327   2181709824
double_req_bl_0621b_true-unreach-call.c true 339   326   2128912384
double_req_bl_0660a_true-unreach-call.c true 154   137   1498259456
double_req_bl_0660b_true-unreach-call.c true 169   150   1487745024
double_req_bl_0661a_true-unreach-call.c true 395   372   2356535296
double_req_bl_0661b_true-unreach-call.c true 375   353   2360000512
double_req_bl_0662a_true-unreach-call.c true 304   282   1637691392
double_req_bl_0662b_true-unreach-call.c true 249   230   1632301056
double_req_bl_0663a_true-unreach-call.c true 212   193   1541771264
double_req_bl_0663b_true-unreach-call.c true 486   465   2295853056
double_req_bl_0670_true-unreach-call.c true 264   247   1519968256
double_req_bl_0680a_true-unreach-call.c true 179   161   1515663360
double_req_bl_0680b_true-unreach-call.c true 159   140   1519362048
double_req_bl_0681a_true-unreach-call.c true 168   148   1490649088
double_req_bl_0681b_true-unreach-call.c true 142   124   1492361216
double_req_bl_0682a_true-unreach-call.c true 239   215   1636470784
double_req_bl_0682b_true-unreach-call.c true 201   179   1569169408
double_req_bl_0683a_true-unreach-call.c true 217   194   1589383168
double_req_bl_0683b_true-unreach-call.c true 191   170   1625702400
double_req_bl_0684a_true-unreach-call.c true 510   488   2421362688
double_req_bl_0684b_true-unreach-call.c true 480   458   2379837440
double_req_bl_0685a_true-unreach-call.c true 170   147   1466654720
double_req_bl_0685b_true-unreach-call.c true 177   157   1547251712
double_req_bl_0686a_true-unreach-call.c true 156   138   1510076416
double_req_bl_0686b_true-unreach-call.c true 140   120   1458487296
double_req_bl_0710_true-unreach-call.c error (7) 341   329   2778349568
double_req_bl_0720_true-unreach-call.c true 157   145   1340899328
double_req_bl_0730a_true-unreach-call.c true 149   138   866095104
double_req_bl_0730b_true-unreach-call.c true 61.3 49.8 903434240
double_req_bl_0730c_true-unreach-call.c error (7) 78.2 61.8 976154624
double_req_bl_0740_true-unreach-call.c true 213   202   794775552
double_req_bl_0831_true-unreach-call.c false(unreach-call) 211   197   1756061696
double_req_bl_0832_true-unreach-call.c true 185   172   1634304000
double_req_bl_0833_true-unreach-call.c true 135   119   1569841152
double_req_bl_0834_true-unreach-call.c true 144   129   1597730816
double_req_bl_0860_true-unreach-call.c timeout 901   868   2192613376
double_req_bl_0864a_true-unreach-call.c timeout 901   867   2313437184
double_req_bl_0864b_true-unreach-call.c error (7) 311   288   2986213376
double_req_bl_0864c_true-unreach-call.c timeout 900   879   2122899456
double_req_bl_0870b_true-unreach-call.c true 290   269   2212421632
double_req_bl_0871_true-unreach-call.c error (7) 781   749   2789072896
double_req_bl_0872a_true-unreach-call.c true 198   180   2749304832
double_req_bl_0872b_true-unreach-call.c true 240   219   2810302464
double_req_bl_0873a_true-unreach-call.c true 385   361   2382516224
double_req_bl_0873b_true-unreach-call.c true 389   364   2287554560
double_req_bl_0874_true-unreach-call.c true 436   410   2313859072
double_req_bl_0875_true-unreach-call.c true 631   600   2407018496
double_req_bl_0876_true-unreach-call.c true 436   409   2294779904
double_req_bl_0877_true-unreach-call.c true 562   532   2310369280
double_req_bl_0878_true-unreach-call.c error (7) 202   183   2053664768
double_req_bl_0879_true-unreach-call.c error (7) 208   189   2913476608
double_req_bl_0880_true-unreach-call.c error (7) 185   167   2881851392
double_req_bl_0881_true-unreach-call.c error (7) 202   183   2883190784
double_req_bl_0882_true-unreach-call.c true 600   571   2919657472
double_req_bl_0883_true-unreach-call.c true 846   818   2444029952
double_req_bl_0885a_true-unreach-call.c error (7) 126   113   2822402048
double_req_bl_0885b_true-unreach-call.c timeout 901   863   2506948608
double_req_bl_0886a_true-unreach-call.c error (7) 153   138   2756370432
double_req_bl_0886b_true-unreach-call.c error (7) 97.3 82.8 1848524800
double_req_bl_0910a_true-unreach-call.c true 445   430   1884786688
double_req_bl_0910b_true-unreach-call.c true 122   110   1604124672
double_req_bl_0920a_true-unreach-call.c true 144   130   1564106752
double_req_bl_0920b_true-unreach-call.c true 121   108   1546792960
double_req_bl_0921_true-unreach-call.c true 157   144   1929256960
double_req_bl_0930_true-unreach-call.c true 189   175   1763287040
double_req_bl_0931_true-unreach-call.c true 134   120   1807597568
double_req_bl_0960a_true-unreach-call.c timeout 900   883   2237034496
double_req_bl_0960b_true-unreach-call.c true 115   99.9 1507287040
double_req_bl_0970a_true-unreach-call.c true 109   95.4 1465221120
double_req_bl_0970b_true-unreach-call.c true 98.4 86.0 1418129408
double_req_bl_0971_true-unreach-call.c true 105   91.2 1505239040
double_req_bl_0981_true-unreach-call.c true 106   91.4 1469603840
double_req_bl_1010_true-unreach-call.c false(unreach-call) 19.2 10.7 265617408
double_req_bl_1011a_true-unreach-call.c true 38.8 27.4 532914176
double_req_bl_1011b_true-unreach-call.c true 37.4 25.8 527458304
double_req_bl_1012a_true-unreach-call.c true 37.0 25.1 529338368
double_req_bl_1012b_true-unreach-call.c true 40.4 28.0 538808320
double_req_bl_1031_true-unreach-call.c true 35.3 23.2 486518784
double_req_bl_1032a_true-unreach-call.c true 39.9 27.9 556412928
double_req_bl_1032b_true-unreach-call.c true 39.7 27.2 552128512
double_req_bl_1032c_true-unreach-call.c true 42.5 30.9 562921472
double_req_bl_1032d_true-unreach-call.c true 43.3 31.4 557232128
double_req_bl_1051_true-unreach-call.c true 46.6 34.7 553521152
double_req_bl_1052a_true-unreach-call.c true 48.8 37.3 574648320
double_req_bl_1052b_true-unreach-call.c true 48.9 37.5 568860672
double_req_bl_1052c_true-unreach-call.c true 100   84.7 646832128
double_req_bl_1052d_true-unreach-call.c true 55.8 43.1 576753664
double_req_bl_1071_true-unreach-call.c true 33.3 21.8 493101056
double_req_bl_1072a_true-unreach-call.c true 38.1 26.8 473931776
double_req_bl_1072b_true-unreach-call.c true 39.1 26.7 542711808
double_req_bl_1072c_true-unreach-call.c true 38.2 25.8 544235520
double_req_bl_1072d_true-unreach-call.c true 37.0 26.4 488300544
double_req_bl_1091_true-unreach-call.c true 48.4 37.2 551313408
double_req_bl_1092a_true-unreach-call.c true 51.5 39.3 580173824
double_req_bl_1092b_true-unreach-call.c true 64.1 50.1 587759616
double_req_bl_1092c_true-unreach-call.c true 51.8 39.8 530522112
double_req_bl_1092d_true-unreach-call.c true 50.3 38.9 532611072
double_req_bl_1121a_true-unreach-call.c true 124   112   1378676736
double_req_bl_1121b_true-unreach-call.c true 57.3 45.4 1033940992
double_req_bl_1122a_true-unreach-call.c error (7) 99.4 89.9 1270992896
double_req_bl_1122b_true-unreach-call.c error (7) 188   177   1289838592
double_req_bl_1130a_true-unreach-call.c true 71.7 57.4 898863104
double_req_bl_1130b_true-unreach-call.c timeout 901   882   1115860992
double_req_bl_1131a_true-unreach-call.c true 64.6 50.9 920969216
double_req_bl_1131b_true-unreach-call.c true 67.9 53.9 913076224
double_req_bl_1211a_true-unreach-call.c true 78.1 63.7 658022400
double_req_bl_1211b_true-unreach-call.c true 76.2 60.0 650387456
double_req_bl_1230_true-unreach-call.c true 28.6 16.9 492953600
double_req_bl_1231a_true-unreach-call.c error (7) 69.2 51.5 677183488
double_req_bl_1231b_true-unreach-call.c true 67.9 52.2 628969472
double_req_bl_1232a_true-unreach-call.c true 43.8 29.4 548478976
double_req_bl_1250_true-unreach-call.c true 31.1 19.5 495808512
double_req_bl_1251a_true-unreach-call.c error (7) 66.2 50.1 690688000
double_req_bl_1251b_true-unreach-call.c true 78.3 62.6 615329792
double_req_bl_1252a_true-unreach-call.c true 45.5 31.5 538517504
double_req_bl_1270a_true-unreach-call.c timeout 900   879   1273851904
double_req_bl_1270b_true-unreach-call.c error (7) 226   208   1100267520
double_req_bl_1270c_true-unreach-call.c timeout 901   876   1528442880
double_req_bl_1270d_true-unreach-call.c timeout 901   872   1578057728
double_req_bl_1271a_true-unreach-call.c false(unreach-call) 169   153   926466048
double_req_bl_1271b_true-unreach-call.c false(unreach-call) 36.5 23.0 684244992
double_req_bl_1280_true-unreach-call.c error (7) 290   272   2082230272
double_req_bl_1300_true-unreach-call.c true 220   208   1222733824
double_req_bl_1381_true-unreach-call.c false(unreach-call) 18.0 10.0 269049856
float_req_bl_0210_true-unreach-call.c timeout 901   850   1419448320
float_req_bl_0220a_true-unreach-call.c true 112   88.5 876494848
float_req_bl_0220b_true-unreach-call.c true 112   87.1 875646976
float_req_bl_0240a_true-unreach-call.c true 98.2 74.6 833654784
float_req_bl_0240b_true-unreach-call.c true 99.3 75.2 837201920
float_req_bl_0250a_true-unreach-call.c true 79.2 66.9 915595264
float_req_bl_0250b_true-unreach-call.c true 79.8 66.9 909262848
float_req_bl_0260_true-unreach-call.c true 77.3 65.8 887291904
float_req_bl_0270a_true-unreach-call.c true 80.3 66.5 951554048
float_req_bl_0270b_true-unreach-call.c true 81.0 67.2 962899968
float_req_bl_0281_true-unreach-call.c true 84.4 71.3 1011646464
float_req_bl_0310_true-unreach-call.c timeout 901   853   1342836736
float_req_bl_0320a_true-unreach-call.c true 119   94.8 845451264
float_req_bl_0320b_true-unreach-call.c true 119   95.0 872521728
float_req_bl_0330a_true-unreach-call.c true 97.3 74.0 798220288
float_req_bl_0330b_true-unreach-call.c true 96.4 73.4 797540352
float_req_bl_0460_true-unreach-call.c true 91.5 78.9 1221148672
float_req_bl_0470_true-unreach-call.c true 88.9 76.7 1071251456
float_req_bl_0480_true-unreach-call.c true 75.7 63.0 1025990656
float_req_bl_0490a_true-unreach-call.c true 77.5 66.1 1006559232
float_req_bl_0490b_true-unreach-call.c true 89.9 78.0 1069170688
float_req_bl_0520_true-unreach-call.c timeout 901   851   1789095936
float_req_bl_0530a_true-unreach-call.c true 153   127   1180069888
float_req_bl_0530b_true-unreach-call.c true 113   88.9 1034162176
float_req_bl_0550a_true-unreach-call.c true 97.0 73.8 1085038592
float_req_bl_0550b_true-unreach-call.c true 99.8 76.2 1105195008
float_req_bl_0610_true-unreach-call.c true 104   92.3 905187328
float_req_bl_0620a_true-unreach-call.c true 112   99.7 899878912
float_req_bl_0620b_true-unreach-call.c true 140   128   904687616
float_req_bl_0621a_true-unreach-call.c true 158   146   879067136
float_req_bl_0621b_true-unreach-call.c true 150   138   889532416
float_req_bl_0660a_true-unreach-call.c true 75.9 60.7 765833216
float_req_bl_0660b_true-unreach-call.c true 68.5 53.9 733933568
float_req_bl_0661a_true-unreach-call.c true 168   150   983920640
float_req_bl_0661b_true-unreach-call.c true 151   134   995389440
float_req_bl_0662a_true-unreach-call.c true 66.3 52.9 754012160
float_req_bl_0662b_true-unreach-call.c true 66.7 52.6 746352640
float_req_bl_0663a_true-unreach-call.c true 66.9 53.4 755068928
float_req_bl_0663b_true-unreach-call.c true 70.7 55.8 738545664
float_req_bl_0670_true-unreach-call.c true 136   122   837545984
float_req_bl_0680a_true-unreach-call.c true 70.4 56.2 732614656
float_req_bl_0680b_true-unreach-call.c true 81.3 64.9 841134080
float_req_bl_0681a_true-unreach-call.c true 62.7 48.2 776089600
float_req_bl_0681b_true-unreach-call.c true 68.4 52.7 815714304
float_req_bl_0682a_true-unreach-call.c true 90.7 73.6 829353984
float_req_bl_0682b_true-unreach-call.c true 84.8 68.9 810389504
float_req_bl_0683a_true-unreach-call.c true 79.6 63.8 793186304
float_req_bl_0683b_true-unreach-call.c true 86.2 69.6 834379776
float_req_bl_0684a_true-unreach-call.c true 241   224   1070829568
float_req_bl_0684b_true-unreach-call.c true 237   219   1071951872
float_req_bl_0685a_true-unreach-call.c true 73.4 58.2 805720064
float_req_bl_0685b_true-unreach-call.c true 90.0 73.1 825843712
float_req_bl_0686a_true-unreach-call.c true 72.2 57.4 783069184
float_req_bl_0686b_true-unreach-call.c true 70.5 55.8 814481408
float_req_bl_0710_true-unreach-call.c true 426   415   2155761664
float_req_bl_0720_true-unreach-call.c true 55.2 43.9 576921600
float_req_bl_0730a_true-unreach-call.c true 43.2 32.7 479416320
float_req_bl_0730b_true-unreach-call.c true 29.3 18.5 519581696
float_req_bl_0730c_true-unreach-call.c true 29.1 18.7 522940416
float_req_bl_0740_true-unreach-call.c true 39.0 28.5 427560960
float_req_bl_0831_true-unreach-call.c true 212   201   883392512
float_req_bl_0832a_true-unreach-call.c true 162   148   772030464
float_req_bl_0832b_true-unreach-call.c true 128   116   770629632
float_req_bl_0833_true-unreach-call.c true 94.6 81.9 774598656
float_req_bl_0834_true-unreach-call.c true 135   123   789925888
float_req_bl_0860_true-unreach-call.c error (7) 662   630   2249682944
float_req_bl_0864a_true-unreach-call.c error (7) 641   605   2820845568
float_req_bl_0864b_true-unreach-call.c error (7) 347   324   2802335744
float_req_bl_0870b_true-unreach-call.c true 88.0 73.8 931037184
float_req_bl_0871_true-unreach-call.c error (7) 218   202   1278545920
float_req_bl_0872a_true-unreach-call.c true 77.2 63.8 948826112
float_req_bl_0872b_true-unreach-call.c true 76.5 62.8 946216960
float_req_bl_0873a_true-unreach-call.c true 124   105   1048653824
float_req_bl_0873b_true-unreach-call.c true 120   104   1043726336
float_req_bl_0874_true-unreach-call.c true 193   172   1115164672
float_req_bl_0875_true-unreach-call.c true 223   200   1154744320
float_req_bl_0876_true-unreach-call.c true 210   189   1161863168
float_req_bl_0877_true-unreach-call.c true 212   188   1163538432
float_req_bl_0878_true-unreach-call.c timeout 901   863   2884780032
float_req_bl_0879_true-unreach-call.c timeout 901   858   2911526912
float_req_bl_0880_true-unreach-call.c true 664   628   1340387328
float_req_bl_0881_true-unreach-call.c true 672   634   1336193024
float_req_bl_0882_true-unreach-call.c error (7) 350   331   1403555840
float_req_bl_0883_true-unreach-call.c true 296   276   1156542464
float_req_bl_0885a_true-unreach-call.c error (7) 440   427   2691567616
float_req_bl_0885b_true-unreach-call.c error (7) 152   139   1885335552
float_req_bl_0886a_true-unreach-call.c error (7) 389   375   2692497408
float_req_bl_0886b_true-unreach-call.c error (7) 372   359   2708058112
float_req_bl_0910a_true-unreach-call.c true 56.7 46.0 630960128
float_req_bl_0910b_true-unreach-call.c true 58.1 47.6 660975616
float_req_bl_0920a_true-unreach-call.c true 66.9 55.3 709849088
float_req_bl_0920b_true-unreach-call.c true 62.6 51.7 661479424
float_req_bl_0921_true-unreach-call.c true 78.5 67.7 777486336
float_req_bl_0930_true-unreach-call.c true 393   378   1796231168
float_req_bl_0931_true-unreach-call.c true 68.1 56.5 800587776
float_req_bl_0960a_true-unreach-call.c true 47.0 35.8 635461632
float_req_bl_0960b_true-unreach-call.c true 49.9 38.3 628060160
float_req_bl_0970a_true-unreach-call.c true 50.4 38.6 662249472
float_req_bl_0970b_true-unreach-call.c true 52.5 41.6 641298432
float_req_bl_0971_true-unreach-call.c true 58.6 46.5 696037376
float_req_bl_0981_true-unreach-call.c true 55.2 43.5 731983872
float_req_bl_1010_true-unreach-call.c true 23.9 13.8 362848256
float_req_bl_1011a_true-unreach-call.c true 27.2 16.9 536363008
float_req_bl_1011b_true-unreach-call.c true 27.7 17.2 523706368
float_req_bl_1012a_true-unreach-call.c true 24.7 14.7 447217664
float_req_bl_1012b_true-unreach-call.c true 24.5 14.6 444506112
float_req_bl_1031_true-unreach-call.c true 25.9 15.4 393994240
float_req_bl_1032a_true-unreach-call.c true 33.6 22.0 517423104
float_req_bl_1032b_true-unreach-call.c true 31.4 20.5 519045120
float_req_bl_1032c_true-unreach-call.c true 26.4 16.1 408522752
float_req_bl_1032d_true-unreach-call.c true 25.9 15.9 410693632
float_req_bl_1051_true-unreach-call.c true 29.0 18.4 403656704
float_req_bl_1052a_true-unreach-call.c true 30.7 20.0 468525056
float_req_bl_1052b_true-unreach-call.c true 30.2 19.7 475770880
float_req_bl_1052c_true-unreach-call.c true 42.3 28.9 533524480
float_req_bl_1052d_true-unreach-call.c true 34.9 23.6 530771968
float_req_bl_1071_true-unreach-call.c true 22.2 12.7 354295808
float_req_bl_1072a_true-unreach-call.c true 26.1 15.3 448581632
float_req_bl_1072b_true-unreach-call.c true 24.3 14.7 454873088
float_req_bl_1072c_true-unreach-call.c true 29.9 19.1 526475264
float_req_bl_1072d_true-unreach-call.c true 29.5 18.7 513314816
float_req_bl_1091_true-unreach-call.c true 29.1 18.8 413364224
float_req_bl_1092a_true-unreach-call.c true 36.3 24.6 531296256
float_req_bl_1092b_true-unreach-call.c true 42.3 29.0 550539264
float_req_bl_1092c_true-unreach-call.c true 30.2 19.5 471261184
float_req_bl_1092d_true-unreach-call.c true 31.0 19.9 469807104
float_req_bl_1121a_true-unreach-call.c true 85.5 74.7 614248448
float_req_bl_1121b_true-unreach-call.c true 80.1 70.0 608645120
float_req_bl_1122a_true-unreach-call.c true 69.1 59.0 619155456
float_req_bl_1122b_true-unreach-call.c true 75.0 64.9 610250752
float_req_bl_1130a_true-unreach-call.c true 33.3 21.9 571199488
float_req_bl_1130b_true-unreach-call.c true 35.0 23.0 569085952
float_req_bl_1131a_true-unreach-call.c true 39.5 27.7 589271040
float_req_bl_1131b_true-unreach-call.c true 37.6 25.6 598364160
float_req_bl_1211a_true-unreach-call.c true 37.5 24.4 545579008
float_req_bl_1211b_true-unreach-call.c true 35.8 23.7 541687808
float_req_bl_1230_true-unreach-call.c true 25.8 14.7 438710272
float_req_bl_1231_true-unreach-call.c true 77.7 58.0 763670528
float_req_bl_1232a_true-unreach-call.c true 29.5 17.7 502444032
float_req_bl_1250_true-unreach-call.c true 25.9 15.0 469712896
float_req_bl_1251_true-unreach-call.c true 84.1 61.6 744095744
float_req_bl_1252a_true-unreach-call.c true 28.1 17.1 499904512
float_req_bl_1270a_true-unreach-call.c error (7) 120   104   665190400
float_req_bl_1270b_true-unreach-call.c true 618   593   1073029120
float_req_bl_1270c_true-unreach-call.c true 445   424   926261248
float_req_bl_1270d_true-unreach-call.c true 349   329   958947328
float_req_bl_1271a_true-unreach-call.c true 372   350   942616576
float_req_bl_1271b_true-unreach-call.c true 537   515   1021870080
float_req_bl_1280_true-unreach-call.c timeout 900   883   2413772800
float_req_bl_1381_true-unreach-call.c true 23.2 13.6 383053824
double_req_bl_0870a_false-unreach-call.c false(unreach-call) 104   89.2 1645375488
double_req_bl_1210_false-unreach-call.c false(unreach-call) 49.4 36.9 600145920
double_req_bl_1232b_false-unreach-call.c false(unreach-call) 39.7 26.2 561041408
double_req_bl_1252b_false-unreach-call.c false(unreach-call) 48.3 34.5 571265024
float_req_bl_0870a_false-unreach-call.c false(unreach-call) 57.0 44.4 820518912
float_req_bl_1210_false-unreach-call.c false(unreach-call) 25.3 14.6 404393984
float_req_bl_1232b_false-unreach-call.c false(unreach-call) 27.8 16.2 461971456
float_req_bl_1252b_false-unreach-call.c false(unreach-call) 27.2 16.1 469835776
../../../trunk/examples/svcomp/float-newlib/ status cputime (s) walltime (s) memUsage
total 310 57200 52100 374801469440
local summary 43900 4300
    correct results 262 35800 31700 283668611072
        correct true 254 35400 31500 278134063104
        correct false 8 378 278 5534547968
    incorrect results 6 578 506 5504163840
        incorrect true 0
        incorrect false 6 578 506 5504163840
score (310 tasks, max score: 612) 420
Run set Automizer