detailed results (3887 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn317.smt2 (content) unsat unknown 0.070s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn316.smt2 (content) unsat unknown 0.496s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn315.smt2 (content) unsat unknown 0.135s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn314.smt2 (content) unsat unknown 0.099s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn313.smt2 (content) unsat unknown 0.107s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn309.smt2 (content) unsat unknown 0.172s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn307.smt2 (content) unsat unknown 0.117s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn305.smt2 (content) unsat unknown 0.405s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn292.smt2 (content) unsat unknown 0.063s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn290.smt2 (content) unsat unknown 0.147s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn287.smt2 (content) unsat unknown 0.056s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn285.smt2 (content) unsat unknown 0.030s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn282.smt2 (content) unsat unknown 0.085s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn281.smt2 (content) unsat unknown 0.126s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn280.smt2 (content) unsat unknown 0.049s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn269.smt2 (content) unsat unknown 0.031s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn266.smt2 (content) unsat unknown 0.088s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn258.smt2 (content) unsat unknown 0.096s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn257.smt2 (content) unsat unknown 0.210s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn252.smt2 (content) unsat unknown 0.064s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn246.smt2 (content) unsat unknown 0.073s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn245.smt2 (content) unsat unknown 0.050s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn240.smt2 (content) unsat unknown 0.038s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn239.smt2 (content) unsat unknown 0.074s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn237.smt2 (content) unsat unknown 0.150s