detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411071/gensys_icl743.smt2 (content) unsat unsat 1.6s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411071/gensys_icl743.smt2 (content) unsat unsat 0.145s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411070/gensys_icl742.smt2 (content) unsat unsat 0.898s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411070/gensys_icl742.smt2 (content) unsat unsat 0.108s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411069/gensys_icl741.smt2 (content) unsat unsat 1.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411069/gensys_icl741.smt2 (content) unsat unsat 0.110s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411068/gensys_icl740.smt2 (content) unsat unsat 1.0s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411068/gensys_icl740.smt2 (content) unsat unsat 0.203s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411067/gensys_icl739.smt2 (content) unsat unsat 1.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411067/gensys_icl739.smt2 (content) unsat unsat 0.143s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411066/gensys_icl738.smt2 (content) unsat unsat 1.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411066/gensys_icl738.smt2 (content) unsat unsat 0.112s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411065/gensys_icl737.smt2 (content) unsat unsat 8.8s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411065/gensys_icl737.smt2 (content) unsat unsat 0.595s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411064/gensys_icl736.smt2 (content) unsat unsat 5.5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411064/gensys_icl736.smt2 (content) unsat unsat 0.579s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411063/gensys_icl735.smt2 (content) unsat unsat 1.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411063/gensys_icl735.smt2 (content) unsat unsat 0.227s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411062/gensys_icl734.smt2 (content) unsat unsat 3.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411062/gensys_icl734.smt2 (content) unsat unsat 0.213s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411061/gensys_icl733.smt2 (content) unsat unsat 10s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411061/gensys_icl733.smt2 (content) unsat unsat 0.177s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411060/gensys_icl732.smt2 (content) unsat unsat 0.850s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411060/gensys_icl732.smt2 (content) unsat unsat 0.101s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411059/gensys_icl731.smt2 (content) unsat unsat 7.1s