Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO
Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO
Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO
Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO
Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO
Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO
Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO
Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO
Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO
Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO
Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO
TTN/20 | Nitpick 2011 | Refute 2011 | Satallax 2.1 |
---|---|---|---|
SYN985^1 | +4.13 | +2.53 | TMO‑Non |
SYO339^5 | +6.34 | +1.99 | TMO‑Non |
SYO316^5 | +5.49 | +2.82 | TMO‑Non |
SYO313^5 | +3.79 | +2.42 | TMO‑Non |
SYO297^5 | +4.22 | +2.36 | TMO‑Non |
SYO294^5 | +4.06 | +1.85 | TMO‑Non |
SYN993^1 | +3.80 | +2.17 | TMO‑Non |
SYO318^5 | +4.52 | +2.35 | TMO‑Non |
SYO333^5 | +8.42 | +2.13 | TMO‑Non |
SYO165^5 | +4.88 | +1.98 | TMO‑Non |
SEV336^5 | UNK‑Non | UNK‑Non | 0.00 |
SYO340^5 | +14.84 | TMO‑Non | TMO‑Non |
SEV350^5 | UNK‑Non | UNK‑Non | 0.00 |
SYO157^5 | UNK‑Non | UNK‑Non | 0.00 |
SEV340^5 | UNK‑Non | UNK‑Non | 0.00 |
SYO137^5 | UNK‑Non | UNK‑Non | 0.00 |
SYO126^5 | UNK‑Non | UNK‑Non | 0.00 |
SYO121^5 | UNK‑Non | UNK‑Non | 0.00 |
CSR142^3 | UNK‑Non | UNK‑Non | 0.00 |
CSR143^3 | UNK‑Non | UNK‑Non | 0.00 |
Solved | 11/20 | 10/20 | 9/20 |
Av. CPU Time | 5.86 | 2.26 | 0.00 |
Solutions | 11/20 | 10/20 | 0/20 |
μEfficiency | 110.23 | 224.54 | 450.00 |
SOTAC | 0.55 | 0.50 | 1.00 |
New Solved | 0/0 | 0/0 | 0/0 |
Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO
Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO
Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO
Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO
Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO
Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO
Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO
Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO
Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO
Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO
Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO
Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO
Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO
Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO
Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO
Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO
Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO
Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO
Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO
Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO