Tool PAGAI CPAchecker 1.4-svn 18222M BLAST 2.7.3 CPAchecker 1.3.10-svcomp15 CPAchecker 1.4-svn 18222M
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host [cayman1; cayman2; cayman3; cayman4; cayman5; cayman6; cayman7; cayman8]
OS Linux 3.13.0-66-generic
System CPU: Intel Core i7-4770 @ 3.40 GHz with 8 cores, frequency: 3.4 GHz; RAM: [33643876352; 33643925504]
Date of execution 2015-10-29 19:54:35 CET 2015-10-29 16:37:46 CET 2015-10-29 18:13:18 CET 2015-10-29 16:49:31 CET 2015-10-29 15:46:55 CET
Run set pagai lpi.lpi blast.blast cpachecker.cpachecker lpi-refinement.lpi-intervals
Options --svcomp -i -noout -policy-refinement -setprop cpa.stator.policy.usePreviousBounds=true -setprop cpa.stator.policy.unrollingRefinementThreshold=2 -setprop cpa.stator.policy.generateTemplatesUsingConvexHull=false -setprop cpa.loopstack.loopIterationsBeforeAbstraction=1 -setprop cpa.stator.policy.unguidedTemplateRefinement=true -disable-java-assertions -heap 10000m -sv-comp -alias empty -enable-recursion -noprofile -cref -lattice -include-lattice symb -nosserr -sv-comp15 -disable-java-assertions -heap 10000m -noout -setprop cpa.stator.policy.usePreviousBounds=true -setprop cpa.stator.policy.generateTemplatesUsingConvexHull=false -disable-java-assertions -heap 10000m -policy-intervals -setprop cpa.loopstack.loopIterationsBeforeAbstraction=1 -setprop cpa.stator.policy.runCongruence=false
../benchmarks/c/ status cputime walltime memUsage status cputime walltime memUsage status cputime walltime memUsage status cputime walltime memUsage status cputime walltime memUsage
loops/array_false-unreach-call.i unknown 0.028s 0.042s 40120320 unknown 2.165s 1.535s 176717824 false(reach) 0.601s 0.494s 18616320 false(reach) 2.560s 1.496s 215330816 unknown 1.603s 1.021s 164720640
loops/bubble_sort_false-unreach-call.i unknown 0.512s 0.528s 162574336 unknown 4.009s 2.244s 229429248 exception (gremlins) 0.025s 0.034s 15392768 false(reach) 29.734s 26.347s 949198848 unknown 2.693s 1.636s 209256448
loops/count_up_down_false-unreach-call_true-termination.i unknown 0.035s 0.046s 40120320 unknown 1.917s 1.230s 170848256 false(reach) 0.052s 0.063s 16355328 false(reach) 1.710s 1.045s 174731264 unknown 1.683s 1.034s 166637568
loops/eureka_01_false-unreach-call.i unknown 0.086s 0.339s 113381376 timeout 900.752s 896.433s 361492480 false(reach) 3.920s 3.290s 32661504 false(reach) 81.747s 74.023s 634900480 unknown 2.142s 1.472s 181194752
loops/for_bounded_loop1_false-unreach-call_true-termination.i unknown 0.056s 0.068s 41168896 unknown 3.595s 2.385s 212303872 false(reach) 1.061s 0.894s 16441344 false(reach) 3.299s 1.899s 234340352 unknown 1.795s 1.144s 170708992
loops/insertion_sort_false-unreach-call.i unknown 0.058s 0.060s 76681216 unknown 2.964s 1.994s 208736256 false(reach) 4.905s 4.137s 19369984 timeout 900.898s 890.579s 314224640 unknown 1.863s 1.238s 172281856
loops/invert_string_false-unreach-call.i unknown 0.051s 0.069s 76550144 unknown 4.294s 2.780s 222658560 false(reach) 1.143s 0.933s 19873792 timeout 900.751s 894.768s 632348672 unknown 1.903s 1.247s 173400064
loops/linear_search_false-unreach-call.i unknown 0.028s 0.041s 40374272 unknown 4.004s 2.712s 212561920 false(reach) 0.064s 0.088s 14241792 unknown 3.460s 2.028s 234176512 unknown 1.844s 1.186s 174759936
loops/ludcmp_false-unreach-call.i unknown 0.065s 0.066s 221270016 unknown 10.509s 7.910s 269225984 false(reach) 1.813s 1.512s 20951040 timeout 900.820s 897.158s 1444130816 unknown 2.385s 1.560s 182517760
loops/matrix_false-unreach-call_true-termination.i unknown 0.087s 0.103s 95555584 timeout 900.989s 897.899s 309518336 exception (gremlins) 0.012s 0.025s 7929856 false(reach) 68.323s 63.675s 1281261568 unknown 1.912s 1.251s 174825472
loops/n.c24_false-unreach-call.i unknown 0.080s 0.096s 95948800 unknown 6.295s 3.950s 235634688 timeout 597.227s 1031.015s 439644160 timeout 900.694s 856.444s 3858862080 unknown 2.183s 1.359s 172752896
loops/nec11_false-unreach-call.i unknown 0.031s 0.049s 40116224 unknown 1.747s 1.100s 166899712 false(reach) 0.050s 0.061s 14618624 false(reach) 1.692s 1.063s 173453312 unknown 1.838s 1.078s 161497088
loops/nec20_false-unreach-call.i unknown 0.036s 0.052s 40509440 unknown 3.808s 2.521s 209829888 false(reach) 0.141s 0.224s 15642624 false(reach) 1.756s 1.092s 181276672 unknown 1.774s 1.132s 168685568
loops/s3_false-unreach-call.i unknown 0.146s 0.150s 49487872 unknown 22.453s 16.121s 552095744 false(reach) 21.926s 18.095s 46866432 out of memory 150.775s 120.145s 15000002560 unknown 4.026s 2.613s 216399872
loops/string_false-unreach-call.i unknown 0.091s 0.101s 113643520 unknown 3.993s 2.639s 216416256 false(reach) 1.821s 1.481s 21078016 false(reach) 1.996s 1.226s 208011264 unknown 2.066s 1.343s 169750528
loops/sum01_bug02_false-unreach-call_true-termination.i unknown 0.036s 0.056s 40513536 unknown 6.220s 4.403s 233664512 false(reach) 21.043s 18.433s 25071616 false(reach) 3.662s 2.122s 235773952 unknown 1.816s 1.173s 161591296
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i unknown 0.043s 0.278s 40636416 unknown 4.114s 2.514s 212148224 false(reach) 10.969s 9.443s 22843392 false(reach) 3.217s 1.920s 229908480 unknown 1.727s 1.096s 173985792
loops/sum01_false-unreach-call_true-termination.i unknown 0.043s 0.059s 40386560 unknown 3.893s 2.433s 211046400 false(reach) 34.597s 30.363s 30007296 false(reach) 4.092s 2.486s 237379584 unknown 1.868s 1.172s 162336768
loops/sum03_false-unreach-call_true-termination.i unknown 0.028s 0.037s 40251392 unknown 2.457s 1.732s 176889856 false(reach) 5.517s 4.568s 22941696 false(reach) 1.964s 1.249s 203890688 unknown 1.974s 1.199s 170704896
loops/sum04_false-unreach-call_true-termination.i unknown 0.030s 0.035s 40382464 unknown 2.811s 1.823s 179240960 false(reach) 1.320s 1.095s 18911232 false(reach) 1.805s 1.118s 205099008 unknown 2.069s 1.218s 171171840
loops/sum_array_false-unreach-call.i unknown 0.048s 0.062s 94507008 unknown 3.645s 2.547s 212434944 false(reach) 0.734s 0.611s 23617536 false(reach) 6.405s 3.916s 279146496 unknown 2.110s 1.336s 171159552
loops/terminator_01_false-unreach-call_false-termination.i unknown 0.022s 0.024s 39870464 unknown 1.942s 1.148s 165285888 false(reach) 0.043s 0.053s 14385152 false(reach) 1.653s 1.035s 173092864 unknown 1.642s 1.017s 167161856
loops/terminator_02_false-unreach-call_true-termination.i unknown 0.020s 0.038s 40009728 unknown 1.624s 1.066s 160968704 false(reach) 0.040s 0.055s 16089088 false(reach) 1.706s 1.041s 175386624 unknown 1.817s 1.078s 165150720
loops/terminator_03_false-unreach-call_true-termination.i unknown 0.029s 0.033s 40116224 unknown 1.867s 1.218s 163319808 false(reach) 0.103s 0.152s 14974976 false(reach) 2.487s 1.437s 213774336 unknown 1.893s 1.125s 162738176
loops/trex01_false-unreach-call_true-termination.i unknown 0.067s 0.075s 95432704 unknown 2.439s 1.514s 213012480 false(reach) 0.058s 0.084s 14528512 false(reach) 1.731s 1.059s 179478528 unknown 1.933s 1.148s 167415808
loops/trex02_false-unreach-call_true-termination.i unknown 0.033s 0.043s 40120320 unknown 1.739s 1.081s 164196352 false(reach) 0.036s 0.055s 15958016 false(reach) 1.648s 1.028s 174632960 unknown 1.656s 1.015s 167239680
loops/trex03_false-unreach-call_true-termination.i unknown 0.031s 0.048s 40505344 unknown 3.086s 1.959s 213426176 false(reach) 0.057s 0.073s 16740352 false(reach) 2.971s 1.535s 216731648 unknown 1.903s 1.111s 168480768
loops/verisec_NetBSD-libc__loop_false-unreach-call.i unknown 0.028s 0.042s 39866368 unknown 1.696s 1.079s 168497152 false(reach) 0.600s 0.489s 18010112 false(reach) 1.669s 1.037s 177790976 unknown 1.723s 1.069s 170487808
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call.i unknown 0.071s 0.077s 77615104 unknown 5.192s 3.496s 211668992 false(reach) 42.095s 35.057s 37359616 false(reach) 1.961s 1.206s 214351872 unknown 2.052s 1.365s 176541696
loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i true 0.036s 0.052s 58204160 true 2.122s 1.188s 170536960 true 0.231s 0.400s 16621568 true 3.057s 1.852s 219918336 true 1.782s 1.142s 171421696
loops/vogal_false-unreach-call.i unknown 0.115s 0.130s 132259840 timeout 900.655s 897.719s 285274112 timeout 631.968s 1031.020s 344649728 false(reach) 2.403s 1.492s 210698240 unknown 2.314s 1.382s 174931968
loops/while_infinite_loop_4_false-unreach-call_true-termination.i unknown 0.027s 0.037s 39862272 unknown 1.977s 1.205s 166432768 false(reach) 0.036s 0.045s 14884864 false(reach) 1.653s 1.039s 175841280 unknown 1.665s 1.032s 169562112
loops/array_true-unreach-call.i unknown 0.024s 0.028s 40132608 unknown 2.295s 1.583s 181788672 true 0.900s 0.725s 17801216 true 2.476s 1.432s 213450752 unknown 1.820s 1.057s 165597184
loops/bubble_sort_true-unreach-call.i true 0.012s 0.020s 1847296 true 2.231s 1.542s 176795648 true 0.035s 0.058s 12525568 true 61.512s 59.352s 1181741056 true 2.135s 1.478s 176054272
loops/count_up_down_true-unreach-call_true-termination.i unknown 0.032s 0.033s 40132608 unknown 2.224s 1.457s 168710144 false(reach) 0.051s 0.075s 16461824 timeout 900.867s 878.235s 1088581632 unknown 1.796s 1.102s 163254272
loops/eureka_01_true-unreach-call.i unknown 0.080s 0.083s 113119232 unknown 129.521s 126.332s 379064320 timeout 1056.620s 973.063s 628035584 true 1.860s 1.111s 156102656 unknown 2.612s 1.777s 178536448
loops/eureka_05_true-unreach-call.i unknown 0.079s 0.096s 94785536 unknown 16.621s 14.075s 271777792 false(reach) 8.087s 6.733s 24764416 true 1.607s 0.965s 145608704 unknown 2.329s 1.537s 181129216
loops/for_infinite_loop_1_true-unreach-call_false-termination.i true 0.028s 0.040s 40009728 true 1.692s 1.043s 164786176 true 0.025s 0.047s 12783616 true 61.468s 58.981s 1795993600 true 1.901s 1.123s 162172928
loops/for_infinite_loop_2_true-unreach-call_false-termination.i true 0.024s 0.035s 40009728 true 1.878s 1.113s 165019648 true 0.023s 0.041s 12046336 true 61.577s 58.935s 2238509056 true 1.662s 1.016s 166723584
loops/insertion_sort_true-unreach-call.i unknown 0.050s 0.055s 76558336 unknown 2.988s 2.023s 210411520 false(reach) 4.116s 3.489s 20267008 timeout 900.851s 891.228s 454549504 unknown 2.086s 1.313s 172703744
loops/invert_string_true-unreach-call.i unknown 0.055s 0.075s 76419072 unknown 4.157s 2.815s 207966208 false(reach) 1.794s 1.529s 27471872 true 2.956s 1.825s 217751552 unknown 1.977s 1.306s 170647552
loops/linear_sea.ch_true-unreach-call.i unknown 0.026s 0.028s 40112128 unknown 3.859s 2.562s 213319680 false(reach) 0.062s 0.072s 16322560 unknown 63.657s 60.082s 1224278016 unknown 1.908s 1.151s 167346176
loops/lu.cmp_true-unreach-call.i timeout 1000.920s 1000.835s 5227311104 true 2.281s 1.600s 181682176 true 52.029s 47.324s 75411456 true 1.673s 1.005s 149413888 true 2.653s 1.771s 185786368
loops/matrix_true-unreach-call_true-termination.i unknown 0.032s 0.037s 58212352 unknown 6.073s 4.280s 228491264 exception (gremlins) 0.026s 0.047s 10035200 true 3.295s 2.267s 248602624 unknown 1.889s 1.142s 167444480
loops/n.c11_true-unreach-call.i true 0.034s 0.141s 40116224 true 1.743s 1.093s 166060032 true 0.680s 0.573s 18391040 true 1.526s 0.900s 145252352 true 1.735s 1.084s 170483712
loops/n.c40_true-unreach-call.i true 0.024s 0.029s 39989248 true 2.736s 1.602s 212660224 false(reach) 0.151s 0.263s 17465344 true 2.475s 1.449s 207294464 unknown 1.752s 1.095s 170258432
loops/nec40_true-unreach-call.i true 0.017s 0.021s 39981056 true 2.648s 1.582s 216072192 false(reach) 0.176s 0.303s 15908864 true 2.522s 1.470s 211197952 unknown 1.960s 1.164s 169947136
loops/string_true-unreach-call.i true 0.071s 0.078s 113266688 true 2.199s 1.572s 170176512 true 0.796s 0.642s 17235968 true 1.824s 1.117s 149200896 true 2.211s 1.522s 177606656
loops/sum01_true-unreach-call_true-termination.i true 0.024s 0.038s 40124416 true 3.456s 2.209s 211828736 true 1.361s 1.172s 17780736 timeout 900.706s 874.159s 773775360 unknown 1.773s 1.104s 163983360
loops/sum03_true-unreach-call_false-termination.i true 0.024s 0.036s 40116224 true 1.789s 1.143s 168513536 true 0.105s 0.170s 16986112 true 122.800s 116.728s 1274273792 true 1.902s 1.187s 163467264
loops/sum04_true-unreach-call_true-termination.i true 0.027s 0.044s 40124416 true 2.348s 1.395s 174813184 true 1.103s 0.902s 19226624 true 1.499s 0.876s 144592896 unknown 1.763s 1.105s 168562688
loops/sum_array_true-unreach-call.i unknown 0.060s 0.070s 94519296 unknown 3.595s 2.468s 209756160 false(reach) 0.737s 0.595s 19746816 timeout 900.617s 891.167s 771182592 unknown 1.918s 1.271s 173051904
loops/terminator_02_true-unreach-call_true-termination.i true 0.029s 0.032s 40124416 true 1.979s 1.166s 165777408 true 0.911s 0.732s 18890752 true 2.338s 1.361s 212267008 true 1.687s 1.048s 172244992
loops/terminator_03_true-unreach-call_true-termination.i true 0.023s 0.025s 39989248 true 1.994s 1.099s 168394752 true 0.168s 0.282s 17813504 true 2.381s 1.367s 209874944 true 1.804s 1.111s 164237312
loops/trex01_true-unreach-call.i true 0.053s 0.061s 95043584 true 2.069s 1.404s 173268992 true 0.893s 0.734s 16769024 true 182.162s 174.325s 1155076096 true 2.112s 1.376s 175091712
loops/trex02_true-unreach-call_true-termination.i true 0.024s 0.035s 39985152 true 1.588s 1.011s 159711232 true 0.088s 0.124s 15736832 true 2.343s 1.326s 212099072 true 1.958s 1.147s 167350272
loops/trex03_true-unreach-call.i unknown 0.031s 0.038s 40390656 true 1.855s 1.197s 169111552 false(reach) 0.041s 0.051s 13524992 true 2.879s 1.676s 214327296 true 2.093s 1.270s 169615360
loops/trex04_true-unreach-call_false-termination.i true 0.040s 0.049s 41033728 true 2.017s 1.202s 166576128 true 0.500s 0.398s 18866176 true 2.412s 1.424s 215343104 true 2.011s 1.228s 167051264
loops/veris.c_NetBSD-libc__loop_true-unreach-call.i unknown 0.023s 0.026s 39845888 unknown 1.800s 1.144s 170106880 true 0.106s 0.180s 16252928 true 62.491s 59.170s 316907520 unknown 1.705s 1.056s 168800256
loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call.i true 0.016s 0.030s 1859584 true 2.427s 1.572s 175247360 true 0.041s 0.048s 12259328 true 61.540s 59.074s 1167089664 true 2.383s 1.577s 179044352
loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call.i true 0.027s 0.029s 40116224 true 1.807s 1.171s 162164736 true 0.138s 0.214s 16207872 true 2.650s 1.545s 223211520 true 1.818s 1.177s 167153664
loops/vogal_true-unreach-call.i unknown 0.103s 0.115s 131866624 timeout 900.749s 897.540s 294621184 timeout 651.085s 1031.014s 428584960 true 65.641s 61.087s 1245347840 unknown 2.250s 1.365s 174325760
loops/while_infinite_loop_1_true-unreach-call_false-termination.i true 0.020s 0.031s 39727104 true 1.790s 1.075s 161824768 true 0.028s 0.038s 12914688 true 1.447s 0.869s 139808768 true 1.945s 1.155s 160935936
loops/while_infinite_loop_2_true-unreach-call_false-termination.i true 0.025s 0.027s 39731200 true 1.690s 1.033s 164216832 true 0.028s 0.046s 11755520 true 1.441s 0.860s 140337152 true 1.618s 1.056s 158773248
loops/while_infinite_loop_3_true-unreach-call_false-termination.i true 0.023s 0.024s 39739392 true 1.579s 1.005s 159109120 true 0.030s 0.047s 10440704 true 1.470s 0.853s 143654912 true 1.904s 1.134s 166813696
loop-acceleration/array_false-unreach-call1.i unknown 0.032s 0.186s 39993344 unknown 1.784s 1.206s 164388864 timeout 544.666s 1031.016s 400232448 false(reach) 51.506s 48.291s 1280835584 unknown 1.946s 1.122s 164020224
loop-acceleration/array_false-unreach-call2.i unknown 0.025s 0.029s 40124416 unknown 1.875s 1.216s 172249088 timeout 890.855s 1031.004s 603115520 false(reach) 48.755s 43.910s 5148499968 unknown 1.777s 1.185s 171061248
loop-acceleration/array_false-unreach-call3.i unknown 0.035s 0.045s 40120320 unknown 1.819s 1.159s 166600704 timeout 721.466s 1031.013s 461619200 false(reach) 10.535s 6.450s 485453824 unknown 1.910s 1.038s 168112128
loop-acceleration/const_false-unreach-call1.i unknown 0.027s 0.037s 39989248 unknown 2.238s 1.562s 177295360 timeout 538.641s 1031.017s 337387520 false(reach) 7.004s 4.001s 392478720 unknown 1.693s 1.059s 161480704
loop-acceleration/diamond_false-unreach-call1.i unknown 0.036s 0.047s 40251392 unknown 2.278s 1.447s 171765760 false(reach) 65.906s 55.372s 82370560 false(reach) 5.157s 3.188s 275718144 unknown 1.721s 1.062s 170721280
loop-acceleration/functions_false-unreach-call1.i unknown 0.031s 0.042s 39976960 unknown 1.849s 1.192s 172122112 timeout 633.660s 1031.005s 300552192 timeout 900.585s 839.547s 1962590208 unknown 1.738s 1.116s 173195264
loop-acceleration/multivar_false-unreach-call1.i unknown 0.020s 0.025s 39985152 unknown 1.654s 1.090s 159952896 false(reach) 0.038s 0.060s 14528512 false(reach) 1.648s 1.003s 169553920 unknown 1.822s 1.051s 165617664
loop-acceleration/nested_false-unreach-call1.i unknown 0.035s 0.039s 58327040 unknown 2.450s 1.762s 176627712 timeout 527.942s 1031.009s 399818752 timeout 900.569s 866.584s 1342431232 unknown 1.744s 1.120s 171229184
loop-acceleration/phases_false-unreach-call1.i unknown 0.034s 0.040s 40112128 unknown 2.040s 1.345s 164036608 exception (gremlins) 0.074s 0.108s 15847424 timeout 900.718s 847.072s 1167392768 unknown 1.902s 1.149s 170041344
loop-acceleration/phases_false-unreach-call2.i unknown 0.026s 0.249s 39976960 unknown 1.864s 1.206s 161234944 false(reach) 0.040s 0.046s 12410880 false(reach) 1.658s 1.034s 170786816 unknown 1.694s 1.057s 167956480
loop-acceleration/simple_false-unreach-call1.i unknown 0.035s 0.038s 39976960 unknown 1.819s 1.161s 168087552 exception (gremlins) 845.640s 770.124s 266571776 segmentation fault 181.882s 145.268s 1142304768 unknown 1.721s 1.084s 161611776
loop-acceleration/simple_false-unreach-call2.i unknown 0.029s 0.031s 39981056 unknown 1.694s 1.042s 168009728 false(reach) 0.056s 0.082s 16199680 false(reach) 1.660s 1.036s 176099328 unknown 1.661s 1.010s 165007360
loop-acceleration/simple_false-unreach-call3.i unknown 0.032s 0.039s 40108032 unknown 1.740s 1.091s 166273024 false(reach) 0.051s 0.071s 16084992 false(reach) 1.611s 1.034s 176058368 unknown 1.655s 1.014s 167383040
loop-acceleration/simple_false-unreach-call4.i unknown 0.023s 0.027s 40112128 unknown 1.720s 1.110s 164716544 exception (gremlins) 1.395s 1.097s 29515776 timeout 900.584s 833.095s 1179910144 unknown 1.679s 1.065s 167649280
loop-acceleration/underapprox_false-unreach-call1.i unknown 0.032s 0.033s 40255488 unknown 2.467s 1.693s 177123328 false(reach) 1.426s 1.186s 18677760 false(reach) 1.710s 1.040s 178470912 unknown 1.745s 1.416s 169484288
loop-acceleration/underapprox_false-unreach-call2.i unknown 0.036s 0.046s 40255488 unknown 1.924s 1.219s 165113856 false(reach) 1.047s 0.838s 17223680 false(reach) 1.791s 1.097s 183279616 unknown 1.600s 1.027s 159072256
loop-acceleration/array_true-unreach-call1.i unknown 0.025s 0.026s 39976960 unknown 2.188s 1.257s 168304640 timeout 545.123s 1031.014s 400453632 true 41.877s 40.943s 198782976 unknown 1.893s 1.125s 166264832
loop-acceleration/array_true-unreach-call2.i unknown 0.029s 0.031s 39981056 unknown 1.878s 1.207s 172531712 timeout 891.510s 1031.019s 608018432 false(reach) 45.658s 41.526s 4929773568 unknown 1.615s 1.022s 164937728
loop-acceleration/array_true-unreach-call3.i true 0.023s 0.025s 40112128 true 1.987s 1.186s 167096320 true 0.113s 0.194s 16166912 true 4.364s 2.538s 220123136 true 1.964s 1.186s 170438656
loop-acceleration/array_true-unreach-call4.i unknown 0.033s 0.035s 40116224 unknown 1.836s 1.170s 172699648 timeout 721.041s 1031.014s 461283328 true 3.788s 2.386s 226545664 unknown 2.030s 1.101s 168054784
loop-acceleration/const_true-unreach-call1.i true 0.021s 0.023s 39993344 true 2.046s 1.276s 166240256 true 0.134s 0.218s 16740352 true 2.568s 1.558s 203210752 unknown 1.924s 1.245s 171663360
loop-acceleration/diamond_true-unreach-call1.i unknown 0.032s 0.038s 40247296 unknown 2.039s 1.357s 171683840 false(reach) 65.490s 55.108s 85008384 true 191.656s 179.966s 1307959296 unknown 1.706s 1.067s 168497152
loop-acceleration/diamond_true-unreach-call2.i unknown 0.046s 0.049s 41549824 unknown 2.576s 1.694s 213946368 false(reach) 100.316s 84.272s 55324672 true 5.696s 3.169s 258560000 unknown 1.818s 1.194s 161652736
loop-acceleration/functions_true-unreach-call1.i unknown 0.024s 0.037s 40124416 true 1.666s 1.041s 165826560 timeout 676.092s 1031.015s 241618944 timeout 900.600s 838.123s 1946914816 unknown 1.827s 1.128s 160784384
loop-acceleration/multivar_true-unreach-call1.i true 0.032s 0.046s 39985152 true 1.605s 1.034s 157941760 true 0.061s 0.093s 16203776 true 62.940s 28.512s 1885560832 true 1.832s 1.113s 162934784
loop-acceleration/nested_true-unreach-call1.i unknown 0.047s 0.061s 58195968 true 1.948s 1.217s 161009664 timeout 527.018s 1031.003s 399745024 timeout 900.568s 864.848s 1334951936 true 1.820s 1.175s 159387648
loop-acceleration/overflow_true-unreach-call1.i true 0.024s 0.027s 39989248 true 1.921s 1.131s 167735296 true 0.081s 0.127s 16044032 true 122.555s 117.664s 1143775232 unknown 1.679s 1.032s 167895040
loop-acceleration/phases_true-unreach-call1.i unknown 0.036s 0.042s 40108032 unknown 2.171s 1.346s 168411136 exception (gremlins) 0.055s 0.094s 15876096 timeout 901.984s 846.710s 1191825408 unknown 1.881s 1.121s 164495360
loop-acceleration/phases_true-unreach-call2.i true 0.023s 0.036s 39985152 unknown 1.882s 1.284s 165806080 false(reach) 0.247s 0.434s 16719872 true 2.602s 1.514s 214290432 unknown 1.925s 1.160s 171208704
loop-acceleration/simple_true-unreach-call1.i unknown 0.024s 0.038s 40124416 true 1.726s 1.080s 166395904 exception (gremlins) 849.239s 773.130s 263876608 timeout 900.499s 832.739s 1142837248 unknown 1.927s 1.154s 166612992
loop-acceleration/simple_true-unreach-call2.i true 0.022s 0.023s 39858176 true 1.904s 1.100s 163741696 exception (gremlins) 0.052s 0.081s 17223680 true 2.302s 1.303s 208261120 true 1.682s 1.027s 164696064
loop-acceleration/simple_true-unreach-call3.i unknown 0.034s 0.035s 40112128 true 1.592s 1.030s 161558528 false(reach) 0.058s 0.071s 16474112 timeout 901.255s 874.692s 1650393088 unknown 1.889s 1.161s 163209216
loop-acceleration/simple_true-unreach-call4.i unknown 0.026s 0.029s 40108032 true 1.666s 1.047s 162725888 exception (gremlins) 1.976s 1.517s 31535104 timeout 900.419s 834.349s 1192099840 unknown 1.785s 1.046s 165711872
loop-acceleration/underapprox_true-unreach-call1.i unknown 0.032s 0.047s 40255488 unknown 2.184s 1.498s 174669824 true 0.674s 0.564s 17551360 true 1.428s 0.864s 148131840 unknown 1.901s 1.104s 166187008
loop-acceleration/underapprox_true-unreach-call2.i true 0.030s 0.032s 40255488 true 1.714s 1.059s 164499456 true 0.127s 0.208s 17223680 true 1.491s 0.872s 143138816 true 1.672s 1.053s 170221568
loop-invgen/id_trans_false-unreach-call.i unknown 0.056s 0.077s 41562112 unknown 2.503s 1.514s 206319616 exception (gremlins) 0.526s 0.440s 18550784 true 3.275s 1.705s 214192128 unknown 1.862s 1.134s 162439168
loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call.i true 0.037s 0.041s 40910848 unknown 13.206s 10.934s 341467136 true 15.055s 12.597s 29700096 timeout 900.619s 897.026s 309284864 unknown 1.885s 1.227s 172580864
loop-invgen/NetBSD_loop_true-unreach-call.i true 0.031s 0.032s 40378368 true 2.043s 1.391s 171503616 true 0.618s 0.514s 19181568 true 63.199s 29.999s 1233506304 unknown 1.798s 1.149s 168226816
loop-invgen/SpamAssassin-loop_true-unreach-call.i unknown 0.264s 0.274s 66469888 true 3.465s 2.296s 215277568 true 279.371s 233.390s 148324352 true 102.532s 95.328s 622903296 unknown 2.011s 1.236s 164704256
loop-invgen/apache-escape-absolute_true-unreach-call.i true 0.083s 0.097s 61616128 true 2.164s 1.445s 173543424 true 13.527s 11.138s 42180608 true 5.346s 3.336s 295088128 true 2.329s 1.503s 176001024
loop-invgen/apache-get-tag_true-unreach-call.i true 0.045s 0.047s 59899904 true 2.137s 1.448s 162807808 true 7.695s 6.286s 34349056 timeout 906.140s 902.018s 453791744 true 2.385s 1.525s 169832448
loop-invgen/down_true-unreach-call.i true 0.028s 0.045s 58073088 true 1.969s 1.294s 170938368 timeout 654.297s 1031.008s 311648256 timeout 900.521s 864.736s 875560960 unknown 1.966s 1.197s 166010880
loop-invgen/fragtest_simple_true-unreach-call.i true 0.045s 0.049s 76554240 true 5.062s 3.298s 215060480 timeout 720.464s 1031.011s 227454976 timeout 900.435s 867.298s 1101631488 unknown 2.004s 1.268s 168857600
loop-invgen/half_2_true-unreach-call.i unknown 0.055s 0.064s 58724352 timeout 900.754s 897.874s 641318912 exception (gremlins) 0.055s 0.088s 18100224 timeout 900.664s 859.813s 2161696768 unknown 1.977s 1.214s 166879232
loop-invgen/heapsort_true-unreach-call.i unknown 0.400s 0.412s 67772416 true 3.345s 2.261s 211353600 exception (gremlins) 0.119s 0.200s 18915328 true 150.337s 147.215s 390688768 true 3.223s 2.125s 211001344
loop-invgen/id_build_true-unreach-call.i true 0.036s 0.041s 58347520 true 1.835s 1.174s 168267776 true 0.245s 0.392s 17747968 timeout 900.643s 883.648s 486727680 true 1.817s 1.160s 168845312
loop-invgen/large_const_true-unreach-call.i true 0.051s 0.061s 58859520 true 13.739s 11.064s 400543744 exception (gremlins) 133.217s 111.768s 87576576 true 2.518s 1.479s 209358848 unknown 2.222s 1.345s 174006272
loop-invgen/nest-if3_true-unreach-call.i unknown 0.101s 0.103s 60182528 true 1.862s 1.266s 165785600 false(reach) 0.248s 0.402s 17240064 timeout 911.941s 906.122s 1262858240 true 2.185s 1.268s 168960000
loop-invgen/nested6_true-unreach-call.i true 0.072s 0.091s 77467648 true 6.005s 4.226s 232230912 true 161.990s 140.497s 82022400 timeout 901.048s 874.080s 1653620736 unknown 2.360s 1.571s 176226304
loop-invgen/nested9_true-unreach-call.i true 0.067s 0.074s 77078528 true 2.358s 1.663s 181940224 true 0.727s 0.610s 18018304 timeout 900.535s 855.065s 1956007936 true 2.486s 1.671s 181288960
loop-invgen/sendmail-close-angle_true-unreach-call.i true 0.040s 0.044s 41299968 true 2.719s 1.921s 205139968 exception (gremlins) 12.561s 10.352s 34537472 timeout 900.798s 875.760s 999247872 unknown 2.169s 1.436s 176504832
loop-invgen/seq_true-unreach-call.i out of memory 518.322s 518.319s 15000002560 unknown 15.301s 12.663s 251396096 timeout 720.591s 1031.002s 237846528 timeout 900.415s 879.285s 1717125120 unknown 2.061s 1.287s 167059456
loop-invgen/string_concat-noarr_true-unreach-call.i true 0.032s 0.047s 76431360 true 2.318s 1.470s 171638784 timeout 853.996s 1031.009s 294473728 timeout 900.872s 859.902s 1246961664 unknown 1.809s 1.219s 167108608
loop-invgen/up_true-unreach-call.i true 0.047s 0.337s 58212352 true 4.684s 3.244s 211677184 timeout 675.927s 1031.021s 328544256 timeout 900.473s 865.851s 851369984 unknown 1.938s 1.192s 166539264
loop-lit/afnp2014_true-unreach-call.c.i unknown 0.032s 0.048s 40386560 true 2.852s 1.919s 208670720 true 1.555s 1.262s 18186240 true 4.679s 2.839s 240742400 unknown 1.747s 1.118s 172187648
loop-lit/bhmr2007_true-unreach-call.c.i true 0.008s 0.010s 1708032 true 1.645s 1.096s 160243712 true 0.035s 0.048s 10936320 true 61.447s 59.222s 1151811584 true 1.930s 1.204s 166567936
loop-lit/cggmp2005_true-unreach-call.c.i true 0.032s 0.288s 39981056 true 2.056s 1.381s 173596672 true 0.218s 0.397s 16334848 true 1.488s 0.865s 146735104 unknown 1.756s 1.113s 167669760
loop-lit/cggmp2005_variant_true-unreach-call.c.i true 0.032s 0.041s 40108032 true 3.918s 2.428s 207884288 false(reach) 0.110s 0.148s 16236544 timeout 900.640s 895.883s 294866944 unknown 1.969s 1.172s 165715968
loop-lit/cggmp2005b_true-unreach-call.c.i true 0.035s 0.037s 76173312 true 5.794s 4.170s 233041920 true 0.789s 0.668s 17539072 true 1.916s 1.117s 157589504 unknown 1.870s 1.173s 164560896
loop-lit/css2003_true-unreach-call.c.i unknown 0.038s 0.041s 40648704 true 2.048s 1.229s 165335040 false(reach) 0.078s 0.109s 12652544 true 2.492s 1.457s 208785408 true 1.949s 1.209s 162914304
loop-lit/ddlm2013_true-unreach-call.c.i unknown 0.044s 0.055s 41168896 unknown 9.950s 8.180s 232620032 false(reach) 17.297s 15.489s 25346048 timeout 900.689s 890.930s 847224832 unknown 1.905s 1.242s 172290048
loop-lit/gj2007_true-unreach-call.c.i unknown 0.036s 0.040s 40243200 unknown 2.502s 1.774s 172711936 timeout 949.292s 1030.180s 287223808 true 1.711s 1.015s 147202048 unknown 2.032s 1.212s 170774528
loop-lit/gj2007b_true-unreach-call.c.i true 0.023s 0.026s 40255488 true 4.163s 2.660s 212426752 true 3.233s 2.682s 19955712 true 62.600s 29.188s 1840283648 unknown 2.079s 1.168s 166772736
loop-lit/gr2006_true-unreach-call.c.i unknown 0.028s 0.043s 40259584 unknown 2.776s 1.871s 212869120 timeout 706.234s 1031.010s 290164736 true 1.791s 1.046s 152137728 unknown 1.735s 1.094s 167870464
loop-lit/gsv2008_true-unreach-call.c.i true 0.035s 0.053s 40259584 true 3.124s 1.998s 216555520 true 0.187s 0.326s 17362944 true 2.411s 1.429s 211468288 unknown 1.805s 1.130s 169553920
loop-lit/hhk2008_true-unreach-call.c.i true 0.008s 0.022s 1708032 true 1.952s 1.196s 166563840 true 0.038s 0.062s 11997184 true 1.486s 0.862s 144609280 true 1.800s 1.148s 163553280
loop-lit/jm2006_true-unreach-call.c.i true 0.028s 0.030s 40255488 unknown 3.584s 2.121s 210972672 exception (gremlins) 2.906s 2.303s 31821824 true 62.583s 60.047s 335040512 unknown 1.668s 1.044s 168341504
loop-lit/jm2006_variant_true-unreach-call.c.i true 0.030s 0.032s 40370176 true 7.889s 5.878s 367755264 true 16.470s 14.337s 39215104 true 63.188s 29.952s 1848672256 unknown 1.680s 1.062s 166490112
loop-lit/mcmillan2006_true-unreach-call.c.i unknown 0.036s 0.051s 58331136 unknown 2.473s 1.771s 180895744 false(reach) 1.009s 0.851s 18395136 false(reach) 3.198s 1.981s 215351296 unknown 1.977s 1.224s 170328064
loop-new/count_by_1_true-unreach-call.i true 0.031s 0.046s 39981056 true 1.597s 1.034s 159571968 true 0.123s 0.212s 17551360 timeout 900.806s 834.752s 1185267712 true 1.882s 1.138s 170283008
loop-new/count_by_1_variant_true-unreach-call.i true 0.024s 0.032s 39976960 true 1.719s 1.074s 165978112 true 0.115s 0.192s 16338944 segmentation fault 182.618s 266.106s 1796886528 true 1.915s 1.046s 162144256
loop-new/count_by_2_true-unreach-call.i unknown 0.024s 0.102s 39981056 true 1.703s 1.050s 166547456 exception (gremlins) 241.912s 213.852s 151138304 timeout 900.597s 833.829s 1244459008 unknown 1.656s 1.043s 164171776
loop-new/count_by_k_true-unreach-call.i unknown 0.036s 0.046s 40259584 unknown 2.626s 1.821s 210870272 false(reach) 0.062s 0.082s 13864960 timeout 900.551s 859.152s 2776178688 unknown 1.904s 1.314s 169041920
loop-new/count_by_nondet_true-unreach-call.i true 0.024s 0.042s 40116224 timeout 900.872s 898.388s 396410880 timeout 652.362s 1031.007s 315879424 timeout 900.594s 838.789s 1720320000 unknown 1.847s 1.094s 167690240
loop-new/gauss_sum_true-unreach-call.i unknown 0.036s 0.053s 40509440 unknown 3.594s 2.417s 211394560 false(reach) 0.063s 0.086s 14323712 timeout 900.846s 873.671s 814329856 unknown 1.780s 1.140s 170512384
loop-new/half_true-unreach-call.i unknown 0.036s 0.050s 40636416 unknown 4.561s 2.988s 210964480 exception (gremlins) 1.441s 1.178s 20312064 timeout 904.530s 885.888s 879906816 unknown 1.761s 1.123s 169852928
loop-new/nested_true-unreach-call.i unknown 0.088s 0.101s 60035072 unknown 32.645s 30.320s 255963136 false(reach) 0.067s 0.077s 18026496 true 327.741s 315.992s 983928832 unknown 1.918s 1.255s 170156032
../benchmarks/c/ status cputime walltime memUsage status cputime walltime memUsage status cputime walltime memUsage status cputime walltime memUsage status cputime walltime memUsage
total tasks 142 1525.775 1528.459 27558203392 142 6001.902 5841.413 28738715648 142 19166.274 26382.582 12106424320 142 38237.797 36641.386 119810265088 142 274.553 171.981 24098680832
local summary 1007.523 1009.529 3734.429 5017.793 3004.750
    correct results 52 1.659 2.705 2359136256 61 161.737 107.607 11300462592 79 786.477 671.018 1805504512 94 2451.878 2145.697 46545940480 34 68.405 43.012 5779677184
        correct true 52 1.659 2.705 2359136256 61 161.737 107.607 11300462592 45 563.170 481.513 1064968192 58 2084.999 1837.026 30553223168 34 68.405 43.012 5779677184
        correct false 0 - - - 0 - - - 34 223.308 189.505 740536320 36 366.878 308.671 15992717312 0 - - -
    incorrect results 1 0.036 0.052 58204160 1 2.122 1.188 170536960 22 200.488 170.638 498167808 4 55.189 47.064 5579235328 1 1.782 1.142 171421696
        incorrect true 1 0.036 0.052 58204160 1 2.122 1.188 170536960 1 0.231 0.400 16621568 2 6.333 3.557 434110464 1 1.782 1.142 171421696
        incorrect false 0 - - - 0 - - - 21 200.257 170.239 481546240 2 48.856 43.506 5145124864 0 - - -
score (142 tasks, max score: 235) 72 - - - 90 - - - -244 - - - 56 - - - 36 - - -
Run set pagai lpi.lpi blast.blast cpachecker.cpachecker lpi-refinement.lpi-intervals