2137449171 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1365105719 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
481516918 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1165481979 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1549064883 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
646980841 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
852631582 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1353614496 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
682106748 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
498808182 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
55437432 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2090933724 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1421700432 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1299827073 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
421988862 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
240490034 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1901221627 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
95107365 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1248669606 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1058256067 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1023433869 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1671713515 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2092247378 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
504415490 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1691282316 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1944459723 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
163843693 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1248212435 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2000751859 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1869737788 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
298408557 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2015452062 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
174187351 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
206671990 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1986751372 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1616935933 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1408371679 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1346596513 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
629437438 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
203695188 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2125826578 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
812760906 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1844885742 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1795796922 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2041405358 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1705110483 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1127970481 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1847486037 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1136151012 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
428340591 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
347664519 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
878511813 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
704431854 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
138939382 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1409395062 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2035213199 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
292421642 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1643729924 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
509186151 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1702218041 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1135196496 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1612351922 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
110871102 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1746037078 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1230155010 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
512455012 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
908767578 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1255436146 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
693829107 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1658978249 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
735197305 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1415968209 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
890612148 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
49959381 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
307276649 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
988082603 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2060895376 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
816113440 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2107002871 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
818338671 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1924674588 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
359251014 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
135520230 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
724377750 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
682074068 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1881046702 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
937439130 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2046735081 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1647778634 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1736035728 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
736449666 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
566214223 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1769132078 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
106755897 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
272991526 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1210656419 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1147013802 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
920218071 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
762601684 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1843682066 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2027710407 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
199851601 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1792523786 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
682599499 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1904314134 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1130270146 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
231405425 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1091272318 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1838128443 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1453036864 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
673985747 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
819376473 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1576022947 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1878931030 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
486898206 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
856200973 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
12654079 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
906714400 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
577182818 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1412751930 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1043015066 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1962944972 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
339746312 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1602222935 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1862453999 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1798409366 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1005931027 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
311319985 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
309713897 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1790541713 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
540663741 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
946448763 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
524239972 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2051583986 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2037283722 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1172460179 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
116559151 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
949283755 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
516806179 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
752796052 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1844523353 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
677613465 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
283032298 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
296503003 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
662266832 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1582943195 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1942977388 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
845122769 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1502938047 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1977653282 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1636890509 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1421360176 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1120657722 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
710778789 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
780805436 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1618343417 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
61240053 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1456575036 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1723791155 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2008213610 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
653288147 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2135423993 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
74999937 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1733498414 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
251026941 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
194114111 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
545806343 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
34653564 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1794782024 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
27240120 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1821952337 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1558140220 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
510188810 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1799594657 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
58889944 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1775322989 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
944279313 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
128577027 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1201173636 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
93318127 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
23521974 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
280058717 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1753415661 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
872831921 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1822912707 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
215226891 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1427860064 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
614977460 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1941464097 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
920922975 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1738677196 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
122810253 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1106163255 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
96034266 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
405898720 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1592661431 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
353185815 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
128505020 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1113075474 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
76356358 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
151759310 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1906738310 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1741906379 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1923723991 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1213911986 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
318655634 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1616736842 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1547843124 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1835214067 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1433802500 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
481635092 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1583899097 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1251321341 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2111722298 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1700063786 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
152889521 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
737399728 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
811940689 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
441819999 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1756818625 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
353598993 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1712967126 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1868320153 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
336587058 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
965111439 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
848797391 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2147441403 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
18376578 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1057624743 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1619962400 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
949513532 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1234285507 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2118554535 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1552996903 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
467486571 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1571135056 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
281263928 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1742384858 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
138600659 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
727455564 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1849810465 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1204456535 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1834688613 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1245243827 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1658398391 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2057720421 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
942338991 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
398810364 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2041942000 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1238428411 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1591655514 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2142684164 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
94156848 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1387258366 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1500293859 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
797989296 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
147486629 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
229783545 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
363021686 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1358731051 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1779950604 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
901124378 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
159700492 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
131767555 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1588077747 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
691915912 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
606124978 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1549051430 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1937565529 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2060645168 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
180617167 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
788590649 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1879260704 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
200589411 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
709545341 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2099202513 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
862880306 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1804077534 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
762620333 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1210481666 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
185390101 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1209317028 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
401770897 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
468897343 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
45946214 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
56799700 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1941120848 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2097426646 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
619484188 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1381292513 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
702387806 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
925330670 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1675038894 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1841920559 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
128594637 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1771284320 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
670816344 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1613260110 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1501384809 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1531407961 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1301883449 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1516015827 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1429898144 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1534913061 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
589342413 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
943696975 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1218307078 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
51527113 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
863401705 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1135809612 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
976196910 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1664263489 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2105248208 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
108281669 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
57334698 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1107128451 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1525223875 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
62734341 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1453458661 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1534400451 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
320732108 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1766968854 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1400720635 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
448117303 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2027293632 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2073910355 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1834225719 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1482458472 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1603218649 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
458456250 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1693299961 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2019651316 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
44314590 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1168052277 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
624110043 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1132644124 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1766231750 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1405240152 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
589104393 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
839825967 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1910282623 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1334434065 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
280309129 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1944743362 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2139918198 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
914869112 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1959265841 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1710448361 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1028937243 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1175936800 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1827170241 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2086039346 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1553936099 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
904410117 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
330918471 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
994871144 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1837228925 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
891365827 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1088752878 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1966790835 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
108442803 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1221582765 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
794434245 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
538682993 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1567101701 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
142812414 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1305057612 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
763193938 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1049141171 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
704770375 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1435202519 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
405328645 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1340581647 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1838385102 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1489731423 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1628748072 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1328890386 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
776507538 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
122764099 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1613095135 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1802709138 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
738361774 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1932805453 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
773017811 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1325070971 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2100160252 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1816099139 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
566411318 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2098501802 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
298833425 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
246699637 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1580043439 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1562689833 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1115933711 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
839063121 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2080961141 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
260583805 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2109292147 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
357192096 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1138994420 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1334215650 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1164715635 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1144935897 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1569630969 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
221974294 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
51172324 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1899934544 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1930823918 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2004601607 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1886347080 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
711187126 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2086174420 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1166872256 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1468283723 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1294933751 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1934451795 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1216946651 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1596045541 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1120765899 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1889202114 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1871640435 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
392919391 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
994703082 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
258784371 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1547042391 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
905367240 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1992703344 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1721868727 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1251212365 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1303396747 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1761196603 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
260850668 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1307096589 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1507156054 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1803022992 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
795490872 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1275051905 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
62296772 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
308069087 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
816351982 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
938998004 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1892093524 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2075846515 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1867731918 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
697564779 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
830622750 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
181032818 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
688802296 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1845358480 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1267996747 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
856818710 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1330803894 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
162148298 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
562976829 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1541507324 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1313972495 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
886370695 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1404271307 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1222292711 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
763762726 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2124003318 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1164968261 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
405167415 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
771785428 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1463384223 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1282829635 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1714064728 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1612819800 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1294858400 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1059456405 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1994769660 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1518962891 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
515095767 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
662565902 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
425112520 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1518128492 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
373802202 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
144009053 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
826096075 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1799644081 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
826578394 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
170128873 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
202516148 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
282485624 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1568061634 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
460138517 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1337234805 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
885086003 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1391307263 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1076607178 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
435617988 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2078572554 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1918647306 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
694073687 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
847885973 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
843722511 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
556838468 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1238650078 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1697286660 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
118892124 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
317699229 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
99860788 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1258790653 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
648894565 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1018041482 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
961122918 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1122127429 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
190202352 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
88280227 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1861502767 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1252340613 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
227559521 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
309095738 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1509775781 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1755053521 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1032606992 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1880540246 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2139268115 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
474204969 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1984348617 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
753652448 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1679954503 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
308395833 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
242540826 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
21165739 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2024164687 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2058376619 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2105932774 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
881016182 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
88881664 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1450846127 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
850190146 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1241355144 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1627985141 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
99965169 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1165588530 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1384661429 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1484390971 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
628418445 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
609095488 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1640085255 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
620234996 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
285826296 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
927103530 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
706039394 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
703281219 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1163836703 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2000293805 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1464005658 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2143580419 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1194307941 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
174509639 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
685268271 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
583287342 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1774817547 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
587100459 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1076562928 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
771547381 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1453070375 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1058244287 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2116138917 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
148208272 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1919638912 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1205761153 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
313113597 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
763273807 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1823216125 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1671005955 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
903037115 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
538704301 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
518495048 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2100293680 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
406799148 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1756371544 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
795231105 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1344004147 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
583108316 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
305263254 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1425368713 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
238415067 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
852745285 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
356913162 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
903030242 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
790740786 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
514428850 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1516259034 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1034990513 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
777674728 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2030157016 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
193055291 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
307373072 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
658100853 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1416004013 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1639158709 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
260286475 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1890353814 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
899774116 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1142840446 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
598071345 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1391653604 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1804649165 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1542950482 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
200003117 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1207882695 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
783549279 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
438543163 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2111682897 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
763234757 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
695648265 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1197457586 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1982820163 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
812712346 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1974363797 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
420696230 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2013809718 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1045514798 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
231805268 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
231224215 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
201511784 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2056235892 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
998725635 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
252543126 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
201387588 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
35944731 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2009949940 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2062989430 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
975117935 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1167857058 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
707327957 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1001618166 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1579954519 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1718997648 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
395270466 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
22533216 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1312197302 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
901138059 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
644365260 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
282079029 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
585728924 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1061356424 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
484168676 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1133841362 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
68805164 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
636072476 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
305032130 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
736936408 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
144825225 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1817872292 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
965393926 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1085464594 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
83346597 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1508219725 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1544718731 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1885360084 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1142720667 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1470508544 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
558361738 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1194820066 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
413053274 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1385352417 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1836268284 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1623075416 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
409151465 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1871263957 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2073691577 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
19884906 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
199877220 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
995858113 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1142701292 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1940246632 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
826158186 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2054205236 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1040183179 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
290803169 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
849943824 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
436352548 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
109151962 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1989812877 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
801726282 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1152630716 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
952884031 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1048972447 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
675962743 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1727181360 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1164739577 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1775722737 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
15656362 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
65318270 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1641869941 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
376317660 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1053448627 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1613442877 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
219123682 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1601166701 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1636693007 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
30365173 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1340504464 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1368221185 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1468926729 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1353981273 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1513184180 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1712807315 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1308847168 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
900992011 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1586766549 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
603666253 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1617266896 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1727440489 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1559441879 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
647504675 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1388729724 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
92025688 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
53269951 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1671153005 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
610077655 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2012770344 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
234283613 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
883859963 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1070342213 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1248248448 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
449760393 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
368783814 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1328010277 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
433786592 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
462554697 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
123133759 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
841412387 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1153172089 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2078419257 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
514384891 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1386776335 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
102936767 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
586933580 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2145581308 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
60109265 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
513052652 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
402520869 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1479320400 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
311709665 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1935688656 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1545731351 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
69114380 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1309426919 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2132606454 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
201256907 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1694478542 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
135883729 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1382615793 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1297038986 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
285014764 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1872108743 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
710787250 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1588965643 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
661874783 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1603918493 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
769344233 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1444780136 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1647048258 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1120698468 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1327371062 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1346263609 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
164485324 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
377907982 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
686283306 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1770211753 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
944255258 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1557320019 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1664919356 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1818695170 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1398649096 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1611855117 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
369792503 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1917602645 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1717794288 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1678858436 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
163105679 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1542614441 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
890471759 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
794047455 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2042394355 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1106082310 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
560418512 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2052871631 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
111022942 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
360427634 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1926589666 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
888184417 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
132079180 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2065165377 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
293205566 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
395779520 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
273857687 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
44753711 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1874126891 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
776668633 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
405559503 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1490830349 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
22261602 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
758909624 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
504185538 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1857840804 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1182358998 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
499417319 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
680616602 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
354084516 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1382301568 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1313241736 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1069529515 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1502998131 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1307061128 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1811887233 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2025265357 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
957612791 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1250005922 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1367542351 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
981984009 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1972914320 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
71058642 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1776581283 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1080888318 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1877375549 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
746954189 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1602067074 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
32040218 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
889492937 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
981699834 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1874081036 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
19092803 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1143040106 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
972917247 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1404621106 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
87066488 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2120901847 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1297415493 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
749758538 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
203034507 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1195583584 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1150417937 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1835241057 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
457686835 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1391796514 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
470039879 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1791431241 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
616847786 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1197899306 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
644752067 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
812823976 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1217562397 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
467328370 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
110072333 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
594448151 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
673332854 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
582030128 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
688239652 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1839372262 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1445942424 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2126409943 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
990419835 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2047295917 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
196876433 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
963942704 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2039596329 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1380101755 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1200627539 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
797489893 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1032079106 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1311484469 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1630964882 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1172344957 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
600378997 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
691903656 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
307562396 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
567920929 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2000108286 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1760043959 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1960599404 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1516879486 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1658676197 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
974195567 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1684313982 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
672143053 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1356308142 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1561870192 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1040249463 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
63842474 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1607855705 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1416863868 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
513528582 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1413496827 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
689438464 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1226957404 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
81346148 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1770412994 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
799781024 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
580144068 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
120371950 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1209569383 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1526242472 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1903670781 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1173756691 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
777569749 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1350023758 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1221324852 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2024897542 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1522649234 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1620795208 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
538580098 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1818525453 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1233466293 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1597517638 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1093107962 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
185258155 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1378590543 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
97654827 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
532949243 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1194100765 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2118154993 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
607704138 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1752060806 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
746210977 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1457631933 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
63328447 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
677185053 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
18021136 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1176669738 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
410742188 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
807052200 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1013961932 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1048109852 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
468188791 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1205493491 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1565138609 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1288093515 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1662276671 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1341689284 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1360942607 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2074214263 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2071430090 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
945904235 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1115689571 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
586613672 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1354090874 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1594182586 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
805248060 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1873063302 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1634902503 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
594779365 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
951971047 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1904437397 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1246871458 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1143709285 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
676609436 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1328200381 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2129333636 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
508930554 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
548490071 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1444341453 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
709183096 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
268823654 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
919259376 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1877936147 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
802718973 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
301125429 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1783868323 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1192496870 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1478704664 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
60191321 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
336458834 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
613280189 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
6651442 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1040896477 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
14602011 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2070918472 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1119438185 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
57690782 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
343092920 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1868337113 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1253728429 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1537804490 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
3488654 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1478347469 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
987057887 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1596730379 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1489921395 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
6898773 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1446701886 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1265460701 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
876368967 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
154074608 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
847476427 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
602584261 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
475864409 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2071217632 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
277395914 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1144176760 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1144245861 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1723947589 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
994402883 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1473774423 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2052904450 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1531822382 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
582256112 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1287939817 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
711888567 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
109414915 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1839609091 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2074531787 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1684408629 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1457307018 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
493218009 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1659074644 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1154288840 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1706725900 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
419641777 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1264700425 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1174964908 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
679894190 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
685052498 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
346198431 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1557246775 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1929049851 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1355839492 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
513886761 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
781215578 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
937011623 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1455611290 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
815187200 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1969803244 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
967752039 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1500874596 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
166570306 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1614875345 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1395764705 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1502924947 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
743348337 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
13217303 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
77036413 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
623380317 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1529031079 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2083971370 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2105758859 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
63920045 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
132235014 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
431177719 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
30503594 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1678506401 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
115461713 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1075406655 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
388184845 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2004591221 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1503950384 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1982230586 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
690799041 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1702709974 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
866843173 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1312268688 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1436593986 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1407302648 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2057180391 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1930776535 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1855695614 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1463915712 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
924632920 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1883050460 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2048877122 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
232681965 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
367171799 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2077863344 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
98656293 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
312241256 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
867395260 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
630756643 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1958895754 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
695649942 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
13628976 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
365649310 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1529682547 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2112970547 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
770212454 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
400780541 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1271324479 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
489290420 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
412078381 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1137749374 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1598443527 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
139196947 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1583827456 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1538642164 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1695342233 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
770210058 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1087262108 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1887160104 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
913053322 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
887989599 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1839946824 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
294264985 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
865897087 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
934124264 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1676767017 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
907993303 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1926990300 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1636680484 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
750486116 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1276463594 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1173777717 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2031214446 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
279875321 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2096302900 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1774779896 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1515912108 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1794132753 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1370048043 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1765397655 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1616149786 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
561355107 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
787445939 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
146901169 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2118065790 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
646740639 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
697318929 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1977421312 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
993370234 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2035451832 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2146696761 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
241041203 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1831482699 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1610016591 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1450603197 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
970578021 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1400518410 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
72250320 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
811329059 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
927938618 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
149373631 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
761650606 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
488971475 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
837125037 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1142291051 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1244834329 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1744624453 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2083884325 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2122925612 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2112800756 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1579090734 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1996963389 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1920765573 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
650885921 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
109691613 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
969630439 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
345805772 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
143703354 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
506109505 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1710130399 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
274045008 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
678528019 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1076048252 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
192874939 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
986608253 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
206138621 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
108279087 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
630840828 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1410695280 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
169712941 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1172862647 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
347894093 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1364524041 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
984076952 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
638358403 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1193560884 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
278327884 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1867337476 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2028117 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1853710720 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
830201575 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
281465187 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
243528958 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
859189376 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1110582529 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1017774957 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
497169835 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
583523211 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
525891476 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1756467243 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1497146923 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1687821967 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
948567616 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1707625550 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1088410468 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
360183647 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1401585432 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
688901709 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
687607631 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1526252516 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1606907162 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
269850851 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
824420190 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1398772905 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
941187401 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
479107217 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2133939908 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1326155204 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1897629929 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
734369573 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
531030619 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
302708979 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2124310029 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
759044447 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1072834772 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1597189145 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1001695451 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2100601078 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1118833828 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1645803663 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
232864859 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
868430483 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1945811262 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1956549759 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
960203595 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
383311060 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1586133871 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
375851025 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1511972714 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
7635528 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
540453275 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1795445084 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1858478417 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1166129311 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
737801533 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
157568086 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1197877548 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1118740256 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1770364190 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
377042831 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1973825110 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1002450779 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1716085845 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
774452767 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
54012898 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
952134059 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1024268877 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
291352594 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1727950386 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1600700145 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
468997934 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
733178522 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
687063668 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1073365714 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1010463751 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
693320724 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1060115871 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1638112649 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2030022170 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1338183136 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
254669503 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
601797446 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1104669333 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1674532334 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1730005721 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
495770126 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1284983566 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
305068666 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
577258599 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2091740498 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
507928500 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
672994740 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
37090147 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
692179631 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
393691537 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1785417859 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
581472181 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
269820504 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
800537896 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
691226777 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1322791793 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
795678126 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2136380791 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
21436227 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1734327543 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
207486924 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
737311949 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2103774808 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2035460555 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1499019639 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2091019626 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1038548271 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
380021274 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1813565472 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
763855750 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2044647622 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
785270605 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
515269110 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1346762858 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1119066008 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
618380063 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1500208419 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2000272353 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1059681222 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1278843548 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1856485666 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
552564577 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1756351811 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
538017120 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1809318845 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
764681152 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1299099028 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1004206741 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
483333170 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1245999864 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
357300206 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
381560400 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2002019100 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1944526057 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
724035441 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1929660849 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1775107116 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1608485315 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1350195566 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1731703252 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
247845038 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
573540241 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1823776460 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
986616689 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2038389849 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2000665086 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
151686732 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1747644975 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
59175077 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
643077031 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
242007319 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
984245856 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
58387744 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
567436866 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
722074511 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1157740586 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1474465105 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1751712453 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1036601067 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
457214620 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1888563648 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
298444807 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
69788979 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
710434978 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1596720812 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
958758929 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
682814965 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
44453059 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1739407880 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
938754103 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1843386782 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1489759456 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
767323263 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1265280260 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1425164200 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
321417395 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1302885772 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
127753323 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1426415029 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1676264566 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
803542967 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1961070211 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2058275517 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1427699136 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1174618774 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
764971098 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
666430821 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
323943642 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
786172231 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
568576795 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
175916546 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1539520897 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
63088645 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
361162443 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
801452338 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
994074037 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
933144277 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
569841573 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1258278648 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
371586979 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
743528113 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1532539853 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
783863826 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1551754725 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1488502086 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
587562375 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2035267348 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
278252455 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
465187123 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
163427952 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1185016321 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1461957595 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1835294441 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
219928809 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1025778417 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1678481246 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1777641969 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
730410473 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1143207548 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
393062098 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
590843758 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1746795199 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
248724015 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
185214425 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
255198646 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1641657049 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1253238720 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1033861872 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1674765741 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1449430343 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1712718525 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1630678010 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
25612676 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1078663907 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1502590282 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
223505941 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
738704159 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
930224726 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
694268672 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1438963047 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1547391110 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1748825976 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
235003375 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1625796483 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2044232639 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1954651764 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1731134616 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
337300486 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1953904757 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2131482258 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
795535591 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
72458054 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
913016253 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
585757224 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
59718360 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
318679931 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
13756681 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
510606690 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1736911580 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
593702017 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
710425021 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
300124650 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1837237087 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2015443805 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
397438709 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1904275459 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
453574044 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1370565332 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1195245244 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
595446632 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1364287021 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
989505760 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1271472299 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1877384416 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
675212376 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1333525168 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1496883973 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1337979129 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
367753541 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1273497000 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
460041225 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1997896028 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
157056334 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
398997372 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
465435387 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
104717810 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
630799935 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1291180599 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
4372734 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1869259530 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
135809302 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
362838740 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2140453565 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1074397500 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
338563662 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2006472763 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1831271190 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
266869596 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1091618220 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1918630748 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
957358048 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1987002769 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
851652289 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1458274156 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1355946666 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1508117208 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
287364590 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1733820011 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
63529906 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
919761035 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1560699270 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
52301076 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
496638294 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
84795031 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1707558069 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
669893078 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2012523780 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1174534058 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1305118053 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1950753098 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
332684496 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
171790473 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
129048759 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
528110065 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2079040773 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1524727832 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1955862915 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1127107510 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1450570078 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1639127731 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
492141636 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2033548186 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1309201221 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1751942101 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
428059286 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
296723521 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1567330085 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
894609126 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1855108901 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1325769422 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1266189573 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
55598526 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
662447931 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1478359227 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1489419141 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1972278643 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1480544646 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
286952621 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
318740248 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
842198128 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
551948750 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1841909016 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1690017119 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1408660134 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1544624394 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
191046304 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1127992000 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1454170733 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1192368383 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
470358795 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1976175696 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
331476606 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1569597350 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1022586221 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1546118966 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
55949584 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1144097709 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1244818322 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1580387312 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1339731122 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
817204915 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2064039715 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
128328774 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1807034987 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
891141614 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1571964459 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1622854467 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1419316148 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
167467700 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2131408564 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2002027123 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
916558571 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1429611432 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1960368803 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
441361299 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2136565071 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1655954650 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1550695416 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1192507345 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
544747315 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
795152874 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
918611889 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1187234297 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
698890923 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1065337594 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
308409729 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1882092204 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1534612553 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1638320807 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
288111366 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
465300839 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1027841360 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1738074832 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
592783685 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
687620683 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1243864962 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
696980386 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1423878254 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1609455462 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1498318253 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1561030765 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
949155963 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
208686258 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
46345727 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
75997231 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
168626574 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1709514138 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
368634151 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1600500147 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
327158734 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
598471246 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
805283546 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
614203726 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
169986457 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1620397712 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
575054572 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1565512656 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1671498661 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1626274580 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1175425553 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
675018775 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
689822532 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1741689935 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
315760856 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1447729379 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
459354065 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2115915871 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1115538495 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1874170756 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1708261344 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
982756336 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1076843924 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
814857459 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1432790256 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1490173045 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
139686932 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1467107568 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
897219978 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2146313646 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
392511148 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1004381403 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
985986351 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1865522123 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1965200275 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2134174560 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1426771054 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1712073730 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1986497494 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1539707517 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
44183006 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
881521409 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1906736778 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
417431460 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
513936882 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1425389278 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2050819710 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
452591526 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
313025415 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1121972410 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1916951680 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2107454425 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
424221885 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1176424761 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
57984010 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1300526350 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
175027455 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1033520656 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
574380703 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
411537704 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
892342358 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1372343013 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
238218124 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1522266318 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1477078157 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2003505290 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
836386421 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1366108536 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1337556640 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1194008243 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1510725898 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1486102649 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2013893256 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1407868053 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1393826536 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
180335327 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1517045366 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1492462445 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
933368949 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
239525790 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
891541195 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
170741999 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
648204248 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1573964176 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
246035420 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1149168837 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
656109536 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
383642181 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
382449738 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1870229950 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2014307567 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1508978205 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1316585921 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1118401001 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
402494619 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
329540885 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
553496557 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
608925429 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1429567705 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
757190374 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1834407652 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1857583616 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1975697232 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
838981742 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
532555513 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
62279887 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2015755839 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
415464835 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1365986423 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
902483424 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
337917069 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1232682062 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1385680513 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1765904061 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2057892439 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
777254171 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1460324554 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1170421892 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
207586258 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
105817689 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2095099016 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1713477899 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
499867579 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
522631651 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
230160037 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1402809398 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
344322248 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
649190990 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
286136454 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1982006001 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1745790282 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1672558473 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
213992497 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1145187345 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1520075747 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
437521849 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1846565869 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1519079268 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2034951987 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1700157866 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
317074588 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
184261718 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
441017313 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1970569047 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1270409233 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1456461204 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
506366375 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1532951731 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
741178629 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
902563815 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
394069750 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
965596724 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
678238595 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
553989686 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
959034982 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
385003428 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1758075560 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1585301631 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2081386568 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
626496087 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
635452733 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
330863128 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1620092218 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
491218472 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1360995486 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1985825970 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1886203362 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
900119369 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
241667515 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
337958598 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
111555902 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1045330087 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
348326496 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1452354917 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1173309334 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1599289114 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1846925788 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1619816908 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1116183289 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1150790928 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1277866921 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
716247157 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
767940867 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
108049422 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1776936583 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1980892218 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
247699386 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
402042714 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
457940892 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1656851908 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
952514700 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1531127890 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
289774974 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
966874588 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1057688782 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2137716073 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
46398980 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1307105163 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
382675226 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
303371943 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
444453736 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
18256666 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
956488845 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1682232786 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
299766955 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
71730966 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
195043397 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
492533486 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2104093497 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2101895499 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1792990236 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1284941236 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1032717248 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
18528189 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
928201328 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
231491542 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
558403791 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
431361067 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
191642641 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
82585939 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1980030228 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
711196152 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
344311969 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
382194767 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
444214422 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1498616749 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2088893645 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1273023638 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
591384754 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
276922509 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1271298797 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1105834314 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
748327703 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1186392570 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1793252703 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1778428488 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1868954519 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
525979127 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
961055428 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1024505348 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1815729824 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
475048458 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
425760921 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
207580364 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
521833233 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
372763793 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1615582899 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
469966869 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
633613970 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
476596047 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
680963229 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1614136232 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
361567393 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1354128893 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2080926327 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1169960358 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
308168420 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2099926052 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
737966910 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
964599173 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1150888593 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1554247329 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
916134877 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1724242354 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1751183291 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
326943642 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
459831854 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
115234733 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1967484236 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1797202397 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1160075978 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1692742972 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1798446639 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
64341990 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
637524573 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1156763630 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
36227296 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1180530094 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
918646669 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
533498695 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2106995483 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1889533100 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
663294025 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1794346582 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
277759609 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1140700615 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1085327455 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1189153268 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
447216999 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1524295474 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
167809995 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
153537168 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1824623489 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
981884244 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1207046047 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
701252170 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1709674324 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1339077103 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1136158821 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1720914578 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1781463282 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
31884115 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1759144495 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
848165547 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1451575723 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
478884956 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
323723513 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
934461189 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1738273424 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
861660033 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
13993963 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
219067730 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1563494836 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2067086689 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
813858805 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
688356706 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
543676260 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1321926351 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
80646102 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
322039408 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
215769442 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
128726921 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1677238444 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1559023757 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1837633610 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
822556164 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1498724968 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
696889285 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
93587478 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2074691223 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
253486323 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
30638366 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1220792050 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1727932848 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
673590807 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1613067703 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1343913809 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1309042351 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1248388326 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
568529081 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
604142098 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1652079084 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2142735733 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
603333019 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1539033341 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
624842929 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1125482072 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1107850659 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
703560921 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
914556067 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1456754224 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
958756067 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
698708963 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1176471790 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
807399330 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
112282964 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
279640520 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
568884215 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
851505421 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
485273988 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
200633793 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1000801267 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
174818729 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1323019396 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
867090438 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1975447509 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
809421880 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1932895333 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
371732664 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2128221694 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
444367627 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1689196133 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
651314607 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
705950069 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1731842264 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1531751812 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
428177203 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
543083978 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1644153543 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
684438898 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
889785634 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
747368488 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1250607240 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
287907863 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1835944620 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1359177251 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1684742228 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
252802370 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1839934994 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
42527548 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
552553480 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1450368458 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1885729483 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
5742870 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
798097520 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
339056695 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
298164129 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1078235841 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
1098924486 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
484469210 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
162832519 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
195643925 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0 
2021035852 /ubc/cs/project/arrow/projects/Sat_Data/dist_sat/instances/qwh-rand/000549.cnf 0