lucasalegre / aig Goto Github PK

Running with parameters 2 1:

marcelo@logics-lab ~/git/AIG/Debug $ ./AIG C17 2 1
Id: 0
name:
Id: 19
name:
Id: 23
name:
Id: 0
name:
Id: 0
name:
Id: 0
name:
Id: 0
name:
in0: 0 inv? 0
in1: 0 inv? 0
Id: 0
name:
in0: 0 inv? 0
in1: 0 inv? 0
Id: 0
name:
in0: 0 inv? 0
in1: 0 inv? 0
Id: 0
name:
in0: 0 inv? 0
in1: 0 inv? 0
Id: 0
name:
in0: 0 inv? 0
in1: 0 inv? 0
Id: 0
name:
in0: 0 inv? 0
in1: 0 inv? 0
Id: 0
name:
in0: 0 inv? 0
Id: 0
name:
in0: 0 inv? 0

Running with parameters 2 2:

marcelo@logics-lab ~/git/AIG/Debug $ ./AIG C17 2 2
Id: 0
name:
s0: 0 inv? 0
s1: 0 inv? 0
s2: 0 inv? 0
s3: 0 inv? 0
s4: 0 inv? 0
s5: 0 inv? 0
s6: 0 inv? 0
s7: 0 inv? 0
s8: 0 inv? 0
s9: 0 inv? 0
s10: 0 inv? 0
s11: 0 inv? 0
s12: 0 inv? 0
s13: 0 inv? 0
Id: 19
name:
Id: 23
name:
Id: 0
name:
Id: 0
name:
Id: 0
name:
Id: 0
name:
in0: 0 inv? 0
in1: 0 inv? 0

Id: 0
name:
in0: 0 inv? 0
in1: 0 inv? 0

Id: 0
name:
in0: 0 inv? 0
in1: 0 inv? 0

Id: 0
name:
in0: 0 inv? 0
in1: 0 inv? 0

Id: 0
name:
in0: 0 inv? 0
in1: 0 inv? 0

Id: 0
name:
in0: 0 inv? 0
in1: 0 inv? 0

Id: 0
name:
in0: 0 inv? 0
Id: 0
name:
in0: 0 inv? 0

This is necessary because we intend to test with nodes with different names to show in different orders (random, dfs, bfs) to validate if this can influence the overall program performance.