Searched refs:unsolved (Results 201 – 225 of 629) sorted by relevance
12345678910>>...26
1191 #~ msgid "unsolved after %1 moves"
1147 #~ msgid "unsolved after %1 moves"
1199 #~ msgid "unsolved after %1 moves"
114 %% leave unsolved for now
1895 msgid "Number of remaining unsolved conflicts: %1 (of which %2 are whitespace)"1897 "Number of remaining unsolved conflicts: %1 (of which %2 are whitespace)"1935 "Number of unsolved conflicts: %3\n"1940 "Number of unsolved conflicts: %3\n"
1230 % % than max_eqn_to_conti equations are unsolved1751 % eqns .. list of remaining unsolved equations2870 % least 2 equations are unsolved by setting globally max_eqn_to_conti:=12878 write"computation in cases that not more than n equations are unsolved"$terpri()$3151 % adding unsolved equations from run of subsystem
426 % on each other through the list of unsolved conditions condi
6860 % eqns .. list of remaining unsolved equations6891 % The next sublist is a list of unsolved equations6892 write"% A list of unsolved equations"$terpri()$7038 sol1_eqn:=cons('list,cadr sol1)$ % unsolved equations in sol17039 sol2_eqn:=cons('list,cadr sol2)$ % unsolved equations in sol27045 % At first for the unsolved equations of sol1:7052 % And now for the unsolved equations of sol2:7945 write"The following unsolved equations remain:"$terpri()$8954 % one of its sub-cases is unsolved.9197 % then find an unsolved subcase.[all …]
186 msgid "unsolved"
179 msgid "unsolved"
1175 #~ msgid "unsolved after %1 moves"
247 * Fixed segfault when trying to play back solution on an unsolved level.
994 msgid "This is the current total number of unsolved tasks."
1172 #~ msgid "unsolved after %1 moves"
1179 #~ msgid "unsolved after %1 moves"
1145 msgid "This is the current total number of unsolved tasks."
1089 msgid "This is the current total number of unsolved tasks."
1128 msgid "This is the current total number of unsolved tasks."
509 msgid "Study the Collatz Conjecture, an unsolved conjecture in mathematics"
868 msgid "Study the Collatz Conjecture, an unsolved conjecture in mathematics"
874 msgid "Study the Collatz Conjecture, an unsolved conjecture in mathematics"
1076 msgid "This is the current total number of unsolved tasks."
1078 msgid "This is the current total number of unsolved tasks."
1079 msgid "This is the current total number of unsolved tasks."