detailed results (28749 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410126/gensys_icl082.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410126/gensys_icl082.smt2 (content) unsat unsat 5.9s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410126/gensys_icl082.smt2 (content) unsat unsat 0.720s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410125/gensys_icl081.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410125/gensys_icl081.smt2 (content) unsat unsat 5.6s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410125/gensys_icl081.smt2 (content) unsat unsat 0.677s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410124/gensys_icl080.smt2 (content) unsat unsat 4.0s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410124/gensys_icl080.smt2 (content) unsat unsat 2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410124/gensys_icl080.smt2 (content) unsat unsat 0.411s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410123/gensys_icl079.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410123/gensys_icl079.smt2 (content) unsat unsat 3.9s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410123/gensys_icl079.smt2 (content) unsat unsat 0.524s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410122/gensys_icl078.smt2 (content) unsat unsat 4.9s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410122/gensys_icl078.smt2 (content) unsat unsat 1.4s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410122/gensys_icl078.smt2 (content) unsat unsat 0.159s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410121/gensys_icl077.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410121/gensys_icl077.smt2 (content) unsat unsat 2.0s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410121/gensys_icl077.smt2 (content) unsat unsat 0.426s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410120/gensys_icl076.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410120/gensys_icl076.smt2 (content) unsat unsat 4.5s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410120/gensys_icl076.smt2 (content) unsat unsat 0.713s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410119/gensys_icl075.smt2 (content) unsat unsat 4.6s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410119/gensys_icl075.smt2 (content) unsat unsat 1.6s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410119/gensys_icl075.smt2 (content) unsat unsat 0.199s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410118/gensys_icl074.smt2 (content) timeout unsat 10s