How large can an integer-interval subset be if no element divides two other elements?

Mission

Runtime

9 h 14 min

Iteration

57 of 57

Directions

331

Hypotheses

17

Experiments

266

Rejected paths

64

Current direction

No direction is open.

Verified

• 0 Lean-verified intermediate lemmas
• A verified lemma covers exactly the declaration the kernel accepted. The problem stays open until it is settled either way.

Literature

Indexed

109

Highly relevant

1

Iteration 48

• ARES / error

Model calls

13

Estimated cost

$0.006627