detailed results (3887 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn104.smt2 (content) unsat unknown 0.070s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1037.smt2 (content) unsat unknown 0.091s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1036.smt2 (content) unsat unknown 0.100s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1035.smt2 (content) unsat unknown 0.147s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1032.smt2 (content) unsat unknown 0.110s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn103.smt2 (content) unsat unknown 0.099s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1029.smt2 (content) unsat unknown 0.072s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1028.smt2 (content) unsat unknown 0.082s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1027.smt2 (content) unsat unknown 0.064s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1026.smt2 (content) unsat unknown 0.102s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1023.smt2 (content) unsat unknown 0.181s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1022.smt2 (content) unsat unknown 0.300s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1020.smt2 (content) unsat unknown 0.095s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1016.smt2 (content) unsat unknown 0.107s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1014.smt2 (content) unsat unknown 0.128s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1012.smt2 (content) unsat unknown 0.148s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1006.smt2 (content) unsat unknown 0.120s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1005.smt2 (content) unsat unknown 0.143s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1004.smt2 (content) unsat unknown 0.076s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1002.smt2 (content) unsat unknown 0.054s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn094.smt2 (content) unsat unknown 0.298s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn089.smt2 (content) unsat unknown 0.163s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn087.smt2 (content) unsat unknown 0.070s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn086.smt2 (content) unsat unknown 0.069s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn085.smt2 (content) unsat unknown 0.074s