Skip to content

Commit 5098ddc

Browse files
author
Matthias Walter
committed
Finalized scripts
1 parent 592e877 commit 5098ddc

14 files changed

+22
-1
lines changed
File renamed without changes.
File renamed without changes.
File renamed without changes.

mip_4_camion.py mip_04_camion.py

File renamed without changes.

mip_5_tu.py mip_05_tu.py

File renamed without changes.
File renamed without changes.

mip_07_query_timeouts.sh

+3
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
#!/bin/bash
2+
3+
python mip_query.py | egrep "ternary.*'camion': True, 'series-parallel': 1, 'tu': None" | cut -d ' ' -f1

mip_08_query_memory.sh

+3
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
#!/bin/bash
2+
3+
python mip_query.py | egrep "ternary.*'tu': (True|False).*None" | cut -d ' ' -f1

mip_09_query_noncamion.sh

+3
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
#!/bin/bash
2+
3+
python mip_query.py | egrep "ternary.*'camion': False" | cut -d ' ' -f1

mip_10_query_series_parallel.sh

+3
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
#!/bin/bash
2+
3+
python mip_query.py | egrep "ternary.*'camion': True, 'series-parallel': 2" | egrep -v "'timeSP': None" | egrep -v "'timeNoSP': None" | cut -d ' ' -f1

mip_11_query_non_series_parallel.sh

+3
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
#!/bin/bash
2+
3+
python mip_query.py | egrep "ternary.*'camion': True, 'series-parallel': [01]" | egrep -v "'timeSP': None" | egrep -v "'timeNoSP': None" | cut -d ' ' -f1

mip_query.py

+1-1
Original file line numberDiff line numberDiff line change
@@ -54,7 +54,7 @@ def getData(instance, kary):
5454

5555
except:
5656
sys.stderr.write(f'WARNING: File {DIR}/{instance}.{kary}.reduced.sparse.gz is not present.\n')
57-
if isCamion and seriesParallel != 2:
57+
if isCamion:
5858
try:
5959
for line in open(f'{DIR}/{instance}.{kary}.sp.tu', 'r').read().split('\n'):
6060
if line == 'Matrix IS regular.':

mip_table1.sh

+3
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
#!/bin/bash
2+
3+
python mip_query.py --tex | egrep "ternary.*'camion': True, 'series-parallel': 2" | egrep -v "'timeSP': None" | egrep -v "'timeNoSP': None" | cut -d '#' -f2-

mip_table2.sh

+3
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
#!/bin/bash
2+
3+
python mip_query.py --tex | egrep "ternary.*'camion': True, 'series-parallel': [01]" | egrep -v "'timeSP': None" | egrep -v "'timeNoSP': None" | cut -d '#' -f2-

0 commit comments

Comments
 (0)