files / problems / schur / compute / q4 / local_repair.json
{
"input": "near_1697_two_violations.txt",
"solver": "glucose42",
"seconds_per_neighborhood": 8.0,
"ranking": "frequency in immediate alternative-color blockers of the four core vertices",
"core": [
537,
640,
1074,
1177
],
"runs": [
{
"result": "unsat",
"mutable_vertices": 4,
"clauses": 1535,
"relevant_edges": 5066,
"changed": [],
"elapsed_seconds": 0.140457,
"requested_blockers": 0,
"mutable": [
537,
640,
1074,
1177
],
"minimum_blocker_score": null
},
{
"result": "unsat",
"mutable_vertices": 20,
"clauses": 6805,
"relevant_edges": 29476,
"changed": [],
"elapsed_seconds": 0.19793,
"requested_blockers": 16,
"mutable": [
2,
5,
12,
29,
48,
53,
101,
433,
450,
467,
484,
491,
508,
515,
537,
539,
621,
640,
1074,
1177
],
"minimum_blocker_score": 6
},
{
"result": "unsat",
"mutable_vertices": 36,
"clauses": 9321,
"relevant_edges": 51374,
"changed": [],
"elapsed_seconds": 0.216047,
"requested_blockers": 32,
"mutable": [
2,
5,
12,
29,
48,
53,
101,
433,
450,
457,
467,
484,
491,
498,
503,
508,
515,
522,
523,
532,
537,
539,
542,
549,
556,
563,
573,
585,
592,
604,
614,
621,
628,
640,
1074,
1177
],
"minimum_blocker_score": 6
},
{
"result": "unsat",
"mutable_vertices": 68,
"clauses": 24693,
"relevant_edges": 97849,
"changed": [],
"elapsed_seconds": 0.316975,
"requested_blockers": 64,
"mutable": [
2,
5,
12,
15,
19,
22,
29,
36,
46,
48,
53,
55,
70,
84,
87,
91,
94,
98,
101,
108,
118,
125,
132,
135,
142,
149,
156,
166,
433,
450,
457,
467,
484,
491,
498,
503,
508,
515,
522,
523,
532,
537,
539,
542,
549,
556,
563,
573,
585,
592,
604,
614,
621,
628,
635,
638,
640,
645,
655,
662,
669,
679,
686,
693,
710,
761,
1074,
1177
],
"minimum_blocker_score": 5
},
{
"result": "unsat",
"mutable_vertices": 132,
"clauses": 60659,
"relevant_edges": 182996,
"changed": [],
"elapsed_seconds": 0.493033,
"requested_blockers": 128,
"mutable": [
2,
4,
5,
6,
10,
11,
12,
13,
14,
15,
17,
18,
19,
20,
21,
22,
25,
26,
28,
29,
31,
36,
39,
40,
41,
43,
46,
48,
53,
55,
58,
62,
66,
67,
69,
70,
73,
84,
87,
91,
94,
98,
101,
108,
118,
125,
132,
135,
142,
149,
156,
166,
173,
224,
313,
320,
371,
385,
395,
402,
409,
412,
416,
419,
420,
433,
443,
450,
453,
457,
467,
469,
484,
490,
491,
498,
501,
503,
505,
508,
515,
522,
523,
525,
532,
537,
538,
539,
542,
543,
546,
549,
556,
563,
573,
577,
580,
585,
587,
592,
597,
604,
614,
621,
628,
631,
635,
638,
639,
640,
645,
654,
655,
662,
669,
672,
674,
676,
679,
686,
693,
703,
710,
727,
744,
761,
1074,
1076,
1083,
1129,
1158,
1177
],
"minimum_blocker_score": 4
}
],
"result": "no-local-coloring-found",
"warning": "UNSAT applies only to the named fixed-outside neighborhood; timeout is residue."
}