detailed results (7772 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl571.smt2 (content) unsat unknown 0.211s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl570.smt2 (content) unsat unknown 0.272s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl570.smt2 (content) unsat unknown 0.280s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl569.smt2 (content) unsat unknown 0.148s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl569.smt2 (content) unsat unknown 0.148s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl568.smt2 (content) unsat unknown 0.144s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl568.smt2 (content) unsat unknown 0.142s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl567.smt2 (content) unsat unknown 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl567.smt2 (content) unsat unknown 0.040s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl566.smt2 (content) unsat unknown 0.095s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl566.smt2 (content) unsat unknown 0.094s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl565.smt2 (content) unsat unknown 0.140s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl565.smt2 (content) unsat unknown 0.135s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl564.smt2 (content) unsat unknown 0.084s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl564.smt2 (content) unsat unknown 0.070s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl563.smt2 (content) unsat unknown 0.117s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl563.smt2 (content) unsat unknown 0.114s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl562.smt2 (content) unsat unknown 0.096s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl562.smt2 (content) unsat unknown 0.096s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl561.smt2 (content) unsat unknown 0.228s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl561.smt2 (content) unsat unknown 0.226s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl560.smt2 (content) unsat unknown 0.129s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl560.smt2 (content) unsat unknown 0.140s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl559.smt2 (content) unsat unknown 0.151s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl559.smt2 (content) unsat unknown 0.152s