detailed results (3887 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl699.smt2 (content) unsat unknown 0.077s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl698.smt2 (content) unsat unknown 0.142s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl697.smt2 (content) unsat unknown 0.090s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl696.smt2 (content) unsat unknown 0.086s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl695.smt2 (content) unsat unknown 0.091s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl694.smt2 (content) unsat unknown 0.256s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl693.smt2 (content) unsat unknown 0.074s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl692.smt2 (content) unsat unknown 0.091s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl691.smt2 (content) unsat unknown 0.215s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl690.smt2 (content) unsat unknown 0.421s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl689.smt2 (content) unsat unknown 0.108s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl688.smt2 (content) unsat unknown 0.065s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl687.smt2 (content) unsat unknown 0.175s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl686.smt2 (content) unsat unknown 0.130s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl685.smt2 (content) unsat unknown 0.070s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl684.smt2 (content) unsat unknown 0.088s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl683.smt2 (content) unsat unknown 0.172s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl682.smt2 (content) unsat unknown 0.176s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl681.smt2 (content) unsat unknown 0.098s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl680.smt2 (content) unsat unknown 0.136s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl679.smt2 (content) unsat unknown 0.215s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl678.smt2 (content) unsat unknown 0.098s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl677.smt2 (content) unsat unknown 0.064s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl676.smt2 (content) unsat unknown 0.065s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl675.smt2 (content) unsat unknown 0.092s