| Tool | CPAchecker 1.1-svn | ||||||||
| Limits | timelimit: 300 s, memlimit: 15000 MB | ||||||||
| Host | trinidad | bonaire | |||||||
| OS | Linux 3.2.0-30-generic x86_64 | ||||||||
| System | CPU: Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz with 4 cores, frequency: 3401 MHz; RAM: 16313212 kB | CPU: Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz with 4 cores, frequency: 3401 MHz; RAM: 16391032 kB | |||||||
| Date of execution | 12-09-18 16:24 | 12-09-19 08:47 | 12-09-20 16:54 | ||||||
| Run set | PredicateAnalysis | ImpactAnalysis | FsmBddAnalysis | ||||||
| Options | -noout -predicateAnalysis -heap 10000M |
-noout -predicateAnalysis-ImpactRefiner-ABEl -heap 10000M |
-noout -fsmBddAnalysis -setprop specification= -heap 13000M |
||||||
| test/programs/eca/ | status | cputime | reached | status | cputime | reached | status | cputime | reached |
| Problem1_00_safe.c | safe | 6.80 | 0.051s | safe | 5.48 | 0.030s | safe | 5.39 | 0.016s |
| Problem1_01_safe.c | safe | 6.48 | 0.054s | safe | 5.48 | 0.041s | safe | 5.44 | 0.014s |
| Problem1_02_safe.c | safe | 6.14 | 0.050s | safe | 5.58 | 0.037s | safe | 5.70 | 0.014s |
| Problem1_03_safe.c | safe | 7.53 | 0.054s | safe | 5.54 | 0.039s | safe | 5.46 | 0.016s |
| Problem1_04_safe.c | safe | 6.49 | 0.043s | safe | 5.51 | 0.037s | safe | 5.52 | 0.014s |
| Problem1_05_safe.c | safe | 6.24 | 0.043s | safe | 5.92 | 0.038s | safe | 5.53 | 0.020s |
| Problem1_06_safe.c | safe | 6.78 | 0.055s | safe | 5.66 | 0.036s | safe | 5.52 | 0.014s |
| Problem1_07_safe.c | safe | 6.57 | 0.044s | safe | 6.01 | 0.049s | safe | 5.45 | 0.017s |
| Problem1_08_safe.c | safe | 7.51 | 0.068s | safe | 5.56 | 0.040s | safe | 5.45 | 0.014s |
| Problem1_09_safe.c | safe | 7.52 | 0.058s | safe | 5.51 | 0.050s | safe | 5.46 | 0.014s |
| Problem1_10_safe.c | safe | 6.64 | 0.059s | safe | 6.08 | 0.041s | safe | 5.42 | 0.011s |
| Problem1_11_safe.c | safe | 6.26 | 0.048s | safe | 5.52 | 0.039s | safe | 5.58 | 0.020s |
| Problem1_12_safe.c | safe | 6.71 | 0.041s | safe | 6.17 | 0.043s | safe | 5.75 | 0.017s |
| Problem1_13_safe.c | safe | 6.72 | 0.039s | safe | 5.11 | 0.043s | safe | 5.44 | 0.014s |
| Problem1_14_safe.c | safe | 6.47 | 0.043s | safe | 5.67 | 0.032s | safe | 5.48 | 0.013s |
| Problem1_15_unsafe.c | unsafe | 7.38 | 0.054s | unsafe | 5.99 | 0.048s | unsafe | 4.37 | 0.014s |
| Problem1_16_safe.c | safe | 6.98 | 0.060s | safe | 6.40 | 0.045s | safe | 5.47 | 0.016s |
| Problem1_17_safe.c | safe | 6.32 | 0.061s | safe | 5.56 | 0.032s | safe | 5.43 | 0.021s |
| Problem1_18_safe.c | safe | 6.56 | 0.045s | safe | 5.07 | 0.040s | safe | 5.48 | 0.017s |
| Problem1_19_safe.c | safe | 6.48 | 0.049s | safe | 5.46 | 0.035s | safe | 5.52 | 0.017s |
| Problem1_20_unsafe.c | unsafe | 8.57 | 0.061s | unsafe | 7.16 | 0.031s | unsafe | 5.32 | 0.016s |
| Problem1_21_unsafe.c | unsafe | 6.74 | 0.048s | unsafe | 6.01 | 0.044s | unsafe | 4.40 | 0.015s |
| Problem1_22_safe.c | safe | 6.87 | 0.042s | safe | 5.98 | 0.053s | safe | 5.43 | 0.014s |
| Problem1_23_safe.c | safe | 6.26 | 0.044s | safe | 5.47 | 0.034s | safe | 5.42 | 0.011s |
| Problem1_24_safe.c | safe | 6.50 | 0.046s | safe | 5.50 | 0.031s | safe | 5.46 | 0.013s |
| Problem1_25_safe.c | safe | 6.46 | 0.060s | safe | 5.49 | 0.027s | safe | 5.43 | 0.013s |
| Problem1_26_safe.c | safe | 6.28 | 0.055s | safe | 5.04 | 0.040s | safe | 5.46 | 0.012s |
| Problem1_27_safe.c | safe | 7.08 | 0.051s | safe | 4.78 | 0.049s | safe | 5.43 | 0.016s |
| Problem1_28_safe.c | safe | 6.32 | 0.041s | safe | 5.50 | 0.034s | safe | 5.51 | 0.021s |
| Problem1_29_safe.c | safe | 6.30 | 0.052s | safe | 5.54 | 0.040s | safe | 5.48 | 0.006s |
| Problem1_30_safe.c | safe | 6.78 | 0.053s | safe | 5.51 | 0.041s | safe | 5.42 | 0.020s |
| Problem1_31_safe.c | safe | 6.43 | 0.043s | safe | 5.91 | 0.044s | safe | 5.53 | 0.017s |
| Problem1_32_unsafe.c | unsafe | 8.43 | 0.062s | unsafe | 7.05 | 0.042s | unsafe | 5.26 | 0.017s |
| Problem1_33_unsafe.c | unsafe | 7.90 | 0.054s | unsafe | 6.49 | 0.048s | unsafe | 4.72 | 0.011s |
| Problem1_34_safe.c | safe | 6.55 | 0.043s | safe | 6.06 | 0.035s | safe | 5.50 | 0.012s |
| Problem1_35_unsafe.c | unsafe | 7.34 | 0.052s | unsafe | 5.96 | 0.045s | unsafe | 4.39 | 0.014s |
| Problem1_36_safe.c | safe | 6.32 | 0.026s | safe | 5.09 | 0.029s | safe | 5.42 | 0.021s |
| Problem1_37_unsafe.c | unsafe | 7.70 | 0.059s | unsafe | 6.60 | 0.034s | unsafe | 4.69 | 0.022s |
| Problem1_38_unsafe.c | unsafe | 7.39 | 0.064s | unsafe | 6.00 | 0.045s | unsafe | 4.42 | 0.013s |
| Problem1_39_safe.c | safe | 6.78 | 0.049s | safe | 6.05 | 0.036s | safe | 5.43 | 0.013s |
| Problem1_40_safe.c | safe | 6.47 | 0.041s | safe | 5.99 | 0.045s | safe | 5.49 | 0.015s |
| Problem1_41_safe.c | safe | 6.16 | 0.054s | safe | 5.80 | 0.034s | safe | 5.48 | 0.018s |
| Problem1_42_safe.c | safe | 6.32 | 0.043s | safe | 5.97 | 0.028s | safe | 5.41 | 0.019s |
| Problem1_43_safe.c | safe | 7.22 | 0.055s | safe | 5.91 | 0.038s | safe | 5.41 | 0.017s |
| Problem1_44_unsafe.c | unsafe | 6.24 | 0.029s | unsafe | 5.26 | 0.054s | unsafe | 4.25 | 0.020s |
| Problem1_45_safe.c | safe | 6.60 | 0.070s | safe | 6.06 | 0.037s | safe | 5.47 | 0.022s |
| Problem1_46_safe.c | safe | 6.62 | 0.038s | safe | 6.54 | 0.039s | safe | 5.57 | 0.018s |
| Problem1_47_unsafe.c | unsafe | 7.99 | 0.056s | unsafe | 7.12 | 0.036s | unsafe | 5.30 | 0.017s |
| Problem1_48_safe.c | safe | 6.60 | 0.054s | safe | 5.58 | 0.035s | safe | 5.45 | 0.018s |
| Problem1_49_safe.c | safe | 7.29 | 0.063s | safe | 6.98 | 0.050s | safe | 5.41 | 0.016s |
| Problem1_50_unsafe.c | unsafe | 7.36 | 0.055s | unsafe | 5.99 | 0.032s | unsafe | 4.34 | 0.013s |
| Problem1_51_safe.c | safe | 6.57 | 0.036s | safe | 6.06 | 0.033s | safe | 5.50 | 0.010s |
| Problem1_52_safe.c | safe | 6.82 | 0.048s | safe | 6.52 | 0.037s | safe | 5.47 | 0.014s |
| Problem1_53_safe.c | safe | 6.30 | 0.054s | safe | 5.99 | 0.039s | safe | 5.52 | 0.017s |
| Problem1_54_safe.c | safe | 6.54 | 0.042s | safe | 6.00 | 0.036s | safe | 5.69 | 0.016s |
| Problem1_55_safe.c | safe | 6.96 | 0.071s | safe | 6.08 | 0.038s | safe | 5.56 | 0.017s |
| Problem1_56_unsafe.c | unsafe | 8.46 | 0.068s | unsafe | 6.51 | 0.033s | unsafe | 4.68 | 0.018s |
| Problem1_57_unsafe.c | unsafe | 7.90 | 0.047s | unsafe | 6.51 | 0.045s | unsafe | 4.63 | 0.012s |
| Problem1_58_safe.c | safe | 6.65 | 0.056s | safe | 6.39 | 0.044s | safe | 5.44 | 0.014s |
| Problem1_59_safe.c | safe | 7.16 | 0.060s | safe | 5.48 | 0.035s | safe | 5.50 | 0.012s |
| Problem1_60_unsafe.c | unsafe | 4.02 | 0.029s | unsafe | 3.73 | 0.025s | unsafe | 3.86 | 0.011s |
| Problem2_00_safe.c | safe | 5.86 | 0.048s | safe | 5.30 | 0.035s | safe | 4.51 | 0.010s |
| Problem2_01_safe.c | safe | 5.76 | 0.046s | safe | 5.43 | 0.047s | safe | 4.52 | 0.019s |
| Problem2_02_safe.c | safe | 5.80 | 0.033s | safe | 7.30 | 0.044s | safe | 4.52 | 0.012s |
| Problem2_03_safe.c | safe | 5.84 | 0.043s | safe | 4.88 | 0.046s | safe | 4.46 | 0.015s |
| Problem2_04_safe.c | safe | 6.20 | 0.047s | safe | 5.36 | 0.043s | safe | 4.41 | 0.011s |
| Problem2_05_safe.c | safe | 6.18 | 0.046s | safe | 5.44 | 0.037s | safe | 4.48 | 0.012s |
| Problem2_06_safe.c | safe | 6.46 | 0.049s | safe | 15.26 | 0.058s | safe | 4.61 | 0.011s |
| Problem2_07_safe.c | safe | 6.08 | 0.053s | safe | 5.46 | 0.045s | safe | 4.54 | 0.005s |
| Problem2_08_safe.c | safe | 6.28 | 0.044s | safe | 7.04 | 0.033s | safe | 4.45 | 0.013s |
| Problem2_09_safe.c | safe | 5.75 | 0.036s | safe | 6.34 | 0.040s | safe | 4.50 | 0.010s |
| Problem2_10_safe.c | safe | 6.23 | 0.050s | safe | 5.89 | 0.039s | safe | 4.44 | 0.013s |
| Problem2_11_safe.c | safe | 5.62 | 0.038s | safe | 5.39 | 0.029s | safe | 4.52 | 0.010s |
| Problem2_12_safe.c | safe | 5.88 | 0.040s | safe | 5.94 | 0.039s | safe | 4.50 | 0.011s |
| Problem2_13_unsafe.c | unsafe | 5.69 | 0.041s | unsafe | 4.19 | 0.033s | unsafe | 4.05 | 0.014s |
| Problem2_14_safe.c | safe | 6.36 | 0.070s | safe | 5.87 | 0.038s | safe | 4.44 | 0.011s |
| Problem2_15_safe.c | safe | 6.16 | 0.050s | safe | 5.40 | 0.037s | safe | 4.52 | 0.015s |
| Problem2_16_unsafe.c | unsafe | 5.66 | 0.031s | unsafe | 4.20 | 0.027s | unsafe | 4.07 | 0.015s |
| Problem2_17_safe.c | safe | 6.16 | 0.043s | safe | 5.48 | 0.036s | safe | 4.44 | 0.010s |
| Problem2_18_safe.c | safe | 5.92 | 0.038s | safe | 5.36 | 0.050s | safe | 4.65 | 0.010s |
| Problem2_19_safe.c | safe | 5.81 | 0.054s | safe | 5.62 | 0.038s | safe | 4.44 | 0.017s |
| Problem2_20_safe.c | safe | 5.78 | 0.047s | safe | 4.61 | 0.032s | safe | 4.45 | 0.017s |
| Problem2_21_safe.c | safe | 5.88 | 0.043s | safe | 5.74 | 0.043s | safe | 4.42 | 0.013s |
| Problem2_22_safe.c | safe | 6.59 | 0.054s | safe | 7.25 | 0.038s | safe | 4.45 | 0.014s |
| Problem2_23_safe.c | safe | 6.02 | 0.045s | safe | 5.86 | 0.047s | safe | 4.44 | 0.010s |
| Problem2_24_safe.c | safe | 6.44 | 0.062s | safe | 5.38 | 0.038s | safe | 4.50 | 0.014s |
| Problem2_25_safe.c | safe | 5.97 | 0.042s | safe | 5.95 | 0.035s | safe | 4.42 | 0.008s |
| Problem2_26_safe.c | safe | 6.30 | 0.054s | safe | 5.39 | 0.045s | safe | 4.45 | 0.009s |
| Problem2_27_safe.c | safe | 6.19 | 0.056s | safe | 6.40 | 0.049s | safe | 4.70 | 0.007s |
| Problem2_28_safe.c | safe | 5.97 | 0.042s | safe | 6.39 | 0.034s | safe | 4.44 | 0.013s |
| Problem2_29_safe.c | safe | 5.92 | 0.039s | safe | 5.32 | 0.040s | safe | 4.63 | 0.014s |
| Problem2_30_safe.c | safe | 6.23 | 0.054s | safe | 5.45 | 0.041s | safe | 4.47 | 0.015s |
| Problem2_31_safe.c | safe | 5.90 | 0.037s | safe | 5.36 | 0.052s | safe | 4.44 | 0.015s |
| Problem2_32_safe.c | safe | 5.85 | 0.037s | safe | 5.32 | 0.030s | safe | 4.44 | 0.022s |
| Problem2_33_safe.c | safe | 6.40 | 0.044s | safe | 5.42 | 0.033s | safe | 4.56 | 0.018s |
| Problem2_34_safe.c | safe | 6.31 | 0.053s | safe | 7.78 | 0.055s | safe | 4.41 | 0.017s |
| Problem2_35_safe.c | safe | 5.82 | 0.064s | safe | 6.20 | 0.038s | safe | 4.46 | 0.016s |
| Problem2_36_safe.c | safe | 6.20 | 0.054s | safe | 5.98 | 0.034s | safe | 4.53 | 0.017s |
| Problem2_37_safe.c | safe | 5.89 | 0.051s | safe | 5.96 | 0.045s | safe | 4.13 | 0.019s |
| Problem2_38_safe.c | safe | 5.95 | 0.048s | safe | 5.82 | 0.045s | safe | 4.42 | 0.011s |
| Problem2_39_safe.c | safe | 6.26 | 0.057s | safe | 6.54 | 0.042s | safe | 4.50 | 0.016s |
| Problem2_40_safe.c | safe | 6.01 | 0.047s | safe | 5.76 | 0.036s | safe | 4.53 | 0.014s |
| Problem2_41_safe.c | safe | 5.60 | 0.043s | safe | 6.45 | 0.041s | safe | 4.41 | 0.014s |
| Problem2_42_safe.c | safe | 5.90 | 0.047s | safe | 5.29 | 0.040s | safe | 4.48 | 0.017s |
| Problem2_43_unsafe.c | unsafe | 5.72 | 0.046s | unsafe | 4.24 | 0.034s | unsafe | 4.06 | 0.015s |
| Problem2_44_unsafe.c | unsafe | 5.62 | 0.043s | unsafe | 4.12 | 0.025s | unsafe | 4.01 | 0.017s |
| Problem2_45_unsafe.c | unsafe | 6.16 | 0.041s | unsafe | 5.16 | 0.028s | unsafe | 4.32 | 0.016s |
| Problem2_46_safe.c | safe | 6.14 | 0.037s | safe | 5.45 | 0.045s | safe | 4.45 | 0.022s |
| Problem2_47_safe.c | safe | 5.66 | 0.049s | safe | 5.34 | 0.032s | safe | 4.47 | 0.012s |
| Problem2_48_safe.c | safe | 6.03 | 0.047s | safe | 5.42 | 0.054s | safe | 4.44 | 0.010s |
| Problem2_49_safe.c | safe | 6.24 | 0.036s | safe | 5.92 | 0.043s | safe | 4.73 | 0.008s |
| Problem2_50_unsafe.c | unsafe | 6.32 | 0.042s | unsafe | 5.14 | 0.036s | unsafe | 4.29 | 0.015s |
| Problem2_51_safe.c | safe | 6.29 | 0.044s | safe | 5.83 | 0.030s | safe | 4.39 | 0.013s |
| Problem2_52_safe.c | safe | 6.19 | 0.043s | safe | 4.68 | 0.037s | safe | 4.46 | 0.016s |
| Problem2_53_safe.c | safe | 5.92 | 0.043s | safe | 7.12 | 0.034s | safe | 4.49 | 0.014s |
| Problem2_54_safe.c | safe | 5.67 | 0.043s | safe | 6.06 | 0.052s | safe | 4.48 | 0.008s |
| Problem2_55_safe.c | safe | 5.61 | 0.056s | safe | 5.37 | 0.039s | safe | 4.46 | 0.015s |
| Problem2_56_safe.c | safe | 5.86 | 0.030s | safe | 5.42 | 0.042s | safe | 4.42 | 0.012s |
| Problem2_57_safe.c | safe | 5.61 | 0.038s | safe | 5.73 | 0.056s | safe | 4.50 | 0.015s |
| Problem2_58_safe.c | safe | 5.76 | 0.037s | safe | 5.30 | 0.033s | safe | 4.46 | 0.009s |
| Problem2_59_unsafe.c | unsafe | 6.28 | 0.044s | unsafe | 5.13 | 0.043s | unsafe | 4.30 | 0.013s |
| Problem2_60_unsafe.c | unsafe | 6.58 | 0.049s | unsafe | 5.10 | 0.040s | unsafe | 4.32 | 0.015s |
| Problem3_00_safe.c | safe | 12.99 | 0.098s | timeout | 299.19 | - | safe | 8.87 | 0.028s |
| Problem3_01_safe.c | safe | 13.98 | 0.093s | timeout | 299.17 | - | safe | 8.83 | 0.033s |
| Problem3_02_safe.c | safe | 27.83 | 0.143s | safe | 10.95 | 0.061s | safe | 8.98 | 0.030s |
| Problem3_03_safe.c | safe | 15.33 | 0.108s | timeout | 299.16 | - | safe | 9.05 | 0.029s |
| Problem3_04_safe.c | safe | 13.06 | 0.118s | timeout | 299.25 | - | safe | 8.96 | 0.033s |
| Problem3_05_safe.c | safe | 12.75 | 0.087s | timeout | 299.17 | - | safe | 8.90 | 0.029s |
| Problem3_06_safe.c | safe | 12.78 | 0.113s | safe | 12.28 | 0.065s | safe | 9.05 | 0.018s |
| Problem3_07_safe.c | safe | 12.78 | 0.104s | timeout | 299.17 | - | safe | 9.02 | 0.020s |
| Problem3_08_safe.c | safe | 12.74 | 0.092s | safe | 17.20 | 0.072s | safe | 8.96 | 0.023s |
| Problem3_09_unsafe.c | unsafe | 15.62 | 0.087s | out of native memory | 258.00 | - | unsafe | 8.62 | 0.026s |
| Problem3_10_safe.c | safe | 12.76 | 0.078s | safe | 14.51 | 0.049s | safe | 9.07 | 0.025s |
| Problem3_11_safe.c | safe | 12.84 | 0.099s | timeout | 299.27 | - | safe | 8.94 | 0.019s |
| Problem3_12_safe.c | safe | 17.11 | 0.126s | out of native memory | 46.95 | - | safe | 9.03 | 0.031s |
| Problem3_13_unsafe.c | unsafe | 14.45 | 0.095s | unsafe | 12.70 | 0.061s | unsafe | 8.12 | 0.029s |
| Problem3_14_safe.c | safe | 12.85 | 0.110s | safe | 10.62 | 0.056s | safe | 8.92 | 0.023s |
| Problem3_15_safe.c | safe | 15.68 | 0.110s | timeout | 299.11 | - | safe | 9.11 | 0.018s |
| Problem3_16_safe.c | safe | 12.86 | 0.099s | out of native memory | 61.70 | - | safe | 9.05 | 0.021s |
| Problem3_17_safe.c | safe | 12.98 | 0.095s | out of native memory | 86.41 | - | safe | 9.02 | 0.022s |
| Problem3_18_safe.c | safe | 13.16 | 0.097s | timeout | 299.29 | - | safe | 8.98 | 0.030s |
| Problem3_19_safe.c | safe | 12.65 | 0.096s | out of native memory | 47.49 | - | safe | 8.94 | 0.032s |
| Problem3_20_safe.c | safe | 13.08 | 0.096s | out of native memory | 283.27 | - | safe | 8.99 | 0.038s |
| Problem3_21_safe.c | safe | 15.96 | 0.121s | timeout | 299.27 | - | safe | 9.03 | 0.024s |
| Problem3_22_safe.c | safe | 26.07 | 0.141s | safe | 21.38 | 0.083s | safe | 9.05 | 0.022s |
| Problem3_23_safe.c | safe | 12.61 | 0.090s | timeout | 299.23 | - | safe | 8.99 | 0.027s |
| Problem3_24_safe.c | safe | 12.96 | 0.119s | safe | 14.27 | 0.064s | safe | 8.98 | 0.028s |
| Problem3_25_safe.c | safe | 12.90 | 0.083s | timeout | 299.23 | - | safe | 9.04 | 0.036s |
| Problem3_26_unsafe.c | unsafe | 13.54 | 0.095s | unsafe | 10.45 | 0.052s | unsafe | 7.52 | 0.026s |
| Problem3_27_unsafe.c | unsafe | 13.00 | 0.082s | unsafe | 12.18 | 0.041s | unsafe | 8.06 | 0.027s |
| Problem3_28_unsafe.c | unsafe | 13.18 | 0.074s | unsafe | 12.99 | 0.067s | unsafe | 8.22 | 0.031s |
| Problem3_29_safe.c | safe | 12.74 | 0.089s | safe | 12.04 | 0.066s | safe | 8.98 | 0.026s |
| Problem3_30_safe.c | safe | 12.78 | 0.119s | safe | 12.16 | 0.073s | safe | 9.01 | 0.025s |
| Problem3_31_unsafe.c | unsafe | 13.14 | 0.107s | unsafe | 12.12 | 0.056s | unsafe | 8.13 | 0.017s |
| Problem3_32_safe.c | safe | 12.81 | 0.096s | safe | 12.52 | 0.072s | safe | 9.07 | 0.024s |
| Problem3_33_safe.c | safe | 12.64 | 0.097s | safe | 10.47 | 0.062s | safe | 9.09 | 0.021s |
| Problem3_34_safe.c | safe | 14.24 | 0.102s | out of native memory | 59.44 | - | safe | 8.99 | 0.026s |
| Problem3_35_unsafe.c | unsafe | 14.26 | 0.107s | timeout | 299.21 | - | unsafe | 8.71 | 0.027s |
| Problem3_36_safe.c | safe | 12.80 | 0.089s | safe | 9.61 | 0.073s | safe | 9.08 | 0.038s |
| Problem3_37_unsafe.c | unsafe | 13.13 | 0.076s | unsafe | 12.13 | 0.058s | unsafe | 8.20 | 0.015s |
| Problem3_38_safe.c | safe | 13.17 | 0.104s | safe | 14.04 | 0.082s | safe | 9.02 | 0.026s |
| Problem3_39_unsafe.c | unsafe | 14.21 | 0.098s | unsafe | 13.75 | 0.086s | unsafe | 8.73 | 0.024s |
| Problem3_40_safe.c | safe | 12.86 | 0.078s | safe | 14.15 | 0.089s | safe | 8.99 | 0.039s |
| Problem3_41_safe.c | safe | 12.95 | 0.098s | out of native memory | 79.81 | - | safe | 9.04 | 0.020s |
| Problem3_42_safe.c | safe | 13.13 | 0.113s | safe | 16.95 | 0.077s | safe | 9.02 | 0.026s |
| Problem3_43_unsafe.c | unsafe | 13.27 | 0.080s | unsafe | 14.69 | 0.053s | unsafe | 8.08 | 0.021s |
| Problem3_44_safe.c | safe | 15.87 | 0.114s | timeout | 299.30 | - | safe | 8.98 | 0.022s |
| Problem3_45_unsafe.c | unsafe | 14.14 | 0.082s | timeout | 299.29 | - | unsafe | 8.65 | 0.027s |
| Problem3_46_safe.c | safe | 12.92 | 0.094s | safe | 13.61 | 0.065s | safe | 9.04 | 0.029s |
| Problem3_47_safe.c | safe | 17.84 | 0.126s | timeout | 299.17 | - | safe | 9.00 | 0.025s |
| Problem3_48_safe.c | safe | 12.96 | 0.100s | timeout | 299.26 | - | safe | 8.96 | 0.025s |
| Problem3_49_safe.c | safe | 12.82 | 0.091s | out of native memory | 69.38 | - | safe | 8.97 | 0.024s |
| Problem3_50_unsafe.c | unsafe | 13.14 | 0.077s | unsafe | 12.30 | 0.060s | unsafe | 8.14 | 0.022s |
| Problem3_51_safe.c | safe | 16.17 | 0.102s | timeout | 299.09 | - | safe | 8.88 | 0.026s |
| Problem3_52_unsafe.c | unsafe | 14.43 | 0.091s | timeout | 299.31 | - | unsafe | 8.70 | 0.022s |
| Problem3_53_safe.c | safe | 13.02 | 0.105s | timeout | 299.18 | - | safe | 8.99 | 0.034s |
| Problem3_54_safe.c | safe | 12.78 | 0.106s | out of native memory | 63.95 | - | safe | 9.09 | 0.026s |
| Problem3_55_safe.c | safe | 12.68 | 0.111s | out of native memory | 47.79 | - | safe | 8.98 | 0.038s |
| Problem3_56_safe.c | safe | 12.84 | 0.091s | safe | 17.22 | 0.078s | safe | 8.97 | 0.021s |
| Problem3_57_safe.c | safe | 12.56 | 0.093s | out of native memory | 42.08 | - | safe | 9.06 | 0.021s |
| Problem3_58_safe.c | safe | 12.67 | 0.092s | out of native memory | 147.46 | - | safe | 8.98 | 0.021s |
| Problem3_59_safe.c | safe | 11.83 | 0.095s | timeout | 299.24 | - | safe | 8.98 | 0.026s |
| Problem3_60_unsafe.c | unsafe | 9.13 | 0.054s | unsafe | 8.32 | 0.052s | unsafe | 6.46 | 0.018s |
| Problem4_00_safe.c | safe | 77.36 | 0.462s | safe | 26.87 | 0.121s | safe | 23.11 | 0.045s |
| Problem4_01_safe.c | safe | 79.37 | 0.553s | safe | 26.90 | 0.125s | safe | 23.01 | 0.045s |
| Problem4_02_safe.c | safe | 79.18 | 0.537s | safe | 26.83 | 0.160s | safe | 23.00 | 0.052s |
| Problem4_03_safe.c | safe | 77.19 | 0.430s | safe | 26.89 | 0.097s | safe | 22.91 | 0.042s |
| Problem4_04_unsafe.c | unsafe | 110.69 | 0.476s | timeout | 299.23 | - | unsafe | 20.45 | 0.056s |
| Problem4_05_safe.c | safe | 77.33 | 0.509s | safe | 26.82 | 0.125s | safe | 23.02 | 0.105s |
| Problem4_06_unsafe.c | unsafe | 113.09 | 0.395s | timeout | 299.16 | - | unsafe | 21.24 | 0.041s |
| Problem4_07_safe.c | safe | 65.22 | 0.541s | safe | 26.70 | 0.149s | safe | 22.71 | 0.048s |
| Problem4_08_safe.c | safe | 81.29 | 0.412s | safe | 26.79 | 0.125s | safe | 22.69 | 0.053s |
| Problem4_09_unsafe.c | unsafe | 104.28 | 0.466s | timeout | 299.12 | - | unsafe | 19.38 | 0.098s |
| Problem4_10_safe.c | safe | 26.45 | 0.245s | safe | 26.79 | 0.128s | safe | 22.89 | 0.048s |
| Problem4_11_unsafe.c | unsafe | 94.64 | 0.312s | timeout | 299.15 | - | unsafe | 20.29 | 0.048s |
| Problem4_12_unsafe.c | unsafe | 118.58 | 0.392s | timeout | 299.17 | - | unsafe | 22.44 | 0.051s |
| Problem4_13_unsafe.c | unsafe | 103.21 | 0.415s | timeout | 299.11 | - | unsafe | 19.51 | 0.052s |
| Problem4_14_unsafe.c | unsafe | 105.15 | 0.421s | timeout | 299.14 | - | unsafe | 19.25 | 0.045s |
| Problem4_15_unsafe.c | unsafe | 99.33 | 0.354s | timeout | 299.21 | - | unsafe | 19.33 | 0.058s |
| Problem4_16_safe.c | safe | 79.50 | 0.435s | safe | 27.44 | 0.125s | safe | 22.69 | 0.094s |
| Problem4_17_unsafe.c | unsafe | 104.85 | 0.396s | timeout | 299.12 | - | unsafe | 19.23 | 0.038s |
| Problem4_18_unsafe.c | unsafe | 103.47 | 0.480s | timeout | 299.25 | - | unsafe | 19.26 | 0.041s |
| Problem4_19_unsafe.c | unsafe | 115.46 | 0.394s | timeout | 299.18 | - | unsafe | 21.03 | 0.051s |
| Problem4_20_safe.c | safe | 80.60 | 0.466s | safe | 26.74 | 0.128s | safe | 22.73 | 0.045s |
| Problem4_21_safe.c | safe | 77.68 | 0.447s | safe | 26.93 | 0.135s | safe | 22.72 | 0.057s |
| Problem4_22_safe.c | safe | 78.54 | 0.460s | safe | 26.61 | 0.120s | safe | 22.80 | 0.053s |
| Problem4_23_safe.c | safe | 75.39 | 0.485s | safe | 32.27 | 0.149s | safe | 22.91 | 0.058s |
| Problem4_24_safe.c | safe | 46.63 | 0.328s | safe | 27.05 | 0.122s | safe | 22.97 | 0.037s |
| Problem4_25_safe.c | safe | 37.23 | 0.270s | safe | 26.73 | 0.110s | safe | 22.57 | 0.056s |
| Problem4_26_unsafe.c | unsafe | 108.73 | 0.408s | timeout | 299.11 | - | unsafe | 20.37 | 0.053s |
| Problem4_27_unsafe.c | unsafe | 108.59 | 0.418s | timeout | 299.13 | - | unsafe | 19.46 | 0.056s |
| Problem4_28_safe.c | safe | 81.91 | 0.538s | safe | 27.25 | 0.176s | safe | 22.96 | 0.048s |
| Problem4_29_safe.c | safe | 75.29 | 0.424s | safe | 26.27 | 0.119s | safe | 22.94 | 0.044s |
| Problem4_30_safe.c | safe | 77.69 | 0.503s | safe | 22.57 | 0.127s | safe | 22.79 | 0.040s |
| Problem4_31_unsafe.c | unsafe | 113.83 | 0.395s | timeout | 299.17 | - | unsafe | 21.14 | 0.048s |
| Problem4_32_unsafe.c | unsafe | 96.05 | 0.403s | timeout | 299.27 | - | unsafe | 18.96 | 0.058s |
| Problem4_33_safe.c | safe | 80.59 | 0.456s | safe | 22.61 | 0.114s | safe | 22.80 | 0.108s |
| Problem4_34_safe.c | safe | 75.78 | 0.444s | safe | 26.73 | 0.180s | safe | 23.07 | 0.047s |
| Problem4_35_unsafe.c | unsafe | 98.55 | 0.374s | timeout | 299.13 | - | unsafe | 19.43 | 0.048s |
| Problem4_36_unsafe.c | unsafe | 108.63 | 0.422s | timeout | 299.08 | - | unsafe | 19.30 | 0.046s |
| Problem4_37_safe.c | safe | 30.83 | 0.207s | safe | 22.48 | 0.120s | safe | 23.40 | 0.047s |
| Problem4_38_unsafe.c | unsafe | 107.94 | 0.397s | timeout | 299.21 | - | unsafe | 20.28 | 0.056s |
| Problem4_39_unsafe.c | unsafe | 112.80 | 0.462s | timeout | 299.08 | - | unsafe | 21.21 | 0.052s |
| Problem4_40_unsafe.c | unsafe | 105.50 | 1.639s | timeout | 299.09 | - | unsafe | 20.39 | 0.055s |
| Problem4_41_safe.c | safe | 74.47 | 0.466s | safe | 26.91 | 0.135s | safe | 22.73 | 0.045s |
| Problem4_42_safe.c | safe | 79.80 | 0.530s | safe | 27.10 | 0.109s | safe | 22.97 | 0.047s |
| Problem4_43_safe.c | safe | 79.10 | 0.496s | safe | 22.25 | 0.172s | safe | 22.63 | 0.035s |
| Problem4_44_safe.c | safe | 77.89 | 0.581s | safe | 26.80 | 0.131s | safe | 22.78 | 0.042s |
| Problem4_45_unsafe.c | unsafe | 113.57 | 0.425s | timeout | 299.15 | - | unsafe | 20.37 | 0.050s |
| Problem4_46_safe.c | safe | 79.08 | 0.425s | safe | 26.78 | 0.136s | safe | 23.11 | 0.049s |
| Problem4_47_safe.c | safe | 75.76 | 0.508s | safe | 26.67 | 0.131s | safe | 23.09 | 0.045s |
| Problem4_48_safe.c | safe | 86.58 | 0.698s | safe | 27.03 | 0.142s | safe | 23.06 | 0.046s |
| Problem4_49_safe.c | safe | 74.45 | 0.569s | safe | 27.12 | 0.132s | safe | 22.54 | 0.095s |
| Problem4_50_safe.c | safe | 76.18 | 0.620s | safe | 26.84 | 0.128s | safe | 22.88 | 0.041s |
| Problem4_51_safe.c | safe | 81.13 | 0.479s | safe | 26.61 | 0.129s | safe | 22.53 | 0.047s |
| Problem4_52_unsafe.c | unsafe | 116.08 | 0.511s | timeout | 299.17 | - | unsafe | 21.44 | 0.032s |
| Problem4_53_safe.c | safe | 68.18 | 0.387s | safe | 26.92 | 0.116s | safe | 22.53 | 0.034s |
| Problem4_54_safe.c | safe | 32.31 | 0.230s | safe | 26.88 | 0.128s | safe | 22.70 | 0.044s |
| Problem4_55_unsafe.c | unsafe | 88.21 | 0.325s | timeout | 299.29 | - | unsafe | 19.47 | 0.047s |
| Problem4_56_safe.c | safe | 57.16 | 0.338s | safe | 27.06 | 0.109s | safe | 22.83 | 0.051s |
| Problem4_57_safe.c | safe | 38.24 | 0.245s | safe | 26.57 | 0.112s | safe | 22.95 | 0.048s |
| Problem4_58_unsafe.c | unsafe | 146.49 | 0.540s | timeout | 299.18 | - | unsafe | 21.28 | 0.042s |
| Problem4_59_safe.c | safe | 76.91 | 0.419s | safe | 26.96 | 0.131s | safe | 22.59 | 0.047s |
| Problem4_60_unsafe.c | unsafe | 16.35 | 0.079s | unsafe | 14.28 | 0.061s | unsafe | 9.04 | 0.027s |
| Problem5_00_unsafe.c | unsafe | 120.35 | 0.441s | unsafe | 163.22 | 0.301s | unsafe | 20.97 | 0.049s |
| Problem5_01_unsafe.c | unsafe | 106.66 | 0.383s | unsafe | 170.18 | 0.271s | unsafe | 20.98 | 0.054s |
| Problem5_02_safe.c | safe | 60.06 | 0.334s | timeout | 299.10 | - | safe | 22.17 | 0.054s |
| Problem5_03_safe.c | safe | 93.25 | 0.506s | timeout | 299.14 | - | safe | 22.21 | 0.059s |
| Problem5_04_safe.c | safe | 63.96 | 0.358s | timeout | 299.16 | - | safe | 22.16 | 0.058s |
| Problem5_05_safe.c | safe | 61.40 | 0.341s | timeout | 299.15 | - | safe | 22.39 | 0.061s |
| Problem5_06_safe.c | safe | 63.55 | 0.339s | timeout | 299.20 | - | safe | 22.37 | 0.061s |
| Problem5_07_safe.c | safe | 53.24 | 0.325s | timeout | 299.07 | - | safe | 22.83 | 0.362s |
| Problem5_08_safe.c | safe | 108.77 | 0.597s | timeout | 299.11 | - | safe | 22.39 | 0.048s |
| Problem5_09_safe.c | safe | 75.54 | 0.381s | timeout | 299.23 | - | safe | 22.19 | 0.056s |
| Problem5_10_safe.c | safe | 64.49 | 0.340s | timeout | 299.14 | - | safe | 22.37 | 0.050s |
| Problem5_11_unsafe.c | unsafe | 100.37 | 0.417s | unsafe | 149.99 | 0.279s | unsafe | 21.17 | 0.049s |
| Problem5_12_safe.c | safe | 66.22 | 0.314s | timeout | 299.26 | - | safe | 22.85 | 0.054s |
| Problem5_13_unsafe.c | unsafe | 179.02 | 0.558s | unsafe | 175.07 | 0.258s | unsafe | 20.96 | 0.053s |
| Problem5_14_safe.c | safe | 71.92 | 0.400s | timeout | 299.19 | - | safe | 22.64 | 0.056s |
| Problem5_15_unsafe.c | unsafe | 125.88 | 0.501s | unsafe | 148.64 | 0.261s | unsafe | 21.10 | 0.051s |
| Problem5_16_safe.c | safe | 74.60 | 0.414s | timeout | 299.20 | - | safe | 22.23 | 0.058s |
| Problem5_17_safe.c | safe | 70.32 | 0.433s | timeout | 299.27 | - | safe | 22.08 | 0.058s |
| Problem5_18_unsafe.c | unsafe | 142.82 | 0.593s | unsafe | 151.51 | 0.305s | unsafe | 21.58 | 0.059s |
| Problem5_19_safe.c | safe | 69.98 | 0.386s | timeout | 299.13 | - | safe | 22.12 | 0.053s |
| Problem5_20_safe.c | safe | 86.33 | 0.509s | timeout | 299.13 | - | safe | 22.30 | 0.056s |
| Problem5_21_safe.c | safe | 70.88 | 0.393s | timeout | 299.22 | - | safe | 22.33 | 0.057s |
| Problem5_22_safe.c | safe | 95.25 | 0.511s | timeout | 299.16 | - | safe | 22.45 | 0.057s |
| Problem5_23_safe.c | safe | 68.27 | 0.434s | timeout | 299.13 | - | safe | 22.25 | 0.058s |
| Problem5_24_unsafe.c | unsafe | 92.61 | 0.392s | unsafe | 133.57 | 0.296s | unsafe | 21.06 | 0.053s |
| Problem5_25_safe.c | safe | 60.68 | 0.350s | timeout | 299.25 | - | safe | 22.02 | 0.057s |
| Problem5_26_unsafe.c | unsafe | 128.24 | 0.564s | unsafe | 145.38 | 0.291s | unsafe | 21.19 | 0.067s |
| Problem5_27_safe.c | safe | 64.90 | 0.342s | timeout | 299.31 | - | safe | 22.31 | 0.052s |
| Problem5_28_safe.c | safe | 65.29 | 0.421s | timeout | 299.05 | - | safe | 22.20 | 0.052s |
| Problem5_29_safe.c | safe | 72.25 | 0.353s | timeout | 299.23 | - | safe | 22.18 | 0.060s |
| Problem5_30_unsafe.c | unsafe | 122.22 | 0.604s | unsafe | 143.49 | 0.265s | unsafe | 21.32 | 0.064s |
| Problem5_31_safe.c | safe | 89.61 | 0.512s | safe | 277.89 | 0.327s | safe | 22.46 | 0.058s |
| Problem5_32_unsafe.c | unsafe | 127.28 | 0.508s | unsafe | 158.62 | 0.286s | unsafe | 21.15 | 0.051s |
| Problem5_33_unsafe.c | unsafe | 141.32 | 0.507s | unsafe | 148.50 | 0.319s | unsafe | 23.21 | 0.052s |
| Problem5_34_safe.c | safe | 62.85 | 0.338s | safe | 102.10 | 0.346s | safe | 22.29 | 0.051s |
| Problem5_35_safe.c | safe | 72.20 | 0.477s | timeout | 299.18 | - | safe | 22.15 | 0.055s |
| Problem5_36_unsafe.c | unsafe | 97.97 | 0.366s | unsafe | 152.16 | 0.300s | unsafe | 21.10 | 0.057s |
| Problem5_37_unsafe.c | unsafe | 138.41 | 0.605s | unsafe | 158.65 | 0.290s | unsafe | 21.15 | 0.056s |
| Problem5_38_unsafe.c | unsafe | 99.39 | 0.368s | unsafe | 146.29 | 0.267s | unsafe | 20.87 | 0.055s |
| Problem5_39_unsafe.c | unsafe | 105.29 | 0.379s | unsafe | 150.29 | 0.270s | unsafe | 21.07 | 0.048s |
| Problem5_40_unsafe.c | unsafe | 162.65 | 0.539s | unsafe | 145.43 | 0.256s | unsafe | 21.25 | 0.053s |
| Problem5_41_unsafe.c | unsafe | 89.21 | 0.357s | unsafe | 147.86 | 0.287s | unsafe | 21.02 | 0.051s |
| Problem5_42_safe.c | safe | 71.97 | 0.372s | timeout | 299.27 | - | safe | 22.19 | 0.055s |
| Problem5_43_safe.c | safe | 108.17 | 0.565s | timeout | 299.11 | - | safe | 22.28 | 0.060s |
| Problem5_44_unsafe.c | unsafe | 146.79 | 0.624s | unsafe | 129.28 | 0.282s | unsafe | 20.98 | 0.049s |
| Problem5_45_safe.c | safe | 66.72 | 0.358s | safe | 38.69 | 0.188s | safe | 22.42 | 0.056s |
| Problem5_46_safe.c | safe | 66.68 | 0.328s | timeout | 299.24 | - | safe | 22.12 | 0.058s |
| Problem5_47_unsafe.c | unsafe | 126.45 | 0.537s | unsafe | 146.83 | 0.284s | unsafe | 20.92 | 0.049s |
| Problem5_48_unsafe.c | unsafe | 297.03 | 0.568s | unsafe | 153.11 | 0.339s | unsafe | 21.07 | 0.063s |
| Problem5_49_safe.c | safe | 102.06 | 0.491s | safe | 108.28 | 0.290s | safe | 22.19 | 0.060s |
| Problem5_50_safe.c | safe | 63.56 | 0.345s | timeout | 299.19 | - | safe | 22.38 | 0.066s |
| Problem5_51_unsafe.c | unsafe | 138.85 | 0.546s | unsafe | 145.43 | 0.271s | unsafe | 21.14 | 0.042s |
| Problem5_52_safe.c | safe | 91.49 | 0.504s | timeout | 299.24 | - | safe | 22.26 | 0.067s |
| Problem5_53_safe.c | safe | 62.71 | 0.305s | safe | 75.81 | 0.221s | safe | 22.39 | 0.049s |
| Problem5_54_safe.c | safe | 96.59 | 0.573s | timeout | 299.05 | - | safe | 22.29 | 0.049s |
| Problem5_55_unsafe.c | unsafe | 126.86 | 0.487s | unsafe | 165.75 | 0.280s | unsafe | 21.25 | 0.358s |
| Problem5_56_safe.c | safe | 74.79 | 0.396s | timeout | 299.18 | - | safe | 22.33 | 0.044s |
| Problem5_57_unsafe.c | unsafe | 118.60 | 0.569s | unsafe | 144.70 | 0.281s | unsafe | 20.91 | 0.057s |
| Problem5_58_unsafe.c | unsafe | 125.75 | 0.470s | unsafe | 144.71 | 0.272s | unsafe | 20.97 | 0.047s |
| Problem5_59_safe.c | safe | 80.47 | 0.409s | safe | 183.36 | 0.299s | safe | 22.72 | 0.067s |
| Problem5_60_unsafe.c | unsafe | 24.35 | 0.130s | unsafe | 21.00 | 0.089s | unsafe | 11.91 | 0.054s |
| Problem6_00_unsafe.c | unsafe | 69.43 | 0.348s | timeout | 299.29 | - | unsafe | 20.36 | 0.067s |
| Problem6_01_unsafe.c | unsafe | 84.43 | 0.327s | timeout | 299.23 | - | unsafe | 20.11 | 0.053s |
| Problem6_02_unsafe.c | unsafe | 106.68 | 0.378s | out of native memory | 237.99 | - | unsafe | 20.35 | 0.051s |
| Problem6_03_safe.c | safe | 68.01 | 0.404s | timeout | 299.37 | - | safe | 24.42 | 0.055s |
| Problem6_04_unsafe.c | unsafe | 80.17 | 0.408s | timeout | 299.23 | - | unsafe | 20.44 | 0.062s |
| Problem6_05_unsafe.c | unsafe | 92.07 | 0.392s | timeout | 299.29 | - | unsafe | 20.36 | 0.050s |
| Problem6_06_safe.c | safe | 69.10 | 0.482s | timeout | 299.15 | - | safe | 24.48 | 0.053s |
| Problem6_07_safe.c | safe | 145.48 | 0.604s | timeout | 299.18 | - | safe | 24.40 | 0.060s |
| Problem6_08_safe.c | safe | 67.86 | 0.470s | timeout | 299.32 | - | safe | 24.51 | 0.065s |
| Problem6_09_unsafe.c | unsafe | 86.16 | 0.333s | timeout | 299.37 | - | unsafe | 20.49 | 0.052s |
| Problem6_10_unsafe.c | unsafe | 87.55 | 0.371s | timeout | 299.20 | - | unsafe | 20.58 | 0.047s |
| Problem6_11_unsafe.c | unsafe | 83.72 | 0.348s | timeout | 299.17 | - | unsafe | 20.28 | 0.505s |
| Problem6_12_unsafe.c | unsafe | 98.16 | 0.453s | timeout | 299.33 | - | unsafe | 20.20 | 0.055s |
| Problem6_13_safe.c | safe | 69.64 | 0.380s | timeout | 299.32 | - | safe | 24.60 | 0.047s |
| Problem6_14_safe.c | safe | 111.61 | 0.502s | timeout | 299.19 | - | safe | 23.65 | 0.066s |
| Problem6_15_unsafe.c | unsafe | 83.10 | 0.380s | out of native memory | 63.67 | - | unsafe | 20.57 | 0.056s |
| Problem6_16_safe.c | safe | 71.30 | 0.488s | timeout | 299.27 | - | safe | 24.38 | 0.054s |
| Problem6_17_safe.c | safe | 70.73 | 0.417s | timeout | 299.31 | - | safe | 23.77 | 0.054s |
| Problem6_18_safe.c | safe | 70.32 | 0.384s | out of native memory | 71.61 | - | safe | 24.41 | 0.046s |
| Problem6_19_safe.c | safe | 68.24 | 0.423s | timeout | 299.25 | - | safe | 23.66 | 0.050s |
| Problem6_20_unsafe.c | unsafe | 81.29 | 0.348s | unsafe | 81.01 | 1.081s | unsafe | 20.54 | 0.056s |
| Problem6_21_unsafe.c | unsafe | 92.50 | 0.362s | timeout | 299.19 | - | unsafe | 20.34 | 0.045s |
| Problem6_22_safe.c | safe | 70.22 | 0.456s | timeout | 299.17 | - | safe | 24.11 | 0.052s |
| Problem6_23_safe.c | safe | 70.02 | 0.453s | out of native memory | 62.34 | - | safe | 23.64 | 0.058s |
| Problem6_24_unsafe.c | unsafe | 88.09 | 0.375s | timeout | 299.15 | - | unsafe | 20.47 | 0.054s |
| Problem6_25_safe.c | safe | 72.81 | 0.353s | timeout | 299.42 | - | safe | 23.75 | 0.050s |
| Problem6_26_safe.c | safe | 71.08 | 0.369s | timeout | 299.15 | - | safe | 23.72 | 0.047s |
| Problem6_27_unsafe.c | unsafe | 85.91 | 0.397s | timeout | 299.25 | - | unsafe | 20.65 | 0.062s |
| Problem6_28_safe.c | safe | 74.00 | 0.422s | timeout | 299.23 | - | safe | 23.90 | 0.052s |
| Problem6_29_unsafe.c | unsafe | 89.41 | 0.369s | timeout | 299.18 | - | unsafe | 20.67 | 0.061s |
| Problem6_30_safe.c | safe | 90.52 | 0.416s | timeout | 299.14 | - | safe | 23.86 | 0.052s |
| Problem6_31_safe.c | safe | 78.90 | 0.390s | timeout | 299.37 | - | safe | 23.58 | 0.051s |
| Problem6_32_safe.c | safe | 89.37 | 0.438s | timeout | 299.15 | - | safe | 23.80 | 0.041s |
| Problem6_33_unsafe.c | unsafe | 85.90 | 0.357s | timeout | 299.25 | - | unsafe | 20.17 | 0.052s |
| Problem6_34_safe.c | safe | 128.17 | 0.601s | timeout | 299.30 | - | safe | 23.79 | 0.056s |
| Problem6_35_safe.c | safe | 71.72 | 0.414s | out of native memory | 124.45 | - | safe | 23.82 | 0.059s |
| Problem6_36_unsafe.c | unsafe | 90.49 | 0.326s | timeout | 299.37 | - | unsafe | 20.29 | 0.052s |
| Problem6_37_unsafe.c | unsafe | 84.75 | 0.447s | timeout | 299.35 | - | unsafe | 20.40 | 0.058s |
| Problem6_38_unsafe.c | unsafe | 89.18 | 0.377s | timeout | 299.35 | - | unsafe | 20.69 | 0.061s |
| Problem6_39_safe.c | safe | 76.89 | 0.393s | timeout | 299.31 | - | safe | 23.54 | 0.046s |
| Problem6_40_safe.c | safe | 97.53 | 0.406s | timeout | 299.17 | - | safe | 24.44 | 0.053s |
| Problem6_41_safe.c | safe | 71.24 | 0.425s | timeout | 299.13 | - | safe | 23.75 | 0.050s |
| Problem6_42_safe.c | safe | 88.29 | 0.398s | out of native memory | 61.94 | - | safe | 23.67 | 0.048s |
| Problem6_43_safe.c | safe | 70.32 | 0.458s | out of native memory | 72.12 | - | safe | 24.44 | 0.048s |
| Problem6_44_unsafe.c | unsafe | 84.48 | 0.444s | timeout | 299.30 | - | unsafe | 20.15 | 0.057s |
| Problem6_45_safe.c | safe | 78.65 | 0.375s | timeout | 299.25 | - | safe | 23.59 | 0.057s |
| Problem6_46_safe.c | safe | 74.85 | 0.384s | timeout | 299.19 | - | safe | 23.72 | 0.052s |
| Problem6_47_unsafe.c | unsafe | 87.45 | 0.440s | out of native memory | 64.31 | - | unsafe | 20.51 | 0.071s |
| Problem6_48_unsafe.c | unsafe | 92.18 | 0.377s | out of native memory | 62.58 | - | unsafe | 20.25 | 0.045s |
| Problem6_49_safe.c | safe | 76.31 | 0.436s | timeout | 299.11 | - | safe | 23.85 | 0.056s |
| Problem6_50_safe.c | safe | 76.04 | 0.530s | out of native memory | 126.70 | - | safe | 23.86 | 0.048s |
| Problem6_51_safe.c | safe | 75.26 | 0.371s | timeout | 299.29 | - | safe | 23.45 | 0.042s |
| Problem6_52_safe.c | safe | 73.60 | 0.448s | out of native memory | 84.83 | - | safe | 23.94 | 0.055s |
| Problem6_53_safe.c | safe | 76.58 | 0.455s | timeout | 299.24 | - | safe | 23.72 | 0.045s |
| Problem6_54_safe.c | safe | 79.38 | 0.405s | timeout | 299.17 | - | safe | 24.51 | 0.133s |
| Problem6_55_safe.c | safe | 73.97 | 0.459s | timeout | 299.12 | - | safe | 23.72 | 0.064s |
| Problem6_56_unsafe.c | unsafe | 94.76 | 0.380s | timeout | 299.15 | - | unsafe | 20.44 | 0.045s |
| Problem6_57_safe.c | safe | 73.57 | 0.383s | safe | 50.91 | 0.208s | safe | 23.73 | 0.043s |
| Problem6_58_unsafe.c | unsafe | 106.29 | 0.381s | out of native memory | 63.48 | - | unsafe | 20.71 | 0.042s |
| Problem6_59_unsafe.c | unsafe | 70.51 | 0.325s | timeout | 299.15 | - | unsafe | 20.28 | 0.052s |
| Problem6_60_unsafe.c | unsafe | 25.76 | 0.125s | unsafe | 22.44 | 0.088s | unsafe | 12.16 | 0.032s |
| total files | 366 | 17648.75 | 90.876 | 366 | 45208.62 | 21.278 | 366 | 5131.09 | 14.204 |
| correct results | 366 | 17648.75 | 90.876 | 220 | 6615.05 | 21.278 | 366 | 5131.09 | 14.204 |
| false negatives | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| false positives | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| score (366 files, max score: 620) | 620 | 380 | 620 | ||||||