K 25
svn:wc:ra_dav:version-url
V 50
/svn/mmazurek/!svn/ver/252/class/712/DLprover/data
END
bouncingball_okhints_1worker.data
K 25
svn:wc:ra_dav:version-url
V 84
/svn/mmazurek/!svn/ver/220/class/712/DLprover/data/bouncingball_okhints_1worker.data
END
bouncingball_okhints_1worker_2.data
K 25
svn:wc:ra_dav:version-url
V 86
/svn/mmazurek/!svn/ver/221/class/712/DLprover/data/bouncingball_okhints_1worker_2.data
END
water_tank_badhints_4workers_1851.data
K 25
svn:wc:ra_dav:version-url
V 89
/svn/mmazurek/!svn/ver/252/class/712/DLprover/data/water_tank_badhints_4workers_1851.data
END
water_tank_badhints_4workers.data
K 25
svn:wc:ra_dav:version-url
V 84
/svn/mmazurek/!svn/ver/213/class/712/DLprover/data/water_tank_badhints_4workers.data
END
water_tank_badhints_4workers_1719.data
K 25
svn:wc:ra_dav:version-url
V 89
/svn/mmazurek/!svn/ver/243/class/712/DLprover/data/water_tank_badhints_4workers_1719.data
END
bouncingball_okhints_4workers_1636.data
K 25
svn:wc:ra_dav:version-url
V 90
/svn/mmazurek/!svn/ver/238/class/712/DLprover/data/bouncingball_okhints_4workers_1636.data
END
bouncingball_okhints_4workers.data
K 25
svn:wc:ra_dav:version-url
V 85
/svn/mmazurek/!svn/ver/219/class/712/DLprover/data/bouncingball_okhints_4workers.data
END
bouncingball_okhints_4workers_1646.data
K 25
svn:wc:ra_dav:version-url
V 90
/svn/mmazurek/!svn/ver/240/class/712/DLprover/data/bouncingball_okhints_4workers_1646.data
END
water_tanks_badhints.data
K 25
svn:wc:ra_dav:version-url
V 76
/svn/mmazurek/!svn/ver/189/class/712/DLprover/data/water_tanks_badhints.data
END
bouncingball_okhints_4workers_2.data
K 25
svn:wc:ra_dav:version-url
V 87
/svn/mmazurek/!svn/ver/221/class/712/DLprover/data/bouncingball_okhints_4workers_2.data
END
bouncingball_okhints_1worker_1751.data
K 25
svn:wc:ra_dav:version-url
V 89
/svn/mmazurek/!svn/ver/244/class/712/DLprover/data/bouncingball_okhints_1worker_1751.data
END
water_tank_badhints_1worker.data
K 25
svn:wc:ra_dav:version-url
V 83
/svn/mmazurek/!svn/ver/214/class/712/DLprover/data/water_tank_badhints_1worker.data
END
water_tank_badhints_1worker_1755.data
K 25
svn:wc:ra_dav:version-url
V 88
/svn/mmazurek/!svn/ver/247/class/712/DLprover/data/water_tank_badhints_1worker_1755.data
END
