detailed results (7772 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl296.smt2 (content) unsat unknown 0.096s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl295.smt2 (content) unsat unknown 0.128s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl295.smt2 (content) unsat unknown 0.128s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl294.smt2 (content) unsat unknown 0.101s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl294.smt2 (content) unsat unknown 0.100s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl293.smt2 (content) unsat unknown 0.133s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl293.smt2 (content) unsat unknown 0.133s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl292.smt2 (content) unsat unknown 0.151s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl292.smt2 (content) unsat unknown 0.145s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl291.smt2 (content) unsat unknown 0.067s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl291.smt2 (content) unsat unknown 0.065s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl290.smt2 (content) unsat unknown 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl290.smt2 (content) unsat unknown 0.047s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl289.smt2 (content) unsat unknown 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl289.smt2 (content) unsat unknown 0.048s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl288.smt2 (content) unsat unknown 0.071s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl288.smt2 (content) unsat unknown 0.070s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl287.smt2 (content) unsat unknown 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl287.smt2 (content) unsat unknown 0.049s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl286.smt2 (content) unsat unknown 0.046s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl286.smt2 (content) unsat unknown 0.049s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl285.smt2 (content) unsat unknown 0.036s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl285.smt2 (content) unsat unknown 0.036s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl284.smt2 (content) unsat unknown 0.039s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl284.smt2 (content) unsat unknown 0.039s