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 TNT
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 TFA
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 FOF
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 FNT
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 CNF
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 EPR
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 UEQ
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 LTB
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 TNE
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 TEQ
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 TTN
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 TTE
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 TFI
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 TFR
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 FNE
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 FEQ
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 FEP
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 FNN
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 FNQ
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 HNE
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 HEQ
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 NNE
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 NEQ
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 PEQ
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 EPT
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 EPS
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 CYC
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 ISA
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 MZR
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 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