53
53
" drive.mount('/content/gdrive')"
54
54
],
55
55
"id" : " md4JZ9dNr-cj" ,
56
- "execution_count" : 1 ,
56
+ "execution_count" : null ,
57
57
"outputs" : [
58
58
{
59
59
"output_type" : " stream" ,
77
77
" %cd gdrive/My Drive"
78
78
],
79
79
"id" : " PSSjiEf1sjTf" ,
80
- "execution_count" : 2 ,
80
+ "execution_count" : null ,
81
81
"outputs" : [
82
82
{
83
83
"output_type" : " stream" ,
108
108
" !git pull"
109
109
],
110
110
"id" : " wQDmH68WssAm" ,
111
- "execution_count" : 3 ,
111
+ "execution_count" : null ,
112
112
"outputs" : [
113
113
{
114
114
"output_type" : " stream" ,
133
133
" !pip install -r requirements.txt"
134
134
],
135
135
"id" : " FDLLNcrEt_il" ,
136
- "execution_count" : 4 ,
136
+ "execution_count" : null ,
137
137
"outputs" : [
138
138
{
139
139
"output_type" : " stream" ,
279
279
" 'flat200-479']}}"
280
280
],
281
281
"id" : " HMMK1om7bzWs" ,
282
- "execution_count" : 5 ,
282
+ "execution_count" : null ,
283
283
"outputs" : []
284
284
},
285
285
{
295
295
" %cd GQSAT"
296
296
],
297
297
"id" : " Ypffdwwc60GL" ,
298
- "execution_count" : 6 ,
298
+ "execution_count" : null ,
299
299
"outputs" : [
300
300
{
301
301
"output_type" : " stream" ,
334
334
" %cd .."
335
335
],
336
336
"id" : " nZF8lgna7tGm" ,
337
- "execution_count" : 7 ,
337
+ "execution_count" : null ,
338
338
"outputs" : [
339
339
{
340
340
"output_type" : " stream" ,
420
420
" PROBLEM_TYPE='uniform-random-3-sat'"
421
421
],
422
422
"id" : " HGI9Dj-FRXN4" ,
423
- "execution_count" : 8 ,
423
+ "execution_count" : null ,
424
424
"outputs" : []
425
425
},
426
426
{
585
585
" 'model_50003')}"
586
586
],
587
587
"id" : " ptB7-ZibX3yE" ,
588
- "execution_count" : 9 ,
588
+ "execution_count" : null ,
589
589
"outputs" : []
590
590
},
591
591
{
625
625
" >> runs/\" $MODEL_DIR\" /\" $PROBLEM_NAME\" -gatqsat-max\" $MODEL_DECISION\" .tsv"
626
626
],
627
627
"id" : " oFxGGZdPX62D" ,
628
- "execution_count" : 10 ,
628
+ "execution_count" : null ,
629
629
"outputs" : []
630
630
},
631
631
{
705
705
"id" : " 0WBwidOk9EIG"
706
706
},
707
707
"id" : " 0WBwidOk9EIG" ,
708
- "execution_count" : 11 ,
708
+ "execution_count" : null ,
709
709
"outputs" : []
710
710
},
711
711
{
734
734
" --model-checkpoint \" $CHECKPOINT\" .chkp \\\n " ,
735
735
" >> runs/\" $MODEL_DIR\" /\" $PROBLEM_NAME\" -gatqsat-max\" $MODEL_DECISION\" .tsv"
736
736
],
737
- "execution_count" : 12 ,
737
+ "execution_count" : null ,
738
738
"outputs" : [],
739
739
"id" : " xfjCQpJzlNOS"
740
740
},
741
- {
742
- "cell_type" : " code" ,
743
- "metadata" : {
744
- "id" : " Gw-KPx8glT7s" ,
745
- "colab" : {
746
- "base_uri" : " https://localhost:8080/"
747
- },
748
- "outputId" : " 5dab2ad7-55e0-449b-cffa-c0de180a89dd"
749
- },
750
- "source" : [
751
- " %cd .."
752
- ],
753
- "id" : " Gw-KPx8glT7s" ,
754
- "execution_count" : null ,
755
- "outputs" : [
756
- {
757
- "output_type" : " stream" ,
758
- "name" : " stdout" ,
759
- "text" : [
760
- " /content/gdrive/My Drive/neuroSAT\n "
761
- ]
762
- }
763
- ]
764
- },
765
741
{
766
742
"cell_type" : " markdown" ,
767
743
"metadata" : {
1016
992
"id" : " 7YQTwDwvjCDO" ,
1017
993
"execution_count" : null ,
1018
994
"outputs" : []
1019
- },
1020
- {
1021
- "cell_type" : " code" ,
1022
- "metadata" : {
1023
- "colab" : {
1024
- "base_uri" : " https://localhost:8080/"
1025
- },
1026
- "id" : " hqnV3yURjCDO" ,
1027
- "outputId" : " adbdc707-1d4e-4970-b196-ccd4e51f816b"
1028
- },
1029
- "source" : [
1030
- " %cd .."
1031
- ],
1032
- "id" : " hqnV3yURjCDO" ,
1033
- "execution_count" : null ,
1034
- "outputs" : [
1035
- {
1036
- "output_type" : " stream" ,
1037
- "name" : " stdout" ,
1038
- "text" : [
1039
- " /content/gdrive/My Drive/neuroSAT\n "
1040
- ]
1041
- }
1042
- ]
1043
995
}
1044
996
]
1045
997
}
0 commit comments