RevLib.log

Batch Execution Summary
==================================================

--- Execution for max46_240_our.qasm (2025-04-12 03:43:38.108611) ---
Command: python main_scale.py --input ./Benchmarks/RevLib/max46_240_our.qasm --output ./Outputs/results/RevLib_both/max46_240_our.qasm --log ./Outputs/results/RevLib_both/max46_240_our.log --mode all
Start time: 2025-04-12 03:43:38.108611
End time: 2025-04-12 03:43:42.044650
Standard Output:
round:  0
Canonical edges: [(0, 1), (1, 18), (2, 3), (3, 18), (4, 5), (5, 17), (6, 7), (7, 18), (8, 9), (9, 19), (10, 11), (11, 18), (12, 13), (13, 20), (14, 15), (15, 22), (16, 19), (17, 18), (18, 19), (19, 21), (20, 21), (21, 22), (21, 23), (22, 24), (23, 24), (24, 25), (24, 26), (24, 27), (25, 28), (26, 28), (27, 28), (28, 29), (28, 30), (30, 31)]
Set parameter Username
Set parameter LicenseID to value 2636017
Academic license - for non-commercial use only - expires 2026-03-13
variables:  84
Number of constraints:  508
False number:  0
a:  {1: 3, 2: 6, 3: 5, 4: 1, 5: 8, 6: 4, 7: 2}
remain:  [0, 7, 9]
add edge: 1 4
add edge: 3 10
add edge: 5 8
add edge: 7 0
add edge: 9 14
add edge: 11 6
add edge: 13 2
round:  1
Canonical edges: [(0, 1), (1, 18), (1, 4), (2, 3), (3, 18), (3, 10), (4, 5), (5, 17), (5, 8), (6, 7), (7, 18), (7, 0), (8, 9), (9, 19), (9, 14), (10, 11), (11, 18), (11, 6), (12, 13), (13, 20), (13, 2), (14, 15), (15, 22), (16, 19), (17, 18), (18, 19), (19, 21), (20, 21), (21, 22), (21, 23), (22, 24), (23, 24), (24, 25), (24, 26), (24, 27), (25, 28), (26, 28), (27, 28), (28, 29), (28, 30), (30, 31)]
variables:  14
Number of constraints:  34
False number:  0
a:  {1: 3, 2: 6, 3: 5, 4: 1, 5: 8, 6: 4, 7: 2, 8: 0}
remain:  [7, 9]
add edge: 15 18
round:  2
Canonical edges: [(0, 1), (1, 18), (1, 4), (2, 3), (3, 18), (3, 10), (4, 5), (5, 17), (5, 8), (6, 7), (7, 18), (7, 0), (8, 9), (9, 19), (9, 14), (10, 11), (11, 18), (11, 6), (12, 13), (13, 20), (13, 2), (14, 15), (15, 22), (15, 18), (16, 19), (17, 18), (18, 19), (19, 21), (20, 21), (21, 22), (21, 23), (22, 24), (23, 24), (24, 25), (24, 26), (24, 27), (25, 28), (26, 28), (27, 28), (28, 29), (28, 30), (30, 31)]
a:  {1: 3, 2: 6, 3: 5, 4: 1, 5: 8, 6: 4, 7: 2, 8: 0}
remain:  [7, 9]
reuseNum:  8
q_num:  2
total time:  1.5963914394378662 s

Standard Error:


--- Execution for rd53_130_our.qasm (2025-04-12 03:43:42.046062) ---
Command: python main_scale.py --input ./Benchmarks/RevLib/rd53_130_our.qasm --output ./Outputs/results/RevLib_both/rd53_130_our.qasm --log ./Outputs/results/RevLib_both/rd53_130_our.log --mode all
Start time: 2025-04-12 03:43:42.046062
End time: 2025-04-12 03:43:44.738349
Standard Output:
round:  0
Canonical edges: [(0, 1), (1, 11), (2, 3), (3, 10), (4, 10), (4, 11), (5, 6), (6, 10), (7, 11), (8, 11), (9, 11), (10, 12), (10, 16), (10, 17), (11, 12), (11, 13), (11, 14), (11, 18), (12, 20), (12, 26), (13, 15), (14, 15), (15, 19), (15, 21), (15, 25), (16, 18), (17, 18), (18, 22), (18, 23), (18, 24), (19, 22), (19, 26), (20, 22), (20, 25), (21, 22), (21, 26), (22, 27), (23, 25), (23, 26), (24, 25), (24, 26), (25, 27), (25, 33), (25, 34), (26, 27), (26, 33), (26, 34), (27, 28), (27, 29), (27, 39), (28, 30), (29, 31), (30, 31), (31, 32), (31, 40), (32, 35), (33, 35), (34, 35), (35, 36), (35, 37), (36, 38), (37, 38), (38, 41), (38, 45), (39, 41), (40, 43), (41, 42), (43, 44), (45, 46)]
Set parameter Username
Set parameter LicenseID to value 2636017
Academic license - for non-commercial use only - expires 2026-03-13
variables:  75
Number of constraints:  350
False number:  0
a:  {0: 5, 1: 4, 3: 6}
remain:  [0, 1, 2, 3]
add edge: 1 8
add edge: 3 7
add edge: 6 9
round:  1
Canonical edges: [(0, 1), (1, 11), (1, 8), (2, 3), (3, 10), (3, 7), (4, 10), (4, 11), (5, 6), (6, 10), (6, 9), (7, 11), (8, 11), (9, 11), (10, 12), (10, 16), (10, 17), (11, 12), (11, 13), (11, 14), (11, 18), (12, 20), (12, 26), (13, 15), (14, 15), (15, 19), (15, 21), (15, 25), (16, 18), (17, 18), (18, 22), (18, 23), (18, 24), (19, 22), (19, 26), (20, 22), (20, 25), (21, 22), (21, 26), (22, 27), (23, 25), (23, 26), (24, 25), (24, 26), (25, 27), (25, 33), (25, 34), (26, 27), (26, 33), (26, 34), (27, 28), (27, 29), (27, 39), (28, 30), (29, 31), (30, 31), (31, 32), (31, 40), (32, 35), (33, 35), (34, 35), (35, 36), (35, 37), (36, 38), (37, 38), (38, 41), (38, 45), (39, 41), (40, 43), (41, 42), (43, 44), (45, 46)]
a:  {0: 5, 1: 4, 3: 6}
remain:  [0, 1, 2, 3]
reuseNum:  3
q_num:  4
total time:  1.2629375457763672 s

Standard Error:


--- Execution for sym6_145_our.qasm (2025-04-12 03:43:44.739650) ---
Command: python main_scale.py --input ./Benchmarks/RevLib/sym6_145_our.qasm --output ./Outputs/results/RevLib_both/sym6_145_our.qasm --log ./Outputs/results/RevLib_both/sym6_145_our.log --mode all
Start time: 2025-04-12 03:43:44.739650
End time: 2025-04-12 03:43:48.308426
Standard Output:
round:  0
Canonical edges: [(0, 1), (1, 13), (2, 3), (3, 12), (4, 5), (5, 12), (6, 7), (7, 12), (8, 9), (9, 12), (10, 11), (11, 12), (12, 13), (13, 14), (14, 15), (15, 16), (15, 17), (16, 18), (17, 18), (18, 19), (18, 20), (18, 21), (18, 22), (19, 23), (20, 23), (21, 23), (22, 23), (23, 24), (23, 25), (23, 26), (23, 27), (23, 28), (23, 29), (23, 30), (23, 31), (24, 32), (25, 32), (26, 32), (27, 32), (28, 32), (29, 32), (30, 32), (31, 32), (32, 33), (32, 34), (32, 35), (32, 36), (32, 37), (32, 38), (32, 39), (32, 40), (32, 41), (32, 42), (32, 43), (32, 44), (32, 45), (32, 46), (32, 47), (33, 48), (34, 48), (35, 48), (36, 48), (37, 48), (38, 48), (39, 48), (40, 48), (41, 48), (42, 48), (43, 48), (44, 48), (45, 48), (46, 48), (47, 48), (48, 49)]
Set parameter Username
Set parameter LicenseID to value 2636017
Academic license - for non-commercial use only - expires 2026-03-13
variables:  226
Number of constraints:  1292
False number:  0
a:  {0: 2, 1: 3, 2: 5, 3: 4, 4: 0, 5: 6}
remain:  [1]
add edge: 1 4
add edge: 3 6
add edge: 5 10
add edge: 7 8
add edge: 9 0
round:  1
Canonical edges: [(0, 1), (1, 13), (1, 4), (2, 3), (3, 12), (3, 6), (4, 5), (5, 12), (5, 10), (6, 7), (7, 12), (7, 8), (8, 9), (9, 12), (9, 0), (10, 11), (11, 12), (12, 13), (13, 14), (14, 15), (15, 16), (15, 17), (16, 18), (17, 18), (18, 19), (18, 20), (18, 21), (18, 22), (19, 23), (20, 23), (21, 23), (22, 23), (23, 24), (23, 25), (23, 26), (23, 27), (23, 28), (23, 29), (23, 30), (23, 31), (24, 32), (25, 32), (26, 32), (27, 32), (28, 32), (29, 32), (30, 32), (31, 32), (32, 33), (32, 34), (32, 35), (32, 36), (32, 37), (32, 38), (32, 39), (32, 40), (32, 41), (32, 42), (32, 43), (32, 44), (32, 45), (32, 46), (32, 47), (33, 48), (34, 48), (35, 48), (36, 48), (37, 48), (38, 48), (39, 48), (40, 48), (41, 48), (42, 48), (43, 48), (44, 48), (45, 48), (46, 48), (47, 48), (48, 49)]
a:  {0: 2, 1: 3, 2: 5, 3: 4, 4: 0, 5: 6}
remain:  [1]
reuseNum:  6
q_num:  1
total time:  2.038944721221924 s

Standard Error:


--- Execution for sqn_258_our.qasm (2025-04-12 03:43:48.309850) ---
Command: python main_scale.py --input ./Benchmarks/RevLib/sqn_258_our.qasm --output ./Outputs/results/RevLib_both/sqn_258_our.qasm --log ./Outputs/results/RevLib_both/sqn_258_our.log --mode all
Start time: 2025-04-12 03:43:48.309850
End time: 2025-04-12 03:43:52.898399
Standard Output:
round:  0
Canonical edges: [(0, 1), (1, 13), (2, 3), (3, 12), (4, 5), (5, 11), (6, 7), (7, 15), (8, 12), (9, 12), (10, 14), (11, 12), (12, 14), (13, 14), (14, 15), (15, 16), (16, 17), (17, 18), (17, 19), (18, 21), (19, 20), (20, 21), (20, 25), (21, 22), (21, 23), (22, 24), (23, 24), (24, 26), (25, 26), (26, 27), (27, 28), (28, 29), (29, 30), (30, 31), (30, 33), (30, 37), (31, 32), (32, 34), (33, 34), (34, 35), (34, 36), (35, 38), (35, 39), (36, 40), (37, 38), (37, 39), (38, 40), (39, 40), (40, 41), (41, 42), (42, 43), (42, 45), (43, 44), (44, 46), (45, 46), (46, 47), (47, 48), (48, 49), (48, 50), (48, 51), (48, 52), (48, 73), (49, 54), (49, 55), (50, 53), (51, 54), (51, 55), (52, 53), (52, 54), (52, 55), (53, 56), (54, 56), (55, 56), (56, 57), (56, 58), (57, 59), (57, 60), (58, 59), (58, 60), (59, 63), (60, 61), (61, 62), (62, 63), (63, 64), (64, 65), (64, 66), (65, 67), (66, 67), (67, 68), (68, 69), (68, 70), (68, 71), (69, 75), (70, 74), (71, 72), (72, 74), (73, 74), (74, 75), (75, 76), (75, 79), (76, 77), (76, 81), (77, 78), (77, 80), (79, 80), (80, 82), (80, 84), (81, 83), (82, 83), (83, 85), (84, 85), (85, 86), (86, 87), (86, 88), (88, 89), (88, 90), (88, 92), (88, 94), (90, 91), (92, 93), (94, 95)]
Set parameter Username
Set parameter LicenseID to value 2636017
Academic license - for non-commercial use only - expires 2026-03-13
variables:  112
Number of constraints:  912
False number:  0
a:  {3: 0, 4: 1, 5: 2, 6: 7}
remain:  [3, 4, 5, 6, 8, 9]
add edge: 7 8
round:  1
Canonical edges: [(0, 1), (1, 13), (2, 3), (3, 12), (4, 5), (5, 11), (6, 7), (7, 15), (7, 8), (8, 12), (9, 12), (10, 14), (11, 12), (12, 14), (13, 14), (14, 15), (15, 16), (16, 17), (17, 18), (17, 19), (18, 21), (19, 20), (20, 21), (20, 25), (21, 22), (21, 23), (22, 24), (23, 24), (24, 26), (25, 26), (26, 27), (27, 28), (28, 29), (29, 30), (30, 31), (30, 33), (30, 37), (31, 32), (32, 34), (33, 34), (34, 35), (34, 36), (35, 38), (35, 39), (36, 40), (37, 38), (37, 39), (38, 40), (39, 40), (40, 41), (41, 42), (42, 43), (42, 45), (43, 44), (44, 46), (45, 46), (46, 47), (47, 48), (48, 49), (48, 50), (48, 51), (48, 52), (48, 73), (49, 54), (49, 55), (50, 53), (51, 54), (51, 55), (52, 53), (52, 54), (52, 55), (53, 56), (54, 56), (55, 56), (56, 57), (56, 58), (57, 59), (57, 60), (58, 59), (58, 60), (59, 63), (60, 61), (61, 62), (62, 63), (63, 64), (64, 65), (64, 66), (65, 67), (66, 67), (67, 68), (68, 69), (68, 70), (68, 71), (69, 75), (70, 74), (71, 72), (72, 74), (73, 74), (74, 75), (75, 76), (75, 79), (76, 77), (76, 81), (77, 78), (77, 80), (79, 80), (80, 82), (80, 84), (81, 83), (82, 83), (83, 85), (84, 85), (85, 86), (86, 87), (86, 88), (88, 89), (88, 90), (88, 92), (88, 94), (90, 91), (92, 93), (94, 95)]
a:  {3: 0, 4: 1, 5: 2, 6: 7}
remain:  [3, 4, 5, 6, 8, 9]
reuseNum:  4
q_num:  6
total time:  3.0812690258026123 s

Standard Error:


--- Execution for radd_250_our.qasm (2025-04-12 03:43:52.899809) ---
Command: python main_scale.py --input ./Benchmarks/RevLib/radd_250_our.qasm --output ./Outputs/results/RevLib_both/radd_250_our.qasm --log ./Outputs/results/RevLib_both/radd_250_our.log --mode all
Start time: 2025-04-12 03:43:52.899809
End time: 2025-04-12 03:43:56.689968
Standard Output:
round:  0
Canonical edges: [(0, 1), (1, 18), (1, 19), (1, 20), (2, 3), (3, 15), (3, 16), (3, 17), (3, 20), (3, 28), (3, 29), (4, 5), (5, 12), (5, 13), (5, 14), (5, 22), (5, 23), (5, 25), (5, 26), (5, 29), (6, 11), (6, 28), (7, 17), (7, 18), (7, 19), (8, 12), (8, 15), (8, 16), (8, 17), (8, 20), (9, 11), (9, 12), (9, 13), (9, 14), (9, 22), (9, 23), (9, 25), (9, 26), (9, 28), (9, 29), (10, 11), (10, 28), (11, 32), (12, 32), (12, 34), (13, 32), (14, 32), (15, 30), (15, 34), (16, 30), (16, 34), (17, 24), (18, 21), (18, 24), (19, 21), (19, 24), (20, 21), (21, 22), (21, 23), (21, 27), (22, 32), (22, 34), (23, 30), (24, 25), (24, 26), (24, 27), (25, 30), (26, 32), (26, 34), (27, 32), (28, 30), (29, 30), (30, 31), (31, 32), (32, 33), (33, 35), (34, 35), (35, 36), (35, 38), (36, 37), (36, 39), (36, 40), (36, 43), (36, 66), (37, 41), (38, 39), (38, 40), (39, 41), (40, 41), (41, 42), (42, 44), (42, 45), (42, 46), (43, 44), (43, 45), (43, 46), (44, 47), (45, 47), (46, 47), (47, 48), (48, 49), (48, 50), (48, 68), (48, 70), (50, 51), (50, 52), (50, 53), (50, 54), (51, 57), (51, 64), (52, 55), (52, 64), (53, 55), (53, 64), (54, 55), (54, 64), (55, 56), (55, 58), (55, 60), (55, 62), (56, 57), (56, 72), (58, 59), (58, 72), (60, 61), (60, 72), (62, 63), (62, 72), (64, 65), (66, 67), (68, 69), (70, 71), (72, 73)]
Set parameter Username
Set parameter LicenseID to value 2636017
Academic license - for non-commercial use only - expires 2026-03-13
variables:  199
Number of constraints:  626
False number:  0
a:  {0: 4, 5: 7, 6: 0, 7: 3}
remain:  [1, 2, 5, 6, 8, 9, 10, 11, 12]
add edge: 49 51
add edge: 49 56
add edge: 1 4
add edge: 3 19
round:  1
Canonical edges: [(0, 1), (1, 18), (1, 19), (1, 20), (1, 4), (2, 3), (3, 15), (3, 16), (3, 17), (3, 20), (3, 28), (3, 29), (3, 19), (4, 5), (5, 12), (5, 13), (5, 14), (5, 22), (5, 23), (5, 25), (5, 26), (5, 29), (6, 11), (6, 28), (7, 17), (7, 18), (7, 19), (8, 12), (8, 15), (8, 16), (8, 17), (8, 20), (9, 11), (9, 12), (9, 13), (9, 14), (9, 22), (9, 23), (9, 25), (9, 26), (9, 28), (9, 29), (10, 11), (10, 28), (11, 32), (12, 32), (12, 34), (13, 32), (14, 32), (15, 30), (15, 34), (16, 30), (16, 34), (17, 24), (18, 21), (18, 24), (19, 21), (19, 24), (20, 21), (21, 22), (21, 23), (21, 27), (22, 32), (22, 34), (23, 30), (24, 25), (24, 26), (24, 27), (25, 30), (26, 32), (26, 34), (27, 32), (28, 30), (29, 30), (30, 31), (31, 32), (32, 33), (33, 35), (34, 35), (35, 36), (35, 38), (36, 37), (36, 39), (36, 40), (36, 43), (36, 66), (37, 41), (38, 39), (38, 40), (39, 41), (40, 41), (41, 42), (42, 44), (42, 45), (42, 46), (43, 44), (43, 45), (43, 46), (44, 47), (45, 47), (46, 47), (47, 48), (48, 49), (48, 50), (48, 68), (48, 70), (49, 51), (49, 56), (50, 51), (50, 52), (50, 53), (50, 54), (51, 57), (51, 64), (52, 55), (52, 64), (53, 55), (53, 64), (54, 55), (54, 64), (55, 56), (55, 58), (55, 60), (55, 62), (56, 57), (56, 72), (58, 59), (58, 72), (60, 61), (60, 72), (62, 63), (62, 72), (64, 65), (66, 67), (68, 69), (70, 71), (72, 73)]
a:  {0: 4, 5: 7, 6: 0, 7: 3}
remain:  [1, 2, 5, 6, 8, 9, 10, 11, 12]
reuseNum:  4
q_num:  9
total time:  2.225315570831299 s

Standard Error:


--- Execution for rd73_252_our.qasm (2025-04-12 03:43:56.691509) ---
Command: python main_scale.py --input ./Benchmarks/RevLib/rd73_252_our.qasm --output ./Outputs/results/RevLib_both/rd73_252_our.qasm --log ./Outputs/results/RevLib_both/rd73_252_our.log --mode all
Start time: 2025-04-12 03:43:56.691509
End time: 2025-04-12 03:44:00.995896
Standard Output:
round:  0
Canonical edges: [(0, 1), (1, 27), (1, 28), (2, 3), (3, 15), (3, 16), (3, 17), (3, 20), (4, 5), (5, 20), (5, 21), (5, 22), (5, 27), (5, 28), (6, 7), (7, 11), (7, 12), (7, 18), (7, 19), (8, 16), (8, 17), (8, 23), (8, 25), (8, 26), (9, 11), (9, 12), (9, 13), (9, 14), (9, 15), (10, 13), (10, 14), (10, 21), (10, 22), (10, 23), (11, 24), (12, 24), (13, 24), (14, 24), (15, 24), (16, 29), (17, 29), (18, 29), (19, 29), (20, 30), (21, 29), (22, 29), (23, 29), (24, 25), (24, 26), (24, 27), (24, 28), (25, 29), (26, 29), (27, 29), (28, 29), (29, 30), (30, 31), (30, 34), (31, 32), (31, 36), (31, 37), (32, 33), (32, 35), (32, 38), (33, 39), (34, 35), (34, 36), (34, 37), (34, 38), (35, 39), (36, 39), (37, 39), (38, 39), (39, 40), (40, 41), (40, 42), (41, 43), (42, 43), (43, 44), (43, 51), (44, 45), (45, 46), (45, 52), (45, 53), (45, 54), (45, 55), (46, 47), (46, 48), (46, 49), (47, 50), (48, 50), (49, 50), (50, 58), (50, 59), (51, 52), (51, 53), (51, 54), (51, 55), (52, 57), (53, 57), (54, 56), (55, 60), (56, 58), (56, 59), (57, 58), (57, 59), (58, 60), (59, 60), (60, 61), (61, 62), (61, 67), (62, 63), (63, 64), (63, 70), (64, 65), (64, 66), (65, 68), (65, 69), (66, 68), (66, 69), (67, 68), (67, 69), (67, 70), (68, 71), (69, 71), (70, 74), (70, 78), (71, 72), (72, 73), (72, 76), (73, 74), (74, 75), (74, 79), (75, 80), (76, 77), (76, 79), (77, 78), (77, 80), (79, 80), (80, 81), (81, 82), (81, 84), (82, 83), (83, 85), (84, 85), (85, 86), (86, 87), (86, 88), (86, 91), (87, 92), (88, 89), (89, 90), (89, 92), (91, 92), (92, 93), (92, 94), (92, 96), (92, 98), (94, 95), (96, 97), (98, 99)]
Set parameter Username
Set parameter LicenseID to value 2636017
Academic license - for non-commercial use only - expires 2026-03-13
variables:  224
Number of constraints:  1159
False number:  0
a:  {3: 0, 4: 1, 5: 3, 6: 5}
remain:  [2, 4, 6, 7, 8, 9]
add edge: 1 12
add edge: 1 14
add edge: 1 17
add edge: 3 19
add edge: 3 22
add edge: 5 0
add edge: 7 4
round:  1
Canonical edges: [(0, 1), (1, 27), (1, 28), (1, 12), (1, 14), (1, 17), (2, 3), (3, 15), (3, 16), (3, 17), (3, 20), (3, 19), (3, 22), (4, 5), (5, 20), (5, 21), (5, 22), (5, 27), (5, 28), (5, 0), (6, 7), (7, 11), (7, 12), (7, 18), (7, 19), (7, 4), (8, 16), (8, 17), (8, 23), (8, 25), (8, 26), (9, 11), (9, 12), (9, 13), (9, 14), (9, 15), (10, 13), (10, 14), (10, 21), (10, 22), (10, 23), (11, 24), (12, 24), (13, 24), (14, 24), (15, 24), (16, 29), (17, 29), (18, 29), (19, 29), (20, 30), (21, 29), (22, 29), (23, 29), (24, 25), (24, 26), (24, 27), (24, 28), (25, 29), (26, 29), (27, 29), (28, 29), (29, 30), (30, 31), (30, 34), (31, 32), (31, 36), (31, 37), (32, 33), (32, 35), (32, 38), (33, 39), (34, 35), (34, 36), (34, 37), (34, 38), (35, 39), (36, 39), (37, 39), (38, 39), (39, 40), (40, 41), (40, 42), (41, 43), (42, 43), (43, 44), (43, 51), (44, 45), (45, 46), (45, 52), (45, 53), (45, 54), (45, 55), (46, 47), (46, 48), (46, 49), (47, 50), (48, 50), (49, 50), (50, 58), (50, 59), (51, 52), (51, 53), (51, 54), (51, 55), (52, 57), (53, 57), (54, 56), (55, 60), (56, 58), (56, 59), (57, 58), (57, 59), (58, 60), (59, 60), (60, 61), (61, 62), (61, 67), (62, 63), (63, 64), (63, 70), (64, 65), (64, 66), (65, 68), (65, 69), (66, 68), (66, 69), (67, 68), (67, 69), (67, 70), (68, 71), (69, 71), (70, 74), (70, 78), (71, 72), (72, 73), (72, 76), (73, 74), (74, 75), (74, 79), (75, 80), (76, 77), (76, 79), (77, 78), (77, 80), (79, 80), (80, 81), (81, 82), (81, 84), (82, 83), (83, 85), (84, 85), (85, 86), (86, 87), (86, 88), (86, 91), (87, 92), (88, 89), (89, 90), (89, 92), (91, 92), (92, 93), (92, 94), (92, 96), (92, 98), (94, 95), (96, 97), (98, 99)]
a:  {3: 0, 4: 1, 5: 3, 6: 5}
remain:  [2, 4, 6, 7, 8, 9]
reuseNum:  4
q_num:  6
total time:  2.7974753379821777 s

Standard Error:


--- Execution for mini_alu_305_our.qasm (2025-04-12 03:44:00.998073) ---
Command: python main_scale.py --input ./Benchmarks/RevLib/mini_alu_305_our.qasm --output ./Outputs/results/RevLib_both/mini_alu_305_our.qasm --log ./Outputs/results/RevLib_both/mini_alu_305_our.log --mode all
Start time: 2025-04-12 03:44:00.998073
End time: 2025-04-12 03:44:04.160858
Standard Output:
round:  0
Canonical edges: [(0, 11), (0, 21), (0, 22), (1, 13), (2, 3), (3, 18), (3, 31), (4, 5), (5, 13), (5, 15), (5, 21), (6, 7), (7, 13), (7, 15), (7, 16), (7, 22), (8, 9), (9, 14), (9, 23), (9, 25), (9, 26), (9, 27), (9, 28), (10, 18), (11, 25), (12, 32), (13, 14), (13, 24), (13, 26), (13, 28), (13, 29), (14, 19), (15, 18), (16, 18), (17, 18), (18, 19), (19, 20), (20, 35), (21, 25), (22, 25), (23, 32), (24, 32), (25, 32), (26, 32), (27, 31), (28, 31), (29, 31), (30, 31), (31, 32), (31, 34), (32, 33), (33, 37), (34, 37), (35, 36), (37, 38)]
Set parameter Username
Set parameter LicenseID to value 2636017
Academic license - for non-commercial use only - expires 2026-03-13
variables:  126
Number of constraints:  481
False number:  0
a:  {0: 3, 1: 2, 2: 4, 3: 5, 4: 7, 5: 8, 7: 0}
remain:  [1, 6, 9]
add edge: 3 8
add edge: 5 6
add edge: 7 1
add edge: 9 18
add edge: 1 0
add edge: 19 12
add edge: 19 23
add edge: 19 24
add edge: 19 25
add edge: 19 26
add edge: 19 31
add edge: 0 2
round:  1
Canonical edges: [(0, 11), (0, 21), (0, 22), (0, 2), (1, 13), (1, 0), (2, 3), (3, 18), (3, 31), (3, 8), (4, 5), (5, 13), (5, 15), (5, 21), (5, 6), (6, 7), (7, 13), (7, 15), (7, 16), (7, 22), (7, 1), (8, 9), (9, 14), (9, 23), (9, 25), (9, 26), (9, 27), (9, 28), (9, 18), (10, 18), (11, 25), (12, 32), (13, 14), (13, 24), (13, 26), (13, 28), (13, 29), (14, 19), (15, 18), (16, 18), (17, 18), (18, 19), (19, 20), (19, 12), (19, 23), (19, 24), (19, 25), (19, 26), (19, 31), (20, 35), (21, 25), (22, 25), (23, 32), (24, 32), (25, 32), (26, 32), (27, 31), (28, 31), (29, 31), (30, 31), (31, 32), (31, 34), (32, 33), (33, 37), (34, 37), (35, 36), (37, 38)]
variables:  35
Number of constraints:  66
False number:  0
a:  {0: 3, 1: 2, 2: 4, 3: 5, 4: 7, 5: 8, 7: 0, 6: 9}
remain:  [1, 6]
add edge: 36 27
add edge: 36 28
add edge: 36 29
add edge: 36 30
round:  2
Canonical edges: [(0, 11), (0, 21), (0, 22), (0, 2), (1, 13), (1, 0), (2, 3), (3, 18), (3, 31), (3, 8), (4, 5), (5, 13), (5, 15), (5, 21), (5, 6), (6, 7), (7, 13), (7, 15), (7, 16), (7, 22), (7, 1), (8, 9), (9, 14), (9, 23), (9, 25), (9, 26), (9, 27), (9, 28), (9, 18), (10, 18), (11, 25), (12, 32), (13, 14), (13, 24), (13, 26), (13, 28), (13, 29), (14, 19), (15, 18), (16, 18), (17, 18), (18, 19), (19, 20), (19, 12), (19, 23), (19, 24), (19, 25), (19, 26), (19, 31), (20, 35), (21, 25), (22, 25), (23, 32), (24, 32), (25, 32), (26, 32), (27, 31), (28, 31), (29, 31), (30, 31), (31, 32), (31, 34), (32, 33), (33, 37), (34, 37), (35, 36), (36, 27), (36, 28), (36, 29), (36, 30), (37, 38)]
a:  {0: 3, 1: 2, 2: 4, 3: 5, 4: 7, 5: 8, 7: 0, 6: 9}
remain:  [1, 6]
reuseNum:  8
q_num:  2
total time:  1.5860836505889893 s

Standard Error:


--- Execution for rd53_311_our.qasm (2025-04-12 03:44:04.162525) ---
Command: python main_scale.py --input ./Benchmarks/RevLib/rd53_311_our.qasm --output ./Outputs/results/RevLib_both/rd53_311_our.qasm --log ./Outputs/results/RevLib_both/rd53_311_our.log --mode all
Start time: 2025-04-12 03:44:04.162525
End time: 2025-04-12 03:44:08.058396
Standard Output:
round:  0
Canonical edges: [(0, 1), (1, 16), (1, 17), (1, 18), (1, 29), (2, 3), (3, 26), (3, 33), (3, 48), (4, 5), (5, 21), (5, 22), (5, 23), (5, 31), (5, 40), (5, 41), (6, 7), (7, 11), (7, 12), (7, 14), (7, 27), (8, 9), (9, 12), (9, 13), (9, 14), (9, 28), (10, 54), (11, 16), (12, 16), (13, 16), (14, 15), (14, 17), (14, 18), (15, 21), (15, 36), (15, 40), (16, 21), (16, 35), (16, 40), (17, 21), (17, 36), (17, 40), (18, 19), (18, 36), (19, 20), (19, 22), (19, 23), (20, 25), (21, 25), (21, 42), (22, 25), (23, 24), (24, 25), (25, 26), (26, 52), (27, 54), (28, 54), (29, 54), (30, 54), (31, 54), (32, 54), (33, 54), (34, 54), (35, 36), (36, 37), (37, 38), (38, 39), (38, 41), (39, 43), (40, 42), (41, 43), (42, 43), (43, 44), (44, 45), (45, 46), (46, 47), (46, 49), (47, 48), (48, 50), (49, 50), (50, 51), (52, 53), (54, 55)]
Set parameter Username
Set parameter LicenseID to value 2636017
Academic license - for non-commercial use only - expires 2026-03-13
variables:  172
Number of constraints:  619
False number:  0
a:  {0: 2, 1: 11, 2: 6, 3: 0, 4: 3, 11: 8}
remain:  [1, 4, 5, 7, 9, 10, 12]
add edge: 1 4
add edge: 3 10
add edge: 3 27
add edge: 3 28
add edge: 3 29
add edge: 3 30
add edge: 3 31
add edge: 3 32
add edge: 3 34
add edge: 5 14
add edge: 7 0
add edge: 9 6
add edge: 55 18
round:  1
Canonical edges: [(0, 1), (1, 16), (1, 17), (1, 18), (1, 29), (1, 4), (2, 3), (3, 26), (3, 33), (3, 48), (3, 10), (3, 27), (3, 28), (3, 29), (3, 30), (3, 31), (3, 32), (3, 34), (4, 5), (5, 21), (5, 22), (5, 23), (5, 31), (5, 40), (5, 41), (5, 14), (6, 7), (7, 11), (7, 12), (7, 14), (7, 27), (7, 0), (8, 9), (9, 12), (9, 13), (9, 14), (9, 28), (9, 6), (10, 54), (11, 16), (12, 16), (13, 16), (14, 15), (14, 17), (14, 18), (15, 21), (15, 36), (15, 40), (16, 21), (16, 35), (16, 40), (17, 21), (17, 36), (17, 40), (18, 19), (18, 36), (19, 20), (19, 22), (19, 23), (20, 25), (21, 25), (21, 42), (22, 25), (23, 24), (24, 25), (25, 26), (26, 52), (27, 54), (28, 54), (29, 54), (30, 54), (31, 54), (32, 54), (33, 54), (34, 54), (35, 36), (36, 37), (37, 38), (38, 39), (38, 41), (39, 43), (40, 42), (41, 43), (42, 43), (43, 44), (44, 45), (45, 46), (46, 47), (46, 49), (47, 48), (48, 50), (49, 50), (50, 51), (52, 53), (54, 55), (55, 18)]
variables:  84
Number of constraints:  232
False number:  0
a:  {0: 2, 1: 11, 2: 6, 3: 0, 4: 3, 11: 8, 6: 10, 8: 9, 9: 12}
remain:  [1, 4, 5, 7]
add edge: 37 23
add edge: 19 21
add edge: 25 39
add edge: 25 40
add edge: 25 41
round:  2
Canonical edges: [(0, 1), (1, 16), (1, 17), (1, 18), (1, 29), (1, 4), (2, 3), (3, 26), (3, 33), (3, 48), (3, 10), (3, 27), (3, 28), (3, 29), (3, 30), (3, 31), (3, 32), (3, 34), (4, 5), (5, 21), (5, 22), (5, 23), (5, 31), (5, 40), (5, 41), (5, 14), (6, 7), (7, 11), (7, 12), (7, 14), (7, 27), (7, 0), (8, 9), (9, 12), (9, 13), (9, 14), (9, 28), (9, 6), (10, 54), (11, 16), (12, 16), (13, 16), (14, 15), (14, 17), (14, 18), (15, 21), (15, 36), (15, 40), (16, 21), (16, 35), (16, 40), (17, 21), (17, 36), (17, 40), (18, 19), (18, 36), (19, 20), (19, 22), (19, 23), (19, 21), (20, 25), (21, 25), (21, 42), (22, 25), (23, 24), (24, 25), (25, 26), (25, 39), (25, 40), (25, 41), (26, 52), (27, 54), (28, 54), (29, 54), (30, 54), (31, 54), (32, 54), (33, 54), (34, 54), (35, 36), (36, 37), (37, 38), (37, 23), (38, 39), (38, 41), (39, 43), (40, 42), (41, 43), (42, 43), (43, 44), (44, 45), (45, 46), (46, 47), (46, 49), (47, 48), (48, 50), (49, 50), (50, 51), (52, 53), (54, 55), (55, 18)]
a:  {0: 2, 1: 11, 2: 6, 3: 0, 4: 3, 11: 8, 6: 10, 8: 9, 9: 12}
remain:  [1, 4, 5, 7]
reuseNum:  9
q_num:  4
total time:  2.431335210800171 s

Standard Error:


--- Execution for z4ml_269_our.qasm (2025-04-12 03:44:08.060179) ---
Command: python main_scale.py --input ./Benchmarks/RevLib/z4ml_269_our.qasm --output ./Outputs/results/RevLib_both/z4ml_269_our.qasm --log ./Outputs/results/RevLib_both/z4ml_269_our.log --mode all
Start time: 2025-04-12 03:44:08.060179
End time: 2025-04-12 03:44:11.584619
Standard Output:
round:  0
Canonical edges: [(0, 1), (1, 10), (1, 12), (1, 13), (2, 3), (3, 12), (3, 13), (4, 5), (5, 24), (6, 12), (6, 13), (6, 14), (6, 15), (7, 19), (8, 18), (9, 11), (10, 16), (10, 18), (11, 16), (11, 18), (12, 17), (13, 17), (14, 17), (15, 16), (15, 17), (17, 18), (18, 19), (19, 20), (19, 21), (19, 22), (19, 23), (20, 24), (21, 24), (22, 24), (23, 24), (24, 25), (24, 26), (25, 29), (26, 27), (27, 28), (28, 29), (29, 30), (29, 32), (30, 31), (31, 36), (32, 33), (32, 34), (33, 35), (34, 35), (35, 36), (36, 37), (37, 38), (38, 39), (38, 41), (39, 40), (40, 42), (40, 45), (41, 47), (41, 66), (42, 43), (43, 44), (43, 46), (43, 48), (43, 49), (43, 50), (43, 51), (43, 68), (44, 47), (44, 59), (45, 46), (45, 48), (45, 49), (45, 50), (45, 51), (46, 47), (46, 52), (46, 53), (48, 52), (48, 53), (49, 52), (50, 52), (50, 53), (51, 52), (51, 53), (52, 54), (52, 56), (52, 57), (53, 54), (53, 56), (53, 57), (54, 55), (54, 58), (56, 58), (56, 66), (57, 58), (57, 66), (58, 60), (59, 60), (60, 61), (60, 62), (60, 64), (62, 63), (64, 65), (66, 67), (68, 69)]
Set parameter Username
Set parameter LicenseID to value 2636017
Academic license - for non-commercial use only - expires 2026-03-13
variables:  126
Number of constraints:  610
False number:  0
a:  {0: 3, 4: 1, 5: 2, 6: 8}
remain:  [0, 4, 5, 6, 7, 9, 10]
add edge: 16 12
add edge: 1 14
add edge: 5 7
round:  1
Canonical edges: [(0, 1), (1, 10), (1, 12), (1, 13), (1, 14), (2, 3), (3, 12), (3, 13), (4, 5), (5, 24), (5, 7), (6, 12), (6, 13), (6, 14), (6, 15), (7, 19), (8, 18), (9, 11), (10, 16), (10, 18), (11, 16), (11, 18), (12, 17), (13, 17), (14, 17), (15, 16), (15, 17), (16, 12), (17, 18), (18, 19), (19, 20), (19, 21), (19, 22), (19, 23), (20, 24), (21, 24), (22, 24), (23, 24), (24, 25), (24, 26), (25, 29), (26, 27), (27, 28), (28, 29), (29, 30), (29, 32), (30, 31), (31, 36), (32, 33), (32, 34), (33, 35), (34, 35), (35, 36), (36, 37), (37, 38), (38, 39), (38, 41), (39, 40), (40, 42), (40, 45), (41, 47), (41, 66), (42, 43), (43, 44), (43, 46), (43, 48), (43, 49), (43, 50), (43, 51), (43, 68), (44, 47), (44, 59), (45, 46), (45, 48), (45, 49), (45, 50), (45, 51), (46, 47), (46, 52), (46, 53), (48, 52), (48, 53), (49, 52), (50, 52), (50, 53), (51, 52), (51, 53), (52, 54), (52, 56), (52, 57), (53, 54), (53, 56), (53, 57), (54, 55), (54, 58), (56, 58), (56, 66), (57, 58), (57, 66), (58, 60), (59, 60), (60, 61), (60, 62), (60, 64), (62, 63), (64, 65), (66, 67), (68, 69)]
a:  {0: 3, 4: 1, 5: 2, 6: 8}
remain:  [0, 4, 5, 6, 7, 9, 10]
reuseNum:  4
q_num:  7
total time:  1.9835329055786133 s

Standard Error:


--- Execution for sqrt8_260_our.qasm (2025-04-12 03:44:11.586175) ---
Command: python main_scale.py --input ./Benchmarks/RevLib/sqrt8_260_our.qasm --output ./Outputs/results/RevLib_both/sqrt8_260_our.qasm --log ./Outputs/results/RevLib_both/sqrt8_260_our.log --mode all
Start time: 2025-04-12 03:44:11.586175
End time: 2025-04-12 03:44:14.767837
Standard Output:
round:  0
Canonical edges: [(0, 1), (1, 22), (2, 3), (3, 21), (4, 5), (5, 20), (6, 7), (7, 23), (8, 23), (9, 17), (9, 18), (10, 12), (10, 13), (10, 14), (10, 15), (11, 12), (11, 13), (11, 14), (11, 15), (12, 16), (12, 24), (13, 16), (13, 24), (14, 16), (14, 24), (15, 16), (15, 24), (16, 17), (16, 18), (16, 19), (17, 23), (18, 23), (19, 23), (19, 28), (20, 23), (21, 23), (22, 23), (23, 25), (23, 29), (23, 31), (24, 25), (24, 26), (24, 27), (24, 29), (25, 30), (26, 30), (27, 28), (27, 30), (29, 30), (29, 34), (30, 32), (31, 32), (32, 33), (33, 35), (34, 35), (35, 36), (36, 37), (36, 39), (36, 40), (37, 38), (37, 41), (38, 47), (39, 41), (40, 41), (41, 42), (42, 43), (43, 44), (44, 45), (45, 46), (45, 62), (46, 47), (47, 48), (48, 49), (49, 50), (49, 52), (49, 54), (50, 51), (50, 56), (50, 58), (50, 60), (52, 53), (52, 56), (52, 58), (52, 60), (54, 55), (54, 56), (54, 58), (54, 60), (56, 57), (58, 59), (60, 61), (62, 63)]
Set parameter Username
Set parameter LicenseID to value 2636017
Academic license - for non-commercial use only - expires 2026-03-13
variables:  97
Number of constraints:  553
False number:  0
a:  {0: 8, 4: 9, 5: 1, 6: 0, 7: 4}
remain:  [2, 3, 5, 6, 7, 10, 11]
add edge: 28 8
add edge: 1 9
add edge: 3 14
add edge: 5 15
add edge: 7 0
round:  1
Canonical edges: [(0, 1), (1, 22), (1, 9), (2, 3), (3, 21), (3, 14), (4, 5), (5, 20), (5, 15), (6, 7), (7, 23), (7, 0), (8, 23), (9, 17), (9, 18), (10, 12), (10, 13), (10, 14), (10, 15), (11, 12), (11, 13), (11, 14), (11, 15), (12, 16), (12, 24), (13, 16), (13, 24), (14, 16), (14, 24), (15, 16), (15, 24), (16, 17), (16, 18), (16, 19), (17, 23), (18, 23), (19, 23), (19, 28), (20, 23), (21, 23), (22, 23), (23, 25), (23, 29), (23, 31), (24, 25), (24, 26), (24, 27), (24, 29), (25, 30), (26, 30), (27, 28), (27, 30), (28, 8), (29, 30), (29, 34), (30, 32), (31, 32), (32, 33), (33, 35), (34, 35), (35, 36), (36, 37), (36, 39), (36, 40), (37, 38), (37, 41), (38, 47), (39, 41), (40, 41), (41, 42), (42, 43), (43, 44), (44, 45), (45, 46), (45, 62), (46, 47), (47, 48), (48, 49), (49, 50), (49, 52), (49, 54), (50, 51), (50, 56), (50, 58), (50, 60), (52, 53), (52, 56), (52, 58), (52, 60), (54, 55), (54, 56), (54, 58), (54, 60), (56, 57), (58, 59), (60, 61), (62, 63)]
a:  {0: 8, 4: 9, 5: 1, 6: 0, 7: 4}
remain:  [2, 3, 5, 6, 7, 10, 11]
reuseNum:  5
q_num:  7
total time:  1.6980774402618408 s

Standard Error:


--- Execution for z4_268_our.qasm (2025-04-12 03:44:14.769597) ---
Command: python main_scale.py --input ./Benchmarks/RevLib/z4_268_our.qasm --output ./Outputs/results/RevLib_both/z4_268_our.qasm --log ./Outputs/results/RevLib_both/z4_268_our.log --mode all
Start time: 2025-04-12 03:44:14.769597
End time: 2025-04-12 03:44:18.474178
Standard Output:
round:  0
Canonical edges: [(0, 1), (1, 10), (1, 12), (1, 13), (2, 3), (3, 12), (3, 13), (4, 5), (5, 24), (6, 12), (6, 13), (6, 14), (6, 15), (7, 19), (8, 18), (9, 11), (10, 16), (10, 18), (11, 16), (11, 18), (12, 17), (13, 17), (14, 17), (15, 16), (15, 17), (17, 18), (18, 19), (19, 20), (19, 21), (19, 22), (19, 23), (20, 24), (21, 24), (22, 24), (23, 24), (24, 25), (24, 26), (25, 29), (26, 27), (27, 28), (28, 29), (29, 30), (29, 32), (30, 31), (31, 36), (32, 33), (32, 34), (33, 35), (34, 35), (35, 36), (36, 37), (37, 38), (38, 39), (38, 41), (39, 40), (40, 42), (40, 45), (41, 47), (41, 66), (42, 43), (43, 44), (43, 46), (43, 48), (43, 49), (43, 50), (43, 51), (43, 68), (44, 47), (44, 59), (45, 46), (45, 48), (45, 49), (45, 50), (45, 51), (46, 47), (46, 52), (46, 53), (48, 52), (48, 53), (49, 52), (50, 52), (50, 53), (51, 52), (51, 53), (52, 54), (52, 56), (52, 57), (53, 54), (53, 56), (53, 57), (54, 55), (54, 58), (56, 58), (56, 66), (57, 58), (57, 66), (58, 60), (59, 60), (60, 61), (60, 62), (60, 64), (62, 63), (64, 65), (66, 67), (68, 69)]
Set parameter Username
Set parameter LicenseID to value 2636017
Academic license - for non-commercial use only - expires 2026-03-13
variables:  126
Number of constraints:  610
False number:  0
a:  {0: 3, 4: 1, 5: 2, 6: 8}
remain:  [0, 4, 5, 6, 7, 9, 10]
add edge: 16 12
add edge: 1 14
add edge: 5 7
round:  1
Canonical edges: [(0, 1), (1, 10), (1, 12), (1, 13), (1, 14), (2, 3), (3, 12), (3, 13), (4, 5), (5, 24), (5, 7), (6, 12), (6, 13), (6, 14), (6, 15), (7, 19), (8, 18), (9, 11), (10, 16), (10, 18), (11, 16), (11, 18), (12, 17), (13, 17), (14, 17), (15, 16), (15, 17), (16, 12), (17, 18), (18, 19), (19, 20), (19, 21), (19, 22), (19, 23), (20, 24), (21, 24), (22, 24), (23, 24), (24, 25), (24, 26), (25, 29), (26, 27), (27, 28), (28, 29), (29, 30), (29, 32), (30, 31), (31, 36), (32, 33), (32, 34), (33, 35), (34, 35), (35, 36), (36, 37), (37, 38), (38, 39), (38, 41), (39, 40), (40, 42), (40, 45), (41, 47), (41, 66), (42, 43), (43, 44), (43, 46), (43, 48), (43, 49), (43, 50), (43, 51), (43, 68), (44, 47), (44, 59), (45, 46), (45, 48), (45, 49), (45, 50), (45, 51), (46, 47), (46, 52), (46, 53), (48, 52), (48, 53), (49, 52), (50, 52), (50, 53), (51, 52), (51, 53), (52, 54), (52, 56), (52, 57), (53, 54), (53, 56), (53, 57), (54, 55), (54, 58), (56, 58), (56, 66), (57, 58), (57, 66), (58, 60), (59, 60), (60, 61), (60, 62), (60, 64), (62, 63), (64, 65), (66, 67), (68, 69)]
a:  {0: 3, 4: 1, 5: 2, 6: 8}
remain:  [0, 4, 5, 6, 7, 9, 10]
reuseNum:  4
q_num:  7
total time:  2.1040804386138916 s

Standard Error:


--- Execution for squar5_261_our.qasm (2025-04-12 03:44:18.476055) ---
Command: python main_scale.py --input ./Benchmarks/RevLib/squar5_261_our.qasm --output ./Outputs/results/RevLib_both/squar5_261_our.qasm --log ./Outputs/results/RevLib_both/squar5_261_our.log --mode all
Start time: 2025-04-12 03:44:18.476055
End time: 2025-04-12 03:44:21.963995
Standard Output:
round:  0
Canonical edges: [(0, 7), (0, 8), (0, 9), (0, 10), (0, 11), (0, 13), (0, 20), (0, 27), (1, 10), (1, 11), (1, 13), (1, 14), (1, 15), (1, 16), (1, 17), (1, 18), (2, 5), (2, 6), (2, 7), (2, 8), (2, 9), (2, 20), (2, 25), (2, 26), (3, 5), (3, 6), (3, 16), (3, 17), (3, 20), (3, 21), (3, 22), (3, 23), (3, 27), (4, 14), (4, 15), (4, 20), (4, 21), (4, 22), (4, 23), (4, 27), (5, 28), (6, 28), (7, 28), (8, 28), (9, 12), (9, 28), (10, 24), (11, 12), (11, 24), (13, 19), (13, 24), (14, 24), (15, 24), (16, 24), (17, 24), (18, 19), (18, 24), (20, 28), (21, 32), (22, 32), (23, 32), (24, 25), (24, 26), (25, 28), (26, 28), (27, 32), (28, 29), (28, 30), (28, 31), (29, 32), (30, 32), (31, 32), (32, 33), (32, 34), (33, 35), (33, 36), (33, 37), (34, 35), (34, 36), (34, 39), (35, 42), (36, 40), (36, 41), (37, 38), (37, 40), (37, 41), (38, 39), (38, 42), (40, 42), (41, 42), (42, 43), (42, 57), (43, 44), (43, 55), (44, 45), (45, 46), (45, 47), (45, 50), (47, 48), (48, 49), (48, 53), (48, 61), (49, 51), (50, 51), (51, 52), (51, 59), (51, 63), (51, 65), (51, 67), (53, 54), (55, 56), (57, 58), (59, 60), (61, 62), (63, 64), (65, 66), (67, 68)]
Set parameter Username
Set parameter LicenseID to value 2636017
Academic license - for non-commercial use only - expires 2026-03-13
variables:  198
Number of constraints:  471
False number:  0
a:  {0: 6, 1: 4}
remain:  [0, 1, 2, 3, 5, 7, 8, 9, 10, 11, 12]
add edge: 19 22
add edge: 19 29
add edge: 12 15
add edge: 12 16
add edge: 12 27
round:  1
Canonical edges: [(0, 7), (0, 8), (0, 9), (0, 10), (0, 11), (0, 13), (0, 20), (0, 27), (1, 10), (1, 11), (1, 13), (1, 14), (1, 15), (1, 16), (1, 17), (1, 18), (2, 5), (2, 6), (2, 7), (2, 8), (2, 9), (2, 20), (2, 25), (2, 26), (3, 5), (3, 6), (3, 16), (3, 17), (3, 20), (3, 21), (3, 22), (3, 23), (3, 27), (4, 14), (4, 15), (4, 20), (4, 21), (4, 22), (4, 23), (4, 27), (5, 28), (6, 28), (7, 28), (8, 28), (9, 12), (9, 28), (10, 24), (11, 12), (11, 24), (12, 15), (12, 16), (12, 27), (13, 19), (13, 24), (14, 24), (15, 24), (16, 24), (17, 24), (18, 19), (18, 24), (19, 22), (19, 29), (20, 28), (21, 32), (22, 32), (23, 32), (24, 25), (24, 26), (25, 28), (26, 28), (27, 32), (28, 29), (28, 30), (28, 31), (29, 32), (30, 32), (31, 32), (32, 33), (32, 34), (33, 35), (33, 36), (33, 37), (34, 35), (34, 36), (34, 39), (35, 42), (36, 40), (36, 41), (37, 38), (37, 40), (37, 41), (38, 39), (38, 42), (40, 42), (41, 42), (42, 43), (42, 57), (43, 44), (43, 55), (44, 45), (45, 46), (45, 47), (45, 50), (47, 48), (48, 49), (48, 53), (48, 61), (49, 51), (50, 51), (51, 52), (51, 59), (51, 63), (51, 65), (51, 67), (53, 54), (55, 56), (57, 58), (59, 60), (61, 62), (63, 64), (65, 66), (67, 68)]
a:  {0: 6, 1: 4}
remain:  [0, 1, 2, 3, 5, 7, 8, 9, 10, 11, 12]
reuseNum:  2
q_num:  11
total time:  1.8825933933258057 s

Standard Error:


--- Execution for life_238_our.qasm (2025-04-12 03:44:21.965328) ---
Command: python main_scale.py --input ./Benchmarks/RevLib/life_238_our.qasm --output ./Outputs/results/RevLib_both/life_238_our.qasm --log ./Outputs/results/RevLib_both/life_238_our.log --mode all
Start time: 2025-04-12 03:44:21.965328
End time: 2025-04-12 03:44:29.831828
Standard Output:
round:  0
Canonical edges: [(0, 1), (1, 21), (2, 3), (3, 20), (4, 5), (5, 19), (6, 7), (7, 18), (8, 9), (9, 20), (10, 11), (11, 20), (12, 13), (13, 17), (14, 15), (15, 21), (16, 33), (17, 20), (18, 20), (19, 20), (20, 21), (21, 22), (22, 23), (22, 25), (23, 24), (24, 26), (25, 26), (26, 27), (27, 28), (28, 29), (29, 30), (30, 31), (31, 32), (31, 35), (32, 33), (33, 34), (33, 39), (34, 36), (35, 36), (36, 37), (36, 38), (37, 40), (38, 40), (39, 40), (40, 41), (41, 42), (42, 43), (43, 44), (44, 45), (45, 46), (45, 51), (46, 47), (46, 48), (46, 49), (46, 52), (47, 54), (48, 50), (48, 53), (49, 50), (49, 53), (50, 54), (51, 53), (52, 53), (53, 54), (53, 58), (54, 55), (54, 56), (54, 57), (55, 60), (56, 60), (57, 59), (58, 59), (59, 60), (60, 61), (61, 62), (62, 63), (63, 64), (63, 66), (64, 65), (64, 67), (65, 71), (66, 67), (67, 68), (67, 69), (68, 71), (69, 70), (70, 71), (71, 72), (72, 73), (73, 74), (73, 80), (74, 75), (75, 76), (76, 77), (76, 78), (76, 79), (77, 83), (78, 81), (79, 81), (80, 81), (81, 82), (82, 83), (83, 84), (83, 85), (84, 86), (85, 86), (86, 87), (87, 88), (88, 89), (88, 90), (88, 91), (88, 92), (89, 93), (90, 94), (91, 93), (92, 93), (93, 94), (94, 95), (95, 96), (96, 97), (97, 98), (97, 100), (98, 99), (99, 101), (100, 101), (101, 102), (102, 103), (102, 107), (103, 104), (103, 106), (104, 105), (105, 108), (106, 108), (107, 108), (108, 109), (109, 110), (109, 111), (109, 112), (110, 114), (111, 114), (112, 113), (113, 114), (114, 115), (115, 116), (116, 117), (117, 118), (118, 119), (118, 120), (119, 121), (120, 121), (121, 122), (122, 123), (123, 124), (123, 125), (125, 126)]
Set parameter Username
Set parameter LicenseID to value 2636017
Academic license - for non-commercial use only - expires 2026-03-13
variables:  179
Number of constraints:  3122
False number:  0
a:  {1: 4, 2: 6, 3: 7, 4: 3, 5: 8, 6: 5, 8: 1}
remain:  [0, 2, 9]
add edge: 1 6
add edge: 3 10
add edge: 5 12
add edge: 7 4
add edge: 9 14
add edge: 11 8
add edge: 15 0
round:  1
Canonical edges: [(0, 1), (1, 21), (1, 6), (2, 3), (3, 20), (3, 10), (4, 5), (5, 19), (5, 12), (6, 7), (7, 18), (7, 4), (8, 9), (9, 20), (9, 14), (10, 11), (11, 20), (11, 8), (12, 13), (13, 17), (14, 15), (15, 21), (15, 0), (16, 33), (17, 20), (18, 20), (19, 20), (20, 21), (21, 22), (22, 23), (22, 25), (23, 24), (24, 26), (25, 26), (26, 27), (27, 28), (28, 29), (29, 30), (30, 31), (31, 32), (31, 35), (32, 33), (33, 34), (33, 39), (34, 36), (35, 36), (36, 37), (36, 38), (37, 40), (38, 40), (39, 40), (40, 41), (41, 42), (42, 43), (43, 44), (44, 45), (45, 46), (45, 51), (46, 47), (46, 48), (46, 49), (46, 52), (47, 54), (48, 50), (48, 53), (49, 50), (49, 53), (50, 54), (51, 53), (52, 53), (53, 54), (53, 58), (54, 55), (54, 56), (54, 57), (55, 60), (56, 60), (57, 59), (58, 59), (59, 60), (60, 61), (61, 62), (62, 63), (63, 64), (63, 66), (64, 65), (64, 67), (65, 71), (66, 67), (67, 68), (67, 69), (68, 71), (69, 70), (70, 71), (71, 72), (72, 73), (73, 74), (73, 80), (74, 75), (75, 76), (76, 77), (76, 78), (76, 79), (77, 83), (78, 81), (79, 81), (80, 81), (81, 82), (82, 83), (83, 84), (83, 85), (84, 86), (85, 86), (86, 87), (87, 88), (88, 89), (88, 90), (88, 91), (88, 92), (89, 93), (90, 94), (91, 93), (92, 93), (93, 94), (94, 95), (95, 96), (96, 97), (97, 98), (97, 100), (98, 99), (99, 101), (100, 101), (101, 102), (102, 103), (102, 107), (103, 104), (103, 106), (104, 105), (105, 108), (106, 108), (107, 108), (108, 109), (109, 110), (109, 111), (109, 112), (110, 114), (111, 114), (112, 113), (113, 114), (114, 115), (115, 116), (116, 117), (117, 118), (118, 119), (118, 120), (119, 121), (120, 121), (121, 122), (122, 123), (123, 124), (123, 125), (125, 126)]
variables:  79
Number of constraints:  211
False number:  0
a:  {1: 4, 2: 6, 3: 7, 4: 3, 5: 8, 6: 5, 8: 1, 7: 0}
remain:  [2, 9]
round:  2
Canonical edges: [(0, 1), (1, 21), (1, 6), (2, 3), (3, 20), (3, 10), (4, 5), (5, 19), (5, 12), (6, 7), (7, 18), (7, 4), (8, 9), (9, 20), (9, 14), (10, 11), (11, 20), (11, 8), (12, 13), (13, 17), (14, 15), (15, 21), (15, 0), (16, 33), (17, 20), (18, 20), (19, 20), (20, 21), (21, 22), (22, 23), (22, 25), (23, 24), (24, 26), (25, 26), (26, 27), (27, 28), (28, 29), (29, 30), (30, 31), (31, 32), (31, 35), (32, 33), (33, 34), (33, 39), (34, 36), (35, 36), (36, 37), (36, 38), (37, 40), (38, 40), (39, 40), (40, 41), (41, 42), (42, 43), (43, 44), (44, 45), (45, 46), (45, 51), (46, 47), (46, 48), (46, 49), (46, 52), (47, 54), (48, 50), (48, 53), (49, 50), (49, 53), (50, 54), (51, 53), (52, 53), (53, 54), (53, 58), (54, 55), (54, 56), (54, 57), (55, 60), (56, 60), (57, 59), (58, 59), (59, 60), (60, 61), (61, 62), (62, 63), (63, 64), (63, 66), (64, 65), (64, 67), (65, 71), (66, 67), (67, 68), (67, 69), (68, 71), (69, 70), (70, 71), (71, 72), (72, 73), (73, 74), (73, 80), (74, 75), (75, 76), (76, 77), (76, 78), (76, 79), (77, 83), (78, 81), (79, 81), (80, 81), (81, 82), (82, 83), (83, 84), (83, 85), (84, 86), (85, 86), (86, 87), (87, 88), (88, 89), (88, 90), (88, 91), (88, 92), (89, 93), (90, 94), (91, 93), (92, 93), (93, 94), (94, 95), (95, 96), (96, 97), (97, 98), (97, 100), (98, 99), (99, 101), (100, 101), (101, 102), (102, 103), (102, 107), (103, 104), (103, 106), (104, 105), (105, 108), (106, 108), (107, 108), (108, 109), (109, 110), (109, 111), (109, 112), (110, 114), (111, 114), (112, 113), (113, 114), (114, 115), (115, 116), (116, 117), (117, 118), (118, 119), (118, 120), (119, 121), (120, 121), (121, 122), (122, 123), (123, 124), (123, 125), (125, 126)]
a:  {1: 4, 2: 6, 3: 7, 4: 3, 5: 8, 6: 5, 8: 1, 7: 0}
remain:  [2, 9]
reuseNum:  8
q_num:  2
total time:  6.325819492340088 s

Standard Error:


--- Execution for sym10_262_our.qasm (2025-04-12 03:44:29.833459) ---
Command: python main_scale.py --input ./Benchmarks/RevLib/sym10_262_our.qasm --output ./Outputs/results/RevLib_both/sym10_262_our.qasm --log ./Outputs/results/RevLib_both/sym10_262_our.log --mode all
Start time: 2025-04-12 03:44:29.833459
End time: 2025-04-12 03:44:50.729659
Standard Output:
round:  0
Canonical edges: [(0, 1), (1, 19), (2, 3), (3, 20), (4, 5), (5, 19), (6, 7), (7, 19), (8, 9), (9, 19), (10, 11), (11, 19), (12, 13), (13, 19), (14, 15), (15, 20), (16, 17), (17, 19), (18, 19), (19, 20), (20, 21), (21, 22), (22, 23), (23, 24), (24, 25), (25, 26), (26, 27), (26, 28), (26, 29), (26, 30), (27, 31), (28, 31), (29, 31), (30, 31), (31, 32), (32, 33), (33, 34), (34, 35), (34, 36), (34, 37), (34, 38), (35, 39), (36, 39), (37, 39), (38, 39), (39, 40), (40, 41), (40, 42), (41, 43), (42, 43), (43, 44), (44, 45), (45, 46), (46, 47), (46, 48), (46, 49), (46, 50), (47, 51), (48, 51), (49, 51), (50, 51), (51, 52), (52, 53), (52, 54), (52, 61), (53, 55), (54, 55), (55, 56), (56, 57), (56, 58), (56, 59), (56, 60), (57, 62), (58, 62), (59, 62), (60, 62), (61, 62), (62, 63), (63, 64), (63, 65), (63, 66), (64, 67), (65, 67), (66, 67), (67, 68), (67, 69), (68, 70), (69, 70), (70, 71), (70, 72), (70, 73), (71, 74), (72, 76), (73, 74), (74, 75), (75, 76), (76, 77), (76, 81), (77, 78), (77, 79), (77, 80), (78, 84), (79, 82), (80, 82), (81, 82), (82, 83), (83, 84), (83, 89), (84, 85), (85, 86), (85, 87), (85, 88), (86, 90), (87, 90), (88, 90), (89, 90), (90, 91), (91, 92), (91, 93), (91, 94), (92, 95), (93, 95), (94, 95), (95, 96), (96, 97), (97, 98), (98, 99), (98, 101), (99, 100), (100, 102), (101, 102), (102, 103), (103, 104), (103, 106), (104, 105), (105, 107), (106, 107), (107, 108), (108, 109), (108, 110), (109, 111), (110, 111), (111, 112), (112, 113), (112, 115), (113, 114), (113, 116), (114, 118), (115, 116), (116, 117), (117, 118), (117, 126), (118, 119), (118, 120), (119, 121), (120, 131), (121, 122), (122, 123), (122, 124), (122, 125), (122, 127), (122, 128), (123, 130), (124, 131), (125, 129), (126, 129), (127, 129), (128, 129), (129, 130), (130, 131), (130, 135), (131, 132), (132, 133), (132, 134), (132, 136), (133, 138), (134, 138), (135, 137), (136, 137), (137, 138), (138, 139), (138, 144), (139, 140), (140, 141), (140, 142), (140, 143), (141, 145), (142, 145), (143, 145), (144, 145), (145, 146), (146, 147), (146, 148), (146, 149), (147, 150), (148, 150), (149, 150), (150, 151), (150, 153), (150, 157), (151, 152), (152, 154), (153, 154), (154, 155), (155, 156), (156, 158), (157, 158), (158, 159), (158, 160), (159, 161), (160, 161), (161, 162), (162, 163), (162, 164), (163, 168), (164, 165), (165, 166), (165, 167), (166, 168), (167, 168), (168, 169), (169, 170), (169, 171), (170, 172), (171, 172), (172, 173), (173, 174), (173, 175), (174, 176), (175, 176), (176, 177), (177, 178), (178, 179), (179, 180), (180, 181), (181, 182), (182, 183), (183, 184), (183, 185), (184, 187), (185, 186), (186, 187), (186, 188), (187, 189), (188, 189), (189, 190), (190, 191), (191, 192), (191, 193), (192, 194), (193, 194), (194, 195), (195, 196), (196, 197), (197, 198), (197, 199), (198, 201), (199, 200), (200, 201), (201, 202), (202, 203), (203, 204), (204, 205), (205, 206), (205, 209), (206, 207), (207, 208), (208, 210), (209, 210), (210, 211), (211, 212), (212, 213), (212, 214), (214, 215)]
Set parameter Username
Set parameter LicenseID to value 2636017
Academic license - for non-commercial use only - expires 2026-03-13
variables:  258
Number of constraints:  5603
False number:  0
a:  {1: 2, 2: 4, 3: 1, 4: 5, 5: 6, 6: 8, 7: 3}
remain:  [0, 7, 9, 10]
add edge: 1 2
add edge: 3 6
add edge: 5 0
add edge: 7 8
add edge: 9 10
add edge: 11 14
add edge: 13 4
round:  1
Canonical edges: [(0, 1), (1, 19), (1, 2), (2, 3), (3, 20), (3, 6), (4, 5), (5, 19), (5, 0), (6, 7), (7, 19), (7, 8), (8, 9), (9, 19), (9, 10), (10, 11), (11, 19), (11, 14), (12, 13), (13, 19), (13, 4), (14, 15), (15, 20), (16, 17), (17, 19), (18, 19), (19, 20), (20, 21), (21, 22), (22, 23), (23, 24), (24, 25), (25, 26), (26, 27), (26, 28), (26, 29), (26, 30), (27, 31), (28, 31), (29, 31), (30, 31), (31, 32), (32, 33), (33, 34), (34, 35), (34, 36), (34, 37), (34, 38), (35, 39), (36, 39), (37, 39), (38, 39), (39, 40), (40, 41), (40, 42), (41, 43), (42, 43), (43, 44), (44, 45), (45, 46), (46, 47), (46, 48), (46, 49), (46, 50), (47, 51), (48, 51), (49, 51), (50, 51), (51, 52), (52, 53), (52, 54), (52, 61), (53, 55), (54, 55), (55, 56), (56, 57), (56, 58), (56, 59), (56, 60), (57, 62), (58, 62), (59, 62), (60, 62), (61, 62), (62, 63), (63, 64), (63, 65), (63, 66), (64, 67), (65, 67), (66, 67), (67, 68), (67, 69), (68, 70), (69, 70), (70, 71), (70, 72), (70, 73), (71, 74), (72, 76), (73, 74), (74, 75), (75, 76), (76, 77), (76, 81), (77, 78), (77, 79), (77, 80), (78, 84), (79, 82), (80, 82), (81, 82), (82, 83), (83, 84), (83, 89), (84, 85), (85, 86), (85, 87), (85, 88), (86, 90), (87, 90), (88, 90), (89, 90), (90, 91), (91, 92), (91, 93), (91, 94), (92, 95), (93, 95), (94, 95), (95, 96), (96, 97), (97, 98), (98, 99), (98, 101), (99, 100), (100, 102), (101, 102), (102, 103), (103, 104), (103, 106), (104, 105), (105, 107), (106, 107), (107, 108), (108, 109), (108, 110), (109, 111), (110, 111), (111, 112), (112, 113), (112, 115), (113, 114), (113, 116), (114, 118), (115, 116), (116, 117), (117, 118), (117, 126), (118, 119), (118, 120), (119, 121), (120, 131), (121, 122), (122, 123), (122, 124), (122, 125), (122, 127), (122, 128), (123, 130), (124, 131), (125, 129), (126, 129), (127, 129), (128, 129), (129, 130), (130, 131), (130, 135), (131, 132), (132, 133), (132, 134), (132, 136), (133, 138), (134, 138), (135, 137), (136, 137), (137, 138), (138, 139), (138, 144), (139, 140), (140, 141), (140, 142), (140, 143), (141, 145), (142, 145), (143, 145), (144, 145), (145, 146), (146, 147), (146, 148), (146, 149), (147, 150), (148, 150), (149, 150), (150, 151), (150, 153), (150, 157), (151, 152), (152, 154), (153, 154), (154, 155), (155, 156), (156, 158), (157, 158), (158, 159), (158, 160), (159, 161), (160, 161), (161, 162), (162, 163), (162, 164), (163, 168), (164, 165), (165, 166), (165, 167), (166, 168), (167, 168), (168, 169), (169, 170), (169, 171), (170, 172), (171, 172), (172, 173), (173, 174), (173, 175), (174, 176), (175, 176), (176, 177), (177, 178), (178, 179), (179, 180), (180, 181), (181, 182), (182, 183), (183, 184), (183, 185), (184, 187), (185, 186), (186, 187), (186, 188), (187, 189), (188, 189), (189, 190), (190, 191), (191, 192), (191, 193), (192, 194), (193, 194), (194, 195), (195, 196), (196, 197), (197, 198), (197, 199), (198, 201), (199, 200), (200, 201), (201, 202), (202, 203), (203, 204), (204, 205), (205, 206), (205, 209), (206, 207), (207, 208), (208, 210), (209, 210), (210, 211), (211, 212), (212, 213), (212, 214), (214, 215)]
variables:  137
Number of constraints:  746
False number:  0
a:  {1: 2, 2: 4, 3: 1, 4: 5, 5: 6, 6: 8, 7: 3, 8: 10, 9: 0}
remain:  [7, 9]
add edge: 15 18
round:  2
Canonical edges: [(0, 1), (1, 19), (1, 2), (2, 3), (3, 20), (3, 6), (4, 5), (5, 19), (5, 0), (6, 7), (7, 19), (7, 8), (8, 9), (9, 19), (9, 10), (10, 11), (11, 19), (11, 14), (12, 13), (13, 19), (13, 4), (14, 15), (15, 20), (15, 18), (16, 17), (17, 19), (18, 19), (19, 20), (20, 21), (21, 22), (22, 23), (23, 24), (24, 25), (25, 26), (26, 27), (26, 28), (26, 29), (26, 30), (27, 31), (28, 31), (29, 31), (30, 31), (31, 32), (32, 33), (33, 34), (34, 35), (34, 36), (34, 37), (34, 38), (35, 39), (36, 39), (37, 39), (38, 39), (39, 40), (40, 41), (40, 42), (41, 43), (42, 43), (43, 44), (44, 45), (45, 46), (46, 47), (46, 48), (46, 49), (46, 50), (47, 51), (48, 51), (49, 51), (50, 51), (51, 52), (52, 53), (52, 54), (52, 61), (53, 55), (54, 55), (55, 56), (56, 57), (56, 58), (56, 59), (56, 60), (57, 62), (58, 62), (59, 62), (60, 62), (61, 62), (62, 63), (63, 64), (63, 65), (63, 66), (64, 67), (65, 67), (66, 67), (67, 68), (67, 69), (68, 70), (69, 70), (70, 71), (70, 72), (70, 73), (71, 74), (72, 76), (73, 74), (74, 75), (75, 76), (76, 77), (76, 81), (77, 78), (77, 79), (77, 80), (78, 84), (79, 82), (80, 82), (81, 82), (82, 83), (83, 84), (83, 89), (84, 85), (85, 86), (85, 87), (85, 88), (86, 90), (87, 90), (88, 90), (89, 90), (90, 91), (91, 92), (91, 93), (91, 94), (92, 95), (93, 95), (94, 95), (95, 96), (96, 97), (97, 98), (98, 99), (98, 101), (99, 100), (100, 102), (101, 102), (102, 103), (103, 104), (103, 106), (104, 105), (105, 107), (106, 107), (107, 108), (108, 109), (108, 110), (109, 111), (110, 111), (111, 112), (112, 113), (112, 115), (113, 114), (113, 116), (114, 118), (115, 116), (116, 117), (117, 118), (117, 126), (118, 119), (118, 120), (119, 121), (120, 131), (121, 122), (122, 123), (122, 124), (122, 125), (122, 127), (122, 128), (123, 130), (124, 131), (125, 129), (126, 129), (127, 129), (128, 129), (129, 130), (130, 131), (130, 135), (131, 132), (132, 133), (132, 134), (132, 136), (133, 138), (134, 138), (135, 137), (136, 137), (137, 138), (138, 139), (138, 144), (139, 140), (140, 141), (140, 142), (140, 143), (141, 145), (142, 145), (143, 145), (144, 145), (145, 146), (146, 147), (146, 148), (146, 149), (147, 150), (148, 150), (149, 150), (150, 151), (150, 153), (150, 157), (151, 152), (152, 154), (153, 154), (154, 155), (155, 156), (156, 158), (157, 158), (158, 159), (158, 160), (159, 161), (160, 161), (161, 162), (162, 163), (162, 164), (163, 168), (164, 165), (165, 166), (165, 167), (166, 168), (167, 168), (168, 169), (169, 170), (169, 171), (170, 172), (171, 172), (172, 173), (173, 174), (173, 175), (174, 176), (175, 176), (176, 177), (177, 178), (178, 179), (179, 180), (180, 181), (181, 182), (182, 183), (183, 184), (183, 185), (184, 187), (185, 186), (186, 187), (186, 188), (187, 189), (188, 189), (189, 190), (190, 191), (191, 192), (191, 193), (192, 194), (193, 194), (194, 195), (195, 196), (196, 197), (197, 198), (197, 199), (198, 201), (199, 200), (200, 201), (201, 202), (202, 203), (203, 204), (204, 205), (205, 206), (205, 209), (206, 207), (207, 208), (208, 210), (209, 210), (210, 211), (211, 212), (212, 213), (212, 214), (214, 215)]
a:  {1: 2, 2: 4, 3: 1, 4: 5, 5: 6, 6: 8, 7: 3, 8: 10, 9: 0}
remain:  [7, 9]
reuseNum:  9
q_num:  2
total time:  19.21612524986267 s

Standard Error:


--- Execution for dc1_221_our.qasm (2025-04-12 03:44:50.731420) ---
Command: python main_scale.py --input ./Benchmarks/RevLib/dc1_221_our.qasm --output ./Outputs/results/RevLib_both/dc1_221_our.qasm --log ./Outputs/results/RevLib_both/dc1_221_our.log --mode all
Start time: 2025-04-12 03:44:50.731420
End time: 2025-04-12 03:44:53.661244
Standard Output:
round:  0
Canonical edges: [(0, 8), (1, 9), (1, 10), (1, 11), (1, 12), (1, 13), (1, 14), (2, 5), (2, 6), (2, 7), (2, 9), (2, 10), (2, 11), (2, 12), (3, 4), (4, 5), (4, 6), (4, 7), (4, 9), (4, 10), (4, 11), (4, 12), (4, 13), (4, 14), (5, 15), (6, 15), (7, 15), (8, 9), (8, 10), (8, 11), (8, 12), (8, 13), (8, 14), (9, 15), (9, 19), (10, 15), (10, 19), (11, 15), (11, 19), (12, 15), (12, 19), (13, 19), (14, 19), (15, 16), (15, 17), (15, 18), (15, 20), (15, 21), (16, 26), (16, 27), (17, 26), (17, 27), (18, 26), (18, 27), (19, 20), (19, 21), (20, 22), (20, 27), (21, 22), (21, 27), (22, 23), (22, 24), (23, 25), (23, 26), (24, 25), (24, 26), (25, 31), (25, 32), (25, 33), (26, 31), (26, 32), (26, 33), (27, 28), (27, 29), (27, 30), (27, 31), (27, 32), (27, 33), (28, 51), (28, 55), (28, 59), (29, 47), (29, 55), (29, 59), (30, 38), (30, 55), (30, 59), (31, 34), (31, 43), (31, 59), (32, 34), (32, 43), (32, 59), (33, 34), (33, 43), (33, 59), (34, 35), (34, 36), (34, 37), (34, 39), (34, 41), (34, 44), (34, 45), (35, 51), (35, 55), (35, 57), (36, 47), (36, 55), (36, 57), (37, 38), (37, 55), (37, 57), (39, 40), (39, 55), (39, 57), (41, 42), (41, 55), (41, 57), (43, 44), (43, 45), (44, 49), (44, 53), (44, 55), (44, 57), (45, 46), (45, 53), (45, 55), (45, 57), (47, 48), (49, 50), (51, 52), (53, 54), (55, 56), (57, 58), (59, 60)]
a:  {}
remain:  [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10]
reuseNum:  0
q_num:  11
total time:  1.2233302593231201 s

Standard Error: