https://github.com/qiyitang71/approximate-quotienting
Revision 87a5d67093616d0634021834e356aeec44b0e1d9 authored by Qiyi Tang on 11 April 2021, 19:17:15 UTC, committed by Qiyi Tang on 11 April 2021, 19:17:15 UTC
1 parent f3951b4
Tip revision: 87a5d67093616d0634021834e356aeec44b0e1d9 authored by Qiyi Tang on 11 April 2021, 19:17:15 UTC
add model Nand
add model Nand
Tip revision: 87a5d67
printLog2.py
import sys
import os
with open(sys.argv[1], 'r') as f:
Lines = f.readlines()
count = 0
for line in Lines:
count += 1
line = line.rstrip("\n")
if count == 4:
s1,s2 = line.split(' ', 1)
a,b,c = s2.split('-', 2)
print(a + "-" + b + ":" + c + ", #states, #transitions, #iter, , #states, #transitions, #iter")
if count == 6:
s1,s2 = line.split(' ', 1)
print("sample model, " + s1 + ", " + s2 + ", , , " + s1 + ", " + s2 + ", ")
if count%17 == 9:
epsilon = line
if count == 12:
s1,s2 = line.split(' ', 1)
if count%17 == 15:
exactSta, exactTran= line.split(' ', 1)
if count%17 == 16:
exactIter = line.split('=', 1)[1]
if count == 20:
s3,s4 = line.split(' ', 1)
print("quotient model, " + s3 + ", " + s4 + ", , , " + s1 + ", " + s2 + ", ")
if count%17 == 6 and count != 6:
sampleSta, sampleTran= line.split(' ', 1)
if count%17 == 7 and count != 7:
sampleIter = line.split('=', 1)[1]
print(epsilon+"")
print("approximate partition refinement, " + sampleSta + ", " + sampleTran + ", " + sampleIter + ", , " + exactSta + ", " + exactTran + ", " + exactIter)
f.close()
Computing file changes ...