detailed results (9583 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411935/iso_brn280.smt2 (content) unsat unsat 0.081s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411934/iso_brn279.smt2 (content) sat sat 0.080s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411933/iso_brn278.smt2 (content) sat sat 0.064s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411932/iso_brn277.smt2 (content) sat sat 0.060s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411931/iso_brn276.smt2 (content) sat sat 0.069s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411930/iso_brn275.smt2 (content) sat sat 0.094s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411929/iso_brn274.smt2 (content) sat sat 0.055s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411928/iso_brn273.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411927/iso_brn272.smt2 (content) sat sat 0.074s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411926/iso_brn271.smt2 (content) sat sat 0.061s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411925/iso_brn270.smt2 (content) sat sat 0.074s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411924/iso_brn269.smt2 (content) unsat unsat 0.053s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411923/iso_brn268.smt2 (content) sat sat 0.102s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411922/iso_brn267.smt2 (content) sat sat 0.081s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411921/iso_brn266.smt2 (content) unsat unsat 0.072s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411920/iso_brn265.smt2 (content) sat sat 0.081s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411919/iso_brn264.smt2 (content) sat sat 0.068s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411918/iso_brn263.smt2 (content) sat sat 0.076s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411917/iso_brn262.smt2 (content) sat sat 0.073s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411916/iso_brn261.smt2 (content) sat sat 0.087s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411915/iso_brn260.smt2 (content) sat sat 0.094s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411914/iso_brn259.smt2 (content) sat sat 0.070s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411913/iso_brn258.smt2 (content) unsat unsat 0.124s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411912/iso_brn257.smt2 (content) unsat unsat 0.122s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411911/iso_brn256.smt2 (content) sat sat 0.123s