detailed results (7772 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1120.smt2 (content) unsat unknown 0.974s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl112.smt2 (content) unsat unknown 2.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl112.smt2 (content) unsat unknown 2.8s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1119.smt2 (content) unsat unknown 2.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1119.smt2 (content) unsat unknown 2.4s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1118.smt2 (content) unsat unknown 0.394s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1118.smt2 (content) unsat unknown 0.400s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1117.smt2 (content) unsat unknown 0.301s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1117.smt2 (content) unsat unknown 0.299s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1116.smt2 (content) unsat unknown 0.424s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1116.smt2 (content) unsat unknown 0.423s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1115.smt2 (content) unsat unknown 0.911s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1115.smt2 (content) unsat unknown 0.886s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1114.smt2 (content) unsat unknown 1.1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1114.smt2 (content) unsat unknown 1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1113.smt2 (content) unsat unknown 1.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1113.smt2 (content) unsat unknown 1.9s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1112.smt2 (content) unsat unknown 2.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1112.smt2 (content) unsat unknown 2.6s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1111.smt2 (content) unsat unknown 0.868s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1111.smt2 (content) unsat unknown 0.869s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1110.smt2 (content) unsat unknown 0.922s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1110.smt2 (content) unsat unknown 0.905s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl111.smt2 (content) unsat unknown 6.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl111.smt2 (content) unsat unknown 6.1s