detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl005.smt2 (content) unsat unknown 0.282s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl005.smt2 (content) unsat unknown 0.060s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl004.smt2 (content) unsat unknown 3.0s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl004.smt2 (content) unsat unknown 0.542s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl004.smt2 (content) unsat unknown 0.565s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl004.smt2 (content) unsat unknown 0.092s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl003.smt2 (content) unsat unknown 4.7s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl003.smt2 (content) unsat unknown 0.582s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl003.smt2 (content) unsat unknown 0.586s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl003.smt2 (content) unsat unknown 0.081s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl002.smt2 (content) unsat unknown 0.334s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl002.smt2 (content) unsat unknown 0.146s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl002.smt2 (content) unsat unknown 0.144s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl002.smt2 (content) unsat unknown 0.021s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl001.smt2 (content) unsat unknown 2.3s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl001.smt2 (content) unsat unknown 0.287s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl001.smt2 (content) unsat unknown 0.288s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl001.smt2 (content) unsat unknown 0.031s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_sk017.smt2 (content) sat unknown 2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_sk017.smt2 (content) sat unknown 0.121s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_sk017.smt2 (content) sat unknown 0.125s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_sk017.smt2 (content) sat unknown 0.039s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_sk016.smt2 (content) unsat unknown 1.3s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_sk016.smt2 (content) unsat unknown 0.095s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_sk016.smt2 (content) unsat unknown 0.097s