| Task | Outcome | Prob. | E[hours] | res.val. | know.val. | val/1000h | with planning |
|---|---|---|---|---|---|---|---|
| Ensembles for average-case complexity | Expectation | 324 | 1.42 | 0.18 | 5.0 | 5.0 | |
| Optimistic | 0.30 | 312 | 3.00 | 0.20 | 10.2 | ||
| Pessimistic | 0.30 | 321 | 1.00 | 0.18 | 3.7 | ||
| Some progress | 0.40 | 333 | 0.55 | 0.17 | 2.1 | ||
| Generalizing PCP to other classes | Expectation | 375 | 1.80 | 0.23 | 5.4 | 5.4 | |
| Optimistic | 0.20 | 375 | 5.00 | 0.23 | 14.0 | ||
| Pessimistic | 0.80 | 375 | 1.00 | 0.23 | 3.3 | ||
| Greedy superstring conjecture | Expectation | 116 | 0.38 | 0.05 | 2.2 | 5.7 | |
| Solve | 0.25 | 225 | 1.50 | 0.08 | 7.0 | ||
| Nothing | 0.75 | 80 | 0.01 | 0.03 | 0.5 | ||
| P != PSPACE | Expectation | 98 | 0.11 | 0.04 | 1.1 | 5.2 | |
| Solve | 0.00 | 400 | 40.00 | 0.25 | 100.6 | ||
| Insights | 0.20 | 171 | 0.50 | 0.08 | 3.4 | ||
| Nothing | 0.80 | 80 | 0.01 | 0.03 | 0.5 | ||
| Refuting random 3SAT | Expectation | 220 | 1.29 | 0.08 | 4.7 | 6.3 | |
| Prove | 0.10 | 343 | 8.00 | 0.13 | 23.7 | ||
| Refute | 0.07 | 333 | 1.00 | 0.13 | 3.4 | ||
| Some progress | 0.60 | 240 | 0.70 | 0.08 | 3.3 | ||
| Nothing | 0.23 | 80 | 0.01 | 0.03 | 0.5 | ||
| Study articles | Expectation | 62 | 0.00 | 0.07 | 1.1 | 5.8 | |
| Ordinary progress | 1.00 | 62 | 0.00 | 0.07 | 1.1 | ||
| Sums of nonnegative | Expectation | 93 | 0.65 | 0.07 | 7.3 | 6.7 | |
| Solve | 0.50 | 130 | 1.00 | 0.08 | 8.3 | ||
| Some progress | 0.50 | 56 | 0.30 | 0.05 | 6.3 | ||
| Unique Games Conjecture | Expectation | 142 | 1.01 | 0.08 | 4.6 | 7.0 | |
| Prove | 0.04 | 311 | 10.00 | 0.17 | 32.7 | ||
| Refute | 0.01 | 367 | 3.00 | 0.17 | 8.6 | ||
| Progress | 0.38 | 212 | 1.50 | 0.13 | 7.7 | ||
| Nothing | 0.57 | 80 | 0.01 | 0.03 | 0.5 | ||