detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410459/gensys_icl131.smt2 (content) unsat unsat 0.724s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410458/gensys_icl130.smt2 (content) unsat unsat 0.949s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410458/gensys_icl130.smt2 (content) unsat unsat 0.143s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410457/gensys_icl129.smt2 (content) unsat unsat 5.0s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410457/gensys_icl129.smt2 (content) unsat unsat 0.541s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410456/gensys_icl1283.smt2 (content) unsat unsat 1.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410456/gensys_icl1283.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410455/gensys_icl1282.smt2 (content) unsat unsat 1.5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410455/gensys_icl1282.smt2 (content) unsat unsat 0.112s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410454/gensys_icl1281.smt2 (content) unsat unsat 0.852s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410454/gensys_icl1281.smt2 (content) unsat unsat 0.132s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410453/gensys_icl1280.smt2 (content) unsat unsat 0.417s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410453/gensys_icl1280.smt2 (content) unsat unsat 0.135s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410452/gensys_icl128.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410452/gensys_icl128.smt2 (content) unsat unsat 0.890s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410451/gensys_icl1279.smt2 (content) unsat unsat 1.6s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410451/gensys_icl1279.smt2 (content) unsat unsat 0.254s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410450/gensys_icl1278.smt2 (content) unsat unsat 1.8s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410450/gensys_icl1278.smt2 (content) unsat unsat 0.177s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410449/gensys_icl1277.smt2 (content) unsat unsat 0.824s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410449/gensys_icl1277.smt2 (content) unsat unsat 0.184s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410448/gensys_icl1276.smt2 (content) unsat unsat 1.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410448/gensys_icl1276.smt2 (content) unsat unsat 0.216s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410447/gensys_icl1275.smt2 (content) unsat unsat 2.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410447/gensys_icl1275.smt2 (content) unsat unsat 0.078s