This page contains the computer program and certificates of infeasibilities used in the paper "Asymptotics of Ramsey number of double stars", available here.

Script for checking whether a pair is infeasible: CheckValid.sage.

Certificates of infeasibilities in plain text format:

delta=0.510, eta=0.3080
delta=0.515, eta=0.3011
delta=0.520, eta=0.2944
delta=0.525, eta=0.2883
delta=0.530, eta=0.2823
delta=0.535, eta=0.2766
delta=0.540, eta=0.2710
delta=0.5406, eta=0.2703