detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410084/gensys_icl040.smt2 (content) unsat unsat 0.088s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410083/gensys_icl039.smt2 (content) unsat unsat 0.361s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410083/gensys_icl039.smt2 (content) unsat unsat 0.077s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410082/gensys_icl038.smt2 (content) unsat unsat 2.0s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410082/gensys_icl038.smt2 (content) unsat unsat 0.180s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410081/gensys_icl037.smt2 (content) unsat unsat 1s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410081/gensys_icl037.smt2 (content) unsat unsat 0.118s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410080/gensys_icl036.smt2 (content) unsat unsat 0.107s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410080/gensys_icl036.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410079/gensys_icl035.smt2 (content) unsat unsat 0.188s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410079/gensys_icl035.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410078/gensys_icl034.smt2 (content) unsat unsat 0.192s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410078/gensys_icl034.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410077/gensys_icl033.smt2 (content) unsat unsat 0.596s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410077/gensys_icl033.smt2 (content) unsat unsat 0.066s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410076/gensys_icl032.smt2 (content) unsat unsat 0.190s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410076/gensys_icl032.smt2 (content) unsat unsat 0.056s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410075/gensys_icl031.smt2 (content) unsat unsat 0.144s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410075/gensys_icl031.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410074/gensys_icl030.smt2 (content) unsat unsat 0.544s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410074/gensys_icl030.smt2 (content) unsat unsat 0.117s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410073/gensys_icl029.smt2 (content) unsat unsat 0.823s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410073/gensys_icl029.smt2 (content) unsat unsat 0.184s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410072/gensys_icl028.smt2 (content) unsat unsat 0.370s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410072/gensys_icl028.smt2 (content) unsat unsat 0.070s