seed 4530006
lambda = 1/100: 1544 states (random mixed scales, critical Q values, small states): Lh identity, LU/LUbar bounds, per-transition increments of U, master inequality (6), sigma-invariance, jump bound J, V >= delta N - 2 kappa M; minimal slack of (6) 7.8125e-05
lambda = 1/10: 1544 states (random mixed scales, critical Q values, small states): Lh identity, LU/LUbar bounds, per-transition increments of U, master inequality (6), sigma-invariance, jump bound J, V >= delta N - 2 kappa M; minimal slack of (6) 0.00078125
lambda = 1: 1544 states (random mixed scales, critical Q values, small states): Lh identity, LU/LUbar bounds, per-transition increments of U, master inequality (6), sigma-invariance, jump bound J, V >= delta N - 2 kappa M; minimal slack of (6) 0.0078125
lambda = 37/10: 1544 states (random mixed scales, critical Q values, small states): Lh identity, LU/LUbar bounds, per-transition increments of U, master inequality (6), sigma-invariance, jump bound J, V >= delta N - 2 kappa M; minimal slack of (6) 0.0078125
lambda = 10: 1544 states (random mixed scales, critical Q values, small states): Lh identity, LU/LUbar bounds, per-transition increments of U, master inequality (6), sigma-invariance, jump bound J, V >= delta N - 2 kappa M; minimal slack of (6) 0.009375
lambda = 100: 1544 states (random mixed scales, critical Q values, small states): Lh identity, LU/LUbar bounds, per-transition increments of U, master inequality (6), sigma-invariance, jump bound J, V >= delta N - 2 kappa M; minimal slack of (6) 0.0078125
lambda = 1000: 1544 states (random mixed scales, critical Q values, small states): Lh identity, LU/LUbar bounds, per-transition increments of U, master inequality (6), sigma-invariance, jump bound J, V >= delta N - 2 kappa M; minimal slack of (6) 0.0078125
time 6.5 s; FAILS 0
TOTAL FAILS 0
nice -n 10 python3 -I r2checks.py master  6.52s user 0.02s system 99% cpu 6.569 total
