detailed results (4328 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1201.smt2 (content) unsat unsat 0.153s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1200.smt2 (content) unsat unsat 0.125s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl120.smt2 (content) unsat unsat 0.228s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1199.smt2 (content) unsat unsat 0.082s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1198.smt2 (content) unsat unsat 0.142s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1197.smt2 (content) unsat unsat 0.177s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1196.smt2 (content) unsat unsat 0.113s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1195.smt2 (content) unsat unsat 0.089s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1194.smt2 (content) unsat unsat 0.167s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1193.smt2 (content) unsat unsat 0.131s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1192.smt2 (content) unsat unsat 0.156s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1191.smt2 (content) unsat unsat 0.105s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1190.smt2 (content) unsat unsat 0.031s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl119.smt2 (content) unsat unsat 0.249s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1189.smt2 (content) unsat unsat 0.037s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1188.smt2 (content) unsat unsat 0.112s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1187.smt2 (content) unsat unsat 0.116s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1186.smt2 (content) unsat unsat 0.473s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1185.smt2 (content) unsat unsat 0.624s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1184.smt2 (content) unsat unsat 0.073s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1183.smt2 (content) unsat unsat 0.087s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1182.smt2 (content) unsat unsat 0.089s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1181.smt2 (content) unsat unsat 0.098s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1180.smt2 (content) unsat unsat 0.149s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl118.smt2 (content) unsat unsat 0.181s