detailed results (29828 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl539.smt2 (content) unsat unknown 0.019s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl538.smt2 (content) unsat unknown 0.241s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl538.smt2 (content) unsat unknown 0.237s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl538.smt2 (content) unsat unknown 0.245s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl538.smt2 (content) unsat unknown 0.021s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl537.smt2 (content) unsat unknown 0.257s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl537.smt2 (content) unsat unknown 0.233s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl537.smt2 (content) unsat unknown 0.226s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl537.smt2 (content) unsat unknown 0.022s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl536.smt2 (content) unsat unknown 0.202s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl536.smt2 (content) unsat unknown 0.128s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl536.smt2 (content) unsat unknown 0.127s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl536.smt2 (content) unsat unknown 0.017s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl535.smt2 (content) unsat unknown 0.205s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl535.smt2 (content) unsat unknown 0.128s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl535.smt2 (content) unsat unknown 0.125s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl535.smt2 (content) unsat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl534.smt2 (content) unsat unknown 0.268s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl534.smt2 (content) unsat unknown 0.200s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl534.smt2 (content) unsat unknown 0.201s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl534.smt2 (content) unsat unknown 0.023s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl533.smt2 (content) unsat unknown 0.248s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl533.smt2 (content) unsat unknown 0.171s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl533.smt2 (content) unsat unknown 0.166s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl533.smt2 (content) unsat unknown 0.020s