detailed results (7772 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl138.smt2 (content) unsat unknown 8.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl138.smt2 (content) unsat unknown 8.7s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl137.smt2 (content) unsat unknown 5.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl137.smt2 (content) unsat unknown 5.8s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl136.smt2 (content) unsat unknown 5.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl136.smt2 (content) unsat unknown 5.6s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl135.smt2 (content) unsat unknown 3.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl135.smt2 (content) unsat unknown 3.2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl134.smt2 (content) unsat unknown 3.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl134.smt2 (content) unsat unknown 3.3s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl133.smt2 (content) unsat unknown 2.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl133.smt2 (content) unsat unknown 2.8s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl132.smt2 (content) unsat unknown 1.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl132.smt2 (content) unsat unknown 1.5s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl130.smt2 (content) unsat unknown 0.683s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl130.smt2 (content) unsat unknown 0.695s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl129.smt2 (content) unsat unknown 4.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl129.smt2 (content) unsat unknown 4.8s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1283.smt2 (content) unsat unknown 0.905s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1283.smt2 (content) unsat unknown 0.906s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1282.smt2 (content) unsat unknown 1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1282.smt2 (content) unsat unknown 1.1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1281.smt2 (content) unsat unknown 0.644s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1281.smt2 (content) unsat unknown 0.644s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1280.smt2 (content) unsat unknown 0.295s