detailed results (6058 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn997.smt2 (content) sat unknown 0.136s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn997.smt2 (content) sat unknown 0.138s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn995.smt2 (content) sat unknown 0.102s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn995.smt2 (content) sat unknown 0.100s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn994.smt2 (content) sat unknown 0.122s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn994.smt2 (content) sat unknown 0.118s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn993.smt2 (content) sat unknown 0.116s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn993.smt2 (content) sat unknown 0.119s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn991.smt2 (content) sat unknown 0.115s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn991.smt2 (content) sat unknown 0.116s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn990.smt2 (content) sat unknown 0.093s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn990.smt2 (content) sat unknown 0.094s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn989.smt2 (content) sat unknown 0.106s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn989.smt2 (content) sat unknown 0.107s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn986.smt2 (content) sat unknown 0.062s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn986.smt2 (content) sat unknown 0.060s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn982.smt2 (content) sat unknown 0.094s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn982.smt2 (content) sat unknown 0.094s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn981.smt2 (content) sat unknown 0.072s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn981.smt2 (content) sat unknown 0.073s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn980.smt2 (content) sat unknown 0.099s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn980.smt2 (content) sat unknown 0.100s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn979.smt2 (content) sat unknown 0.053s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn979.smt2 (content) sat unknown 0.047s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn978.smt2 (content) sat unknown 0.042s