detailed results (7772 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn903.smt2 (content) unsat unknown 0.380s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn903.smt2 (content) unsat unknown 0.383s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn900.smt2 (content) unsat unknown 1.0s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn900.smt2 (content) unsat unknown 1.0s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn878.smt2 (content) unsat unknown 2.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn878.smt2 (content) unsat unknown 2.2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn876.smt2 (content) unsat unknown 1.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn876.smt2 (content) unsat unknown 1.7s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn875.smt2 (content) unsat unknown 2.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn875.smt2 (content) unsat unknown 2.4s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn868.smt2 (content) unsat unknown 0.330s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn868.smt2 (content) unsat unknown 0.332s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn863.smt2 (content) unsat unknown 5.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn863.smt2 (content) unsat unknown 5.2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn849.smt2 (content) unsat unknown 0.650s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn849.smt2 (content) unsat unknown 0.630s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn836.smt2 (content) unsat unknown 0.322s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn836.smt2 (content) unsat unknown 0.321s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn834.smt2 (content) unsat unknown 1.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn834.smt2 (content) unsat unknown 1.3s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn827.smt2 (content) unsat unknown 0.819s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn827.smt2 (content) unsat unknown 0.881s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn825.smt2 (content) unsat unknown 0.099s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn825.smt2 (content) unsat unknown 0.095s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn824.smt2 (content) unsat unknown 0.140s