detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl224.smt2 (content) unsat unknown 0.146s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl223.smt2 (content) unsat unknown 0.183s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl223.smt2 (content) unsat unknown 0.181s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl222.smt2 (content) unsat unknown 0.445s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl222.smt2 (content) unsat unknown 0.438s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl221.smt2 (content) unsat unknown 0.515s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl221.smt2 (content) unsat unknown 0.518s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl220.smt2 (content) unsat unknown 0.077s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl220.smt2 (content) unsat unknown 0.078s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl219.smt2 (content) unsat unknown 0.663s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl219.smt2 (content) unsat unknown 0.664s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl218.smt2 (content) unsat unknown 0.878s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl218.smt2 (content) unsat unknown 0.870s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl217.smt2 (content) unsat unknown 0.910s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl217.smt2 (content) unsat unknown 0.899s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl216.smt2 (content) unsat unknown 0.184s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl216.smt2 (content) unsat unknown 0.185s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl215.smt2 (content) unsat unknown 0.533s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl215.smt2 (content) unsat unknown 0.530s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl214.smt2 (content) unsat unknown 0.398s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl214.smt2 (content) unsat unknown 0.401s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl213.smt2 (content) unsat unknown 0.414s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl213.smt2 (content) unsat unknown 0.411s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl212.smt2 (content) unsat unknown 0.146s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl212.smt2 (content) unsat unknown 0.145s