detailed results (7457 total)

prover file res expected time
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl914.smt2 (content) unsat unknown 0.189s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl913.smt2 (content) unsat unknown 0.034s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl912.smt2 (content) unsat unknown 0.103s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl911.smt2 (content) unsat unknown 0.060s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl910.smt2 (content) unsat unknown 0.045s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl909.smt2 (content) unsat unknown 0.101s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl908.smt2 (content) unsat unknown 0.045s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl907.smt2 (content) unsat unknown 0.207s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl906.smt2 (content) unsat unknown 0.221s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl905.smt2 (content) unsat unknown 0.058s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl904.smt2 (content) unsat unknown 0.145s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl903.smt2 (content) unsat unknown 0.116s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl902.smt2 (content) unsat unknown 0.078s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl901.smt2 (content) unsat unknown 0.117s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl900.smt2 (content) unsat unknown 0.074s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl899.smt2 (content) unsat unknown 0.062s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl898.smt2 (content) unsat unknown 0.060s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl897.smt2 (content) unsat unknown 0.117s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl896.smt2 (content) unsat unknown 0.096s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl895.smt2 (content) unsat unknown 0.150s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl894.smt2 (content) unsat unknown 0.094s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl893.smt2 (content) unsat unknown 0.167s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl892.smt2 (content) unsat unknown 0.043s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl891.smt2 (content) unsat unknown 0.037s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl890.smt2 (content) unsat unknown 0.081s