Commit a48adae0 authored by Etienne Renault's avatar Etienne Renault
Browse files

benchs: add rers LTL problem

benchs/RERS/2016-Problem1-ltl.go,
benchs/RERS/2016-Problem1-ltl.go.formulae.txt,
benchs/RERS/2016-Problem2-ltl.go,
benchs/RERS/2016-Problem2-ltl.go.formulae.txt
benchs/RERS/2016-Problem4-ltl.go,
benchs/RERS/2016-Problem4-ltl.go.formulae.txt,
benchs/RERS/2016-Problem5-ltl.go,
benchs/RERS/2016-Problem5-ltl.go.formulae.txt,
benchs/RERS/2016-Problem7-ltl.go,
benchs/RERS/2016-Problem7-ltl.go.formulae.txt,
benchs/RERS/2017-Problem1-ltl.go,
benchs/RERS/2017-Problem1-ltl.go.formulae.txt,
benchs/RERS/2017-Problem2-ltl.go,
benchs/RERS/2017-Problem2-ltl.go.formulae.txt,
benchs/RERS/2017-Problem4-ltl.go,
benchs/RERS/2017-Problem4-ltl.go.formulae.txt,
benchs/RERS/2017-Problem5-ltl.go,
benchs/RERS/2017-Problem5-ltl.go.formulae.txt,
benchs/RERS/2017-Problem7-ltl.go,
benchs/RERS/2017-Problem7-ltl.go.formulae.txt,
benchs/RERS/2018-Problem1-ltl.go,
benchs/RERS/2018-Problem1-ltl.go.formulae.txt,
benchs/RERS/2018-Problem2-ltl.go,
benchs/RERS/2018-Problem2-ltl.go.formulae.txt,
benchs/RERS/2018-Problem4-ltl.go,
benchs/RERS/2018-Problem4-ltl.go.formulae.txt,
benchs/RERS/2018-Problem5-ltl.go,
benchs/RERS/2018-Problem5-ltl.go.formulae.txt,
benchs/RERS/2018-Problem7-ltl.go,
benchs/RERS/2018-Problem7-ltl.go.formulae.txt,
benchs/RERS/2019-Problem1-ltl.go,
benchs/RERS/2019-Problem1-ltl.go.formulae.txt,
benchs/RERS/2019-Problem2-ltl.go,
benchs/RERS/2019-Problem2-ltl.go.formulae.txt,
benchs/RERS/2019-Problem4-ltl.go,
benchs/RERS/2019-Problem4-ltl.go.formulae.txt,
benchs/RERS/2019-Problem5-ltl.go,
benchs/RERS/2019-Problem5-ltl.go.formulae.txt,
benchs/RERS/2019-Problem7-ltl.go,
benchs/RERS/2019-Problem7-ltl.go.formulae.txt,
benchs/RERS/2020-Problem1-ltl.go,
benchs/RERS/2020-Problem1-ltl.go.formulae.txt,
benchs/RERS/2020-Problem2-ltl.go,
benchs/RERS/2020-Problem2-ltl.go.formulae.txt,
benchs/RERS/2020-Problem4-ltl.go,
benchs/RERS/2020-Problem4-ltl.go.formulae.txt,
benchs/RERS/2020-Problem5-ltl.go,
benchs/RERS/2020-Problem5-ltl.go.formulae.txt,
benchs/RERS/2020-Problem7-ltl.go,
benchs/RERS/2020-Problem7-ltl.go.formulae.txt: Here.
parent 6d7731d7
//
// Package - transpiled by c4go
//
// If you have found any issues, please raise an issue at:
// https://github.com/Konstantin8105/c4go/
//
package main
// final_output - transpiled function from /tmp/Problem1.c:4
var final_output int
// inputs - transpiled function from /tmp/Problem1.c:9
var inputs []int = []int{2, 5, 1, 3, 4}
// a43 - transpiled function from /tmp/Problem1.c:28
var a43 int = 32
// a56 - transpiled function from /tmp/Problem1.c:29
var a56 int = 6
// a159 - transpiled function from /tmp/Problem1.c:30
var a159 int = 36
// a136 - transpiled function from /tmp/Problem1.c:31
var a136 int = 34
// a152 - transpiled function from /tmp/Problem1.c:32
var a152 int = 7
// a193 - transpiled function from /tmp/Problem1.c:33
var a193 int = 34
// a8 - transpiled function from /tmp/Problem1.c:34
var a8 int = 10
// cf - transpiled function from /tmp/Problem1.c:35
var cf int = 1
// __VERIFIER_error - transpiled function from /tmp/Problem1.c:6
func __VERIFIER_error(n int) {
// outputs
{
}
}
// errorCheck - transpiled function from /tmp/Problem1.c:38
func errorCheck() {
// inputs
{
}
}
// calculate_outputm1 - transpiled function from /tmp/Problem1.c:41
func calculate_outputm1(input int) {
if a56 == 4 && (a193 == 33 && (a193 == 33 && (a56 == 4 && (cf == 1 && input == 5 && a193 == 33 && a56 == 4)))) {
cf = 0
a56 = 6
a43 = 34
a193 = 34
a152 = 7
final_output = 25
}
}
// calculate_outputm2 - transpiled function from /tmp/Problem1.c:51
func calculate_outputm2(input int) {
if a56 == 4 && (cf == 1 && input == 4) && a56 == 4 && (a193 == 33 && (a193 == 33 && a193 == 33 && a56 == 4)) {
cf = 0
a152 = 6
a193 = 34
a56 = 6
a8 = 6
final_output = 21
}
}
// calculate_outputm3 - transpiled function from /tmp/Problem1.c:61
func calculate_outputm3(input int) {
if a193 == 33 && (a56 == 4 && (a193 == 33 && a193 == 33) && a193 == 33) && (cf == 1 && input == 1 && a56 == 4) {
cf = 0
a43 = 36
a152 = 8
final_output = 25
}
}
// calculate_outputm4 - transpiled function from /tmp/Problem1.c:69
func calculate_outputm4(input int) {
if a193 == 32 && (a56 == 5 && (a193 == 32 && (input == 4 && cf == 1))) && (a56 == 5 && a56 == 5 && a193 == 32) {
cf = 0
a56 = 4
a193 = 33
a159 = 32
a152 = 4
final_output = 23
}
if a56 == 5 && (input == 3 && cf == 1) && a193 == 32 && (a56 == 5 && (a56 == 5 && (a193 == 32 && a56 == 5))) {
cf = 0
a43 = 35
a56 = 4
a193 = 33
a152 = 8
final_output = 23
}
}
// calculate_outputm5 - transpiled function from /tmp/Problem1.c:87
func calculate_outputm5(input int) {
if a193 == 32 && (a56 == 5 && (a56 == 5 && (a193 == 32 && a56 == 5))) && (a56 == 5 && (cf == 1 && input == 3)) {
cf = 0
a193 = 33
a56 = 4
a43 = 32
a152 = 8
final_output = 26
}
}
// calculate_outputm6 - transpiled function from /tmp/Problem1.c:97
func calculate_outputm6(input int) {
if a56 == 6 && (a193 == 34 && a193 == 34 && a56 == 6) && a193 == 34 && (a56 == 6 && (input == 3 && cf == 1)) {
cf = 0
a193 = 33
a159 = 35
a56 = 4
a152 = 4
final_output = 23
}
}
// calculate_outputm7 - transpiled function from /tmp/Problem1.c:107
func calculate_outputm7(input int) {
if a193 == 34 && (cf == 1 && input == 1) && (a193 == 34 && a193 == 34 && a193 == 34 && a193 == 34 && a193 == 34) {
cf = 0
a193 = 33
a136 = 36
a56 = 4
a152 = 9
final_output = 23
}
if a193 == 34 && (a56 == 6 && (cf == 1 && input == 4 && a56 == 6)) && (a193 == 34 && (a56 == 6 && a193 == 34)) {
cf = 0
a56 = 4
a193 = 33
a136 = 36
a152 = 9
final_output = 23
}
}
// calculate_outputm8 - transpiled function from /tmp/Problem1.c:125
func calculate_outputm8(input int) {
if a193 == 34 && (input == 2 && cf == 1 && a193 == 34) && a193 == 34 && (a193 == 34 && a56 == 6 && a193 == 34) {
cf = 0
a43 = 34
final_output = 25
}
if a193 == 34 && (a56 == 6 && (a56 == 6 && (input == 4 && cf == 1))) && a193 == 34 && (a193 == 34 && a56 == 6) {
cf = 0
a159 = 36
a56 = 5
a193 = 32
a152 = 11
final_output = 19
}
}
// calculate_outputm9 - transpiled function from /tmp/Problem1.c:140
func calculate_outputm9(input int) {
if a193 == 34 && a56 == 6 && (a56 == 6 && (a56 == 6 && (input == 3 && cf == 1) && a56 == 6 && a193 == 34)) {
cf = 0
a152 = 6
a8 = 5
final_output = 26
}
}
// calculate_outputm10 - transpiled function from /tmp/Problem1.c:148
func calculate_outputm10(input int) {
if a56 == 4 && (a56 == 4 && a193 == 33) && (a193 == 33 && (input == 4 && cf == 1 && a193 == 33) && a193 == 33) {
cf = 0
a136 = 36
a152 = 9
final_output = 23
}
if a193 == 33 && a193 == 33 && a56 == 4 && a56 == 4 && (a56 == 4 && (cf == 1 && input == 3) && a56 == 4) {
cf = 0
a159 = 34
a152 = 4
final_output = 24
}
}
// calculate_outputm11 - transpiled function from /tmp/Problem1.c:162
func calculate_outputm11(input int) {
if input == 5 && cf == 1 && a56 == 4 && a56 == 4 && (a193 == 33 && a56 == 4 && a193 == 33 && a56 == 4) {
cf = 0
a43 = 34
a193 = 34
a56 = 6
a152 = 7
final_output = 25
}
}
// calculate_outputm12 - transpiled function from /tmp/Problem1.c:172
func calculate_outputm12(input int) {
if a56 == 4 && (a56 == 4 && a193 == 33 && a56 == 4) && (a56 == 4 && (a193 == 33 && (cf == 1 && input == 4))) {
cf = 0
a43 = 34
a193 = 32
a56 = 5
a152 = 5
final_output = 25
}
}
// calculate_outputm13 - transpiled function from /tmp/Problem1.c:182
func calculate_outputm13(input int) {
if a193 == 33 && (a56 == 4 && a193 == 33 && a56 == 4 && a56 == 4) && (input == 3 && cf == 1 && a56 == 4) {
cf = 0
a43 = 36
a56 = 5
a193 = 32
a152 = 5
final_output = 25
}
if a193 == 33 && (a56 == 4 && a193 == 33) && a56 == 4 && (input == 4 && cf == 1 && a193 == 33 && a56 == 4) {
cf = 0
a43 = 36
a56 = 5
a193 = 32
a152 = 5
final_output = 25
}
if a193 == 33 && (a56 == 4 && (input == 5 && cf == 1)) && a193 == 33 && a56 == 4 && a193 == 33 && a193 == 33 {
cf = 0
a43 = 36
a193 = 32
a56 = 5
a152 = 5
final_output = 25
}
}
// calculate_outputm14 - transpiled function from /tmp/Problem1.c:208
func calculate_outputm14(input int) {
if a193 == 32 && (input == 1 && cf == 1 && a193 == 32 && a193 == 32) && (a193 == 32 && (a56 == 5 && a56 == 5)) {
cf = 0
a43 = 36
a152 = 5
final_output = 25
}
}
// calculate_output - transpiled function from /tmp/Problem1.c:217
func calculate_output(input int) {
cf = 1
if a56 == 4 && (a56 == 4 && a193 == 33) && (a56 == 4 && (a56 == 4 && (a152 == 4 && cf == 1 && a56 == 4))) {
if a159 == 32 && cf == 1 && a193 == 33 && (a56 == 4 && (a193 == 33 && a193 == 33 && a56 == 4 && a193 == 33)) {
calculate_outputm1(input)
}
if a193 == 33 && (a56 == 4 && (a56 == 4 && a193 == 33) && a193 == 33) && (a193 == 33 && (cf == 1 && a159 == 34)) {
calculate_outputm2(input)
}
if a193 == 33 && (cf == 1 && a159 == 35 && a193 == 33) && (a56 == 4 && (a56 == 4 && (a193 == 33 && a56 == 4))) {
calculate_outputm3(input)
}
}
if a56 == 5 && (cf == 1 && a152 == 5) && (a193 == 32 && (a56 == 5 && a193 == 32 && a56 == 5) && a56 == 5) {
if a193 == 32 && a193 == 32 && a56 == 5 && (a193 == 32 && (cf == 1 && a43 == 34 && a193 == 32) && a193 == 32) {
calculate_outputm4(input)
}
if a193 == 32 && (cf == 1 && a43 == 36) && a193 == 32 && a193 == 32 && (a56 == 5 && a193 == 32 && a56 == 5) {
calculate_outputm5(input)
}
}
if a56 == 6 && (a193 == 34 && (a56 == 6 && a193 == 34 && a56 == 6)) && (a152 == 6 && cf == 1 && a56 == 6) {
if a193 == 34 && (a56 == 6 && a193 == 34) && (a193 == 34 && (cf == 1 && a8 == 5 && a193 == 34 && a56 == 6)) {
calculate_outputm6(input)
}
if a56 == 6 && (a193 == 34 && (cf == 1 && a8 == 6)) && (a193 == 34 && (a56 == 6 && (a56 == 6 && a56 == 6))) {
calculate_outputm7(input)
}
}
if a56 == 6 && (cf == 1 && a152 == 7) && (a56 == 6 && (a193 == 34 && (a193 == 34 && (a56 == 6 && a193 == 34)))) {
if a56 == 6 && (a193 == 34 && a193 == 34) && a56 == 6 && a193 == 34 && (a56 == 6 && (a43 == 32 && cf == 1)) {
calculate_outputm8(input)
}
if a56 == 6 && (a193 == 34 && (a56 == 6 && a56 == 6)) && (a43 == 34 && cf == 1 && a56 == 6 && a193 == 34) {
calculate_outputm9(input)
}
}
if a193 == 33 && a193 == 33 && a56 == 4 && (a193 == 33 && (a193 == 33 && (cf == 1 && a152 == 8)) && a193 == 33) {
if a193 == 33 && (a56 == 4 && (cf == 1 && a43 == 32) && a56 == 4) && a56 == 4 && (a193 == 33 && a193 == 33) {
calculate_outputm10(input)
}
if a56 == 4 && (a193 == 33 && (a43 == 35 && cf == 1)) && (a56 == 4 && (a56 == 4 && a193 == 33) && a56 == 4) {
calculate_outputm11(input)
}
if a43 == 36 && cf == 1 && a193 == 33 && (a193 == 33 && (a193 == 33 && a56 == 4) && a193 == 33 && a56 == 4) {
calculate_outputm12(input)
}
}
if a56 == 4 && a56 == 4 && (a56 == 4 && (a193 == 33 && (cf == 1 && a152 == 9 && a193 == 33) && a56 == 4)) {
if a193 == 33 && (a56 == 4 && a193 == 33) && a193 == 33 && (a193 == 33 && (cf == 1 && a136 == 36 && a193 == 33)) {
calculate_outputm13(input)
}
}
if a193 == 32 && (a193 == 32 && (cf == 1 && a152 == 11 && a193 == 32)) && (a56 == 5 && (a193 == 32 && a56 == 5)) {
if a193 == 32 && (a193 == 32 && (a56 == 5 && (a159 == 36 && cf == 1 && a56 == 5 && a56 == 5 && a193 == 32))) {
calculate_outputm14(input)
}
}
errorCheck()
if cf == 1 {
}
}
// main - transpiled function from /tmp/Problem1.c:282
func main() {
for 1 != 0 {
var __RERS__ int
// REMOVED
// main i/o-loop
// read input
__RERS__ = __RERS__ + 1
if __RERS__ != 2 && __RERS__ != 5 && __RERS__ != 1 && __RERS__ != 3 && __RERS__ != 4 {
// operate eca engine
break
}
calculate_output(__RERS__)
}
}
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
//
// Package - transpiled by c4go
//
// If you have found any issues, please raise an issue at:
// https://github.com/Konstantin8105/c4go/
//
package main
// final_output - transpiled function from /tmp/Problem1.c:4
var final_output int
// inputs - transpiled function from /tmp/Problem1.c:9
var inputs []int = []int{2, 5, 3, 1, 4}
// a52 - transpiled function from /tmp/Problem1.c:35
var a52 int = 9
// a176 - transpiled function from /tmp/Problem1.c:36
var a176 int = 7
// a166 - transpiled function from /tmp/Problem1.c:37
var a166 int = 33
// cf - transpiled function from /tmp/Problem1.c:38
var cf int = 1
// a167 - transpiled function from /tmp/Problem1.c:39
var a167 int = 33
// a62 - transpiled function from /tmp/Problem1.c:40
var a62 int = 32
// a175 - transpiled function from /tmp/Problem1.c:41
var a175 int = 6
// __VERIFIER_error - transpiled function from /tmp/Problem1.c:6
func __VERIFIER_error(n int) {
// outputs
{
}
}
// errorCheck - transpiled function from /tmp/Problem1.c:44
func errorCheck() {
// inputs
{
}
}
// calculate_outputm1 - transpiled function from /tmp/Problem1.c:47
func calculate_outputm1(input int) {
if a166 == 33 && cf == 1 && input == 3 && a176 == 6 {
cf = 0
a166 = 32
a52 = 11
final_output = 25
}
if a166 == 33 && (cf == 1 && a176 == 6) && input == 4 {
cf = 0
a166 = 34
a167 = 34
final_output = 23
}
if input == 5 && (a166 == 33 && cf == 1 && a176 == 6) {
cf = 0
a176 = 11
final_output = 24
}
}
// calculate_outputm2 - transpiled function from /tmp/Problem1.c:66
func calculate_outputm2(input int) {
if input == 4 && (a166 == 33 && cf == 1 && a176 == 7) {
cf = 0
a176 = 11
final_output = 25
}
}
// calculate_outputm3 - transpiled function from /tmp/Problem1.c:73
func calculate_outputm3(input int) {
if input == 3 && (a176 == 8 && cf == 1) && a166 == 33 {
cf = 0
a166 = 35
a175 = 6
final_output = 19
}
}
// calculate_outputm4 - transpiled function from /tmp/Problem1.c:81
func calculate_outputm4(input int) {
if input == 2 && (a176 == 10 && (a166 == 33 && cf == 1)) {
cf = 0
a166 = 36
a62 = 35
final_output = 25
}
}
// calculate_outputm5 - transpiled function from /tmp/Problem1.c:89
func calculate_outputm5(input int) {
if cf == 1 && a166 == 33 && a176 == 11 && input == 3 {
cf = 0
a166 = 36
a62 = 33
final_output = 21
}
}
// calculate_outputm6 - transpiled function from /tmp/Problem1.c:97
func calculate_outputm6(input int) {
if cf == 1 && a176 == 12 && input == 5 && a166 == 33 {
cf = 0
a176 = 8
final_output = 26
}
if cf == 1 && a176 == 12 && a166 == 33 && input == 3 {
cf = 0
a166 = 32
a52 = 8
final_output = 19
}
}
// calculate_outputm7 - transpiled function from /tmp/Problem1.c:110
func calculate_outputm7(input int) {
if a166 == 32 && (a52 == 5 && cf == 1) && input == 5 {
cf = 0
a166 = 34
a167 = 33
final_output = 26
}
if a166 == 32 && (a52 == 5 && cf == 1) && input == 2 {
cf = 0
a52 = 7
final_output = 26
}
}
// calculate_outputm8 - transpiled function from /tmp/Problem1.c:123
func calculate_outputm8(input int) {
if input == 5 && (cf == 1 && a166 == 32) && a52 == 7 {
cf = 0
a166 = 33
a176 = 11
final_output = 25
}
if cf == 1 && a52 == 7 && input == 4 && a166 == 32 {
cf = 0
a166 = 34
a167 = 32
final_output = 21
}
}
// calculate_outputm9 - transpiled function from /tmp/Problem1.c:137
func calculate_outputm9(input int) {
if input == 2 && (cf == 1 && a166 == 32 && a52 == 8) {
cf = 0
a166 = 34
a167 = 34
final_output = 23
}
if a166 == 32 && (a52 == 8 && (cf == 1 && input == 4)) {
cf = 0
final_output = 19
}
if a52 == 8 && (a166 == 32 && cf == 1) && input == 5 {
cf = 0
a166 = 33
a176 = 6
final_output = 26
}
}
// calculate_outputm10 - transpiled function from /tmp/Problem1.c:156
func calculate_outputm10(input int) {
if a166 == 32 && (a52 == 9 && cf == 1) && input == 4 {
cf = 0
a166 = 33
a176 = 6
final_output = 21
}
}
// calculate_outputm11 - transpiled function from /tmp/Problem1.c:164
func calculate_outputm11(input int) {
if a166 == 32 && (cf == 1 && a52 == 11) && input == 3 {
cf = 0
final_output = 25
}
}
// calculate_outputm12 - transpiled function from /tmp/Problem1.c:171
func calculate_outputm12(input int) {
if input == 3 && (cf == 1 && a167 == 33 && a166 == 34) {
cf = 0
a166 = 32
a52 = 5
final_output = 21
}
if a166 == 34 && (input == 4 && (cf == 1 && a167 == 33)) {
cf = 0
a166 = 33
a176 = 10
final_output = 23
}
if cf == 1 && a166 == 34 && input == 2 && a167 == 33 {
cf = 0
a166 = 36
a62 = 33
final_output = 21
}
}
// calculate_outputm13 - transpiled function from /tmp/Problem1.c:191
func calculate_outputm13(input int) {
if cf == 1 && input == 4 && a166 == 34 && a167 == 32 {
cf = 0
a166 = 32
a52 = 7
final_output = 21
}
if cf == 1 && a166 == 34 && input == 5 && a167 == 32 {
cf = 0
a166 = 32
a52 = 8
final_output = 24
}
if a166 == 34 && (input == 3 && (a167 == 32 && cf == 1)) {
cf = 0
a166 = 35
a175 = 4
final_output = 23
}
}
// calculate_outputm14 - transpiled function from /tmp/Problem1.c:211
func calculate_outputm14(input int) {