detailed results (3887 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl374.smt2 (content) unsat unknown 0.201s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl373.smt2 (content) unsat unknown 0.100s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl372.smt2 (content) unsat unknown 0.109s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl371.smt2 (content) unsat unknown 0.124s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl370.smt2 (content) unsat unknown 0.046s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl369.smt2 (content) unsat unknown 0.073s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl368.smt2 (content) unsat unknown 0.075s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl367.smt2 (content) unsat unknown 0.115s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl366.smt2 (content) unsat unknown 0.114s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl365.smt2 (content) unsat unknown 0.129s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl364.smt2 (content) unsat unknown 0.075s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl363.smt2 (content) unsat unknown 0.446s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl362.smt2 (content) unsat unknown 0.141s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl361.smt2 (content) unsat unknown 0.057s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl360.smt2 (content) unsat unknown 0.068s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl359.smt2 (content) unsat unknown 0.081s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl358.smt2 (content) unsat unknown 0.071s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl357.smt2 (content) unsat unknown 0.043s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl356.smt2 (content) unsat unknown 0.035s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl355.smt2 (content) unsat unknown 0.079s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl354.smt2 (content) unsat unknown 0.070s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl353.smt2 (content) unsat unknown 0.087s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl352.smt2 (content) unsat unknown 0.194s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl351.smt2 (content) unsat unknown 0.103s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl350.smt2 (content) unsat unknown 0.135s