detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl801.smt2 (content) unsat unsat 0.348s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl801.smt2 (content) unsat unsat 0.055s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl800.smt2 (content) unsat unsat 0.401s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl800.smt2 (content) unsat unsat 0.066s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl799.smt2 (content) unsat unsat 0.298s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl799.smt2 (content) unsat unsat 0.057s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl798.smt2 (content) unsat unsat 0.168s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl798.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl797.smt2 (content) unsat unsat 0.108s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl797.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl796.smt2 (content) unsat unsat 0.132s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl796.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl795.smt2 (content) unsat unsat 0.217s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl795.smt2 (content) unsat unsat 0.046s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl794.smt2 (content) unsat unsat 0.423s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl794.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl793.smt2 (content) unsat unsat 0.125s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl793.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl792.smt2 (content) unsat unsat 0.116s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl792.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl791.smt2 (content) unsat unsat 0.180s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl791.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl790.smt2 (content) unsat unsat 0.053s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl790.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl789.smt2 (content) unsat unsat 0.068s