#BEGIN: [Fri Sep 1 05:34:00 2023] #HOST: s15 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-banbaralab-longest2 #INSTANCE1: /benchmark/2022benchmark/benchmark/square/hc-square-020-002.col #INSTANCE2: /benchmark/2022benchmark/benchmark/square/hc-square-020-002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/2022benchmark/benchmark/square/hc-square-020-002.col /benchmark/2022benchmark/benchmark/square/hc-square-020-002_01.dat c /benchmark/2022benchmark/benchmark/square/hc-square-020-002.col c /benchmark/2022benchmark/benchmark/square/hc-square-020-002_01.dat s 2 4 6 9 11 14 16 19 21 24 26 29 31 34 36 39 41 44 46 49 51 54 56 59 61 64 66 69 71 74 76 79 81 84 86 89 91 94 96 99 101 104 106 109 111 114 116 119 121 124 126 129 131 134 136 139 141 144 146 149 151 154 156 159 161 164 166 169 171 174 176 179 181 184 186 189 191 194 196 199 201 204 t 1 3 7 8 12 13 17 18 22 23 27 28 32 33 37 38 42 43 47 48 52 53 57 58 62 63 67 68 72 73 77 78 82 83 87 88 92 93 97 98 102 103 107 108 112 113 117 118 122 123 127 128 132 133 137 138 142 143 147 148 152 153 157 158 162 163 167 168 172 173 177 178 182 183 187 188 192 193 197 198 202 203 c UNKNOWN c REACHABILITY UNKNOWN #END: [Fri Sep 1 05:41:42 2023]