detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413396/iso_icl458.smt2 (content) unsat unsat 0.112s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413396/iso_icl458.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413395/iso_icl457.smt2 (content) unsat unsat 0.134s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413395/iso_icl457.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413394/iso_icl456.smt2 (content) unsat unsat 0.138s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413394/iso_icl456.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413393/iso_icl455.smt2 (content) unsat unsat 0.108s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413393/iso_icl455.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413392/iso_icl454.smt2 (content) unsat unsat 0.087s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413392/iso_icl454.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413391/iso_icl453.smt2 (content) unsat unsat 0.137s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413391/iso_icl453.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413390/iso_icl452.smt2 (content) unsat unsat 0.132s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413390/iso_icl452.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413389/iso_icl451.smt2 (content) unsat unsat 0.157s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413389/iso_icl451.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413388/iso_icl450.smt2 (content) unsat unsat 0.170s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413388/iso_icl450.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413387/iso_icl449.smt2 (content) unsat unsat 0.102s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413387/iso_icl449.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413386/iso_icl448.smt2 (content) unsat unsat 0.098s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413386/iso_icl448.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413385/iso_icl447.smt2 (content) unsat unsat 0.093s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413385/iso_icl447.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413384/iso_icl446.smt2 (content) unsat unsat 0.100s