iRankFinder NT

name	result	time
loops_smt/1567523038586707.koat.smt2	maybe	0.943606
loops_smt/1567523038589882.koat.smt2	maybe	0.931674
loops_smt/1567523038680556.koat.smt2	maybe	0.857715
loops_smt/1567523038680729.koat.smt2	maybe	0.841411
loops_smt/1567523038899378.koat.smt2	maybe	1.00995
loops_smt/1567523038984754.koat.smt2	maybe	0.846414
loops_smt/1567523039293866.koat.smt2	maybe	0.915368
loops_smt/1567523039294139.koat.smt2	maybe	0.919749
loops_smt/1567523039294457.koat.smt2	maybe	0.992713
loops_smt/1567523039294787.koat.smt2	maybe	1.55409
loops_smt/1567523039295808.koat.smt2	no	1.06272
loops_smt/1567523039443195.koat.smt2	maybe	0.873939
loops_smt/1567523039547229.koat.smt2	maybe	0.90772
loops_smt/1567523039996898.koat.smt2	maybe	0.913213
loops_smt/1567523039997637.koat.smt2	maybe	0.890149
loops_smt/1567523039998984.koat.smt2	maybe	0.91676
loops_smt/1567523039999284.koat.smt2	maybe	0.91826
loops_smt/1567523040133374.koat.smt2	maybe	1.00706
loops_smt/1567523040133625.koat.smt2	maybe	0.880774
loops_smt/1567523040204369.koat.smt2	maybe	0.885573
loops_smt/1567523040934515.koat.smt2	maybe	1.11383
loops_smt/1567523040935760.koat.smt2	maybe	1.11278
loops_smt/1567523040936383.koat.smt2	maybe	1.12845
loops_smt/1567523040939713.koat.smt2	maybe	1.15591
loops_smt/1567523041115998.koat.smt2	maybe	0.861307
loops_smt/1567523041448786.koat.smt2	maybe	1.29596
loops_smt/1567523041450151.koat.smt2	maybe	1.12542
loops_smt/1567523041596393.koat.smt2	maybe	0.934694
loops_smt/1567523041596728.koat.smt2	maybe	0.89517
loops_smt/1567523041597043.koat.smt2	maybe	0.889907
loops_smt/1567523041856013.koat.smt2	maybe	1.01125
loops_smt/1567523041856625.koat.smt2	maybe	0.909315
loops_smt/1567523042576186.koat.smt2	maybe	1.30429
loops_smt/1567523042582160.koat.smt2	maybe	1.18222
loops_smt/1567523042649804.koat.smt2	maybe	0.845244
loops_smt/1567523042753638.koat.smt2	no	0.995404
loops_smt/1567523045068963.koat.smt2	maybe	0.956311
loops_smt/1567523045069463.koat.smt2	maybe	1.01233
loops_smt/1567523045073607.koat.smt2	maybe	1.03116
loops_smt/1567523045074065.koat.smt2	maybe	1.03876
loops_smt/1567523045074528.koat.smt2	maybe	1.02008
loops_smt/1567523045624274.koat.smt2	maybe	1.19163
loops_smt/1567523045624891.koat.smt2	maybe	1.19921
loops_smt/1567523045625279.koat.smt2	maybe	0.888199
loops_smt/1567523045625507.koat.smt2	maybe	0.904462
loops_smt/1567523045796666.koat.smt2	maybe	0.858487
loops_smt/1567523046073955.koat.smt2	maybe	0.857577
loops_smt/1567523046074128.koat.smt2	maybe	0.944448
loops_smt/1567523046427060.koat.smt2	maybe	0.983412
loops_smt/1567523046427476.koat.smt2	maybe	0.977774
loops_smt/1567523046427824.koat.smt2	maybe	0.970871
loops_smt/1567523046428169.koat.smt2	maybe	0.971049
loops_smt/1567523046541129.koat.smt2	maybe	0.875797
loops_smt/1567523046541392.koat.smt2	maybe	0.8658
loops_smt/1567523047079106.koat.smt2	maybe	1.0175
loops_smt/1567523047079646.koat.smt2	maybe	1.0162
loops_smt/1567523047080157.koat.smt2	maybe	1.1807
loops_smt/1567523047080717.koat.smt2	maybe	1.07728
loops_smt/1567523047081304.koat.smt2	maybe	1.27174
loops_smt/1567523047081919.koat.smt2	maybe	1.11151
loops_smt/1567523047082497.koat.smt2	no	1.41273
loops_smt/1567523047083010.koat.smt2	no	1.2898
loops_smt/1567523047083476.koat.smt2	no	1.27175
loops_smt/1567523047238661.koat.smt2	maybe	0.964001
loops_smt/1567523047306086.koat.smt2	maybe	0.856523
loops_smt/1567523047527383.koat.smt2	maybe	2.13324
loops_smt/1567523047651482.koat.smt2	maybe	0.907398
loops_smt/1567523047651740.koat.smt2	maybe	0.87933
loops_smt/1567523047937224.koat.smt2	maybe	0.898365
loops_smt/1567523048438763.koat.smt2	maybe	0.87693
loops_smt/1567523048439555.koat.smt2	no	1.1856
loops_smt/1567523048440455.koat.smt2	no	1.23509
loops_smt/1567523048440910.koat.smt2	no	1.22901
loops_smt/1567523049351238.koat.smt2	maybe	0.881233
loops_smt/1567523049352613.koat.smt2	maybe	1.02554
loops_smt/1567523049352885.koat.smt2	maybe	0.917759
loops_smt/1567523049353142.koat.smt2	maybe	0.919454
loops_smt/1567523049353399.koat.smt2	maybe	0.913447
loops_smt/1567523049353611.koat.smt2	maybe	0.870512
loops_smt/1567523049454870.koat.smt2	maybe	0.840964
loops_smt/1567523049769992.koat.smt2	maybe	0.907881
loops_smt/1567523049770235.koat.smt2	maybe	0.922681
loops_smt/1567523050234875.koat.smt2	maybe	0.870954
loops_smt/1567523050435332.koat.smt2	no	1.05612
loops_smt/1567523050435922.koat.smt2	no	1.06072
loops_smt/1567523053190363.koat.smt2	maybe	1.48691
loops_smt/1567523053192708.koat.smt2	maybe	1.47189
loops_smt/1567523053197585.koat.smt2	maybe	1.4565
loops_smt/1567523053198726.koat.smt2	maybe	1.47504
loops_smt/1567523053222711.koat.smt2	maybe	1.91977
loops_smt/1567523053453240.koat.smt2	maybe	0.945328
loops_smt/1567523053453552.koat.smt2	maybe	1.04812
loops_smt/1567523053453898.koat.smt2	maybe	0.96723
loops_smt/1567523053454285.koat.smt2	maybe	0.97287
loops_smt/1567523054474097.koat.smt2	maybe	0.953566
loops_smt/1567523054775314.koat.smt2	maybe	0.911455
loops_smt/1567523054775617.koat.smt2	maybe	0.897253
loops_smt/1567523054899182.koat.smt2	maybe	0.863506
loops_smt/1567523054899426.koat.smt2	maybe	0.862759
loops_smt/1567523055102850.koat.smt2	maybe	1.75532
loops_smt/1567523055242391.koat.smt2	maybe	0.839717
loops_smt/1567523055433480.koat.smt2	maybe	0.861317
loops_smt/1567523055516755.koat.smt2	maybe	0.850727
loops_smt/1567523056288019.koat.smt2	maybe	1.13109
loops_smt/1567523056295077.koat.smt2	maybe	1.157
loops_smt/1567523056421547.koat.smt2	maybe	0.892656
loops_smt/1567523056612154.koat.smt2	maybe	0.905445
loops_smt/1567523056818146.koat.smt2	maybe	0.872765
loops_smt/1567523057019783.koat.smt2	maybe	1.75185
loops_smt/1567523057161049.koat.smt2	maybe	0.855311
loops_smt/1567523057762563.koat.smt2	maybe	1.13034
loops_smt/1567523057766115.koat.smt2	maybe	1.16085
loops_smt/1567523067811781.koat.smt2	maybe	1.22118
loops_smt/1567523067816962.koat.smt2	maybe	1.04371
loops_smt/1567523067821778.koat.smt2	maybe	1.11465
loops_smt/1567523067853496.koat.smt2	maybe	1.28278
loops_smt/1567523067855291.koat.smt2	maybe	1.28426
loops_smt/1567523067857083.koat.smt2	maybe	1.3113
loops_smt/1567523067858843.koat.smt2	maybe	1.18611
loops_smt/1567523068216419.koat.smt2	maybe	0.852726
loops_smt/1567523068374760.koat.smt2	maybe	1.73483
loops_smt/1567523068679749.koat.smt2	maybe	0.958866
loops_smt/1567523068680165.koat.smt2	maybe	0.943141
loops_smt/1567523068681718.koat.smt2	maybe	1.09854
loops_smt/1567523068682036.koat.smt2	maybe	0.971305
loops_smt/1567523068682397.koat.smt2	maybe	0.984037
loops_smt/1567523068682776.koat.smt2	maybe	0.981288
loops_smt/1567523068840612.koat.smt2	maybe	0.852915
loops_smt/1567523068840767.koat.smt2	maybe	0.855008
loops_smt/1567523068841048.koat.smt2	maybe	0.8467
loops_smt/1567523068907751.koat.smt2	maybe	0.850654
loops_smt/1567523069116360.koat.smt2	maybe	1.93203
loops_smt/1567523071535967.koat.smt2	maybe	2.13351
loops_smt/1567523071539539.koat.smt2	maybe	2.11355
loops_smt/1567523071547049.koat.smt2	maybe	2.13713
loops_smt/1567523071550813.koat.smt2	maybe	2.1786
loops_smt/1567523071556770.koat.smt2	maybe	2.2784
loops_smt/1567523071560602.koat.smt2	maybe	2.11086
loops_smt/1567523071566957.koat.smt2	maybe	2.32273
loops_smt/1567523071571102.koat.smt2	maybe	2.26201
loops_smt/1567523071572895.koat.smt2	maybe	1.9049
loops_smt/1567523071575252.koat.smt2	maybe	3.04993
loops_smt/1567523071768107.koat.smt2	maybe	0.864955
loops_smt/1567523071768328.koat.smt2	maybe	0.870795
loops_smt/1567523072168443.koat.smt2	maybe	0.932287
loops_smt/1567523072469597.koat.smt2	maybe	0.958214
loops_smt/1567523072469989.koat.smt2	maybe	0.953894
loops_smt/1567523072470701.koat.smt2	no	1.11923
loops_smt/1567523072471750.koat.smt2	maybe	0.964306
loops_smt/1567523072472089.koat.smt2	maybe	0.961952
loops_smt/1567523072472479.koat.smt2	maybe	0.995966
loops_smt/1567523072472887.koat.smt2	maybe	0.995411
loops_smt/1567523072938784.koat.smt2	maybe	0.846983
loops_smt/1567523073135966.koat.smt2	maybe	1.75759
loops_smt/1567523073399244.koat.smt2	maybe	0.876295
loops_smt/1567523074209430.koat.smt2	maybe	1.11668
loops_smt/1567523076753075.koat.smt2	maybe	1.45613
loops_smt/1567523076755423.koat.smt2	maybe	1.47784
loops_smt/1567523076760276.koat.smt2	maybe	1.48022
loops_smt/1567523076761424.koat.smt2	maybe	1.4821
loops_smt/1567523076784534.koat.smt2	maybe	1.92782
loops_smt/1567523077009012.koat.smt2	maybe	0.857341
loops_smt/1567523077009166.koat.smt2	maybe	0.875893
loops_smt/1567523077143041.koat.smt2	maybe	0.846736
loops_smt/1567523082209422.koat.smt2	maybe	0.869215
loops_smt/1567523082212423.koat.smt2	maybe	0.879115
loops_smt/1567523082212604.koat.smt2	maybe	0.880196
loops_smt/1567523082212807.koat.smt2	maybe	0.860781
loops_smt/1567523084803520.koat.smt2	maybe	1.11145
loops_smt/1567523084804575.koat.smt2	maybe	1.01052
loops_smt/1567523084823510.koat.smt2	maybe	1.15502
loops_smt/1567523084824191.koat.smt2	maybe	1.14005
loops_smt/1567523084824869.koat.smt2	maybe	1.13747
loops_smt/1567523084834298.koat.smt2	maybe	1.09092
loops_smt/1567523085076362.koat.smt2	maybe	0.836048
loops_smt/1567523085896576.koat.smt2	maybe	0.879316
loops_smt/1567523085962288.koat.smt2	maybe	0.836713
loops_smt/1567523086082307.koat.smt2	maybe	0.862577
loops_smt/1567523087179527.koat.smt2	no	1.14355
loops_smt/1567523087179991.koat.smt2	maybe	1.00226
loops_smt/1567523087180414.koat.smt2	maybe	0.973307
loops_smt/1567523087180786.koat.smt2	maybe	0.982079
loops_smt/1567523087181212.koat.smt2	maybe	1.04148
loops_smt/1567523087181695.koat.smt2	maybe	1.02006
loops_smt/1567523087182169.koat.smt2	maybe	1.04555
loops_smt/1567523087182644.koat.smt2	maybe	1.022
loops_smt/1567523087183080.koat.smt2	no	1.232
loops_smt/1567523087607124.koat.smt2	maybe	0.863492
loops_smt/1567523087607349.koat.smt2	maybe	0.85874
loops_smt/1567523087813010.koat.smt2	maybe	1.93031
loops_smt/1567523087972483.koat.smt2	maybe	1.73786
loops_smt/1567523088241726.koat.smt2	maybe	0.924083
loops_smt/1567523088430205.koat.smt2	maybe	0.92
loops_smt/1567523088430460.koat.smt2	no	0.912168
loops_smt/1567523088565137.koat.smt2	maybe	0.864492
loops_smt/1567523088565389.koat.smt2	maybe	0.883379
loops_smt/1567523088565563.koat.smt2	maybe	0.859591
loops_smt/1567523088565721.koat.smt2	maybe	0.868235
loops_smt/1567523088747176.koat.smt2	maybe	0.87824
loops_smt/1567523089299642.koat.smt2	maybe	1.13064
loops_smt/1567523089303253.koat.smt2	maybe	1.1514
loops_smt/1567523089406655.koat.smt2	maybe	0.856951
loops_smt/1567523089406794.koat.smt2	maybe	0.850267
loops_smt/1567523092150640.koat.smt2	maybe	1.60586
loops_smt/1567523092153443.koat.smt2	maybe	1.61605
loops_smt/1567523092159221.koat.smt2	maybe	1.61435
loops_smt/1567523092160589.koat.smt2	maybe	1.613
loops_smt/1567523092188808.koat.smt2	maybe	2.12763
loops_smt/1567523092316598.koat.smt2	maybe	0.85433
loops_smt/1567523092387194.koat.smt2	maybe	0.963644
loops_smt/1567523092641064.koat.smt2	maybe	0.918076
loops_smt/1567523092641383.koat.smt2	maybe	0.889499
loops_smt/1567523092641605.koat.smt2	maybe	0.902382
loops_smt/1567523092641831.koat.smt2	maybe	0.892484
loops_smt/1567523092642066.koat.smt2	maybe	0.90812
loops_smt/1567523092642287.koat.smt2	maybe	0.87684
loops_smt/1567523093287792.koat.smt2	maybe	0.878624
loops_smt/1567523093288055.koat.smt2	maybe	0.92494
loops_smt/1567523093453481.koat.smt2	maybe	0.874
loops_smt/1567523096108401.koat.smt2	maybe	2.10533
loops_smt/1567523096112095.koat.smt2	maybe	2.06128
loops_smt/1567523096113567.koat.smt2	maybe	1.58693
loops_smt/1567523096114791.koat.smt2	maybe	1.56239
loops_smt/1567523096126347.koat.smt2	maybe	2.35543
loops_smt/1567523096130532.koat.smt2	maybe	2.26532
loops_smt/1567523096136457.koat.smt2	maybe	2.13451
loops_smt/1567523096140207.koat.smt2	maybe	2.1025
loops_smt/1567523096141723.koat.smt2	maybe	2.22364
loops_smt/1567523096143045.koat.smt2	maybe	2.15814
loops_smt/1567523096144341.koat.smt2	maybe	2.13452
loops_smt/1567523096145639.koat.smt2	maybe	2.26873
loops_smt/1567523096146936.koat.smt2	maybe	2.15162
loops_smt/1567523096148234.koat.smt2	maybe	2.14672
loops_smt/1567523096149831.koat.smt2	maybe	2.0715
loops_smt/1567523096153243.koat.smt2	maybe	2.07972
loops_smt/1567523096400359.koat.smt2	maybe	0.87896
loops_smt/1567523096400632.koat.smt2	maybe	1.1969
loops_smt/1567523096400851.koat.smt2	maybe	0.886176
loops_smt/1567523096536170.koat.smt2	maybe	0.858952
loops_smt/1567523097052996.koat.smt2	maybe	1.53734
loops_smt/1567523097055477.koat.smt2	maybe	1.51243
loops_smt/1567523097059874.koat.smt2	maybe	1.36226
loops_smt/1567523097060862.koat.smt2	maybe	1.34788
loops_smt/1567523097062422.koat.smt2	maybe	2.24927
loops_smt/1567523099786935.koat.smt2	maybe	1.49031
loops_smt/1567523099789288.koat.smt2	maybe	1.48449
loops_smt/1567523099794127.koat.smt2	maybe	1.45971
loops_smt/1567523099795307.koat.smt2	maybe	1.48948
loops_smt/1567523099819440.koat.smt2	maybe	1.91998
loops_smt/1567523100171503.koat.smt2	maybe	1.24551
loops_smt/1567523100172400.koat.smt2	maybe	1.29999
loops_smt/1567523100173240.koat.smt2	maybe	1.25675
loops_smt/1567523100174078.koat.smt2	maybe	1.20907
loops_smt/1567523100175364.koat.smt2	maybe	1.93296
loops_smt/1567523100478314.koat.smt2	maybe	1.03733
loops_smt/1567523100478582.koat.smt2	maybe	0.923457
loops_smt/1567523100478773.koat.smt2	maybe	0.90368
loops_smt/1567523100478953.koat.smt2	maybe	0.870181
loops_smt/1567523100728576.koat.smt2	no	0.927531
loops_smt/1567523101013127.koat.smt2	maybe	1.75208
loops_smt/1567523101083505.koat.smt2	maybe	0.846374
loops_smt/1567523101437411.koat.smt2	maybe	0.945641
loops_smt/1567523101549041.koat.smt2	maybe	0.845007
loops_smt/1567523101856515.koat.smt2	maybe	0.871002
loops_smt/1567523102198966.koat.smt2	no	1.04931
loops_smt/1567523102286227.koat.smt2	maybe	0.844465
loops_smt/1567523102286459.koat.smt2	maybe	0.869132
loops_smt/1567523103329355.koat.smt2	maybe	0.882412
loops_smt/1567523103329630.koat.smt2	maybe	0.898536
loops_smt/1567523103329858.koat.smt2	maybe	0.899218
loops_smt/1567523103330516.koat.smt2	maybe	0.909658
loops_smt/1567523103330757.koat.smt2	maybe	0.915476
loops_smt/1567523103331220.koat.smt2	maybe	0.903895
loops_smt/1567523103437050.koat.smt2	maybe	0.848797
loops_smt/1567523103678594.koat.smt2	maybe	0.885764
loops_smt/1567523103678869.koat.smt2	maybe	0.898601
loops_smt/1567523103679079.koat.smt2	maybe	0.871575
loops_smt/1567523103799136.koat.smt2	maybe	0.901715
loops_smt/1567523103799382.koat.smt2	maybe	0.856642
loops_smt/1567523103865940.koat.smt2	maybe	0.861038
loops_smt/1567523103950660.koat.smt2	maybe	0.861415
loops_smt/1567523103950932.koat.smt2	maybe	0.882007
loops_smt/1567523104607377.koat.smt2	maybe	0.892771
loops_smt/1567523104607677.koat.smt2	maybe	0.900345
loops_smt/1567523104607920.koat.smt2	maybe	0.893301
loops_smt/1567523104794614.koat.smt2	maybe	0.850076
loops_smt/1567523104794941.koat.smt2	maybe	0.844813
loops_smt/1567523104868513.koat.smt2	maybe	0.872833
loops_smt/1567523104979298.koat.smt2	maybe	0.908361
loops_smt/1567523105272726.koat.smt2	maybe	0.853804
loops_smt/1567523105406133.koat.smt2	maybe	0.865532
loops_smt/1567523105406394.koat.smt2	maybe	1.17998
loops_smt/1567523105535205.koat.smt2	maybe	0.852447
loops_smt/1567523105535418.koat.smt2	maybe	0.851466
loops_smt/1567523105708257.koat.smt2	maybe	0.851078
loops_smt/1567523105973766.koat.smt2	no	0.898289
loops_smt/1567523106202758.koat.smt2	maybe	0.89832
loops_smt/1567523106272845.koat.smt2	maybe	0.838797
loops_smt/1567523106358926.koat.smt2	maybe	0.85186
loops_smt/1567523106359137.koat.smt2	maybe	0.857874
loops_smt/1567523106563332.koat.smt2	maybe	1.74491
loops_smt/1567523106888559.koat.smt2	maybe	0.910979
loops_smt/1567523106888832.koat.smt2	maybe	1.0016
loops_smt/1567523106889080.koat.smt2	maybe	0.899658
loops_smt/1567523106889336.koat.smt2	maybe	0.917333
loops_smt/1567523107181077.koat.smt2	maybe	1.13866
loops_smt/1567523107181225.koat.smt2	maybe	0.852455
loops_smt/1567523107340673.koat.smt2	maybe	0.853362
loops_smt/1567523108150015.koat.smt2	maybe	0.899146
loops_smt/1567523108836364.koat.smt2	maybe	0.938493
loops_smt/1567523108842890.koat.smt2	maybe	0.925725
loops_smt/1567523108843188.koat.smt2	maybe	0.943923
loops_smt/1567523108843525.koat.smt2	maybe	1.10896
loops_smt/1567523108843882.koat.smt2	maybe	0.971291
loops_smt/1567523109153570.koat.smt2	maybe	0.874962
loops_smt/1567523109421350.koat.smt2	maybe	1.91442
loops_smt/1567523109493857.koat.smt2	maybe	0.89417
loops_smt/1567523109650698.koat.smt2	maybe	0.997757
loops_smt/1567523109651155.koat.smt2	maybe	0.966387
loops_smt/1567523110137323.koat.smt2	maybe	1.11721
loops_smt/1567523110141011.koat.smt2	maybe	1.15794
loops_smt/1567523111843867.koat.smt2	maybe	0.931458
loops_smt/1567523111844143.koat.smt2	maybe	0.924359
loops_smt/1567523111844461.koat.smt2	maybe	0.95924
loops_smt/1567523111844795.koat.smt2	maybe	0.953989
loops_smt/1567523111845373.koat.smt2	no	0.986365
loops_smt/1567523112109177.koat.smt2	maybe	0.831404
loops_smt/1567523112109368.koat.smt2	maybe	1.86415
loops_smt/1567523112179055.koat.smt2	maybe	1.04792
loops_smt/1567523112266188.koat.smt2	maybe	0.862647
loops_smt/1567523112266412.koat.smt2	maybe	0.857147
loops_smt/1567523112480804.koat.smt2	maybe	0.847816
loops_smt/1567523112480947.koat.smt2	maybe	0.858738
loops_smt/1567523112680320.koat.smt2	maybe	0.864866
loops_smt/1567523112680504.koat.smt2	maybe	0.875509
loops_smt/1567523112680679.koat.smt2	maybe	0.871664
loops_smt/1567523112955944.koat.smt2	maybe	0.907914
loops_smt/1567523112956430.koat.smt2	maybe	0.902192
loops_smt/1567523112956667.koat.smt2	maybe	1.68122
loops_smt/1567523113080014.koat.smt2	maybe	0.860604
loops_smt/1567523117928847.koat.smt2	maybe	0.870846
loops_smt/1567523117929051.koat.smt2	maybe	0.878454
loops_smt/1567523117929248.koat.smt2	maybe	0.871294
loops_smt/1567523117929429.koat.smt2	maybe	0.866384
loops_smt/1567523117929604.koat.smt2	maybe	0.874651
loops_smt/1567523118085781.koat.smt2	maybe	0.88747
loops_smt/1567523118086065.koat.smt2	maybe	0.888858
loops_smt/1567523118086288.koat.smt2	maybe	0.903798
loops_smt/1567523118310982.koat.smt2	maybe	1.08409
loops_smt/1567523118311509.koat.smt2	maybe	1.00098
loops_smt/1567523118579411.koat.smt2	maybe	1.14648
loops_smt/1567523118579818.koat.smt2	maybe	0.892465
loops_smt/1567523121715053.koat.smt2	maybe	0.899574
loops_smt/1567523122606819.koat.smt2	maybe	1.12712
loops_smt/1567523122613209.koat.smt2	maybe	1.16663
loops_smt/1567523124122690.koat.smt2	maybe	0.904282
loops_smt/1567523124123002.koat.smt2	maybe	0.903698
loops_smt/1567523124310741.koat.smt2	maybe	0.894864
loops_smt/1567523124818657.koat.smt2	maybe	1.1241
loops_smt/1567523124822327.koat.smt2	maybe	1.15964
loops_smt/1567523124928478.koat.smt2	maybe	0.854371
loops_smt/1567523125039855.koat.smt2	maybe	0.875239
loops_smt/1567523125127124.koat.smt2	maybe	0.85582
loops_smt/1567523125618648.koat.smt2	maybe	0.883763
loops_smt/1567523125618932.koat.smt2	maybe	0.895152
loops_smt/1567523125619359.koat.smt2	maybe	0.87601
loops_smt/1567523125619571.koat.smt2	maybe	0.898917
loops_smt/1567523125619994.koat.smt2	maybe	0.878003
loops_smt/1567523125620204.koat.smt2	maybe	0.879703
loops_smt/1567523125727897.koat.smt2	maybe	0.898567
loops_smt/1567523125846031.koat.smt2	maybe	0.853165
loops_smt/1567523126774749.koat.smt2	maybe	0.891247
loops_smt/1567523126775045.koat.smt2	maybe	0.891286
loops_smt/1567523126775291.koat.smt2	maybe	0.905531
loops_smt/1567523127005592.koat.smt2	maybe	0.850844
loops_smt/1567523127005803.koat.smt2	maybe	0.848432
loops_smt/1567523127078220.koat.smt2	maybe	0.857032
loops_smt/1567523127403515.koat.smt2	maybe	0.963189
loops_smt/1567523127403917.koat.smt2	maybe	0.9603
loops_smt/1567523127406226.koat.smt2	maybe	0.954283
loops_smt/1567523127406626.koat.smt2	maybe	0.95626
loops_smt/1567523127407021.koat.smt2	maybe	0.992379
loops_smt/1567523127407440.koat.smt2	maybe	0.990608
loops_smt/1567523127619898.koat.smt2	maybe	1.74181
loops_smt/1567523128176196.koat.smt2	maybe	1.21796
loops_smt/1567523128177933.koat.smt2	maybe	1.19409
loops_smt/1567523128181633.koat.smt2	maybe	1.22229
loops_smt/1567523128182489.koat.smt2	maybe	1.18914
loops_smt/1567523128183694.koat.smt2	maybe	1.75674
loops_smt/1567523128344582.koat.smt2	maybe	0.986381
loops_smt/1567523128344891.koat.smt2	maybe	0.843662
loops_smt/1567523129010283.koat.smt2	maybe	0.940929
loops_smt/1567523129010670.koat.smt2	maybe	0.954298
loops_smt/1567523129020106.koat.smt2	maybe	1.01079
loops_smt/1567523129021403.koat.smt2	maybe	1.01178
loops_smt/1567523129022502.koat.smt2	maybe	1.04078
loops_smt/1567523129023569.koat.smt2	maybe	1.02683
loops_smt/1567523129024552.koat.smt2	no	1.22986
loops_smt/1567523129025416.koat.smt2	no	1.10078
loops_smt/1567523129026166.koat.smt2	no	1.10291
loops_smt/1567523129403627.koat.smt2	maybe	0.985421
loops_smt/1567523129404118.koat.smt2	maybe	0.996434
loops_smt/1567523129404564.koat.smt2	maybe	0.981389
loops_smt/1567523129405001.koat.smt2	maybe	1.16406
loops_smt/1567523129613341.koat.smt2	maybe	1.90969
loops_smt/1567523130729918.koat.smt2	no	1.15505
loops_smt/1567523130730301.koat.smt2	no	1.12882
loops_smt/1567523130927885.koat.smt2	maybe	1.75993
loops_smt/1567523131547057.koat.smt2	maybe	0.925538
loops_smt/1567523131547418.koat.smt2	maybe	0.923383
loops_smt/1567523131547778.koat.smt2	maybe	0.989918
loops_smt/1567523131548191.koat.smt2	maybe	1.00356
loops_smt/1567523131548523.koat.smt2	maybe	0.917573
loops_smt/1567523131549006.koat.smt2	maybe	0.914164
loops_smt/1567523131549301.koat.smt2	maybe	0.943406
loops_smt/1567523131549633.koat.smt2	maybe	1.07467
loops_smt/1567523131724239.koat.smt2	maybe	0.852572
loops_smt/1567523132023816.koat.smt2	maybe	0.879978
loops_smt/1567523132321081.koat.smt2	maybe	0.863732
loops_smt/1567523132806662.koat.smt2	maybe	0.934483
loops_smt/1567523132806956.koat.smt2	maybe	0.936718
loops_smt/1567523132807300.koat.smt2	maybe	1.32083
loops_smt/1567523132807655.koat.smt2	maybe	0.961573
loops_smt/1567523132992531.koat.smt2	maybe	0.969185
loops_smt/1567523136591794.koat.smt2	maybe	2.15495
loops_smt/1567523136595940.koat.smt2	maybe	2.09558
loops_smt/1567523136638721.koat.smt2	maybe	2.05431
loops_smt/1567523136642336.koat.smt2	maybe	2.04024
loops_smt/1567523136925041.koat.smt2	maybe	1.9169
loops_smt/1567523138486888.koat.smt2	maybe	0.881681
loops_smt/1567523138489018.koat.smt2	no	1.46448
loops_smt/1567523138492491.koat.smt2	no	1.42661
loops_smt/1567523138493172.koat.smt2	no	1.45133
loops_smt/1567523142225751.koat.smt2	maybe	0.959169
loops_smt/1567523142561420.koat.smt2	maybe	0.982259
loops_smt/1567523142561846.koat.smt2	maybe	0.968243
loops_smt/1567523142562199.koat.smt2	maybe	1.05876
loops_smt/1567523142562568.koat.smt2	maybe	0.972466
loops_smt/1567523142798038.koat.smt2	maybe	0.869678
loops_smt/1567523142798255.koat.smt2	maybe	0.856558
loops_smt/1567523143196883.koat.smt2	maybe	0.935507
loops_smt/1567523143197263.koat.smt2	maybe	0.93602
loops_smt/1567523143197649.koat.smt2	maybe	0.995009
loops_smt/1567523143198082.koat.smt2	maybe	0.97471
loops_smt/1567523143198503.koat.smt2	maybe	1.00249
loops_smt/1567523143198979.koat.smt2	maybe	0.977811
loops_smt/1567523143199361.koat.smt2	no	1.10468
loops_smt/1567523143199751.koat.smt2	no	1.14033
loops_smt/1567523143200159.koat.smt2	no	1.11111
loops_smt/1567523143355751.koat.smt2	maybe	0.857567
loops_smt/1567523143498031.koat.smt2	maybe	0.848861
loops_smt/1567523143729687.koat.smt2	maybe	0.867817
loops_smt/1567523143729902.koat.smt2	maybe	0.855759
loops_smt/1567523143730205.koat.smt2	maybe	0.85463
loops_smt/1567523144961609.koat.smt2	maybe	0.912585
loops_smt/1567523144961940.koat.smt2	maybe	0.89732
loops_smt/1567523144962192.koat.smt2	maybe	0.89977
loops_smt/1567523144962455.koat.smt2	maybe	0.917942
loops_smt/1567523144962681.koat.smt2	maybe	0.86224
loops_smt/1567523144962874.koat.smt2	maybe	0.8736
loops_smt/1567523144963094.koat.smt2	maybe	0.86742
loops_smt/1567523144963290.koat.smt2	maybe	0.899414
loops_smt/1567523144963713.koat.smt2	maybe	0.862114
loops_smt/1567523144963954.koat.smt2	maybe	0.880408
loops_smt/1567523144964143.koat.smt2	maybe	0.876999
loops_smt/1567523144964328.koat.smt2	maybe	0.875776
loops_smt/1567523144964501.koat.smt2	maybe	0.86835
loops_smt/1567523144964893.koat.smt2	maybe	0.871064
loops_smt/1567523144965071.koat.smt2	maybe	0.882584
loops_smt/1567523144965242.koat.smt2	maybe	0.867245
loops_smt/1567523144965596.koat.smt2	maybe	0.870652
loops_smt/1567523145187771.koat.smt2	maybe	0.912151
loops_smt/1567523145188092.koat.smt2	maybe	0.90118
loops_smt/1567523145188342.koat.smt2	maybe	0.923189
loops_smt/1567523145188590.koat.smt2	maybe	0.940764
loops_smt/1567523145804199.koat.smt2	maybe	0.890871
loops_smt/1567523145804440.koat.smt2	maybe	0.89917
loops_smt/1567523145804906.koat.smt2	maybe	0.956983
loops_smt/1567523145805139.koat.smt2	maybe	0.902067
loops_smt/1567523145805603.koat.smt2	maybe	0.892011
loops_smt/1567523145805831.koat.smt2	maybe	0.8993
loops_smt/1567523148364109.koat.smt2	maybe	1.45408
loops_smt/1567523148366442.koat.smt2	maybe	1.48291
loops_smt/1567523148371287.koat.smt2	maybe	1.46041
loops_smt/1567523148372427.koat.smt2	maybe	1.48699
loops_smt/1567523148411892.koat.smt2	maybe	1.92906
loops_smt/1567523148518575.koat.smt2	maybe	0.879018
loops_smt/1567523151277867.koat.smt2	maybe	1.00987
loops_smt/1567523151278305.koat.smt2	maybe	1.06571
loops_smt/1567523151278710.koat.smt2	maybe	1.06714
loops_smt/1567523151487243.koat.smt2	maybe	1.92067
loops_smt/1567523151560880.koat.smt2	maybe	0.888442
loops_smt/1567523154152450.koat.smt2	maybe	1.45418
loops_smt/1567523154154927.koat.smt2	maybe	1.48316
loops_smt/1567523154159983.koat.smt2	maybe	1.46102
loops_smt/1567523154161166.koat.smt2	maybe	1.46829
loops_smt/1567523154202257.koat.smt2	maybe	1.92376
loops_smt/1567523154807754.koat.smt2	no	1.21118
loops_smt/1567523154808101.koat.smt2	no	1.08789
loops_smt/1567523154808417.koat.smt2	no	1.07711
loops_smt/1567523154808728.koat.smt2	no	1.0767
loops_smt/1567523155410980.koat.smt2	maybe	1.20274
loops_smt/1567523155411669.koat.smt2	maybe	1.14381
loops_smt/1567523155415000.koat.smt2	maybe	1.17785
loops_smt/1567523155683425.koat.smt2	maybe	1.00374
loops_smt/1567523155887853.koat.smt2	maybe	0.859589
loops_smt/1567523156074938.koat.smt2	maybe	0.854568
loops_smt/1567523156075159.koat.smt2	maybe	0.877382
loops_smt/1567523156901197.koat.smt2	maybe	1.11983
loops_smt/1567523156902494.koat.smt2	maybe	1.11622
loops_smt/1567523156903131.koat.smt2	maybe	1.13018
loops_smt/1567523156906569.koat.smt2	maybe	1.15731
loops_smt/1567523157055527.koat.smt2	maybe	1.06568
loops_smt/1567523157055802.koat.smt2	maybe	0.88727
loops_smt/1567523157056031.koat.smt2	maybe	0.886961
loops_smt/1567523158620489.koat.smt2	maybe	1.10142
loops_smt/1567523158621031.koat.smt2	maybe	1.04339
loops_smt/1567523158621470.koat.smt2	maybe	0.981466
loops_smt/1567523158621870.koat.smt2	maybe	0.973586
loops_smt/1567523158622273.koat.smt2	maybe	0.96796
loops_smt/1567523158622663.koat.smt2	maybe	0.980403
loops_smt/1567523158623884.koat.smt2	maybe	1.05758
loops_smt/1567523158624412.koat.smt2	maybe	1.05098
loops_smt/1567523159050979.koat.smt2	maybe	0.863816
loops_smt/1567523159059895.koat.smt2	maybe	0.880885
loops_smt/1567523159891542.koat.smt2	maybe	0.918203
loops_smt/1567523159891810.koat.smt2	maybe	0.918341
loops_smt/1567523159892119.koat.smt2	maybe	0.945295
loops_smt/1567523159892459.koat.smt2	maybe	0.950496
loops_smt/1567523164780297.koat.smt2	maybe	0.985099
loops_smt/1567523164780845.koat.smt2	maybe	1.08016
loops_smt/1567523164781416.koat.smt2	maybe	1.05733
loops_smt/1567523164781953.koat.smt2	maybe	1.05076
loops_smt/1567523164782621.koat.smt2	maybe	1.346
loops_smt/1567523164783426.koat.smt2	maybe	1.23831
loops_smt/1567523164784015.koat.smt2	maybe	1.00014
loops_smt/1567523164784441.koat.smt2	maybe	0.994441
loops_smt/1567523164784919.koat.smt2	maybe	1.17585
loops_smt/1567523164785438.koat.smt2	maybe	1.07311
loops_smt/1567523164785948.koat.smt2	maybe	1.05584
loops_smt/1567523164786464.koat.smt2	maybe	1.04366
loops_smt/1567523164786984.koat.smt2	maybe	1.06963
loops_smt/1567523164787522.koat.smt2	maybe	1.07047
loops_smt/1567523164788055.koat.smt2	maybe	1.06968
loops_smt/1567523164788543.koat.smt2	maybe	0.997073
loops_smt/1567523164788970.koat.smt2	maybe	0.998242
loops_smt/1567523164789420.koat.smt2	maybe	0.995167
loops_smt/1567523164789964.koat.smt2	maybe	1.12691
loops_smt/1567523164790600.koat.smt2	maybe	1.14161
loops_smt/1567523164791254.koat.smt2	maybe	1.14211
loops_smt/1567523164791842.koat.smt2	maybe	1.06556
loops_smt/1567523165000195.koat.smt2	maybe	0.870802
loops_smt/1567523165071258.koat.smt2	maybe	0.889436
loops_smt/1567523165274878.koat.smt2	maybe	0.856933
loops_smt/1567523165358324.koat.smt2	maybe	0.853788
loops_smt/1567523165572874.koat.smt2	no	0.926401
loops_smt/1567523166466263.koat.smt2	maybe	1.04047
loops_smt/1567523166466833.koat.smt2	maybe	0.914037
loops_smt/1567523166467208.koat.smt2	maybe	0.91252
loops_smt/1567523166467517.koat.smt2	maybe	0.872678
loops_smt/1567523166467842.koat.smt2	maybe	0.87566
loops_smt/1567523166554034.koat.smt2	maybe	0.856957
loops_smt/1567523166658460.koat.smt2	maybe	0.854381
loops_smt/1567523166943376.koat.smt2	maybe	0.874002
loops_smt/1567523166943776.koat.smt2	no	1.20445
loops_smt/1567523167197351.koat.smt2	no	0.961595
loops_smt/1567523167571946.koat.smt2	maybe	0.870195
loops_smt/1567523167572285.koat.smt2	maybe	0.872185
loops_smt/1567523167770434.koat.smt2	maybe	1.02675
loops_smt/1567523167930331.koat.smt2	maybe	0.947732
loops_smt/1567523168546911.koat.smt2	maybe	0.93339
loops_smt/1567523168547253.koat.smt2	maybe	0.916608
loops_smt/1567523168547532.koat.smt2	maybe	0.910282
loops_smt/1567523168547808.koat.smt2	maybe	0.922372
loops_smt/1567523168548073.koat.smt2	maybe	0.904656
loops_smt/1567523168548312.koat.smt2	maybe	0.902659
loops_smt/1567523168548606.koat.smt2	maybe	0.976772
loops_smt/1567523168548978.koat.smt2	maybe	1.00256
loops_smt/1567523168549355.koat.smt2	maybe	0.959542
loops_smt/1567523168549737.koat.smt2	maybe	1.00799
loops_smt/1567523169553077.koat.smt2	maybe	1.75909
loops_smt/1567523169556183.koat.smt2	maybe	1.74468
loops_smt/1567523169557396.koat.smt2	maybe	1.73847
loops_smt/1567523169558433.koat.smt2	maybe	1.74693
loops_smt/1567523169559513.koat.smt2	maybe	1.75884
loops_smt/1567523169560612.koat.smt2	maybe	1.94805
loops_smt/1567523169562061.koat.smt2	maybe	1.9043
loops_smt/1567523169565280.koat.smt2	maybe	1.93109
loops_smt/1567523170003618.koat.smt2	no	0.951098
loops_smt/1567523170011902.koat.smt2	no	0.945924
loops_smt/1567523170012412.koat.smt2	no	0.94757
loops_smt/1567523170318022.koat.smt2	maybe	0.911085
loops_smt/1567523170318266.koat.smt2	maybe	0.918092
loops_smt/1567523170445350.koat.smt2	maybe	0.879398
loops_smt/1567523175914941.koat.smt2	maybe	2.30839
loops_smt/1567523175919328.koat.smt2	maybe	2.24897
loops_smt/1567523175921158.koat.smt2	maybe	1.76836
loops_smt/1567523175922787.koat.smt2	maybe	2.52301
loops_smt/1567523175924376.koat.smt2	maybe	1.75585
loops_smt/1567523175925943.koat.smt2	maybe	2.48743
loops_smt/1567523175927538.koat.smt2	maybe	1.77818
loops_smt/1567523175929166.koat.smt2	maybe	2.5365
loops_smt/1567523175930795.koat.smt2	maybe	1.73279
loops_smt/1567523175932370.koat.smt2	maybe	2.47242
loops_smt/1567523175974775.koat.smt2	maybe	2.20269
loops_smt/1567523175978571.koat.smt2	maybe	2.19592
loops_smt/1567523176144809.koat.smt2	maybe	0.873411
loops_smt/1567523176318985.koat.smt2	maybe	0.956846
loops_smt/1567523176319330.koat.smt2	maybe	0.961116
loops_smt/1567523176319651.koat.smt2	maybe	1.05708
loops_smt/1567523176320007.koat.smt2	maybe	0.889198
loops_smt/1567523176637781.koat.smt2	maybe	0.857975
loops_smt/1567523176758018.koat.smt2	maybe	0.893057
loops_smt/1567523176860025.koat.smt2	maybe	0.853319
loops_smt/1567523176860177.koat.smt2	maybe	0.845227
loops_smt/1567523176942283.koat.smt2	maybe	0.84544
loops_smt/1567523177241250.koat.smt2	maybe	0.932183
loops_smt/1567523177241497.koat.smt2	maybe	0.870118
loops_smt/1567523177242279.koat.smt2	no	0.976663
loops_smt/1567523177344319.koat.smt2	maybe	0.917776
loops_smt/1567523177650088.koat.smt2	maybe	1.20676
loops_smt/1567523177650919.koat.smt2	maybe	1.17465
loops_smt/1567523177651701.koat.smt2	maybe	1.20317
loops_smt/1567523177652459.koat.smt2	maybe	1.17896
loops_smt/1567523177653747.koat.smt2	maybe	2.01208
loops_smt/1567523177813218.koat.smt2	maybe	0.897007
loops_smt/1567523179320473.koat.smt2	maybe	1.87874
loops_smt/1567523179323821.koat.smt2	maybe	1.83889
loops_smt/1567523179325132.koat.smt2	maybe	1.40359
loops_smt/1567523179326208.koat.smt2	maybe	1.39634
loops_smt/1567523179332420.koat.smt2	maybe	2.02474
loops_smt/1567523179529885.koat.smt2	maybe	0.876708
loops_smt/1567523179530256.koat.smt2	maybe	0.877656
loops_smt/1567523179530580.koat.smt2	maybe	0.871764
loops_smt/1567523179530888.koat.smt2	maybe	0.87868
loops_smt/1567523179615924.koat.smt2	maybe	0.849097
loops_smt/1567523179616124.koat.smt2	maybe	0.855044
loops_smt/1567523179713997.koat.smt2	maybe	0.868481
loops_smt/1567523180151829.koat.smt2	maybe	1.11333
loops_smt/1567523180152189.koat.smt2	maybe	0.965682
loops_smt/1567523180152554.koat.smt2	maybe	0.972162
loops_smt/1567523180152923.koat.smt2	maybe	0.972463
loops_smt/1567523180241261.koat.smt2	maybe	0.974603
loops_smt/1567523180573655.koat.smt2	maybe	0.914053
loops_smt/1567523180574014.koat.smt2	maybe	0.89198
loops_smt/1567523180802445.koat.smt2	maybe	2.21631
loops_smt/1567523183922783.koat.smt2	maybe	0.947829
loops_smt/1567523183923202.koat.smt2	maybe	0.958048
loops_smt/1567523183923534.koat.smt2	maybe	0.955645
loops_smt/1567523183923889.koat.smt2	maybe	0.951909
loops_smt/1567523183924220.koat.smt2	maybe	0.949371
loops_smt/1567523183924555.koat.smt2	maybe	0.955838
loops_smt/1567523183924872.koat.smt2	maybe	0.952221
loops_smt/1567523183925185.koat.smt2	maybe	0.970756
loops_smt/1567523183925502.koat.smt2	maybe	0.947989
loops_smt/1567523183925841.koat.smt2	maybe	0.946226
loops_smt/1567523183926196.koat.smt2	maybe	0.957184
loops_smt/1567523183926520.koat.smt2	maybe	1.56284
loops_smt/1567523183926915.koat.smt2	maybe	0.953801
loops_smt/1567523183927225.koat.smt2	maybe	0.946549
loops_smt/1567523183927544.koat.smt2	maybe	0.948189
loops_smt/1567523183928235.koat.smt2	maybe	0.959992
loops_smt/1567523183928562.koat.smt2	maybe	0.9487
loops_smt/1567523183928950.koat.smt2	maybe	0.968158
loops_smt/1567523183929261.koat.smt2	maybe	0.96406
loops_smt/1567523183929579.koat.smt2	maybe	0.969227
loops_smt/1567523183929960.koat.smt2	maybe	0.95623
loops_smt/1567523183930284.koat.smt2	maybe	0.948978
loops_smt/1567523183930603.koat.smt2	maybe	0.963637
loops_smt/1567523183930924.koat.smt2	maybe	0.955718
loops_smt/1567523183931243.koat.smt2	maybe	0.951459
loops_smt/1567523183931569.koat.smt2	maybe	1.07168
loops_smt/1567523183931954.koat.smt2	maybe	1.05511
loops_smt/1567523183932589.koat.smt2	maybe	0.952459
loops_smt/1567523183932969.koat.smt2	maybe	0.953608
loops_smt/1567523183933295.koat.smt2	maybe	0.952774
loops_smt/1567523183933615.koat.smt2	maybe	0.951365
loops_smt/1567523183934001.koat.smt2	maybe	1.01279
loops_smt/1567523183934445.koat.smt2	maybe	1.02223
loops_smt/1567523183934884.koat.smt2	maybe	1.01103
loops_smt/1567523183935328.koat.smt2	maybe	1.02304
loops_smt/1567523183935769.koat.smt2	maybe	1.01544
loops_smt/1567523183936210.koat.smt2	maybe	1.21909
loops_smt/1567523183936655.koat.smt2	maybe	1.01981
loops_smt/1567523183937094.koat.smt2	maybe	1.01815
loops_smt/1567523183937540.koat.smt2	maybe	1.0143
loops_smt/1567523183937980.koat.smt2	maybe	1.0215
loops_smt/1567523183938424.koat.smt2	maybe	1.01095
loops_smt/1567523183938863.koat.smt2	maybe	1.01119
loops_smt/1567523183939306.koat.smt2	maybe	1.46757
loops_smt/1567523183939746.koat.smt2	maybe	1.00756
loops_smt/1567523183940182.koat.smt2	maybe	1.01842
loops_smt/1567523183940641.koat.smt2	maybe	1.00609
loops_smt/1567523183941080.koat.smt2	maybe	1.01574
loops_smt/1567523183941527.koat.smt2	maybe	1.01083
loops_smt/1567523183941985.koat.smt2	maybe	1.01721
loops_smt/1567523183942440.koat.smt2	maybe	1.01317
loops_smt/1567523183942904.koat.smt2	maybe	1.01765
loops_smt/1567523183943348.koat.smt2	maybe	1.00699
loops_smt/1567523183943783.koat.smt2	maybe	1.00907
loops_smt/1567523183944221.koat.smt2	maybe	1.01263
loops_smt/1567523183944664.koat.smt2	maybe	1.00862
loops_smt/1567523183945126.koat.smt2	maybe	1.0148
loops_smt/1567523183945580.koat.smt2	maybe	1.01193
loops_smt/1567523183946045.koat.smt2	maybe	1.01128
loops_smt/1567523183946487.koat.smt2	maybe	1.01152
loops_smt/1567523183946926.koat.smt2	maybe	1.00577
loops_smt/1567523183947368.koat.smt2	maybe	1.01839
loops_smt/1567523183947807.koat.smt2	maybe	1.015
loops_smt/1567523183948245.koat.smt2	maybe	1.03168
loops_smt/1567523183948707.koat.smt2	maybe	1.03606
loops_smt/1567523183949183.koat.smt2	maybe	1.16296
loops_smt/1567523183949664.koat.smt2	maybe	1.04895
loops_smt/1567523183950162.koat.smt2	maybe	1.04884
loops_smt/1567523183950656.koat.smt2	maybe	1.02192
loops_smt/1567523183951154.koat.smt2	maybe	1.18385
loops_smt/1567523183951635.koat.smt2	maybe	1.05794
loops_smt/1567523183952110.koat.smt2	maybe	1.03027
loops_smt/1567523183952592.koat.smt2	maybe	1.03263
loops_smt/1567523183953087.koat.smt2	maybe	1.03563
loops_smt/1567523183953582.koat.smt2	maybe	1.031
loops_smt/1567523183954080.koat.smt2	maybe	1.0273
loops_smt/1567523183954559.koat.smt2	maybe	1.14803
loops_smt/1567523183955031.koat.smt2	maybe	1.03644
loops_smt/1567523183955512.koat.smt2	maybe	1.02758
loops_smt/1567523183955991.koat.smt2	maybe	1.03021
loops_smt/1567523183956476.koat.smt2	maybe	1.03537
loops_smt/1567523183956968.koat.smt2	maybe	1.03155
loops_smt/1567523183957453.koat.smt2	maybe	1.04356
loops_smt/1567523183957992.koat.smt2	maybe	1.02378
loops_smt/1567523183958458.koat.smt2	maybe	1.02934
loops_smt/1567523183958986.koat.smt2	maybe	1.02532
loops_smt/1567523183959523.koat.smt2	maybe	1.03196
loops_smt/1567523183960025.koat.smt2	maybe	1.03241
loops_smt/1567523183960505.koat.smt2	maybe	1.029
loops_smt/1567523183961040.koat.smt2	maybe	1.02921
loops_smt/1567523183961509.koat.smt2	maybe	1.03599
loops_smt/1567523183962044.koat.smt2	maybe	1.0315
loops_smt/1567523183962537.koat.smt2	maybe	1.05656
loops_smt/1567523183963037.koat.smt2	maybe	1.04413
loops_smt/1567523183963515.koat.smt2	maybe	1.02966
loops_smt/1567523183963991.koat.smt2	maybe	1.03187
loops_smt/1567523183964472.koat.smt2	maybe	1.03865
loops_smt/1567523184210126.koat.smt2	maybe	0.857371
loops_smt/1567523184943841.koat.smt2	maybe	1.79773
loops_smt/1567523184946880.koat.smt2	maybe	1.76866
loops_smt/1567523184948074.koat.smt2	maybe	1.3733
loops_smt/1567523184949467.koat.smt2	maybe	1.91639
loops_smt/1567523185075113.koat.smt2	maybe	0.902242
loops_smt/1567523185193181.koat.smt2	maybe	0.860046
loops_smt/1567523185193406.koat.smt2	maybe	0.851205
loops_smt/1567523185865856.koat.smt2	maybe	0.85973
loops_smt/1567523185866222.koat.smt2	maybe	0.862097
loops_smt/1567523185867708.koat.smt2	maybe	0.939139
loops_smt/1567523185986456.koat.smt2	maybe	0.878726
loops_smt/1567523186628204.koat.smt2	maybe	0.935632
loops_smt/1567523186778742.koat.smt2	maybe	0.848751
loops_smt/1567523186778962.koat.smt2	maybe	0.991888
loops_smt/1567523186920474.koat.smt2	maybe	0.885927
loops_smt/1567523186920738.koat.smt2	maybe	0.881221
loops_smt/1567523186920942.koat.smt2	maybe	0.893929
loops_smt/1567523187446308.koat.smt2	maybe	1.10598
loops_smt/1567523187446854.koat.smt2	maybe	1.04146
loops_smt/1567523187522863.koat.smt2	maybe	0.847868
loops_smt/1567523187629077.koat.smt2	maybe	0.853609
loops_smt/1567523187739247.koat.smt2	maybe	0.846659
loops_smt/1567523187815204.koat.smt2	maybe	0.912047
loops_smt/1567523188565003.koat.smt2	maybe	1.1281
loops_smt/1567523188571081.koat.smt2	maybe	1.1588
loops_smt/1567523188663075.koat.smt2	maybe	0.853424
loops_smt/1567523188817173.koat.smt2	maybe	0.854526
loops_smt/1567523189215513.koat.smt2	maybe	0.904616
loops_smt/1567523189216146.koat.smt2	maybe	0.927883
loops_smt/1567523189216603.koat.smt2	maybe	0.879147
loops_smt/1567523189216790.koat.smt2	maybe	0.894144
loops_smt/1567523189217188.koat.smt2	maybe	0.877886
loops_smt/1567523189305158.koat.smt2	maybe	0.867253
loops_smt/1567523189305394.koat.smt2	maybe	0.850784
loops_smt/1567523189667280.koat.smt2	maybe	1.65344
loops_smt/1567523189667888.koat.smt2	maybe	1.04623
loops_smt/1567523189668404.koat.smt2	maybe	1.00025
loops_smt/1567523189668911.koat.smt2	maybe	1.00608
loops_smt/1567523189669461.koat.smt2	maybe	1.02658
loops_smt/1567523189669973.koat.smt2	maybe	1.00651
loops_smt/1567523189796792.koat.smt2	maybe	0.874008
loops_smt/1567523189797237.koat.smt2	maybe	0.876712
loops_smt/1567523189878096.koat.smt2	no	0.87985
loops_smt/1567523189961919.koat.smt2	maybe	0.871574
loops_smt/1567523190309232.koat.smt2	maybe	0.914851
loops_smt/1567523190480946.koat.smt2	maybe	0.853971
loops_smt/1567523190481107.koat.smt2	maybe	0.878316
loops_smt/1567523191140874.koat.smt2	maybe	0.913167
loops_smt/1567523191141230.koat.smt2	maybe	0.940972
loops_smt/1567523191141537.koat.smt2	maybe	0.927282
loops_smt/1567523191141932.koat.smt2	maybe	0.989967
loops_smt/1567523191142333.koat.smt2	maybe	0.985001
loops_smt/1567523191142734.koat.smt2	maybe	0.989634
loops_smt/1567523191143131.koat.smt2	maybe	0.977767
loops_smt/1567523191143496.koat.smt2	no	1.1127
loops_smt/1567523191244248.koat.smt2	maybe	0.863922
loops_smt/1567523191385863.koat.smt2	maybe	0.929751
loops_smt/1567523191386159.koat.smt2	no	0.940018
loops_smt/1567523191386389.koat.smt2	no	0.939785
loops_smt/1567523191607096.koat.smt2	maybe	2.23698
loops_smt/1567523191677924.koat.smt2	maybe	0.875674
loops_smt/1567523192050899.koat.smt2	maybe	2.00114
loops_smt/1567523192954385.koat.smt2	maybe	0.981422
loops_smt/1567523193102354.koat.smt2	maybe	0.899875
loops_smt/1567523193102621.koat.smt2	maybe	0.888993
loops_smt/1567523193203088.koat.smt2	maybe	0.835202
loops_smt/1567523193203266.koat.smt2	maybe	0.840638
loops_smt/1567523193422756.koat.smt2	maybe	1.06309
loops_smt/1567523193775821.koat.smt2	maybe	0.84959
loops_smt/1567523193877115.koat.smt2	maybe	0.852202
loops_smt/1567523193965738.koat.smt2	maybe	0.899749
loops_smt/1567523194132859.koat.smt2	maybe	1.00162
loops_smt/1567523194133170.koat.smt2	maybe	0.905493
loops_smt/1567523194133412.koat.smt2	maybe	0.886546
loops_smt/1567523194133634.koat.smt2	maybe	0.884201
loops_smt/1567523194968866.koat.smt2	maybe	1.4276
loops_smt/1567523194970004.koat.smt2	maybe	1.39256
loops_smt/1567523194975825.koat.smt2	maybe	1.56192
loops_smt/1567523194978620.koat.smt2	maybe	1.92643
loops_smt/1567523195611592.koat.smt2	no	0.97085
loops_smt/1567523195612962.koat.smt2	no	0.966656
loops_smt/1567523195764475.koat.smt2	maybe	0.876638
loops_smt/1567523195886143.koat.smt2	no	1.00759
loops_smt/1567523195886503.koat.smt2	no	1.00049
loops_smt/1567523196549963.koat.smt2	maybe	1.80756
loops_smt/1567523196553165.koat.smt2	maybe	1.76308
loops_smt/1567523196554460.koat.smt2	maybe	1.37035
loops_smt/1567523196555900.koat.smt2	maybe	1.91296
loops_smt/1567523196630549.koat.smt2	maybe	0.870657
loops_smt/1567523196841963.koat.smt2	maybe	1.94702
loops_smt/1567523197058189.koat.smt2	maybe	1.74929
loops_smt/1567523199006727.koat.smt2	maybe	1.00284
loops_smt/1567523199007116.koat.smt2	maybe	0.927402
loops_smt/1567523199007417.koat.smt2	maybe	0.942713
loops_smt/1567523199007724.koat.smt2	maybe	1.00182
loops_smt/1567523199008054.koat.smt2	maybe	0.937257
loops_smt/1567523199008349.koat.smt2	maybe	0.933073
loops_smt/1567523199008681.koat.smt2	maybe	0.983243
loops_smt/1567523199009041.koat.smt2	maybe	0.974236
loops_smt/1567523199009385.koat.smt2	maybe	0.952263
loops_smt/1567523199009703.koat.smt2	maybe	1.04419
loops_smt/1567523199010022.koat.smt2	maybe	0.94878
loops_smt/1567523199010396.koat.smt2	maybe	0.96813
loops_smt/1567523199010788.koat.smt2	maybe	0.994917
loops_smt/1567523199011142.koat.smt2	maybe	0.978163
loops_smt/1567523199011503.koat.smt2	maybe	0.977661
loops_smt/1567523199011906.koat.smt2	maybe	1.01073
loops_smt/1567523199012290.koat.smt2	maybe	0.976166
loops_smt/1567523199012656.koat.smt2	maybe	1.07317
loops_smt/1567523199013033.koat.smt2	maybe	0.983659
loops_smt/1567523199013407.koat.smt2	maybe	0.968833
loops_smt/1567523199013827.koat.smt2	maybe	1.00289
loops_smt/1567523199014192.koat.smt2	maybe	0.93539
loops_smt/1567523199014488.koat.smt2	maybe	0.948316
loops_smt/1567523199014848.koat.smt2	maybe	1.00806
loops_smt/1567523199015287.koat.smt2	maybe	0.994448
loops_smt/1567523199015704.koat.smt2	maybe	1.00097
loops_smt/1567523199016062.koat.smt2	maybe	0.925332
loops_smt/1567523199016335.koat.smt2	maybe	0.923283
loops_smt/1567523199016603.koat.smt2	maybe	1.12814
loops_smt/1567523199016942.koat.smt2	maybe	1.00298
loops_smt/1567523199243780.koat.smt2	maybe	0.944992
loops_smt/1567523199244091.koat.smt2	maybe	0.938323
loops_smt/1567523199244450.koat.smt2	maybe	1.0802
loops_smt/1567523199244826.koat.smt2	maybe	0.976106
loops_smt/1567523199490927.koat.smt2	maybe	0.844488
loops_smt/1567523199578122.koat.smt2	maybe	0.871795
loops_smt/1567523199578395.koat.smt2	maybe	0.888022
loops_smt/1567523200137307.koat.smt2	maybe	1.54771
loops_smt/1567523200139785.koat.smt2	maybe	1.509
loops_smt/1567523200144179.koat.smt2	maybe	1.3488
loops_smt/1567523200145170.koat.smt2	maybe	1.33468
loops_smt/1567523200146615.koat.smt2	maybe	2.0805
loops_smt/1567523200756878.koat.smt2	maybe	0.914045
loops_smt/1567523200757741.koat.smt2	maybe	0.920955
loops_smt/1567523200758706.koat.smt2	maybe	0.957313
loops_smt/1567523200759747.koat.smt2	maybe	0.952404
loops_smt/1567523200760837.koat.smt2	no	1.17795
loops_smt/1567523200762047.koat.smt2	no	1.1996
loops_smt/1567523200762978.koat.smt2	no	1.1724
loops_smt/1567523200763911.koat.smt2	no	1.18539
loops_smt/1567523200890937.koat.smt2	no	0.960166
loops_smt/1567523200891229.koat.smt2	no	0.944645
loops_smt/1567523200996208.koat.smt2	maybe	0.851762
loops_smt/1567523200996369.koat.smt2	maybe	0.847069
loops_smt/1567523201109203.koat.smt2	maybe	0.872755
loops_smt/1567523201213193.koat.smt2	maybe	0.85803
loops_smt/1567523201213359.koat.smt2	maybe	0.853815
loops_smt/1567523201667730.koat.smt2	maybe	1.91409
loops_smt/1567523201844760.koat.smt2	no	1.00856
loops_smt/1567523202243167.koat.smt2	maybe	1.91618
loops_smt/1567523202369336.koat.smt2	maybe	0.873729
loops_smt/1567523202620691.koat.smt2	maybe	0.925404
loops_smt/1567523203064421.koat.smt2	maybe	0.865125
loops_smt/1567523203064651.koat.smt2	maybe	0.875241
loops_smt/1567523203064839.koat.smt2	maybe	0.880665
loops_smt/1567523203584822.koat.smt2	maybe	0.923487
loops_smt/1567523203585090.koat.smt2	maybe	0.924357
loops_smt/1567523203585403.koat.smt2	maybe	0.949209
loops_smt/1567523203585736.koat.smt2	maybe	0.958543
loops_smt/1567523203586023.koat.smt2	no	1.09998
loops_smt/1567523203659954.koat.smt2	maybe	0.981325
loops_smt/1567523203861774.koat.smt2	maybe	1.9463
loops_smt/1567523203941721.koat.smt2	maybe	0.956876
loops_smt/1567523206864072.koat.smt2	maybe	0.927331
loops_smt/1567523206864434.koat.smt2	maybe	0.922724
loops_smt/1567523210079670.koat.smt2	maybe	0.882606
loops_smt/1567523210079925.koat.smt2	maybe	0.833969
loops_smt/1567523213675501.koat.smt2	maybe	0.862858
loops_smt/1567523213675765.koat.smt2	maybe	0.844781
loops_smt/1567523214009471.koat.smt2	maybe	0.875417
loops_smt/1567523214601454.koat.smt2	no	0.855811
loops_smt/1567523217954377.koat.smt2	maybe	0.870151
loops_smt/1567523219714229.koat.smt2	maybe	0.907198
loops_smt/1567523219714631.koat.smt2	maybe	0.926124
loops_smt/1567523220887066.koat.smt2	no	0.918762
loops_smt/1567523221866672.koat.smt2	maybe	0.864574
loops_smt/1567523222041741.koat.smt2	maybe	0.848348
loops_smt/1567523283199823.koat.smt2	maybe	0.851527
loops_smt/1567523283200030.koat.smt2	maybe	0.850918
loops_smt/1567523284092754.koat.smt2	maybe	1.00477
loops_smt/1567523284092946.koat.smt2	maybe	0.87336
loops_smt/1567523284193688.koat.smt2	maybe	0.853003
loops_smt/1567523284296838.koat.smt2	maybe	0.843739
loops_smt/1567523287705639.koat.smt2	maybe	1.04684
loops_smt/1567523287706096.koat.smt2	maybe	0.903012
loops_smt/1567523287706449.koat.smt2	maybe	0.975551
loops_smt/1567523288151099.koat.smt2	maybe	0.965542
loops_smt/1567523288264920.koat.smt2	maybe	0.884757
loops_smt/1567523288924624.koat.smt2	maybe	0.846046
loops_smt/1567523288925133.koat.smt2	maybe	1.01202
loops_smt/1567523289137792.koat.smt2	maybe	0.894907
loops_smt/1567523289138043.koat.smt2	maybe	0.869395
loops_smt/1567523292105976.koat.smt2	maybe	0.886999
loops_smt/1567523292106427.koat.smt2	maybe	0.965627
loops_smt/1567523292106854.koat.smt2	maybe	1.00156
loops_smt/1567523313975471.koat.smt2	maybe	0.845013
loops_smt/1567523313975788.koat.smt2	maybe	0.868588
loops_smt/1567523313976001.koat.smt2	maybe	0.894789
loops_smt/1567523313976200.koat.smt2	maybe	0.842649
loops_smt/1567523314197482.koat.smt2	maybe	0.845918
loops_smt/1567523314197627.koat.smt2	maybe	0.860964
loops_smt/1567523314793938.koat.smt2	maybe	0.870711
loops_smt/1567523314794353.koat.smt2	maybe	0.870304
loops_smt/1567523315409810.koat.smt2	maybe	0.875889
loops_smt/1567523315410210.koat.smt2	maybe	0.878711
loops_smt/1567523317106441.koat.smt2	maybe	0.903121
loops_smt/1567523341418710.koat.smt2	maybe	0.871483
loops_smt/1567523341418924.koat.smt2	maybe	0.883542
loops_smt/1567523341419141.koat.smt2	maybe	0.856635
loops_smt/1567523342824640.koat.smt2	maybe	0.870622
loops_smt/1567523342825515.koat.smt2	maybe	0.870221
loops_smt/1567523342970356.koat.smt2	maybe	0.847528
loops_smt/1567523343913301.koat.smt2	maybe	0.873842
loops_smt/1567523344151083.koat.smt2	maybe	1.00741
loops_smt/1567523344151610.koat.smt2	maybe	0.995838
loops_smt/1567523344261781.koat.smt2	maybe	0.899877
loops_smt/1567523347136348.koat.smt2	maybe	0.867339
loops_smt/1567523347136653.koat.smt2	maybe	0.871742
loops_smt/1567523347136851.koat.smt2	maybe	0.870359
loops_smt/1567523347137176.koat.smt2	maybe	0.870295
loops_smt/1567523347137359.koat.smt2	maybe	0.87095
loops_smt/1567523347137530.koat.smt2	maybe	0.90329
loops_smt/1567523347137677.koat.smt2	maybe	0.848707
loops_smt/1567523350591177.koat.smt2	maybe	0.902335
loops_smt/1567523350689065.koat.smt2	no	0.865843
loops_smt/1567523352430897.koat.smt2	no	0.936185
loops_smt/1567523352431171.koat.smt2	maybe	0.863946
loops_smt/1567523352431374.koat.smt2	no	0.931022
loops_smt/1567523361012873.koat.smt2	no	0.88234
loops_smt/1567523361013160.koat.smt2	no	0.882894
loops_smt/1567523361013341.koat.smt2	no	0.88726
loops_smt/1567523361013511.koat.smt2	no	0.878036
loops_smt/1567523361013677.koat.smt2	no	0.890373
loops_smt/1567523361013845.koat.smt2	no	0.880233
loops_smt/1567523361014019.koat.smt2	no	0.877611
loops_smt/1567523361014190.koat.smt2	no	0.91671
loops_smt/1567523361014364.koat.smt2	no	0.893122
loops_smt/1567523361014536.koat.smt2	no	0.886953
loops_smt/1567523361014707.koat.smt2	no	0.896357
loops_smt/1567523361015034.koat.smt2	maybe	0.847005
loops_smt/1567523361015365.koat.smt2	no	1.15042
loops_smt/1567523361015523.koat.smt2	maybe	0.851091
loops_smt/1567523361015677.koat.smt2	no	0.906277
loops_smt/1567523361015995.koat.smt2	no	0.878445
loops_smt/1567523361016153.koat.smt2	maybe	0.855074
loops_smt/1567523361016313.koat.smt2	no	0.876382
loops_smt/1567523361016983.koat.smt2	no	0.888234
loops_smt/1567523361017155.koat.smt2	no	0.880241
loops_smt/1567523361017320.koat.smt2	maybe	0.848862
loops_smt/1567523361017966.koat.smt2	no	0.882711
loops_smt/1567523361018126.koat.smt2	maybe	0.847957
loops_smt/1567523361018289.koat.smt2	no	0.889117
loops_smt/1567523361018631.koat.smt2	no	0.884181
loops_smt/1567523361019115.koat.smt2	no	0.878384
loops_smt/1567523361019276.koat.smt2	maybe	1.21359
loops_smt/1567523361019745.koat.smt2	no	0.880618
loops_smt/1567523361020224.koat.smt2	no	0.885035
loops_smt/1567523361020568.koat.smt2	no	0.881144
loops_smt/1567523361021038.koat.smt2	maybe	0.854727
loops_smt/1567523361021192.koat.smt2	no	0.874813
loops_smt/1567523361021374.koat.smt2	no	0.882597
loops_smt/1567523361021688.koat.smt2	no	0.996563
loops_smt/1567523361021845.koat.smt2	maybe	0.845935
loops_smt/1567523361022173.koat.smt2	no	0.888287
loops_smt/1567523361022514.koat.smt2	no	0.898491
loops_smt/1567523361022816.koat.smt2	maybe	0.866242
loops_smt/1567523361022958.koat.smt2	maybe	0.860914
loops_smt/1567523361023100.koat.smt2	maybe	0.858391
loops_smt/1567523361023535.koat.smt2	maybe	0.857927
loops_smt/1567523361023676.koat.smt2	maybe	0.850183
loops_smt/1567523361023959.koat.smt2	maybe	0.848142
loops_smt/1567523361024535.koat.smt2	maybe	0.843955
loops_smt/1567523361024677.koat.smt2	maybe	0.870209
loops_smt/1567523361024818.koat.smt2	maybe	0.85725
loops_smt/1567523361025101.koat.smt2	maybe	0.861631
loops_smt/1567523361025242.koat.smt2	maybe	0.989263
loops_smt/1567523361025547.koat.smt2	no	0.911359
loops_smt/1567523361025714.koat.smt2	no	0.875992
loops_smt/1567523361025890.koat.smt2	no	0.90937
loops_smt/1567523361026056.koat.smt2	no	0.883533
loops_smt/1567523361026224.koat.smt2	no	0.883949
loops_smt/1567523361026396.koat.smt2	no	0.88377
loops_smt/1567523361026565.koat.smt2	no	0.876793
loops_smt/1567523361027061.koat.smt2	no	0.882243
loops_smt/1567523361027232.koat.smt2	no	0.880287
loops_smt/1567523361027402.koat.smt2	no	0.887791
loops_smt/1567523361027570.koat.smt2	no	0.886975
loops_smt/1567523361027736.koat.smt2	no	0.943235
loops_smt/1567523361027904.koat.smt2	no	0.884787
loops_smt/1567523361028398.koat.smt2	maybe	0.848248
loops_smt/1567523361028544.koat.smt2	maybe	0.851989
loops_smt/1567523361028976.koat.smt2	maybe	0.862956
loops_smt/1567523361029120.koat.smt2	maybe	0.854423
loops_smt/1567523361029414.koat.smt2	maybe	0.853494
loops_smt/1567523361029555.koat.smt2	maybe	0.867157
loops_smt/1567523361029700.koat.smt2	maybe	0.853954
loops_smt/1567523361029844.koat.smt2	maybe	0.851796
loops_smt/1567523361030132.koat.smt2	maybe	0.854783
loops_smt/1567523361030282.koat.smt2	maybe	0.850698
loops_smt/1567523361030427.koat.smt2	maybe	0.868029
loops_smt/1567523361030576.koat.smt2	maybe	0.850621
loops_smt/1567523361030719.koat.smt2	maybe	0.900296
loops_smt/1567523361030864.koat.smt2	maybe	0.852951
loops_smt/1567523361031006.koat.smt2	maybe	0.903072
loops_smt/1567523361031298.koat.smt2	maybe	0.871114
loops_smt/1567523361031443.koat.smt2	maybe	0.852514
loops_smt/1567523361031730.koat.smt2	maybe	0.855131
loops_smt/1567523374925297.koat.smt2	maybe	0.863037
loops_smt/1567523374925478.koat.smt2	maybe	1.01112
loops_smt/1567523374925649.koat.smt2	maybe	0.850435
loops_smt/1567523374926102.koat.smt2	maybe	0.873558
loops_smt/1567523374926614.koat.smt2	maybe	0.863439
loops_smt/1567523374926787.koat.smt2	maybe	0.858193
loops_smt/1567523374927073.koat.smt2	maybe	0.868357
loops_smt/1567523374927361.koat.smt2	maybe	0.862567
loops_smt/1567523374927819.koat.smt2	maybe	0.880388
loops_smt/1567523374928132.koat.smt2	maybe	0.861184
loops_smt/1567523380525019.koat.smt2	maybe	0.856221
loops_smt/1567523380525467.koat.smt2	maybe	0.858421
loops_smt/1567523381983722.koat.smt2	maybe	0.970939
loops_smt/1567523381984110.koat.smt2	maybe	0.894637
loops_smt/1567523382270343.koat.smt2	maybe	0.855374
loops_smt/1567523386466410.koat.smt2	maybe	0.840228
loops_smt/1567523386466592.koat.smt2	maybe	0.839798
loops_smt/1567523387547608.koat.smt2	maybe	0.865905
loops_smt/1567523500310531.koat.smt2	maybe	1.14965
loops_smt/1567523500311459.koat.smt2	maybe	0.970836
loops_smt/1567523500312631.koat.smt2	maybe	1.00554
loops_smt/1567523500312974.koat.smt2	maybe	0.885003
loops_smt/1567523501979887.koat.smt2	maybe	0.86148
loops_smt/1567523502432736.koat.smt2	no	0.873137
loops_smt/1567523502432970.koat.smt2	no	0.874333
loops_smt/1567523506450329.koat.smt2	maybe	0.888992
loops_smt/1567523517575175.koat.smt2	no	0.879032
loops_smt/1567523517575400.koat.smt2	no	0.911004
loops_smt/1567523517575587.koat.smt2	no	0.886876
loops_smt/1567523517575879.koat.smt2	maybe	1.25374
loops_smt/1567523517994563.koat.smt2	maybe	0.843386
loops_smt/1567523519726643.koat.smt2	maybe	0.967169
loops_smt/1567523519727017.koat.smt2	maybe	0.901082
loops_smt/1567523520248717.koat.smt2	no	0.856746
loops_smt/1567523580622299.koat.smt2	no	0.870274
loops_smt/1567523580835745.koat.smt2	no	0.890206
loops_smt/1567523580835965.koat.smt2	maybe	0.836878
loops_smt/1567523580964866.koat.smt2	no	0.867996
loops_smt/1567523590518842.koat.smt2	maybe	0.873861
loops_smt/1567523590519494.koat.smt2	maybe	0.866509
loops_smt/1567523590520146.koat.smt2	maybe	0.877954
loops_smt/1567523590520347.koat.smt2	maybe	0.874647
loops_smt/1567523590520703.koat.smt2	maybe	0.870675
loops_smt/1567523590521010.koat.smt2	maybe	0.859376
loops_smt/1567523591382158.koat.smt2	maybe	0.902101
loops_smt/1567523591382486.koat.smt2	maybe	0.887932
loops_smt/1567523591382829.koat.smt2	maybe	0.86861
loops_smt/1567523591501172.koat.smt2	maybe	0.893235
loops_smt/1567523591659813.koat.smt2	maybe	0.843445
loops_smt/1567523592274724.koat.smt2	maybe	0.873173
loops_smt/1567523592420727.koat.smt2	maybe	0.876241
loops_smt/1567523592858983.koat.smt2	maybe	0.837538
loops_smt/1567523596535091.koat.smt2	maybe	0.876171
loops_smt/1567523596535285.koat.smt2	maybe	0.866304
loops_smt/1567523601844972.koat.smt2	maybe	0.895941
loops_smt/1567523601845227.koat.smt2	maybe	0.863203
loops_smt/1567523601980490.koat.smt2	maybe	0.848848
loops_smt/1567523601980704.koat.smt2	maybe	0.852302
loops_smt/1567523602627169.koat.smt2	maybe	0.843759
loops_smt/1567523604087312.koat.smt2	maybe	0.878875
loops_smt/1567523605834383.koat.smt2	maybe	0.864586
loops_smt/1567523605834712.koat.smt2	maybe	0.866888
loops_smt/1567523606080906.koat.smt2	maybe	0.899558
loops_smt/1567523666660981.koat.smt2	maybe	0.996925
loops_smt/1567523666661373.koat.smt2	maybe	0.868632
loops_smt/1567523666661677.koat.smt2	maybe	0.995294
loops_smt/1567523671784620.koat.smt2	maybe	0.850118
loops_smt/1567523672656350.koat.smt2	no	0.907736
loops_smt/1567523675491856.koat.smt2	maybe	0.862793
loops_smt/1567523676044068.koat.smt2	maybe	0.957197
loops_smt/1567523676044591.koat.smt2	maybe	1.19974
loops_smt/1567523676045080.koat.smt2	maybe	1.00417
loops_smt/1567523676666835.koat.smt2	maybe	0.865687
loops_smt/1567523701046877.koat.smt2	maybe	0.875018
loops_smt/1567523701252337.koat.smt2	maybe	0.85638
loops_smt/1567523701252533.koat.smt2	maybe	0.866128
loops_smt/1567523766410783.koat.smt2	maybe	0.85919
loops_smt/1567523794631224.koat.smt2	maybe	0.924819
loops_smt/1567523795314852.koat.smt2	maybe	0.86732
loops_smt/1567523797090866.koat.smt2	maybe	0.873666
loops_smt/1567523797091066.koat.smt2	maybe	0.876459
loops_smt/1567523797759596.koat.smt2	maybe	0.862131
loops_smt/1567523814674951.koat.smt2	maybe	0.843466
loops_smt/1567523814904581.koat.smt2	maybe	0.849796
loops_smt/1567523814904754.koat.smt2	maybe	0.851916
loops_smt/1567523817496206.koat.smt2	maybe	0.867366
loops_smt/1567523817496581.koat.smt2	maybe	0.876282
loops_smt/1567523817497067.koat.smt2	maybe	0.852315
loops_smt/1567523817497241.koat.smt2	maybe	0.875976
loops_smt/1567523817497429.koat.smt2	maybe	0.876614
loops_smt/1567523819855940.koat.smt2	no	0.903897
loops_smt/1567523821279529.koat.smt2	maybe	0.934922
loops_smt/1567523821552297.koat.smt2	no	0.874808
loops_smt/1567523821552515.koat.smt2	no	0.874736
loops_smt/1567523821552665.koat.smt2	no	1.03022
loops_smt/1567523822560853.koat.smt2	maybe	0.867997
loops_smt/1567523822561061.koat.smt2	maybe	0.877223
loops_smt/1567523825454203.koat.smt2	maybe	1.01096
loops_smt/1567523825454423.koat.smt2	maybe	0.834217
loops_smt/1567523825454564.koat.smt2	maybe	0.848938
loops_smt/1567523826293483.koat.smt2	no	0.887707
loops_smt/1567523827030171.koat.smt2	maybe	0.884899
loops_smt/1567523828101797.koat.smt2	maybe	0.865393
loops_smt/1567523828279094.koat.smt2	no	0.90341
loops_smt/1567523828279349.koat.smt2	no	0.894273
loops_smt/1567523828438172.koat.smt2	maybe	0.852001
loops_smt/1567523838599114.koat.smt2	maybe	0.857527
loops_smt/1567523840004935.koat.smt2	maybe	0.865036
loops_smt/1567523841439365.koat.smt2	no	0.875093
loops_smt/1567523841439576.koat.smt2	no	0.887662
loops_smt/1567523841825015.koat.smt2	maybe	0.835598
loops_smt/1567523841970850.koat.smt2	maybe	0.990346
loops_smt/1567523902595348.koat.smt2	maybe	0.886948
loops_smt/1567523913201667.koat.smt2	no	0.883316
loops_smt/1567523913201947.koat.smt2	no	0.885684
loops_smt/1567523913202122.koat.smt2	no	0.881139
loops_smt/1567523913202307.koat.smt2	no	0.881824
loops_smt/1567523913202483.koat.smt2	no	0.884929
loops_smt/1567523913202854.koat.smt2	no	0.911686
loops_smt/1567523913203070.koat.smt2	no	0.903481
loops_smt/1567523913203251.koat.smt2	no	0.898148
loops_smt/1567523913203438.koat.smt2	no	0.912011
loops_smt/1567523913203638.koat.smt2	no	0.905439
loops_smt/1567523913203836.koat.smt2	no	0.906725
loops_smt/1567523913204013.koat.smt2	maybe	0.849637
loops_smt/1567523913204181.koat.smt2	no	0.901363
loops_smt/1567523913204385.koat.smt2	no	0.903129
loops_smt/1567523913205077.koat.smt2	no	0.908234
loops_smt/1567523913206162.koat.smt2	no	0.883958
loops_smt/1567523913206336.koat.smt2	no	1.02748
loops_smt/1567523913206652.koat.smt2	no	0.886164
loops_smt/1567523913206822.koat.smt2	no	0.879339
loops_smt/1567523913207143.koat.smt2	no	0.885287
loops_smt/1567523913207464.koat.smt2	no	0.904718
loops_smt/1567523913207808.koat.smt2	no	0.888578
loops_smt/1567523913208305.koat.smt2	no	0.888637
loops_smt/1567523913208939.koat.smt2	no	0.882771
loops_smt/1567523913209265.koat.smt2	maybe	0.851165
loops_smt/1567523913209423.koat.smt2	no	0.879165
loops_smt/1567523913210075.koat.smt2	no	0.885193
loops_smt/1567523913210398.koat.smt2	no	0.884033
loops_smt/1567523913210568.koat.smt2	no	0.880952
loops_smt/1567523913210886.koat.smt2	no	0.887629
loops_smt/1567523913211203.koat.smt2	no	1.04401
loops_smt/1567523913211383.koat.smt2	no	1.05271
loops_smt/1567523913212040.koat.smt2	maybe	0.861828
loops_smt/1567523913212366.koat.smt2	maybe	0.86237
loops_smt/1567523913212544.koat.smt2	maybe	0.866668
loops_smt/1567523913212897.koat.smt2	maybe	0.85909
loops_smt/1567523913213305.koat.smt2	maybe	0.866517
loops_smt/1567523913213534.koat.smt2	maybe	0.858779
loops_smt/1567523913213714.koat.smt2	maybe	0.864526
loops_smt/1567523913214037.koat.smt2	maybe	0.871027
loops_smt/1567523913214213.koat.smt2	maybe	0.877013
loops_smt/1567523913215523.koat.smt2	no	0.883311
loops_smt/1567523913215692.koat.smt2	no	0.894548
loops_smt/1567523913215860.koat.smt2	no	0.890433
loops_smt/1567523913216027.koat.smt2	no	0.88146
loops_smt/1567523913216191.koat.smt2	no	0.880094
loops_smt/1567523913216368.koat.smt2	no	0.881622
loops_smt/1567523913216537.koat.smt2	no	0.889881
loops_smt/1567523913216707.koat.smt2	no	1.11462
loops_smt/1567523913216873.koat.smt2	no	0.884681
loops_smt/1567523913217040.koat.smt2	no	0.882172
loops_smt/1567523913217209.koat.smt2	no	0.883858
loops_smt/1567523913217550.koat.smt2	no	0.893686
loops_smt/1567523913217722.koat.smt2	no	0.914189
loops_smt/1567523913218056.koat.smt2	no	0.883873
loops_smt/1567523913218514.koat.smt2	maybe	0.847091
loops_smt/1567523913218803.koat.smt2	maybe	0.848012
loops_smt/1567523913219538.koat.smt2	maybe	0.854541
loops_smt/1567523913221421.koat.smt2	maybe	0.857734
loops_smt/1567523947175725.koat.smt2	maybe	0.894796
loops_smt/1567523948417498.koat.smt2	maybe	0.871307
loops_smt/1567523948417697.koat.smt2	maybe	0.874553
loops_smt/1567523949693153.koat.smt2	no	0.864286
loops_smt/1567523954788670.koat.smt2	maybe	0.901338
loops_smt/1567523955762709.koat.smt2	maybe	0.889701
loops_smt/1567523958875428.koat.smt2	maybe	0.868553
loops_smt/1567523961185752.koat.smt2	maybe	0.847056
loops_smt/1567523961185910.koat.smt2	maybe	0.862602
loops_smt/1567523964315563.koat.smt2	maybe	0.844637
loops_smt/1567523966641800.koat.smt2	maybe	0.864129
loops_smt/1567523966641967.koat.smt2	maybe	0.860202
loops_smt/1567523966909957.koat.smt2	maybe	0.84863
loops_smt/1567523967505656.koat.smt2	maybe	0.866004
loops_smt/1567523971070903.koat.smt2	maybe	0.923583
loops_smt/1567523971071257.koat.smt2	maybe	0.843002
loops_smt/1567523971071437.koat.smt2	maybe	0.867746
loops_smt/1567523971071606.koat.smt2	maybe	0.850474
loops_smt/1567523971071899.koat.smt2	maybe	0.863536
loops_smt/1567523971072087.koat.smt2	maybe	0.859513
loops_smt/1567523986823953.koat.smt2	maybe	0.845965
loops_smt/1567523986964998.koat.smt2	maybe	0.835555
loops_smt/1567523987596870.koat.smt2	maybe	0.915994
loops_smt/1567523987597235.koat.smt2	maybe	0.92027
loops_smt/1567523988093598.koat.smt2	no	0.918686
loops_smt/1567523991577652.koat.smt2	maybe	0.867321
loops_smt/1567524005229773.koat.smt2	maybe	0.857225
loops_smt/1567524005231086.koat.smt2	maybe	0.841589
loops_smt/1567524009077722.koat.smt2	maybe	0.978523
loops_smt/1567524009078133.koat.smt2	maybe	0.928305
loops_smt/1567524009078477.koat.smt2	maybe	0.972526
loops_smt/1567524081102755.koat.smt2	maybe	0.861083
loops_smt/1567524083148056.koat.smt2	maybe	0.862962
loops_smt/1567524083784174.koat.smt2	maybe	0.874491
loops_smt/1567524083784380.koat.smt2	maybe	0.887292
loops_smt/1567524083909320.koat.smt2	maybe	0.88587
loops_smt/1567524087485460.koat.smt2	maybe	0.88983
loops_smt/1567524087629154.koat.smt2	maybe	0.842641
loops_smt/1567524088059019.koat.smt2	maybe	0.993089
loops_smt/1567524088059410.koat.smt2	maybe	0.858999
loops_smt/1567524088059702.koat.smt2	maybe	0.991327
loops_smt/1567524088947323.koat.smt2	maybe	0.867573
loops_smt/1567524090826557.koat.smt2	maybe	0.858797
loops_smt/1567524093802819.koat.smt2	maybe	0.90849
loops_smt/1567524101419450.koat.smt2	maybe	0.856067
loops_smt/1567524101957173.koat.smt2	maybe	0.861938
loops_smt/1567524103641981.koat.smt2	maybe	0.898267
loops_smt/1567524112003507.koat.smt2	maybe	0.858028
loops_smt/1567524112414800.koat.smt2	maybe	0.848205
loops_smt/1567524112668011.koat.smt2	maybe	0.874545
loops_smt/1567524112668356.koat.smt2	maybe	0.934071
loops_smt/1567524173237133.koat.smt2	maybe	0.856326
loops_smt/1567524173237381.koat.smt2	maybe	0.857249
loops_smt/1567524210739516.koat.smt2	maybe	0.87685
loops_smt/1567524210740161.koat.smt2	maybe	0.867893
loops_smt/1567524210741064.koat.smt2	maybe	0.871514
loops_smt/1567524210741277.koat.smt2	maybe	0.865401
loops_smt/1567524214428711.koat.smt2	maybe	0.868133
loops_smt/1567524219130167.koat.smt2	maybe	0.850633
loops_smt/1567524219842557.koat.smt2	maybe	0.855087
loops_smt/1567524223401630.koat.smt2	maybe	0.980897
loops_smt/1567524236684854.koat.smt2	maybe	0.853373
loops_smt/1567524236685087.koat.smt2	maybe	0.856079
loops_smt/1567524236687790.koat.smt2	maybe	0.860059
loops_smt/1567524236687953.koat.smt2	maybe	0.860044
loops_smt/1567524238305808.koat.smt2	maybe	0.844259
loops_smt/1567524239684546.koat.smt2	maybe	0.858453
loops_smt/1567524239684712.koat.smt2	maybe	0.868137
loops_smt/1567524241845258.koat.smt2	no	0.926847
loops_smt/1567524241845594.koat.smt2	no	0.939009
loops_smt/1567524244091331.koat.smt2	maybe	0.868569
loops_smt/1567524245570410.koat.smt2	no	0.998441
loops_smt/1567524245570724.koat.smt2	no	0.991238
loops_smt/1567524246371939.koat.smt2	no	0.90038
loops_smt/1567524246372127.koat.smt2	no	0.908461
loops_smt/1567524246372477.koat.smt2	no	0.91232
loops_smt/1567524246372665.koat.smt2	no	0.924663
loops_smt/1567524251796732.koat.smt2	maybe	0.885216
loops_smt/1567524315372555.koat.smt2	maybe	0.85496
loops_smt/1567524315761911.koat.smt2	maybe	0.872137
loops_smt/1567524321037687.koat.smt2	maybe	0.863172
loops_smt/1567524321050593.koat.smt2	maybe	0.875463
loops_smt/1567524325873231.koat.smt2	maybe	0.859955
loops_smt/1567524326024806.koat.smt2	no	0.872391
loops_smt/1567524327433371.koat.smt2	maybe	0.891497
loops_smt/1567524327433615.koat.smt2	maybe	0.978737
loops_smt/1567524327880816.koat.smt2	maybe	0.871651
loops_smt/1567524442820641.koat.smt2	no	0.862128
loops_smt/1567524442970372.koat.smt2	maybe	0.86186
loops_smt/1567524446802201.koat.smt2	maybe	1.01093
loops_smt/1567524446802639.koat.smt2	maybe	0.896756
loops_smt/1567524450869218.koat.smt2	maybe	0.895465
loops_smt/1567524451740896.koat.smt2	no	0.921998
loops_smt/1567524451741215.koat.smt2	no	0.966012
loops_smt/1567524459503473.koat.smt2	maybe	0.875544
loops_smt/1567524459623673.koat.smt2	no	0.930654
loops_smt/1567524466945020.koat.smt2	maybe	0.982691
loops_smt/1567524466945515.koat.smt2	maybe	1.03848
loops_smt/1567524466945855.koat.smt2	maybe	0.951596
loops_smt/1567524466946132.koat.smt2	maybe	0.877362
loops_smt/1567524466946367.koat.smt2	maybe	0.89858
loops_smt/1567524466946637.koat.smt2	maybe	0.923281
loops_smt/1567524466946893.koat.smt2	maybe	0.888833
loops_smt/1567524468180337.koat.smt2	maybe	0.866387
loops_smt/1567524468440325.koat.smt2	maybe	0.874397
loops_smt/1567524468440692.koat.smt2	maybe	0.941532
loops_smt/1567524469120552.koat.smt2	no	0.906842
loops_smt/1567524469120758.koat.smt2	maybe	0.889442
loops_smt/1567524476868780.koat.smt2	maybe	0.966543
loops_smt/1567524476869150.koat.smt2	maybe	0.908587
loops_smt/1567524477887775.koat.smt2	maybe	0.889203
loops_smt/1567524483195603.koat.smt2	maybe	0.954552
loops_smt/1567524483196090.koat.smt2	maybe	0.959715
loops_smt/1567524483196492.koat.smt2	maybe	0.956917
loops_smt/1567524483196794.koat.smt2	maybe	0.886633
loops_smt/1567524546550540.koat.smt2	maybe	0.867397
loops_smt/1567524553542388.koat.smt2	maybe	0.891297
loops_smt/1567524554680112.koat.smt2	maybe	0.848232
loops_smt/1567524555297223.koat.smt2	maybe	0.881085
loops_smt/1567524559937614.koat.smt2	maybe	0.875795
loops_smt/1567524559937810.koat.smt2	maybe	0.867598
loops_smt/1567524561902048.koat.smt2	maybe	0.896143
loops_smt/1567524562079570.koat.smt2	maybe	0.946473
loops_smt/1567524570377106.koat.smt2	maybe	0.877529
loops_smt/1567524570539608.koat.smt2	maybe	0.866241
loops_smt/1567524578301747.koat.smt2	maybe	0.874637
loops_smt/1567524578958910.koat.smt2	maybe	0.853153
loops_smt/1567524578959223.koat.smt2	maybe	0.84272
loops_smt/1567524578959387.koat.smt2	maybe	0.857968
loops_smt/1567524580545188.koat.smt2	maybe	0.881343
loops_smt/1567524580545505.koat.smt2	maybe	0.885788
loops_smt/1567524590755239.koat.smt2	maybe	0.878567
loops_smt/1567524591912648.koat.smt2	maybe	0.863268
loops_smt/1567524593804959.koat.smt2	maybe	0.880249
loops_smt/1567524606096999.koat.smt2	maybe	0.843302
loops_smt/1567524606248100.koat.smt2	maybe	0.859798
loops_smt/1567524610007315.koat.smt2	maybe	0.875015
loops_smt/1567524624179784.koat.smt2	maybe	0.86614
loops_smt/1567524624182178.koat.smt2	maybe	0.866494
loops_smt/1567524624610959.koat.smt2	no	0.921163
loops_smt/1567524624721145.koat.smt2	maybe	0.928252
loops_smt/1567524701086645.koat.smt2	maybe	0.8639
loops_smt/1567524701086888.koat.smt2	maybe	0.86897
loops_smt/1567524705181357.koat.smt2	no	1.06635
loops_smt/1567524706369592.koat.smt2	maybe	0.837568
loops_smt/1567524711718849.koat.smt2	maybe	0.855203
loops_smt/1567524711719067.koat.smt2	maybe	0.844527
loops_smt/1567524718665094.koat.smt2	maybe	0.85828
loops_smt/1567524718813249.koat.smt2	maybe	1.46727
loops_smt/1567524719086045.koat.smt2	maybe	0.857885
loops_smt/1567524719980617.koat.smt2	no	1.24712
loops_smt/1567524719981019.koat.smt2	maybe	0.994263
loops_smt/1567524719981186.koat.smt2	maybe	0.864008
loops_smt/1567524720618924.koat.smt2	maybe	0.869762
loops_smt/1567524720619389.koat.smt2	maybe	0.887963
loops_smt/1567524723300475.koat.smt2	maybe	0.859771
loops_smt/1567524726038172.koat.smt2	maybe	1.61541
loops_smt/1567524726038581.koat.smt2	maybe	0.883868
loops_smt/1567524726038866.koat.smt2	maybe	0.933693
loops_smt/1567524729687924.koat.smt2	maybe	0.842387
loops_smt/1567524730888781.koat.smt2	no	1.2523
loops_smt/1567524730889388.koat.smt2	maybe	0.862166
loops_smt/1567524737299849.koat.smt2	no	0.932913
loops_smt/1567524738281180.koat.smt2	maybe	0.86531
loops_smt/1567524813947294.koat.smt2	maybe	0.85612
loops_smt/1567524818961212.koat.smt2	maybe	0.840917
loops_smt/1567524820512406.koat.smt2	maybe	0.872267
loops_smt/1567524820513174.koat.smt2	no	1.12715
loops_smt/1567524820513635.koat.smt2	maybe	1.00863
loops_smt/1567524820514123.koat.smt2	maybe	1.01176
loops_smt/1567524851476868.koat.smt2	maybe	1.03711
loops_smt/1567524864698874.koat.smt2	maybe	0.84933
loops_smt/1567524864699109.koat.smt2	maybe	0.987217
loops_smt/1567524864827738.koat.smt2	maybe	0.838075
loops_smt/1567524864951052.koat.smt2	maybe	0.884837
loops_smt/1567524866564978.koat.smt2	no	0.90342
loops_smt/1567524866565377.koat.smt2	maybe	0.8717
loops_smt/1567524872133576.koat.smt2	no	0.995609
loops_smt/1567524872134019.koat.smt2	no	0.992416
loops_smt/1567524872319182.koat.smt2	no	0.859117
loops_smt/1567524881206977.koat.smt2	maybe	0.872387
loops_smt/1567524886214597.koat.smt2	maybe	0.900168
loops_smt/1567524886898126.koat.smt2	maybe	0.864463
loops_smt/1567524891321950.koat.smt2	maybe	0.840152
loops_smt/1567524892181088.koat.smt2	maybe	0.846742
loops_smt/1567524897137433.koat.smt2	maybe	0.890375
loops_smt/1567524897598515.koat.smt2	maybe	0.865977
loops_smt/1567524905835061.koat.smt2	maybe	0.872252
loops_smt/1567524913381019.koat.smt2	maybe	0.876124
loops_smt/1567524973525891.koat.smt2	maybe	0.928764
loops_smt/1567524974460858.koat.smt2	maybe	0.874334
loops_smt/1567524974587881.koat.smt2	no	0.883761
loops_smt/1567525097837663.koat.smt2	no	0.890203
loops_smt/1567525103675509.koat.smt2	no	0.868475
loops_smt/1567525105590361.koat.smt2	maybe	0.892278
loops_smt/1567525113160830.koat.smt2	maybe	0.871701
loops_smt/1567525116160625.koat.smt2	maybe	0.856172
loops_smt/1567525119498172.koat.smt2	maybe	0.855143
loops_smt/1567525125420093.koat.smt2	maybe	0.987082
loops_smt/1567525125420499.koat.smt2	maybe	0.925898
loops_smt/1567525125420853.koat.smt2	maybe	0.996239
loops_smt/1567525125571199.koat.smt2	maybe	0.886272
loops_smt/1567525127186599.koat.smt2	maybe	0.89618
loops_smt/1567525128525758.koat.smt2	maybe	1.01467
loops_smt/1567525130926180.koat.smt2	maybe	0.891673
loops_smt/1567525134131383.koat.smt2	maybe	0.956689
loops_smt/1567525134140737.koat.smt2	maybe	1.04595
loops_smt/1567525134141912.koat.smt2	maybe	0.952482
loops_smt/1567525135209618.koat.smt2	maybe	0.865118
loops_smt/1567525135835224.koat.smt2	maybe	0.863481
loops_smt/1567525136789418.koat.smt2	no	0.857272
loops_smt/1567525136943123.koat.smt2	maybe	0.846282
loops_smt/1567525137568332.koat.smt2	maybe	0.855351
loops_smt/1567525139572978.koat.smt2	no	0.899106
loops_smt/1567525139573432.koat.smt2	maybe	0.858119
loops_smt/1567525141846434.koat.smt2	maybe	0.856288
loops_smt/1567525143459540.koat.smt2	maybe	1.02688
loops_smt/1567525144428881.koat.smt2	maybe	0.884454
loops_smt/1567525144717774.koat.smt2	maybe	0.84853
loops_smt/1567525207812064.koat.smt2	maybe	0.890171
loops_smt/1567525207812368.koat.smt2	maybe	0.872555
loops_smt/1567525207812987.koat.smt2	maybe	0.862081
loops_smt/1567525207813164.koat.smt2	maybe	0.865214
loops_smt/1567525214272561.koat.smt2	maybe	0.851008
loops_smt/1567525214272710.koat.smt2	no	0.893431
loops_smt/1567525214273150.koat.smt2	maybe	0.85375
loops_smt/1567525218370815.koat.smt2	maybe	0.963153
loops_smt/1567525218371186.koat.smt2	maybe	0.883402
loops_smt/1567525218371667.koat.smt2	maybe	1.13384
loops_smt/1567525229691854.koat.smt2	maybe	0.842613
loops_smt/1567525229823052.koat.smt2	maybe	0.878778
loops_smt/1567525230674890.koat.smt2	maybe	0.870535
loops_smt/1567525237315844.koat.smt2	maybe	0.968583
loops_smt/1567525238672815.koat.smt2	maybe	0.966891
loops_smt/1567525238673204.koat.smt2	maybe	0.872476
loops_smt/1567525240610784.koat.smt2	maybe	0.907111
loops_smt/1567525248302494.koat.smt2	maybe	0.873539
loops_smt/1567525248910851.koat.smt2	maybe	0.873716
loops_smt/1567525310508712.koat.smt2	maybe	0.894962
loops_smt/1567525310509176.koat.smt2	maybe	0.866587
loops_smt/1567525310509744.koat.smt2	maybe	0.853913
loops_smt/1567525312095282.koat.smt2	maybe	0.864498
loops_smt/1567525313948302.koat.smt2	maybe	0.98929
loops_smt/1567525313949019.koat.smt2	no	1.14149
loops_smt/1567525313949428.koat.smt2	maybe	0.986843
loops_smt/1567525313950001.koat.smt2	maybe	0.886515
loops_smt/1567525318524966.koat.smt2	maybe	0.859472
loops_smt/1567525319818029.koat.smt2	maybe	0.931328
loops_smt/1567525321571339.koat.smt2	maybe	0.846073
loops_smt/1567525327101623.koat.smt2	maybe	0.885739
loops_smt/1567525327101873.koat.smt2	maybe	0.848232
loops_smt/1567525327760504.koat.smt2	no	0.895863
loops_smt/1567525327760732.koat.smt2	no	0.903281
loops_smt/1567525328800563.koat.smt2	maybe	0.967032
loops_smt/1567525329419754.koat.smt2	no	0.862382
loops_smt/1567525334518260.koat.smt2	maybe	1.0405
loops_smt/1567525334518864.koat.smt2	maybe	1.03692
loops_smt/1567525335150330.koat.smt2	no	0.89715
loops_smt/1567525335150569.koat.smt2	no	0.981746
loops_smt/1567525335885220.koat.smt2	no	0.861644
loops_smt/1567525336765908.koat.smt2	maybe	1.06392
loops_smt/1567525336766414.koat.smt2	maybe	0.962425
loops_smt/1567525349029651.koat.smt2	maybe	0.924317
loops_smt/1567525349029961.koat.smt2	maybe	0.887631
loops_smt/1567525349030214.koat.smt2	maybe	0.914168
loops_smt/1567525351348487.koat.smt2	maybe	0.872829
loops_smt/1567525351358166.koat.smt2	maybe	0.864306
loops_smt/1567525352600955.koat.smt2	maybe	0.961953
loops_smt/1567525356216045.koat.smt2	maybe	0.869703
loops_smt/1567525358645502.koat.smt2	maybe	0.87062
loops_smt/1567525361213290.koat.smt2	maybe	0.854919
loops_smt/1567525361988375.koat.smt2	maybe	0.905169
loops_smt/1567525361997614.koat.smt2	maybe	0.892688
loops_smt/1567525365095692.koat.smt2	maybe	0.873326
loops_smt/1567525365096575.koat.smt2	maybe	0.876509
loops_smt/1567525365096754.koat.smt2	maybe	0.873336
loops_smt/1567525365608414.koat.smt2	maybe	0.880882
loops_smt/1567525369400202.koat.smt2	maybe	0.849042
loops_smt/1567525370752694.koat.smt2	maybe	1.40466
loops_smt/1567525370753068.koat.smt2	maybe	0.984297
loops_smt/1567525370910717.koat.smt2	maybe	0.848586
loops_smt/1567581737696853.koat.smt2	maybe	2.31637
loops_smt/1567581761585409.koat.smt2	maybe	1.96248
loops_smt/1567581772625284.koat.smt2	maybe	2.18302
loops_smt/1567581814848372.koat.smt2	maybe	2.1676
loops_smt/1567581828608238.koat.smt2	maybe	2.10563
loops_smt/1567582181207449.koat.smt2	maybe	2.11013