detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl801.smt2 (content) unsat unsat 0.510s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl801.smt2 (content) unsat unsat 0.053s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl800.smt2 (content) unsat unsat 0.577s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl800.smt2 (content) unsat unsat 0.055s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl799.smt2 (content) unsat unsat 0.249s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl799.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl798.smt2 (content) unsat unsat 0.222s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl798.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl797.smt2 (content) unsat unsat 0.207s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl797.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl796.smt2 (content) unsat unsat 0.136s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl796.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl795.smt2 (content) unsat unsat 0.435s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl795.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl794.smt2 (content) unsat unsat 0.383s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl794.smt2 (content) unsat unsat 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl793.smt2 (content) unsat unsat 0.130s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl793.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl792.smt2 (content) unsat unsat 0.218s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl792.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl791.smt2 (content) unsat unsat 0.181s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl791.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl790.smt2 (content) unsat unsat 0.123s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl790.smt2 (content) unsat unsat 0.061s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl789.smt2 (content) unsat unsat 0.076s