Instance | Solver | Result | Time | |
---|---|---|---|---|
fpu-10Xh-error01-nonuniform-depth-10 | Rareqs_2018 | UNSAT | 0.9 | |
fpu-10Xh-error01-nonuniform-depth-15 | ijtihad | UNSAT | 1.37 | |
fpu-10Xh-error01-nonuniform-depth-20 | ijtihad | UNSAT | 1.79 | |
fpu-10Xh-error01-nonuniform-depth-25 | Caqe-bloqqer | UNSAT | 2.29 | |
fpu-10Xh-error01-nonuniform-depth-5 | Rareqs_2018 | UNSAT | 0 | |
fpu-10Xh-error01-uniform-depth-10 | Heretiq-simple | UNSAT | 0.9 | |
fpu-10Xh-error01-uniform-depth-15 | Rareqs_2018 | UNSAT | 1.37 | |
fpu-10Xh-error01-uniform-depth-20 | Rareqs_2018 | UNSAT | 1.81 | |
fpu-10Xh-error01-uniform-depth-25 | Heretiq-cube | UNSAT | 2.2 | |
fpu-10Xh-error01-uniform-depth-4 | Rareqs_2018 | UNSAT | 0 |