Skip to content
Branch: master
Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
..
Failed to load latest commit information.
bolognesa-10-e01.tptp.smt2
bolognesa-10-e01.tptp.smt2.info
bolognesa-10-e02.tptp.smt2
bolognesa-10-e02.tptp.smt2.info
bolognesa-10-e03.tptp.smt2
bolognesa-10-e03.tptp.smt2.info
bolognesa-10-e04.tptp.smt2
bolognesa-10-e04.tptp.smt2.info
bolognesa-10-e05.tptp.smt2
bolognesa-10-e05.tptp.smt2.info
bolognesa-10-e06.tptp.smt2
bolognesa-10-e06.tptp.smt2.info
bolognesa-10-e07.tptp.smt2
bolognesa-10-e07.tptp.smt2.info
bolognesa-10-e08.tptp.smt2
bolognesa-10-e08.tptp.smt2.info
bolognesa-10-e09.tptp.smt2
bolognesa-10-e09.tptp.smt2.info
bolognesa-10-e10.tptp.smt2
bolognesa-10-e10.tptp.smt2.info
bolognesa-11-e01.tptp.smt2
bolognesa-11-e01.tptp.smt2.info
bolognesa-11-e02.tptp.smt2
bolognesa-11-e02.tptp.smt2.info
bolognesa-11-e03.tptp.smt2
bolognesa-11-e03.tptp.smt2.info
bolognesa-11-e04.tptp.smt2
bolognesa-11-e04.tptp.smt2.info
bolognesa-11-e05.tptp.smt2
bolognesa-11-e05.tptp.smt2.info
bolognesa-11-e06.tptp.smt2
bolognesa-11-e06.tptp.smt2.info
bolognesa-11-e07.tptp.smt2
bolognesa-11-e07.tptp.smt2.info
bolognesa-11-e08.tptp.smt2
bolognesa-11-e08.tptp.smt2.info
bolognesa-11-e09.tptp.smt2
bolognesa-11-e09.tptp.smt2.info
bolognesa-11-e10.tptp.smt2
bolognesa-11-e10.tptp.smt2.info
bolognesa-12-e01.tptp.smt2
bolognesa-12-e01.tptp.smt2.info
bolognesa-12-e02.tptp.smt2
bolognesa-12-e02.tptp.smt2.info
bolognesa-12-e03.tptp.smt2
bolognesa-12-e03.tptp.smt2.info
bolognesa-12-e04.tptp.smt2
bolognesa-12-e04.tptp.smt2.info
bolognesa-12-e05.tptp.smt2
bolognesa-12-e05.tptp.smt2.info
bolognesa-12-e06.tptp.smt2
bolognesa-12-e06.tptp.smt2.info
bolognesa-12-e07.tptp.smt2
bolognesa-12-e07.tptp.smt2.info
bolognesa-12-e08.tptp.smt2
bolognesa-12-e08.tptp.smt2.info
bolognesa-12-e09.tptp.smt2
bolognesa-12-e09.tptp.smt2.info
bolognesa-12-e10.tptp.smt2
bolognesa-12-e10.tptp.smt2.info
bolognesa-13-e01.tptp.smt2
bolognesa-13-e01.tptp.smt2.info
bolognesa-13-e02.tptp.smt2
bolognesa-13-e02.tptp.smt2.info
bolognesa-13-e03.tptp.smt2
bolognesa-13-e03.tptp.smt2.info
bolognesa-13-e04.tptp.smt2
bolognesa-13-e04.tptp.smt2.info
bolognesa-13-e05.tptp.smt2
bolognesa-13-e05.tptp.smt2.info
bolognesa-13-e06.tptp.smt2
bolognesa-13-e06.tptp.smt2.info
bolognesa-13-e07.tptp.smt2
bolognesa-13-e07.tptp.smt2.info
bolognesa-13-e08.tptp.smt2
bolognesa-13-e08.tptp.smt2.info
bolognesa-13-e09.tptp.smt2
bolognesa-13-e09.tptp.smt2.info
bolognesa-13-e10.tptp.smt2
bolognesa-13-e10.tptp.smt2.info
bolognesa-14-e01.tptp.smt2
bolognesa-14-e01.tptp.smt2.info
bolognesa-14-e02.tptp.smt2
bolognesa-14-e02.tptp.smt2.info
bolognesa-14-e03.tptp.smt2
bolognesa-14-e03.tptp.smt2.info
bolognesa-14-e04.tptp.smt2
bolognesa-14-e04.tptp.smt2.info
bolognesa-14-e05.tptp.smt2
bolognesa-14-e05.tptp.smt2.info
bolognesa-14-e06.tptp.smt2
bolognesa-14-e06.tptp.smt2.info
bolognesa-14-e07.tptp.smt2
bolognesa-14-e07.tptp.smt2.info
bolognesa-14-e08.tptp.smt2
bolognesa-14-e08.tptp.smt2.info
bolognesa-14-e09.tptp.smt2
bolognesa-14-e09.tptp.smt2.info
bolognesa-14-e10.tptp.smt2
bolognesa-14-e10.tptp.smt2.info
bolognesa-15-e01.tptp.smt2
bolognesa-15-e01.tptp.smt2.info
bolognesa-15-e02.tptp.smt2
bolognesa-15-e02.tptp.smt2.info
bolognesa-15-e03.tptp.smt2
bolognesa-15-e03.tptp.smt2.info
bolognesa-15-e04.tptp.smt2
bolognesa-15-e04.tptp.smt2.info
bolognesa-15-e05.tptp.smt2
bolognesa-15-e05.tptp.smt2.info
bolognesa-15-e06.tptp.smt2
bolognesa-15-e06.tptp.smt2.info
bolognesa-15-e07.tptp.smt2
bolognesa-15-e07.tptp.smt2.info
bolognesa-15-e08.tptp.smt2
bolognesa-15-e08.tptp.smt2.info
bolognesa-15-e09.tptp.smt2
bolognesa-15-e09.tptp.smt2.info
bolognesa-15-e10.tptp.smt2
bolognesa-15-e10.tptp.smt2.info
bolognesa-16-e01.tptp.smt2
bolognesa-16-e01.tptp.smt2.info
bolognesa-16-e02.tptp.smt2
bolognesa-16-e02.tptp.smt2.info
bolognesa-16-e03.tptp.smt2
bolognesa-16-e03.tptp.smt2.info
bolognesa-16-e04.tptp.smt2
bolognesa-16-e04.tptp.smt2.info
bolognesa-16-e05.tptp.smt2
bolognesa-16-e05.tptp.smt2.info
bolognesa-16-e06.tptp.smt2
bolognesa-16-e06.tptp.smt2.info
bolognesa-16-e07.tptp.smt2
bolognesa-16-e07.tptp.smt2.info
bolognesa-16-e08.tptp.smt2
bolognesa-16-e08.tptp.smt2.info
bolognesa-16-e09.tptp.smt2
bolognesa-16-e09.tptp.smt2.info
bolognesa-16-e10.tptp.smt2
bolognesa-16-e10.tptp.smt2.info
bolognesa-17-e01.tptp.smt2
bolognesa-17-e01.tptp.smt2.info
bolognesa-17-e02.tptp.smt2
bolognesa-17-e02.tptp.smt2.info
bolognesa-17-e03.tptp.smt2
bolognesa-17-e03.tptp.smt2.info
bolognesa-17-e04.tptp.smt2
bolognesa-17-e04.tptp.smt2.info
bolognesa-17-e05.tptp.smt2
bolognesa-17-e05.tptp.smt2.info
bolognesa-17-e06.tptp.smt2
bolognesa-17-e06.tptp.smt2.info
bolognesa-17-e07.tptp.smt2
bolognesa-17-e07.tptp.smt2.info
bolognesa-17-e08.tptp.smt2
bolognesa-17-e08.tptp.smt2.info
bolognesa-17-e09.tptp.smt2
bolognesa-17-e09.tptp.smt2.info
bolognesa-17-e10.tptp.smt2
bolognesa-17-e10.tptp.smt2.info
bolognesa-18-e01.tptp.smt2
bolognesa-18-e01.tptp.smt2.info
bolognesa-18-e02.tptp.smt2
bolognesa-18-e02.tptp.smt2.info
bolognesa-18-e03.tptp.smt2
bolognesa-18-e03.tptp.smt2.info
bolognesa-18-e04.tptp.smt2
bolognesa-18-e04.tptp.smt2.info
bolognesa-18-e05.tptp.smt2
bolognesa-18-e05.tptp.smt2.info
bolognesa-18-e06.tptp.smt2
bolognesa-18-e06.tptp.smt2.info
bolognesa-18-e07.tptp.smt2
bolognesa-18-e07.tptp.smt2.info
bolognesa-18-e08.tptp.smt2
bolognesa-18-e08.tptp.smt2.info
bolognesa-18-e09.tptp.smt2
bolognesa-18-e09.tptp.smt2.info
bolognesa-18-e10.tptp.smt2
bolognesa-18-e10.tptp.smt2.info
bolognesa-19-e01.tptp.smt2
bolognesa-19-e01.tptp.smt2.info
bolognesa-19-e02.tptp.smt2
bolognesa-19-e02.tptp.smt2.info
bolognesa-19-e03.tptp.smt2
bolognesa-19-e03.tptp.smt2.info
bolognesa-19-e04.tptp.smt2
bolognesa-19-e04.tptp.smt2.info
bolognesa-19-e05.tptp.smt2
bolognesa-19-e05.tptp.smt2.info
bolognesa-19-e06.tptp.smt2
bolognesa-19-e06.tptp.smt2.info
bolognesa-19-e07.tptp.smt2
bolognesa-19-e07.tptp.smt2.info
bolognesa-19-e08.tptp.smt2
bolognesa-19-e08.tptp.smt2.info
bolognesa-19-e09.tptp.smt2
bolognesa-19-e09.tptp.smt2.info
bolognesa-19-e10.tptp.smt2
bolognesa-19-e10.tptp.smt2.info
bolognesa-20-e01.tptp.smt2
bolognesa-20-e01.tptp.smt2.info
bolognesa-20-e02.tptp.smt2
bolognesa-20-e02.tptp.smt2.info
bolognesa-20-e03.tptp.smt2
bolognesa-20-e03.tptp.smt2.info
bolognesa-20-e04.tptp.smt2
bolognesa-20-e04.tptp.smt2.info
bolognesa-20-e05.tptp.smt2
bolognesa-20-e05.tptp.smt2.info
bolognesa-20-e06.tptp.smt2
bolognesa-20-e06.tptp.smt2.info
bolognesa-20-e07.tptp.smt2
bolognesa-20-e07.tptp.smt2.info
bolognesa-20-e08.tptp.smt2
bolognesa-20-e08.tptp.smt2.info
bolognesa-20-e09.tptp.smt2
bolognesa-20-e09.tptp.smt2.info
bolognesa-20-e10.tptp.smt2
bolognesa-20-e10.tptp.smt2.info
clones-01-e01.tptp.smt2
clones-01-e01.tptp.smt2.info
clones-01-e02.tptp.smt2
clones-01-e02.tptp.smt2.info
clones-01-e03.tptp.smt2
clones-01-e03.tptp.smt2.info
clones-01-e04.tptp.smt2
clones-01-e04.tptp.smt2.info
clones-01-e05.tptp.smt2
clones-01-e05.tptp.smt2.info
clones-01-e06.tptp.smt2
clones-01-e06.tptp.smt2.info
clones-01-e07.tptp.smt2
clones-01-e07.tptp.smt2.info
clones-01-e08.tptp.smt2
clones-01-e08.tptp.smt2.info
clones-01-e09.tptp.smt2
clones-01-e09.tptp.smt2.info
clones-01-e10.tptp.smt2
clones-01-e10.tptp.smt2.info
clones-02-e01.tptp.smt2
clones-02-e01.tptp.smt2.info
clones-02-e02.tptp.smt2
clones-02-e02.tptp.smt2.info
clones-02-e03.tptp.smt2
clones-02-e03.tptp.smt2.info
clones-02-e04.tptp.smt2
clones-02-e04.tptp.smt2.info
clones-02-e05.tptp.smt2
clones-02-e05.tptp.smt2.info
clones-02-e06.tptp.smt2
clones-02-e06.tptp.smt2.info
clones-02-e07.tptp.smt2
clones-02-e07.tptp.smt2.info
clones-02-e08.tptp.smt2
clones-02-e08.tptp.smt2.info
clones-02-e09.tptp.smt2
clones-02-e09.tptp.smt2.info
clones-02-e10.tptp.smt2
clones-02-e10.tptp.smt2.info
clones-03-e01.tptp.smt2
clones-03-e01.tptp.smt2.info
clones-03-e02.tptp.smt2
clones-03-e02.tptp.smt2.info
clones-03-e03.tptp.smt2
clones-03-e03.tptp.smt2.info
clones-03-e04.tptp.smt2
clones-03-e04.tptp.smt2.info
clones-03-e05.tptp.smt2
clones-03-e05.tptp.smt2.info
clones-03-e06.tptp.smt2
clones-03-e06.tptp.smt2.info
clones-03-e07.tptp.smt2
clones-03-e07.tptp.smt2.info
clones-03-e08.tptp.smt2
clones-03-e08.tptp.smt2.info
clones-03-e09.tptp.smt2
clones-03-e09.tptp.smt2.info
clones-03-e10.tptp.smt2
clones-03-e10.tptp.smt2.info
clones-04-e01.tptp.smt2
clones-04-e01.tptp.smt2.info
clones-04-e02.tptp.smt2
clones-04-e02.tptp.smt2.info
clones-04-e03.tptp.smt2
clones-04-e03.tptp.smt2.info
clones-04-e04.tptp.smt2
clones-04-e04.tptp.smt2.info
clones-04-e05.tptp.smt2
clones-04-e05.tptp.smt2.info
clones-04-e06.tptp.smt2
clones-04-e06.tptp.smt2.info
clones-04-e07.tptp.smt2
clones-04-e07.tptp.smt2.info
clones-04-e08.tptp.smt2
clones-04-e08.tptp.smt2.info
clones-04-e09.tptp.smt2
clones-04-e09.tptp.smt2.info
clones-04-e10.tptp.smt2
clones-04-e10.tptp.smt2.info
clones-05-e01.tptp.smt2
clones-05-e01.tptp.smt2.info
clones-05-e02.tptp.smt2
clones-05-e02.tptp.smt2.info
clones-05-e03.tptp.smt2
clones-05-e03.tptp.smt2.info
clones-05-e04.tptp.smt2
clones-05-e04.tptp.smt2.info
clones-05-e05.tptp.smt2
clones-05-e05.tptp.smt2.info
clones-05-e06.tptp.smt2
clones-05-e06.tptp.smt2.info
clones-05-e07.tptp.smt2
clones-05-e07.tptp.smt2.info
clones-05-e08.tptp.smt2
clones-05-e08.tptp.smt2.info
clones-05-e09.tptp.smt2
clones-05-e09.tptp.smt2.info
clones-05-e10.tptp.smt2
clones-05-e10.tptp.smt2.info
clones-06-e01.tptp.smt2
clones-06-e01.tptp.smt2.info
clones-06-e02.tptp.smt2
clones-06-e02.tptp.smt2.info
clones-06-e03.tptp.smt2
clones-06-e03.tptp.smt2.info
clones-06-e04.tptp.smt2
clones-06-e04.tptp.smt2.info
clones-06-e05.tptp.smt2
clones-06-e05.tptp.smt2.info
clones-06-e06.tptp.smt2
clones-06-e06.tptp.smt2.info
clones-06-e07.tptp.smt2
clones-06-e07.tptp.smt2.info
clones-06-e08.tptp.smt2
clones-06-e08.tptp.smt2.info
clones-06-e09.tptp.smt2
clones-06-e09.tptp.smt2.info
clones-06-e10.tptp.smt2
clones-06-e10.tptp.smt2.info
clones-07-e01.tptp.smt2
clones-07-e01.tptp.smt2.info
clones-07-e02.tptp.smt2
clones-07-e02.tptp.smt2.info
clones-07-e03.tptp.smt2
clones-07-e03.tptp.smt2.info
clones-07-e04.tptp.smt2
clones-07-e04.tptp.smt2.info
clones-07-e05.tptp.smt2
clones-07-e05.tptp.smt2.info
clones-07-e06.tptp.smt2
clones-07-e06.tptp.smt2.info
clones-07-e07.tptp.smt2
clones-07-e07.tptp.smt2.info
clones-07-e08.tptp.smt2
clones-07-e08.tptp.smt2.info
clones-07-e09.tptp.smt2
clones-07-e09.tptp.smt2.info
clones-07-e10.tptp.smt2
clones-07-e10.tptp.smt2.info
clones-08-e01.tptp.smt2
clones-08-e01.tptp.smt2.info
clones-08-e02.tptp.smt2
clones-08-e02.tptp.smt2.info
clones-08-e03.tptp.smt2
clones-08-e03.tptp.smt2.info
clones-08-e04.tptp.smt2
clones-08-e04.tptp.smt2.info
clones-08-e05.tptp.smt2
clones-08-e05.tptp.smt2.info
clones-08-e06.tptp.smt2
clones-08-e06.tptp.smt2.info
clones-08-e07.tptp.smt2
clones-08-e07.tptp.smt2.info
clones-08-e08.tptp.smt2
clones-08-e08.tptp.smt2.info
clones-08-e09.tptp.smt2
clones-08-e09.tptp.smt2.info
clones-08-e10.tptp.smt2
clones-08-e10.tptp.smt2.info
clones-09-e01.tptp.smt2
clones-09-e01.tptp.smt2.info
clones-09-e02.tptp.smt2
clones-09-e02.tptp.smt2.info
clones-09-e03.tptp.smt2
clones-09-e03.tptp.smt2.info
clones-09-e04.tptp.smt2
clones-09-e04.tptp.smt2.info
clones-09-e05.tptp.smt2
clones-09-e05.tptp.smt2.info
clones-09-e06.tptp.smt2
clones-09-e06.tptp.smt2.info
clones-09-e07.tptp.smt2
clones-09-e07.tptp.smt2.info
clones-09-e08.tptp.smt2
clones-09-e08.tptp.smt2.info
clones-09-e09.tptp.smt2
clones-09-e09.tptp.smt2.info
clones-09-e10.tptp.smt2
clones-09-e10.tptp.smt2.info
clones-10-e01.tptp.smt2
clones-10-e01.tptp.smt2.info
clones-10-e02.tptp.smt2
clones-10-e02.tptp.smt2.info
clones-10-e03.tptp.smt2
clones-10-e03.tptp.smt2.info
clones-10-e04.tptp.smt2
clones-10-e04.tptp.smt2.info
clones-10-e05.tptp.smt2
clones-10-e05.tptp.smt2.info
clones-10-e06.tptp.smt2
clones-10-e06.tptp.smt2.info
clones-10-e07.tptp.smt2
clones-10-e07.tptp.smt2.info
clones-10-e08.tptp.smt2
clones-10-e08.tptp.smt2.info
clones-10-e09.tptp.smt2
clones-10-e09.tptp.smt2.info
clones-10-e10.tptp.smt2
clones-10-e10.tptp.smt2.info
ls-vc01.smt2
ls-vc01.smt2.info
ls-vc02.smt2
ls-vc02.smt2.info
ls-vc03.smt2
ls-vc03.smt2.info
ls-vc04.smt2
ls-vc04.smt2.info
ls-vc05.smt2
ls-vc05.smt2.info
ls-vc06.smt2
ls-vc06.smt2.info
ls-vc07.smt2
ls-vc07.smt2.info
ls-vc08.smt2
ls-vc08.smt2.info
ls-vc09.smt2
ls-vc09.smt2.info
smallfoot-vc01.tptp.smt2
smallfoot-vc01.tptp.smt2.info
smallfoot-vc02.tptp.smt2
smallfoot-vc02.tptp.smt2.info
smallfoot-vc03.tptp.smt2
smallfoot-vc03.tptp.smt2.info
smallfoot-vc04.tptp.smt2
smallfoot-vc04.tptp.smt2.info
smallfoot-vc05.tptp.smt2
smallfoot-vc05.tptp.smt2.info
smallfoot-vc06.tptp.smt2
smallfoot-vc06.tptp.smt2.info
smallfoot-vc07.tptp.smt2
smallfoot-vc07.tptp.smt2.info
smallfoot-vc08.tptp.smt2
smallfoot-vc08.tptp.smt2.info
smallfoot-vc09.tptp.smt2
smallfoot-vc09.tptp.smt2.info
smallfoot-vc10.tptp.smt2
smallfoot-vc10.tptp.smt2.info
smallfoot-vc11.tptp.smt2
smallfoot-vc11.tptp.smt2.info
smallfoot-vc12.tptp.smt2
smallfoot-vc12.tptp.smt2.info
smallfoot-vc13.tptp.smt2
smallfoot-vc13.tptp.smt2.info
smallfoot-vc14.tptp.smt2
smallfoot-vc14.tptp.smt2.info
smallfoot-vc15.tptp.smt2
smallfoot-vc15.tptp.smt2.info
smallfoot-vc16.tptp.smt2
smallfoot-vc16.tptp.smt2.info
smallfoot-vc17.tptp.smt2
smallfoot-vc17.tptp.smt2.info
smallfoot-vc18.tptp.smt2
smallfoot-vc18.tptp.smt2.info
smallfoot-vc19.tptp.smt2
smallfoot-vc19.tptp.smt2.info
smallfoot-vc20.tptp.smt2
smallfoot-vc20.tptp.smt2.info
smallfoot-vc21.tptp.smt2
smallfoot-vc21.tptp.smt2.info
smallfoot-vc22.tptp.smt2
smallfoot-vc22.tptp.smt2.info
smallfoot-vc23.tptp.smt2
smallfoot-vc23.tptp.smt2.info
smallfoot-vc24.tptp.smt2
smallfoot-vc24.tptp.smt2.info
smallfoot-vc25.tptp.smt2
smallfoot-vc25.tptp.smt2.info
smallfoot-vc26.tptp.smt2
smallfoot-vc26.tptp.smt2.info
smallfoot-vc27.tptp.smt2
smallfoot-vc27.tptp.smt2.info
smallfoot-vc28.tptp.smt2
smallfoot-vc28.tptp.smt2.info
smallfoot-vc29.tptp.smt2
smallfoot-vc29.tptp.smt2.info
smallfoot-vc30.tptp.smt2
smallfoot-vc30.tptp.smt2.info
smallfoot-vc31.tptp.smt2
smallfoot-vc31.tptp.smt2.info
smallfoot-vc32.tptp.smt2
smallfoot-vc32.tptp.smt2.info
smallfoot-vc33.tptp.smt2
smallfoot-vc33.tptp.smt2.info
smallfoot-vc34.tptp.smt2
smallfoot-vc34.tptp.smt2.info
smallfoot-vc35.tptp.smt2
smallfoot-vc35.tptp.smt2.info
smallfoot-vc36.tptp.smt2
smallfoot-vc36.tptp.smt2.info
smallfoot-vc37.tptp.smt2
smallfoot-vc37.tptp.smt2.info
smallfoot-vc38.tptp.smt2
smallfoot-vc38.tptp.smt2.info
smallfoot-vc39.tptp.smt2
smallfoot-vc39.tptp.smt2.info
smallfoot-vc40.tptp.smt2
smallfoot-vc40.tptp.smt2.info
smallfoot-vc41.tptp.smt2
smallfoot-vc41.tptp.smt2.info
smallfoot-vc42.tptp.smt2
smallfoot-vc42.tptp.smt2.info
smallfoot-vc43.tptp.smt2
smallfoot-vc43.tptp.smt2.info
smallfoot-vc44.tptp.smt2
smallfoot-vc44.tptp.smt2.info
smallfoot-vc45.tptp.smt2
smallfoot-vc45.tptp.smt2.info
smallfoot-vc46.tptp.smt2
smallfoot-vc46.tptp.smt2.info
smallfoot-vc47.tptp.smt2
smallfoot-vc47.tptp.smt2.info
smallfoot-vc48.tptp.smt2
smallfoot-vc48.tptp.smt2.info
smallfoot-vc49.tptp.smt2
smallfoot-vc49.tptp.smt2.info
smallfoot-vc50.tptp.smt2
smallfoot-vc50.tptp.smt2.info
smallfoot-vc51.tptp.smt2
smallfoot-vc51.tptp.smt2.info
smallfoot-vc52.tptp.smt2
smallfoot-vc52.tptp.smt2.info
smallfoot-vc53.tptp.smt2
smallfoot-vc53.tptp.smt2.info
smallfoot-vc54.tptp.smt2
smallfoot-vc54.tptp.smt2.info
smallfoot-vc55.tptp.smt2
smallfoot-vc55.tptp.smt2.info
smallfoot-vc56.tptp.smt2
smallfoot-vc56.tptp.smt2.info
smallfoot-vc57.tptp.smt2
smallfoot-vc57.tptp.smt2.info
smallfoot-vc58.tptp.smt2
smallfoot-vc58.tptp.smt2.info
smallfoot-vc59.tptp.smt2
smallfoot-vc59.tptp.smt2.info
smallfoot-vc60.tptp.smt2
smallfoot-vc60.tptp.smt2.info
smallfoot-vc61.tptp.smt2
smallfoot-vc61.tptp.smt2.info
smallfoot-vc62.tptp.smt2
smallfoot-vc62.tptp.smt2.info
smallfoot-vc63.tptp.smt2
smallfoot-vc63.tptp.smt2.info
smallfoot-vc64.tptp.smt2
smallfoot-vc64.tptp.smt2.info
smallfoot-vc65.tptp.smt2
smallfoot-vc65.tptp.smt2.info
smallfoot-vc66.tptp.smt2
smallfoot-vc66.tptp.smt2.info
smallfoot-vc67.tptp.smt2
smallfoot-vc67.tptp.smt2.info
smallfoot-vc68.tptp.smt2
smallfoot-vc68.tptp.smt2.info
smallfoot-vc69.tptp.smt2
smallfoot-vc69.tptp.smt2.info
smallfoot-vc70.tptp.smt2
smallfoot-vc70.tptp.smt2.info
smallfoot-vc71.tptp.smt2
smallfoot-vc71.tptp.smt2.info
smallfoot-vc72.tptp.smt2
smallfoot-vc72.tptp.smt2.info
smallfoot-vc73.tptp.smt2
smallfoot-vc73.tptp.smt2.info
smallfoot-vc74.tptp.smt2
smallfoot-vc74.tptp.smt2.info
smallfoot-vc75.tptp.smt2
smallfoot-vc75.tptp.smt2.info
smallfoot-vc76.tptp.smt2
smallfoot-vc76.tptp.smt2.info
smallfoot-vc77.tptp.smt2
smallfoot-vc77.tptp.smt2.info
You can’t perform that action at this time.