Instance | Result | Time | |
---|---|---|---|
random-qcir-1000-50-940 | UNSAT | 561.95 | |
random-qcir-1000-50-545 | UNSAT | 565.97 | |
random-qcir-1000-50-393 | UNSAT | 569.84 | |
random-qcir-1000-50-898 | UNSAT | 572.33 | |
random-qcir-1000-50-98 | UNSAT | 572.59 | |
random-qcir-1000-50-930 | UNSAT | 576.21 | |
random-qcir-1000-50-983 | UNSAT | 577.4 | |
random-qcir-1000-50-275 | UNSAT | 577.5 | |
random-qcir-1000-50-267 | UNSAT | 579.47 | |
random-qcir-1000-50-857 | UNSAT | 582.06 | |
random-qcir-1000-50-793 | UNSAT | 583.16 | |
random-qcir-1000-50-970 | UNSAT | 583.41 | |
random-qcir-1000-50-68 | UNSAT | 586.1 | |
random-qcir-1000-50-441 | UNSAT | 586.97 | |
random-qcir-1000-50-743 | UNSAT | 587.4 | |
random-qcir-1000-50-255 | UNSAT | 587.91 | |
random-qcir-1000-50-846 | UNSAT | 601.62 | |
random-qcir-1000-50-658 | UNSAT | 607.14 | |
random-qcir-1000-50-295 | UNSAT | 609.47 | |
random-qcir-1000-50-473 | UNSAT | 609.97 | |
random-qcir-1000-50-428 | UNSAT | 612.08 | |
random-qcir-1000-50-754 | UNSAT | 636.28 | |
random-qcir-1000-50-134 | UNSAT | 649.45 | |
random-qcir-1000-50-361 | UNSAT | 694.65 | |
random-qcir-1000-50-456 | FAIL | 900.05 |