Results for: THF TFA FOF FNT EPR SLH LTB TNE TEQ TFI TFR TFE FNE FEQ FNN FNQ EPT EPS CML 
Results for: THF TFA FOF FNT EPR SLH LTB TNE TEQ TFI TFR TFE FNE FEQ FNN FNQ EPT EPS CML 
Results for: THF TFA FOF FNT EPR SLH LTB TNE TEQ TFI TFR TFE FNE FEQ FNN FNQ EPT EPS CML 
Results for: THF TFA FOF FNT EPR SLH LTB TNE TEQ TFI TFR TFE FNE FEQ FNN FNQ EPT EPS CML 
Results for: THF TFA FOF FNT EPR SLH LTB TNE TEQ TFI TFR TFE FNE FEQ FNN FNQ EPT EPS CML 
Results for: THF TFA FOF FNT EPR SLH LTB TNE TEQ TFI TFR TFE FNE FEQ FNN FNQ EPT EPS CML 
Results for: THF TFA FOF FNT EPR SLH LTB TNE TEQ TFI TFR TFE FNE FEQ FNN FNQ EPT EPS CML 
Results for: THF TFA FOF FNT EPR SLH LTB TNE TEQ TFI TFR TFE FNE FEQ FNN FNQ EPT EPS CML 
Results for: THF TFA FOF FNT EPR SLH LTB TNE TEQ TFI TFR TFE FNE FEQ FNN FNQ EPT EPS CML 
Results for: THF TFA FOF FNT EPR SLH LTB TNE TEQ TFI TFR TFE FNE FEQ FNN FNQ EPT EPS CML 
| TFA using Rationals | CVC4 ARI‑1.5.2 | Vampire 4.2 | Princess 170717 | Vampire 4.1 | Zipperpin 1.1 | 
|---|---|---|---|---|---|
| NUM902=1 | +0.01 | +0.04 | +3.19 | +0.04 | GUP‑Non | 
| NUM901=1 | +0.01 | +0.04 | +2.80 | +0.05 | +0.01 | 
| NUM904=1 | +0.01 | +0.03 | +2.75 | +0.01 | +0.01 | 
| ARI297=1 | +0.01 | +0.04 | +4.02 | +0.01 | +0.01 | 
| ARI344=1 | +0.04 | +0.01 | +32.81 | +0.04 | +0.01 | 
| ARI293=1 | +0.01 | +0.05 | +3.11 | +0.05 | +0.01 | 
| ARI296=1 | +0.01 | +0.04 | +0.98 | +0.04 | +0.01 | 
| NUM903=1 | +0.04 | +0.04 | +2.81 | +0.04 | +0.01 | 
| NUM905=1 | +0.01 | +0.04 | +14.72 | +0.01 | GUP‑Non | 
| ARI337=1 | +0.01 | +0.56 | +17.37 | TMO‑Non | +0.05 | 
| NUM907=1 | +0.01 | +0.05 | +3.75 | +0.04 | GUP‑Non | 
| ARI271=1 | +0.01 | +0.01 | +3.60 | +0.04 | +0.01 | 
| NUM906=1 | +0.04 | +0.01 | +3.24 | +0.04 | +0.01 | 
| ARI257=1 | +0.01 | +0.04 | +1.01 | +0.01 | +0.01 | 
| ARI294=1 | +0.01 | +0.01 | +2.92 | +0.01 | +0.01 | 
| Solved/15 | 15/15 | 15/15 | 15/15 | 14/15 | 12/15 | 
| Av. CPU Time | 0.02 | 0.07 | 6.61 | 0.03 | 0.01 | 
| Av. WC Time | 0.01 | 0.09 | 2.24 | 0.05 | 0.01 | 
| Solutions | 15/15 | 15/15 | 15/15 | 14/15 | 12/15 | 
| μEfficiency | 1000 | 1000 | 500 | 933 | 800 | 
| μWCEfficiency | 1000 | 1000 | 296 | 933 | 800 | 
| SOTAC | 0.21 | 0.21 | 0.21 | 0.21 | 0.20 | 
| Core Usage | 1.34 | 0.63 | 2.53 | 0.66 | 1.25 | 
| New Solved | 0/0 | 0/0 | 0/0 | 0/0 | 0/0 | 
Results for: THF TFA FOF FNT EPR SLH LTB TNE TEQ TFI TFR TFE FNE FEQ FNN FNQ EPT EPS CML 
Results for: THF TFA FOF FNT EPR SLH LTB TNE TEQ TFI TFR TFE FNE FEQ FNN FNQ EPT EPS CML 
Results for: THF TFA FOF FNT EPR SLH LTB TNE TEQ TFI TFR TFE FNE FEQ FNN FNQ EPT EPS CML 
Results for: THF TFA FOF FNT EPR SLH LTB TNE TEQ TFI TFR TFE FNE FEQ FNN FNQ EPT EPS CML 
Results for: THF TFA FOF FNT EPR SLH LTB TNE TEQ TFI TFR TFE FNE FEQ FNN FNQ EPT EPS CML 
Results for: THF TFA FOF FNT EPR SLH LTB TNE TEQ TFI TFR TFE FNE FEQ FNN FNQ EPT EPS CML 
Results for: THF TFA FOF FNT EPR SLH LTB TNE TEQ TFI TFR TFE FNE FEQ FNN FNQ EPT EPS CML 
Results for: THF TFA FOF FNT EPR SLH LTB TNE TEQ TFI TFR TFE FNE FEQ FNN FNQ EPT EPS CML