tests: simlib: conver: increase time limits to make tests pass on CI

varqox · May 14, 2024 · ad6a4b8 · ad6a4b8
1 parent 372db71
commit ad6a4b8
Show file tree

Hide file tree

Showing 41 changed files with 219 additions and 219 deletions.
diff --git a/subprojects/simlib/test/conver.cc b/subprojects/simlib/test/conver.cc
@@ -317,7 +317,7 @@ class ConverTestCaseRunner {
         }
     }
 
-    void round_post_judge_simfile_time_limits_to_whole_seconds() {
+    void round_post_judge_simfile_time_limits_to_multiple_of_4_seconds() {
         using std::chrono_literals::operator""s;
         // This should remove the problem with random time limit if they
         // were set using the model solution.
@@ -326,13 +326,13 @@ class ConverTestCaseRunner {
                 // Time limits should not have been set to 0
                 EXPECT_GT(test.time_limit, 0s) << "^ test " << test_case_name_;
                 test.time_limit =
-                    std::chrono::duration_cast<std::chrono::seconds>(test.time_limit + 0.5s);
+                    std::chrono::duration_cast<std::chrono::seconds>(test.time_limit / 4 + 0.5s) * 4;
             }
         }
     }
 
     void check_result() {
-        round_post_judge_simfile_time_limits_to_whole_seconds();
+        round_post_judge_simfile_time_limits_to_multiple_of_4_seconds();
         if (regenerate_outs) {
             overwrite_test_output_files();
         }

diff --git a/.../conver_test_cases/tests/01_different_conver_options_global_time_limit/post_judge_simfile b/.../conver_test_cases/tests/01_different_conver_options_global_time_limit/post_judge_simfile
@@ -4,17 +4,17 @@ statement: foo.txt
 solutions: [sol.c]
 memory_limit: 32
 limits: [
-	000 11
-	6ocen 11
+	000 12
+	6ocen 12
 
-	1a 11
-	1d 11
-	1file 11
+	1a 12
+	1d 12
+	1file 12
 
-	3 11 9
-	3file 11
+	3 12 9
+	3file 12
 
-	5 11
+	5 12
 ]
 scoring: [
 	000 0

diff --git a/...simlib/test/conver_test_cases/tests/16_different_conver_options_reset_scoring_true/config b/...simlib/test/conver_test_cases/tests/16_different_conver_options_reset_scoring_true/config
@@ -5,7 +5,7 @@ label: null
 interactive: false
 memory_limit: null
 global_time_limit: null
-max_time_limit: 44.444
+max_time_limit: 88.888
 reset_time_limits_using_main_solution: true
 ignore_simfile: false
 seek_for_new_tests: true

diff --git a/...lib/test/conver_test_cases/tests/16_different_conver_options_reset_scoring_true/judge_log b/...lib/test/conver_test_cases/tests/16_different_conver_options_reset_scoring_true/judge_log
@@ -1,16 +1,16 @@
 Judging (initial): {
 }
 Judging (final): {
-  000       [ TL: 6.05 s ML: 32768 KiB ]  Status: OK  Checker:  [ ML: 262144 KiB ]
-  6ocen     [ TL: 6.05 s ML: 32768 KiB ]  Status: OK  Checker:  [ ML: 262144 KiB ]
+  000       [ TL: 12.16 s ML: 32768 KiB ]  Status: OK  Checker:  [ ML: 262144 KiB ]
+  6ocen     [ TL: 12.16 s ML: 32768 KiB ]  Status: OK  Checker:  [ ML: 262144 KiB ]
 Score: 0 / 0 (ratio: 1.0000)
-  1a        [ TL: 6.05 s ML: 32768 KiB ]  Status: OK  Checker:  [ ML: 262144 KiB ]
-  1d        [ TL: 6.05 s ML: 32768 KiB ]  Status: OK  Checker:  [ ML: 262144 KiB ]
-  1file     [ TL: 6.05 s ML: 32768 KiB ]  Status: OK  Checker:  [ ML: 262144 KiB ]
+  1a        [ TL: 12.16 s ML: 32768 KiB ]  Status: OK  Checker:  [ ML: 262144 KiB ]
+  1d        [ TL: 12.16 s ML: 32768 KiB ]  Status: OK  Checker:  [ ML: 262144 KiB ]
+  1file     [ TL: 12.16 s ML: 32768 KiB ]  Status: OK  Checker:  [ ML: 262144 KiB ]
 Score: 33 / 33 (ratio: 1.0000)
-  3         [ TL: 6.05 s ML: 9216 KiB ]  Status: OK  Checker:  [ ML: 262144 KiB ]
-  3file     [ TL: 6.05 s ML: 32768 KiB ]  Status: OK  Checker:  [ ML: 262144 KiB ]
+  3         [ TL: 12.16 s ML: 9216 KiB ]  Status: OK  Checker:  [ ML: 262144 KiB ]
+  3file     [ TL: 12.16 s ML: 32768 KiB ]  Status: OK  Checker:  [ ML: 262144 KiB ]
 Score: 33 / 33 (ratio: 1.0000)
-  5         [ TL: 6.05 s ML: 32768 KiB ]  Status: OK  Checker:  [ ML: 262144 KiB ]
+  5         [ TL: 12.16 s ML: 32768 KiB ]  Status: OK  Checker:  [ ML: 262144 KiB ]
 Score: 34 / 34 (ratio: 1.0000)
 }
diff --git a/.../conver_test_cases/tests/16_different_conver_options_reset_scoring_true/pre_judge_simfile b/.../conver_test_cases/tests/16_different_conver_options_reset_scoring_true/pre_judge_simfile
@@ -4,17 +4,17 @@ statement: foo.txt
 solutions: [sol.c]
 memory_limit: 32
 limits: [
-	000 6.058
-	6ocen 6.058
+	000 12.168
+	6ocen 12.168
 
-	1a 6.058
-	1d 6.058
-	1file 6.058
+	1a 12.168
+	1d 12.168
+	1file 12.168
 
-	3 6.058 9
-	3file 6.058
+	3 12.168 9
+	3file 12.168
 
-	5 6.058
+	5 12.168
 ]
 scoring: [
 	000 0

diff --git a/.../simlib/test/conver_test_cases/tests/21_interactive_problem_writing_to_closed_pipe/config b/.../simlib/test/conver_test_cases/tests/21_interactive_problem_writing_to_closed_pipe/config
@@ -5,7 +5,7 @@ label: null
 interactive: null
 memory_limit: null
 global_time_limit: null
-max_time_limit: 0.65
+max_time_limit: 2
 reset_time_limits_using_main_solution: true
 ignore_simfile: false
 seek_for_new_tests: true

diff --git a/...mlib/test/conver_test_cases/tests/21_interactive_problem_writing_to_closed_pipe/judge_log b/...mlib/test/conver_test_cases/tests/21_interactive_problem_writing_to_closed_pipe/judge_log
@@ -1,6 +1,6 @@
 Judging (initial): {
 }
 Judging (final): {
-  1         [ TL: 0.30 s ML: 524288 KiB ]  Status: OK (Partial points)  Checker:  [ ML: 262144 KiB ]
+  1         [ TL: 1.25 s ML: 524288 KiB ]  Status: OK (Partial points)  Checker:  [ ML: 262144 KiB ]
 Score: 42 / 100 (ratio: 0.4200)
 }
diff --git a/...t/conver_test_cases/tests/21_interactive_problem_writing_to_closed_pipe/pre_judge_simfile b/...t/conver_test_cases/tests/21_interactive_problem_writing_to_closed_pipe/pre_judge_simfile
@@ -5,7 +5,7 @@ checker: check/checker.cc
 solutions: [prog/sol.cc]
 memory_limit: 512
 limits: [
-	1 0.305
+	1 1.258
 ]
 scoring: [
 	1 100

diff --git a/...imlib/test/conver_test_cases/tests/24_interactive_problem_prog_sol_mle/post_judge_simfile b/...imlib/test/conver_test_cases/tests/24_interactive_problem_prog_sol_mle/post_judge_simfile
@@ -5,7 +5,7 @@ checker: checker/checker.cc
 solutions: [prog/sol_mle.cc, prog/sol.cc, prog/rte1.cc, prog/sol_slow1.cc, prog/sol_slow2.cc, prog/sol_slow_wa.cc, prog/sol_tle1.cc, prog/sol_tle2.cc, prog/sol_wa1.cc, prog/sol_wa2.cc, prog/sol_wa3.cc, prog/tle1.cc, prog/tle2.cc, prog/wa1.cc, prog/wa2.cc, prog/wa3.cc, prog/wa4.cc, prog/wa5.cc]
 memory_limit: 32
 limits: [
-	4a 3
+	4a 4
 ]
 scoring: [
 	4 100

diff --git a/subprojects/simlib/test/conver_test_cases/tests/25_interactive_problem_prog_wa3/config b/subprojects/simlib/test/conver_test_cases/tests/25_interactive_problem_prog_wa3/config
@@ -6,7 +6,7 @@ label: null
 interactive: null
 memory_limit: null
 global_time_limit: null
-max_time_limit: 0.65
+max_time_limit: 5
 reset_time_limits_using_main_solution: true
 ignore_simfile: false
 seek_for_new_tests: true

diff --git a/subprojects/simlib/test/conver_test_cases/tests/25_interactive_problem_prog_wa3/judge_log b/subprojects/simlib/test/conver_test_cases/tests/25_interactive_problem_prog_wa3/judge_log
@@ -1,17 +1,17 @@
 Judging (initial): {
-  0         [ TL: 0.30 s ML: 32768 KiB ]  Status: WA (Line 1: Read '?', expected a number)  Checker:  [ ML: 262144 KiB ]
+  0         [ TL: 3.31 s ML: 32768 KiB ]  Status: WA (Line 1: Read '?', expected a number)  Checker:  [ ML: 262144 KiB ]
 Score: 0 / 0 (ratio: 0.0000)
 }
 Judging (final): {
-  1         [ TL: 0.30 s ML: 32768 KiB ]  Status: WA (Line 1: Read '?', expected a number)  Checker:  [ ML: 262144 KiB ]
+  1         [ TL: 3.31 s ML: 32768 KiB ]  Status: WA (Line 1: Read '?', expected a number)  Checker:  [ ML: 262144 KiB ]
 Score: 0 / 25 (ratio: 0.0000)
-  2a        [ TL: 0.30 s ML: 32768 KiB ]  Status: WA (Line 1: Read '?', expected a number)  Checker:  [ ML: 262144 KiB ]
-  2b        [ TL: 0.30 s ML: 32768 KiB ]  Status: WA (Line 1: Read '?', expected a number)  Checker:  [ ML: 262144 KiB ]
+  2a        [ TL: 3.31 s ML: 32768 KiB ]  Status: WA (Line 1: Read '?', expected a number)  Checker:  [ ML: 262144 KiB ]
+  2b        [ TL: 3.31 s ML: 32768 KiB ]  Status: WA (Line 1: Read '?', expected a number)  Checker:  [ ML: 262144 KiB ]
 Score: 0 / 25 (ratio: 0.0000)
-  3a        [ TL: 0.30 s ML: 32768 KiB ]  Status: WA (Line 1: Read '?', expected a number)  Checker:  [ ML: 262144 KiB ]
-  3b        [ TL: 0.30 s ML: 32768 KiB ]  Status: WA (Line 1: Read '?', expected a number)  Checker:  [ ML: 262144 KiB ]
+  3a        [ TL: 3.31 s ML: 32768 KiB ]  Status: WA (Line 1: Read '?', expected a number)  Checker:  [ ML: 262144 KiB ]
+  3b        [ TL: 3.31 s ML: 32768 KiB ]  Status: WA (Line 1: Read '?', expected a number)  Checker:  [ ML: 262144 KiB ]
 Score: 0 / 25 (ratio: 0.0000)
-  4a        [ TL: 0.30 s ML: 32768 KiB ]  Status: WA (Line 1: Read '?', expected a number)  Checker:  [ ML: 262144 KiB ]
-  4b        [ TL: 0.30 s ML: 32768 KiB ]  Status: WA (Line 1: Read '?', expected a number)  Checker:  [ ML: 262144 KiB ]
+  4a        [ TL: 3.31 s ML: 32768 KiB ]  Status: WA (Line 1: Read '?', expected a number)  Checker:  [ ML: 262144 KiB ]
+  4b        [ TL: 3.31 s ML: 32768 KiB ]  Status: WA (Line 1: Read '?', expected a number)  Checker:  [ ML: 262144 KiB ]
 Score: 0 / 25 (ratio: 0.0000)
 }
diff --git a/...cts/simlib/test/conver_test_cases/tests/25_interactive_problem_prog_wa3/pre_judge_simfile b/...cts/simlib/test/conver_test_cases/tests/25_interactive_problem_prog_wa3/pre_judge_simfile
@@ -5,18 +5,18 @@ checker: checker/checker.cc
 solutions: [prog/wa3.cc, prog/sol.cc, prog/rte1.cc, prog/sol_mle.cc, prog/sol_slow1.cc, prog/sol_slow2.cc, prog/sol_slow_wa.cc, prog/sol_tle1.cc, prog/sol_tle2.cc, prog/sol_wa1.cc, prog/sol_wa2.cc, prog/sol_wa3.cc, prog/tle1.cc, prog/tle2.cc, prog/wa1.cc, prog/wa2.cc, prog/wa4.cc, prog/wa5.cc]
 memory_limit: 32
 limits: [
-	0 0.305
+	0 3.312
 
-	1 0.305
+	1 3.312
 
-	2a 0.305
-	2b 0.305
+	2a 3.312
+	2b 3.312
 
-	3a 0.305
-	3b 0.305
+	3a 3.312
+	3b 3.312
 
-	4a 0.305
-	4b 0.305
+	4a 3.312
+	4b 3.312
 ]
 scoring: [
 	0 0

diff --git a/subprojects/simlib/test/conver_test_cases/tests/26_interactive_problem_prog_wa5/config b/subprojects/simlib/test/conver_test_cases/tests/26_interactive_problem_prog_wa5/config
@@ -6,7 +6,7 @@ label: null
 interactive: null
 memory_limit: null
 global_time_limit: null
-max_time_limit: 0.65
+max_time_limit: 5
 reset_time_limits_using_main_solution: true
 ignore_simfile: false
 seek_for_new_tests: true

diff --git a/subprojects/simlib/test/conver_test_cases/tests/26_interactive_problem_prog_wa5/judge_log b/subprojects/simlib/test/conver_test_cases/tests/26_interactive_problem_prog_wa5/judge_log
@@ -1,17 +1,17 @@
 Judging (initial): {
-  0         [ TL: 0.30 s ML: 32768 KiB ]  Status: WA (Line 1: Integer -3 is too small (smaller than 1))  Checker:  [ ML: 262144 KiB ]
+  0         [ TL: 3.31 s ML: 32768 KiB ]  Status: WA (Line 1: Integer -3 is too small (smaller than 1))  Checker:  [ ML: 262144 KiB ]
 Score: 0 / 0 (ratio: 0.0000)
 }
 Judging (final): {
-  1         [ TL: 0.30 s ML: 32768 KiB ]  Status: WA (Line 1: Integer -3 is too small (smaller than 1))  Checker:  [ ML: 262144 KiB ]
+  1         [ TL: 3.31 s ML: 32768 KiB ]  Status: WA (Line 1: Integer -3 is too small (smaller than 1))  Checker:  [ ML: 262144 KiB ]
 Score: 0 / 25 (ratio: 0.0000)
-  2a        [ TL: 0.30 s ML: 32768 KiB ]  Status: WA (Line 1: Integer -3 is too small (smaller than 1))  Checker:  [ ML: 262144 KiB ]
-  2b        [ TL: 0.30 s ML: 32768 KiB ]  Status: WA (Line 1: Integer -3 is too small (smaller than 1))  Checker:  [ ML: 262144 KiB ]
+  2a        [ TL: 3.31 s ML: 32768 KiB ]  Status: WA (Line 1: Integer -3 is too small (smaller than 1))  Checker:  [ ML: 262144 KiB ]
+  2b        [ TL: 3.31 s ML: 32768 KiB ]  Status: WA (Line 1: Integer -3 is too small (smaller than 1))  Checker:  [ ML: 262144 KiB ]
 Score: 0 / 25 (ratio: 0.0000)
-  3a        [ TL: 0.30 s ML: 32768 KiB ]  Status: WA (Line 1: Integer -3 is too small (smaller than 1))  Checker:  [ ML: 262144 KiB ]
-  3b        [ TL: 0.30 s ML: 32768 KiB ]  Status: WA (Line 1: Integer -3 is too small (smaller than 1))  Checker:  [ ML: 262144 KiB ]
+  3a        [ TL: 3.31 s ML: 32768 KiB ]  Status: WA (Line 1: Integer -3 is too small (smaller than 1))  Checker:  [ ML: 262144 KiB ]
+  3b        [ TL: 3.31 s ML: 32768 KiB ]  Status: WA (Line 1: Integer -3 is too small (smaller than 1))  Checker:  [ ML: 262144 KiB ]
 Score: 0 / 25 (ratio: 0.0000)
-  4a        [ TL: 0.30 s ML: 32768 KiB ]  Status: WA (Line 1: Integer -3 is too small (smaller than 1))  Checker:  [ ML: 262144 KiB ]
-  4b        [ TL: 0.30 s ML: 32768 KiB ]  Status: WA (Line 1: Integer -3 is too small (smaller than 1))  Checker:  [ ML: 262144 KiB ]
+  4a        [ TL: 3.31 s ML: 32768 KiB ]  Status: WA (Line 1: Integer -3 is too small (smaller than 1))  Checker:  [ ML: 262144 KiB ]
+  4b        [ TL: 3.31 s ML: 32768 KiB ]  Status: WA (Line 1: Integer -3 is too small (smaller than 1))  Checker:  [ ML: 262144 KiB ]
 Score: 0 / 25 (ratio: 0.0000)
 }
diff --git a/...cts/simlib/test/conver_test_cases/tests/26_interactive_problem_prog_wa5/pre_judge_simfile b/...cts/simlib/test/conver_test_cases/tests/26_interactive_problem_prog_wa5/pre_judge_simfile
@@ -5,18 +5,18 @@ checker: checker/checker.cc
 solutions: [prog/wa5.cc, prog/sol.cc, prog/rte1.cc, prog/sol_mle.cc, prog/sol_slow1.cc, prog/sol_slow2.cc, prog/sol_slow_wa.cc, prog/sol_tle1.cc, prog/sol_tle2.cc, prog/sol_wa1.cc, prog/sol_wa2.cc, prog/sol_wa3.cc, prog/tle1.cc, prog/tle2.cc, prog/wa1.cc, prog/wa2.cc, prog/wa3.cc, prog/wa4.cc]
 memory_limit: 32
 limits: [
-	0 0.305
+	0 3.312
 
-	1 0.305
+	1 3.312
 
-	2a 0.305
-	2b 0.305
+	2a 3.312
+	2b 3.312
 
-	3a 0.305
-	3b 0.305
+	3a 3.312
+	3b 3.312
 
-	4a 0.305
-	4b 0.305
+	4a 3.312
+	4b 3.312
 ]
 scoring: [
 	0 0

diff --git a/subprojects/simlib/test/conver_test_cases/tests/27_interactive_problem_prog_sol_wa3/config b/subprojects/simlib/test/conver_test_cases/tests/27_interactive_problem_prog_sol_wa3/config
@@ -6,7 +6,7 @@ label: null
 interactive: null
 memory_limit: null
 global_time_limit: null
-max_time_limit: 0.65
+max_time_limit: 2
 reset_time_limits_using_main_solution: true
 ignore_simfile: false
 seek_for_new_tests: true

diff --git a/...rojects/simlib/test/conver_test_cases/tests/27_interactive_problem_prog_sol_wa3/judge_log b/...rojects/simlib/test/conver_test_cases/tests/27_interactive_problem_prog_sol_wa3/judge_log
@@ -1,17 +1,17 @@
 Judging (initial): {
-  0         [ TL: 0.30 s ML: 32768 KiB ]  Status: OK (Used 2 queries out of 2)  Checker:  [ ML: 262144 KiB ]
+  0         [ TL: 1.25 s ML: 32768 KiB ]  Status: OK (Used 2 queries out of 2)  Checker:  [ ML: 262144 KiB ]
 Score: 0 / 0 (ratio: 1.0000)
 }
 Judging (final): {
-  1         [ TL: 0.30 s ML: 32768 KiB ]  Status: OK (Used 0 queries out of 1)  Checker:  [ ML: 262144 KiB ]
+  1         [ TL: 1.25 s ML: 32768 KiB ]  Status: OK (Used 0 queries out of 1)  Checker:  [ ML: 262144 KiB ]
 Score: 25 / 25 (ratio: 1.0000)
-  2a        [ TL: 0.30 s ML: 32768 KiB ]  Status: OK (Used 1 queries out of 2)  Checker:  [ ML: 262144 KiB ]
-  2b        [ TL: 0.30 s ML: 32768 KiB ]  Status: OK (Used 1 queries out of 2)  Checker:  [ ML: 262144 KiB ]
+  2a        [ TL: 1.25 s ML: 32768 KiB ]  Status: OK (Used 1 queries out of 2)  Checker:  [ ML: 262144 KiB ]
+  2b        [ TL: 1.25 s ML: 32768 KiB ]  Status: OK (Used 1 queries out of 2)  Checker:  [ ML: 262144 KiB ]
 Score: 25 / 25 (ratio: 1.0000)
-  3a        [ TL: 0.30 s ML: 32768 KiB ]  Status: OK (Used 1 queries out of 2)  Checker:  [ ML: 262144 KiB ]
-  3b        [ TL: 0.30 s ML: 32768 KiB ]  Status: OK (Used 2 queries out of 2)  Checker:  [ ML: 262144 KiB ]
+  3a        [ TL: 1.25 s ML: 32768 KiB ]  Status: OK (Used 1 queries out of 2)  Checker:  [ ML: 262144 KiB ]
+  3b        [ TL: 1.25 s ML: 32768 KiB ]  Status: OK (Used 2 queries out of 2)  Checker:  [ ML: 262144 KiB ]
 Score: 25 / 25 (ratio: 1.0000)
-  4a        [ TL: 0.30 s ML: 32768 KiB ]  Status: WA (Invalid answer)  Checker:  [ ML: 262144 KiB ]
-  4b        [ TL: 0.30 s ML: 32768 KiB ]  Status: OK (Used 10 queries out of 10)  Checker:  [ ML: 262144 KiB ]
+  4a        [ TL: 1.25 s ML: 32768 KiB ]  Status: WA (Invalid answer)  Checker:  [ ML: 262144 KiB ]
+  4b        [ TL: 1.25 s ML: 32768 KiB ]  Status: OK (Used 10 queries out of 10)  Checker:  [ ML: 262144 KiB ]
 Score: 0 / 25 (ratio: 0.0000)
 }
diff --git a/...simlib/test/conver_test_cases/tests/27_interactive_problem_prog_sol_wa3/pre_judge_simfile b/...simlib/test/conver_test_cases/tests/27_interactive_problem_prog_sol_wa3/pre_judge_simfile
@@ -5,18 +5,18 @@ checker: checker/checker.cc
 solutions: [prog/sol_wa3.cc, prog/sol.cc, prog/rte1.cc, prog/sol_mle.cc, prog/sol_slow1.cc, prog/sol_slow2.cc, prog/sol_slow_wa.cc, prog/sol_tle1.cc, prog/sol_tle2.cc, prog/sol_wa1.cc, prog/sol_wa2.cc, prog/tle1.cc, prog/tle2.cc, prog/wa1.cc, prog/wa2.cc, prog/wa3.cc, prog/wa4.cc, prog/wa5.cc]
 memory_limit: 32
 limits: [
-	0 0.305
+	0 1.258
 
-	1 0.305
+	1 1.258
 
-	2a 0.305
-	2b 0.305
+	2a 1.258
+	2b 1.258
 
-	3a 0.305
-	3b 0.305
+	3a 1.258
+	3b 1.258
 
-	4a 0.305
-	4b 0.305
+	4a 1.258
+	4b 1.258
 ]
 scoring: [
 	0 0

diff --git a/...s/simlib/test/conver_test_cases/tests/28_interactive_problem_prog_rte1/post_judge_simfile b/...s/simlib/test/conver_test_cases/tests/28_interactive_problem_prog_rte1/post_judge_simfile
@@ -5,18 +5,18 @@ checker: checker/checker.cc
 solutions: [prog/rte1.cc, prog/sol.cc, prog/sol_mle.cc, prog/sol_slow1.cc, prog/sol_slow2.cc, prog/sol_slow_wa.cc, prog/sol_tle1.cc, prog/sol_tle2.cc, prog/sol_wa1.cc, prog/sol_wa2.cc, prog/sol_wa3.cc, prog/tle1.cc, prog/tle2.cc, prog/wa1.cc, prog/wa2.cc, prog/wa3.cc, prog/wa4.cc, prog/wa5.cc]
 memory_limit: 32
 limits: [
-	0 3
+	0 4
 
-	1 3
+	1 4
 
-	2a 3
-	2b 3
+	2a 4
+	2b 4
 
-	3a 3
-	3b 3
+	3a 4
+	3b 4
 
-	4a 3
-	4b 3
+	4a 4
+	4b 4
 ]
 scoring: [
 	0 0

diff --git a/subprojects/simlib/test/conver_test_cases/tests/29_interactive_problem_prog_sol/config b/subprojects/simlib/test/conver_test_cases/tests/29_interactive_problem_prog_sol/config
@@ -6,7 +6,7 @@ label: null
 interactive: null
 memory_limit: null
 global_time_limit: null
-max_time_limit: 0.65
+max_time_limit: 5
 reset_time_limits_using_main_solution: true
 ignore_simfile: false
 seek_for_new_tests: true

diff --git a/subprojects/simlib/test/conver_test_cases/tests/29_interactive_problem_prog_sol/judge_log b/subprojects/simlib/test/conver_test_cases/tests/29_interactive_problem_prog_sol/judge_log
@@ -1,17 +1,17 @@
 Judging (initial): {
-  0         [ TL: 0.30 s ML: 32768 KiB ]  Status: OK (Used 2 queries out of 2)  Checker:  [ ML: 262144 KiB ]
+  0         [ TL: 3.31 s ML: 32768 KiB ]  Status: OK (Used 2 queries out of 2)  Checker:  [ ML: 262144 KiB ]
 Score: 0 / 0 (ratio: 1.0000)
 }
 Judging (final): {
-  1         [ TL: 0.30 s ML: 32768 KiB ]  Status: OK (Used 0 queries out of 1)  Checker:  [ ML: 262144 KiB ]
+  1         [ TL: 3.31 s ML: 32768 KiB ]  Status: OK (Used 0 queries out of 1)  Checker:  [ ML: 262144 KiB ]
 Score: 25 / 25 (ratio: 1.0000)
-  2a        [ TL: 0.30 s ML: 32768 KiB ]  Status: OK (Used 1 queries out of 2)  Checker:  [ ML: 262144 KiB ]
-  2b        [ TL: 0.30 s ML: 32768 KiB ]  Status: OK (Used 1 queries out of 2)  Checker:  [ ML: 262144 KiB ]
+  2a        [ TL: 3.31 s ML: 32768 KiB ]  Status: OK (Used 1 queries out of 2)  Checker:  [ ML: 262144 KiB ]
+  2b        [ TL: 3.31 s ML: 32768 KiB ]  Status: OK (Used 1 queries out of 2)  Checker:  [ ML: 262144 KiB ]
 Score: 25 / 25 (ratio: 1.0000)
-  3a        [ TL: 0.30 s ML: 32768 KiB ]  Status: OK (Used 1 queries out of 2)  Checker:  [ ML: 262144 KiB ]
-  3b        [ TL: 0.30 s ML: 32768 KiB ]  Status: OK (Used 2 queries out of 2)  Checker:  [ ML: 262144 KiB ]
+  3a        [ TL: 3.31 s ML: 32768 KiB ]  Status: OK (Used 1 queries out of 2)  Checker:  [ ML: 262144 KiB ]
+  3b        [ TL: 3.31 s ML: 32768 KiB ]  Status: OK (Used 2 queries out of 2)  Checker:  [ ML: 262144 KiB ]
 Score: 25 / 25 (ratio: 1.0000)
-  4a        [ TL: 0.30 s ML: 32768 KiB ]  Status: OK (Used 10 queries out of 10)  Checker:  [ ML: 262144 KiB ]
-  4b        [ TL: 0.30 s ML: 32768 KiB ]  Status: OK (Used 10 queries out of 10)  Checker:  [ ML: 262144 KiB ]
+  4a        [ TL: 3.31 s ML: 32768 KiB ]  Status: OK (Used 10 queries out of 10)  Checker:  [ ML: 262144 KiB ]
+  4b        [ TL: 3.31 s ML: 32768 KiB ]  Status: OK (Used 10 queries out of 10)  Checker:  [ ML: 262144 KiB ]
 Score: 25 / 25 (ratio: 1.0000)
 }