root
file
detailed [1800..1824]
prev
next
detailed results (3632 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411620/iso_brn1175.smt2
(content)
unsat
unsat
0.125s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411619/iso_brn1174.smt2
(content)
unsat
unsat
0.075s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411617/iso_brn1172.smt2
(content)
unsat
unsat
0.078s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411614/iso_brn117.smt2
(content)
unsat
unsat
0.234s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411612/iso_brn1168.smt2
(content)
unsat
unsat
0.102s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411603/iso_brn116.smt2
(content)
unsat
unsat
0.134s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411589/iso_brn1147.smt2
(content)
unsat
unsat
0.118s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411586/iso_brn1144.smt2
(content)
unsat
unsat
0.079s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411585/iso_brn1143.smt2
(content)
unsat
unsat
0.076s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411583/iso_brn1141.smt2
(content)
unsat
unsat
0.074s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411582/iso_brn1140.smt2
(content)
unsat
unsat
0.080s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411581/iso_brn114.smt2
(content)
unsat
unsat
0.172s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411580/iso_brn1139.smt2
(content)
unsat
unsat
0.070s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411578/iso_brn1137.smt2
(content)
unsat
unsat
0.095s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411576/iso_brn1135.smt2
(content)
unsat
unsat
0.065s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411575/iso_brn1134.smt2
(content)
unsat
unsat
0.092s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411570/iso_brn113.smt2
(content)
unsat
unsat
0.092s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411567/iso_brn1127.smt2
(content)
unsat
unsat
0.083s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411566/iso_brn1126.smt2
(content)
unsat
unsat
0.082s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411564/iso_brn1124.smt2
(content)
unsat
unsat
0.125s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411562/iso_brn1122.smt2
(content)
unsat
unsat
0.086s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411561/iso_brn1121.smt2
(content)
unsat
unsat
0.087s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411555/iso_brn1116.smt2
(content)
unsat
unsat
0.096s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411552/iso_brn1113.smt2
(content)
unsat
unsat
0.095s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411546/iso_brn1108.smt2
(content)
unsat
unsat
0.113s