detailed results (7457 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl489.smt2 (content) unsat unknown 0.126s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl488.smt2 (content) unsat unknown 0.057s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl487.smt2 (content) unsat unknown 0.043s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl486.smt2 (content) unsat unknown 0.075s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl485.smt2 (content) unsat unknown 0.060s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl484.smt2 (content) unsat unknown 0.051s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl483.smt2 (content) unsat unknown 0.072s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl482.smt2 (content) unsat unknown 0.092s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl481.smt2 (content) unsat unknown 0.069s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl480.smt2 (content) unsat unknown 0.068s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl479.smt2 (content) unsat unknown 0.037s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl478.smt2 (content) unsat unknown 0.059s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl477.smt2 (content) unsat unknown 0.064s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl476.smt2 (content) unsat unknown 0.101s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl475.smt2 (content) unsat unknown 0.064s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl474.smt2 (content) unsat unknown 0.060s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl473.smt2 (content) unsat unknown 0.043s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl472.smt2 (content) unsat unknown 0.052s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl471.smt2 (content) unsat unknown 0.039s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl470.smt2 (content) unsat unknown 0.039s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl469.smt2 (content) unsat unknown 0.081s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl468.smt2 (content) unsat unknown 0.051s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl467.smt2 (content) unsat unknown 0.038s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl466.smt2 (content) unsat unknown 0.053s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl465.smt2 (content) unsat unknown 0.033s