detailed results (7457 total)

prover file res expected time
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl689.smt2 (content) unsat unknown 0.072s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl688.smt2 (content) unsat unknown 0.087s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl687.smt2 (content) unsat unknown 0.104s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl686.smt2 (content) unsat unknown 0.039s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl685.smt2 (content) unsat unknown 0.066s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl684.smt2 (content) unsat unknown 0.067s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl683.smt2 (content) unsat unknown 0.165s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl682.smt2 (content) unsat unknown 0.171s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl681.smt2 (content) unsat unknown 0.129s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl680.smt2 (content) unsat unknown 0.132s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl679.smt2 (content) unsat unknown 0.125s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl678.smt2 (content) unsat unknown 0.107s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl677.smt2 (content) unsat unknown 0.071s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl676.smt2 (content) unsat unknown 0.046s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl675.smt2 (content) unsat unknown 0.138s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl674.smt2 (content) unsat unknown 0.143s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl673.smt2 (content) unsat unknown 0.095s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl672.smt2 (content) unsat unknown 0.104s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl671.smt2 (content) unsat unknown 0.074s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl670.smt2 (content) unsat unknown 0.099s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl669.smt2 (content) unsat unknown 0.103s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl668.smt2 (content) unsat unknown 0.097s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl667.smt2 (content) unsat unknown 0.148s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl666.smt2 (content) unsat unknown 0.135s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl665.smt2 (content) unsat unknown 0.171s