detailed results (6058 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn009.smt2 (content) sat unknown 0.148s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn008.smt2 (content) sat unknown 0.384s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn008.smt2 (content) sat unknown 0.394s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn007.smt2 (content) sat unknown 0.223s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn007.smt2 (content) sat unknown 0.224s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn006.smt2 (content) sat unknown 0.684s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn006.smt2 (content) sat unknown 0.678s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn005.smt2 (content) sat unknown 0.115s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn005.smt2 (content) sat unknown 0.115s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn004.smt2 (content) sat unknown 0.219s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn004.smt2 (content) sat unknown 0.214s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn003.smt2 (content) sat unknown 0.146s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn003.smt2 (content) sat unknown 0.146s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn002.smt2 (content) sat unknown 0.237s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn002.smt2 (content) sat unknown 0.228s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn001.smt2 (content) sat unknown 0.225s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn001.smt2 (content) sat unknown 0.215s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn_sk016.smt2 (content) sat unknown 0.181s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn_sk016.smt2 (content) sat unknown 0.180s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn_sk015.smt2 (content) sat unknown 0.169s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn_sk015.smt2 (content) sat unknown 0.168s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn_sk014.smt2 (content) sat unknown 0.202s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn_sk014.smt2 (content) sat unknown 0.202s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn_sk013.smt2 (content) sat unknown 0.237s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn_sk013.smt2 (content) sat unknown 0.241s