detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413621/iso_icl683.smt2 (content) unsat unsat 0.231s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413621/iso_icl683.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413620/iso_icl682.smt2 (content) unsat unsat 0.261s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413620/iso_icl682.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413619/iso_icl681.smt2 (content) unsat unsat 0.153s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413619/iso_icl681.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413618/iso_icl680.smt2 (content) unsat unsat 0.201s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413618/iso_icl680.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413617/iso_icl679.smt2 (content) unsat unsat 0.168s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413617/iso_icl679.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413616/iso_icl678.smt2 (content) unsat unsat 0.124s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413616/iso_icl678.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413615/iso_icl677.smt2 (content) unsat unsat 0.097s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413615/iso_icl677.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413614/iso_icl676.smt2 (content) unsat unsat 0.107s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413614/iso_icl676.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413613/iso_icl675.smt2 (content) unsat unsat 0.212s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413613/iso_icl675.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413612/iso_icl674.smt2 (content) unsat unsat 0.224s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413612/iso_icl674.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413611/iso_icl673.smt2 (content) unsat unsat 0.178s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413611/iso_icl673.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413610/iso_icl672.smt2 (content) unsat unsat 0.153s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413610/iso_icl672.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413609/iso_icl671.smt2 (content) unsat unsat 0.083s