Pairwise scatter¶
Solver time of method A (x) against method B (y) on the same instances, log–log. Unproved tasks are drawn at the time limit (3600 s); points below the diagonal are faster with method B.
Solver time of method A (x) against method B (y) on the same instances, log–log. Unproved tasks are drawn at the time limit (3600 s); points below the diagonal are faster with method B.