detailed results (4326 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl109.smt2 (content) unsat unsat 0.430s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1089.smt2 (content) unsat unsat 0.082s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1088.smt2 (content) unsat unsat 0.102s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1087.smt2 (content) unsat unsat 0.090s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1086.smt2 (content) unsat unsat 0.063s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1085.smt2 (content) unsat unsat 0.294s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1084.smt2 (content) unsat unsat 0.383s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1083.smt2 (content) unsat unsat 0.296s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1082.smt2 (content) unsat unsat 0.350s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1081.smt2 (content) unsat unsat 0.172s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1080.smt2 (content) unsat unsat 0.206s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl108.smt2 (content) unsat unsat 0.762s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1079.smt2 (content) unsat unsat 0.192s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1078.smt2 (content) unsat unsat 0.260s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1077.smt2 (content) unsat unsat 0.291s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1076.smt2 (content) unsat unsat 0.160s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1075.smt2 (content) unsat unsat 0.276s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1074.smt2 (content) unsat unsat 0.105s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1073.smt2 (content) unsat unsat 0.165s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1072.smt2 (content) unsat unsat 0.286s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1071.smt2 (content) unsat unsat 0.332s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1070.smt2 (content) unsat unsat 0.569s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl107.smt2 (content) unsat unsat 0.978s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1069.smt2 (content) unsat unsat 0.077s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1068.smt2 (content) unsat unsat 0.124s