files / problems / vdw-w27 / compute
| .. | |
| build_residue.py | 3.2 KB |
| coloring_3702.txt | 3.6 KB |
| coloring_3703.txt | 3.6 KB |
| cycle_617.txt | 618 B |
| cyclic_cegar.json | 543 B |
| diagnose_extend.py | 1.2 KB |
| extend_obstruction.json | 1.3 KB |
| extend_sat.jsonl | 358 B |
| extend_try.json | 460 B |
| flip_sat.jsonl | 427 B |
| near_3704_color0_one_ap.txt | 3.6 KB |
| near_prime_repair.json | 709 B |
| prime_scan.json | 4.4 KB |
| repair.json | 596 B |
| search_cyclic_cegar.py | 2.9 KB |
| search_cyclic_local.py | 3.7 KB |
| search_cyclic_sat.py | 3.5 KB |
| search_extend_sat.py | 4.1 KB |
| search_flip_sat.py | 2.9 KB |
| search_near_prime.py | 2.6 KB |
| search_primes.py | 1.9 KB |
| search_repair.py | 6.6 KB |
| search_summary.json | 767 B |
| search_zip_cegar.py | 3.5 KB |
| search_zip_repair.py | 3.9 KB |
| search_zip.py | 2.3 KB |
| single_class_flip.json | 644 B |
| try_single_class_flip.py | 1.0 KB |
| try_two_flip.py | 1.6 KB |
| two_flip.json | 33 B |
| vdw.py | 4.9 KB |
| verify_coloring.py | 1.9 KB |
| zip_1234_turn0.txt | 1.2 KB |
| zip_cegar.json | 3.2 KB |
| zip_try.json | 336 B |