| Tool |
CPAchecker 1.4-svn |
| Limits |
timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2 |
| Host |
[zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23; zeus24] |
| OS |
Linux 3.13.0-45-generic |
| System |
CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz with 32 cores, frequency: 2.6 GHz; RAM: 135 GB |
| Date of execution |
15-02-20 21:42 |
| Run set |
DOMAIN_BEST_SHALLOW.Loops |
DOMAIN_WORST_SHALLOW.Loops |
LONGEST.Loops |
SHORTEST.Loops |
| Options |
-disable-java-assertions -heap 14000M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=TOP -setprop cpa.value.refiner.prefixPreference=DOMAIN_BEST_SHALLOW |
-disable-java-assertions -heap 14000M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=TOP -setprop cpa.value.refiner.prefixPreference=DOMAIN_WORST_SHALLOW |
-disable-java-assertions -heap 14000M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=TOP -setprop cpa.value.refiner.prefixPreference=LONGEST |
-disable-java-assertions -heap 14000M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=TOP -setprop cpa.value.refiner.prefixPreference=SHORTEST |
| Propertyfile |
${sourcefile_path}/ALL.prp |
| test/programs/ |
status |
cputime |
#refs |
#prefixes |
status |
cputime |
#refs |
#prefixes |
status |
cputime |
#refs |
#prefixes |
status |
cputime |
#refs |
#prefixes |
| loops/array_false-unreach-call.i |
unknown |
3.520s |
1 |
1 |
unknown |
3.755s |
1 |
1 |
unknown |
3.490s |
1 |
1 |
unknown |
3.393s |
1 |
1 |
| loops/bubble_sort_false-unreach-call.i |
false(reach) |
6.367s |
0 |
0 |
false(reach) |
6.294s |
0 |
0 |
false(reach) |
6.301s |
0 |
0 |
false(reach) |
6.450s |
0 |
0 |
| loops/count_up_down_false-unreach-call_true-termination.i |
false(reach) |
3.631s |
0 |
0 |
false(reach) |
3.482s |
0 |
0 |
false(reach) |
3.502s |
0 |
0 |
false(reach) |
3.474s |
0 |
0 |
| loops/eureka_01_false-unreach-call.i |
unknown |
3.582s |
0 |
0 |
unknown |
3.576s |
0 |
0 |
unknown |
3.745s |
0 |
0 |
unknown |
3.884s |
0 |
0 |
| loops/for_bounded_loop1_false-unreach-call_true-termination.i |
false(reach) |
3.537s |
2 |
2 |
false(reach) |
3.571s |
2 |
2 |
false(reach) |
3.924s |
2 |
2 |
false(reach) |
3.724s |
2 |
2 |
| loops/insertion_sort_false-unreach-call.i |
unknown |
3.616s |
0 |
0 |
unknown |
3.244s |
0 |
0 |
unknown |
3.382s |
0 |
0 |
unknown |
3.281s |
0 |
0 |
| loops/invert_string_false-unreach-call.i |
unknown |
3.494s |
0 |
0 |
unknown |
3.501s |
0 |
0 |
unknown |
3.386s |
0 |
0 |
unknown |
3.569s |
0 |
0 |
| loops/linear_search_false-unreach-call.i |
unknown |
3.461s |
0 |
0 |
unknown |
3.444s |
0 |
0 |
unknown |
3.778s |
0 |
0 |
unknown |
3.463s |
0 |
0 |
| loops/ludcmp_false-unreach-call.i |
false(reach) |
183.606s |
2 |
2 |
false(reach) |
181.264s |
2 |
2 |
false(reach) |
177.586s |
2 |
2 |
false(reach) |
180.678s |
2 |
2 |
| loops/matrix_false-unreach-call_true-termination.i |
unknown |
3.671s |
0 |
0 |
unknown |
3.378s |
0 |
0 |
unknown |
3.439s |
0 |
0 |
unknown |
3.204s |
0 |
0 |
| loops/n.c24_false-unreach-call.i |
timeout |
901.417s |
3 |
4 |
timeout |
901.341s |
3 |
4 |
timeout |
901.350s |
3 |
4 |
timeout |
901.440s |
3 |
4 |
| loops/nec11_false-unreach-call.i |
false(reach) |
3.297s |
0 |
0 |
false(reach) |
3.318s |
0 |
0 |
false(reach) |
3.385s |
0 |
0 |
false(reach) |
3.452s |
0 |
0 |
| loops/nec20_false-unreach-call.i |
false(reach) |
3.371s |
1 |
1 |
false(reach) |
3.461s |
1 |
1 |
false(reach) |
3.632s |
1 |
1 |
false(reach) |
3.544s |
1 |
1 |
| loops/s3_false-unreach-call.i |
unknown |
6.303s |
1 |
1 |
unknown |
6.779s |
1 |
1 |
unknown |
6.647s |
1 |
1 |
unknown |
6.176s |
1 |
1 |
| loops/string_false-unreach-call.i |
timeout |
901.533s |
4 |
6 |
timeout |
901.587s |
4 |
6 |
timeout |
901.560s |
3 |
5 |
timeout |
901.530s |
4 |
6 |
| loops/sum01_bug02_false-unreach-call_true-termination.i |
timeout |
901.022s |
2 |
2 |
timeout |
900.984s |
2 |
2 |
timeout |
900.949s |
2 |
2 |
timeout |
900.930s |
2 |
2 |
| loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i |
false(reach) |
4.294s |
3 |
3 |
false(reach) |
4.454s |
3 |
3 |
false(reach) |
4.174s |
3 |
3 |
false(reach) |
4.546s |
3 |
3 |
| loops/sum01_false-unreach-call_true-termination.i |
timeout |
900.853s |
2 |
2 |
timeout |
901.024s |
2 |
2 |
timeout |
901.270s |
2 |
2 |
timeout |
900.870s |
2 |
2 |
| loops/sum03_false-unreach-call_true-termination.i |
false(reach) |
3.966s |
3 |
4 |
false(reach) |
3.972s |
3 |
4 |
false(reach) |
3.980s |
3 |
4 |
false(reach) |
3.892s |
3 |
4 |
| loops/sum04_false-unreach-call_true-termination.i |
false(reach) |
3.368s |
1 |
2 |
false(reach) |
3.813s |
1 |
2 |
false(reach) |
3.854s |
3 |
5 |
false(reach) |
3.597s |
1 |
2 |
| loops/sum_array_false-unreach-call.i |
unknown |
3.355s |
0 |
0 |
unknown |
3.536s |
0 |
0 |
unknown |
3.445s |
0 |
0 |
unknown |
3.851s |
0 |
0 |
| loops/terminator_01_false-unreach-call_false-termination.i |
false(reach) |
3.312s |
0 |
0 |
false(reach) |
3.412s |
0 |
0 |
false(reach) |
3.824s |
0 |
0 |
false(reach) |
3.625s |
0 |
0 |
| loops/terminator_02_false-unreach-call_true-termination.i |
false(reach) |
3.487s |
0 |
0 |
false(reach) |
3.419s |
0 |
0 |
false(reach) |
3.368s |
0 |
0 |
false(reach) |
3.536s |
0 |
0 |
| loops/terminator_03_false-unreach-call_true-termination.i |
unknown |
3.405s |
0 |
0 |
unknown |
3.528s |
0 |
0 |
unknown |
3.396s |
0 |
0 |
unknown |
3.252s |
0 |
0 |
| loops/trex01_false-unreach-call_true-termination.i |
false(reach) |
3.388s |
0 |
0 |
false(reach) |
3.361s |
0 |
0 |
false(reach) |
3.482s |
0 |
0 |
false(reach) |
3.296s |
0 |
0 |
| loops/trex02_false-unreach-call_true-termination.i |
false(reach) |
3.305s |
0 |
0 |
false(reach) |
3.493s |
0 |
0 |
false(reach) |
3.066s |
0 |
0 |
false(reach) |
3.218s |
0 |
0 |
| loops/trex03_false-unreach-call_true-termination.i |
unknown |
3.169s |
0 |
0 |
unknown |
3.354s |
0 |
0 |
unknown |
3.350s |
0 |
0 |
unknown |
3.443s |
0 |
0 |
| loops/verisec_NetBSD-libc__loop_false-unreach-call.i |
false(reach) |
3.459s |
0 |
0 |
false(reach) |
3.226s |
0 |
0 |
false(reach) |
3.338s |
0 |
0 |
false(reach) |
3.446s |
0 |
0 |
| loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call.i |
false(reach) |
3.858s |
2 |
3 |
false(reach) |
4.395s |
2 |
3 |
false(reach) |
3.778s |
1 |
2 |
false(reach) |
3.740s |
2 |
3 |
| loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i |
unknown |
3.819s |
2 |
3 |
unknown |
4.108s |
2 |
3 |
unknown |
3.713s |
1 |
2 |
unknown |
3.566s |
2 |
3 |
| loops/vogal_false-unreach-call.i |
timeout |
901.513s |
2 |
3 |
timeout |
901.627s |
2 |
3 |
false(reach) |
4.962s |
3 |
7 |
timeout |
901.275s |
2 |
3 |
| loops/while_infinite_loop_4_false-unreach-call_true-termination.i |
false(reach) |
3.435s |
0 |
0 |
false(reach) |
3.562s |
0 |
0 |
false(reach) |
3.187s |
0 |
0 |
false(reach) |
3.376s |
0 |
0 |
| loops/array_true-unreach-call.i |
unknown |
3.280s |
1 |
1 |
unknown |
3.675s |
1 |
1 |
unknown |
3.474s |
1 |
1 |
unknown |
3.397s |
1 |
1 |
| loops/bubble_sort_true-unreach-call.i |
true |
2.962s |
- |
- |
true |
3.078s |
- |
- |
true |
3.415s |
- |
- |
true |
3.116s |
- |
- |
| loops/count_up_down_true-unreach-call_true-termination.i |
unknown |
3.327s |
0 |
0 |
unknown |
3.474s |
0 |
0 |
unknown |
3.586s |
0 |
0 |
unknown |
3.413s |
0 |
0 |
| loops/eureka_01_true-unreach-call.i |
true |
8.938s |
8 |
23 |
true |
8.583s |
8 |
23 |
true |
8.833s |
7 |
40 |
true |
8.041s |
8 |
23 |
| loops/eureka_05_true-unreach-call.i |
true |
4.916s |
8 |
14 |
true |
5.013s |
8 |
14 |
true |
4.619s |
8 |
13 |
true |
4.712s |
8 |
14 |
| loops/for_infinite_loop_1_true-unreach-call_false-termination.i |
true |
3.298s |
1 |
1 |
true |
3.159s |
1 |
1 |
true |
3.161s |
1 |
1 |
true |
3.126s |
1 |
1 |
| loops/for_infinite_loop_2_true-unreach-call_false-termination.i |
true |
3.148s |
1 |
1 |
true |
3.205s |
1 |
1 |
true |
3.105s |
1 |
1 |
true |
3.108s |
1 |
1 |
| loops/insertion_sort_true-unreach-call.i |
unknown |
3.265s |
0 |
0 |
unknown |
3.549s |
0 |
0 |
unknown |
3.229s |
0 |
0 |
unknown |
3.458s |
0 |
0 |
| loops/invert_string_true-unreach-call.i |
unknown |
7.278s |
2 |
3 |
unknown |
7.457s |
2 |
3 |
unknown |
7.302s |
2 |
3 |
unknown |
7.089s |
2 |
3 |
| loops/linear_sea.ch_true-unreach-call.i |
unknown |
3.558s |
0 |
0 |
unknown |
3.229s |
0 |
0 |
unknown |
3.317s |
0 |
0 |
unknown |
3.518s |
0 |
0 |
| loops/lu.cmp_true-unreach-call.i |
true |
3.595s |
3 |
5 |
true |
3.869s |
3 |
5 |
true |
6.994s |
2 |
98 |
true |
3.649s |
3 |
5 |
| loops/matrix_true-unreach-call_true-termination.i |
unknown |
3.740s |
2 |
2 |
unknown |
4.008s |
2 |
2 |
unknown |
3.711s |
2 |
2 |
unknown |
3.969s |
2 |
2 |
| loops/n.c11_true-unreach-call.i |
true |
3.365s |
2 |
2 |
true |
3.253s |
2 |
2 |
true |
3.238s |
2 |
2 |
true |
3.183s |
2 |
2 |
| loops/n.c40_true-unreach-call.i |
unknown |
3.449s |
0 |
0 |
unknown |
3.446s |
0 |
0 |
unknown |
3.542s |
0 |
0 |
unknown |
3.404s |
0 |
0 |
| loops/nec40_true-unreach-call.i |
unknown |
3.575s |
0 |
0 |
unknown |
3.427s |
0 |
0 |
unknown |
3.457s |
0 |
0 |
unknown |
3.353s |
0 |
0 |
| loops/string_true-unreach-call.i |
timeout |
901.854s |
3 |
5 |
timeout |
901.660s |
3 |
5 |
timeout |
901.572s |
2 |
6 |
timeout |
901.686s |
3 |
5 |
| loops/sum01_true-unreach-call_true-termination.i |
timeout |
959.219s |
- |
- |
timeout |
959.749s |
- |
- |
timeout |
959.454s |
- |
- |
timeout |
959.409s |
- |
- |
| loops/sum03_true-unreach-call_false-termination.i |
timeout |
901.577s |
2 |
2 |
timeout |
901.528s |
2 |
2 |
timeout |
901.744s |
2 |
2 |
timeout |
901.387s |
2 |
2 |
| loops/sum04_true-unreach-call_true-termination.i |
true |
3.206s |
3 |
4 |
true |
3.240s |
3 |
4 |
true |
3.181s |
3 |
5 |
true |
3.152s |
3 |
4 |
| loops/sum_array_true-unreach-call.i |
unknown |
3.401s |
0 |
0 |
unknown |
3.262s |
0 |
0 |
unknown |
3.427s |
0 |
0 |
unknown |
3.546s |
0 |
0 |
| loops/terminator_02_true-unreach-call_true-termination.i |
unknown |
3.481s |
0 |
0 |
unknown |
3.500s |
0 |
0 |
unknown |
3.474s |
0 |
0 |
unknown |
3.361s |
0 |
0 |
| loops/terminator_03_true-unreach-call_true-termination.i |
unknown |
3.320s |
0 |
0 |
unknown |
3.395s |
0 |
0 |
unknown |
3.306s |
0 |
0 |
unknown |
3.581s |
0 |
0 |
| loops/trex01_true-unreach-call.i |
timeout |
901.399s |
1 |
1 |
timeout |
901.471s |
1 |
1 |
timeout |
901.512s |
1 |
1 |
timeout |
901.554s |
1 |
1 |
| loops/trex02_true-unreach-call_true-termination.i |
unknown |
3.192s |
0 |
0 |
unknown |
3.187s |
0 |
0 |
unknown |
3.327s |
0 |
0 |
unknown |
3.320s |
0 |
0 |
| loops/trex03_true-unreach-call.i |
unknown |
3.381s |
0 |
0 |
unknown |
3.299s |
0 |
0 |
unknown |
3.914s |
0 |
0 |
unknown |
3.366s |
0 |
0 |
| loops/trex04_true-unreach-call_false-termination.i |
unknown |
3.649s |
0 |
0 |
unknown |
3.659s |
0 |
0 |
unknown |
3.537s |
0 |
0 |
unknown |
3.423s |
0 |
0 |
| loops/veris.c_NetBSD-libc__loop_true-unreach-call.i |
unknown |
3.493s |
0 |
0 |
unknown |
3.248s |
0 |
0 |
unknown |
3.387s |
0 |
0 |
unknown |
3.223s |
0 |
0 |
| loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call.i |
true |
3.214s |
- |
- |
true |
3.143s |
- |
- |
true |
3.283s |
- |
- |
true |
3.101s |
- |
- |
| loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call.i |
unknown |
3.464s |
1 |
1 |
unknown |
3.450s |
1 |
1 |
unknown |
3.497s |
1 |
1 |
unknown |
3.376s |
1 |
1 |
| loops/vogal_true-unreach-call.i |
timeout |
901.568s |
2 |
3 |
timeout |
901.665s |
2 |
3 |
unknown |
53.347s |
7 |
11 |
timeout |
901.659s |
2 |
3 |
| loops/while_infinite_loop_1_true-unreach-call_false-termination.i |
true |
3.158s |
1 |
1 |
true |
3.088s |
1 |
1 |
true |
3.244s |
1 |
1 |
true |
3.118s |
1 |
1 |
| loops/while_infinite_loop_2_true-unreach-call_false-termination.i |
true |
2.980s |
1 |
1 |
true |
3.147s |
1 |
1 |
true |
2.932s |
1 |
1 |
true |
2.973s |
1 |
1 |
| loops/while_infinite_loop_3_true-unreach-call_false-termination.i |
true |
3.150s |
1 |
1 |
true |
3.246s |
1 |
1 |
true |
3.052s |
1 |
1 |
true |
3.192s |
1 |
1 |
| loop-acceleration/array_false-unreach-call1.i |
false(reach) |
19.586s |
1 |
1 |
false(reach) |
19.416s |
1 |
1 |
false(reach) |
19.493s |
1 |
1 |
false(reach) |
19.426s |
1 |
1 |
| loop-acceleration/array_false-unreach-call2.i |
false(reach) |
61.195s |
1 |
1 |
false(reach) |
58.854s |
1 |
1 |
false(reach) |
60.741s |
1 |
1 |
false(reach) |
59.921s |
1 |
1 |
| loop-acceleration/array_false-unreach-call3.i |
false(reach) |
15.293s |
1 |
1 |
false(reach) |
14.888s |
1 |
1 |
false(reach) |
15.140s |
1 |
1 |
false(reach) |
15.845s |
1 |
1 |
| loop-acceleration/const_false-unreach-call1.i |
false(reach) |
11.165s |
2 |
3 |
false(reach) |
10.932s |
1 |
2 |
false(reach) |
10.876s |
2 |
3 |
false(reach) |
10.583s |
1 |
2 |
| loop-acceleration/diamond_false-unreach-call1.i |
false(reach) |
4.706s |
1 |
1 |
false(reach) |
4.630s |
1 |
1 |
false(reach) |
4.649s |
1 |
1 |
false(reach) |
4.656s |
1 |
1 |
| loop-acceleration/functions_false-unreach-call1.i |
timeout |
901.608s |
2 |
2 |
timeout |
901.862s |
2 |
2 |
timeout |
901.715s |
2 |
2 |
timeout |
901.835s |
2 |
2 |
| loop-acceleration/multivar_false-unreach-call1.i |
false(reach) |
3.396s |
0 |
0 |
false(reach) |
3.163s |
0 |
0 |
false(reach) |
3.373s |
0 |
0 |
false(reach) |
3.412s |
0 |
0 |
| loop-acceleration/nested_false-unreach-call1.i |
timeout |
901.414s |
1 |
2 |
timeout |
901.548s |
1 |
2 |
timeout |
901.605s |
1 |
2 |
timeout |
901.396s |
1 |
2 |
| loop-acceleration/phases_false-unreach-call1.i |
timeout |
901.430s |
1 |
2 |
timeout |
901.563s |
1 |
2 |
timeout |
901.486s |
1 |
2 |
timeout |
901.388s |
1 |
2 |
| loop-acceleration/phases_false-unreach-call2.i |
false(reach) |
3.208s |
0 |
0 |
false(reach) |
3.145s |
0 |
0 |
false(reach) |
3.538s |
0 |
0 |
false(reach) |
3.253s |
0 |
0 |
| loop-acceleration/simple_false-unreach-call1.i |
timeout |
901.458s |
1 |
1 |
timeout |
901.383s |
1 |
1 |
timeout |
901.244s |
1 |
1 |
timeout |
901.344s |
1 |
1 |
| loop-acceleration/simple_false-unreach-call2.i |
false(reach) |
3.461s |
0 |
0 |
false(reach) |
3.437s |
0 |
0 |
false(reach) |
3.260s |
0 |
0 |
false(reach) |
3.232s |
0 |
0 |
| loop-acceleration/simple_false-unreach-call3.i |
false(reach) |
3.654s |
0 |
0 |
false(reach) |
3.533s |
0 |
0 |
false(reach) |
3.379s |
0 |
0 |
false(reach) |
3.510s |
0 |
0 |
| loop-acceleration/simple_false-unreach-call4.i |
timeout |
901.446s |
1 |
1 |
timeout |
901.498s |
1 |
1 |
timeout |
901.539s |
1 |
1 |
timeout |
901.390s |
1 |
1 |
| loop-acceleration/underapprox_false-unreach-call1.i |
false(reach) |
3.497s |
1 |
2 |
false(reach) |
3.349s |
1 |
2 |
false(reach) |
3.533s |
1 |
2 |
false(reach) |
3.285s |
1 |
2 |
| loop-acceleration/underapprox_false-unreach-call2.i |
false(reach) |
3.450s |
1 |
2 |
false(reach) |
3.247s |
1 |
2 |
false(reach) |
3.294s |
1 |
2 |
false(reach) |
3.529s |
1 |
2 |
| loop-acceleration/array_true-unreach-call1.i |
true |
13.847s |
2 |
2 |
true |
14.141s |
2 |
2 |
true |
13.181s |
2 |
2 |
true |
12.871s |
2 |
2 |
| loop-acceleration/array_true-unreach-call2.i |
false(reach) |
57.082s |
1 |
1 |
false(reach) |
58.717s |
1 |
1 |
false(reach) |
59.874s |
1 |
1 |
false(reach) |
58.631s |
1 |
1 |
| loop-acceleration/array_true-unreach-call3.i |
true |
8.352s |
1 |
1 |
true |
8.397s |
1 |
1 |
true |
8.704s |
1 |
1 |
true |
8.682s |
1 |
1 |
| loop-acceleration/array_true-unreach-call4.i |
true |
17.646s |
2 |
2 |
true |
17.470s |
2 |
2 |
true |
16.472s |
2 |
2 |
true |
16.681s |
2 |
2 |
| loop-acceleration/const_true-unreach-call1.i |
true |
10.964s |
2 |
2 |
true |
10.216s |
2 |
2 |
true |
9.974s |
2 |
2 |
true |
10.862s |
2 |
2 |
| loop-acceleration/diamond_true-unreach-call1.i |
unknown |
4.986s |
1 |
1 |
unknown |
5.290s |
1 |
1 |
unknown |
5.190s |
1 |
1 |
unknown |
5.136s |
1 |
1 |
| loop-acceleration/diamond_true-unreach-call2.i |
unknown |
13.044s |
1 |
1 |
unknown |
13.034s |
1 |
1 |
unknown |
12.754s |
1 |
1 |
unknown |
12.729s |
1 |
1 |
| loop-acceleration/functions_true-unreach-call1.i |
timeout |
901.717s |
2 |
4 |
timeout |
901.742s |
2 |
4 |
timeout |
901.709s |
2 |
4 |
timeout |
901.900s |
2 |
4 |
| loop-acceleration/multivar_true-unreach-call1.i |
unknown |
3.503s |
0 |
0 |
unknown |
3.181s |
0 |
0 |
unknown |
3.363s |
0 |
0 |
unknown |
3.382s |
0 |
0 |
| loop-acceleration/nested_true-unreach-call1.i |
timeout |
901.393s |
1 |
1 |
timeout |
901.541s |
1 |
1 |
timeout |
901.531s |
1 |
1 |
timeout |
901.409s |
1 |
1 |
| loop-acceleration/overflow_true-unreach-call1.i |
timeout |
901.433s |
1 |
2 |
timeout |
901.381s |
1 |
2 |
timeout |
901.380s |
1 |
2 |
timeout |
901.440s |
1 |
2 |
| loop-acceleration/phases_true-unreach-call1.i |
timeout |
901.508s |
1 |
2 |
timeout |
901.357s |
1 |
2 |
timeout |
901.551s |
1 |
2 |
timeout |
901.451s |
1 |
2 |
| loop-acceleration/phases_true-unreach-call2.i |
unknown |
3.577s |
0 |
0 |
unknown |
3.289s |
0 |
0 |
unknown |
3.515s |
0 |
0 |
unknown |
3.223s |
0 |
0 |
| loop-acceleration/simple_true-unreach-call1.i |
timeout |
901.200s |
1 |
2 |
timeout |
901.425s |
1 |
2 |
timeout |
901.590s |
1 |
2 |
timeout |
901.247s |
1 |
2 |
| loop-acceleration/simple_true-unreach-call2.i |
unknown |
3.454s |
0 |
0 |
unknown |
3.315s |
0 |
0 |
unknown |
3.482s |
0 |
0 |
unknown |
3.599s |
0 |
0 |
| loop-acceleration/simple_true-unreach-call3.i |
timeout |
901.349s |
1 |
1 |
timeout |
901.619s |
1 |
1 |
timeout |
901.781s |
1 |
1 |
timeout |
901.762s |
1 |
1 |
| loop-acceleration/simple_true-unreach-call4.i |
timeout |
901.335s |
1 |
2 |
timeout |
901.410s |
1 |
2 |
timeout |
901.224s |
1 |
2 |
timeout |
901.363s |
1 |
2 |
| loop-acceleration/underapprox_true-unreach-call1.i |
true |
4.033s |
2 |
28 |
true |
3.277s |
2 |
3 |
true |
3.558s |
2 |
28 |
true |
3.209s |
2 |
3 |
| loop-acceleration/underapprox_true-unreach-call2.i |
true |
3.069s |
2 |
2 |
true |
3.163s |
2 |
2 |
true |
3.018s |
2 |
2 |
true |
3.465s |
2 |
2 |
| loop-invgen/id_trans_false-unreach-call.i |
false(reach) |
3.772s |
1 |
1 |
false(reach) |
3.508s |
1 |
1 |
false(reach) |
3.813s |
1 |
1 |
false(reach) |
3.521s |
1 |
1 |
| loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call.i |
unknown |
3.386s |
0 |
0 |
unknown |
3.555s |
0 |
0 |
unknown |
3.779s |
0 |
0 |
unknown |
3.531s |
0 |
0 |
| loop-invgen/NetBSD_loop_true-unreach-call.i |
timeout |
900.852s |
1 |
1 |
timeout |
959.588s |
- |
- |
timeout |
959.478s |
- |
- |
timeout |
900.680s |
1 |
1 |
| loop-invgen/SpamAssassin-loop_true-unreach-call.i |
timeout |
900.440s |
2 |
2 |
timeout |
900.249s |
2 |
2 |
timeout |
900.238s |
2 |
2 |
timeout |
900.355s |
2 |
2 |
| loop-invgen/apache-escape-absolute_true-unreach-call.i |
timeout |
901.116s |
1 |
1 |
timeout |
901.346s |
1 |
1 |
timeout |
901.437s |
1 |
1 |
timeout |
901.630s |
1 |
1 |
| loop-invgen/apache-get-tag_true-unreach-call.i |
timeout |
900.706s |
2 |
2 |
timeout |
959.651s |
- |
- |
timeout |
959.797s |
- |
- |
timeout |
959.265s |
- |
- |
| loop-invgen/down_true-unreach-call.i |
unknown |
3.296s |
0 |
0 |
unknown |
3.419s |
0 |
0 |
unknown |
3.208s |
0 |
0 |
unknown |
3.318s |
0 |
0 |
| loop-invgen/fragtest_simple_true-unreach-call.i |
timeout |
901.790s |
1 |
1 |
timeout |
901.497s |
1 |
1 |
timeout |
901.537s |
1 |
1 |
timeout |
901.602s |
1 |
1 |
| loop-invgen/half_2_true-unreach-call.i |
unknown |
3.388s |
0 |
0 |
unknown |
3.490s |
0 |
0 |
unknown |
3.417s |
0 |
0 |
unknown |
3.537s |
0 |
0 |
| loop-invgen/heapsort_true-unreach-call.i |
unknown |
5.990s |
1 |
1 |
unknown |
5.931s |
1 |
1 |
unknown |
6.135s |
1 |
1 |
unknown |
5.946s |
1 |
1 |
| loop-invgen/id_build_true-unreach-call.i |
unknown |
3.558s |
0 |
0 |
unknown |
3.496s |
0 |
0 |
unknown |
3.674s |
0 |
0 |
unknown |
3.504s |
0 |
0 |
| loop-invgen/large_const_true-unreach-call.i |
unknown |
3.550s |
1 |
1 |
unknown |
3.620s |
1 |
1 |
unknown |
3.568s |
1 |
1 |
unknown |
3.606s |
1 |
1 |
| loop-invgen/nest-if3_true-unreach-call.i |
unknown |
3.614s |
0 |
0 |
unknown |
3.632s |
0 |
0 |
unknown |
3.234s |
0 |
0 |
unknown |
3.377s |
0 |
0 |
| loop-invgen/nested6_true-unreach-call.i |
timeout |
901.471s |
1 |
1 |
timeout |
901.511s |
1 |
1 |
timeout |
901.470s |
1 |
1 |
timeout |
901.136s |
1 |
1 |
| loop-invgen/nested9_true-unreach-call.i |
timeout |
901.563s |
2 |
5 |
timeout |
901.453s |
1 |
3 |
timeout |
959.318s |
- |
- |
timeout |
901.404s |
2 |
5 |
| loop-invgen/sendmail-close-angle_true-unreach-call.i |
timeout |
959.684s |
- |
- |
timeout |
941.603s |
2 |
2 |
timeout |
959.439s |
- |
- |
timeout |
959.411s |
- |
- |
| loop-invgen/seq_true-unreach-call.i |
unknown |
3.602s |
2 |
3 |
unknown |
3.550s |
2 |
3 |
unknown |
3.523s |
2 |
3 |
unknown |
3.458s |
2 |
3 |
| loop-invgen/string_concat-noarr_true-unreach-call.i |
timeout |
901.522s |
1 |
1 |
timeout |
901.428s |
1 |
1 |
timeout |
901.110s |
1 |
1 |
timeout |
901.691s |
1 |
1 |
| loop-invgen/up_true-unreach-call.i |
unknown |
3.517s |
0 |
0 |
unknown |
3.320s |
0 |
0 |
unknown |
3.443s |
0 |
0 |
unknown |
3.439s |
0 |
0 |
| loop-lit/afnp2014_true-unreach-call.c.i |
true |
13.616s |
2 |
3 |
true |
14.352s |
2 |
3 |
true |
9.272s |
1 |
2 |
true |
13.187s |
2 |
3 |
| loop-lit/bhmr2007_true-unreach-call.c.i |
true |
3.115s |
- |
- |
true |
3.038s |
- |
- |
true |
3.069s |
- |
- |
true |
3.280s |
- |
- |
| loop-lit/cggmp2005_true-unreach-call.c.i |
true |
3.044s |
2 |
2 |
true |
3.280s |
2 |
2 |
true |
3.047s |
2 |
2 |
true |
3.140s |
2 |
2 |
| loop-lit/cggmp2005_variant_true-unreach-call.c.i |
unknown |
3.222s |
0 |
0 |
unknown |
3.293s |
0 |
0 |
unknown |
3.343s |
0 |
0 |
unknown |
3.489s |
0 |
0 |
| loop-lit/cggmp2005b_true-unreach-call.c.i |
true |
7.111s |
3 |
104 |
true |
6.764s |
2 |
103 |
true |
5.950s |
2 |
103 |
true |
6.487s |
3 |
104 |
| loop-lit/css2003_true-unreach-call.c.i |
unknown |
3.229s |
1 |
1 |
unknown |
3.431s |
1 |
1 |
unknown |
3.569s |
1 |
1 |
unknown |
3.600s |
1 |
1 |
| loop-lit/ddlm2013_true-unreach-call.c.i |
timeout |
901.577s |
1 |
1 |
timeout |
901.450s |
1 |
1 |
timeout |
901.518s |
1 |
1 |
timeout |
901.396s |
1 |
1 |
| loop-lit/gj2007_true-unreach-call.c.i |
true |
4.490s |
2 |
2 |
true |
4.368s |
2 |
2 |
true |
4.619s |
2 |
2 |
true |
4.484s |
2 |
2 |
| loop-lit/gj2007b_true-unreach-call.c.i |
timeout |
900.535s |
3 |
3 |
timeout |
900.283s |
3 |
3 |
timeout |
900.644s |
3 |
3 |
timeout |
900.307s |
3 |
3 |
| loop-lit/gr2006_true-unreach-call.c.i |
timeout |
901.611s |
1 |
1 |
timeout |
901.610s |
1 |
1 |
timeout |
901.541s |
1 |
1 |
timeout |
901.388s |
1 |
1 |
| loop-lit/gsv2008_true-unreach-call.c.i |
unknown |
3.739s |
2 |
3 |
unknown |
3.266s |
2 |
3 |
unknown |
3.415s |
2 |
3 |
unknown |
3.686s |
2 |
3 |
| loop-lit/hhk2008_true-unreach-call.c.i |
true |
3.274s |
- |
- |
true |
3.377s |
- |
- |
true |
3.040s |
- |
- |
true |
3.214s |
- |
- |
| loop-lit/jm2006_true-unreach-call.c.i |
unknown |
3.341s |
0 |
0 |
unknown |
3.358s |
0 |
0 |
unknown |
3.252s |
0 |
0 |
unknown |
3.240s |
0 |
0 |
| loop-lit/jm2006_variant_true-unreach-call.c.i |
unknown |
3.318s |
0 |
0 |
unknown |
3.456s |
0 |
0 |
unknown |
3.306s |
0 |
0 |
unknown |
3.392s |
0 |
0 |
| loop-lit/mcmillan2006_true-unreach-call.c.i |
unknown |
3.575s |
1 |
1 |
unknown |
3.444s |
1 |
1 |
unknown |
3.346s |
1 |
1 |
unknown |
3.213s |
1 |
1 |
| loop-new/count_by_1_true-unreach-call.i |
timeout |
901.334s |
1 |
1 |
timeout |
901.535s |
1 |
1 |
timeout |
901.465s |
1 |
1 |
timeout |
901.396s |
1 |
1 |
| loop-new/count_by_1_variant_true-unreach-call.i |
timeout |
901.222s |
1 |
1 |
timeout |
901.637s |
1 |
1 |
timeout |
901.240s |
1 |
1 |
timeout |
901.851s |
1 |
1 |
| loop-new/count_by_2_true-unreach-call.i |
timeout |
901.380s |
1 |
1 |
timeout |
901.483s |
1 |
1 |
timeout |
901.472s |
1 |
1 |
timeout |
901.460s |
1 |
1 |
| loop-new/count_by_k_true-unreach-call.i |
unknown |
3.412s |
1 |
1 |
unknown |
3.265s |
1 |
1 |
unknown |
3.434s |
1 |
1 |
unknown |
3.259s |
1 |
1 |
| loop-new/count_by_nondet_true-unreach-call.i |
timeout |
901.713s |
3 |
5 |
timeout |
901.203s |
1 |
2 |
timeout |
901.662s |
1 |
2 |
timeout |
901.256s |
3 |
5 |
| loop-new/gauss_sum_true-unreach-call.i |
unknown |
3.355s |
1 |
1 |
unknown |
3.316s |
1 |
1 |
unknown |
3.310s |
1 |
1 |
unknown |
3.588s |
1 |
1 |
| loop-new/half_true-unreach-call.i |
unknown |
3.518s |
0 |
0 |
unknown |
3.360s |
0 |
0 |
unknown |
3.285s |
0 |
0 |
unknown |
3.589s |
0 |
0 |
| loop-new/nested_true-unreach-call.i |
unknown |
3.348s |
2 |
3 |
unknown |
3.526s |
2 |
3 |
unknown |
3.537s |
2 |
3 |
unknown |
3.304s |
2 |
3 |