detailed results (7457 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk025.smt2 (content) unsat unknown 0.132s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk024.smt2 (content) sat unknown 0.164s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk023.smt2 (content) unsat unknown 0.264s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk022.smt2 (content) unsat unknown 0.170s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk021.smt2 (content) unsat unknown 0.229s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk020.smt2 (content) unsat unknown 0.179s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk019.smt2 (content) sat unknown 0.210s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk018.smt2 (content) unsat unknown 0.842s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk017.smt2 (content) sat unknown 0.289s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk016.smt2 (content) sat unknown 0.280s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk015.smt2 (content) unsat unknown 0.427s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk014.smt2 (content) sat unknown 0.236s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk013.smt2 (content) unsat unknown 0.436s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk012.smt2 (content) unsat unknown 0.392s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk011.smt2 (content) sat unknown 0.293s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk010.smt2 (content) sat unknown 0.184s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk009.smt2 (content) sat unknown 0.232s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk008.smt2 (content) sat unknown 0.166s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk007.smt2 (content) sat unknown 0.144s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk006.smt2 (content) sat unknown 0.103s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk005.smt2 (content) unsat unknown 0.107s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk004.smt2 (content) unsat unknown 0.166s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk003.smt2 (content) unsat unknown 0.165s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk002.smt2 (content) sat unknown 0.122s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk001.smt2 (content) sat unknown 0.123s