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