detailed results (7457 total)

prover file res expected time
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl714.smt2 (content) unsat unknown 0.072s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl713.smt2 (content) unsat unknown 0.085s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl712.smt2 (content) unsat unknown 0.064s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl711.smt2 (content) unsat unknown 0.107s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl710.smt2 (content) unsat unknown 0.094s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl709.smt2 (content) unsat unknown 0.072s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl708.smt2 (content) unsat unknown 0.121s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl707.smt2 (content) unsat unknown 0.140s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl706.smt2 (content) unsat unknown 0.204s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl705.smt2 (content) unsat unknown 0.132s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl704.smt2 (content) unsat unknown 0.186s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl703.smt2 (content) unsat unknown 0.125s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl702.smt2 (content) unsat unknown 0.120s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl701.smt2 (content) unsat unknown 0.176s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl700.smt2 (content) unsat unknown 0.145s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl699.smt2 (content) unsat unknown 0.096s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl698.smt2 (content) unsat unknown 0.127s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl697.smt2 (content) unsat unknown 0.084s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl696.smt2 (content) unsat unknown 0.105s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl695.smt2 (content) unsat unknown 0.085s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl694.smt2 (content) unsat unknown 0.137s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl693.smt2 (content) unsat unknown 0.070s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl692.smt2 (content) unsat unknown 0.040s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl691.smt2 (content) unsat unknown 0.073s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl690.smt2 (content) unsat unknown 0.095s