http://dl.gsu.by/task.jsp?nid=1675607&cid=1061

В тестах нет значений других переменных, кроме х, из-за чего нельзя проверить задачу на верность.
 

http://dl.gsu.by/task.jsp?nid=1674143&cid=1061

Условие задачи противоречит эталонной программе, которая проверяет тесты. По условию задачи переменная X должна иметь размерность 2 байта, а при проверке тестового файла ошибка:

"Эталонная программа не смогла пройти тесты. [1,2]: Размерность переменной x должна быть 1 байт." 

http://dl.gsu.by/task.jsp?nid=1675899&cid=1061

В условии предоставлен некорректный пример.

Пример:
vverh = 2     
vniz  = 1
finish= 5
time = 4

time должен быть равен 3. 

unsigned __in __bits(1) IN_0 ;
unsigned __in __bits(1) IN_1 ;
unsigned __in __bits(1) IN_2 ;
unsigned __in __bits(1) IN_3 ;
unsigned __out __bits(1) OUT_0;

void main(){
	OUT_0 = ((IN_0 | IN_1 | IN_2) ^ ~(IN_0 ^ IN_1 ^ IN_2)) ^ ~IN_3;
}

[test 6]
Cycles = 1000
CheckCycles = false
Segment - 0
Offset - 0


in_0 dec[1]: 0
in_1 dec[1]: 1
in_2 dec[1]: 0
in_3 dec[1]: 1

out_0 dec[1]: 1

[test 7]
Cycles = 1000
CheckCycles = false
Segment - 0
Offset - 0


in_0 dec[1]: 0
in_1 dec[1]: 0
in_2 dec[1]: 0
in_3 dec[1]: 0

out_0 dec[1]: 0

[test 8]
Cycles = 1000
CheckCycles = false
Segment - 0
Offset - 0


in_0 dec[1]: 1
in_1 dec[1]: 1
in_2 dec[1]: 1
in_3 dec[1]: 1

out_0 dec[1]: 1

unsigned __in __bits(1) in_0 ;
unsigned __in __bits(1) in_1 ;
unsigned __in __bits(1) in_2 ;
unsigned __in __bits(1) in_3 ;
unsigned __out __bits(1) out_0;
unsigned __out __bits(1) out_1;
void main(){
	out_1 =	((in_1 ^ in_2 ^ in_3) | in_0) & (in_0 | ~in_1) ;
	out_0 = (in_0 ^ in_1) |  ~(in_2 & in_3) | (~in_0 ^ in_2) | ~out_1;
}

unsigned __in __bits(1) in_0 ;
unsigned __in __bits(1) in_1 ;
unsigned __in __bits(1) in_2 ;
unsigned __out __bits(1) out_0;

void main(){
	out_0 = ~(~((~in_0 & in_1) ^ (in_0 | in_2)) ^ (~((in_1 & ~in_2) ^ in_2) | (in_0 & in_1 & in_2)));
}

Задача http://dl.gsu.by/task.jsp?nid=1675228&cid=1061 (Программа по схеме 84282)

Решение :
Предлагаю добавить следующие тесты :

Кроме того, в оригинальных тестах test 2 и test 5 одинковы 

Задача : http://dl.gsu.by/task.jsp?nid=1675229&cid=1061 (9 - "Программа по схеме 84283")

Система уже содержит все возможные варианты тестов (16 вариантов входных параметров для 4-х однобитных линий). Предлагаю перенести часть тестов в секретные.  

Задача http://dl.gsu.by/task.jsp?nid=1675230&cid=1061 (10. Программа по схеме 84284)

Система уже содержит все возможные варианты тестов (8 вариантов входных параметров для 3-х однобитных линий). Предлагаю перенести часть тестов в секретные. 

unsigned __in __bits(1) x0 ;
unsigned __in __bits(1) x1 ;
unsigned __in __bits(1) x2 ;
unsigned __in __bits(1) x3 ;

unsigned __out __bits(1) y0;
unsigned __out __bits(1) y1;
unsigned __out __bits(1) y2;
unsigned __out __bits(1) y3;

void main(){
	y3 = ~x3 ; 
	y2 = (~x2 & ~x3) | (x2 & x3);
	y1 = (x1 & ~x2 & ~x3) | (~x1 & x2) | (~x1 & ~x2 & x3);
	y0 = (x0 & ~x1)|(x0 & ~x2 & ~x3)|(~x0 & x1 & x3)|(~x0 & x1 & x2 & ~x3);
}

[test 5]
Cycles = 1000
CheckCycles = false
Segment - 0
Offset - 0


x0 dec[1]: 1
x1 dec[1]: 0
x2 dec[1]: 1
x3 dec[1]: 1

y0 dec[1]: 1
y1 dec[1]: 1
y2 dec[1]: 1
y3 dec[1]: 0

[test 6]
Cycles = 1000
CheckCycles = false
Segment - 0
Offset - 0


x0 dec[1]: 0
x1 dec[1]: 0
x2 dec[1]: 1
x3 dec[1]: 1

y0 dec[1]: 0
y1 dec[1]: 1
y2 dec[1]: 1
y3 dec[1]: 0

[test 7]
Cycles = 1000
CheckCycles = false
Segment - 0
Offset - 0


x0 dec[1]: 1
x1 dec[1]: 0
x2 dec[1]: 0
x3 dec[1]: 1

y0 dec[1]: 1
y1 dec[1]: 1
y2 dec[1]: 0
y3 dec[1]: 0

unsigned __bits(3) in_0;
unsigned __bits(3) out_0;

unsigned get(unsigned x, unsigned i) {
	return (x >> i) & 1;
}

void main() {
  unsigned x1 = in_0 / 2;
  unsigned x2 = in_0 % 2;
  unsigned x3 = in_0 / 3;
  unsigned x4 = in_0 % 3;

  unsigned x2_0 = get(x2, 0);
  unsigned x1_1 = get(x1, 1);

  unsigned not_x2_0 = ~x2_0 & 1;
  unsigned a;
  if (not_x2_0 & x1_1) {
    a = 2;
  } else {
    a = 0;
  }

  unsigned x4_0 = get(x4, 0);
  unsigned x4_1 = get(x4, 1);
  unsigned x3_1 = get(x3, 1);

  unsigned not_x4_0_or_x4_1 = ~(x4_0 | x4_1) & 1;

  unsigned b;
  if (not_x4_0_or_x4_1 & x3_1) {
    b = 3;
  } else {
    b = 0;
  }

  out_0 = a + b;
}

int __in __bits(8) a ;
int __in __bits(8) b ;
int __in __bits(8) x ;
int __in __bits(8) y ;

int __out __bits(16) res ; 
void main(){
	int __bits(32) temp = a * b ;
	temp += x * y;
	res = temp / 2 ;
}

[test 12]
Cycles = 1000
CheckCycles = false
Segment - 0
Offset - 0


a dec[1]: 0
b dec[1]: 0
x dec[1]: 0
y dec[1]: 0

res dec[2]: 0

[test 13]
Cycles = 1000
CheckCycles = false
Segment - 0
Offset - 0


a dec[1]: 127
b dec[1]: 127
x dec[1]: 127
y dec[1]: 127

res dec[2]: 16129

[test 14]
Cycles = 1000
CheckCycles = false
Segment - 0
Offset - 0


a dec[1]: 18
b dec[1]: 19
x dec[1]: 20
y dec[1]: 21

res dec[2]: 381

unsigned __in __bits(2) A ;
unsigned __in __bits(2) B ;
unsigned __in __bits(2) C ;
unsigned __out __bits(4) Z ;

void main(){
	unsigned __bits(3) S1 = A + B ; 
	unsigned __bits(3) S2 = C ;
	Z = S1 + S2 ; 
}

[test 5]
Cycles = 1000
CheckCycles = false
Segment - 0
Offset - 0


A dec[1]: 0
B dec[1]: 1
C dec[1]: 0

Z dec[1]: 1

[test 6]
Cycles = 1000
CheckCycles = false
Segment - 0
Offset - 0


A dec[1]: 2
B dec[1]: 2
C dec[1]: 2

Z dec[1]: 6

[test 7]
Cycles = 1000
CheckCycles = false
Segment - 0
Offset - 0


A dec[1]: 2
B dec[1]: 2
C dec[1]: 0

Z dec[1]: 4

unsigned __bits(8) M;
unsigned __bits(8) N;

unsigned __bits(1) Res;

void main() {
  Res = (M + N) == (M * N);
}

[test 6]
Cycles = 1000
CheckCycles = false
Segment - 0
Offset - 0


M dec[1]: 127
N dec[1]: 2

RES dec[1]: 0

[test 7]
Cycles = 1000
CheckCycles = false
Segment - 0
Offset - 0


M dec[1]: 0
N dec[1]: 255

RES dec[1]: 0

[test 8]
Cycles = 1000
CheckCycles = false
Segment - 0
Offset - 0


M dec[1]: 0
N dec[1]: 0

RES dec[1]: 1

unsigned __in __bits(4) a0  = 15;

unsigned __out __bits(8) res ;

void main(){
	res = (a0 + 3) * 7 ; 
}

[test 3]
Cycles = 1000
CheckCycles = false
Segment - 0
Offset - 0


a0 dec[1]: 9

res dec[1]: 84

[test 4]
Cycles = 1000
CheckCycles = false
Segment - 0
Offset - 0


a0 dec[1]: 5

res dec[1]: 56

[test 5]
Cycles = 1000
CheckCycles = false
Segment - 0
Offset - 0


a0 dec[1]: 15

res dec[1]: 126