git.libre-soc.org Git - cvc5.git/tree - contrib/competitions/casc/

drwxr-xr-x		..
-rwxr-xr-x	1432	run-script-casc24-fnt	blob \| history \| raw
-rwxr-xr-x	1403	run-script-casc24-fnt-no-models	blob \| history \| raw
-rwxr-xr-x	1395	run-script-casc24-fof	blob \| history \| raw
-rwxr-xr-x	1539	run-script-casc25-fnt	blob \| history \| raw
-rwxr-xr-x	2097	run-script-casc25-fof	blob \| history \| raw
-rwxr-xr-x	1635	run-script-casc25-tfa	blob \| history \| raw
-rwxr-xr-x	1182	run-script-casc25-tfn	blob \| history \| raw
-rw-r--r--	1400	run-script-casc26-fnt	blob \| history \| raw
-rw-r--r--	2000	run-script-casc26-fof	blob \| history \| raw
-rw-r--r--	1444	run-script-casc26-tfa	blob \| history \| raw
-rwxr-xr-x	1214	run-script-casc27-fnt	blob \| history \| raw
-rwxr-xr-x	2052	run-script-casc27-fof	blob \| history \| raw
-rwxr-xr-x	1448	run-script-casc27-tfa	blob \| history \| raw
-rw-r--r--	1407	run-script-casc27-tfn-nr	blob \| history \| raw
-rwxr-xr-x	1764	run-script-casc27-thf	blob \| history \| raw
-rw-r--r--	1201	run-script-casc27-thf-sat-nr	blob \| history \| raw
-rw-r--r--	1223	run-script-casc28-fnt	blob \| history \| raw
-rw-r--r--	2125	run-script-casc28-fof	blob \| history \| raw
-rw-r--r--	1453	run-script-casc28-slh	blob \| history \| raw
-rw-r--r--	1812	run-script-casc28-thf	blob \| history \| raw
-rwxr-xr-x	1225	run-script-cascj10-fnt	blob \| history \| raw
-rwxr-xr-x	2063	run-script-cascj10-fof	blob \| history \| raw
-rwxr-xr-x	1460	run-script-cascj10-tfa	blob \| history \| raw
-rw-r--r--	1418	run-script-cascj10-tfn-nr	blob \| history \| raw
-rwxr-xr-x	1775	run-script-cascj10-thf	blob \| history \| raw
-rw-r--r--	1212	run-script-cascj10-thf-sat-nr	blob \| history \| raw
-rwxr-xr-x	1479	run-script-cascj7-fnt	blob \| history \| raw
-rwxr-xr-x	1393	run-script-cascj7-fof	blob \| history \| raw
-rwxr-xr-x	1205	run-script-cascj7-tff	blob \| history \| raw
-rwxr-xr-x	1372	run-script-cascj8-fnt	blob \| history \| raw
-rwxr-xr-x	1929	run-script-cascj8-fof	blob \| history \| raw
-rwxr-xr-x	1491	run-script-cascj8-tfa	blob \| history \| raw
-rwxr-xr-x	1297	run-script-cascj8-tfn	blob \| history \| raw
-rwxr-xr-x	1214	run-script-cascj9-fnt	blob \| history \| raw
-rwxr-xr-x	2052	run-script-cascj9-fof	blob \| history \| raw
-rwxr-xr-x	1450	run-script-cascj9-tfa	blob \| history \| raw
-rw-r--r--	1407	run-script-cascj9-tfn-nr	blob \| history \| raw